Source/Packages

Runtime.NativePhysicalNative

packages/execution/src/Runtime/NativePhysicalNative.alpha

3,420 lines207 declarations187.4 KiBSHA-256 9c16b0741974

def · lines 1580–1643

nativePhysicalNativeBindBlock

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