Runtime.NativePhysicalProgram

100family NativePhysicalOperation : Type 0
101constructor NativePhysicalSystemCall
102field unrestricted nativePhysicalSystemCallNumber : (family NativePhysicalOperand)
103field unrestricted nativePhysicalSystemCallArguments : (family NativePhysicalArguments)
104field unrestricted nativePhysicalSystemCallPayload : Bytes
105field unrestricted nativePhysicalSystemCallResult : (family NativePhysicalResultBinding)
106constructor NativePhysicalCopyPayloadToState
107field unrestricted nativePhysicalCopyDestinationOffset : (family ModelWord64)
108field unrestricted nativePhysicalCopyExtent : (family ModelWord64)
109field unrestricted nativePhysicalCopyPayload : Bytes
110constructor NativePhysicalMachineRoutine
111field unrestricted nativePhysicalMachineCode : Bytes
112field unrestricted nativePhysicalMachineArguments : (family NativePhysicalArguments)
113field unrestricted nativePhysicalMachineResult : (family NativePhysicalResultBinding)
114constructor NativePhysicalFencePoll
115field unrestricted nativePhysicalFenceAddress : (family NativePhysicalOperand)
116field unrestricted nativePhysicalFenceExpected : (family NativePhysicalOperand)
117field unrestricted nativePhysicalFenceMaximumPolls : (family ModelWord64)
118constructor NativePhysicalTelemetryAppend
119field unrestricted nativePhysicalTelemetryPath : Bytes
120field unrestricted nativePhysicalTelemetryRecord : Bytes
121constructor NativePhysicalAssertEqual
122field unrestricted nativePhysicalAssertLeft : (family NativePhysicalOperand)
123field unrestricted nativePhysicalAssertRight : (family NativePhysicalOperand)
124field unrestricted nativePhysicalAssertError : (family NativePhysicalErrorCode)
125constructor NativePhysicalAssertOneOf
126field unrestricted nativePhysicalAssertOneOfObserved : (family NativePhysicalOperand)
127field unrestricted nativePhysicalAssertOneOfFirst : (family NativePhysicalOperand)
128field unrestricted nativePhysicalAssertOneOfSecond : (family NativePhysicalOperand)
129field unrestricted nativePhysicalAssertOneOfError : (family NativePhysicalErrorCode)
130constructor NativePhysicalHaltSuccess
131-- Execute the commands up to the matching RepeatEnd count times.  Repeats do
132-- not nest; the runtime keeps one iteration counter and the loop-affine
133-- operands read it.
134constructor NativePhysicalRepeatBegin
135field unrestricted nativePhysicalRepeatCount : (family ModelWord64)
136constructor NativePhysicalRepeatEnd
137-- Store the 64-bit value of an operand at the address another operand
138-- resolves to (a state or result address): how a repeat body places a
139-- loop-affine value where a system call can read it.
140constructor NativePhysicalStoreWord64
141field unrestricted nativePhysicalStoreDestination : (family NativePhysicalOperand)
142field unrestricted nativePhysicalStoreValue : (family NativePhysicalOperand)
143-- Wait until the 64-bit word at an address equals the expected value,
144-- sleeping intervalNanoseconds between polls (a nanosleep, so the host does
145-- not spin), at most maximumPolls times: how a host waits on device state
146-- (a completion semaphore) instead of on the clock.  A timeout is a command
147-- failure -- it never yields a ready value.  The interval must be below one
148-- second so the timespec is a single nanosecond field.
149constructor NativePhysicalFenceWait
150field unrestricted nativePhysicalFenceWaitAddress : (family NativePhysicalOperand)
151field unrestricted nativePhysicalFenceWaitExpected : (family NativePhysicalOperand)
152field unrestricted nativePhysicalFenceWaitMaximumPolls : (family ModelWord64)
153field unrestricted nativePhysicalFenceWaitIntervalNanoseconds : (family ModelWord64)
154
155-- A repeat whose count an operand gives at run time (a state word): a
156-- count of zero skips the body, so it is how a block is made conditional
157-- on what the host has read.
158constructor NativePhysicalRepeatBeginCounted
159field unrestricted nativePhysicalRepeatCountOperand : (family NativePhysicalOperand)
160-- The 64-bit sum (modulo 2^64) of two operands, stored at the address a
161-- third resolves to.
162constructor NativePhysicalAddWord64
163field unrestricted nativePhysicalAddDestination : (family NativePhysicalOperand)
164field unrestricted nativePhysicalAddLeft : (family NativePhysicalOperand)
165field unrestricted nativePhysicalAddRight : (family NativePhysicalOperand)
166-- A binary64 operation on two operands' words, the result's word stored at
167-- the address a third resolves to.
168constructor NativePhysicalFloat64
169field unrestricted nativePhysicalFloat64Operation : (family NativePhysicalFloat64Operation)
170field unrestricted nativePhysicalFloat64Destination : (family NativePhysicalOperand)
171field unrestricted nativePhysicalFloat64Left : (family NativePhysicalOperand)
172field unrestricted nativePhysicalFloat64Right : (family NativePhysicalOperand)