RepeatBegin: iteration 0, the count from operand 0, the first body record,
and the number of body records found by scanning forward to the matching
RepeatEnd (tag 10). A nested RepeatBegin (tag 9) or running off the image
is a malformed record. A count of zero skips the body: the records left
lose the body's and this one, and the advance steps past the end -- so a
count read from the state makes a block conditional.
2117def nativePhysicalNativeRepeatBeginBlock =
2118 (lambda unrestricted tail : (family X86NativeAssembly) .
2119 (nativePhysicalNativeLabel nativePhysicalNativeLabelDispatchRepeatBegin
2120 (nativePhysicalNativeResolveCall (byte 64) npRAX
2121 (npScratchInto npR10
2122 (npStore64 npR10 (npD (byte 8)) npRAX
2123 (npClear npR11
2124 (npStore64 npR10 nativePhysicalNativeD0 npR11
2125 (npLoad64 npRAX npR14 nativePhysicalNativeD8
2126 (npAdd npRAX npR14
2127 (npStore64 npR10 (npD (byte 16)) npRAX
2128 (nativePhysicalNativeLabel nativePhysicalNativeLabelRepeatScan
2129 (npCompare npRAX npR12
2130 (nativePhysicalNativeJumpCondition npBelow nativePhysicalNativeLabelRepeatScanNext
2131 (nativePhysicalNativeJump nativePhysicalNativeLabelFatalRecord
2132 (nativePhysicalNativeLabel nativePhysicalNativeLabelRepeatScanNext
2133 (npLoad64 npRDI npRAX nativePhysicalNativeD0
2134 (npCompareImmediate npRDI (nativePhysicalNativeI32Byte (byte 10))
2135 (nativePhysicalNativeJumpCondition npZero nativePhysicalNativeLabelRepeatFound
2136 (npCompareImmediate npRDI (nativePhysicalNativeI32Byte (byte 9))
2137 (nativePhysicalNativeJumpCondition npZero nativePhysicalNativeLabelFatalRecord
2138 (npAddImmediate npR11 (nativePhysicalNativeI32Byte (byte 1))
2139 (npLoad64 npRDI npRAX nativePhysicalNativeD8
2140 (npAdd npRAX npRDI
2141 (nativePhysicalNativeJump nativePhysicalNativeLabelRepeatScan
2142 (nativePhysicalNativeLabel nativePhysicalNativeLabelRepeatFound
2143 (npStore64 npR10 (npD (byte 24)) npR11
2144 (npLoad64 npRDI npR10 (npD (byte 8))
2145 (npTest npRDI
2146 (nativePhysicalNativeJumpCondition npNotZero nativePhysicalNativeLabelAdvance
2147 (nativePhysicalNativeEmit (nativePhysicalNativeSubtract npR11 npR13)
2148 (npAddImmediate npR13 nativePhysicalNativeI32NegativeOne
2149 (npMove npR14 npRAX
2150 (nativePhysicalNativeJump nativePhysicalNativeLabelAdvance 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.