`check_for_data_dependent_parallel_bounds` doesn't know about multiple kernel launches
Open
- 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