Runtime.NativePhysicalImage

218def nativePhysicalImageOperandDescriptor =
219  (lambda unrestricted operand : (family NativePhysicalOperand) .
220    (eliminate
221      NativePhysicalOperand
222      (lambda unrestricted current : (family NativePhysicalOperand) . Bytes)
223      operand
224      (branch
225        NativePhysicalImmediate
226        value
227        .
228        (bytes-append
229          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 0)))
230          (bytes-append
231            (nativePhysicalImageWord64Bytes value)
232            (nativePhysicalImageWord64Bytes nativePhysicalImageZeroWord64))))
233      (branch
234        NativePhysicalResultValue
235        slot
236        .
237        (bytes-append
238          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 1)))
239          (bytes-append
240            (nativePhysicalImageWord64Bytes (nativePhysicalImageSlotWord slot))
241            (nativePhysicalImageWord64Bytes nativePhysicalImageZeroWord64))))
242      (branch
243        NativePhysicalResultAddress
244        slot
245        offset
246        .
247        (bytes-append
248          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 2)))
249          (bytes-append
250            (nativePhysicalImageWord64Bytes (nativePhysicalImageSlotWord slot))
251            (nativePhysicalImageWord64Bytes offset))))
252      (branch
253        NativePhysicalStateAddress
254        offset
255        .
256        (bytes-append
257          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 3)))
258          (bytes-append
259            (nativePhysicalImageWord64Bytes offset)
260            (nativePhysicalImageWord64Bytes nativePhysicalImageZeroWord64))))
261      (branch
262        NativePhysicalStateLoad64
263        offset
264        .
265        (bytes-append
266          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 4)))
267          (bytes-append
268            (nativePhysicalImageWord64Bytes offset)
269            (nativePhysicalImageWord64Bytes nativePhysicalImageZeroWord64))))
270      (branch
271        NativePhysicalPayloadAddress
272        offset
273        .
274        (bytes-append
275          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 5)))
276          (bytes-append
277            (nativePhysicalImageWord64Bytes offset)
278            (nativePhysicalImageWord64Bytes nativePhysicalImageZeroWord64))))
279      (branch
280        NativePhysicalPayloadLoad64
281        offset
282        .
283        (bytes-append
284          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 6)))
285          (bytes-append
286            (nativePhysicalImageWord64Bytes offset)
287            (nativePhysicalImageWord64Bytes nativePhysicalImageZeroWord64))))
288      (branch
289        NativePhysicalProcessArgument
290        index
291        .
292        (bytes-append
293          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 7)))
294          (bytes-append
295            (nativePhysicalImageWord64Bytes index)
296            (nativePhysicalImageWord64Bytes nativePhysicalImageZeroWord64))))
297      (branch
298        NativePhysicalLoopAffine
299        base
300        stride
301        .
302        (bytes-append
303          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 8)))
304          (bytes-append
305            (nativePhysicalImageWord64Bytes base)
306            (nativePhysicalImageWord64Bytes stride))))))