bank b's quad (pointer 6 + 2b) into R32 + 4b, under SB b; the first waits
for the last iteration's stores' reads
174def ahLoadBank = (lambda unrestricted b : Nat . (lambda unrestricted barrier : (family SM86Barrier) .
175 (lambda unrestricted wait : Nat . (lambda unrestricted tail : (family SM86Program) .
176 (ahGuarded (constructor SM86InstructionBody SM86LoadGlobalWide (saR (ahValue 0 b)) (saR (naturalAdd 6 (naturalMultiply 2 b))) (saU 0)
177 (saCtl barrier wait)) tail)))))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.