inducer / inducer/loopy

`check_for_data_dependent_parallel_bounds` doesn't know about multiple kernel launches

Open
#621 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Python
Stars
636
Forks
81
Avg merge
1d 19h
Merged PRs (30d)
7

Description

It's perfectly valid for one kernel to compute the launch bounds of the next.

https://github.com/inducer/loopy/blob/9c1e37dc859e1132741025ac05dfa00622b08e0d/loopy/check.py#L486-L509

Contributor guide

No contributing guide indexed for this repository

Research direction

Start in loopy/check.py at lines 486-509, where check_for_data_dependent_parallel_bounds handles launch-bound validation. Trace how it treats multiple kernel launches and identify the case where one kernel computes the next kernel's launch bounds. Done means valid multi-launch programs are accepted without weakening the existing check.

Written by the indexing model from the issue text.

Assessment

Tech stack
python
Domain
compilers
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
48/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.