Inject LetStmt of variables that are used downstream modulo some constant. - #9428

Draft

mcourteaux wants to merge 35 commits into

mainfrom

mcourteaux/inject-var-mod-letstmt

Commits on Sep 8, 2026

PoC: Aligned split directive.
mcourteaux
authored
6323f0f
Restore likely_if_innermost for ShiftInwards.
mcourteaux
authored
9e8e98c
Add Python binding

mcourteaux
and
claude
authored
f639bdb
Add serialization.

mcourteaux
and
claude
authored
28d590f
Fix the incorrectly assumed fast-path for this aligned splits.

mcourteaux
and
claude
authored
0626175
Add three rfactor + aligned split tests.

authored
ca98b2f
Add test for nested aligned splits.

mcourteaux
and
claude
authored
b841b75
Test varying tail strategies for nested aligned splits.

mcourteaux
and
claude
authored
d4ab320
Documentation for the aligned split.

mcourteaux
and
claude
authored
8980fc7
Fix ShiftInwardsAndBlend, RoundUpAndBlend. Claude rederived the masks those blend operations in case of aligned splits.

mcourteaux
and
claude
authored
3c74df7
Add simplifier rules for broadcast() <= ramp() && ramp() <= broadcast().

mcourteaux
and
claude
authored
9010bf0
Test simple aligned split in an RVar.

mcourteaux
and
claude
authored
1c9472b
Reduce aligned-split compute_at mux test to 3x3 and fix its checks
mcourteaux
authored
92d15ad
Rewrite aligned split inner loops to range from 0 to factor.

mcourteaux
and
claude
authored
ad963a5
Override the compute and storage bounds of the test to relieve the simplifier.
mcourteaux
authored
d187659
Add a test for an aligned split feeding loop partitioning
mcourteaux
authored
644bcb2
Explain the schedule of aligned_split_2d.
mcourteaux
authored
e1a2074
Document a scheduling order dependence.
mcourteaux
authored
b97f776
Tutorial 25 for aligned split.
mcourteaux
authored
58db9f7
Guard lesson_25's expected-CompileError catch with HALIDE_WITH_EXCEPTIONS
mcourteaux
authored
61c02c2
Fix clang-tidy findings in lesson_25_aligned_split
mcourteaux
authored
0b4d80a
Feedback from Andrew.
mcourteaux
authored
e79eb6c
Simplify the bounds calculation of a split.
mcourteaux
authored
ed41905
Peeling variants of the ramp <= broadcast style rules.

authored
3834709
Remove tutorial.
mcourteaux
authored
25de419
WIP checkpoint before substitution-based apply_split rewrite

mcourteaux
and
claude
authored
b213909
Fix simplifier rule I f*kd up earlier.
mcourteaux
authored
d996660
Restore the aligned split logic in apply_split

mcourteaux
and
claude
authored
5cdaa8e
Collect a repeated term across a nested sum in the Add simplifier

mcourteaux
and
claude
authored
bf66758
Add a minimal repro for aligned-split phases not cancelling through a LetStmt

mcourteaux
and
claude
authored
8bfa5a1
Deinterleave ramps by strides up to seven, not four

mcourteaux
and
claude
authored
4d360ff
Cover more pattern periods in the aligned-split mux phase test

mcourteaux
and
claude
authored
7ad0811
Bind a variable's value modulo a constant where the variable is defined

mcourteaux
and
claude
authored
a4d497a
Add InjectModuloVars to the Makefile's file lists

mcourteaux
and
claude
authored
b6e84fe
Fix C++20 extension not allowed.

mcourteaux
and
claude
authored
be807c1

Navigation Menu

Inject LetStmt of variables that are used downstream modulo some constant. - #9428

Inject LetStmt of variables that are used downstream modulo some constant.#9428
mcourteaux wants to merge 35 commits into
mainfrom
mcourteaux/inject-var-mod-letstmt

Commits on Sep 8, 2026

PoC: Aligned split directive.

Restore likely_if_innermost for ShiftInwards.

Add Python binding

Add serialization.

Fix the incorrectly assumed fast-path for this aligned splits.

Add three rfactor + aligned split tests.

Add test for nested aligned splits.

Test varying tail strategies for nested aligned splits.

Documentation for the aligned split.

Fix ShiftInwardsAndBlend, RoundUpAndBlend. Claude rederived the masks those blend operations in case of aligned splits.

Add simplifier rules for broadcast() <= ramp() && ramp() <= broadcast().

Test simple aligned split in an RVar.

Reduce aligned-split compute_at mux test to 3x3 and fix its checks

Rewrite aligned split inner loops to range from 0 to factor.

Override the compute and storage bounds of the test to relieve the simplifier.

Add a test for an aligned split feeding loop partitioning

Explain the schedule of aligned_split_2d.

Document a scheduling order dependence.

Tutorial 25 for aligned split.

Guard lesson_25's expected-CompileError catch with HALIDE_WITH_EXCEPTIONS

Fix clang-tidy findings in lesson_25_aligned_split

Feedback from Andrew.

Simplify the bounds calculation of a split.

Peeling variants of the ramp <= broadcast style rules.

Remove tutorial.

WIP checkpoint before substitution-based apply_split rewrite

Fix simplifier rule I f*kd up earlier.

Restore the aligned split logic in apply_split

Collect a repeated term across a nested sum in the Add simplifier

Add a minimal repro for aligned-split phases not cancelling through a LetStmt

Deinterleave ramps by strides up to seven, not four

Cover more pattern periods in the aligned-split mux phase test

Bind a variable's value modulo a constant where the variable is defined

Add InjectModuloVars to the Makefile's file lists

Fix C++20 extension not allowed.