751def nativePhysicalNativeMainBlock =
752 (lambda unrestricted tail : (family X86NativeAssembly) .
753 (nativePhysicalNativeLabel
754 nativePhysicalNativeLabelEntry
755 (nativePhysicalNativeLEA
756 (constructor X86NativeRegister64 X86NativeR15)
757 nativePhysicalNativeLabelImage
758 (nativePhysicalNativeEmit
759 (nativePhysicalNativeLoad64
760 (constructor X86NativeRegister64 X86NativeRAX)
761 (constructor X86NativeRegister64 X86NativeR15)
762 nativePhysicalNativeD0)
763 (nativePhysicalNativeEmit
764 (nativePhysicalNativeMoveImmediate64
765 (constructor X86NativeRegister64 X86NativeR11)
766 (nativePhysicalNativeImmediate64
767 (byte 65)
768 (byte 76)
769 (byte 80)
770 (byte 88)
771 (byte 80)
772 (byte 72)
773 (byte 89)
774 (byte 50)))
775 (nativePhysicalNativeEmit
776 (nativePhysicalNativeCompare
777 (constructor X86NativeRegister64 X86NativeR11)
778 (constructor X86NativeRegister64 X86NativeRAX))
779 (nativePhysicalNativeJumpCondition
780 (constructor X86NativeCondition X86NativeConditionNotZero)
781 nativePhysicalNativeLabelFatalFormat
782 (nativePhysicalNativeEmit
783 (nativePhysicalNativeLoad64
784 (constructor X86NativeRegister64 X86NativeRAX)
785 (constructor X86NativeRegister64 X86NativeR15)
786 nativePhysicalNativeD8)
787 (nativePhysicalNativeEmit
788 (nativePhysicalNativeCompareImmediate
789 (constructor X86NativeRegister64 X86NativeRAX)
790 (nativePhysicalNativeI32Byte (byte 2)))
791 (nativePhysicalNativeJumpCondition
792 (constructor X86NativeCondition X86NativeConditionNotZero)
793 nativePhysicalNativeLabelFatalFormat
794 (nativePhysicalNativeEmit
795 (nativePhysicalNativeLoad64
796 (constructor X86NativeRegister64 X86NativeR13)
797 (constructor X86NativeRegister64 X86NativeR15)
798 (nativePhysicalNativeDisplacementByte (byte 16)))
799 (nativePhysicalNativeEmit
800 (nativePhysicalNativeMove
801 (constructor X86NativeRegister64 X86NativeR15)
802 (constructor X86NativeRegister64 X86NativeR14))
803 (nativePhysicalNativeEmit
804 (nativePhysicalNativeAddImmediate
805 (constructor X86NativeRegister64 X86NativeR14)
806 (nativePhysicalNativeI32Byte (byte 176)))
807 (nativePhysicalNativeEmit
808 (nativePhysicalNativeMove
809 (constructor X86NativeRegister64 X86NativeR14)
810 (constructor X86NativeRegister64 X86NativeR12))
811 (nativePhysicalNativeEmit
812 (nativePhysicalNativeLoad64
813 (constructor X86NativeRegister64 X86NativeRAX)
814 (constructor X86NativeRegister64 X86NativeR15)
815 (nativePhysicalNativeDisplacementByte (byte 40)))
816 (nativePhysicalNativeEmit
817 (nativePhysicalNativeAdd
818 (constructor X86NativeRegister64 X86NativeRAX)
819 (constructor X86NativeRegister64 X86NativeR12))
820 (nativePhysicalNativeEmit
821 (nativePhysicalNativeLoad64
822 (constructor X86NativeRegister64 X86NativeRSI)
823 (constructor X86NativeRegister64 X86NativeR15)
824 (nativePhysicalNativeDisplacementByte (byte 24)))
825 (nativePhysicalNativeEmit
826 (nativePhysicalNativeTest
827 (constructor X86NativeRegister64 X86NativeRSI)
828 (constructor X86NativeRegister64 X86NativeRSI))
829 (nativePhysicalNativeJumpCondition
830 (constructor X86NativeCondition X86NativeConditionZero)
831 nativePhysicalNativeLabelFatalFormat
832 (nativePhysicalNativeEmit
833 (nativePhysicalNativeLoad64
834 (constructor X86NativeRegister64 X86NativeRAX)
835 (constructor X86NativeRegister64 X86NativeR15)
836 (nativePhysicalNativeDisplacementByte (byte 32)))
837 (nativePhysicalNativeEmit
838 (nativePhysicalNativeShiftLeft
839 (constructor X86NativeRegister64 X86NativeRAX)
840 (nativePhysicalNativeImmediate8 (byte 3)))
841 (nativePhysicalNativeEmit
842 (nativePhysicalNativeAdd
843 (constructor X86NativeRegister64 X86NativeRAX)
844 (constructor X86NativeRegister64 X86NativeRSI))
845 (nativePhysicalNativeEmit
846 (nativePhysicalNativeAddImmediate
847 (constructor X86NativeRegister64 X86NativeRSI)
848 (nativePhysicalNativeI32Byte (byte 48)))
849 (nativePhysicalNativeEmit
850 (nativePhysicalNativeMoveImmediate32
851 (constructor X86NativeRegister64 X86NativeRAX)
852 (nativePhysicalNativeI32Byte (byte 9)))
853 (nativePhysicalNativeEmit
854 (nativePhysicalNativeMoveImmediate32
855 (constructor X86NativeRegister64 X86NativeRDI)
856 (nativePhysicalNativeI32Byte (byte 0)))
857 (nativePhysicalNativeEmit
858 (nativePhysicalNativeMoveImmediate32
859 (constructor X86NativeRegister64 X86NativeRDX)
860 (nativePhysicalNativeI32Byte (byte 3)))
861 (nativePhysicalNativeEmit
862 (nativePhysicalNativeMoveImmediate32
863 (constructor X86NativeRegister64 X86NativeR10)
864 (nativePhysicalNativeI32Byte (byte 34)))
865 (nativePhysicalNativeEmit
866 (nativePhysicalNativeMoveImmediate64
867 (constructor X86NativeRegister64 X86NativeR8)
868 nativePhysicalNativeI64NegativeOne)
869 (nativePhysicalNativeEmit
870 (nativePhysicalNativeMoveImmediate32
871 (constructor X86NativeRegister64 X86NativeR9)
872 (nativePhysicalNativeI32Byte (byte 0)))
873 (nativePhysicalNativeEmit
874 nativePhysicalNativeSystemCallInstruction
875 (nativePhysicalNativeEmit
876 (nativePhysicalNativeTest
877 (constructor X86NativeRegister64 X86NativeRAX)
878 (constructor X86NativeRegister64 X86NativeRAX))
879 (nativePhysicalNativeJumpCondition
880 (constructor X86NativeCondition X86NativeConditionSign)
881 nativePhysicalNativeLabelFatalSystemCall
882 (nativePhysicalNativeEmit
883 (nativePhysicalNativeMove
884 (constructor X86NativeRegister64 X86NativeRAX)
885 (constructor X86NativeRegister64 X86NativeRBP))
886 (nativePhysicalNativeEmit
887 (nativePhysicalNativeMove
888 (constructor X86NativeRegister64 X86NativeRBP)
889 (constructor X86NativeRegister64 X86NativeRBX))
890 (nativePhysicalNativeEmit
891 (nativePhysicalNativeLoad64
892 (constructor X86NativeRegister64 X86NativeRAX)
893 (constructor X86NativeRegister64 X86NativeR15)
894 (nativePhysicalNativeDisplacementByte (byte 24)))
895 (nativePhysicalNativeEmit
896 (nativePhysicalNativeAdd
897 (constructor X86NativeRegister64 X86NativeRAX)
898 (constructor X86NativeRegister64 X86NativeRBX))
899 (nativePhysicalNativeJump
900 nativePhysicalNativeLabelLoop
901 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.