Repository navigation

Rewrite and fix sliding window - #9648

Draft

abadams wants to merge 54 commits into

mainfrom

abadams/sliding_window_rewrite

Draft

Rewrite and fix sliding window#9648
abadams wants to merge 54 commits into
mainfrom
abadams/sliding_window_rewrite

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

Commits

Commits on Aug 12, 2026

Commits on Aug 13, 2026

Commits on Aug 14, 2026

Commits on Aug 18, 2026

Commits on Aug 19, 2026

Commits on Aug 20, 2026

Commits on Aug 21, 2026

Commits on Aug 25, 2026

Commits on Aug 27, 2026

Commits on Aug 30, 2026

Commits on Sep 24, 2026

Commits on Oct 28, 2026

Commits on Nov 2, 2026

Commits on Nov 3, 2026