674def nativePhysicalImageEncodeOperationForFormat =
675 (lambda unrestricted format : (family NativePhysicalImageFormat) .
676 (lambda unrestricted operation : (family NativePhysicalOperation) .
677 (lambda unrestricted errorIdentity : Bytes .
678 (eliminate
679 NativePhysicalOperation
680 (lambda unrestricted current : (family NativePhysicalOperation) .
681 (family NativePhysicalEncodedCommandResult))
682 operation
683 (branch
684 NativePhysicalSystemCall
685 number
686 arguments
687 payload
688 result
689 .
690 (nativePhysicalImageCommandRecordForFormat
691 format
692 (byte 1)
693 result
694 (nativePhysicalImageSystemCallOperandBytes number arguments)
695 (nativePhysicalImageAlignedSystemCallPayload payload)
696 b""
697 errorIdentity))
698 (branch
699 NativePhysicalCopyPayloadToState
700 destination
701 extent
702 payload
703 .
704 (nativePhysicalImageCommandRecordForFormat
705 format
706 (byte 2)
707 nativePhysicalImageDiscardResult
708 (nativePhysicalImageSevenOperandBytes
709 (constructor NativePhysicalOperand NativePhysicalImmediate destination)
710 (constructor NativePhysicalOperand NativePhysicalImmediate extent)
711 nativePhysicalImageZeroOperand
712 nativePhysicalImageZeroOperand
713 nativePhysicalImageZeroOperand
714 nativePhysicalImageZeroOperand
715 nativePhysicalImageZeroOperand)
716 payload
717 b""
718 errorIdentity))
719 (branch
720 NativePhysicalMachineRoutine
721 code
722 arguments
723 result
724 .
725 (nativePhysicalImageCommandRecordForFormat
726 format
727 (byte 3)
728 result
729 (nativePhysicalImageRoutineOperandBytes arguments)
730 code
731 b""
732 errorIdentity))
733 (branch
734 NativePhysicalFencePoll
735 address
736 expected
737 maximumPolls
738 .
739 (nativePhysicalImageCommandRecordForFormat
740 format
741 (byte 4)
742 nativePhysicalImageDiscardResult
743 (nativePhysicalImageSevenOperandBytes
744 address
745 expected
746 (constructor NativePhysicalOperand NativePhysicalImmediate maximumPolls)
747 nativePhysicalImageZeroOperand
748 nativePhysicalImageZeroOperand
749 nativePhysicalImageZeroOperand
750 nativePhysicalImageZeroOperand)
751 b""
752 b""
753 errorIdentity))
754 (branch
755 NativePhysicalTelemetryAppend
756 path
757 record
758 .
759 (nativePhysicalImageCommandRecordForFormat
760 format
761 (byte 5)
762 nativePhysicalImageDiscardResult
763 (nativePhysicalImageSevenOperandBytes
764 nativePhysicalImageZeroOperand
765 nativePhysicalImageZeroOperand
766 nativePhysicalImageZeroOperand
767 nativePhysicalImageZeroOperand
768 nativePhysicalImageZeroOperand
769 nativePhysicalImageZeroOperand
770 nativePhysicalImageZeroOperand)
771 path
772 record
773 errorIdentity))
774 (branch
775 NativePhysicalAssertEqual
776 left
777 right
778 error
779 .
780 (nativePhysicalImageCommandRecordForFormat
781 format
782 (byte 6)
783 nativePhysicalImageDiscardResult
784 (nativePhysicalImageSevenOperandBytes
785 left
786 right
787 nativePhysicalImageZeroOperand
788 nativePhysicalImageZeroOperand
789 nativePhysicalImageZeroOperand
790 nativePhysicalImageZeroOperand
791 nativePhysicalImageZeroOperand)
792 b""
793 (nativePhysicalErrorCodeBytes error)
794 errorIdentity))
795 (branch
796 NativePhysicalAssertOneOf
797 observed
798 first
799 second
800 error
801 .
802 (nativePhysicalImageCommandRecordForFormat
803 format
804 (byte 8)
805 nativePhysicalImageDiscardResult
806 (nativePhysicalImageSevenOperandBytes
807 observed
808 first
809 second
810 nativePhysicalImageZeroOperand
811 nativePhysicalImageZeroOperand
812 nativePhysicalImageZeroOperand
813 nativePhysicalImageZeroOperand)
814 b""
815 (nativePhysicalErrorCodeBytes error)
816 errorIdentity))
817 (branch
818 NativePhysicalHaltSuccess
819 .
820 (nativePhysicalImageCommandRecordForFormat
821 format
822 (byte 7)
823 nativePhysicalImageDiscardResult
824 (nativePhysicalImageSevenOperandBytes
825 nativePhysicalImageZeroOperand
826 nativePhysicalImageZeroOperand
827 nativePhysicalImageZeroOperand
828 nativePhysicalImageZeroOperand
829 nativePhysicalImageZeroOperand
830 nativePhysicalImageZeroOperand
831 nativePhysicalImageZeroOperand)
832 b""
833 b""
834 errorIdentity))
835 (branch
836 NativePhysicalRepeatBegin
837 count
838 .
839 (nativePhysicalImageCommandRecordForFormat
840 format
841 (byte 9)
842 nativePhysicalImageDiscardResult
843 (nativePhysicalImageSevenOperandBytes
844 (constructor NativePhysicalOperand NativePhysicalImmediate count)
845 nativePhysicalImageZeroOperand
846 nativePhysicalImageZeroOperand
847 nativePhysicalImageZeroOperand
848 nativePhysicalImageZeroOperand
849 nativePhysicalImageZeroOperand
850 nativePhysicalImageZeroOperand)
851 b""
852 b""
853 errorIdentity))
854 (branch
855 NativePhysicalSkipUnlessEqual
856 left
857 right
858 count
859 .
860 (nativePhysicalImageCommandRecordForFormat
861 format
862 (byte 23)
863 nativePhysicalImageDiscardResult
864 (nativePhysicalImageSevenOperandBytes
865 left
866 right
867 (constructor NativePhysicalOperand NativePhysicalImmediate count)
868 nativePhysicalImageZeroOperand
869 nativePhysicalImageZeroOperand
870 nativePhysicalImageZeroOperand
871 nativePhysicalImageZeroOperand)
872 b""
873 b""
874 errorIdentity))
875 (branch
876 NativePhysicalRepeatEnd
877 .
878 (nativePhysicalImageCommandRecordForFormat
879 format
880 (byte 10)
881 nativePhysicalImageDiscardResult
882 (nativePhysicalImageSevenOperandBytes
883 nativePhysicalImageZeroOperand
884 nativePhysicalImageZeroOperand
885 nativePhysicalImageZeroOperand
886 nativePhysicalImageZeroOperand
887 nativePhysicalImageZeroOperand
888 nativePhysicalImageZeroOperand
889 nativePhysicalImageZeroOperand)
890 b""
891 b""
892 errorIdentity))
893 (branch
894 NativePhysicalRepeatEndWhen
895 observed
896 expected
897 .
898 (nativePhysicalImageCommandRecordForFormat
899 format
900 (byte 22)
901 nativePhysicalImageDiscardResult
902 (nativePhysicalImageSevenOperandBytes
903 observed
904 expected
905 nativePhysicalImageZeroOperand
906 nativePhysicalImageZeroOperand
907 nativePhysicalImageZeroOperand
908 nativePhysicalImageZeroOperand
909 nativePhysicalImageZeroOperand)
910 b""
911 b""
912 errorIdentity))
913 (branch
914 NativePhysicalStoreWord64
915 destination
916 value
917 .
918 (nativePhysicalImageCommandRecordForFormat
919 format
920 (byte 11)
921 nativePhysicalImageDiscardResult
922 (nativePhysicalImageSevenOperandBytes
923 destination
924 value
925 nativePhysicalImageZeroOperand
926 nativePhysicalImageZeroOperand
927 nativePhysicalImageZeroOperand
928 nativePhysicalImageZeroOperand
929 nativePhysicalImageZeroOperand)
930 b""
931 b""
932 errorIdentity))
933 (branch
934 NativePhysicalFenceWait
935 address
936 expected
937 maximumPolls
938 interval
939 .
940 (nativePhysicalImageCommandRecordForFormat
941 format
942 (byte 12)
943 nativePhysicalImageDiscardResult
944 (nativePhysicalImageSevenOperandBytes
945 address
946 expected
947 (constructor NativePhysicalOperand NativePhysicalImmediate maximumPolls)
948 (constructor NativePhysicalOperand NativePhysicalImmediate interval)
949 nativePhysicalImageZeroOperand
950 nativePhysicalImageZeroOperand
951 nativePhysicalImageZeroOperand)
952 b""
953 b""
954 errorIdentity))
955 (branch
956 NativePhysicalRepeatBeginCounted
957 count
958 .
959 (nativePhysicalImageCommandRecordForFormat
960 format
961 (byte 9)
962 nativePhysicalImageDiscardResult
963 (nativePhysicalImageSevenOperandBytes
964 count
965 nativePhysicalImageZeroOperand
966 nativePhysicalImageZeroOperand
967 nativePhysicalImageZeroOperand
968 nativePhysicalImageZeroOperand
969 nativePhysicalImageZeroOperand
970 nativePhysicalImageZeroOperand)
971 b""
972 b""
973 errorIdentity))
974 (branch
975 NativePhysicalAddWord64
976 destination
977 left
978 right
979 .
980 (nativePhysicalImageCommandRecordForFormat
981 format
982 (byte 13)
983 nativePhysicalImageDiscardResult
984 (nativePhysicalImageSevenOperandBytes
985 destination
986 left
987 right
988 nativePhysicalImageZeroOperand
989 nativePhysicalImageZeroOperand
990 nativePhysicalImageZeroOperand
991 nativePhysicalImageZeroOperand)
992 b""
993 b""
994 errorIdentity))
995 (branch
996 NativePhysicalFloat64
997 kind
998 destination
999 left
1000 right
1001 .
1002 (nativePhysicalImageCommandRecordForFormat
1003 format
1004 (nativePhysicalImageFloat64Tag kind)
1005 nativePhysicalImageDiscardResult
1006 (nativePhysicalImageSevenOperandBytes
1007 destination
1008 left
1009 right
1010 nativePhysicalImageZeroOperand
1011 nativePhysicalImageZeroOperand
1012 nativePhysicalImageZeroOperand
1013 nativePhysicalImageZeroOperand)
1014 b""
1015 b""
1016 errorIdentity))))))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.