A scanned record (pointer, extent in scratch): scratch := extent + omitted
- 232, the bytes after its operand slots, refusing omitted > 168 or a
record shorter than its fixed part. field is dead afterwards.
594def nativePhysicalNativeScanFixedPart =
595 (lambda unrestricted pointer : (family X86NativeRegister64) .
596 (lambda unrestricted scratch : (family X86NativeRegister64) .
597 (lambda unrestricted field : (family X86NativeRegister64) .
598 (lambda unrestricted tail : (family X86NativeAssembly) .
599 (nativePhysicalNativeEmit
600 (nativePhysicalNativeLoad64 field pointer (nativePhysicalNativeDisplacementByte (byte 56)))
601 (nativePhysicalNativeEmit
602 (nativePhysicalNativeCompareImmediate
603 field
604 (nativePhysicalNativeI32Byte (nat-to-byte nativePhysicalImageCommandOperandBytes)))
605 (nativePhysicalNativeJumpCondition
606 (constructor X86NativeCondition X86NativeConditionAbove)
607 nativePhysicalNativeLabelFatalRecord
608 (nativePhysicalNativeEmit
609 (nativePhysicalNativeAdd field scratch)
610 (nativePhysicalNativeEmit
611 (nativePhysicalNativeMoveImmediate32
612 field
613 (nativePhysicalNativeI32Byte (nat-to-byte nativePhysicalImageCommandFixedBytes)))
614 (nativePhysicalNativeEmit
615 (nativePhysicalNativeCompare field scratch)
616 (nativePhysicalNativeJumpCondition
617 (constructor X86NativeCondition X86NativeConditionBelow)
618 nativePhysicalNativeLabelFatalRecord
619 (nativePhysicalNativeEmit
620 (nativePhysicalNativeSubtract field scratch)
621 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.