159def linearStepLoopSM86ProgramFor =
160 (lambda unrestricted m : Nat . (lambda unrestricted k : Nat .
161 (lsPrologue k m
162 (lsNext (lsNegate llR11 10)
163 (lsNext (llMove llHalfRegister 1056964608)
164 (lsNext (lsZero llLoss)
165 (lsNext (llMove llFour 4)
166 (lsNext (llMove llI 0)
167 (lsNext (llMove llE 0)
168 (llOuterLoop m k
169 (lsNext (lsMultiply llLoss llHalfRegister llLoss)
170 (lsNext (llAddressOf llYAddress llI 376)
171 (lsNext (lsStore llYAddress llLoss 0)
172 lsExit)))))))))))))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.