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