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