The program for `width` components and `rows` source rows.
136def indexedRowScatterOrderedSM86ProgramRaw =
137 (lambda unrestricted width : Nat . (lambda unrestricted rows : Nat .
138 (lsNext (constructor SM86InstructionBody SM86SpecialToRegister (lsR irsT) (constructor SM86SpecialRegister SM86CooperativeThreadArrayIdX) lsControlSetSB0)
139 (lsNext (constructor SM86InstructionBody SM86SpecialToRegister (lsR irsC) (constructor SM86SpecialRegister SM86ThreadIdX) lsControlSetSB0)
140 (lsNext (llMove irsFour 4)
141 (lsNext (llMove irsJ 0)
142 (lsNext (constructor SM86InstructionBody SM86IntegerMultiplyAddWideConstant (lsR irsIdAddress) (lsR irsT) (lsR irsFour) (byte 0) (lsU indexedRowScatterSM86ClassIdPointerNatural) lsControlWaitSB0)
143 (lsNext (lsLoad irsV irsIdAddress 0)
144 (lsNext (constructor SM86InstructionBody SM86IntegerAddThreeImmediate (lsR irsPastT) (lsR irsT) (lsU 1) lsControl)
145 (irsEarlier
146 (lsNext (constructor SM86InstructionBody SM86IntegerAddThreeImmediate (lsR irsJ) (lsR irsT) (lsU 0) lsControl)
147 (lsNext (irsElement irsRow irsV width)
148 (lsNext (irsAddressOf irsDestinationAddress irsRow indexedRowScatterSM86DestinationPointerNatural)
149 (lsNext (lsLoad irsAccumulator irsDestinationAddress 0)
150 (irsAccumulate width rows
151 (lsNext (constructor SM86InstructionBody SM86StoreGlobal (lsR irsDestinationAddress) (lsR irsAccumulator) (lsU 0) lsControlWaitSB1)
152 (lsNext (constructor SM86InstructionBody SM86Exit lsControl)
153 (constructor SM86Program SM86ProgramEnd))))))))))))))))))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.