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.
596def nativePhysicalNativeScanFixedPart =
597 (lambda unrestricted pointer : (family X86NativeRegister64) .
598 (lambda unrestricted scratch : (family X86NativeRegister64) .
599 (lambda unrestricted field : (family X86NativeRegister64) .
600 (lambda unrestricted tail : (family X86NativeAssembly) .
601 (nativePhysicalNativeEmit
602 (nativePhysicalNativeLoad64 field pointer (nativePhysicalNativeDisplacementByte (byte 56)))
603 (nativePhysicalNativeEmit
604 (nativePhysicalNativeCompareImmediate
605 field
606 (nativePhysicalNativeI32Byte (nat-to-byte nativePhysicalImageCommandOperandBytes)))
607 (nativePhysicalNativeJumpCondition
608 (constructor X86NativeCondition X86NativeConditionAbove)
609 nativePhysicalNativeLabelFatalRecord
610 (nativePhysicalNativeEmit
611 (nativePhysicalNativeAdd field scratch)
612 (nativePhysicalNativeEmit
613 (nativePhysicalNativeMoveImmediate32
614 field
615 (nativePhysicalNativeI32Byte (nat-to-byte nativePhysicalImageCommandFixedBytes)))
616 (nativePhysicalNativeEmit
617 (nativePhysicalNativeCompare field scratch)
618 (nativePhysicalNativeJumpCondition
619 (constructor X86NativeCondition X86NativeConditionBelow)
620 nativePhysicalNativeLabelFatalRecord
621 (nativePhysicalNativeEmit
622 (nativePhysicalNativeSubtract field scratch)
623 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.