Runtime.NativePhysicalImage

234def nativePhysicalImageOperandDescriptor =
235  (lambda unrestricted operand : (family NativePhysicalOperand) .
236    (eliminate
237      NativePhysicalOperand
238      (lambda unrestricted current : (family NativePhysicalOperand) . Bytes)
239      operand
240      (branch
241        NativePhysicalImmediate
242        value
243        .
244        (bytes-append
245          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 0)))
246          (bytes-append
247            (nativePhysicalImageWord64Bytes value)
248            (nativePhysicalImageWord64Bytes nativePhysicalImageZeroWord64))))
249      (branch
250        NativePhysicalResultValue
251        slot
252        .
253        (bytes-append
254          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 1)))
255          (bytes-append
256            (nativePhysicalImageWord64Bytes (nativePhysicalImageSlotWord slot))
257            (nativePhysicalImageWord64Bytes nativePhysicalImageZeroWord64))))
258      (branch
259        NativePhysicalResultAddress
260        slot
261        offset
262        .
263        (bytes-append
264          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 2)))
265          (bytes-append
266            (nativePhysicalImageWord64Bytes (nativePhysicalImageSlotWord slot))
267            (nativePhysicalImageWord64Bytes offset))))
268      (branch
269        NativePhysicalStateAddress
270        offset
271        .
272        (bytes-append
273          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 3)))
274          (bytes-append
275            (nativePhysicalImageWord64Bytes offset)
276            (nativePhysicalImageWord64Bytes nativePhysicalImageZeroWord64))))
277      (branch
278        NativePhysicalStateLoad64
279        offset
280        .
281        (bytes-append
282          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 4)))
283          (bytes-append
284            (nativePhysicalImageWord64Bytes offset)
285            (nativePhysicalImageWord64Bytes nativePhysicalImageZeroWord64))))
286      (branch
287        NativePhysicalPayloadAddress
288        offset
289        .
290        (bytes-append
291          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 5)))
292          (bytes-append
293            (nativePhysicalImageWord64Bytes offset)
294            (nativePhysicalImageWord64Bytes nativePhysicalImageZeroWord64))))
295      (branch
296        NativePhysicalPayloadLoad64
297        offset
298        .
299        (bytes-append
300          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 6)))
301          (bytes-append
302            (nativePhysicalImageWord64Bytes offset)
303            (nativePhysicalImageWord64Bytes nativePhysicalImageZeroWord64))))
304      (branch
305        NativePhysicalProcessArgument
306        index
307        .
308        (bytes-append
309          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 7)))
310          (bytes-append
311            (nativePhysicalImageWord64Bytes index)
312            (nativePhysicalImageWord64Bytes nativePhysicalImageZeroWord64))))
313      (branch
314        NativePhysicalLoopAffine
315        base
316        stride
317        .
318        (bytes-append
319          (nativePhysicalImageWord64Bytes (nativePhysicalImageWord64 (byte 8)))
320          (bytes-append
321            (nativePhysicalImageWord64Bytes base)
322            (nativePhysicalImageWord64Bytes stride))))))