625def nativePhysicalNativeResolveBlock =
626 (lambda unrestricted tail : (family X86NativeAssembly) .
627 (nativePhysicalNativeResolveSlot
628 (nativePhysicalNativeLabel
629 nativePhysicalNativeLabelResolve
630 (nativePhysicalNativeEmit
631 (nativePhysicalNativeLoad64
632 (constructor X86NativeRegister64 X86NativeR10)
633 (constructor X86NativeRegister64 X86NativeRDI)
634 nativePhysicalNativeD0)
635 (nativePhysicalNativeEmit
636 (nativePhysicalNativeCompareImmediate
637 (constructor X86NativeRegister64 X86NativeR10)
638 (nativePhysicalNativeI32Byte (byte 0)))
639 (nativePhysicalNativeJumpCondition
640 (constructor X86NativeCondition X86NativeConditionZero)
641 nativePhysicalNativeLabelResolveImmediate
642 (nativePhysicalNativeEmit
643 (nativePhysicalNativeCompareImmediate
644 (constructor X86NativeRegister64 X86NativeR10)
645 (nativePhysicalNativeI32Byte (byte 1)))
646 (nativePhysicalNativeJumpCondition
647 (constructor X86NativeCondition X86NativeConditionZero)
648 nativePhysicalNativeLabelResolveResult
649 (nativePhysicalNativeEmit
650 (nativePhysicalNativeCompareImmediate
651 (constructor X86NativeRegister64 X86NativeR10)
652 (nativePhysicalNativeI32Byte (byte 2)))
653 (nativePhysicalNativeJumpCondition
654 (constructor X86NativeCondition X86NativeConditionZero)
655 nativePhysicalNativeLabelResolveResultAddress
656 (nativePhysicalNativeEmit
657 (nativePhysicalNativeCompareImmediate
658 (constructor X86NativeRegister64 X86NativeR10)
659 (nativePhysicalNativeI32Byte (byte 3)))
660 (nativePhysicalNativeJumpCondition
661 (constructor X86NativeCondition X86NativeConditionZero)
662 nativePhysicalNativeLabelResolveStateAddress
663 (nativePhysicalNativeEmit
664 (nativePhysicalNativeCompareImmediate
665 (constructor X86NativeRegister64 X86NativeR10)
666 (nativePhysicalNativeI32Byte (byte 4)))
667 (nativePhysicalNativeJumpCondition
668 (constructor X86NativeCondition X86NativeConditionZero)
669 nativePhysicalNativeLabelResolveStateLoad
670 (nativePhysicalNativeEmit
671 (nativePhysicalNativeCompareImmediate
672 (constructor X86NativeRegister64 X86NativeR10)
673 (nativePhysicalNativeI32Byte (byte 5)))
674 (nativePhysicalNativeJumpCondition
675 (constructor X86NativeCondition X86NativeConditionZero)
676 nativePhysicalNativeLabelResolvePayloadAddress
677 (nativePhysicalNativeEmit
678 (nativePhysicalNativeCompareImmediate
679 (constructor X86NativeRegister64 X86NativeR10)
680 (nativePhysicalNativeI32Byte (byte 6)))
681 (nativePhysicalNativeJumpCondition
682 (constructor X86NativeCondition X86NativeConditionZero)
683 nativePhysicalNativeLabelResolvePayloadLoad
684 (nativePhysicalNativeEmit
685 (nativePhysicalNativeCompareImmediate
686 (constructor X86NativeRegister64 X86NativeR10)
687 (nativePhysicalNativeI32Byte (byte 7)))
688 (nativePhysicalNativeJumpCondition
689 (constructor X86NativeCondition X86NativeConditionZero)
690 nativePhysicalNativeLabelResolveProcessArgument
691 (nativePhysicalNativeEmit
692 (nativePhysicalNativeCompareImmediate
693 (constructor X86NativeRegister64 X86NativeR10)
694 (nativePhysicalNativeI32Byte (byte 8)))
695 (nativePhysicalNativeJumpCondition
696 (constructor X86NativeCondition X86NativeConditionZero)
697 nativePhysicalNativeLabelResolveLoopAffine
698 (nativePhysicalNativeJump
699 nativePhysicalNativeLabelFatalOperand
700 (nativePhysicalNativeLabel
701 nativePhysicalNativeLabelResolveImmediate
702 (nativePhysicalNativeEmit
703 (nativePhysicalNativeLoad64
704 (constructor X86NativeRegister64 X86NativeRAX)
705 (constructor X86NativeRegister64 X86NativeRDI)
706 nativePhysicalNativeD8)
707 (nativePhysicalNativeEmit
708 nativePhysicalNativeReturnInstruction
709 (nativePhysicalNativeLabel
710 nativePhysicalNativeLabelResolveResult
711 (nativePhysicalNativeEmit
712 (nativePhysicalNativeLoad64
713 (constructor X86NativeRegister64 X86NativeRAX)
714 (constructor X86NativeRegister64 X86NativeRDI)
715 nativePhysicalNativeD8)
716 (nativePhysicalNativeEmit
717 (nativePhysicalNativeLoad64
718 (constructor X86NativeRegister64 X86NativeR11)
719 (constructor X86NativeRegister64 X86NativeR15)
720 (nativePhysicalNativeDisplacementByte (byte 32)))
721 (nativePhysicalNativeEmit
722 (nativePhysicalNativeCompare
723 (constructor X86NativeRegister64 X86NativeR11)
724 (constructor X86NativeRegister64 X86NativeRAX))
725 (nativePhysicalNativeJumpCondition
726 (constructor X86NativeCondition X86NativeConditionBelow)
727 nativePhysicalNativeLabelResolveSlotValid
728 (nativePhysicalNativeJump
729 nativePhysicalNativeLabelFatalOperand
730 (nativePhysicalNativeLabel
731 nativePhysicalNativeLabelResolveSlotValid
732 (nativePhysicalNativeEmit
733 (nativePhysicalNativeShiftLeft
734 (constructor X86NativeRegister64 X86NativeRAX)
735 (nativePhysicalNativeImmediate8 (byte 3)))
736 (nativePhysicalNativeEmit
737 (nativePhysicalNativeAdd
738 (constructor X86NativeRegister64 X86NativeRBX)
739 (constructor X86NativeRegister64 X86NativeRAX))
740 (nativePhysicalNativeEmit
741 (nativePhysicalNativeLoad64
742 (constructor X86NativeRegister64 X86NativeRAX)
743 (constructor X86NativeRegister64 X86NativeRAX)
744 nativePhysicalNativeD0)
745 (nativePhysicalNativeEmit
746 nativePhysicalNativeReturnInstruction
747 (nativePhysicalNativeLabel
748 nativePhysicalNativeLabelResolveResultAddress
749 (nativePhysicalNativeEmit
750 (nativePhysicalNativeLoad64
751 (constructor X86NativeRegister64 X86NativeRAX)
752 (constructor X86NativeRegister64 X86NativeRDI)
753 nativePhysicalNativeD8)
754 (nativePhysicalNativeEmit
755 (nativePhysicalNativeLoad64
756 (constructor X86NativeRegister64 X86NativeR11)
757 (constructor X86NativeRegister64 X86NativeR15)
758 (nativePhysicalNativeDisplacementByte (byte 32)))
759 (nativePhysicalNativeEmit
760 (nativePhysicalNativeCompare
761 (constructor X86NativeRegister64 X86NativeR11)
762 (constructor X86NativeRegister64 X86NativeRAX))
763 (nativePhysicalNativeJumpCondition
764 (constructor X86NativeCondition X86NativeConditionBelow)
765 nativePhysicalNativeLabelResolveResultAddressSlotValid
766 (nativePhysicalNativeJump
767 nativePhysicalNativeLabelFatalOperand
768 (nativePhysicalNativeLabel
769 nativePhysicalNativeLabelResolveResultAddressSlotValid
770 (nativePhysicalNativeEmit
771 (nativePhysicalNativeShiftLeft
772 (constructor X86NativeRegister64 X86NativeRAX)
773 (nativePhysicalNativeImmediate8 (byte 3)))
774 (nativePhysicalNativeEmit
775 (nativePhysicalNativeAdd
776 (constructor X86NativeRegister64 X86NativeRBX)
777 (constructor X86NativeRegister64 X86NativeRAX))
778 (nativePhysicalNativeEmit
779 (nativePhysicalNativeLoad64
780 (constructor X86NativeRegister64 X86NativeRAX)
781 (constructor X86NativeRegister64 X86NativeRAX)
782 nativePhysicalNativeD0)
783 (nativePhysicalNativeEmit
784 (nativePhysicalNativeLoad64
785 (constructor X86NativeRegister64 X86NativeR11)
786 (constructor X86NativeRegister64 X86NativeRDI)
787 (nativePhysicalNativeDisplacementByte (byte 16)))
788 (nativePhysicalNativeEmit
789 (nativePhysicalNativeAdd
790 (constructor X86NativeRegister64 X86NativeR11)
791 (constructor X86NativeRegister64 X86NativeRAX))
792 (nativePhysicalNativeEmit
793 nativePhysicalNativeReturnInstruction
794 (nativePhysicalNativeLabel
795 nativePhysicalNativeLabelResolveStateAddress
796 (nativePhysicalNativeEmit
797 (nativePhysicalNativeLoad64
798 (constructor X86NativeRegister64 X86NativeRAX)
799 (constructor X86NativeRegister64 X86NativeRDI)
800 nativePhysicalNativeD8)
801 (nativePhysicalNativeEmit
802 (nativePhysicalNativeLoad64
803 (constructor X86NativeRegister64 X86NativeR11)
804 (constructor X86NativeRegister64 X86NativeR15)
805 (nativePhysicalNativeDisplacementByte (byte 24)))
806 (nativePhysicalNativeEmit
807 (nativePhysicalNativeCompare
808 (constructor X86NativeRegister64 X86NativeR11)
809 (constructor X86NativeRegister64 X86NativeRAX))
810 (nativePhysicalNativeJumpCondition
811 (constructor X86NativeCondition X86NativeConditionBelow)
812 nativePhysicalNativeLabelResolveStateAddressValid
813 (nativePhysicalNativeJump
814 nativePhysicalNativeLabelFatalOperand
815 (nativePhysicalNativeLabel
816 nativePhysicalNativeLabelResolveStateAddressValid
817 (nativePhysicalNativeEmit
818 (nativePhysicalNativeAdd
819 (constructor X86NativeRegister64 X86NativeRBP)
820 (constructor X86NativeRegister64 X86NativeRAX))
821 (nativePhysicalNativeEmit
822 nativePhysicalNativeReturnInstruction
823 (nativePhysicalNativeLabel
824 nativePhysicalNativeLabelResolveStateLoad
825 (nativePhysicalNativeEmit
826 (nativePhysicalNativeLoad64
827 (constructor X86NativeRegister64 X86NativeRAX)
828 (constructor X86NativeRegister64 X86NativeRDI)
829 nativePhysicalNativeD8)
830 (nativePhysicalNativeEmit
831 (nativePhysicalNativeMove
832 (constructor X86NativeRegister64 X86NativeRAX)
833 (constructor X86NativeRegister64 X86NativeR10))
834 (nativePhysicalNativeEmit
835 (nativePhysicalNativeAddImmediate
836 (constructor X86NativeRegister64 X86NativeR10)
837 (nativePhysicalNativeI32Byte (byte 8)))
838 (nativePhysicalNativeEmit
839 (nativePhysicalNativeLoad64
840 (constructor X86NativeRegister64 X86NativeR11)
841 (constructor X86NativeRegister64 X86NativeR15)
842 (nativePhysicalNativeDisplacementByte (byte 24)))
843 (nativePhysicalNativeEmit
844 (nativePhysicalNativeCompare
845 (constructor X86NativeRegister64 X86NativeR11)
846 (constructor X86NativeRegister64 X86NativeR10))
847 (nativePhysicalNativeJumpCondition
848 (constructor X86NativeCondition X86NativeConditionAbove)
849 nativePhysicalNativeLabelFatalOperand
850 (nativePhysicalNativeLabel
851 nativePhysicalNativeLabelResolveStateLoadValid
852 (nativePhysicalNativeEmit
853 (nativePhysicalNativeAdd
854 (constructor X86NativeRegister64 X86NativeRBP)
855 (constructor X86NativeRegister64 X86NativeRAX))
856 (nativePhysicalNativeEmit
857 (nativePhysicalNativeLoad64
858 (constructor X86NativeRegister64 X86NativeRAX)
859 (constructor X86NativeRegister64 X86NativeRAX)
860 nativePhysicalNativeD0)
861 (nativePhysicalNativeEmit
862 nativePhysicalNativeReturnInstruction
863 (nativePhysicalNativeLabel
864 nativePhysicalNativeLabelResolvePayloadAddress
865 (nativePhysicalNativeEmit
866 (nativePhysicalNativeLoad64
867 (constructor X86NativeRegister64 X86NativeRAX)
868 (constructor X86NativeRegister64 X86NativeRDI)
869 nativePhysicalNativeD8)
870 (nativePhysicalNativeEmit
871 (nativePhysicalNativeLoad64
872 (constructor X86NativeRegister64 X86NativeR11)
873 (constructor X86NativeRegister64 X86NativeR14)
874 (nativePhysicalNativeDisplacementByte (byte 32)))
875 (nativePhysicalNativeEmit
876 (nativePhysicalNativeCompare
877 (constructor X86NativeRegister64 X86NativeR11)
878 (constructor X86NativeRegister64 X86NativeRAX))
879 (nativePhysicalNativeJumpCondition
880 (constructor X86NativeCondition X86NativeConditionBelow)
881 nativePhysicalNativeLabelResolvePayloadAddressValid
882 (nativePhysicalNativeJump
883 nativePhysicalNativeLabelFatalOperand
884 (nativePhysicalNativeLabel
885 nativePhysicalNativeLabelResolvePayloadAddressValid
886 (nativePhysicalNativeEmit
887 (nativePhysicalNativeAdd
888 (constructor X86NativeRegister64 X86NativeR14)
889 (constructor X86NativeRegister64 X86NativeRAX))
890 (nativePhysicalNativePayloadBase
891 (constructor X86NativeRegister64 X86NativeRAX)
892 (constructor X86NativeRegister64 X86NativeR11)
893 (nativePhysicalNativeEmit
894 nativePhysicalNativeReturnInstruction
895 (nativePhysicalNativeLabel
896 nativePhysicalNativeLabelResolvePayloadLoad
897 (nativePhysicalNativeEmit
898 (nativePhysicalNativeLoad64
899 (constructor X86NativeRegister64 X86NativeRAX)
900 (constructor X86NativeRegister64 X86NativeRDI)
901 nativePhysicalNativeD8)
902 (nativePhysicalNativeEmit
903 (nativePhysicalNativeMove
904 (constructor X86NativeRegister64 X86NativeRAX)
905 (constructor X86NativeRegister64 X86NativeR10))
906 (nativePhysicalNativeEmit
907 (nativePhysicalNativeAddImmediate
908 (constructor X86NativeRegister64 X86NativeR10)
909 (nativePhysicalNativeI32Byte (byte 8)))
910 (nativePhysicalNativeEmit
911 (nativePhysicalNativeLoad64
912 (constructor X86NativeRegister64 X86NativeR11)
913 (constructor X86NativeRegister64 X86NativeR14)
914 (nativePhysicalNativeDisplacementByte (byte 32)))
915 (nativePhysicalNativeEmit
916 (nativePhysicalNativeCompare
917 (constructor X86NativeRegister64 X86NativeR11)
918 (constructor X86NativeRegister64 X86NativeR10))
919 (nativePhysicalNativeJumpCondition
920 (constructor X86NativeCondition X86NativeConditionAbove)
921 nativePhysicalNativeLabelFatalOperand
922 (nativePhysicalNativeLabel
923 nativePhysicalNativeLabelResolvePayloadLoadValid
924 (nativePhysicalNativeEmit
925 (nativePhysicalNativeAdd
926 (constructor X86NativeRegister64 X86NativeR14)
927 (constructor X86NativeRegister64 X86NativeRAX))
928 (nativePhysicalNativePayloadBase
929 (constructor X86NativeRegister64 X86NativeRAX)
930 (constructor X86NativeRegister64 X86NativeR11)
931 (nativePhysicalNativeEmit
932 (nativePhysicalNativeLoad64
933 (constructor X86NativeRegister64 X86NativeRAX)
934 (constructor X86NativeRegister64 X86NativeRAX)
935 nativePhysicalNativeD0)
936 (nativePhysicalNativeEmit
937 nativePhysicalNativeReturnInstruction
938 (nativePhysicalNativeLabel
939 nativePhysicalNativeLabelResolveProcessArgument
940 (nativePhysicalNativeEmit
941 (nativePhysicalNativeLoad64
942 (constructor X86NativeRegister64 X86NativeRAX)
943 (constructor X86NativeRegister64 X86NativeRDI)
944 nativePhysicalNativeD8)
945 (nativePhysicalNativeEmit
946 (nativePhysicalNativeShiftLeft
947 (constructor X86NativeRegister64 X86NativeRAX)
948 (nativePhysicalNativeImmediate8 (byte 3)))
949 (nativePhysicalNativeEmit
950 (nativePhysicalNativeAdd
951 (constructor X86NativeRegister64 X86NativeRSP)
952 (constructor X86NativeRegister64 X86NativeRAX))
953 (nativePhysicalNativeEmit
954 (nativePhysicalNativeLoad64
955 (constructor X86NativeRegister64 X86NativeRAX)
956 (constructor X86NativeRegister64 X86NativeRAX)
957 (nativePhysicalNativeDisplacementByte (byte 16)))
958 (nativePhysicalNativeEmit
959 nativePhysicalNativeReturnInstruction
960 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.