Source/Packages

Runtime.NativePhysicalNative

packages/execution/src/Runtime/NativePhysicalNative.alpha

3,650 lines210 declarations198.6 KiBSHA-256 028b70105699

def · lines 1587–1650

nativePhysicalNativeBindBlock

Full file
1587def nativePhysicalNativeBindBlock =
1588  (lambda unrestricted tail : (family X86NativeAssembly) .
1589    (nativePhysicalNativeLabel
1590      nativePhysicalNativeLabelBindResult
1591      (nativePhysicalNativeEmit
1592        (nativePhysicalNativeLoad64
1593          (constructor X86NativeRegister64 X86NativeRAX)
1594          (constructor X86NativeRegister64 X86NativeR14)
1595          (nativePhysicalNativeDisplacementByte (byte 16)))
1596        (nativePhysicalNativeEmit
1597          (nativePhysicalNativeCompareImmediate
1598            (constructor X86NativeRegister64 X86NativeRAX)
1599            (nativePhysicalNativeI32Byte (byte 0)))
1600          (nativePhysicalNativeJumpCondition
1601            (constructor X86NativeCondition X86NativeConditionZero)
1602            nativePhysicalNativeLabelAdvance
1603            (nativePhysicalNativeEmit
1604              (nativePhysicalNativeCompareImmediate
1605                (constructor X86NativeRegister64 X86NativeRAX)
1606                (nativePhysicalNativeI32Byte (byte 1)))
1607              (nativePhysicalNativeJumpCondition
1608                (constructor X86NativeCondition X86NativeConditionZero)
1609                nativePhysicalNativeLabelBindStore
1610                (nativePhysicalNativeJump
1611                  nativePhysicalNativeLabelFatalRecord
1612                  (nativePhysicalNativeLabel
1613                    nativePhysicalNativeLabelBindStore
1614                    (nativePhysicalNativeEmit
1615                      (nativePhysicalNativeLoad64
1616                        (constructor X86NativeRegister64 X86NativeRAX)
1617                        (constructor X86NativeRegister64 X86NativeR14)
1618                        (nativePhysicalNativeDisplacementByte (byte 24)))
1619                      (nativePhysicalNativeEmit
1620                        (nativePhysicalNativeLoad64
1621                          (constructor X86NativeRegister64 X86NativeR11)
1622                          (constructor X86NativeRegister64 X86NativeR15)
1623                          (nativePhysicalNativeDisplacementByte (byte 32)))
1624                        (nativePhysicalNativeEmit
1625                          (nativePhysicalNativeCompare
1626                            (constructor X86NativeRegister64 X86NativeR11)
1627                            (constructor X86NativeRegister64 X86NativeRAX))
1628                          (nativePhysicalNativeJumpCondition
1629                            (constructor X86NativeCondition X86NativeConditionBelow)
1630                            nativePhysicalNativeLabelBindSlotValid
1631                            (nativePhysicalNativeJump
1632                              nativePhysicalNativeLabelFatalOperand
1633                              (nativePhysicalNativeLabel
1634                                nativePhysicalNativeLabelBindSlotValid
1635                                (nativePhysicalNativeEmit
1636                                  (nativePhysicalNativeShiftLeft
1637                                    (constructor X86NativeRegister64 X86NativeRAX)
1638                                    (nativePhysicalNativeImmediate8 (byte 3)))
1639                                  (nativePhysicalNativeEmit
1640                                    (nativePhysicalNativeAdd
1641                                      (constructor X86NativeRegister64 X86NativeRBX)
1642                                      (constructor X86NativeRegister64 X86NativeRAX))
1643                                    (nativePhysicalNativeEmit
1644                                      (nativePhysicalNativeStore64
1645                                        (constructor X86NativeRegister64 X86NativeRAX)
1646                                        nativePhysicalNativeD0
1647                                        (constructor X86NativeRegister64 X86NativeRDX))
1648                                      (nativePhysicalNativeJump
1649                                        nativePhysicalNativeLabelAdvance
1650                                        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.