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