1004def nativePhysicalNativeMainBlock =
1005 (lambda unrestricted tail : (family X86NativeAssembly) .
1006 (nativePhysicalNativeLabel
1007 nativePhysicalNativeLabelEntry
1008 (nativePhysicalNativeLEA
1009 (constructor X86NativeRegister64 X86NativeR15)
1010 nativePhysicalNativeLabelImage
1011 (nativePhysicalNativeEmit
1012 (nativePhysicalNativeLoad64
1013 (constructor X86NativeRegister64 X86NativeRAX)
1014 (constructor X86NativeRegister64 X86NativeR15)
1015 nativePhysicalNativeD0)
1016 (nativePhysicalNativeEmit
1017 (nativePhysicalNativeMoveImmediate64
1018 (constructor X86NativeRegister64 X86NativeR11)
1019 (nativePhysicalNativeImmediate64 (byte 65) (byte 76) (byte 80) (byte 88) (byte 76) (byte 90) (byte 48) (byte 49)))
1020 (nativePhysicalNativeEmit
1021 (nativePhysicalNativeCompare
1022 (constructor X86NativeRegister64 X86NativeR11)
1023 (constructor X86NativeRegister64 X86NativeRAX))
1024 (nativePhysicalNativeJumpCondition
1025 (constructor X86NativeCondition X86NativeConditionZero)
1026 nativePhysicalNativeLabelUnpack
1027 (nativePhysicalNativeLabel
1028 nativePhysicalNativeLabelImageReady
1029 (nativePhysicalNativeEmit
1030 (nativePhysicalNativeLoad64
1031 (constructor X86NativeRegister64 X86NativeRAX)
1032 (constructor X86NativeRegister64 X86NativeR15)
1033 nativePhysicalNativeD0)
1034 (nativePhysicalNativeEmit
1035 (nativePhysicalNativeMoveImmediate64
1036 (constructor X86NativeRegister64 X86NativeR11)
1037 (nativePhysicalNativeImmediate64
1038 (byte 65)
1039 (byte 76)
1040 (byte 80)
1041 (byte 88)
1042 (byte 80) (byte 72) (byte 89) (byte 52)))
1043 (nativePhysicalNativeEmit
1044 (nativePhysicalNativeCompare
1045 (constructor X86NativeRegister64 X86NativeR11)
1046 (constructor X86NativeRegister64 X86NativeRAX))
1047 (nativePhysicalNativeJumpCondition
1048 (constructor X86NativeCondition X86NativeConditionNotZero)
1049 nativePhysicalNativeLabelFatalFormat
1050 (nativePhysicalNativeEmit
1051 (nativePhysicalNativeLoad64
1052 (constructor X86NativeRegister64 X86NativeRAX)
1053 (constructor X86NativeRegister64 X86NativeR15)
1054 nativePhysicalNativeD8)
1055 (nativePhysicalNativeEmit
1056 (nativePhysicalNativeCompareImmediate
1057 (constructor X86NativeRegister64 X86NativeRAX)
1058 (nativePhysicalNativeI32Byte (byte 4)))
1059 (nativePhysicalNativeJumpCondition
1060 (constructor X86NativeCondition X86NativeConditionNotZero)
1061 nativePhysicalNativeLabelFatalFormat
1062 (nativePhysicalNativeEmit
1063 (nativePhysicalNativeLoad64
1064 (constructor X86NativeRegister64 X86NativeR13)
1065 (constructor X86NativeRegister64 X86NativeR15)
1066 (nativePhysicalNativeDisplacementByte (byte 16)))
1067 (nativePhysicalNativeEmit
1068 (nativePhysicalNativeMove
1069 (constructor X86NativeRegister64 X86NativeR15)
1070 (constructor X86NativeRegister64 X86NativeR14))
1071 (nativePhysicalNativeEmit
1072 (nativePhysicalNativeAddImmediate
1073 (constructor X86NativeRegister64 X86NativeR14)
1074 (nativePhysicalNativeI32Byte (byte 176)))
1075 (nativePhysicalNativeEmit
1076 (nativePhysicalNativeMove
1077 (constructor X86NativeRegister64 X86NativeR14)
1078 (constructor X86NativeRegister64 X86NativeR12))
1079 (nativePhysicalNativeEmit
1080 (nativePhysicalNativeLoad64
1081 (constructor X86NativeRegister64 X86NativeRAX)
1082 (constructor X86NativeRegister64 X86NativeR15)
1083 (nativePhysicalNativeDisplacementByte (byte 40)))
1084 (nativePhysicalNativeEmit
1085 (nativePhysicalNativeAdd
1086 (constructor X86NativeRegister64 X86NativeRAX)
1087 (constructor X86NativeRegister64 X86NativeR12))
1088 (nativePhysicalNativeEmit
1089 (nativePhysicalNativeLoad64
1090 (constructor X86NativeRegister64 X86NativeRSI)
1091 (constructor X86NativeRegister64 X86NativeR15)
1092 (nativePhysicalNativeDisplacementByte (byte 24)))
1093 (nativePhysicalNativeEmit
1094 (nativePhysicalNativeTest
1095 (constructor X86NativeRegister64 X86NativeRSI)
1096 (constructor X86NativeRegister64 X86NativeRSI))
1097 (nativePhysicalNativeJumpCondition
1098 (constructor X86NativeCondition X86NativeConditionZero)
1099 nativePhysicalNativeLabelFatalFormat
1100 (nativePhysicalNativeEmit
1101 (nativePhysicalNativeLoad64
1102 (constructor X86NativeRegister64 X86NativeRAX)
1103 (constructor X86NativeRegister64 X86NativeR15)
1104 (nativePhysicalNativeDisplacementByte (byte 32)))
1105 (nativePhysicalNativeMemoryGuard
1106 (nativePhysicalNativeEmit
1107 (nativePhysicalNativeShiftLeft
1108 (constructor X86NativeRegister64 X86NativeRAX)
1109 (nativePhysicalNativeImmediate8
1110 (nat-to-byte nativePhysicalMemoryWordShift)))
1111 (nativePhysicalNativeEmit
1112 (nativePhysicalNativeAdd
1113 (constructor X86NativeRegister64 X86NativeRAX)
1114 (constructor X86NativeRegister64 X86NativeRSI))
1115 (nativePhysicalNativeEmit
1116 (nativePhysicalNativeAddImmediate
1117 (constructor X86NativeRegister64 X86NativeRSI)
1118 (x86NativeImmediate32FromNatural
1119 nativePhysicalMemoryScratchBytes))
1120 (nativePhysicalNativeEmit
1121 (nativePhysicalNativeMoveImmediate32
1122 (constructor X86NativeRegister64 X86NativeRAX)
1123 (nativePhysicalNativeI32Byte (byte 9)))
1124 (nativePhysicalNativeEmit
1125 (nativePhysicalNativeMoveImmediate32
1126 (constructor X86NativeRegister64 X86NativeRDI)
1127 (nativePhysicalNativeI32Byte (byte 0)))
1128 (nativePhysicalNativeEmit
1129 (nativePhysicalNativeMoveImmediate32
1130 (constructor X86NativeRegister64 X86NativeRDX)
1131 (nativePhysicalNativeI32Byte (byte 3)))
1132 (nativePhysicalNativeEmit
1133 (nativePhysicalNativeMoveImmediate32
1134 (constructor X86NativeRegister64 X86NativeR10)
1135 (nativePhysicalNativeI32Byte (byte 34)))
1136 (nativePhysicalNativeEmit
1137 (nativePhysicalNativeMoveImmediate64
1138 (constructor X86NativeRegister64 X86NativeR8)
1139 nativePhysicalNativeI64NegativeOne)
1140 (nativePhysicalNativeEmit
1141 (nativePhysicalNativeMoveImmediate32
1142 (constructor X86NativeRegister64 X86NativeR9)
1143 (nativePhysicalNativeI32Byte (byte 0)))
1144 (nativePhysicalNativeEmit
1145 nativePhysicalNativeSystemCallInstruction
1146 (nativePhysicalNativeEmit
1147 (nativePhysicalNativeTest
1148 (constructor X86NativeRegister64 X86NativeRAX)
1149 (constructor X86NativeRegister64 X86NativeRAX))
1150 (nativePhysicalNativeJumpCondition
1151 (constructor X86NativeCondition X86NativeConditionSign)
1152 nativePhysicalNativeLabelFatalSystemCall
1153 (nativePhysicalNativeEmit
1154 (nativePhysicalNativeMove
1155 (constructor X86NativeRegister64 X86NativeRAX)
1156 (constructor X86NativeRegister64 X86NativeRBP))
1157 (nativePhysicalNativeEmit
1158 (nativePhysicalNativeMove
1159 (constructor X86NativeRegister64 X86NativeRBP)
1160 (constructor X86NativeRegister64 X86NativeRBX))
1161 (nativePhysicalNativeEmit
1162 (nativePhysicalNativeLoad64
1163 (constructor X86NativeRegister64 X86NativeRAX)
1164 (constructor X86NativeRegister64 X86NativeR15)
1165 (nativePhysicalNativeDisplacementByte (byte 24)))
1166 (nativePhysicalNativeEmit
1167 (nativePhysicalNativeAdd
1168 (constructor X86NativeRegister64 X86NativeRAX)
1169 (constructor X86NativeRegister64 X86NativeRBX))
1170 (nativePhysicalNativeJump
1171 nativePhysicalNativeLabelLoop
1172 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.