590def nativePhysicalProgramComposeRelocateOperation =
591 (lambda unrestricted operation : (family NativePhysicalOperation) .
592 (lambda unrestricted stateBase : (family ModelWord64) .
593 (lambda unrestricted resultBase : (family ModelWord64) .
594 (lambda unrestricted payloadBase : (family ModelWord64) .
595 (eliminate NativePhysicalOperation
596 (lambda unrestricted current : (family NativePhysicalOperation) .
597 (family NativePhysicalProgramComposeOperationResult))
598 operation
599 (branch NativePhysicalSystemCall number arguments payload binding .
600 (eliminate NativePhysicalProgramComposeOperandResult
601 (lambda unrestricted current :
602 (family NativePhysicalProgramComposeOperandResult) .
603 (family NativePhysicalProgramComposeOperationResult))
604 (app (app (app (app nativePhysicalProgramComposeRelocateOperand number)
605 stateBase) resultBase) payloadBase)
606 (branch NativePhysicalProgramComposeOperandRelocated relocatedNumber n0 c0 .
607 (eliminate NativePhysicalProgramComposeArgumentsResult
608 (lambda unrestricted current :
609 (family NativePhysicalProgramComposeArgumentsResult) .
610 (family NativePhysicalProgramComposeOperationResult))
611 (app (app (app (app nativePhysicalProgramComposeRelocateArguments arguments)
612 stateBase) resultBase) payloadBase)
613 (branch NativePhysicalProgramComposeArgumentsRelocated
614 relocatedArguments n1 c1 .
615 (eliminate NativePhysicalProgramComposeBindingResult
616 (lambda unrestricted current :
617 (family NativePhysicalProgramComposeBindingResult) .
618 (family NativePhysicalProgramComposeOperationResult))
619 (app
620 (app nativePhysicalProgramComposeRelocateBinding binding)
621 resultBase)
622 (branch NativePhysicalProgramComposeBindingRelocated
623 relocatedBinding n2 c2 .
624 (constructor NativePhysicalProgramComposeOperationResult
625 NativePhysicalProgramComposeOperationRelocated
626 (constructor NativePhysicalOperation
627 NativePhysicalSystemCall relocatedNumber
628 relocatedArguments payload relocatedBinding)
629 (app (app naturalAdd (app (app naturalAdd n0) n1)) n2)
630 (app (app naturalAdd (app (app naturalAdd c0) c1)) c2)))
631 (branch NativePhysicalProgramComposeBindingRejected error .
632 (constructor NativePhysicalProgramComposeOperationResult
633 NativePhysicalProgramComposeOperationRejected error
634 (app (app naturalAdd n0) n1)
635 (app (app naturalAdd c0) c1)))))
636 (branch NativePhysicalProgramComposeArgumentsRejected error n1 c1 .
637 (constructor NativePhysicalProgramComposeOperationResult
638 NativePhysicalProgramComposeOperationRejected error
639 (app (app naturalAdd n0) n1)
640 (app (app naturalAdd c0) c1)))))
641 (branch NativePhysicalProgramComposeOperandRejected error n c .
642 (constructor NativePhysicalProgramComposeOperationResult
643 NativePhysicalProgramComposeOperationRejected error n c))
644 ))
645 (branch NativePhysicalCopyPayloadToState destination extent payload .
646 (eliminate ModelWord64CheckedResult
647 (lambda unrestricted current : (family ModelWord64CheckedResult) .
648 (family NativePhysicalProgramComposeOperationResult))
649 (app (app modelWord64AddChecked stateBase) destination)
650 (branch ModelWord64CheckedSucceeded shifted .
651 (constructor NativePhysicalProgramComposeOperationResult
652 NativePhysicalProgramComposeOperationRelocated
653 (constructor NativePhysicalOperation
654 NativePhysicalCopyPayloadToState shifted extent payload)
655 (succ zero) (succ zero)))
656 (branch ModelWord64CheckedFailed error .
657 (constructor NativePhysicalProgramComposeOperationResult
658 NativePhysicalProgramComposeOperationRejected
659 (constructor NativePhysicalProgramComposeErrorCode
660 NativePhysicalProgramComposeArithmeticFailed
661 (constructor NativePhysicalProgramComposeAddressClass
662 NativePhysicalProgramComposeStateAddress)
663 error)
664 zero (succ zero)))))
665 (branch NativePhysicalMachineRoutine machineCode arguments binding .
666 (eliminate NativePhysicalProgramComposeArgumentsResult
667 (lambda unrestricted current :
668 (family NativePhysicalProgramComposeArgumentsResult) .
669 (family NativePhysicalProgramComposeOperationResult))
670 (app (app (app (app nativePhysicalProgramComposeRelocateArguments arguments)
671 stateBase) resultBase) payloadBase)
672 (branch NativePhysicalProgramComposeArgumentsRelocated relocatedArguments n1 c1 .
673 (eliminate NativePhysicalProgramComposeBindingResult
674 (lambda unrestricted current :
675 (family NativePhysicalProgramComposeBindingResult) .
676 (family NativePhysicalProgramComposeOperationResult))
677 (app (app nativePhysicalProgramComposeRelocateBinding binding) resultBase)
678 (branch NativePhysicalProgramComposeBindingRelocated relocatedBinding n2 c2 .
679 (constructor NativePhysicalProgramComposeOperationResult
680 NativePhysicalProgramComposeOperationRelocated
681 (constructor NativePhysicalOperation NativePhysicalMachineRoutine
682 machineCode relocatedArguments relocatedBinding)
683 (app (app naturalAdd n1) n2)
684 (app (app naturalAdd c1) c2)))
685 (branch NativePhysicalProgramComposeBindingRejected error .
686 (constructor NativePhysicalProgramComposeOperationResult
687 NativePhysicalProgramComposeOperationRejected error n1 c1))))
688 (branch NativePhysicalProgramComposeArgumentsRejected error n c .
689 (constructor NativePhysicalProgramComposeOperationResult
690 NativePhysicalProgramComposeOperationRejected error n c))
691 ))
692 (branch NativePhysicalFencePoll address expected maximumPolls .
693 (eliminate NativePhysicalProgramComposeOperandResult
694 (lambda unrestricted current :
695 (family NativePhysicalProgramComposeOperandResult) .
696 (family NativePhysicalProgramComposeOperationResult))
697 (app (app (app (app nativePhysicalProgramComposeRelocateOperand address)
698 stateBase) resultBase) payloadBase)
699 (branch NativePhysicalProgramComposeOperandRelocated relocatedAddress n0 c0 .
700 (eliminate NativePhysicalProgramComposeOperandResult
701 (lambda unrestricted current :
702 (family NativePhysicalProgramComposeOperandResult) .
703 (family NativePhysicalProgramComposeOperationResult))
704 (app (app (app (app nativePhysicalProgramComposeRelocateOperand expected)
705 stateBase) resultBase) payloadBase)
706 (branch NativePhysicalProgramComposeOperandRelocated relocatedExpected n1 c1 .
707 (constructor NativePhysicalProgramComposeOperationResult
708 NativePhysicalProgramComposeOperationRelocated
709 (constructor NativePhysicalOperation NativePhysicalFencePoll
710 relocatedAddress relocatedExpected maximumPolls)
711 (app (app naturalAdd n0) n1)
712 (app (app naturalAdd c0) c1)))
713 (branch NativePhysicalProgramComposeOperandRejected error n1 c1 .
714 (constructor NativePhysicalProgramComposeOperationResult
715 NativePhysicalProgramComposeOperationRejected error
716 (app (app naturalAdd n0) n1)
717 (app (app naturalAdd c0) c1)))))
718 (branch NativePhysicalProgramComposeOperandRejected error n c .
719 (constructor NativePhysicalProgramComposeOperationResult
720 NativePhysicalProgramComposeOperationRejected error n c))
721 ))
722 (branch NativePhysicalTelemetryAppend path record .
723 (constructor NativePhysicalProgramComposeOperationResult
724 NativePhysicalProgramComposeOperationRelocated operation zero zero))
725 (branch NativePhysicalAssertEqual left right errorCode .
726 (eliminate NativePhysicalProgramComposeOperandResult
727 (lambda unrestricted current :
728 (family NativePhysicalProgramComposeOperandResult) .
729 (family NativePhysicalProgramComposeOperationResult))
730 (app (app (app (app nativePhysicalProgramComposeRelocateOperand left)
731 stateBase) resultBase) payloadBase)
732 (branch NativePhysicalProgramComposeOperandRelocated relocatedLeft n0 c0 .
733 (eliminate NativePhysicalProgramComposeOperandResult
734 (lambda unrestricted current :
735 (family NativePhysicalProgramComposeOperandResult) .
736 (family NativePhysicalProgramComposeOperationResult))
737 (app (app (app (app nativePhysicalProgramComposeRelocateOperand right)
738 stateBase) resultBase) payloadBase)
739 (branch NativePhysicalProgramComposeOperandRelocated relocatedRight n1 c1 .
740 (constructor NativePhysicalProgramComposeOperationResult
741 NativePhysicalProgramComposeOperationRelocated
742 (constructor NativePhysicalOperation NativePhysicalAssertEqual
743 relocatedLeft relocatedRight errorCode)
744 (app (app naturalAdd n0) n1)
745 (app (app naturalAdd c0) c1)))
746 (branch NativePhysicalProgramComposeOperandRejected error n1 c1 .
747 (constructor NativePhysicalProgramComposeOperationResult
748 NativePhysicalProgramComposeOperationRejected error
749 (app (app naturalAdd n0) n1)
750 (app (app naturalAdd c0) c1)))))
751 (branch NativePhysicalProgramComposeOperandRejected error n c .
752 (constructor NativePhysicalProgramComposeOperationResult
753 NativePhysicalProgramComposeOperationRejected error n c))
754 ))
755 (branch NativePhysicalAssertOneOf observed first second errorCode .
756 (eliminate NativePhysicalProgramComposeOperandResult
757 (lambda unrestricted current :
758 (family NativePhysicalProgramComposeOperandResult) .
759 (family NativePhysicalProgramComposeOperationResult))
760 (app (app (app (app nativePhysicalProgramComposeRelocateOperand observed)
761 stateBase) resultBase) payloadBase)
762 (branch NativePhysicalProgramComposeOperandRelocated relocatedObserved n0 c0 .
763 (eliminate NativePhysicalProgramComposeOperandResult
764 (lambda unrestricted current :
765 (family NativePhysicalProgramComposeOperandResult) .
766 (family NativePhysicalProgramComposeOperationResult))
767 (app (app (app (app nativePhysicalProgramComposeRelocateOperand first)
768 stateBase) resultBase) payloadBase)
769 (branch NativePhysicalProgramComposeOperandRelocated relocatedFirst n1 c1 .
770 (eliminate NativePhysicalProgramComposeOperandResult
771 (lambda unrestricted current :
772 (family NativePhysicalProgramComposeOperandResult) .
773 (family NativePhysicalProgramComposeOperationResult))
774 (app (app (app (app nativePhysicalProgramComposeRelocateOperand second)
775 stateBase) resultBase) payloadBase)
776 (branch NativePhysicalProgramComposeOperandRelocated relocatedSecond n2 c2 .
777 (constructor NativePhysicalProgramComposeOperationResult
778 NativePhysicalProgramComposeOperationRelocated
779 (constructor NativePhysicalOperation NativePhysicalAssertOneOf
780 relocatedObserved relocatedFirst relocatedSecond errorCode)
781 (app (app naturalAdd n0) (app (app naturalAdd n1) n2))
782 (app (app naturalAdd c0) (app (app naturalAdd c1) c2))))
783 (branch NativePhysicalProgramComposeOperandRejected error n2 c2 .
784 (constructor NativePhysicalProgramComposeOperationResult
785 NativePhysicalProgramComposeOperationRejected error
786 (app (app naturalAdd n0) (app (app naturalAdd n1) n2))
787 (app (app naturalAdd c0) (app (app naturalAdd c1) c2))))))
788 (branch NativePhysicalProgramComposeOperandRejected error n1 c1 .
789 (constructor NativePhysicalProgramComposeOperationResult
790 NativePhysicalProgramComposeOperationRejected error
791 (app (app naturalAdd n0) n1)
792 (app (app naturalAdd c0) c1)))))
793 (branch NativePhysicalProgramComposeOperandRejected error n c .
794 (constructor NativePhysicalProgramComposeOperationResult
795 NativePhysicalProgramComposeOperationRejected error n c))
796 ))
797 (branch NativePhysicalHaltSuccess .
798 (constructor NativePhysicalProgramComposeOperationResult
799 NativePhysicalProgramComposeOperationRelocated operation zero zero))
800 (branch NativePhysicalRepeatBegin count .
801 (constructor NativePhysicalProgramComposeOperationResult
802 NativePhysicalProgramComposeOperationRelocated operation zero zero))
803 (branch
804 NativePhysicalSkipUnlessEqual
805 left
806 right
807 count
808 .
809 (eliminate
810 NativePhysicalProgramComposeOperandResult
811 (lambda unrestricted current : (family NativePhysicalProgramComposeOperandResult) .
812 (family NativePhysicalProgramComposeOperationResult))
813 (nativePhysicalProgramComposeRelocateOperand left stateBase resultBase payloadBase)
814 (branch
815 NativePhysicalProgramComposeOperandRelocated
816 relocatedLeft
817 n0
818 c0
819 .
820 (eliminate
821 NativePhysicalProgramComposeOperandResult
822 (lambda unrestricted current : (family NativePhysicalProgramComposeOperandResult) .
823 (family NativePhysicalProgramComposeOperationResult))
824 (nativePhysicalProgramComposeRelocateOperand
825 right
826 stateBase
827 resultBase
828 payloadBase)
829 (branch
830 NativePhysicalProgramComposeOperandRelocated
831 relocatedRight
832 n1
833 c1
834 .
835 (constructor
836 NativePhysicalProgramComposeOperationResult
837 NativePhysicalProgramComposeOperationRelocated
838 (constructor
839 NativePhysicalOperation
840 NativePhysicalSkipUnlessEqual
841 relocatedLeft
842 relocatedRight
843 count)
844 (naturalAdd n0 n1)
845 (naturalAdd c0 c1)))
846 (branch
847 NativePhysicalProgramComposeOperandRejected
848 error
849 n1
850 c1
851 .
852 (constructor
853 NativePhysicalProgramComposeOperationResult
854 NativePhysicalProgramComposeOperationRejected
855 error
856 (naturalAdd n0 n1)
857 (naturalAdd c0 c1)))))
858 (branch
859 NativePhysicalProgramComposeOperandRejected
860 error
861 n
862 c
863 .
864 (constructor
865 NativePhysicalProgramComposeOperationResult
866 NativePhysicalProgramComposeOperationRejected
867 error
868 n
869 c))))
870(branch NativePhysicalRepeatEnd .
871 (constructor NativePhysicalProgramComposeOperationResult
872 NativePhysicalProgramComposeOperationRelocated operation zero zero))
873 (branch NativePhysicalRepeatEndWhen observed expected .
874 (constructor NativePhysicalProgramComposeOperationResult
875 NativePhysicalProgramComposeOperationRelocated operation zero zero))
876 (branch NativePhysicalStoreWord64 destination value .
877 (constructor NativePhysicalProgramComposeOperationResult
878 NativePhysicalProgramComposeOperationRelocated operation zero zero))
879 (branch NativePhysicalFenceWait address expected polls interval .
880 (constructor NativePhysicalProgramComposeOperationResult
881 NativePhysicalProgramComposeOperationRelocated operation zero zero))
882 (branch NativePhysicalRepeatBeginCounted count .
883 (constructor NativePhysicalProgramComposeOperationResult
884 NativePhysicalProgramComposeOperationRelocated operation zero zero))
885 (branch NativePhysicalAddWord64 destination left right .
886 (constructor NativePhysicalProgramComposeOperationResult
887 NativePhysicalProgramComposeOperationRelocated operation zero zero))
888 (branch NativePhysicalFloat64 kind destination left right .
889 (constructor NativePhysicalProgramComposeOperationResult
890 NativePhysicalProgramComposeOperationRelocated operation 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.