Skip to content

Rewrite and fix sliding window #9648

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
abadams wants to merge 54 commits into from
Draft

Rewrite and fix sliding window #9648

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
54 commits
Select commit Hold shift + click to select a range
7e9ab31
Simplify nested selects on the same condition under affine arithmetic
abadams Aug 12, 2026
4cea8bd
Add the multiplication forms, and fix up the comment
abadams Aug 12, 2026
4f78c07
Drop the multiplication forms
abadams Aug 12, 2026
6d5bc77
Fix sliding window when several Funcs slide over the same loop
abadams Aug 6, 2026
5d6c865
Give each statement its own warm-up start when sliding
abadams Aug 6, 2026
90ca8e5
Separate sliding window's analysis from its rewrite
abadams Aug 6, 2026
f691bbe
Only rewind a loop to warm up sliding if that actually moves the window
abadams Aug 7, 2026
0025e14
Only rewind a loop to warm up sliding if the region required is affine
abadams Aug 7, 2026
ccdc729
Only roll a sliding window in registers over one loop
abadams Aug 7, 2026
740bcf2
Fuzz sliding window with flipped and symbolically-scaled indices
abadams Aug 7, 2026
997a176
Fuzz sliding window with degenerate, transposed and sheared indices
abadams Aug 7, 2026
ff977c5
Fuzz sliding window with update definitions
abadams Aug 7, 2026
387ac91
Fuzz sliding window with specialize, prefetch, vectorize and unroll
abadams Aug 7, 2026
ca4f3d4
Fuzz sliding window with the producer's own loops split
abadams Aug 9, 2026
d69d6bf
Move the sliding window fuzzer to test/fuzz
abadams Aug 10, 2026
60edd3a
Compute a sliding window's footprint by differencing the ends
abadams Aug 12, 2026
14f5e74
Reference the issues behind the fuzzer's tail strategy restrictions
abadams Aug 12, 2026
8b4c0bb
Address review findings
abadams Aug 13, 2026
c7dbca6
Address the second round of review comments
abadams Aug 13, 2026
badd17e
Merge remote-tracking branch 'origin/main' into abadams/slide_over_un…
abadams Aug 14, 2026
0a3957e
Merge remote-tracking branch 'origin/main' into abadams/slide_over_un…
abadams Aug 18, 2026
b66faff
Teach codespell that strat is a tail strategy
abadams Aug 19, 2026
21bd6a2
Add Func::slide, to slide over a dimension rather than a loop
abadams Aug 19, 2026
1fa4747
Make sliding over a dimension actually slide, and reject it when unsound
abadams Aug 19, 2026
2464ae7
Reject sliding over a dimension the region required doesn't move with
abadams Aug 19, 2026
d4f9d6c
Test and serialize Func::slide, and write down the fold factor contract
abadams Aug 19, 2026
d792404
Add worked examples for Func::slide, and document intermediate Vars
abadams Aug 19, 2026
97b35a8
Check for the modulus in the slide directive test
abadams Aug 19, 2026
71efca1
Let a Func slide over more than one dimension
abadams Aug 19, 2026
64c4330
Stop the sliding window fuzzer generating two impossible schedules
abadams Aug 19, 2026
351b75d
Untrack a scratch file that was committed by accident
abadams Aug 19, 2026
c502d63
Fold storage when sliding over a dimension split across several loops
abadams Aug 19, 2026
b38b7e4
Let Func::slide take an RVar, and expose it to Python
abadams Aug 19, 2026
30b91c1
Reject dimensions that don't count upwards, and fold clamped stencils
abadams Aug 19, 2026
3f8c3fa
Don't simplify the bounds of every let in the program
abadams Aug 19, 2026
c0758c5
Warm up a slid dimension by rewinding, not by a select
abadams Aug 19, 2026
95441a8
Fold storage for a dimension that is itself a loop
abadams Aug 20, 2026
44eada0
Fold a slid dimension to what is written, not what is asked for
abadams Aug 20, 2026
3c4cb2e
Tidy the comment on the slid window's width
abadams Aug 21, 2026
474b6b6
Rewrite a slid producer's bounds at every level it is declared at
abadams Aug 20, 2026
8c0764f
Widen a slid producer's bounds over only the loops in between
abadams Aug 21, 2026
909f50f
Fold a slid window whose index carries a promise
abadams Aug 27, 2026
4793830
Untrack a scratch file that was committed by accident
abadams Aug 30, 2026
38a1558
Let the CMake file-list check ignore scratch files
abadams Aug 30, 2026
d6a5185
Merge remote-tracking branch 'origin/main' into abadams/slide_directive
abadams Sep 24, 2026
157c71c
Unify sliding and folding over loops and lets
abadams Oct 28, 2026
767b163
Merge remote-tracking branch 'origin/main' into abadams/slide_directive
abadams Oct 28, 2026
4ab7a14
Check slide steps from the schedule instead of the Stmt
abadams Oct 28, 2026
1328bfd
Move more slide checks into schedule validation
abadams Oct 28, 2026
ffa7d3f
Fix CI failures
abadams Nov 2, 2026
3d66f15
Remove Func::slide, leaving the sliding window rewrite on its own
abadams Nov 2, 2026
91477af
Merge remote-tracking branch 'origin/main' into abadams/sliding_windo…
abadams Nov 2, 2026
69920d9
Move the description of sliding window's behavior to the header
abadams Nov 2, 2026
76a9d57
Get the fuzzer's reference output from a deep copy of the pipeline
abadams Nov 3, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .pre-commit-config.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ repos:
rev: v2.4.3
hooks:
- id: codespell
args: [ --ignore-words-list, "CreateOr,implementors,PADD,re-use,re-used,re-using,SME,+sme,subtile,subtiles,tRe" ]
args: [ --ignore-words-list, "CreateOr,implementors,PADD,re-use,re-used,re-using,SME,+sme,strat,subtile,subtiles,tRe" ]
exclude: |
(?x)(
^src/autoschedulers/common/cmdline\.h$
Expand Down
Loading
Loading