Repository navigation

compiler: Fix stale reads and lost writes in buffering - #3063

Draft

ggorman wants to merge 7 commits into

fix-buffering-skip-rulefrom

fix-buffering-stale-reads

Draft

compiler: Fix stale reads and lost writes in buffering#3063
ggorman wants to merge 7 commits into
fix-buffering-skip-rulefrom
fix-buffering-stale-reads

Commits on Oct 16, 2026
- ir: Let GuardBoundNext be negated
  ggorman
  committed
  db29fb4
- compiler: Load buffer slots read before being written and copy back written ones
  
  Gerard Gorman
  authored and
  ggorman
  committed
  f87c18a
- compiler: Group buffered Clusters by guards also when non-consecutive
  
  Gerard Gorman
  authored and
  ggorman
  committed
  4cb74eb
- compiler: Share one buffer between reads and earlier writes under other guards
  
  Gerard Gorman
  authored and
  ggorman
  committed
  cdd9d03
- compiler: Reject buffering under guards modified between writes
  
  Gerard Gorman
  authored and
  ggorman
  committed
  e6e507b
- compiler: Reject buffering Functions written at multiple indices per iteration
  
  Gerard Gorman
  authored and
  ggorman
  committed
  6e575ab
- compiler: Do not skip a copy-back if the slot is read in between
  ggorman
  committed
  97766e3