Aligned splits, take 2. - #9409

Draft

mcourteaux wants to merge 55 commits into

mainfrom

mcourteaux/aligned-split-clean

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

Commits on Sep 11, 2026

Renamed the aligned split() to split_aligned().
mcourteaux
committed
2735c0b
A new rewrite rule that helps surface the offset of an aligned_split() to the outside of an index reconstruction of a split.

mcourteaux
and
abadams
committed
137f5ba
Rebind the aligned split() Python binding to split_aligned()

mcourteaux
and
claude
committed
d0b9767
Deinterleave ramps by strides up to seven, not four

mcourteaux
and
claude
committed
77be2d0
Add a test for aligned-split mux phases resolving through Deinterleave

mcourteaux
and
claude
committed
7e04880
Update the INT_MIN coefficient regression test for the new Add collect rule

mcourteaux
and
claude
committed
57c7463

Commits on Sep 12, 2026

Cancel a correlated term through a min or max in SimplifyCorrelatedDifferences

mcourteaux
and
claude
committed
205755f

Commits on Sep 14, 2026

Merge branch 'main' into mcourteaux/aligned-split-clean
mcourteaux
committed
cde6451

Commits on Sep 16, 2026

renamed split_aligned to aligned_split
mcourteaux
committed
f8193d7
Simplify comment.
mcourteaux
committed
6defc7e
simplifier rules simplifications.
mcourteaux
committed
ee8820e
Better simplification route for (0 - (x % 2)) / 2 * 2 + (x % 2) => 0 - (x % 2)
mcourteaux
committed
2421252
Fold additive identities in the expression solver

mcourteaux
and
claude
committed
b5ac59d
Disable simplifier rule that trips up nested_tail_strategies.
mcourteaux
committed
5bd9830
remove invalid rule.
mcourteaux
committed
5b6343f
Generalization for simplifier rule added to deal with aligned splits; found by Claude, verified by z3.

mcourteaux
and
claude
committed
78099b6
it works.
mcourteaux
committed
1411571
Reassociate/commute Param variables to the right.

mcourteaux
and
abadams
committed
533a3d2

Commits on Sep 17, 2026

Merge branch 'main' into mcourteaux/aligned-split-clean
mcourteaux
committed
dcc815b

Commits on Sep 18, 2026

Restore bad rule.
mcourteaux
committed
be2c8c2
Remove the x*c0 + y*c1 factoring rules; cancel commuted sums under min/max

mcourteaux
and
claude
committed
2f3408f
Simplify: peel constant multiples of non-let-bound variables out of lets

mcourteaux
and
claude
committed
2806921

Commits on Sep 24, 2026

Fix aligned ShiftInwardsAndBlend dropping elements for small extents

alexreinking
and
Copilot
committed
12642a9

Commits on Sep 26, 2026