the accumulation over rows t .. rows - 1
123def irsAccumulate =
124 (lambda unrestricted width : Nat . (lambda unrestricted rows : Nat .
125 (llLoop irsP1 (lambda unrestricted tail : (family SM86Program) .
126 (irsCompare
127 (irsUnless irsP2 (irsElement irsRow irsJ width)
128 (irsUnless irsP2 (irsAddressOf irsSourceAddress irsRow indexedRowScatterSM86SourcePointerNatural)
129 (irsUnless irsP2 (lsLoad irsSource irsSourceAddress 0)
130 (irsUnless irsP2 (constructor SM86InstructionBody SM86FloatAdd (lsR irsAccumulator) (lsR irsAccumulator) (lsR irsSource) lsControlWaitSB1)
131 (lsNext (llAddImmediate irsJ 1)
132 (lsNext (llGreater irsP1 irsJ (naturalSaturatingSubtract rows 1))
133 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.