441def nativePhysicalProgramComposeRelocateArguments =
442 (lambda unrestricted arguments : (family NativePhysicalArguments) .
443 (lambda unrestricted stateBase : (family ModelWord64) .
444 (lambda unrestricted resultBase : (family ModelWord64) .
445 (lambda unrestricted payloadBase : (family ModelWord64) .
446 (eliminate NativePhysicalArguments
447 (lambda unrestricted current : (family NativePhysicalArguments) .
448 (family NativePhysicalProgramComposeArgumentsResult))
449 arguments
450 (branch NativePhysicalArgumentsValue a0 a1 a2 a3 a4 a5 .
451 (eliminate NativePhysicalProgramComposeOperandResult
452 (lambda unrestricted current :
453 (family NativePhysicalProgramComposeOperandResult) .
454 (family NativePhysicalProgramComposeArgumentsResult))
455 (app
456 (app
457 (app
458 (app nativePhysicalProgramComposeRelocateOperand a0)
459 stateBase)
460 resultBase)
461 payloadBase)
462 (branch NativePhysicalProgramComposeOperandRelocated
463 r0 n0 c0 .
464 (eliminate NativePhysicalProgramComposeOperandResult
465 (lambda unrestricted current :
466 (family NativePhysicalProgramComposeOperandResult) .
467 (family NativePhysicalProgramComposeArgumentsResult))
468 (app (app (app (app nativePhysicalProgramComposeRelocateOperand a1)
469 stateBase) resultBase) payloadBase)
470 (branch NativePhysicalProgramComposeOperandRelocated r1 n1 c1 .
471 (eliminate NativePhysicalProgramComposeOperandResult
472 (lambda unrestricted current :
473 (family NativePhysicalProgramComposeOperandResult) .
474 (family NativePhysicalProgramComposeArgumentsResult))
475 (app (app (app (app nativePhysicalProgramComposeRelocateOperand a2)
476 stateBase) resultBase) payloadBase)
477 (branch NativePhysicalProgramComposeOperandRelocated r2 n2 c2 .
478 (eliminate NativePhysicalProgramComposeOperandResult
479 (lambda unrestricted current :
480 (family NativePhysicalProgramComposeOperandResult) .
481 (family NativePhysicalProgramComposeArgumentsResult))
482 (app (app (app (app nativePhysicalProgramComposeRelocateOperand a3)
483 stateBase) resultBase) payloadBase)
484 (branch NativePhysicalProgramComposeOperandRelocated r3 n3 c3 .
485 (eliminate NativePhysicalProgramComposeOperandResult
486 (lambda unrestricted current :
487 (family NativePhysicalProgramComposeOperandResult) .
488 (family NativePhysicalProgramComposeArgumentsResult))
489 (app (app (app (app nativePhysicalProgramComposeRelocateOperand a4)
490 stateBase) resultBase) payloadBase)
491 (branch NativePhysicalProgramComposeOperandRelocated r4 n4 c4 .
492 (eliminate NativePhysicalProgramComposeOperandResult
493 (lambda unrestricted current :
494 (family NativePhysicalProgramComposeOperandResult) .
495 (family NativePhysicalProgramComposeArgumentsResult))
496 (app (app (app (app nativePhysicalProgramComposeRelocateOperand a5)
497 stateBase) resultBase) payloadBase)
498 (branch NativePhysicalProgramComposeOperandRelocated r5 n5 c5 .
499 (constructor NativePhysicalProgramComposeArgumentsResult
500 NativePhysicalProgramComposeArgumentsRelocated
501 (constructor NativePhysicalArguments
502 NativePhysicalArgumentsValue r0 r1 r2 r3 r4 r5)
503 (app (app naturalAdd
504 (app (app naturalAdd
505 (app (app naturalAdd
506 (app (app naturalAdd (app (app naturalAdd n0) n1)) n2)) n3)) n4)) n5)
507 (app (app naturalAdd
508 (app (app naturalAdd
509 (app (app naturalAdd
510 (app (app naturalAdd (app (app naturalAdd c0) c1)) c2)) c3)) c4)) c5)))
511 (branch NativePhysicalProgramComposeOperandRejected error n5 c5 .
512 (constructor NativePhysicalProgramComposeArgumentsResult
513 NativePhysicalProgramComposeArgumentsRejected error
514 (app (app naturalAdd
515 (app (app naturalAdd
516 (app (app naturalAdd
517 (app (app naturalAdd (app (app naturalAdd n0) n1)) n2)) n3)) n4)) n5)
518 (app (app naturalAdd
519 (app (app naturalAdd
520 (app (app naturalAdd
521 (app (app naturalAdd (app (app naturalAdd c0) c1)) c2)) c3)) c4)) c5)))))
522 (branch NativePhysicalProgramComposeOperandRejected error n4 c4 .
523 (constructor NativePhysicalProgramComposeArgumentsResult
524 NativePhysicalProgramComposeArgumentsRejected error
525 (app (app naturalAdd
526 (app (app naturalAdd
527 (app (app naturalAdd (app (app naturalAdd n0) n1)) n2)) n3)) n4)
528 (app (app naturalAdd
529 (app (app naturalAdd
530 (app (app naturalAdd (app (app naturalAdd c0) c1)) c2)) c3)) c4)))))
531 (branch NativePhysicalProgramComposeOperandRejected error n3 c3 .
532 (constructor NativePhysicalProgramComposeArgumentsResult
533 NativePhysicalProgramComposeArgumentsRejected error
534 (app (app naturalAdd
535 (app (app naturalAdd (app (app naturalAdd n0) n1)) n2)) n3)
536 (app (app naturalAdd
537 (app (app naturalAdd (app (app naturalAdd c0) c1)) c2)) c3)))))
538 (branch NativePhysicalProgramComposeOperandRejected error n2 c2 .
539 (constructor NativePhysicalProgramComposeArgumentsResult
540 NativePhysicalProgramComposeArgumentsRejected error
541 (app (app naturalAdd (app (app naturalAdd n0) n1)) n2)
542 (app (app naturalAdd (app (app naturalAdd c0) c1)) c2)))))
543 (branch NativePhysicalProgramComposeOperandRejected error n1 c1 .
544 (constructor NativePhysicalProgramComposeArgumentsResult
545 NativePhysicalProgramComposeArgumentsRejected error
546 (app (app naturalAdd n0) n1)
547 (app (app naturalAdd c0) c1)))))
548 (branch NativePhysicalProgramComposeOperandRejected
549 error relocations checks .
550 (constructor NativePhysicalProgramComposeArgumentsResult
551 NativePhysicalProgramComposeArgumentsRejected
552 error relocations checks)))))))))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.