LoopAffine: base + iteration * stride, the product by repeated addition.
rdi holds the descriptor; rax, r10 and r11 are the resolver's scratch
2217def nativePhysicalNativeResolveLoopAffineBlock =
2218 (lambda unrestricted tail : (family X86NativeAssembly) .
2219 (nativePhysicalNativeLabel nativePhysicalNativeLabelResolveLoopAffine
2220 (npLoad64 npRAX npRDI nativePhysicalNativeD8
2221 (npLoad64 npR11 npRDI (npD (byte 16))
2222 (npScratchInto npR10
2223 (npLoad64 npR10 npR10 nativePhysicalNativeD0
2224 (nativePhysicalNativeLabel nativePhysicalNativeLabelResolveLoopAffineStep
2225 (npTest npR10
2226 (nativePhysicalNativeJumpCondition npZero nativePhysicalNativeLabelResolveLoopAffineDone
2227 (npAdd npRAX npR11
2228 (npAddImmediate npR10 nativePhysicalNativeI32NegativeOne
2229 (nativePhysicalNativeJump nativePhysicalNativeLabelResolveLoopAffineStep
2230 (nativePhysicalNativeLabel nativePhysicalNativeLabelResolveLoopAffineDone
2231 (nativePhysicalNativeEmit nativePhysicalNativeReturnInstruction 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.