The scan reuses address registers across global loads. An LDG write
barrier retires its result but does not guarantee that its address read
has finished; serialize those late reads before reusing an address.
This only changes controls, so the loop's relative branch lengths stay
valid. See the read-barrier ownership check in SM86.Scoreboard.
160def indexedRowScatterOrderedSM86Program =
161 (lambda unrestricted width : Nat . (lambda unrestricted rows : Nat .
162 (sm86GuardLateReads (indexedRowScatterOrderedSM86ProgramRaw width rows))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.