Source/Packages

Runtime.NativePhysicalNative

packages/execution/src/Runtime/NativePhysicalNative.alpha

2,298 lines165 declarations135.2 KiBSHA-256 cd2006b824a4

def · lines 1208–1271

nativePhysicalNativeBindBlock

Full file
1208def nativePhysicalNativeBindBlock =
1209  (lambda unrestricted tail : (family X86NativeAssembly) .
1210    (nativePhysicalNativeLabel
1211      nativePhysicalNativeLabelBindResult
1212      (nativePhysicalNativeEmit
1213        (nativePhysicalNativeLoad64
1214          (constructor X86NativeRegister64 X86NativeRAX)
1215          (constructor X86NativeRegister64 X86NativeR14)
1216          (nativePhysicalNativeDisplacementByte (byte 16)))
1217        (nativePhysicalNativeEmit
1218          (nativePhysicalNativeCompareImmediate
1219            (constructor X86NativeRegister64 X86NativeRAX)
1220            (nativePhysicalNativeI32Byte (byte 0)))
1221          (nativePhysicalNativeJumpCondition
1222            (constructor X86NativeCondition X86NativeConditionZero)
1223            nativePhysicalNativeLabelAdvance
1224            (nativePhysicalNativeEmit
1225              (nativePhysicalNativeCompareImmediate
1226                (constructor X86NativeRegister64 X86NativeRAX)
1227                (nativePhysicalNativeI32Byte (byte 1)))
1228              (nativePhysicalNativeJumpCondition
1229                (constructor X86NativeCondition X86NativeConditionZero)
1230                nativePhysicalNativeLabelBindStore
1231                (nativePhysicalNativeJump
1232                  nativePhysicalNativeLabelFatalRecord
1233                  (nativePhysicalNativeLabel
1234                    nativePhysicalNativeLabelBindStore
1235                    (nativePhysicalNativeEmit
1236                      (nativePhysicalNativeLoad64
1237                        (constructor X86NativeRegister64 X86NativeRAX)
1238                        (constructor X86NativeRegister64 X86NativeR14)
1239                        (nativePhysicalNativeDisplacementByte (byte 24)))
1240                      (nativePhysicalNativeEmit
1241                        (nativePhysicalNativeLoad64
1242                          (constructor X86NativeRegister64 X86NativeR11)
1243                          (constructor X86NativeRegister64 X86NativeR15)
1244                          (nativePhysicalNativeDisplacementByte (byte 32)))
1245                        (nativePhysicalNativeEmit
1246                          (nativePhysicalNativeCompare
1247                            (constructor X86NativeRegister64 X86NativeR11)
1248                            (constructor X86NativeRegister64 X86NativeRAX))
1249                          (nativePhysicalNativeJumpCondition
1250                            (constructor X86NativeCondition X86NativeConditionBelow)
1251                            nativePhysicalNativeLabelBindSlotValid
1252                            (nativePhysicalNativeJump
1253                              nativePhysicalNativeLabelFatalOperand
1254                              (nativePhysicalNativeLabel
1255                                nativePhysicalNativeLabelBindSlotValid
1256                                (nativePhysicalNativeEmit
1257                                  (nativePhysicalNativeShiftLeft
1258                                    (constructor X86NativeRegister64 X86NativeRAX)
1259                                    (nativePhysicalNativeImmediate8 (byte 3)))
1260                                  (nativePhysicalNativeEmit
1261                                    (nativePhysicalNativeAdd
1262                                      (constructor X86NativeRegister64 X86NativeRBX)
1263                                      (constructor X86NativeRegister64 X86NativeRAX))
1264                                    (nativePhysicalNativeEmit
1265                                      (nativePhysicalNativeStore64
1266                                        (constructor X86NativeRegister64 X86NativeRAX)
1267                                        nativePhysicalNativeD0
1268                                        (constructor X86NativeRegister64 X86NativeRDX))
1269                                      (nativePhysicalNativeJump
1270                                        nativePhysicalNativeLabelAdvance
1271                                        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.