Aligned splits, take 2. - #9409

Open

mcourteaux wants to merge 29 commits into

mainfrom

mcourteaux/aligned-split-clean

Commits on Sep 4, 2026

PoC: Aligned split directive.
mcourteaux
committed
fe05aaa
Restore likely_if_innermost for ShiftInwards.
mcourteaux
committed
9ebb032
Add Python binding

mcourteaux
and
claude
committed
1315f7a
Add serialization.

mcourteaux
and
claude
committed
97dfaee
Fix the incorrectly assumed fast-path for this aligned splits.

mcourteaux
and
claude
committed
5afb9fc
Add three rfactor + aligned split tests.

committed
0ab58c4
Add test for nested aligned splits.

mcourteaux
and
claude
committed
f201909
Test varying tail strategies for nested aligned splits.

mcourteaux
and
claude
committed
bacdbc8
Documentation for the aligned split.

mcourteaux
and
claude
committed
1a5f500
Fix ShiftInwardsAndBlend, RoundUpAndBlend. Claude rederived the masks those blend operations in case of aligned splits.

mcourteaux
and
claude
committed
31bd47a
Add simplifier rules for broadcast() <= ramp() && ramp() <= broadcast().

mcourteaux
and
claude
committed
884b58c
Test simple aligned split in an RVar.

mcourteaux
and
claude
committed
978ab08
Reduce aligned-split compute_at mux test to 3x3 and fix its checks
mcourteaux
committed
a7405cd
Rewrite aligned split inner loops to range from 0 to factor.

mcourteaux
and
claude
committed
546075e
Override the compute and storage bounds of the test to relieve the simplifier.
mcourteaux
committed
6f12d14
Add a test for an aligned split feeding loop partitioning
mcourteaux
committed
483927f
Explain the schedule of aligned_split_2d.
mcourteaux
committed
63fbab3
Document a scheduling order dependence.
mcourteaux
committed
603e14e
Tutorial 25 for aligned split.
mcourteaux
committed
c8e7c74
Guard lesson_25's expected-CompileError catch with HALIDE_WITH_EXCEPTIONS
mcourteaux
committed
1bed655
Fix clang-tidy findings in lesson_25_aligned_split
mcourteaux
committed
d0495db
Feedback from Andrew.
mcourteaux
committed
88a4398
Simplify the bounds calculation of a split.
mcourteaux
committed
f1871f4
Peeling variants of the ramp <= broadcast style rules.

committed
c0a1a9a
Remove tutorial.
mcourteaux
committed
7435de5
WIP checkpoint before substitution-based apply_split rewrite

mcourteaux
and
claude
committed
f13a94d
Fix simplifier rule I f*kd up earlier.
mcourteaux
committed
0bd306a
Restore the aligned split logic in apply_split

mcourteaux
and
claude
committed
4e4be66
Collect a repeated term across a nested sum in the Add simplifier

mcourteaux
and
claude
committed
49501ce

Navigation Menu

Uh oh!

Aligned splits, take 2. - #9409

Aligned splits, take 2.#9409
mcourteaux wants to merge 29 commits into
mainfrom
mcourteaux/aligned-split-clean

Commits on Sep 4, 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