292def nativePhysicalProgramComposeRelocateOperand =
293 (lambda unrestricted operand : (family NativePhysicalOperand) .
294 (lambda unrestricted stateBase : (family ModelWord64) .
295 (lambda unrestricted resultBase : (family ModelWord64) .
296 (lambda unrestricted payloadBase : (family ModelWord64) .
297 (eliminate NativePhysicalOperand
298 (lambda unrestricted current : (family NativePhysicalOperand) .
299 (family NativePhysicalProgramComposeOperandResult))
300 operand
301 (branch NativePhysicalImmediate value .
302 (constructor NativePhysicalProgramComposeOperandResult
303 NativePhysicalProgramComposeOperandRelocated operand zero zero))
304 (branch NativePhysicalResultValue slot .
305 (eliminate NativePhysicalSlot
306 (lambda unrestricted current : (family NativePhysicalSlot) .
307 (family NativePhysicalProgramComposeOperandResult))
308 slot
309 (branch NativePhysicalSlotValue index .
310 (eliminate ModelWord64CheckedResult
311 (lambda unrestricted current : (family ModelWord64CheckedResult) .
312 (family NativePhysicalProgramComposeOperandResult))
313 (app (app modelWord64AddChecked resultBase) index)
314 (branch ModelWord64CheckedSucceeded shifted .
315 (constructor NativePhysicalProgramComposeOperandResult
316 NativePhysicalProgramComposeOperandRelocated
317 (constructor NativePhysicalOperand
318 NativePhysicalResultValue
319 (constructor NativePhysicalSlot
320 NativePhysicalSlotValue shifted))
321 (succ zero) (succ zero)))
322 (branch ModelWord64CheckedFailed error .
323 (constructor NativePhysicalProgramComposeOperandResult
324 NativePhysicalProgramComposeOperandRejected
325 (constructor NativePhysicalProgramComposeErrorCode
326 NativePhysicalProgramComposeArithmeticFailed
327 (constructor NativePhysicalProgramComposeAddressClass
328 NativePhysicalProgramComposeResultSlot)
329 error)
330 zero (succ zero)))))))
331 (branch NativePhysicalResultAddress slot offset .
332 (eliminate NativePhysicalSlot
333 (lambda unrestricted current : (family NativePhysicalSlot) .
334 (family NativePhysicalProgramComposeOperandResult))
335 slot
336 (branch NativePhysicalSlotValue index .
337 (eliminate ModelWord64CheckedResult
338 (lambda unrestricted current : (family ModelWord64CheckedResult) .
339 (family NativePhysicalProgramComposeOperandResult))
340 (app (app modelWord64AddChecked resultBase) index)
341 (branch ModelWord64CheckedSucceeded shifted .
342 (constructor NativePhysicalProgramComposeOperandResult
343 NativePhysicalProgramComposeOperandRelocated
344 (constructor NativePhysicalOperand
345 NativePhysicalResultAddress
346 (constructor NativePhysicalSlot NativePhysicalSlotValue shifted)
347 offset)
348 (succ zero) (succ zero)))
349 (branch ModelWord64CheckedFailed error .
350 (constructor NativePhysicalProgramComposeOperandResult
351 NativePhysicalProgramComposeOperandRejected
352 (constructor NativePhysicalProgramComposeErrorCode
353 NativePhysicalProgramComposeArithmeticFailed
354 (constructor NativePhysicalProgramComposeAddressClass
355 NativePhysicalProgramComposeResultSlot)
356 error)
357 zero (succ zero)))))))
358 (branch NativePhysicalStateAddress offset .
359 (eliminate ModelWord64CheckedResult
360 (lambda unrestricted current : (family ModelWord64CheckedResult) .
361 (family NativePhysicalProgramComposeOperandResult))
362 (app (app modelWord64AddChecked stateBase) offset)
363 (branch ModelWord64CheckedSucceeded shifted .
364 (constructor NativePhysicalProgramComposeOperandResult
365 NativePhysicalProgramComposeOperandRelocated
366 (constructor NativePhysicalOperand NativePhysicalStateAddress shifted)
367 (succ zero) (succ zero)))
368 (branch ModelWord64CheckedFailed error .
369 (constructor NativePhysicalProgramComposeOperandResult
370 NativePhysicalProgramComposeOperandRejected
371 (constructor NativePhysicalProgramComposeErrorCode
372 NativePhysicalProgramComposeArithmeticFailed
373 (constructor NativePhysicalProgramComposeAddressClass
374 NativePhysicalProgramComposeStateAddress)
375 error)
376 zero (succ zero)))))
377 (branch NativePhysicalStateLoad64 offset .
378 (eliminate ModelWord64CheckedResult
379 (lambda unrestricted current : (family ModelWord64CheckedResult) .
380 (family NativePhysicalProgramComposeOperandResult))
381 (app (app modelWord64AddChecked stateBase) offset)
382 (branch ModelWord64CheckedSucceeded shifted .
383 (constructor NativePhysicalProgramComposeOperandResult
384 NativePhysicalProgramComposeOperandRelocated
385 (constructor NativePhysicalOperand NativePhysicalStateLoad64 shifted)
386 (succ zero) (succ zero)))
387 (branch ModelWord64CheckedFailed error .
388 (constructor NativePhysicalProgramComposeOperandResult
389 NativePhysicalProgramComposeOperandRejected
390 (constructor NativePhysicalProgramComposeErrorCode
391 NativePhysicalProgramComposeArithmeticFailed
392 (constructor NativePhysicalProgramComposeAddressClass
393 NativePhysicalProgramComposeStateAddress)
394 error)
395 zero (succ zero)))))
396 (branch NativePhysicalPayloadAddress offset .
397 (eliminate ModelWord64CheckedResult
398 (lambda unrestricted current : (family ModelWord64CheckedResult) .
399 (family NativePhysicalProgramComposeOperandResult))
400 (app (app modelWord64AddChecked payloadBase) offset)
401 (branch ModelWord64CheckedSucceeded shifted .
402 (constructor NativePhysicalProgramComposeOperandResult
403 NativePhysicalProgramComposeOperandRelocated
404 (constructor NativePhysicalOperand NativePhysicalPayloadAddress shifted)
405 (succ zero) (succ zero)))
406 (branch ModelWord64CheckedFailed error .
407 (constructor NativePhysicalProgramComposeOperandResult
408 NativePhysicalProgramComposeOperandRejected
409 (constructor NativePhysicalProgramComposeErrorCode
410 NativePhysicalProgramComposeArithmeticFailed
411 (constructor NativePhysicalProgramComposeAddressClass
412 NativePhysicalProgramComposePayloadAddress)
413 error)
414 zero (succ zero)))))
415 (branch NativePhysicalPayloadLoad64 offset .
416 (eliminate ModelWord64CheckedResult
417 (lambda unrestricted current : (family ModelWord64CheckedResult) .
418 (family NativePhysicalProgramComposeOperandResult))
419 (app (app modelWord64AddChecked payloadBase) offset)
420 (branch ModelWord64CheckedSucceeded shifted .
421 (constructor NativePhysicalProgramComposeOperandResult
422 NativePhysicalProgramComposeOperandRelocated
423 (constructor NativePhysicalOperand NativePhysicalPayloadLoad64 shifted)
424 (succ zero) (succ zero)))
425 (branch ModelWord64CheckedFailed error .
426 (constructor NativePhysicalProgramComposeOperandResult
427 NativePhysicalProgramComposeOperandRejected
428 (constructor NativePhysicalProgramComposeErrorCode
429 NativePhysicalProgramComposeArithmeticFailed
430 (constructor NativePhysicalProgramComposeAddressClass
431 NativePhysicalProgramComposePayloadAddress)
432 error)
433 zero (succ zero)))))
434 (branch NativePhysicalProcessArgument index .
435 (constructor NativePhysicalProgramComposeOperandResult
436 NativePhysicalProgramComposeOperandRelocated operand zero zero))
437 (branch NativePhysicalLoopAffine base stride .
438 (constructor NativePhysicalProgramComposeOperandResult
439 NativePhysicalProgramComposeOperandRelocated operand zero zero)))))))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.