Lines Matching refs:v31
440 #CHECK: vap %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x71]
441 #CHECK: vap %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x71]
442 #CHECK: vap %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x71]
448 vap %v0, %v0, %v31, 0, 0
449 vap %v0, %v31, %v0, 0, 0
450 vap %v31, %v0, %v0, 0, 0
455 #CHECK: vbperm %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x85]
457 #CHECK: vbperm %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x85]
459 #CHECK: vbperm %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x85]
464 vbperm %v0, %v0, %v31
466 vbperm %v0, %v31, %v0
468 vbperm %v31, %v0, %v0
474 #CHECK: vcp %v31, %v0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x77]
476 #CHECK: vcp %v0, %v31, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x77]
482 vcp %v31, %v0, 0
484 vcp %v0, %v31, 0
491 #CHECK: vcvb %r0, %v31, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x50]
498 vcvb %r0, %v31, 0
505 #CHECK: vcvbg %r0, %v31, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x52]
512 vcvbg %r0, %v31, 0
520 #CHECK: vcvd %v31, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x58]
528 vcvd %v31, %r0, 0, 0
536 #CHECK: vcvdg %v31, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x5a]
544 vcvdg %v31, %r0, 0, 0
550 #CHECK: vdp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x7a]
551 #CHECK: vdp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x7a]
552 #CHECK: vdp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x7a]
558 vdp %v0, %v0, %v31, 0, 0
559 vdp %v0, %v31, %v0, 0, 0
560 vdp %v31, %v0, %v0, 0, 0
564 #CHECK: vfasb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe3]
565 #CHECK: vfasb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe3]
566 #CHECK: vfasb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe3]
570 vfasb %v0, %v0, %v31
571 vfasb %v0, %v31, %v0
572 vfasb %v31, %v0, %v0
576 #CHECK: vfcesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe8]
577 #CHECK: vfcesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe8]
578 #CHECK: vfcesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe8]
582 vfcesb %v0, %v0, %v31
583 vfcesb %v0, %v31, %v0
584 vfcesb %v31, %v0, %v0
588 #CHECK: vfcesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x22,0xe8]
589 #CHECK: vfcesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xe8]
590 #CHECK: vfcesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xe8]
594 vfcesbs %v0, %v0, %v31
595 vfcesbs %v0, %v31, %v0
596 vfcesbs %v31, %v0, %v0
600 #CHECK: vfchsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xeb]
601 #CHECK: vfchsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xeb]
602 #CHECK: vfchsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xeb]
606 vfchsb %v0, %v0, %v31
607 vfchsb %v0, %v31, %v0
608 vfchsb %v31, %v0, %v0
612 #CHECK: vfchsbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x22,0xeb]
613 #CHECK: vfchsbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xeb]
614 #CHECK: vfchsbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xeb]
618 vfchsbs %v0, %v0, %v31
619 vfchsbs %v0, %v31, %v0
620 vfchsbs %v31, %v0, %v0
624 #CHECK: vfchesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xea]
625 #CHECK: vfchesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xea]
626 #CHECK: vfchesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xea]
630 vfchesb %v0, %v0, %v31
631 vfchesb %v0, %v31, %v0
632 vfchesb %v31, %v0, %v0
636 #CHECK: vfchesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x22,0xea]
637 #CHECK: vfchesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xea]
638 #CHECK: vfchesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xea]
642 vfchesbs %v0, %v0, %v31
643 vfchesbs %v0, %v31, %v0
644 vfchesbs %v31, %v0, %v0
648 #CHECK: vfdsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe5]
649 #CHECK: vfdsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe5]
650 #CHECK: vfdsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe5]
654 vfdsb %v0, %v0, %v31
655 vfdsb %v0, %v31, %v0
656 vfdsb %v31, %v0, %v0
663 #CHECK: vfisb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xc7]
664 #CHECK: vfisb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xc7]
671 vfisb %v0, %v31, 0, 0
672 vfisb %v31, %v0, 0, 0
676 #CHECK: vfkedb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x32,0xe8]
677 #CHECK: vfkedb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x34,0xe8]
678 #CHECK: vfkedb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x38,0xe8]
682 vfkedb %v0, %v0, %v31
683 vfkedb %v0, %v31, %v0
684 vfkedb %v31, %v0, %v0
688 #CHECK: vfkedbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x32,0xe8]
689 #CHECK: vfkedbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x34,0xe8]
690 #CHECK: vfkedbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x38,0xe8]
694 vfkedbs %v0, %v0, %v31
695 vfkedbs %v0, %v31, %v0
696 vfkedbs %v31, %v0, %v0
700 #CHECK: vfkesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x22,0xe8]
701 #CHECK: vfkesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x24,0xe8]
702 #CHECK: vfkesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x28,0xe8]
706 vfkesb %v0, %v0, %v31
707 vfkesb %v0, %v31, %v0
708 vfkesb %v31, %v0, %v0
712 #CHECK: vfkesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x22,0xe8]
713 #CHECK: vfkesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x24,0xe8]
714 #CHECK: vfkesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x28,0xe8]
718 vfkesbs %v0, %v0, %v31
719 vfkesbs %v0, %v31, %v0
720 vfkesbs %v31, %v0, %v0
724 #CHECK: vfkhdb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x32,0xeb]
725 #CHECK: vfkhdb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x34,0xeb]
726 #CHECK: vfkhdb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x38,0xeb]
730 vfkhdb %v0, %v0, %v31
731 vfkhdb %v0, %v31, %v0
732 vfkhdb %v31, %v0, %v0
736 #CHECK: vfkhdbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x32,0xeb]
737 #CHECK: vfkhdbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x34,0xeb]
738 #CHECK: vfkhdbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x38,0xeb]
742 vfkhdbs %v0, %v0, %v31
743 vfkhdbs %v0, %v31, %v0
744 vfkhdbs %v31, %v0, %v0
748 #CHECK: vfkhsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x22,0xeb]
749 #CHECK: vfkhsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x24,0xeb]
750 #CHECK: vfkhsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x28,0xeb]
754 vfkhsb %v0, %v0, %v31
755 vfkhsb %v0, %v31, %v0
756 vfkhsb %v31, %v0, %v0
760 #CHECK: vfkhsbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x22,0xeb]
761 #CHECK: vfkhsbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x24,0xeb]
762 #CHECK: vfkhsbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x28,0xeb]
766 vfkhsbs %v0, %v0, %v31
767 vfkhsbs %v0, %v31, %v0
768 vfkhsbs %v31, %v0, %v0
772 #CHECK: vfkhedb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x32,0xea]
773 #CHECK: vfkhedb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x34,0xea]
774 #CHECK: vfkhedb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x38,0xea]
778 vfkhedb %v0, %v0, %v31
779 vfkhedb %v0, %v31, %v0
780 vfkhedb %v31, %v0, %v0
784 #CHECK: vfkhedbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x32,0xea]
785 #CHECK: vfkhedbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x34,0xea]
786 #CHECK: vfkhedbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x38,0xea]
790 vfkhedbs %v0, %v0, %v31
791 vfkhedbs %v0, %v31, %v0
792 vfkhedbs %v31, %v0, %v0
796 #CHECK: vfkhesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x22,0xea]
797 #CHECK: vfkhesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x24,0xea]
798 #CHECK: vfkhesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x28,0xea]
802 vfkhesb %v0, %v0, %v31
803 vfkhesb %v0, %v31, %v0
804 vfkhesb %v31, %v0, %v0
808 #CHECK: vfkhesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x22,0xea]
809 #CHECK: vfkhesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x24,0xea]
810 #CHECK: vfkhesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x28,0xea]
814 vfkhesbs %v0, %v0, %v31
815 vfkhesbs %v0, %v31, %v0
816 vfkhesbs %v31, %v0, %v0
822 #CHECK: vfpsosb %v0, %v31, 3 # encoding: [0xe7,0x0f,0x00,0x30,0x24,0xcc]
824 #CHECK: vfpsosb %v31, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x30,0x28,0xcc]
830 vfpsosb %v0, %v31, 3
832 vfpsosb %v31, %v0, 3
837 #CHECK: vflcsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xcc]
839 #CHECK: vflcsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xcc]
844 vflcsb %v0, %v31
846 vflcsb %v31, %v0
851 #CHECK: vflnsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xcc]
853 #CHECK: vflnsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xcc]
858 vflnsb %v0, %v31
860 vflnsb %v31, %v0
865 #CHECK: vflpsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x20,0x24,0xcc]
867 #CHECK: vflpsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x20,0x28,0xcc]
872 vflpsb %v0, %v31
874 vflpsb %v31, %v0
881 #CHECK: vfll %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc4]
883 #CHECK: vfll %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc4]
890 vfll %v0, %v31, 0, 0
892 vfll %v31, %v0, 0, 0
897 #CHECK: vflls %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xc4]
899 #CHECK: vflls %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xc4]
904 vflls %v0, %v31
906 vflls %v31, %v0
914 #CHECK: vflr %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc5]
915 #CHECK: vflr %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc5]
923 vflr %v0, %v31, 0, 0, 0
924 vflr %v31, %v0, 0, 0, 0
931 #CHECK: vflrd %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xc5]
932 #CHECK: vflrd %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xc5]
939 vflrd %v0, %v31, 0, 0
940 vflrd %v31, %v0, 0, 0
947 #CHECK: vfmax %v0, %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xef]
948 #CHECK: vfmax %v0, %v31, %v0, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xef]
949 #CHECK: vfmax %v31, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xef]
956 vfmax %v0, %v0, %v31, 0, 0, 0
957 vfmax %v0, %v31, %v0, 0, 0, 0
958 vfmax %v31, %v0, %v0, 0, 0, 0
963 #CHECK: vfmaxdb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xef]
964 #CHECK: vfmaxdb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xef]
965 #CHECK: vfmaxdb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xef]
970 vfmaxdb %v0, %v0, %v31, 0
971 vfmaxdb %v0, %v31, %v0, 0
972 vfmaxdb %v31, %v0, %v0, 0
977 #CHECK: vfmaxsb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xef]
978 #CHECK: vfmaxsb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xef]
979 #CHECK: vfmaxsb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xef]
984 vfmaxsb %v0, %v0, %v31, 0
985 vfmaxsb %v0, %v31, %v0, 0
986 vfmaxsb %v31, %v0, %v0, 0
993 #CHECK: vfmin %v0, %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xee]
994 #CHECK: vfmin %v0, %v31, %v0, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xee]
995 #CHECK: vfmin %v31, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xee]
1002 vfmin %v0, %v0, %v31, 0, 0, 0
1003 vfmin %v0, %v31, %v0, 0, 0, 0
1004 vfmin %v31, %v0, %v0, 0, 0, 0
1009 #CHECK: vfmindb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xee]
1010 #CHECK: vfmindb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xee]
1011 #CHECK: vfmindb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xee]
1016 vfmindb %v0, %v0, %v31, 0
1017 vfmindb %v0, %v31, %v0, 0
1018 vfmindb %v31, %v0, %v0, 0
1023 #CHECK: vfminsb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xee]
1024 #CHECK: vfminsb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xee]
1025 #CHECK: vfminsb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xee]
1030 vfminsb %v0, %v0, %v31, 0
1031 vfminsb %v0, %v31, %v0, 0
1032 vfminsb %v31, %v0, %v0, 0
1036 #CHECK: vfmasb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x8f]
1037 #CHECK: vfmasb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x8f]
1038 #CHECK: vfmasb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x8f]
1039 #CHECK: vfmasb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x8f]
1043 vfmasb %v0, %v0, %v0, %v31
1044 vfmasb %v0, %v0, %v31, %v0
1045 vfmasb %v0, %v31, %v0, %v0
1046 vfmasb %v31, %v0, %v0, %v0
1050 #CHECK: vfmsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe7]
1051 #CHECK: vfmsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe7]
1052 #CHECK: vfmsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe7]
1056 vfmsb %v0, %v0, %v31
1057 vfmsb %v0, %v31, %v0
1058 vfmsb %v31, %v0, %v0
1062 #CHECK: vfmssb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x8e]
1063 #CHECK: vfmssb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x8e]
1064 #CHECK: vfmssb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x8e]
1065 #CHECK: vfmssb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x8e]
1069 vfmssb %v0, %v0, %v0, %v31
1070 vfmssb %v0, %v0, %v31, %v0
1071 vfmssb %v0, %v31, %v0, %v0
1072 vfmssb %v31, %v0, %v0, %v0
1078 #CHECK: vfnma %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x9f]
1079 #CHECK: vfnma %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x9f]
1080 #CHECK: vfnma %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x9f]
1081 #CHECK: vfnma %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x9f]
1087 vfnma %v0, %v0, %v0, %v31, 0, 0
1088 vfnma %v0, %v0, %v31, %v0, 0, 0
1089 vfnma %v0, %v31, %v0, %v0, 0, 0
1090 vfnma %v31, %v0, %v0, %v0, 0, 0
1094 #CHECK: vfnmadb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0x9f]
1095 #CHECK: vfnmadb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0x9f]
1096 #CHECK: vfnmadb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0x9f]
1097 #CHECK: vfnmadb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0x9f]
1101 vfnmadb %v0, %v0, %v0, %v31
1102 vfnmadb %v0, %v0, %v31, %v0
1103 vfnmadb %v0, %v31, %v0, %v0
1104 vfnmadb %v31, %v0, %v0, %v0
1108 #CHECK: vfnmasb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x9f]
1109 #CHECK: vfnmasb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x9f]
1110 #CHECK: vfnmasb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x9f]
1111 #CHECK: vfnmasb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x9f]
1115 vfnmasb %v0, %v0, %v0, %v31
1116 vfnmasb %v0, %v0, %v31, %v0
1117 vfnmasb %v0, %v31, %v0, %v0
1118 vfnmasb %v31, %v0, %v0, %v0
1124 #CHECK: vfnms %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x9e]
1125 #CHECK: vfnms %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x9e]
1126 #CHECK: vfnms %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x9e]
1127 #CHECK: vfnms %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x9e]
1133 vfnms %v0, %v0, %v0, %v31, 0, 0
1134 vfnms %v0, %v0, %v31, %v0, 0, 0
1135 vfnms %v0, %v31, %v0, %v0, 0, 0
1136 vfnms %v31, %v0, %v0, %v0, 0, 0
1140 #CHECK: vfnmsdb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0x9e]
1141 #CHECK: vfnmsdb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0x9e]
1142 #CHECK: vfnmsdb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0x9e]
1143 #CHECK: vfnmsdb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0x9e]
1147 vfnmsdb %v0, %v0, %v0, %v31
1148 vfnmsdb %v0, %v0, %v31, %v0
1149 vfnmsdb %v0, %v31, %v0, %v0
1150 vfnmsdb %v31, %v0, %v0, %v0
1154 #CHECK: vfnmssb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x9e]
1155 #CHECK: vfnmssb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x9e]
1156 #CHECK: vfnmssb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x9e]
1157 #CHECK: vfnmssb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x9e]
1161 vfnmssb %v0, %v0, %v0, %v31
1162 vfnmssb %v0, %v0, %v31, %v0
1163 vfnmssb %v0, %v31, %v0, %v0
1164 vfnmssb %v31, %v0, %v0, %v0
1168 #CHECK: vfssb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe2]
1169 #CHECK: vfssb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe2]
1170 #CHECK: vfssb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe2]
1174 vfssb %v0, %v0, %v31
1175 vfssb %v0, %v31, %v0
1176 vfssb %v31, %v0, %v0
1181 #CHECK: vfsqsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xce]
1183 #CHECK: vfsqsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xce]
1188 vfsqsb %v0, %v31
1190 vfsqsb %v31, %v0
1196 #CHECK: vftcisb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x4a]
1198 #CHECK: vftcisb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x4a]
1204 vftcisb %v0, %v31, 0
1206 vftcisb %v31, %v0, 0
1213 #CHECK: vlip %v31, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x49]
1220 vlip %v31, 0, 0
1228 #CHECK: vllezlf %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x68,0x04]
1235 #CHECK: vllezlf %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x68,0x04]
1243 vllezlf %v31, 0
1258 #CHECK: vlrl %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x35]
1265 #CHECK: vlrl %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x35]
1273 vlrl %v31, 0, 0
1288 #CHECK: vlrlr %v31, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x37]
1296 vlrlr %v31, %r0, 0
1303 #CHECK: vmsl %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xb8]
1305 #CHECK: vmsl %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xb8]
1307 #CHECK: vmsl %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xb8]
1309 #CHECK: vmsl %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xb8]
1317 vmsl %v0, %v0, %v0, %v31, 0, 0
1319 vmsl %v0, %v0, %v31, %v0, 0, 0
1321 vmsl %v0, %v31, %v0, %v0, 0, 0
1323 vmsl %v31, %v0, %v0, %v0, 0, 0
1330 #CHECK: vmslg %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0xb8]
1332 #CHECK: vmslg %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0xb8]
1334 #CHECK: vmslg %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0xb8]
1336 #CHECK: vmslg %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0xb8]
1343 vmslg %v0, %v0, %v0, %v31, 0
1345 vmslg %v0, %v0, %v31, %v0, 0
1347 vmslg %v0, %v31, %v0, %v0, 0
1349 vmslg %v31, %v0, %v0, %v0, 0
1356 #CHECK: vmp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x78]
1357 #CHECK: vmp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x78]
1358 #CHECK: vmp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x78]
1364 vmp %v0, %v0, %v31, 0, 0
1365 vmp %v0, %v31, %v0, 0, 0
1366 vmp %v31, %v0, %v0, 0, 0
1372 #CHECK: vmsp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x79]
1373 #CHECK: vmsp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x79]
1374 #CHECK: vmsp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x79]
1380 vmsp %v0, %v0, %v31, 0, 0
1381 vmsp %v0, %v31, %v0, 0, 0
1382 vmsp %v31, %v0, %v0, 0, 0
1386 #CHECK: vnn %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6e]
1387 #CHECK: vnn %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6e]
1388 #CHECK: vnn %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6e]
1392 vnn %v0, %v0, %v31
1393 vnn %v0, %v31, %v0
1394 vnn %v31, %v0, %v0
1398 #CHECK: vnx %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6c]
1399 #CHECK: vnx %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6c]
1400 #CHECK: vnx %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6c]
1404 vnx %v0, %v0, %v31
1405 vnx %v0, %v31, %v0
1406 vnx %v31, %v0, %v0
1410 #CHECK: voc %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6f]
1411 #CHECK: voc %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6f]
1412 #CHECK: voc %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6f]
1416 voc %v0, %v0, %v31
1417 voc %v0, %v31, %v0
1418 voc %v31, %v0, %v0
1426 #CHECK: vpkz %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x34]
1434 vpkz %v31, 0, 0
1439 #CHECK: vpopctb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x50]
1441 #CHECK: vpopctb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x50]
1446 vpopctb %v0, %v31
1448 vpopctb %v31, %v0
1453 #CHECK: vpopctf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x50]
1455 #CHECK: vpopctf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x50]
1460 vpopctf %v0, %v31
1462 vpopctf %v31, %v0
1467 #CHECK: vpopctg %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x50]
1469 #CHECK: vpopctg %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x50]
1474 vpopctg %v0, %v31
1476 vpopctg %v31, %v0
1481 #CHECK: vpopcth %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x50]
1483 #CHECK: vpopcth %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x50]
1488 vpopcth %v0, %v31
1490 vpopcth %v31, %v0
1497 #CHECK: vpsop %v0, %v31, 0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x5b]
1498 #CHECK: vpsop %v31, %v0, 0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x5b]
1505 vpsop %v0, %v31, 0, 0, 0
1506 vpsop %v31, %v0, 0, 0, 0
1512 #CHECK: vrp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x7b]
1513 #CHECK: vrp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x7b]
1514 #CHECK: vrp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x7b]
1520 vrp %v0, %v0, %v31, 0, 0
1521 vrp %v0, %v31, %v0, 0, 0
1522 vrp %v31, %v0, %v0, 0, 0
1528 #CHECK: vsdp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x7e]
1529 #CHECK: vsdp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x7e]
1530 #CHECK: vsdp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x7e]
1536 vsdp %v0, %v0, %v31, 0, 0
1537 vsdp %v0, %v31, %v0, 0, 0
1538 vsdp %v31, %v0, %v0, 0, 0
1544 #CHECK: vsp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x73]
1545 #CHECK: vsp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x73]
1546 #CHECK: vsp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x73]
1552 vsp %v0, %v0, %v31, 0, 0
1553 vsp %v0, %v31, %v0, 0, 0
1554 vsp %v31, %v0, %v0, 0, 0
1561 #CHECK: vsrp %v0, %v31, 0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x59]
1562 #CHECK: vsrp %v31, %v0, 0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x59]
1569 vsrp %v0, %v31, 0, 0, 0
1570 vsrp %v31, %v0, 0, 0, 0
1578 #CHECK: vstrl %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x3d]
1586 vstrl %v31, 0, 0
1594 #CHECK: vstrlr %v31, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x3f]
1602 vstrlr %v31, %r0, 0
1607 #CHECK: vtp %v31 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x5f]
1611 vtp %v31
1618 #CHECK: vupkz %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x3c]
1626 vupkz %v31, 0, 0
1631 #CHECK: wfasb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe3]
1632 #CHECK: wfasb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe3]
1633 #CHECK: wfasb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe3]
1638 wfasb %v0, %v0, %v31
1639 wfasb %v0, %v31, %v0
1640 wfasb %v31, %v0, %v0
1644 #CHECK: wfaxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe3]
1645 #CHECK: wfaxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe3]
1646 #CHECK: wfaxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe3]
1650 wfaxb %v0, %v0, %v31
1651 wfaxb %v0, %v31, %v0
1652 wfaxb %v31, %v0, %v0
1658 #CHECK: wfcsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xcb]
1660 #CHECK: wfcsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xcb]
1666 wfcsb %v0, %v31
1668 wfcsb %v31, %v0
1673 #CHECK: wfcxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xcb]
1675 #CHECK: wfcxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xcb]
1680 wfcxb %v0, %v31
1682 wfcxb %v31, %v0
1687 #CHECK: wfcesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe8]
1688 #CHECK: wfcesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe8]
1689 #CHECK: wfcesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe8]
1694 wfcesb %v0, %v0, %v31
1695 wfcesb %v0, %v31, %v0
1696 wfcesb %v31, %v0, %v0
1701 #CHECK: wfcesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x22,0xe8]
1702 #CHECK: wfcesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xe8]
1703 #CHECK: wfcesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xe8]
1708 wfcesbs %v0, %v0, %v31
1709 wfcesbs %v0, %v31, %v0
1710 wfcesbs %v31, %v0, %v0
1714 #CHECK: wfcexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe8]
1715 #CHECK: wfcexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe8]
1716 #CHECK: wfcexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe8]
1720 wfcexb %v0, %v0, %v31
1721 wfcexb %v0, %v31, %v0
1722 wfcexb %v31, %v0, %v0
1726 #CHECK: wfcexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x42,0xe8]
1727 #CHECK: wfcexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xe8]
1728 #CHECK: wfcexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xe8]
1732 wfcexbs %v0, %v0, %v31
1733 wfcexbs %v0, %v31, %v0
1734 wfcexbs %v31, %v0, %v0
1739 #CHECK: wfchsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xeb]
1740 #CHECK: wfchsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xeb]
1741 #CHECK: wfchsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xeb]
1746 wfchsb %v0, %v0, %v31
1747 wfchsb %v0, %v31, %v0
1748 wfchsb %v31, %v0, %v0
1753 #CHECK: wfchsbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x22,0xeb]
1754 #CHECK: wfchsbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xeb]
1755 #CHECK: wfchsbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xeb]
1760 wfchsbs %v0, %v0, %v31
1761 wfchsbs %v0, %v31, %v0
1762 wfchsbs %v31, %v0, %v0
1766 #CHECK: wfchxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xeb]
1767 #CHECK: wfchxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xeb]
1768 #CHECK: wfchxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xeb]
1772 wfchxb %v0, %v0, %v31
1773 wfchxb %v0, %v31, %v0
1774 wfchxb %v31, %v0, %v0
1778 #CHECK: wfchxbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x42,0xeb]
1779 #CHECK: wfchxbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xeb]
1780 #CHECK: wfchxbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xeb]
1784 wfchxbs %v0, %v0, %v31
1785 wfchxbs %v0, %v31, %v0
1786 wfchxbs %v31, %v0, %v0
1791 #CHECK: wfchesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xea]
1792 #CHECK: wfchesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xea]
1793 #CHECK: wfchesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xea]
1798 wfchesb %v0, %v0, %v31
1799 wfchesb %v0, %v31, %v0
1800 wfchesb %v31, %v0, %v0
1805 #CHECK: wfchesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x22,0xea]
1806 #CHECK: wfchesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xea]
1807 #CHECK: wfchesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xea]
1812 wfchesbs %v0, %v0, %v31
1813 wfchesbs %v0, %v31, %v0
1814 wfchesbs %v31, %v0, %v0
1818 #CHECK: wfchexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xea]
1819 #CHECK: wfchexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xea]
1820 #CHECK: wfchexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xea]
1824 wfchexb %v0, %v0, %v31
1825 wfchexb %v0, %v31, %v0
1826 wfchexb %v31, %v0, %v0
1830 #CHECK: wfchexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x42,0xea]
1831 #CHECK: wfchexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xea]
1832 #CHECK: wfchexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xea]
1836 wfchexbs %v0, %v0, %v31
1837 wfchexbs %v0, %v31, %v0
1838 wfchexbs %v31, %v0, %v0
1843 #CHECK: wfdsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe5]
1844 #CHECK: wfdsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe5]
1845 #CHECK: wfdsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe5]
1850 wfdsb %v0, %v0, %v31
1851 wfdsb %v0, %v31, %v0
1852 wfdsb %v31, %v0, %v0
1856 #CHECK: wfdxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe5]
1857 #CHECK: wfdxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe5]
1858 #CHECK: wfdxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe5]
1862 wfdxb %v0, %v0, %v31
1863 wfdxb %v0, %v31, %v0
1864 wfdxb %v31, %v0, %v0
1872 #CHECK: wfisb %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xc7]
1873 #CHECK: wfisb %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xc7]
1881 wfisb %v0, %v31, 0, 0
1882 wfisb %v31, %v0, 0, 0
1889 #CHECK: wfixb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xc7]
1890 #CHECK: wfixb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xc7]
1897 wfixb %v0, %v31, 0, 0
1898 wfixb %v31, %v0, 0, 0
1904 #CHECK: wfksb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xca]
1906 #CHECK: wfksb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xca]
1912 wfksb %v0, %v31
1914 wfksb %v31, %v0
1919 #CHECK: wfkxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xca]
1921 #CHECK: wfkxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xca]
1926 wfkxb %v0, %v31
1928 wfkxb %v31, %v0
1933 #CHECK: wfkedb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x32,0xe8]
1934 #CHECK: wfkedb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x34,0xe8]
1935 #CHECK: wfkedb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x38,0xe8]
1940 wfkedb %v0, %v0, %v31
1941 wfkedb %v0, %v31, %v0
1942 wfkedb %v31, %v0, %v0
1947 #CHECK: wfkedbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x32,0xe8]
1948 #CHECK: wfkedbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x34,0xe8]
1949 #CHECK: wfkedbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x38,0xe8]
1954 wfkedbs %v0, %v0, %v31
1955 wfkedbs %v0, %v31, %v0
1956 wfkedbs %v31, %v0, %v0
1961 #CHECK: wfkesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x22,0xe8]
1962 #CHECK: wfkesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x24,0xe8]
1963 #CHECK: wfkesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x28,0xe8]
1968 wfkesb %v0, %v0, %v31
1969 wfkesb %v0, %v31, %v0
1970 wfkesb %v31, %v0, %v0
1975 #CHECK: wfkesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x22,0xe8]
1976 #CHECK: wfkesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x24,0xe8]
1977 #CHECK: wfkesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x28,0xe8]
1982 wfkesbs %v0, %v0, %v31
1983 wfkesbs %v0, %v31, %v0
1984 wfkesbs %v31, %v0, %v0
1988 #CHECK: wfkexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x42,0xe8]
1989 #CHECK: wfkexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x0c,0x44,0xe8]
1990 #CHECK: wfkexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x0c,0x48,0xe8]
1994 wfkexb %v0, %v0, %v31
1995 wfkexb %v0, %v31, %v0
1996 wfkexb %v31, %v0, %v0
2000 #CHECK: wfkexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x42,0xe8]
2001 #CHECK: wfkexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x1c,0x44,0xe8]
2002 #CHECK: wfkexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x1c,0x48,0xe8]
2006 wfkexbs %v0, %v0, %v31
2007 wfkexbs %v0, %v31, %v0
2008 wfkexbs %v31, %v0, %v0
2013 #CHECK: wfkhdb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x32,0xeb]
2014 #CHECK: wfkhdb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x34,0xeb]
2015 #CHECK: wfkhdb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x38,0xeb]
2020 wfkhdb %v0, %v0, %v31
2021 wfkhdb %v0, %v31, %v0
2022 wfkhdb %v31, %v0, %v0
2027 #CHECK: wfkhdbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x32,0xeb]
2028 #CHECK: wfkhdbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x34,0xeb]
2029 #CHECK: wfkhdbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x38,0xeb]
2034 wfkhdbs %v0, %v0, %v31
2035 wfkhdbs %v0, %v31, %v0
2036 wfkhdbs %v31, %v0, %v0
2041 #CHECK: wfkhsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x22,0xeb]
2042 #CHECK: wfkhsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x24,0xeb]
2043 #CHECK: wfkhsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x28,0xeb]
2048 wfkhsb %v0, %v0, %v31
2049 wfkhsb %v0, %v31, %v0
2050 wfkhsb %v31, %v0, %v0
2055 #CHECK: wfkhsbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x22,0xeb]
2056 #CHECK: wfkhsbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x24,0xeb]
2057 #CHECK: wfkhsbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x28,0xeb]
2062 wfkhsbs %v0, %v0, %v31
2063 wfkhsbs %v0, %v31, %v0
2064 wfkhsbs %v31, %v0, %v0
2068 #CHECK: wfkhxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x42,0xeb]
2069 #CHECK: wfkhxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x0c,0x44,0xeb]
2070 #CHECK: wfkhxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x0c,0x48,0xeb]
2074 wfkhxb %v0, %v0, %v31
2075 wfkhxb %v0, %v31, %v0
2076 wfkhxb %v31, %v0, %v0
2080 #CHECK: wfkhxbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x42,0xeb]
2081 #CHECK: wfkhxbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x1c,0x44,0xeb]
2082 #CHECK: wfkhxbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x1c,0x48,0xeb]
2086 wfkhxbs %v0, %v0, %v31
2087 wfkhxbs %v0, %v31, %v0
2088 wfkhxbs %v31, %v0, %v0
2093 #CHECK: wfkhedb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x32,0xea]
2094 #CHECK: wfkhedb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x34,0xea]
2095 #CHECK: wfkhedb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x38,0xea]
2100 wfkhedb %v0, %v0, %v31
2101 wfkhedb %v0, %v31, %v0
2102 wfkhedb %v31, %v0, %v0
2107 #CHECK: wfkhedbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x32,0xea]
2108 #CHECK: wfkhedbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x34,0xea]
2109 #CHECK: wfkhedbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x38,0xea]
2114 wfkhedbs %v0, %v0, %v31
2115 wfkhedbs %v0, %v31, %v0
2116 wfkhedbs %v31, %v0, %v0
2121 #CHECK: wfkhesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x22,0xea]
2122 #CHECK: wfkhesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x24,0xea]
2123 #CHECK: wfkhesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x28,0xea]
2128 wfkhesb %v0, %v0, %v31
2129 wfkhesb %v0, %v31, %v0
2130 wfkhesb %v31, %v0, %v0
2135 #CHECK: wfkhesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x22,0xea]
2136 #CHECK: wfkhesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x24,0xea]
2137 #CHECK: wfkhesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x28,0xea]
2142 wfkhesbs %v0, %v0, %v31
2143 wfkhesbs %v0, %v31, %v0
2144 wfkhesbs %v31, %v0, %v0
2148 #CHECK: wfkhexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x42,0xea]
2149 #CHECK: wfkhexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x0c,0x44,0xea]
2150 #CHECK: wfkhexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x0c,0x48,0xea]
2154 wfkhexb %v0, %v0, %v31
2155 wfkhexb %v0, %v31, %v0
2156 wfkhexb %v31, %v0, %v0
2160 #CHECK: wfkhexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x42,0xea]
2161 #CHECK: wfkhexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x1c,0x44,0xea]
2162 #CHECK: wfkhexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x1c,0x48,0xea]
2166 wfkhexbs %v0, %v0, %v31
2167 wfkhexbs %v0, %v31, %v0
2168 wfkhexbs %v31, %v0, %v0
2175 #CHECK: wfpsosb %f0, %v31, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x24,0xcc]
2177 #CHECK: wfpsosb %v31, %f0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x28,0xcc]
2184 wfpsosb %v0, %v31, 3
2186 wfpsosb %v31, %v0, 3
2192 #CHECK: wfpsoxb %v0, %v31, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x44,0xcc]
2194 #CHECK: wfpsoxb %v31, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x48,0xcc]
2200 wfpsoxb %v0, %v31, 3
2202 wfpsoxb %v31, %v0, 3
2208 #CHECK: wflcsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xcc]
2210 #CHECK: wflcsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xcc]
2216 wflcsb %v0, %v31
2218 wflcsb %v31, %v0
2223 #CHECK: wflcxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xcc]
2225 #CHECK: wflcxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xcc]
2230 wflcxb %v0, %v31
2232 wflcxb %v31, %v0
2238 #CHECK: wflnsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xcc]
2240 #CHECK: wflnsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xcc]
2246 wflnsb %v0, %v31
2248 wflnsb %v31, %v0
2253 #CHECK: wflnxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xcc]
2255 #CHECK: wflnxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xcc]
2260 wflnxb %v0, %v31
2262 wflnxb %v31, %v0
2268 #CHECK: wflpsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x28,0x24,0xcc]
2270 #CHECK: wflpsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x28,0x28,0xcc]
2276 wflpsb %v0, %v31
2278 wflpsb %v31, %v0
2283 #CHECK: wflpxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x28,0x44,0xcc]
2285 #CHECK: wflpxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x28,0x48,0xcc]
2290 wflpxb %v0, %v31
2292 wflpxb %v31, %v0
2298 #CHECK: wflls %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xc4]
2300 #CHECK: wflls %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xc4]
2306 wflls %v0, %v31
2308 wflls %v31, %v0
2314 #CHECK: wflld %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc4]
2316 #CHECK: wflld %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc4]
2322 wflld %v0, %v31
2324 wflld %v31, %v0
2332 #CHECK: wflrd %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc5]
2333 #CHECK: wflrd %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc5]
2341 wflrd %v0, %v31, 0, 0
2342 wflrd %v31, %v0, 0, 0
2350 #CHECK: wflrx %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xc5]
2351 #CHECK: wflrx %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xc5]
2359 wflrx %v0, %v31, 0, 0
2360 wflrx %v31, %v0, 0, 0
2366 #CHECK: wfmaxdb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xef]
2367 #CHECK: wfmaxdb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xef]
2368 #CHECK: wfmaxdb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xef]
2374 wfmaxdb %v0, %v0, %v31, 0
2375 wfmaxdb %v0, %v31, %v0, 0
2376 wfmaxdb %v31, %v0, %v0, 0
2382 #CHECK: wfmaxsb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xef]
2383 #CHECK: wfmaxsb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xef]
2384 #CHECK: wfmaxsb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xef]
2390 wfmaxsb %v0, %v0, %v31, 0
2391 wfmaxsb %v0, %v31, %v0, 0
2392 wfmaxsb %v31, %v0, %v0, 0
2397 #CHECK: wfmaxxb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xef]
2398 #CHECK: wfmaxxb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xef]
2399 #CHECK: wfmaxxb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xef]
2404 wfmaxxb %v0, %v0, %v31, 0
2405 wfmaxxb %v0, %v31, %v0, 0
2406 wfmaxxb %v31, %v0, %v0, 0
2412 #CHECK: wfmindb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xee]
2413 #CHECK: wfmindb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xee]
2414 #CHECK: wfmindb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xee]
2420 wfmindb %v0, %v0, %v31, 0
2421 wfmindb %v0, %v31, %v0, 0
2422 wfmindb %v31, %v0, %v0, 0
2428 #CHECK: wfminsb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xee]
2429 #CHECK: wfminsb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xee]
2430 #CHECK: wfminsb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xee]
2436 wfminsb %v0, %v0, %v31, 0
2437 wfminsb %v0, %v31, %v0, 0
2438 wfminsb %v31, %v0, %v0, 0
2443 #CHECK: wfminxb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xee]
2444 #CHECK: wfminxb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xee]
2445 #CHECK: wfminxb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xee]
2450 wfminxb %v0, %v0, %v31, 0
2451 wfminxb %v0, %v31, %v0, 0
2452 wfminxb %v31, %v0, %v0, 0
2457 #CHECK: wfmasb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x8f]
2458 #CHECK: wfmasb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x8f]
2459 #CHECK: wfmasb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x8f]
2460 #CHECK: wfmasb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x8f]
2465 wfmasb %v0, %v0, %v0, %v31
2466 wfmasb %v0, %v0, %v31, %v0
2467 wfmasb %v0, %v31, %v0, %v0
2468 wfmasb %v31, %v0, %v0, %v0
2472 #CHECK: wfmaxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x8f]
2473 #CHECK: wfmaxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x8f]
2474 #CHECK: wfmaxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x8f]
2475 #CHECK: wfmaxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x8f]
2479 wfmaxb %v0, %v0, %v0, %v31
2480 wfmaxb %v0, %v0, %v31, %v0
2481 wfmaxb %v0, %v31, %v0, %v0
2482 wfmaxb %v31, %v0, %v0, %v0
2487 #CHECK: wfmsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe7]
2488 #CHECK: wfmsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe7]
2489 #CHECK: wfmsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe7]
2494 wfmsb %v0, %v0, %v31
2495 wfmsb %v0, %v31, %v0
2496 wfmsb %v31, %v0, %v0
2500 #CHECK: wfmxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe7]
2501 #CHECK: wfmxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe7]
2502 #CHECK: wfmxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe7]
2506 wfmxb %v0, %v0, %v31
2507 wfmxb %v0, %v31, %v0
2508 wfmxb %v31, %v0, %v0
2513 #CHECK: wfmssb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x8e]
2514 #CHECK: wfmssb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x8e]
2515 #CHECK: wfmssb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x8e]
2516 #CHECK: wfmssb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x8e]
2521 wfmssb %v0, %v0, %v0, %v31
2522 wfmssb %v0, %v0, %v31, %v0
2523 wfmssb %v0, %v31, %v0, %v0
2524 wfmssb %v31, %v0, %v0, %v0
2528 #CHECK: wfmsxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x8e]
2529 #CHECK: wfmsxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x8e]
2530 #CHECK: wfmsxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x8e]
2531 #CHECK: wfmsxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x8e]
2535 wfmsxb %v0, %v0, %v0, %v31
2536 wfmsxb %v0, %v0, %v31, %v0
2537 wfmsxb %v0, %v31, %v0, %v0
2538 wfmsxb %v31, %v0, %v0, %v0
2543 #CHECK: wfnmadb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x03,0x08,0xf1,0x9f]
2544 #CHECK: wfnmadb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf3,0x08,0x02,0x9f]
2545 #CHECK: wfnmadb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x03,0x08,0x04,0x9f]
2546 #CHECK: wfnmadb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x03,0x08,0x08,0x9f]
2551 wfnmadb %v0, %v0, %v0, %v31
2552 wfnmadb %v0, %v0, %v31, %v0
2553 wfnmadb %v0, %v31, %v0, %v0
2554 wfnmadb %v31, %v0, %v0, %v0
2559 #CHECK: wfnmasb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x9f]
2560 #CHECK: wfnmasb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x9f]
2561 #CHECK: wfnmasb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x9f]
2562 #CHECK: wfnmasb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x9f]
2567 wfnmasb %v0, %v0, %v0, %v31
2568 wfnmasb %v0, %v0, %v31, %v0
2569 wfnmasb %v0, %v31, %v0, %v0
2570 wfnmasb %v31, %v0, %v0, %v0
2574 #CHECK: wfnmaxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x9f]
2575 #CHECK: wfnmaxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x9f]
2576 #CHECK: wfnmaxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x9f]
2577 #CHECK: wfnmaxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x9f]
2581 wfnmaxb %v0, %v0, %v0, %v31
2582 wfnmaxb %v0, %v0, %v31, %v0
2583 wfnmaxb %v0, %v31, %v0, %v0
2584 wfnmaxb %v31, %v0, %v0, %v0
2589 #CHECK: wfnmsdb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x03,0x08,0xf1,0x9e]
2590 #CHECK: wfnmsdb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf3,0x08,0x02,0x9e]
2591 #CHECK: wfnmsdb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x03,0x08,0x04,0x9e]
2592 #CHECK: wfnmsdb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x03,0x08,0x08,0x9e]
2597 wfnmsdb %v0, %v0, %v0, %v31
2598 wfnmsdb %v0, %v0, %v31, %v0
2599 wfnmsdb %v0, %v31, %v0, %v0
2600 wfnmsdb %v31, %v0, %v0, %v0
2605 #CHECK: wfnmssb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x9e]
2606 #CHECK: wfnmssb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x9e]
2607 #CHECK: wfnmssb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x9e]
2608 #CHECK: wfnmssb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x9e]
2613 wfnmssb %v0, %v0, %v0, %v31
2614 wfnmssb %v0, %v0, %v31, %v0
2615 wfnmssb %v0, %v31, %v0, %v0
2616 wfnmssb %v31, %v0, %v0, %v0
2620 #CHECK: wfnmsxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x9e]
2621 #CHECK: wfnmsxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x9e]
2622 #CHECK: wfnmsxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x9e]
2623 #CHECK: wfnmsxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x9e]
2627 wfnmsxb %v0, %v0, %v0, %v31
2628 wfnmsxb %v0, %v0, %v31, %v0
2629 wfnmsxb %v0, %v31, %v0, %v0
2630 wfnmsxb %v31, %v0, %v0, %v0
2635 #CHECK: wfssb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe2]
2636 #CHECK: wfssb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe2]
2637 #CHECK: wfssb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe2]
2642 wfssb %v0, %v0, %v31
2643 wfssb %v0, %v31, %v0
2644 wfssb %v31, %v0, %v0
2648 #CHECK: wfsxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe2]
2649 #CHECK: wfsxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe2]
2650 #CHECK: wfsxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe2]
2654 wfsxb %v0, %v0, %v31
2655 wfsxb %v0, %v31, %v0
2656 wfsxb %v31, %v0, %v0
2662 #CHECK: wfsqsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xce]
2664 #CHECK: wfsqsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xce]
2670 wfsqsb %v0, %v31
2672 wfsqsb %v31, %v0
2677 #CHECK: wfsqxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xce]
2679 #CHECK: wfsqxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xce]
2684 wfsqxb %v0, %v31
2686 wfsqxb %v31, %v0
2693 #CHECK: wftcisb %f0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0x4a]
2695 #CHECK: wftcisb %v31, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0x4a]
2702 wftcisb %v0, %v31, 0
2704 wftcisb %v31, %v0, 0
2710 #CHECK: wftcixb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0x4a]
2712 #CHECK: wftcixb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0x4a]
2718 wftcixb %v0, %v31, 0
2720 wftcixb %v31, %v0, 0