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 1431–1502

nativePhysicalNativeFenceBlock

Full file
1431def nativePhysicalNativeFenceBlock =
1432  (lambda unrestricted tail : (family X86NativeAssembly) .
1433    (nativePhysicalNativeLabel
1434      nativePhysicalNativeLabelDispatchFence
1435      (nativePhysicalNativeResolveCall
1436        (byte 112)
1437        (constructor X86NativeRegister64 X86NativeRCX)
1438        (nativePhysicalNativeEmit
1439          (nativePhysicalNativeStore64
1440            (constructor X86NativeRegister64 X86NativeRSP)
1441            (nativePhysicalNativeNegativeDisplacementByte (byte 240))
1442            (constructor X86NativeRegister64 X86NativeRCX))
1443          (nativePhysicalNativeResolveCall
1444            (byte 88)
1445            (constructor X86NativeRegister64 X86NativeRSI)
1446            (nativePhysicalNativeEmit
1447              (nativePhysicalNativeStore64
1448                (constructor X86NativeRegister64 X86NativeRSP)
1449                (nativePhysicalNativeNegativeDisplacementByte (byte 248))
1450                (constructor X86NativeRegister64 X86NativeRSI))
1451              (nativePhysicalNativeResolveCall
1452                (byte 64)
1453                (constructor X86NativeRegister64 X86NativeRDI)
1454                (nativePhysicalNativeEmit
1455                  (nativePhysicalNativeLoad64
1456                    (constructor X86NativeRegister64 X86NativeRSI)
1457                    (constructor X86NativeRegister64 X86NativeRSP)
1458                    (nativePhysicalNativeNegativeDisplacementByte (byte 248)))
1459                  (nativePhysicalNativeEmit
1460                    (nativePhysicalNativeLoad64
1461                      (constructor X86NativeRegister64 X86NativeRCX)
1462                      (constructor X86NativeRegister64 X86NativeRSP)
1463                      (nativePhysicalNativeNegativeDisplacementByte (byte 240)))
1464                    (nativePhysicalNativeEmit
1465                      (nativePhysicalNativeTest
1466                        (constructor X86NativeRegister64 X86NativeRCX)
1467                        (constructor X86NativeRegister64 X86NativeRCX))
1468                      (nativePhysicalNativeJumpCondition
1469                        (constructor X86NativeCondition X86NativeConditionZero)
1470                        nativePhysicalNativeLabelCommandFailure
1471                        (nativePhysicalNativeLabel
1472                          nativePhysicalNativeLabelFenceLoop
1473                          (nativePhysicalNativeEmit
1474                            (nativePhysicalNativeLoad64
1475                              (constructor X86NativeRegister64 X86NativeRAX)
1476                              (constructor X86NativeRegister64 X86NativeRDI)
1477                              nativePhysicalNativeD0)
1478                            (nativePhysicalNativeEmit
1479                              (nativePhysicalNativeCompare
1480                                (constructor X86NativeRegister64 X86NativeRSI)
1481                                (constructor X86NativeRegister64 X86NativeRAX))
1482                              (nativePhysicalNativeJumpCondition
1483                                (constructor X86NativeCondition X86NativeConditionZero)
1484                                nativePhysicalNativeLabelFenceDone
1485                                (nativePhysicalNativeEmit
1486                                  (nativePhysicalNativeAddImmediate
1487                                    (constructor X86NativeRegister64 X86NativeRCX)
1488                                    nativePhysicalNativeI32NegativeOne)
1489                                  (nativePhysicalNativeEmit
1490                                    (nativePhysicalNativeTest
1491                                      (constructor X86NativeRegister64 X86NativeRCX)
1492                                      (constructor X86NativeRegister64 X86NativeRCX))
1493                                    (nativePhysicalNativeJumpCondition
1494                                      (constructor X86NativeCondition X86NativeConditionNotZero)
1495                                      nativePhysicalNativeLabelFenceLoop
1496                                      (nativePhysicalNativeJump
1497                                        nativePhysicalNativeLabelCommandFailure
1498                                        (nativePhysicalNativeLabel
1499                                        nativePhysicalNativeLabelFenceDone
1500                                        (nativePhysicalNativeJump
1501                                        nativePhysicalNativeLabelAdvance
1502                                        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.