AlphaGitHub
Source/Packages

Runtime.NativePhysicalNative

packages/execution/src/Runtime/NativePhysicalNative.alpha

2,298 lines165 declarations135.2 KiBSHA-256 cd2006b824a4
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1273–1377

nativePhysicalNativeCopyBlock

Full file
1273def nativePhysicalNativeCopyBlock =
1274  (lambda unrestricted tail : (family X86NativeAssembly) .
1275    (nativePhysicalNativeLabel
1276      nativePhysicalNativeLabelDispatchCopy
1277      (nativePhysicalNativeResolveCall
1278        (byte 88)
1279        (constructor X86NativeRegister64 X86NativeRCX)
1280        (nativePhysicalNativeEmit
1281          (nativePhysicalNativeLoad64
1282            (constructor X86NativeRegister64 X86NativeR11)
1283            (constructor X86NativeRegister64 X86NativeR14)
1284            (nativePhysicalNativeDisplacementByte (byte 32)))
1285          (nativePhysicalNativeEmit
1286            (nativePhysicalNativeCompare
1287              (constructor X86NativeRegister64 X86NativeR11)
1288              (constructor X86NativeRegister64 X86NativeRCX))
1289            (nativePhysicalNativeJumpCondition
1290              (constructor X86NativeCondition X86NativeConditionNotZero)
1291              nativePhysicalNativeLabelCommandFailure
1292              (nativePhysicalNativeEmit
1293                (nativePhysicalNativeMove
1294                  (constructor X86NativeRegister64 X86NativeRCX)
1295                  (constructor X86NativeRegister64 X86NativeR9))
1296                (nativePhysicalNativeResolveCall
1297                  (byte 64)
1298                  (constructor X86NativeRegister64 X86NativeRAX)
1299                  (nativePhysicalNativeEmit
1300                    (nativePhysicalNativeMove
1301                      (constructor X86NativeRegister64 X86NativeRAX)
1302                      (constructor X86NativeRegister64 X86NativeR10))
1303                    (nativePhysicalNativeEmit
1304                      (nativePhysicalNativeAdd
1305                        (constructor X86NativeRegister64 X86NativeR9)
1306                        (constructor X86NativeRegister64 X86NativeR10))
1307                      (nativePhysicalNativeEmit
1308                        (nativePhysicalNativeLoad64
1309                          (constructor X86NativeRegister64 X86NativeR11)
1310                          (constructor X86NativeRegister64 X86NativeR15)
1311                          (nativePhysicalNativeDisplacementByte (byte 24)))
1312                        (nativePhysicalNativeEmit
1313                          (nativePhysicalNativeCompare
1314                            (constructor X86NativeRegister64 X86NativeR11)
1315                            (constructor X86NativeRegister64 X86NativeR10))
1316                          (nativePhysicalNativeJumpCondition
1317                            (constructor X86NativeCondition X86NativeConditionAbove)
1318                            nativePhysicalNativeLabelCommandFailure
1319                            (nativePhysicalNativeEmit
1320                              (nativePhysicalNativeAdd
1321                                (constructor X86NativeRegister64 X86NativeRBP)
1322                                (constructor X86NativeRegister64 X86NativeRAX))
1323                              (nativePhysicalNativeEmit
1324                                (nativePhysicalNativeMove
1325                                  (constructor X86NativeRegister64 X86NativeRAX)
1326                                  (constructor X86NativeRegister64 X86NativeRDI))
1327                                (nativePhysicalNativeEmit
1328                                  (nativePhysicalNativeMove
1329                                    (constructor X86NativeRegister64 X86NativeR14)
1330                                    (constructor X86NativeRegister64 X86NativeRSI))
1331                                  (nativePhysicalNativeEmit
1332                                    (nativePhysicalNativeAddImmediate
1333                                      (constructor X86NativeRegister64 X86NativeRSI)
1334                                      (nativePhysicalNativeI32Byte (byte 232)))
1335                                    (nativePhysicalNativeEmit
1336                                      (nativePhysicalNativeTest
1337                                        (constructor X86NativeRegister64 X86NativeRCX)
1338                                        (constructor X86NativeRegister64 X86NativeRCX))
1339                                      (nativePhysicalNativeJumpCondition
1340                                        (constructor X86NativeCondition X86NativeConditionZero)
1341                                        nativePhysicalNativeLabelCopyDone
1342                                        (nativePhysicalNativeLabel
1343                                        nativePhysicalNativeLabelCopyLoop
1344                                        (nativePhysicalNativeEmit
1345                                        (nativePhysicalNativeLoad8
1346                                        (constructor X86NativeRegister64 X86NativeRAX)
1347                                        (constructor X86NativeRegister64 X86NativeRSI)
1348                                        nativePhysicalNativeD0)
1349                                        (nativePhysicalNativeEmit
1350                                        (nativePhysicalNativeStore8
1351                                        (constructor X86NativeRegister64 X86NativeRDI)
1352                                        nativePhysicalNativeD0
1353                                        (constructor X86NativeRegister64 X86NativeRAX))
1354                                        (nativePhysicalNativeEmit
1355                                        (nativePhysicalNativeAddImmediate
1356                                        (constructor X86NativeRegister64 X86NativeRSI)
1357                                        (nativePhysicalNativeI32Byte (byte 1)))
1358                                        (nativePhysicalNativeEmit
1359                                        (nativePhysicalNativeAddImmediate
1360                                        (constructor X86NativeRegister64 X86NativeRDI)
1361                                        (nativePhysicalNativeI32Byte (byte 1)))
1362                                        (nativePhysicalNativeEmit
1363                                        (nativePhysicalNativeAddImmediate
1364                                        (constructor X86NativeRegister64 X86NativeRCX)
1365                                        nativePhysicalNativeI32NegativeOne)
1366                                        (nativePhysicalNativeEmit
1367                                        (nativePhysicalNativeTest
1368                                        (constructor X86NativeRegister64 X86NativeRCX)
1369                                        (constructor X86NativeRegister64 X86NativeRCX))
1370                                        (nativePhysicalNativeJumpCondition
1371                                        (constructor X86NativeCondition X86NativeConditionNotZero)
1372                                        nativePhysicalNativeLabelCopyLoop
1373                                        (nativePhysicalNativeLabel
1374                                        nativePhysicalNativeLabelCopyDone
1375                                        (nativePhysicalNativeJump
1376                                        nativePhysicalNativeLabelAdvance
1377                                        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.