Large source region · 2,298 lines
module Runtime.NativePhysicalNative
import Compiler.MachineX86Native
import Compiler.MachineX86NativeAssembly
def nativePhysicalNativeLabelEntry : Bytes =
b"np-entry"
def nativePhysicalNativeLabelLoop : Bytes =
b"np-loop"
def nativePhysicalNativeLabelDone : Bytes =
b"np-done"
def nativePhysicalNativeLabelAdvance : Bytes =
b"np-advance"
def nativePhysicalNativeLabelResolve : Bytes =
b"np-resolve"
def nativePhysicalNativeLabelResolveImmediate : Bytes =
b"np-res-imm"
def nativePhysicalNativeLabelResolveResult : Bytes =
b"np-res-res"
def nativePhysicalNativeLabelResolveResultAddress : Bytes =
b"np-res-raddr"
def nativePhysicalNativeLabelResolveStateAddress : Bytes =
b"np-res-saddr"
def nativePhysicalNativeLabelResolveStateLoad : Bytes =
b"np-res-sload"
def nativePhysicalNativeLabelResolvePayloadAddress : Bytes =
b"np-res-paddr"
def nativePhysicalNativeLabelResolvePayloadLoad : Bytes =
b"np-res-pload"
def nativePhysicalNativeLabelResolveProcessArgument : Bytes =
b"np-res-argv"
def nativePhysicalNativeLabelResolveSlotValid : Bytes =
b"np-res-sv"
def nativePhysicalNativeLabelResolveResultAddressSlotValid : Bytes =
b"np-res-rasv"
def nativePhysicalNativeLabelResolveStateAddressValid : Bytes =
b"np-res-sav"
def nativePhysicalNativeLabelResolveStateLoadValid : Bytes =
b"np-res-slv"
def nativePhysicalNativeLabelResolvePayloadAddressValid : Bytes =
b"np-res-pav"
def nativePhysicalNativeLabelResolvePayloadLoadValid : Bytes =
b"np-res-plv"
def nativePhysicalNativeLabelDispatchSystemCall : Bytes =
b"np-syscall"
def nativePhysicalNativeLabelDispatchCopy : Bytes =
b"np-copy"
def nativePhysicalNativeLabelDispatchRoutine : Bytes =
b"np-routine"
def nativePhysicalNativeLabelDispatchFence : Bytes =
b"np-fence"
def nativePhysicalNativeLabelDispatchTelemetry : Bytes =
b"np-telemetry"
def nativePhysicalNativeLabelDispatchAssert : Bytes =
b"np-assert"
def nativePhysicalNativeLabelDispatchRepeatBegin : Bytes = b"dispatch-repeat-begin"
def nativePhysicalNativeLabelDispatchRepeatEnd : Bytes = b"dispatch-repeat-end"
def nativePhysicalNativeLabelDispatchStore : Bytes = b"dispatch-store"
def nativePhysicalNativeLabelDispatchAdd : Bytes = b"dispatch-add"
def nativePhysicalNativeLabelDispatchFloat64 : Bytes = b"dispatch-float64"
def nativePhysicalNativeLabelRepeatScan : Bytes = b"repeat-scan"
def nativePhysicalNativeLabelRepeatScanNext : Bytes = b"repeat-scan-next"
def nativePhysicalNativeLabelRepeatFound : Bytes = b"repeat-found"
def nativePhysicalNativeLabelRepeatAgain : Bytes = b"repeat-again"
def nativePhysicalNativeLabelResolveLoopAffine : Bytes = b"resolve-loop-affine"
def nativePhysicalNativeLabelResolveLoopAffineStep : Bytes = b"resolve-loop-affine-step"
def nativePhysicalNativeLabelResolveLoopAffineDone : Bytes = b"resolve-loop-affine-done"
def nativePhysicalNativeLabelDispatchFenceWait : Bytes = b"dispatch-fence-wait"
def nativePhysicalNativeLabelFenceWaitLoop : Bytes = b"fence-wait-loop"
def nativePhysicalNativeLabelFenceWaitDone : Bytes = b"fence-wait-done"
def nativePhysicalNativeLabelDispatchAssertOneOf : Bytes =
b"np-assert-one"
def nativePhysicalNativeLabelDispatchHalt : Bytes =
b"np-halt"
def nativePhysicalNativeLabelBindResult : Bytes =
b"np-bind"
def nativePhysicalNativeLabelBindDiscard : Bytes =
b"np-bind-d"
def nativePhysicalNativeLabelBindStore : Bytes =
b"np-bind-s"
def nativePhysicalNativeLabelBindSlotValid : Bytes =
b"np-bind-sv"
def nativePhysicalNativeLabelCopyBoundsValid : Bytes =
b"np-copy-bv"
def nativePhysicalNativeLabelCopyLoop : Bytes =
b"np-copy-l"
def nativePhysicalNativeLabelCopyDone : Bytes =
b"np-copy-d"
def nativePhysicalNativeLabelFenceLoop : Bytes =
b"np-fence-l"
def nativePhysicalNativeLabelFenceDone : Bytes =
b"np-fence-d"
def nativePhysicalNativeLabelTelemetryCopyLoop : Bytes =
b"np-tel-cl"
def nativePhysicalNativeLabelTelemetryCopyDone : Bytes =
b"np-tel-cd"
def nativePhysicalNativeLabelTelemetryWriteLoop : Bytes =
b"np-tel-wl"
def nativePhysicalNativeLabelTelemetryWriteDone : Bytes =
b"np-tel-wd"
def nativePhysicalNativeLabelRecordExtentValid : Bytes =
b"np-rec-ev"
def nativePhysicalNativeLabelRecordEndValid : Bytes =
b"np-rec-bv"
def nativePhysicalNativeLabelRecordTotalValid : Bytes =
b"np-rec-tv"
def nativePhysicalNativeLabelRecordErrorValid : Bytes =
b"np-rec-iv"
def nativePhysicalNativeLabelFatalFormat : Bytes =
b"np-fatal-format"
def nativePhysicalNativeLabelFatalBounds : Bytes =
b"np-fatal-bounds"
def nativePhysicalNativeLabelFatalOperand : Bytes =
b"np-fatal-operand"
def nativePhysicalNativeLabelFatalSystemCall : Bytes =
b"np-fatal-syscall"
def nativePhysicalNativeLabelFatalAssertion : Bytes =
b"np-fatal-assert"
def nativePhysicalNativeLabelFatalFence : Bytes =
b"np-fatal-fence"
def nativePhysicalNativeLabelFatalTelemetry : Bytes =
b"np-fatal-tel"
def nativePhysicalNativeLabelFatalRecord : Bytes =
b"np-fatal-record"
def nativePhysicalNativeLabelCommandFailure : Bytes =
b"np-command-fail"
def nativePhysicalNativeLabelExit : Bytes =
b"np-exit"
def nativePhysicalNativeLabelImage : Bytes =
b"np-image"
def nativePhysicalNativeDisplacement =
(lambda unrestricted byte0 : Byte .
(lambda unrestricted byte1 : Byte .
(lambda unrestricted byte2 : Byte .
(lambda unrestricted byte3 : Byte .
(constructor X86NativeDisplacement32 X86NativeDisplacement32Value byte0 byte1 byte2 byte3)))))
def nativePhysicalNativeImmediate32 =
(lambda unrestricted byte0 : Byte .
(lambda unrestricted byte1 : Byte .
(lambda unrestricted byte2 : Byte .
(lambda unrestricted byte3 : Byte .
(constructor X86NativeImmediate32 X86NativeImmediate32Value byte0 byte1 byte2 byte3)))))
def nativePhysicalNativeImmediate8 =
(lambda unrestricted byte0 : Byte .
(constructor X86NativeImmediate8 X86NativeImmediate8Value byte0))
def nativePhysicalNativeImmediate64 =
(lambda unrestricted byte0 : Byte .
(lambda unrestricted byte1 : Byte .
(lambda unrestricted byte2 : Byte .
(lambda unrestricted byte3 : Byte .
(lambda unrestricted byte4 : Byte .
(lambda unrestricted byte5 : Byte .
(lambda unrestricted byte6 : Byte .
(lambda unrestricted byte7 : Byte .
(constructor
X86NativeImmediate64
X86NativeImmediate64Value
byte0
byte1
byte2
byte3
byte4
byte5
byte6
byte7)))))))))
def nativePhysicalNativeD0 : (family X86NativeDisplacement32) =
(nativePhysicalNativeDisplacement (byte 0) (byte 0) (byte 0) (byte 0))
def nativePhysicalNativeD8 : (family X86NativeDisplacement32) =
(nativePhysicalNativeDisplacement (byte 8) (byte 0) (byte 0) (byte 0))
def nativePhysicalNativeDisplacementByte =
(lambda unrestricted value : Byte .
(nativePhysicalNativeDisplacement value (byte 0) (byte 0) (byte 0)))
def nativePhysicalNativeNegativeDisplacementByte =
(lambda unrestricted value : Byte .
(nativePhysicalNativeDisplacement value (byte 255) (byte 255) (byte 255)))
def nativePhysicalNativeI32Byte =
(lambda unrestricted value : Byte .
(nativePhysicalNativeImmediate32 value (byte 0) (byte 0) (byte 0)))
def nativePhysicalNativeI32NegativeOne : (family X86NativeImmediate32) =
(nativePhysicalNativeImmediate32 (byte 255) (byte 255) (byte 255) (byte 255))
def nativePhysicalNativeI64Byte =
(lambda unrestricted value : Byte .
(nativePhysicalNativeImmediate64
value
(byte 0)
(byte 0)
(byte 0)
(byte 0)
(byte 0)
(byte 0)
(byte 0)))
def nativePhysicalNativeI64NegativeOne : (family X86NativeImmediate64) =
(nativePhysicalNativeImmediate64
(byte 255)
(byte 255)
(byte 255)
(byte 255)
(byte 255)
(byte 255)
(byte 255)
(byte 255))
def nativePhysicalNativeEmit =
(lambda unrestricted instruction : (family X86NativeInstruction) .
(lambda unrestricted tail : (family X86NativeAssembly) .
(constructor X86NativeAssembly X86NativeAssemblyEmit instruction tail)))
def nativePhysicalNativeLabel =
(lambda unrestricted name : Bytes .
(lambda unrestricted tail : (family X86NativeAssembly) .
(constructor X86NativeAssembly X86NativeAssemblyLabel name tail)))
def nativePhysicalNativeJump =
(lambda unrestricted target : Bytes .
(lambda unrestricted tail : (family X86NativeAssembly) .
(constructor X86NativeAssembly X86NativeAssemblyJump target tail)))
def nativePhysicalNativeJumpCondition =
(lambda unrestricted condition : (family X86NativeCondition) .
(lambda unrestricted target : Bytes .
(lambda unrestricted tail : (family X86NativeAssembly) .
(constructor X86NativeAssembly X86NativeAssemblyJumpCondition condition target tail))))
def nativePhysicalNativeLEA =
(lambda unrestricted destination : (family X86NativeRegister64) .
(lambda unrestricted target : Bytes .
(lambda unrestricted tail : (family X86NativeAssembly) .
(constructor
X86NativeAssembly
X86NativeAssemblyLoadEffectiveAddressRIPLabel
destination
target
tail))))
def nativePhysicalNativeMoveImmediate32 =
(lambda unrestricted destination : (family X86NativeRegister64) .
(lambda unrestricted immediate : (family X86NativeImmediate32) .
(constructor X86NativeInstruction X86NativeMoveImmediate32 destination immediate)))
def nativePhysicalNativeMoveImmediate64 =
(lambda unrestricted destination : (family X86NativeRegister64) .
(lambda unrestricted immediate : (family X86NativeImmediate64) .
(constructor X86NativeInstruction X86NativeMoveImmediate64 destination immediate)))
def nativePhysicalNativeMove =
(lambda unrestricted source : (family X86NativeRegister64) .
(lambda unrestricted destination : (family X86NativeRegister64) .
(constructor X86NativeInstruction X86NativeMoveRegister64 source destination)))
def nativePhysicalNativeAdd =
(lambda unrestricted source : (family X86NativeRegister64) .
(lambda unrestricted destination : (family X86NativeRegister64) .
(constructor X86NativeInstruction X86NativeAddRegister64 source destination)))
def nativePhysicalNativeSubtract =
(lambda unrestricted source : (family X86NativeRegister64) .
(lambda unrestricted destination : (family X86NativeRegister64) .
(constructor X86NativeInstruction X86NativeSubtractRegister64 source destination)))
def nativePhysicalNativeCompare =
(lambda unrestricted source : (family X86NativeRegister64) .
(lambda unrestricted destination : (family X86NativeRegister64) .
(constructor X86NativeInstruction X86NativeCompareRegister64 source destination)))
def nativePhysicalNativeTest =
(lambda unrestricted source : (family X86NativeRegister64) .
(lambda unrestricted destination : (family X86NativeRegister64) .
(constructor X86NativeInstruction X86NativeTestRegister64 source destination)))
def nativePhysicalNativeAddImmediate =
(lambda unrestricted destination : (family X86NativeRegister64) .
(lambda unrestricted immediate : (family X86NativeImmediate32) .
(constructor X86NativeInstruction X86NativeAddImmediate64 destination immediate)))
def nativePhysicalNativeCompareImmediate =
(lambda unrestricted destination : (family X86NativeRegister64) .
(lambda unrestricted immediate : (family X86NativeImmediate32) .
(constructor X86NativeInstruction X86NativeCompareImmediate64 destination immediate)))
def nativePhysicalNativeShiftLeft =
(lambda unrestricted destination : (family X86NativeRegister64) .
(lambda unrestricted immediate : (family X86NativeImmediate8) .
(constructor X86NativeInstruction X86NativeShiftLeftImmediate64 destination immediate)))
def nativePhysicalNativeLoad64 =
(lambda unrestricted destination : (family X86NativeRegister64) .
(lambda unrestricted base : (family X86NativeRegister64) .
(lambda unrestricted displacement : (family X86NativeDisplacement32) .
(constructor X86NativeInstruction X86NativeLoadMemory64 destination base displacement))))
def nativePhysicalNativeLoad8 =
(lambda unrestricted destination : (family X86NativeRegister64) .
(lambda unrestricted base : (family X86NativeRegister64) .
(lambda unrestricted displacement : (family X86NativeDisplacement32) .
(constructor
X86NativeInstruction
X86NativeLoadMemory8ZeroExtend64
destination
base
displacement))))
def nativePhysicalNativeStore64 =
(lambda unrestricted base : (family X86NativeRegister64) .
(lambda unrestricted displacement : (family X86NativeDisplacement32) .
(lambda unrestricted source : (family X86NativeRegister64) .
(constructor X86NativeInstruction X86NativeStoreMemory64 base displacement source))))
def nativePhysicalNativeStore8 =
(lambda unrestricted base : (family X86NativeRegister64) .
(lambda unrestricted displacement : (family X86NativeDisplacement32) .
(lambda unrestricted source : (family X86NativeRegister64) .
(constructor X86NativeInstruction X86NativeStoreMemory8 base displacement source))))
def nativePhysicalNativeCall =
(lambda unrestricted target : (family X86NativeRegister64) .
(constructor X86NativeInstruction X86NativeCallRegister64 target))
def nativePhysicalNativeReturnInstruction : (family X86NativeInstruction) =
(constructor X86NativeInstruction X86NativeReturn)
def nativePhysicalNativeSystemCallInstruction : (family X86NativeInstruction) =
(constructor X86NativeInstruction X86NativeSystemCall)
def nativePhysicalNativeResolveCall =
(lambda unrestricted descriptorOffset : Byte .
(lambda unrestricted destination : (family X86NativeRegister64) .
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeR14)
(constructor X86NativeRegister64 X86NativeRDI))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeI32Byte descriptorOffset))
(nativePhysicalNativeLEA
(constructor X86NativeRegister64 X86NativeRAX)
nativePhysicalNativeLabelResolve
(nativePhysicalNativeEmit
(nativePhysicalNativeCall (constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeRAX)
destination)
tail))))))))
def nativePhysicalNativeResolveBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel
nativePhysicalNativeLabelResolve
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeR10)
(constructor X86NativeRegister64 X86NativeRDI)
nativePhysicalNativeD0)
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeR10)
(nativePhysicalNativeI32Byte (byte 0)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelResolveImmediate
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeR10)
(nativePhysicalNativeI32Byte (byte 1)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelResolveResult
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeR10)
(nativePhysicalNativeI32Byte (byte 2)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelResolveResultAddress
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeR10)
(nativePhysicalNativeI32Byte (byte 3)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelResolveStateAddress
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeR10)
(nativePhysicalNativeI32Byte (byte 4)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelResolveStateLoad
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeR10)
(nativePhysicalNativeI32Byte (byte 5)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelResolvePayloadAddress
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeR10)
(nativePhysicalNativeI32Byte (byte 6)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelResolvePayloadLoad
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeR10)
(nativePhysicalNativeI32Byte (byte 7)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelResolveProcessArgument
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeR10)
(nativePhysicalNativeI32Byte (byte 8)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelResolveLoopAffine
(nativePhysicalNativeJump
nativePhysicalNativeLabelFatalOperand
(nativePhysicalNativeLabel
nativePhysicalNativeLabelResolveImmediate
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRDI)
nativePhysicalNativeD8)
(nativePhysicalNativeEmit
nativePhysicalNativeReturnInstruction
(nativePhysicalNativeLabel
nativePhysicalNativeLabelResolveResult
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRDI)
nativePhysicalNativeD8)
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeR15)
(nativePhysicalNativeDisplacementByte (byte 32)))
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionBelow)
nativePhysicalNativeLabelResolveSlotValid
(nativePhysicalNativeJump
nativePhysicalNativeLabelFatalOperand
(nativePhysicalNativeLabel
nativePhysicalNativeLabelResolveSlotValid
(nativePhysicalNativeEmit
(nativePhysicalNativeShiftLeft
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeImmediate8 (byte 3)))
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeRBX)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRAX)
nativePhysicalNativeD0)
(nativePhysicalNativeEmit
nativePhysicalNativeReturnInstruction
(nativePhysicalNativeLabel
nativePhysicalNativeLabelResolveResultAddress
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRDI)
nativePhysicalNativeD8)
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeR15)
(nativePhysicalNativeDisplacementByte (byte 32)))
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionBelow)
nativePhysicalNativeLabelResolveResultAddressSlotValid
(nativePhysicalNativeJump
nativePhysicalNativeLabelFatalOperand
(nativePhysicalNativeLabel
nativePhysicalNativeLabelResolveResultAddressSlotValid
(nativePhysicalNativeEmit
(nativePhysicalNativeShiftLeft
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeImmediate8 (byte 3)))
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeRBX)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRAX)
nativePhysicalNativeD0)
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeDisplacementByte (byte 16)))
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeEmit
nativePhysicalNativeReturnInstruction
(nativePhysicalNativeLabel
nativePhysicalNativeLabelResolveStateAddress
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRDI)
nativePhysicalNativeD8)
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeR15)
(nativePhysicalNativeDisplacementByte (byte 24)))
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionBelow)
nativePhysicalNativeLabelResolveStateAddressValid
(nativePhysicalNativeJump
nativePhysicalNativeLabelFatalOperand
(nativePhysicalNativeLabel
nativePhysicalNativeLabelResolveStateAddressValid
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeRBP)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeEmit
nativePhysicalNativeReturnInstruction
(nativePhysicalNativeLabel
nativePhysicalNativeLabelResolveStateLoad
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRDI)
nativePhysicalNativeD8)
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR10))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeR10)
(nativePhysicalNativeI32Byte (byte 8)))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeR15)
(nativePhysicalNativeDisplacementByte (byte 24)))
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeR10))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionAbove)
nativePhysicalNativeLabelFatalOperand
(nativePhysicalNativeLabel
nativePhysicalNativeLabelResolveStateLoadValid
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeRBP)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRAX)
nativePhysicalNativeD0)
(nativePhysicalNativeEmit
nativePhysicalNativeReturnInstruction
(nativePhysicalNativeLabel
nativePhysicalNativeLabelResolvePayloadAddress
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRDI)
nativePhysicalNativeD8)
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeR14)
(nativePhysicalNativeDisplacementByte (byte 32)))
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionBelow)
nativePhysicalNativeLabelResolvePayloadAddressValid
(nativePhysicalNativeJump
nativePhysicalNativeLabelFatalOperand
(nativePhysicalNativeLabel
nativePhysicalNativeLabelResolvePayloadAddressValid
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeR14)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 232)))
(nativePhysicalNativeEmit
nativePhysicalNativeReturnInstruction
(nativePhysicalNativeLabel
nativePhysicalNativeLabelResolvePayloadLoad
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRDI)
nativePhysicalNativeD8)
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR10))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeR10)
(nativePhysicalNativeI32Byte (byte 8)))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeR14)
(nativePhysicalNativeDisplacementByte (byte 32)))
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeR10))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionAbove)
nativePhysicalNativeLabelFatalOperand
(nativePhysicalNativeLabel
nativePhysicalNativeLabelResolvePayloadLoadValid
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeR14)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 232)))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRAX)
nativePhysicalNativeD0)
(nativePhysicalNativeEmit
nativePhysicalNativeReturnInstruction
(nativePhysicalNativeLabel
nativePhysicalNativeLabelResolveProcessArgument
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRDI)
nativePhysicalNativeD8)
(nativePhysicalNativeEmit
(nativePhysicalNativeShiftLeft
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeImmediate8 (byte 3)))
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeRSP)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeDisplacementByte (byte 16)))
(nativePhysicalNativeEmit
nativePhysicalNativeReturnInstruction
tail)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
def nativePhysicalNativeMainBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel
nativePhysicalNativeLabelEntry
(nativePhysicalNativeLEA
(constructor X86NativeRegister64 X86NativeR15)
nativePhysicalNativeLabelImage
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR15)
nativePhysicalNativeD0)
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate64
(constructor X86NativeRegister64 X86NativeR11)
(nativePhysicalNativeImmediate64
(byte 65)
(byte 76)
(byte 80)
(byte 88)
(byte 80)
(byte 72)
(byte 89)
(byte 50)))
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionNotZero)
nativePhysicalNativeLabelFatalFormat
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR15)
nativePhysicalNativeD8)
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 2)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionNotZero)
nativePhysicalNativeLabelFatalFormat
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeR13)
(constructor X86NativeRegister64 X86NativeR15)
(nativePhysicalNativeDisplacementByte (byte 16)))
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeR15)
(constructor X86NativeRegister64 X86NativeR14))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeR14)
(nativePhysicalNativeI32Byte (byte 176)))
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeR14)
(constructor X86NativeRegister64 X86NativeR12))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR15)
(nativePhysicalNativeDisplacementByte (byte 40)))
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR12))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRSI)
(constructor X86NativeRegister64 X86NativeR15)
(nativePhysicalNativeDisplacementByte (byte 24)))
(nativePhysicalNativeEmit
(nativePhysicalNativeTest
(constructor X86NativeRegister64 X86NativeRSI)
(constructor X86NativeRegister64 X86NativeRSI))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelFatalFormat
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR15)
(nativePhysicalNativeDisplacementByte (byte 32)))
(nativePhysicalNativeEmit
(nativePhysicalNativeShiftLeft
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeImmediate8 (byte 3)))
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRSI))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeRSI)
(nativePhysicalNativeI32Byte (byte 48)))
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 9)))
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeI32Byte (byte 0)))
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRDX)
(nativePhysicalNativeI32Byte (byte 3)))
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeR10)
(nativePhysicalNativeI32Byte (byte 34)))
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate64
(constructor X86NativeRegister64 X86NativeR8)
nativePhysicalNativeI64NegativeOne)
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeR9)
(nativePhysicalNativeI32Byte (byte 0)))
(nativePhysicalNativeEmit
nativePhysicalNativeSystemCallInstruction
(nativePhysicalNativeEmit
(nativePhysicalNativeTest
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionSign)
nativePhysicalNativeLabelFatalSystemCall
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRBP))
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeRBP)
(constructor X86NativeRegister64 X86NativeRBX))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR15)
(nativePhysicalNativeDisplacementByte (byte 24)))
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRBX))
(nativePhysicalNativeJump
nativePhysicalNativeLabelLoop
tail)))))))))))))))))))))))))))))))))))))
-- Float64 (tags 14 .. 21, Runtime.NativePhysicalImage.
-- nativePhysicalImageFloat64Tag): operand 1's and operand 2's words into
-- xmm0 and xmm1 (the resolver touches no XMM register, so the left word
-- waits there while the right one resolves: either may read the
-- destination), the operation, the result's word (binary32: the low word,
-- zero-extended) into the address operand 0 resolves to (in rsi, which the
-- resolver leaves). Each tag has its own entry, all alike but for the
-- operation's instructions.
def npXMM0 : (family X86NativeRegisterXMM) = (constructor X86NativeRegisterXMM X86NativeXMM0)
def npXMM1 : (family X86NativeRegisterXMM) = (constructor X86NativeRegisterXMM X86NativeXMM1)
-- an operation on xmm0 and xmm1, its result's word left in rax
def npScalarDouble =
(lambda unrestricted operation : (family X86NativeScalarDoubleOperation) .
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeEmit (constructor X86NativeInstruction X86NativeScalarDouble operation npXMM0 npXMM1)
(nativePhysicalNativeEmit (constructor X86NativeInstruction X86NativeMoveFromXMM64 (constructor X86NativeRegister64 X86NativeRAX) npXMM0) tail))))
def npFromNatural =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeEmit (constructor X86NativeInstruction X86NativeMoveFromXMM64 (constructor X86NativeRegister64 X86NativeRAX) npXMM0)
(nativePhysicalNativeEmit (constructor X86NativeInstruction X86NativeScalarDoubleFromInteger64 npXMM0 (constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeEmit (constructor X86NativeInstruction X86NativeMoveFromXMM64 (constructor X86NativeRegister64 X86NativeRAX) npXMM0) tail))))
def npToBinary32 =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeEmit (constructor X86NativeInstruction X86NativeScalarDouble (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleToSingle) npXMM0 npXMM0)
(nativePhysicalNativeEmit (constructor X86NativeInstruction X86NativeMoveFromXMM32 (constructor X86NativeRegister64 X86NativeRAX) npXMM0) tail)))
def npFromBinary32 =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeEmit (constructor X86NativeInstruction X86NativeScalarSingleToDouble npXMM0 npXMM0)
(nativePhysicalNativeEmit (constructor X86NativeInstruction X86NativeMoveFromXMM64 (constructor X86NativeRegister64 X86NativeRAX) npXMM0) tail)))
-- `each tag operation rest` for every tag, in order
def nativePhysicalNativeFloat64Entries =
(lambda unrestricted each : (pi unrestricted tag : Byte . (pi unrestricted operation : (pi unrestricted after : (family X86NativeAssembly) . (family X86NativeAssembly)) . (pi unrestricted rest : (family X86NativeAssembly) . (family X86NativeAssembly)))) .
(lambda unrestricted tail : (family X86NativeAssembly) .
(each (byte 14) (npScalarDouble (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleAdd))
(each (byte 15) (npScalarDouble (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleSubtract))
(each (byte 16) (npScalarDouble (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleMultiply))
(each (byte 17) (npScalarDouble (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleDivide))
(each (byte 18) (npScalarDouble (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleSquareRoot))
(each (byte 19) npFromNatural
(each (byte 20) npToBinary32
(each (byte 21) npFromBinary32 tail))))))))))
def nativePhysicalNativeFloat64Label =
(lambda unrestricted tag : Byte . (bytes-append nativePhysicalNativeLabelDispatchFloat64 (bytes tag)))
-- in the dispatch: each tag to its entry
def nativePhysicalNativeFloat64Dispatch =
(nativePhysicalNativeFloat64Entries
(lambda unrestricted tag : Byte .
(lambda unrestricted operation : (pi unrestricted after : (family X86NativeAssembly) . (family X86NativeAssembly)) .
(lambda unrestricted rest : (family X86NativeAssembly) .
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate (constructor X86NativeRegister64 X86NativeRAX) (nativePhysicalNativeI32Byte tag))
(nativePhysicalNativeJumpCondition (constructor X86NativeCondition X86NativeConditionZero) (nativePhysicalNativeFloat64Label tag) rest))))))
def nativePhysicalNativeLoopBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel
nativePhysicalNativeLabelLoop
(nativePhysicalNativeEmit
(nativePhysicalNativeTest
(constructor X86NativeRegister64 X86NativeR13)
(constructor X86NativeRegister64 X86NativeR13))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelDone
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeR12)
(constructor X86NativeRegister64 X86NativeR14))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionBelow)
nativePhysicalNativeLabelRecordEndValid
(nativePhysicalNativeJump
nativePhysicalNativeLabelFatalBounds
(nativePhysicalNativeLabel
nativePhysicalNativeLabelRecordEndValid
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR14)
nativePhysicalNativeD8)
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 232)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionBelow)
nativePhysicalNativeLabelFatalRecord
(nativePhysicalNativeLabel
nativePhysicalNativeLabelRecordExtentValid
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeR14)
(constructor X86NativeRegister64 X86NativeR11))
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR11))
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeR12)
(constructor X86NativeRegister64 X86NativeR11))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionAbove)
nativePhysicalNativeLabelFatalBounds
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeR10)
(constructor X86NativeRegister64 X86NativeR14)
(nativePhysicalNativeDisplacementByte (byte 32)))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeR14)
(nativePhysicalNativeDisplacementByte (byte 40)))
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeR10))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeR14)
(nativePhysicalNativeDisplacementByte (byte 48)))
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeR10))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeR10)
(nativePhysicalNativeI32Byte (byte 232)))
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR10))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionNotZero)
nativePhysicalNativeLabelFatalRecord
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeR10)
(constructor X86NativeRegister64 X86NativeR14)
(nativePhysicalNativeDisplacementByte (byte 48)))
(nativePhysicalNativeEmit
(nativePhysicalNativeTest
(constructor X86NativeRegister64 X86NativeR10)
(constructor X86NativeRegister64 X86NativeR10))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelFatalRecord
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR14)
nativePhysicalNativeD0)
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 1)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelDispatchSystemCall
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 2)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelDispatchCopy
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 3)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelDispatchRoutine
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 4)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelDispatchFence
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 5)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelDispatchTelemetry
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 6)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelDispatchAssert
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 7)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelDispatchHalt
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 8)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelDispatchAssertOneOf
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 9)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelDispatchRepeatBegin
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 10)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelDispatchRepeatEnd
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 11)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelDispatchStore
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 12)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelDispatchFenceWait
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 13)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelDispatchAdd
(nativePhysicalNativeFloat64Dispatch
(nativePhysicalNativeJump
nativePhysicalNativeLabelFatalRecord
tail))))))))))))))))))))))))))))))))))))))))))))))))))))))))
def nativePhysicalNativeSystemCallBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel
nativePhysicalNativeLabelDispatchSystemCall
(nativePhysicalNativeResolveCall
(byte 64)
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeEmit
(nativePhysicalNativeStore64
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 240))
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeResolveCall
(byte 112)
(constructor X86NativeRegister64 X86NativeRSI)
(nativePhysicalNativeResolveCall
(byte 136)
(constructor X86NativeRegister64 X86NativeRDX)
(nativePhysicalNativeResolveCall
(byte 160)
(constructor X86NativeRegister64 X86NativeRCX)
(nativePhysicalNativeResolveCall
(byte 184)
(constructor X86NativeRegister64 X86NativeR8)
(nativePhysicalNativeResolveCall
(byte 208)
(constructor X86NativeRegister64 X86NativeR9)
(nativePhysicalNativeResolveCall
(byte 88)
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeRCX)
(constructor X86NativeRegister64 X86NativeR10))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 240)))
(nativePhysicalNativeEmit
nativePhysicalNativeSystemCallInstruction
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRDX))
(nativePhysicalNativeJump nativePhysicalNativeLabelBindResult tail)))))))))))))))
def nativePhysicalNativeBindBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel
nativePhysicalNativeLabelBindResult
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR14)
(nativePhysicalNativeDisplacementByte (byte 16)))
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 0)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelAdvance
(nativePhysicalNativeEmit
(nativePhysicalNativeCompareImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 1)))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelBindStore
(nativePhysicalNativeJump
nativePhysicalNativeLabelFatalRecord
(nativePhysicalNativeLabel
nativePhysicalNativeLabelBindStore
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR14)
(nativePhysicalNativeDisplacementByte (byte 24)))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeR15)
(nativePhysicalNativeDisplacementByte (byte 32)))
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionBelow)
nativePhysicalNativeLabelBindSlotValid
(nativePhysicalNativeJump
nativePhysicalNativeLabelFatalOperand
(nativePhysicalNativeLabel
nativePhysicalNativeLabelBindSlotValid
(nativePhysicalNativeEmit
(nativePhysicalNativeShiftLeft
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeImmediate8 (byte 3)))
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeRBX)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeEmit
(nativePhysicalNativeStore64
(constructor X86NativeRegister64 X86NativeRAX)
nativePhysicalNativeD0
(constructor X86NativeRegister64 X86NativeRDX))
(nativePhysicalNativeJump
nativePhysicalNativeLabelAdvance
tail)))))))))))))))))))
def nativePhysicalNativeCopyBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel
nativePhysicalNativeLabelDispatchCopy
(nativePhysicalNativeResolveCall
(byte 88)
(constructor X86NativeRegister64 X86NativeRCX)
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeR14)
(nativePhysicalNativeDisplacementByte (byte 32)))
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeRCX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionNotZero)
nativePhysicalNativeLabelCommandFailure
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeRCX)
(constructor X86NativeRegister64 X86NativeR9))
(nativePhysicalNativeResolveCall
(byte 64)
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR10))
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeR9)
(constructor X86NativeRegister64 X86NativeR10))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeR15)
(nativePhysicalNativeDisplacementByte (byte 24)))
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeR10))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionAbove)
nativePhysicalNativeLabelCommandFailure
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeRBP)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRDI))
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeR14)
(constructor X86NativeRegister64 X86NativeRSI))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeRSI)
(nativePhysicalNativeI32Byte (byte 232)))
(nativePhysicalNativeEmit
(nativePhysicalNativeTest
(constructor X86NativeRegister64 X86NativeRCX)
(constructor X86NativeRegister64 X86NativeRCX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelCopyDone
(nativePhysicalNativeLabel
nativePhysicalNativeLabelCopyLoop
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad8
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRSI)
nativePhysicalNativeD0)
(nativePhysicalNativeEmit
(nativePhysicalNativeStore8
(constructor X86NativeRegister64 X86NativeRDI)
nativePhysicalNativeD0
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeRSI)
(nativePhysicalNativeI32Byte (byte 1)))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeI32Byte (byte 1)))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeRCX)
nativePhysicalNativeI32NegativeOne)
(nativePhysicalNativeEmit
(nativePhysicalNativeTest
(constructor X86NativeRegister64 X86NativeRCX)
(constructor X86NativeRegister64 X86NativeRCX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionNotZero)
nativePhysicalNativeLabelCopyLoop
(nativePhysicalNativeLabel
nativePhysicalNativeLabelCopyDone
(nativePhysicalNativeJump
nativePhysicalNativeLabelAdvance
tail)))))))))))))))))))))))))))))
def nativePhysicalNativeRoutineBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel
nativePhysicalNativeLabelDispatchRoutine
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeR14)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 232)))
(nativePhysicalNativeEmit
(nativePhysicalNativeStore64
(constructor X86NativeRegister64 X86NativeRSP)
-- Keep the routine address below the return-address slot used
-- by the resolver calls. byte 240 encodes -16; byte 248 was
-- -8 and was overwritten by each call instruction.
(nativePhysicalNativeNegativeDisplacementByte (byte 240))
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeResolveCall
(byte 88)
(constructor X86NativeRegister64 X86NativeRSI)
(nativePhysicalNativeResolveCall
(byte 112)
(constructor X86NativeRegister64 X86NativeRDX)
(nativePhysicalNativeResolveCall
(byte 136)
(constructor X86NativeRegister64 X86NativeRCX)
(nativePhysicalNativeResolveCall
(byte 160)
(constructor X86NativeRegister64 X86NativeR8)
(nativePhysicalNativeResolveCall
(byte 184)
(constructor X86NativeRegister64 X86NativeR9)
(nativePhysicalNativeResolveCall
(byte 64)
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeR11)
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 240)))
(nativePhysicalNativeEmit
(nativePhysicalNativeCall
(constructor X86NativeRegister64 X86NativeR11))
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRDX))
(nativePhysicalNativeJump nativePhysicalNativeLabelBindResult tail)))))))))))))))
def nativePhysicalNativeFenceBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel
nativePhysicalNativeLabelDispatchFence
(nativePhysicalNativeResolveCall
(byte 112)
(constructor X86NativeRegister64 X86NativeRCX)
(nativePhysicalNativeEmit
(nativePhysicalNativeStore64
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 240))
(constructor X86NativeRegister64 X86NativeRCX))
(nativePhysicalNativeResolveCall
(byte 88)
(constructor X86NativeRegister64 X86NativeRSI)
(nativePhysicalNativeEmit
(nativePhysicalNativeStore64
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 248))
(constructor X86NativeRegister64 X86NativeRSI))
(nativePhysicalNativeResolveCall
(byte 64)
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRSI)
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 248)))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRCX)
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 240)))
(nativePhysicalNativeEmit
(nativePhysicalNativeTest
(constructor X86NativeRegister64 X86NativeRCX)
(constructor X86NativeRegister64 X86NativeRCX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelCommandFailure
(nativePhysicalNativeLabel
nativePhysicalNativeLabelFenceLoop
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRDI)
nativePhysicalNativeD0)
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeRSI)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelFenceDone
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeRCX)
nativePhysicalNativeI32NegativeOne)
(nativePhysicalNativeEmit
(nativePhysicalNativeTest
(constructor X86NativeRegister64 X86NativeRCX)
(constructor X86NativeRegister64 X86NativeRCX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionNotZero)
nativePhysicalNativeLabelFenceLoop
(nativePhysicalNativeJump
nativePhysicalNativeLabelCommandFailure
(nativePhysicalNativeLabel
nativePhysicalNativeLabelFenceDone
(nativePhysicalNativeJump
nativePhysicalNativeLabelAdvance
tail)))))))))))))))))))))
def nativePhysicalNativeAssertBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel
nativePhysicalNativeLabelDispatchAssert
(nativePhysicalNativeResolveCall
(byte 88)
(constructor X86NativeRegister64 X86NativeRSI)
(nativePhysicalNativeEmit
(nativePhysicalNativeStore64
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 240))
(constructor X86NativeRegister64 X86NativeRSI))
(nativePhysicalNativeResolveCall
(byte 64)
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRSI)
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 240)))
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeRSI)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionNotZero)
nativePhysicalNativeLabelCommandFailure
(nativePhysicalNativeJump nativePhysicalNativeLabelAdvance tail)))))))))
def nativePhysicalNativeAssertOneOfBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel
nativePhysicalNativeLabelDispatchAssertOneOf
(nativePhysicalNativeResolveCall
(byte 112)
(constructor X86NativeRegister64 X86NativeRSI)
(nativePhysicalNativeEmit
(nativePhysicalNativeStore64
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 232))
(constructor X86NativeRegister64 X86NativeRSI))
(nativePhysicalNativeResolveCall
(byte 88)
(constructor X86NativeRegister64 X86NativeRSI)
(nativePhysicalNativeEmit
(nativePhysicalNativeStore64
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 240))
(constructor X86NativeRegister64 X86NativeRSI))
(nativePhysicalNativeResolveCall
(byte 64)
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRSI)
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 240)))
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeRSI)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelAdvance
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRSI)
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 232)))
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeRSI)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionNotZero)
nativePhysicalNativeLabelCommandFailure
(nativePhysicalNativeJump
nativePhysicalNativeLabelAdvance
tail))))))))))))))
def nativePhysicalNativeTelemetryBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel
nativePhysicalNativeLabelDispatchTelemetry
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRCX)
(constructor X86NativeRegister64 X86NativeR14)
(nativePhysicalNativeDisplacementByte (byte 32)))
(nativePhysicalNativeEmit
(nativePhysicalNativeTest
(constructor X86NativeRegister64 X86NativeRCX)
(constructor X86NativeRegister64 X86NativeRCX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelCommandFailure
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeRCX)
(constructor X86NativeRegister64 X86NativeRSI))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeRSI)
(nativePhysicalNativeI32Byte (byte 1)))
(nativePhysicalNativeEmit
(nativePhysicalNativeStore64
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 232))
(constructor X86NativeRegister64 X86NativeRSI))
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 9)))
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeI32Byte (byte 0)))
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRDX)
(nativePhysicalNativeI32Byte (byte 3)))
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeR10)
(nativePhysicalNativeI32Byte (byte 34)))
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate64
(constructor X86NativeRegister64 X86NativeR8)
nativePhysicalNativeI64NegativeOne)
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeR9)
(nativePhysicalNativeI32Byte (byte 0)))
(nativePhysicalNativeEmit
nativePhysicalNativeSystemCallInstruction
(nativePhysicalNativeEmit
(nativePhysicalNativeTest
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionSign)
nativePhysicalNativeLabelCommandFailure
(nativePhysicalNativeEmit
(nativePhysicalNativeStore64
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 248))
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRDI))
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeR14)
(constructor X86NativeRegister64 X86NativeRSI))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeRSI)
(nativePhysicalNativeI32Byte (byte 232)))
(nativePhysicalNativeLabel
nativePhysicalNativeLabelTelemetryCopyLoop
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad8
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRSI)
nativePhysicalNativeD0)
(nativePhysicalNativeEmit
(nativePhysicalNativeStore8
(constructor X86NativeRegister64 X86NativeRDI)
nativePhysicalNativeD0
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeRSI)
(nativePhysicalNativeI32Byte (byte 1)))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeI32Byte (byte 1)))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeRCX)
nativePhysicalNativeI32NegativeOne)
(nativePhysicalNativeEmit
(nativePhysicalNativeTest
(constructor X86NativeRegister64 X86NativeRCX)
(constructor X86NativeRegister64 X86NativeRCX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionNotZero)
nativePhysicalNativeLabelTelemetryCopyLoop
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeImmediate32
(byte 1)
(byte 1)
(byte 0)
(byte 0)))
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate64
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeImmediate64
(byte 156)
(byte 255)
(byte 255)
(byte 255)
(byte 255)
(byte 255)
(byte 255)
(byte 255)))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRSI)
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 248)))
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRDX)
(nativePhysicalNativeImmediate32
(byte 65)
(byte 4)
(byte 0)
(byte 0)))
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeR10)
(nativePhysicalNativeImmediate32
(byte 164)
(byte 1)
(byte 0)
(byte 0)))
(nativePhysicalNativeEmit
nativePhysicalNativeSystemCallInstruction
(nativePhysicalNativeEmit
(nativePhysicalNativeTest
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionSign)
nativePhysicalNativeLabelCommandFailure
(nativePhysicalNativeEmit
(nativePhysicalNativeStore64
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 240))
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeR14)
(constructor X86NativeRegister64 X86NativeRSI))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeRSI)
(nativePhysicalNativeI32Byte (byte 232)))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRCX)
(constructor X86NativeRegister64 X86NativeR14)
(nativePhysicalNativeDisplacementByte (byte 32)))
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeRCX)
(constructor X86NativeRegister64 X86NativeRSI))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRDX)
(constructor X86NativeRegister64 X86NativeR14)
(nativePhysicalNativeDisplacementByte (byte 40)))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRDI)
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 240)))
(nativePhysicalNativeLabel
nativePhysicalNativeLabelTelemetryWriteLoop
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 1)))
(nativePhysicalNativeEmit
nativePhysicalNativeSystemCallInstruction
(nativePhysicalNativeEmit
(nativePhysicalNativeTest
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionSign)
nativePhysicalNativeLabelCommandFailure
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionZero)
nativePhysicalNativeLabelCommandFailure
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRSI))
(nativePhysicalNativeEmit
(nativePhysicalNativeSubtract
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRDX))
(nativePhysicalNativeEmit
(nativePhysicalNativeTest
(constructor X86NativeRegister64 X86NativeRDX)
(constructor X86NativeRegister64 X86NativeRDX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionNotZero)
nativePhysicalNativeLabelTelemetryWriteLoop
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 75)))
(nativePhysicalNativeEmit
nativePhysicalNativeSystemCallInstruction
(nativePhysicalNativeEmit
(nativePhysicalNativeTest
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionSign)
nativePhysicalNativeLabelCommandFailure
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 3)))
(nativePhysicalNativeEmit
nativePhysicalNativeSystemCallInstruction
(nativePhysicalNativeEmit
(nativePhysicalNativeTest
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionSign)
nativePhysicalNativeLabelCommandFailure
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 11)))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRDI)
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 248)))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRSI)
(constructor X86NativeRegister64 X86NativeRSP)
(nativePhysicalNativeNegativeDisplacementByte (byte 232)))
(nativePhysicalNativeEmit
nativePhysicalNativeSystemCallInstruction
(nativePhysicalNativeEmit
(nativePhysicalNativeTest
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRAX))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionSign)
nativePhysicalNativeLabelCommandFailure
(nativePhysicalNativeJump
nativePhysicalNativeLabelAdvance
tail)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
def nativePhysicalNativeAdvanceBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel
nativePhysicalNativeLabelAdvance
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR14)
nativePhysicalNativeD8)
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR14))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeR13)
nativePhysicalNativeI32NegativeOne)
(nativePhysicalNativeJump nativePhysicalNativeLabelLoop tail))))))
def nativePhysicalNativeDoneBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel
nativePhysicalNativeLabelDone
(nativePhysicalNativeEmit
(nativePhysicalNativeCompare
(constructor X86NativeRegister64 X86NativeR12)
(constructor X86NativeRegister64 X86NativeR14))
(nativePhysicalNativeJumpCondition
(constructor X86NativeCondition X86NativeConditionNotZero)
nativePhysicalNativeLabelFatalBounds
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeI32Byte (byte 0)))
(nativePhysicalNativeJump nativePhysicalNativeLabelExit tail))))))
def nativePhysicalNativeHaltBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel
nativePhysicalNativeLabelDispatchHalt
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeI32Byte (byte 0)))
(nativePhysicalNativeJump nativePhysicalNativeLabelExit tail))))
def nativePhysicalNativeCommandFailureBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel
nativePhysicalNativeLabelCommandFailure
(nativePhysicalNativeEmit
(nativePhysicalNativeMove
(constructor X86NativeRegister64 X86NativeR14)
(constructor X86NativeRegister64 X86NativeRSI))
(nativePhysicalNativeEmit
(nativePhysicalNativeAddImmediate
(constructor X86NativeRegister64 X86NativeRSI)
(nativePhysicalNativeI32Byte (byte 232)))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR14)
(nativePhysicalNativeDisplacementByte (byte 32)))
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRSI))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeR14)
(nativePhysicalNativeDisplacementByte (byte 40)))
(nativePhysicalNativeEmit
(nativePhysicalNativeAdd
(constructor X86NativeRegister64 X86NativeRAX)
(constructor X86NativeRegister64 X86NativeRSI))
(nativePhysicalNativeEmit
(nativePhysicalNativeLoad64
(constructor X86NativeRegister64 X86NativeRDX)
(constructor X86NativeRegister64 X86NativeR14)
(nativePhysicalNativeDisplacementByte (byte 48)))
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 1)))
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeI32Byte (byte 2)))
(nativePhysicalNativeEmit
nativePhysicalNativeSystemCallInstruction
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeI32Byte (byte 120)))
(nativePhysicalNativeJump nativePhysicalNativeLabelExit tail))))))))))))))
def nativePhysicalNativeFatalBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel
nativePhysicalNativeLabelFatalFormat
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeI32Byte (byte 101)))
(nativePhysicalNativeJump
nativePhysicalNativeLabelExit
(nativePhysicalNativeLabel
nativePhysicalNativeLabelFatalBounds
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeI32Byte (byte 102)))
(nativePhysicalNativeJump
nativePhysicalNativeLabelExit
(nativePhysicalNativeLabel
nativePhysicalNativeLabelFatalOperand
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeI32Byte (byte 103)))
(nativePhysicalNativeJump
nativePhysicalNativeLabelExit
(nativePhysicalNativeLabel
nativePhysicalNativeLabelFatalSystemCall
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeI32Byte (byte 104)))
(nativePhysicalNativeJump
nativePhysicalNativeLabelExit
(nativePhysicalNativeLabel
nativePhysicalNativeLabelFatalAssertion
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeI32Byte (byte 105)))
(nativePhysicalNativeJump
nativePhysicalNativeLabelExit
(nativePhysicalNativeLabel
nativePhysicalNativeLabelFatalFence
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeI32Byte (byte 106)))
(nativePhysicalNativeJump
nativePhysicalNativeLabelExit
(nativePhysicalNativeLabel
nativePhysicalNativeLabelFatalTelemetry
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeI32Byte (byte 107)))
(nativePhysicalNativeJump
nativePhysicalNativeLabelExit
(nativePhysicalNativeLabel
nativePhysicalNativeLabelFatalRecord
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRDI)
(nativePhysicalNativeI32Byte (byte 108)))
(nativePhysicalNativeJump
nativePhysicalNativeLabelExit
(nativePhysicalNativeLabel
nativePhysicalNativeLabelExit
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32
(constructor X86NativeRegister64 X86NativeRAX)
(nativePhysicalNativeI32Byte (byte 60)))
(nativePhysicalNativeEmit
nativePhysicalNativeSystemCallInstruction
tail))))))))))))))))))))))))))))
-- One instruction per line for the repeat machinery.
def npRAX : (family X86NativeRegister64) = (constructor X86NativeRegister64 X86NativeRAX)
def npR10 : (family X86NativeRegister64) = (constructor X86NativeRegister64 X86NativeR10)
def npR11 : (family X86NativeRegister64) = (constructor X86NativeRegister64 X86NativeR11)
def npR12 : (family X86NativeRegister64) = (constructor X86NativeRegister64 X86NativeR12)
def npR13 : (family X86NativeRegister64) = (constructor X86NativeRegister64 X86NativeR13)
def npR14 : (family X86NativeRegister64) = (constructor X86NativeRegister64 X86NativeR14)
def npR15 : (family X86NativeRegister64) = (constructor X86NativeRegister64 X86NativeR15)
def npRBX : (family X86NativeRegister64) = (constructor X86NativeRegister64 X86NativeRBX)
def npRDI : (family X86NativeRegister64) = (constructor X86NativeRegister64 X86NativeRDI)
def npRSI : (family X86NativeRegister64) = (constructor X86NativeRegister64 X86NativeRSI)
def npZero : (family X86NativeCondition) = (constructor X86NativeCondition X86NativeConditionZero)
def npNotZero : (family X86NativeCondition) = (constructor X86NativeCondition X86NativeConditionNotZero)
def npBelow : (family X86NativeCondition) = (constructor X86NativeCondition X86NativeConditionBelow)
def npD = (lambda unrestricted value : Byte . (nativePhysicalNativeDisplacementByte value))
def npMove =
(lambda unrestricted destination : (family X86NativeRegister64) .
(lambda unrestricted source : (family X86NativeRegister64) .
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeEmit (nativePhysicalNativeMove source destination) tail))))
def npAdd =
(lambda unrestricted destination : (family X86NativeRegister64) .
(lambda unrestricted source : (family X86NativeRegister64) .
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeEmit (nativePhysicalNativeAdd source destination) tail))))
def npAddImmediate =
(lambda unrestricted destination : (family X86NativeRegister64) .
(lambda unrestricted immediate : (family X86NativeImmediate32) .
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeEmit (nativePhysicalNativeAddImmediate destination immediate) tail))))
-- flags from left - right
def npCompare =
(lambda unrestricted left : (family X86NativeRegister64) .
(lambda unrestricted right : (family X86NativeRegister64) .
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeEmit (nativePhysicalNativeCompare right left) tail))))
def npCompareImmediate =
(lambda unrestricted left : (family X86NativeRegister64) .
(lambda unrestricted immediate : (family X86NativeImmediate32) .
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeEmit (nativePhysicalNativeCompareImmediate left immediate) tail))))
def npTest =
(lambda unrestricted register : (family X86NativeRegister64) .
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeEmit (nativePhysicalNativeTest register register) tail)))
def npLoad64 =
(lambda unrestricted destination : (family X86NativeRegister64) .
(lambda unrestricted base : (family X86NativeRegister64) .
(lambda unrestricted displacement : (family X86NativeDisplacement32) .
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeEmit (nativePhysicalNativeLoad64 destination base displacement) tail)))))
def npStore64 =
(lambda unrestricted base : (family X86NativeRegister64) .
(lambda unrestricted displacement : (family X86NativeDisplacement32) .
(lambda unrestricted source : (family X86NativeRegister64) .
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeEmit (nativePhysicalNativeStore64 base displacement source) tail)))))
def npClear =
(lambda unrestricted register : (family X86NativeRegister64) .
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeEmit (constructor X86NativeInstruction X86NativeClear32 register) tail)))
-- The scratch follows the result slots: [+0] repeat iteration, [+8] count,
-- [+16] first body record, [+24] body record count, [+32] a timespec
-- (seconds, nanoseconds) for the fence wait's nanosleep. Its address is
-- rbx + 8 * resultSlots, computed into the given register.
def npScratchInto =
(lambda unrestricted register : (family X86NativeRegister64) .
(lambda unrestricted tail : (family X86NativeAssembly) .
(npLoad64 register npR15 (npD (byte 32))
(nativePhysicalNativeEmit
(nativePhysicalNativeShiftLeft register (nativePhysicalNativeImmediate8 (byte 3)))
(npAdd register npRBX tail)))))
-- RepeatBegin: iteration 0, the count from operand 0, the first body record,
-- and the number of body records found by scanning forward to the matching
-- RepeatEnd (tag 10). A nested RepeatBegin (tag 9) or running off the image
-- is a malformed record. A count of zero skips the body: the records left
-- lose the body's and this one, and the advance steps past the end -- so a
-- count read from the state makes a block conditional.
def nativePhysicalNativeRepeatBeginBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel nativePhysicalNativeLabelDispatchRepeatBegin
(nativePhysicalNativeResolveCall (byte 64) npRAX
(npScratchInto npR10
(npStore64 npR10 (npD (byte 8)) npRAX
(npClear npR11
(npStore64 npR10 nativePhysicalNativeD0 npR11
(npLoad64 npRAX npR14 nativePhysicalNativeD8
(npAdd npRAX npR14
(npStore64 npR10 (npD (byte 16)) npRAX
(nativePhysicalNativeLabel nativePhysicalNativeLabelRepeatScan
(npCompare npRAX npR12
(nativePhysicalNativeJumpCondition npBelow nativePhysicalNativeLabelRepeatScanNext
(nativePhysicalNativeJump nativePhysicalNativeLabelFatalRecord
(nativePhysicalNativeLabel nativePhysicalNativeLabelRepeatScanNext
(npLoad64 npRDI npRAX nativePhysicalNativeD0
(npCompareImmediate npRDI (nativePhysicalNativeI32Byte (byte 10))
(nativePhysicalNativeJumpCondition npZero nativePhysicalNativeLabelRepeatFound
(npCompareImmediate npRDI (nativePhysicalNativeI32Byte (byte 9))
(nativePhysicalNativeJumpCondition npZero nativePhysicalNativeLabelFatalRecord
(npAddImmediate npR11 (nativePhysicalNativeI32Byte (byte 1))
(npLoad64 npRDI npRAX nativePhysicalNativeD8
(npAdd npRAX npRDI
(nativePhysicalNativeJump nativePhysicalNativeLabelRepeatScan
(nativePhysicalNativeLabel nativePhysicalNativeLabelRepeatFound
(npStore64 npR10 (npD (byte 24)) npR11
(npLoad64 npRDI npR10 (npD (byte 8))
(npTest npRDI
(nativePhysicalNativeJumpCondition npNotZero nativePhysicalNativeLabelAdvance
(nativePhysicalNativeEmit (nativePhysicalNativeSubtract npR11 npR13)
(npAddImmediate npR13 nativePhysicalNativeI32NegativeOne
(npMove npR14 npRAX
(nativePhysicalNativeJump nativePhysicalNativeLabelAdvance tail)))))))))))))))))))))))))))))))))
-- RepeatEnd: one more iteration done; while iterations remain, continue at
-- the first body record with the body's records (plus this end) still to
-- count, otherwise advance past the end.
def nativePhysicalNativeRepeatEndBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel nativePhysicalNativeLabelDispatchRepeatEnd
(npScratchInto npR10
(npLoad64 npR11 npR10 nativePhysicalNativeD0
(npAddImmediate npR11 (nativePhysicalNativeI32Byte (byte 1))
(npStore64 npR10 nativePhysicalNativeD0 npR11
(npLoad64 npRAX npR10 (npD (byte 8))
(npCompare npR11 npRAX
(nativePhysicalNativeJumpCondition npBelow nativePhysicalNativeLabelRepeatAgain
(nativePhysicalNativeJump nativePhysicalNativeLabelAdvance
(nativePhysicalNativeLabel nativePhysicalNativeLabelRepeatAgain
(npLoad64 npR14 npR10 (npD (byte 16))
(npLoad64 npRAX npR10 (npD (byte 24))
(npAdd npR13 npRAX
(nativePhysicalNativeJump nativePhysicalNativeLabelLoop tail)))))))))))))))
-- StoreWord64: the value of operand 1 into the address operand 0 resolves to.
-- The resolver scratches rax, r10 and r11, so the address is parked in rsi
-- (untouched by the resolver, dead between commands) while the value resolves.
def nativePhysicalNativeStoreBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel nativePhysicalNativeLabelDispatchStore
(nativePhysicalNativeResolveCall (byte 64) npRSI
(nativePhysicalNativeResolveCall (byte 88) npR11
(npStore64 npRSI nativePhysicalNativeD0 npR11
(nativePhysicalNativeJump nativePhysicalNativeLabelAdvance tail))))))
-- AddWord64: operand 1 plus operand 2 (modulo 2^64) into the address operand
-- 0 resolves to (in rsi, which the resolver leaves). The left value waits
-- in xmm0 while the right one resolves (the resolver touches no XMM
-- register), so either may read the destination.
def nativePhysicalNativeAddBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel nativePhysicalNativeLabelDispatchAdd
(nativePhysicalNativeResolveCall (byte 64) npRSI
(nativePhysicalNativeResolveCall (byte 88) npR11
(nativePhysicalNativeEmit (constructor X86NativeInstruction X86NativeMoveToXMM64 npXMM0 npR11)
(nativePhysicalNativeResolveCall (byte 112) npR11
(nativePhysicalNativeEmit (constructor X86NativeInstruction X86NativeMoveFromXMM64 npRAX npXMM0)
(npAdd npRAX npR11
(npStore64 npRSI nativePhysicalNativeD0 npRAX
(nativePhysicalNativeJump nativePhysicalNativeLabelAdvance tail))))))))))
def nativePhysicalNativeFloat64Block =
(nativePhysicalNativeFloat64Entries
(lambda unrestricted tag : Byte .
(lambda unrestricted operation : (pi unrestricted after : (family X86NativeAssembly) . (family X86NativeAssembly)) .
(lambda unrestricted rest : (family X86NativeAssembly) .
(nativePhysicalNativeLabel (nativePhysicalNativeFloat64Label tag)
(nativePhysicalNativeResolveCall (byte 64) npRSI
(nativePhysicalNativeResolveCall (byte 88) npR11
(nativePhysicalNativeEmit (constructor X86NativeInstruction X86NativeMoveToXMM64 npXMM0 npR11)
(nativePhysicalNativeResolveCall (byte 112) npR11
(nativePhysicalNativeEmit (constructor X86NativeInstruction X86NativeMoveToXMM64 npXMM1 npR11)
(operation
(npStore64 npRSI nativePhysicalNativeD0 npRAX
(nativePhysicalNativeJump nativePhysicalNativeLabelAdvance rest)))))))))))))
-- LoopAffine: base + iteration * stride, the product by repeated addition.
-- rdi holds the descriptor; rax, r10 and r11 are the resolver's scratch
def nativePhysicalNativeResolveLoopAffineBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel nativePhysicalNativeLabelResolveLoopAffine
(npLoad64 npRAX npRDI nativePhysicalNativeD8
(npLoad64 npR11 npRDI (npD (byte 16))
(npScratchInto npR10
(npLoad64 npR10 npR10 nativePhysicalNativeD0
(nativePhysicalNativeLabel nativePhysicalNativeLabelResolveLoopAffineStep
(npTest npR10
(nativePhysicalNativeJumpCondition npZero nativePhysicalNativeLabelResolveLoopAffineDone
(npAdd npRAX npR11
(npAddImmediate npR10 nativePhysicalNativeI32NegativeOne
(nativePhysicalNativeJump nativePhysicalNativeLabelResolveLoopAffineStep
(nativePhysicalNativeLabel nativePhysicalNativeLabelResolveLoopAffineDone
(nativePhysicalNativeEmit nativePhysicalNativeReturnInstruction tail))))))))))))))
-- FenceWait: resolve the address into r9, the expected value into rdx, the
-- poll bound into r8 and the interval into the scratch timespec, then load,
-- compare, nanosleep, count down. The resolver scratches rax, r10, r11 and
-- rdi; the system call scratches rax, rcx and r11; r8, r9 and rdx survive
-- both. A timeout is a command failure; only equality advances.
def npRDX : (family X86NativeRegister64) = (constructor X86NativeRegister64 X86NativeRDX)
def npR8 : (family X86NativeRegister64) = (constructor X86NativeRegister64 X86NativeR8)
def npR9 : (family X86NativeRegister64) = (constructor X86NativeRegister64 X86NativeR9)
def nativePhysicalNativeFenceWaitBlock =
(lambda unrestricted tail : (family X86NativeAssembly) .
(nativePhysicalNativeLabel nativePhysicalNativeLabelDispatchFenceWait
(nativePhysicalNativeResolveCall (byte 64) npR9
(nativePhysicalNativeResolveCall (byte 88) npRDX
(nativePhysicalNativeResolveCall (byte 112) npR8
(nativePhysicalNativeResolveCall (byte 136) npRAX
(npScratchInto npR10
(npClear npR11
(npStore64 npR10 (npD (byte 32)) npR11
(npStore64 npR10 (npD (byte 40)) npRAX
(nativePhysicalNativeLabel nativePhysicalNativeLabelFenceWaitLoop
(npLoad64 npRAX npR9 nativePhysicalNativeD0
(npCompare npRAX npRDX
(nativePhysicalNativeJumpCondition npZero nativePhysicalNativeLabelFenceWaitDone
(npMove npRDI npR10
(npAddImmediate npRDI (nativePhysicalNativeI32Byte (byte 32))
(npClear npRSI
(nativePhysicalNativeEmit
(nativePhysicalNativeMoveImmediate32 npRAX (nativePhysicalNativeI32Byte (byte 35)))
(nativePhysicalNativeEmit nativePhysicalNativeSystemCallInstruction
(npAddImmediate npR8 nativePhysicalNativeI32NegativeOne
(npTest npR8
(nativePhysicalNativeJumpCondition npNotZero nativePhysicalNativeLabelFenceWaitLoop
(nativePhysicalNativeJump nativePhysicalNativeLabelCommandFailure
(nativePhysicalNativeLabel nativePhysicalNativeLabelFenceWaitDone
(nativePhysicalNativeJump nativePhysicalNativeLabelAdvance tail)))))))))))))))))))))))))
def nativePhysicalNativeAssembly : (family X86NativeAssembly) =
(nativePhysicalNativeMainBlock
(nativePhysicalNativeLoopBlock
(nativePhysicalNativeSystemCallBlock
(nativePhysicalNativeBindBlock
(nativePhysicalNativeCopyBlock
(nativePhysicalNativeRoutineBlock
(nativePhysicalNativeFenceBlock
(nativePhysicalNativeTelemetryBlock
(nativePhysicalNativeAssertBlock
(nativePhysicalNativeAssertOneOfBlock
(nativePhysicalNativeRepeatBeginBlock
(nativePhysicalNativeRepeatEndBlock
(nativePhysicalNativeStoreBlock
(nativePhysicalNativeAddBlock
(nativePhysicalNativeFloat64Block
(nativePhysicalNativeResolveLoopAffineBlock
(nativePhysicalNativeFenceWaitBlock
(nativePhysicalNativeAdvanceBlock
(nativePhysicalNativeDoneBlock
(nativePhysicalNativeHaltBlock
(nativePhysicalNativeCommandFailureBlock
(nativePhysicalNativeResolveBlock
(nativePhysicalNativeFatalBlock
(constructor
X86NativeAssembly
X86NativeAssemblyLabel
nativePhysicalNativeLabelImage
(constructor X86NativeAssembly X86NativeAssemblyEnd)))))))))))))))))))))))))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.