605def nativePhysicalImageEncodeOperationForFormat =
606 (lambda unrestricted format : (family NativePhysicalImageFormat) .
607 (lambda unrestricted operation : (family NativePhysicalOperation) .
608 (lambda unrestricted errorIdentity : Bytes .
609 (eliminate
610 NativePhysicalOperation
611 (lambda unrestricted current : (family NativePhysicalOperation) .
612 (family NativePhysicalEncodedCommandResult))
613 operation
614 (branch
615 NativePhysicalSystemCall
616 number
617 arguments
618 payload
619 result
620 .
621 (nativePhysicalImageCommandRecordForFormat format
622 (byte 1)
623 result
624 (nativePhysicalImageSystemCallOperandBytes number arguments)
625 (nativePhysicalImageAlignedSystemCallPayload payload)
626 b""
627 errorIdentity))
628 (branch
629 NativePhysicalCopyPayloadToState
630 destination
631 extent
632 payload
633 .
634 (nativePhysicalImageCommandRecordForFormat format
635 (byte 2)
636 nativePhysicalImageDiscardResult
637 (nativePhysicalImageSevenOperandBytes
638 (constructor NativePhysicalOperand NativePhysicalImmediate destination)
639 (constructor NativePhysicalOperand NativePhysicalImmediate extent)
640 nativePhysicalImageZeroOperand
641 nativePhysicalImageZeroOperand
642 nativePhysicalImageZeroOperand
643 nativePhysicalImageZeroOperand
644 nativePhysicalImageZeroOperand)
645 payload
646 b""
647 errorIdentity))
648 (branch
649 NativePhysicalMachineRoutine
650 code
651 arguments
652 result
653 .
654 (nativePhysicalImageCommandRecordForFormat format
655 (byte 3)
656 result
657 (nativePhysicalImageRoutineOperandBytes arguments)
658 code
659 b""
660 errorIdentity))
661 (branch
662 NativePhysicalFencePoll
663 address
664 expected
665 maximumPolls
666 .
667 (nativePhysicalImageCommandRecordForFormat format
668 (byte 4)
669 nativePhysicalImageDiscardResult
670 (nativePhysicalImageSevenOperandBytes
671 address
672 expected
673 (constructor NativePhysicalOperand NativePhysicalImmediate maximumPolls)
674 nativePhysicalImageZeroOperand
675 nativePhysicalImageZeroOperand
676 nativePhysicalImageZeroOperand
677 nativePhysicalImageZeroOperand)
678 b""
679 b""
680 errorIdentity))
681 (branch
682 NativePhysicalTelemetryAppend
683 path
684 record
685 .
686 (nativePhysicalImageCommandRecordForFormat format
687 (byte 5)
688 nativePhysicalImageDiscardResult
689 (nativePhysicalImageSevenOperandBytes
690 nativePhysicalImageZeroOperand
691 nativePhysicalImageZeroOperand
692 nativePhysicalImageZeroOperand
693 nativePhysicalImageZeroOperand
694 nativePhysicalImageZeroOperand
695 nativePhysicalImageZeroOperand
696 nativePhysicalImageZeroOperand)
697 path
698 record
699 errorIdentity))
700 (branch
701 NativePhysicalAssertEqual
702 left
703 right
704 error
705 .
706 (nativePhysicalImageCommandRecordForFormat format
707 (byte 6)
708 nativePhysicalImageDiscardResult
709 (nativePhysicalImageSevenOperandBytes
710 left
711 right
712 nativePhysicalImageZeroOperand
713 nativePhysicalImageZeroOperand
714 nativePhysicalImageZeroOperand
715 nativePhysicalImageZeroOperand
716 nativePhysicalImageZeroOperand)
717 b""
718 (nativePhysicalErrorCodeBytes error)
719 errorIdentity))
720 (branch
721 NativePhysicalAssertOneOf
722 observed
723 first
724 second
725 error
726 .
727 (nativePhysicalImageCommandRecordForFormat format
728 (byte 8)
729 nativePhysicalImageDiscardResult
730 (nativePhysicalImageSevenOperandBytes
731 observed
732 first
733 second
734 nativePhysicalImageZeroOperand
735 nativePhysicalImageZeroOperand
736 nativePhysicalImageZeroOperand
737 nativePhysicalImageZeroOperand)
738 b""
739 (nativePhysicalErrorCodeBytes error)
740 errorIdentity))
741 (branch
742 NativePhysicalHaltSuccess
743 .
744 (nativePhysicalImageCommandRecordForFormat format
745 (byte 7)
746 nativePhysicalImageDiscardResult
747 (nativePhysicalImageSevenOperandBytes
748 nativePhysicalImageZeroOperand
749 nativePhysicalImageZeroOperand
750 nativePhysicalImageZeroOperand
751 nativePhysicalImageZeroOperand
752 nativePhysicalImageZeroOperand
753 nativePhysicalImageZeroOperand
754 nativePhysicalImageZeroOperand)
755 b""
756 b""
757 errorIdentity))
758 (branch
759 NativePhysicalRepeatBegin
760 count
761 .
762 (nativePhysicalImageCommandRecordForFormat format
763 (byte 9)
764 nativePhysicalImageDiscardResult
765 (nativePhysicalImageSevenOperandBytes
766 (constructor NativePhysicalOperand NativePhysicalImmediate count)
767 nativePhysicalImageZeroOperand
768 nativePhysicalImageZeroOperand
769 nativePhysicalImageZeroOperand
770 nativePhysicalImageZeroOperand
771 nativePhysicalImageZeroOperand
772 nativePhysicalImageZeroOperand)
773 b""
774 b""
775 errorIdentity))
776 (branch
777 NativePhysicalRepeatEnd
778 .
779 (nativePhysicalImageCommandRecordForFormat format
780 (byte 10)
781 nativePhysicalImageDiscardResult
782 (nativePhysicalImageSevenOperandBytes
783 nativePhysicalImageZeroOperand
784 nativePhysicalImageZeroOperand
785 nativePhysicalImageZeroOperand
786 nativePhysicalImageZeroOperand
787 nativePhysicalImageZeroOperand
788 nativePhysicalImageZeroOperand
789 nativePhysicalImageZeroOperand)
790 b""
791 b""
792 errorIdentity))
793 (branch
794 NativePhysicalStoreWord64
795 destination
796 value
797 .
798 (nativePhysicalImageCommandRecordForFormat format
799 (byte 11)
800 nativePhysicalImageDiscardResult
801 (nativePhysicalImageSevenOperandBytes
802 destination
803 value
804 nativePhysicalImageZeroOperand
805 nativePhysicalImageZeroOperand
806 nativePhysicalImageZeroOperand
807 nativePhysicalImageZeroOperand
808 nativePhysicalImageZeroOperand)
809 b""
810 b""
811 errorIdentity))
812 (branch
813 NativePhysicalFenceWait
814 address
815 expected
816 maximumPolls
817 interval
818 .
819 (nativePhysicalImageCommandRecordForFormat format
820 (byte 12)
821 nativePhysicalImageDiscardResult
822 (nativePhysicalImageSevenOperandBytes
823 address
824 expected
825 (constructor NativePhysicalOperand NativePhysicalImmediate maximumPolls)
826 (constructor NativePhysicalOperand NativePhysicalImmediate interval)
827 nativePhysicalImageZeroOperand
828 nativePhysicalImageZeroOperand
829 nativePhysicalImageZeroOperand)
830 b""
831 b""
832 errorIdentity))
833 (branch
834 NativePhysicalRepeatBeginCounted
835 count
836 .
837 (nativePhysicalImageCommandRecordForFormat format
838 (byte 9)
839 nativePhysicalImageDiscardResult
840 (nativePhysicalImageSevenOperandBytes
841 count
842 nativePhysicalImageZeroOperand
843 nativePhysicalImageZeroOperand
844 nativePhysicalImageZeroOperand
845 nativePhysicalImageZeroOperand
846 nativePhysicalImageZeroOperand
847 nativePhysicalImageZeroOperand)
848 b""
849 b""
850 errorIdentity))
851 (branch
852 NativePhysicalAddWord64
853 destination
854 left
855 right
856 .
857 (nativePhysicalImageCommandRecordForFormat format
858 (byte 13)
859 nativePhysicalImageDiscardResult
860 (nativePhysicalImageSevenOperandBytes
861 destination
862 left
863 right
864 nativePhysicalImageZeroOperand
865 nativePhysicalImageZeroOperand
866 nativePhysicalImageZeroOperand
867 nativePhysicalImageZeroOperand)
868 b""
869 b""
870 errorIdentity))
871 (branch
872 NativePhysicalFloat64
873 kind
874 destination
875 left
876 right
877 .
878 (nativePhysicalImageCommandRecordForFormat format
879 (nativePhysicalImageFloat64Tag kind)
880 nativePhysicalImageDiscardResult
881 (nativePhysicalImageSevenOperandBytes
882 destination
883 left
884 right
885 nativePhysicalImageZeroOperand
886 nativePhysicalImageZeroOperand
887 nativePhysicalImageZeroOperand
888 nativePhysicalImageZeroOperand)
889 b""
890 b""
891 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.