the outer loop: y = +0, j = 0, the first inner loop, y_i stored, d and the
loss, e back to the row's first element, j = 0, the second inner loop, i
advanced
139def llOuterLoop =
140 (lambda unrestricted m : Nat . (lambda unrestricted k : Nat .
141 (llLoop llP2 (lambda unrestricted tail : (family SM86Program) .
142 (lsNext (lsZero llY)
143 (lsNext (llMove llJ 0)
144 (llFirstLoop k
145 (lsNext (llAddressOf llYAddress llI 376)
146 (lsNext (lsStore llYAddress llY 0)
147 (lsNext (llAddressOf llTAddress llI 368)
148 (lsNext (lsLoad llT llTAddress 0)
149 (lsNext (constructor SM86InstructionBody SM86FloatNegate (lsR llD) (lsR llT) lsControlWaitSB1)
150 (lsNext (lsAdd llD llY llD)
151 (lsNext (lsFused llLoss llD llD llLoss)
152 (lsNext (llAddImmediate llE (naturalSaturatingSubtract 4294967296 k))
153 (lsNext (llMove llJ 0)
154 (llSecondLoop m k
155 (lsNext (llAddImmediate llI 1)
156 (lsNext (llGreater llP2 llI (naturalSaturatingSubtract m 1))
157 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.