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 1533–1582

nativePhysicalNativeAssertOneOfBlock

Full file
1533def nativePhysicalNativeAssertOneOfBlock =
1534  (lambda unrestricted tail : (family X86NativeAssembly) .
1535    (nativePhysicalNativeLabel
1536      nativePhysicalNativeLabelDispatchAssertOneOf
1537      (nativePhysicalNativeResolveCall
1538        (byte 112)
1539        (constructor X86NativeRegister64 X86NativeRSI)
1540        (nativePhysicalNativeEmit
1541          (nativePhysicalNativeStore64
1542            (constructor X86NativeRegister64 X86NativeRSP)
1543            (nativePhysicalNativeNegativeDisplacementByte (byte 232))
1544            (constructor X86NativeRegister64 X86NativeRSI))
1545          (nativePhysicalNativeResolveCall
1546            (byte 88)
1547            (constructor X86NativeRegister64 X86NativeRSI)
1548            (nativePhysicalNativeEmit
1549              (nativePhysicalNativeStore64
1550                (constructor X86NativeRegister64 X86NativeRSP)
1551                (nativePhysicalNativeNegativeDisplacementByte (byte 240))
1552                (constructor X86NativeRegister64 X86NativeRSI))
1553              (nativePhysicalNativeResolveCall
1554                (byte 64)
1555                (constructor X86NativeRegister64 X86NativeRAX)
1556                (nativePhysicalNativeEmit
1557                  (nativePhysicalNativeLoad64
1558                    (constructor X86NativeRegister64 X86NativeRSI)
1559                    (constructor X86NativeRegister64 X86NativeRSP)
1560                    (nativePhysicalNativeNegativeDisplacementByte (byte 240)))
1561                  (nativePhysicalNativeEmit
1562                    (nativePhysicalNativeCompare
1563                      (constructor X86NativeRegister64 X86NativeRSI)
1564                      (constructor X86NativeRegister64 X86NativeRAX))
1565                    (nativePhysicalNativeJumpCondition
1566                      (constructor X86NativeCondition X86NativeConditionZero)
1567                      nativePhysicalNativeLabelAdvance
1568                      (nativePhysicalNativeEmit
1569                        (nativePhysicalNativeLoad64
1570                          (constructor X86NativeRegister64 X86NativeRSI)
1571                          (constructor X86NativeRegister64 X86NativeRSP)
1572                          (nativePhysicalNativeNegativeDisplacementByte (byte 232)))
1573                        (nativePhysicalNativeEmit
1574                          (nativePhysicalNativeCompare
1575                            (constructor X86NativeRegister64 X86NativeRSI)
1576                            (constructor X86NativeRegister64 X86NativeRAX))
1577                          (nativePhysicalNativeJumpCondition
1578                            (constructor X86NativeCondition X86NativeConditionNotZero)
1579                            nativePhysicalNativeLabelCommandFailure
1580                            (nativePhysicalNativeJump
1581                              nativePhysicalNativeLabelAdvance
1582                              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.