Lines Matching refs:v31
451 #CHECK: va %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf3]
452 #CHECK: va %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf3]
453 #CHECK: va %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf3]
458 va %v0, %v0, %v31, 0
459 va %v0, %v31, %v0, 0
460 va %v31, %v0, %v0, 0
464 #CHECK: vab %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf3]
465 #CHECK: vab %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf3]
466 #CHECK: vab %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf3]
470 vab %v0, %v0, %v31
471 vab %v0, %v31, %v0
472 vab %v31, %v0, %v0
477 #CHECK: vac %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xbb]
478 #CHECK: vac %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xbb]
479 #CHECK: vac %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xbb]
480 #CHECK: vac %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xbb]
485 vac %v0, %v0, %v0, %v31, 0
486 vac %v0, %v0, %v31, %v0, 0
487 vac %v0, %v31, %v0, %v0, 0
488 vac %v31, %v0, %v0, %v0, 0
493 #CHECK: vacc %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf1]
494 #CHECK: vacc %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf1]
495 #CHECK: vacc %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf1]
500 vacc %v0, %v0, %v31, 0
501 vacc %v0, %v31, %v0, 0
502 vacc %v31, %v0, %v0, 0
506 #CHECK: vaccb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf1]
507 #CHECK: vaccb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf1]
508 #CHECK: vaccb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf1]
512 vaccb %v0, %v0, %v31
513 vaccb %v0, %v31, %v0
514 vaccb %v31, %v0, %v0
519 #CHECK: vaccc %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xb9]
520 #CHECK: vaccc %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xb9]
521 #CHECK: vaccc %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xb9]
522 #CHECK: vaccc %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xb9]
527 vaccc %v0, %v0, %v0, %v31, 0
528 vaccc %v0, %v0, %v31, %v0, 0
529 vaccc %v0, %v31, %v0, %v0, 0
530 vaccc %v31, %v0, %v0, %v0, 0
534 #CHECK: vacccq %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x00,0xf1,0xb9]
535 #CHECK: vacccq %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x00,0x02,0xb9]
536 #CHECK: vacccq %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x00,0x04,0xb9]
537 #CHECK: vacccq %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x00,0x08,0xb9]
541 vacccq %v0, %v0, %v0, %v31
542 vacccq %v0, %v0, %v31, %v0
543 vacccq %v0, %v31, %v0, %v0
544 vacccq %v31, %v0, %v0, %v0
548 #CHECK: vaccf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xf1]
549 #CHECK: vaccf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xf1]
550 #CHECK: vaccf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xf1]
554 vaccf %v0, %v0, %v31
555 vaccf %v0, %v31, %v0
556 vaccf %v31, %v0, %v0
560 #CHECK: vaccg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xf1]
561 #CHECK: vaccg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xf1]
562 #CHECK: vaccg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xf1]
566 vaccg %v0, %v0, %v31
567 vaccg %v0, %v31, %v0
568 vaccg %v31, %v0, %v0
572 #CHECK: vacch %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xf1]
573 #CHECK: vacch %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xf1]
574 #CHECK: vacch %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xf1]
578 vacch %v0, %v0, %v31
579 vacch %v0, %v31, %v0
580 vacch %v31, %v0, %v0
584 #CHECK: vaccq %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x42,0xf1]
585 #CHECK: vaccq %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xf1]
586 #CHECK: vaccq %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xf1]
590 vaccq %v0, %v0, %v31
591 vaccq %v0, %v31, %v0
592 vaccq %v31, %v0, %v0
596 #CHECK: vacq %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x00,0xf1,0xbb]
597 #CHECK: vacq %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x00,0x02,0xbb]
598 #CHECK: vacq %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x00,0x04,0xbb]
599 #CHECK: vacq %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x00,0x08,0xbb]
603 vacq %v0, %v0, %v0, %v31
604 vacq %v0, %v0, %v31, %v0
605 vacq %v0, %v31, %v0, %v0
606 vacq %v31, %v0, %v0, %v0
610 #CHECK: vaf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xf3]
611 #CHECK: vaf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xf3]
612 #CHECK: vaf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xf3]
616 vaf %v0, %v0, %v31
617 vaf %v0, %v31, %v0
618 vaf %v31, %v0, %v0
622 #CHECK: vag %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xf3]
623 #CHECK: vag %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xf3]
624 #CHECK: vag %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xf3]
628 vag %v0, %v0, %v31
629 vag %v0, %v31, %v0
630 vag %v31, %v0, %v0
634 #CHECK: vah %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xf3]
635 #CHECK: vah %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xf3]
636 #CHECK: vah %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xf3]
640 vah %v0, %v0, %v31
641 vah %v0, %v31, %v0
642 vah %v31, %v0, %v0
646 #CHECK: vaq %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x42,0xf3]
647 #CHECK: vaq %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xf3]
648 #CHECK: vaq %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xf3]
652 vaq %v0, %v0, %v31
653 vaq %v0, %v31, %v0
654 vaq %v31, %v0, %v0
659 #CHECK: vavg %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf2]
660 #CHECK: vavg %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf2]
661 #CHECK: vavg %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf2]
666 vavg %v0, %v0, %v31, 0
667 vavg %v0, %v31, %v0, 0
668 vavg %v31, %v0, %v0, 0
672 #CHECK: vavgb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf2]
673 #CHECK: vavgb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf2]
674 #CHECK: vavgb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf2]
678 vavgb %v0, %v0, %v31
679 vavgb %v0, %v31, %v0
680 vavgb %v31, %v0, %v0
684 #CHECK: vavgf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xf2]
685 #CHECK: vavgf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xf2]
686 #CHECK: vavgf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xf2]
690 vavgf %v0, %v0, %v31
691 vavgf %v0, %v31, %v0
692 vavgf %v31, %v0, %v0
696 #CHECK: vavgg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xf2]
697 #CHECK: vavgg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xf2]
698 #CHECK: vavgg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xf2]
702 vavgg %v0, %v0, %v31
703 vavgg %v0, %v31, %v0
704 vavgg %v31, %v0, %v0
708 #CHECK: vavgh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xf2]
709 #CHECK: vavgh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xf2]
710 #CHECK: vavgh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xf2]
714 vavgh %v0, %v0, %v31
715 vavgh %v0, %v31, %v0
716 vavgh %v31, %v0, %v0
721 #CHECK: vavgl %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf0]
722 #CHECK: vavgl %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf0]
723 #CHECK: vavgl %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf0]
728 vavgl %v0, %v0, %v31, 0
729 vavgl %v0, %v31, %v0, 0
730 vavgl %v31, %v0, %v0, 0
734 #CHECK: vavglb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf0]
735 #CHECK: vavglb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf0]
736 #CHECK: vavglb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf0]
740 vavglb %v0, %v0, %v31
741 vavglb %v0, %v31, %v0
742 vavglb %v31, %v0, %v0
746 #CHECK: vavglf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xf0]
747 #CHECK: vavglf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xf0]
748 #CHECK: vavglf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xf0]
752 vavglf %v0, %v0, %v31
753 vavglf %v0, %v31, %v0
754 vavglf %v31, %v0, %v0
758 #CHECK: vavglg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xf0]
759 #CHECK: vavglg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xf0]
760 #CHECK: vavglg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xf0]
764 vavglg %v0, %v0, %v31
765 vavglg %v0, %v31, %v0
766 vavglg %v31, %v0, %v0
770 #CHECK: vavglh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xf0]
771 #CHECK: vavglh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xf0]
772 #CHECK: vavglh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xf0]
776 vavglh %v0, %v0, %v31
777 vavglh %v0, %v31, %v0
778 vavglh %v31, %v0, %v0
786 #CHECK: vcdg %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc3]
787 #CHECK: vcdg %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc3]
795 vcdg %v0, %v31, 0, 0, 0
796 vcdg %v31, %v0, 0, 0, 0
803 #CHECK: vcdgb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xc3]
804 #CHECK: vcdgb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xc3]
811 vcdgb %v0, %v31, 0, 0
812 vcdgb %v31, %v0, 0, 0
820 #CHECK: vcdlg %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc1]
821 #CHECK: vcdlg %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc1]
829 vcdlg %v0, %v31, 0, 0, 0
830 vcdlg %v31, %v0, 0, 0, 0
837 #CHECK: vcdlgb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xc1]
838 #CHECK: vcdlgb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xc1]
845 vcdlgb %v0, %v31, 0, 0
846 vcdlgb %v31, %v0, 0, 0
852 #CHECK: vceq %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf8]
853 #CHECK: vceq %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf8]
854 #CHECK: vceq %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf8]
860 vceq %v0, %v0, %v31, 0, 0
861 vceq %v0, %v31, %v0, 0, 0
862 vceq %v31, %v0, %v0, 0, 0
866 #CHECK: vceqb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf8]
867 #CHECK: vceqb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf8]
868 #CHECK: vceqb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf8]
873 vceqb %v0, %v0, %v31
874 vceqb %v0, %v31, %v0
875 vceqb %v31, %v0, %v0
880 #CHECK: vceqf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xf8]
881 #CHECK: vceqf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xf8]
882 #CHECK: vceqf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xf8]
887 vceqf %v0, %v0, %v31
888 vceqf %v0, %v31, %v0
889 vceqf %v31, %v0, %v0
894 #CHECK: vceqg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xf8]
895 #CHECK: vceqg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xf8]
896 #CHECK: vceqg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xf8]
901 vceqg %v0, %v0, %v31
902 vceqg %v0, %v31, %v0
903 vceqg %v31, %v0, %v0
908 #CHECK: vceqh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xf8]
909 #CHECK: vceqh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xf8]
910 #CHECK: vceqh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xf8]
915 vceqh %v0, %v0, %v31
916 vceqh %v0, %v31, %v0
917 vceqh %v31, %v0, %v0
926 #CHECK: vcgd %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc2]
927 #CHECK: vcgd %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc2]
935 vcgd %v0, %v31, 0, 0, 0
936 vcgd %v31, %v0, 0, 0, 0
943 #CHECK: vcgdb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xc2]
944 #CHECK: vcgdb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xc2]
951 vcgdb %v0, %v31, 0, 0
952 vcgdb %v31, %v0, 0, 0
958 #CHECK: vch %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfb]
959 #CHECK: vch %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfb]
960 #CHECK: vch %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xfb]
966 vch %v0, %v0, %v31, 0, 0
967 vch %v0, %v31, %v0, 0, 0
968 vch %v31, %v0, %v0, 0, 0
972 #CHECK: vchb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfb]
973 #CHECK: vchb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfb]
974 #CHECK: vchb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xfb]
979 vchb %v0, %v0, %v31
980 vchb %v0, %v31, %v0
981 vchb %v31, %v0, %v0
986 #CHECK: vchf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xfb]
987 #CHECK: vchf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xfb]
988 #CHECK: vchf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xfb]
993 vchf %v0, %v0, %v31
994 vchf %v0, %v31, %v0
995 vchf %v31, %v0, %v0
1000 #CHECK: vchg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xfb]
1001 #CHECK: vchg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xfb]
1002 #CHECK: vchg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xfb]
1007 vchg %v0, %v0, %v31
1008 vchg %v0, %v31, %v0
1009 vchg %v31, %v0, %v0
1014 #CHECK: vchh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xfb]
1015 #CHECK: vchh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xfb]
1016 #CHECK: vchh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xfb]
1021 vchh %v0, %v0, %v31
1022 vchh %v0, %v31, %v0
1023 vchh %v31, %v0, %v0
1030 #CHECK: vchl %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf9]
1031 #CHECK: vchl %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf9]
1032 #CHECK: vchl %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf9]
1038 vchl %v0, %v0, %v31, 0, 0
1039 vchl %v0, %v31, %v0, 0, 0
1040 vchl %v31, %v0, %v0, 0, 0
1044 #CHECK: vchlb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf9]
1045 #CHECK: vchlb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf9]
1046 #CHECK: vchlb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf9]
1051 vchlb %v0, %v0, %v31
1052 vchlb %v0, %v31, %v0
1053 vchlb %v31, %v0, %v0
1058 #CHECK: vchlf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xf9]
1059 #CHECK: vchlf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xf9]
1060 #CHECK: vchlf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xf9]
1065 vchlf %v0, %v0, %v31
1066 vchlf %v0, %v31, %v0
1067 vchlf %v31, %v0, %v0
1072 #CHECK: vchlg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xf9]
1073 #CHECK: vchlg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xf9]
1074 #CHECK: vchlg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xf9]
1079 vchlg %v0, %v0, %v31
1080 vchlg %v0, %v31, %v0
1081 vchlg %v31, %v0, %v0
1086 #CHECK: vchlh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xf9]
1087 #CHECK: vchlh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xf9]
1088 #CHECK: vchlh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xf9]
1093 vchlh %v0, %v0, %v31
1094 vchlh %v0, %v31, %v0
1095 vchlh %v31, %v0, %v0
1100 #CHECK: vcksm %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x66]
1101 #CHECK: vcksm %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x66]
1102 #CHECK: vcksm %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x66]
1106 vcksm %v0, %v0, %v31
1107 vcksm %v0, %v31, %v0
1108 vcksm %v31, %v0, %v0
1116 #CHECK: vclgd %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc0]
1117 #CHECK: vclgd %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc0]
1125 vclgd %v0, %v31, 0, 0, 0
1126 vclgd %v31, %v0, 0, 0, 0
1133 #CHECK: vclgdb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xc0]
1134 #CHECK: vclgdb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xc0]
1141 vclgdb %v0, %v31, 0, 0
1142 vclgdb %v31, %v0, 0, 0
1148 #CHECK: vclz %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x53]
1150 #CHECK: vclz %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x53]
1156 vclz %v0, %v31, 0
1158 vclz %v31, %v0, 0
1163 #CHECK: vclzb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x53]
1165 #CHECK: vclzb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x53]
1170 vclzb %v0, %v31
1172 vclzb %v31, %v0
1177 #CHECK: vclzf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x53]
1179 #CHECK: vclzf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x53]
1184 vclzf %v0, %v31
1186 vclzf %v31, %v0
1191 #CHECK: vclzg %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x53]
1193 #CHECK: vclzg %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x53]
1198 vclzg %v0, %v31
1200 vclzg %v31, %v0
1205 #CHECK: vclzh %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x53]
1207 #CHECK: vclzh %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x53]
1212 vclzh %v0, %v31
1214 vclzh %v31, %v0
1220 #CHECK: vctz %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x52]
1222 #CHECK: vctz %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x52]
1228 vctz %v0, %v31, 0
1230 vctz %v31, %v0, 0
1235 #CHECK: vctzb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x52]
1237 #CHECK: vctzb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x52]
1242 vctzb %v0, %v31
1244 vctzb %v31, %v0
1249 #CHECK: vctzf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x52]
1251 #CHECK: vctzf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x52]
1256 vctzf %v0, %v31
1258 vctzf %v31, %v0
1263 #CHECK: vctzg %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x52]
1265 #CHECK: vctzg %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x52]
1270 vctzg %v0, %v31
1272 vctzg %v31, %v0
1277 #CHECK: vctzh %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x52]
1279 #CHECK: vctzh %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x52]
1284 vctzh %v0, %v31
1286 vctzh %v31, %v0
1292 #CHECK: vec %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xdb]
1294 #CHECK: vec %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xdb]
1300 vec %v0, %v31, 0
1302 vec %v31, %v0, 0
1307 #CHECK: vecb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xdb]
1309 #CHECK: vecb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xdb]
1314 vecb %v0, %v31
1316 vecb %v31, %v0
1321 #CHECK: vecf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xdb]
1323 #CHECK: vecf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xdb]
1328 vecf %v0, %v31
1330 vecf %v31, %v0
1335 #CHECK: vecg %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xdb]
1337 #CHECK: vecg %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xdb]
1342 vecg %v0, %v31
1344 vecg %v31, %v0
1349 #CHECK: vech %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xdb]
1351 #CHECK: vech %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xdb]
1356 vech %v0, %v31
1358 vech %v31, %v0
1364 #CHECK: vecl %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd9]
1366 #CHECK: vecl %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd9]
1372 vecl %v0, %v31, 0
1374 vecl %v31, %v0, 0
1379 #CHECK: veclb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd9]
1381 #CHECK: veclb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd9]
1386 veclb %v0, %v31
1388 veclb %v31, %v0
1393 #CHECK: veclf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xd9]
1395 #CHECK: veclf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xd9]
1400 veclf %v0, %v31
1402 veclf %v31, %v0
1407 #CHECK: veclg %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xd9]
1409 #CHECK: veclg %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xd9]
1414 veclg %v0, %v31
1416 veclg %v31, %v0
1421 #CHECK: veclh %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xd9]
1423 #CHECK: veclh %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xd9]
1428 veclh %v0, %v31
1430 veclh %v31, %v0
1436 #CHECK: verim %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x72]
1437 #CHECK: verim %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x72]
1438 #CHECK: verim %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x72]
1444 verim %v0, %v0, %v31, 0, 0
1445 verim %v0, %v31, %v0, 0, 0
1446 verim %v31, %v0, %v0, 0, 0
1451 #CHECK: verimb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x72]
1452 #CHECK: verimb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x72]
1453 #CHECK: verimb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x72]
1458 verimb %v0, %v0, %v31, 0
1459 verimb %v0, %v31, %v0, 0
1460 verimb %v31, %v0, %v0, 0
1465 #CHECK: verimf %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x72]
1466 #CHECK: verimf %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x72]
1467 #CHECK: verimf %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x72]
1472 verimf %v0, %v0, %v31, 0
1473 verimf %v0, %v31, %v0, 0
1474 verimf %v31, %v0, %v0, 0
1479 #CHECK: verimg %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x72]
1480 #CHECK: verimg %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x72]
1481 #CHECK: verimg %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x72]
1486 verimg %v0, %v0, %v31, 0
1487 verimg %v0, %v31, %v0, 0
1488 verimg %v31, %v0, %v0, 0
1493 #CHECK: verimh %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x72]
1494 #CHECK: verimh %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x72]
1495 #CHECK: verimh %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x72]
1500 verimh %v0, %v0, %v31, 0
1501 verimh %v0, %v31, %v0, 0
1502 verimh %v31, %v0, %v0, 0
1509 #CHECK: verll %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x33]
1510 #CHECK: verll %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x33]
1517 verll %v0, %v31, 0, 0
1518 verll %v31, %v0, 0, 0
1524 #CHECK: verllb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x33]
1525 #CHECK: verllb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x33]
1531 verllb %v0, %v31, 0
1532 verllb %v31, %v0, 0
1538 #CHECK: verllf %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x33]
1539 #CHECK: verllf %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x33]
1545 verllf %v0, %v31, 0
1546 verllf %v31, %v0, 0
1552 #CHECK: verllg %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x33]
1553 #CHECK: verllg %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x33]
1559 verllg %v0, %v31, 0
1560 verllg %v31, %v0, 0
1566 #CHECK: verllh %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x33]
1567 #CHECK: verllh %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x33]
1573 verllh %v0, %v31, 0
1574 verllh %v31, %v0, 0
1579 #CHECK: verllv %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x73]
1580 #CHECK: verllv %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x73]
1581 #CHECK: verllv %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x73]
1586 verllv %v0, %v0, %v31, 0
1587 verllv %v0, %v31, %v0, 0
1588 verllv %v31, %v0, %v0, 0
1592 #CHECK: verllvb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x73]
1593 #CHECK: verllvb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x73]
1594 #CHECK: verllvb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x73]
1598 verllvb %v0, %v0, %v31
1599 verllvb %v0, %v31, %v0
1600 verllvb %v31, %v0, %v0
1604 #CHECK: verllvf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x73]
1605 #CHECK: verllvf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x73]
1606 #CHECK: verllvf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x73]
1610 verllvf %v0, %v0, %v31
1611 verllvf %v0, %v31, %v0
1612 verllvf %v31, %v0, %v0
1616 #CHECK: verllvg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x73]
1617 #CHECK: verllvg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x73]
1618 #CHECK: verllvg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x73]
1622 verllvg %v0, %v0, %v31
1623 verllvg %v0, %v31, %v0
1624 verllvg %v31, %v0, %v0
1628 #CHECK: verllvh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x73]
1629 #CHECK: verllvh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x73]
1630 #CHECK: verllvh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x73]
1634 verllvh %v0, %v0, %v31
1635 verllvh %v0, %v31, %v0
1636 verllvh %v31, %v0, %v0
1643 #CHECK: vesl %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x30]
1644 #CHECK: vesl %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x30]
1651 vesl %v0, %v31, 0, 0
1652 vesl %v31, %v0, 0, 0
1658 #CHECK: veslb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x30]
1659 #CHECK: veslb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x30]
1665 veslb %v0, %v31, 0
1666 veslb %v31, %v0, 0
1672 #CHECK: veslf %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x30]
1673 #CHECK: veslf %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x30]
1679 veslf %v0, %v31, 0
1680 veslf %v31, %v0, 0
1686 #CHECK: veslg %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x30]
1687 #CHECK: veslg %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x30]
1693 veslg %v0, %v31, 0
1694 veslg %v31, %v0, 0
1700 #CHECK: veslh %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x30]
1701 #CHECK: veslh %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x30]
1707 veslh %v0, %v31, 0
1708 veslh %v31, %v0, 0
1713 #CHECK: veslv %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x70]
1714 #CHECK: veslv %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x70]
1715 #CHECK: veslv %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x70]
1720 veslv %v0, %v0, %v31, 0
1721 veslv %v0, %v31, %v0, 0
1722 veslv %v31, %v0, %v0, 0
1726 #CHECK: veslvb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x70]
1727 #CHECK: veslvb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x70]
1728 #CHECK: veslvb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x70]
1732 veslvb %v0, %v0, %v31
1733 veslvb %v0, %v31, %v0
1734 veslvb %v31, %v0, %v0
1738 #CHECK: veslvf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x70]
1739 #CHECK: veslvf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x70]
1740 #CHECK: veslvf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x70]
1744 veslvf %v0, %v0, %v31
1745 veslvf %v0, %v31, %v0
1746 veslvf %v31, %v0, %v0
1750 #CHECK: veslvg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x70]
1751 #CHECK: veslvg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x70]
1752 #CHECK: veslvg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x70]
1756 veslvg %v0, %v0, %v31
1757 veslvg %v0, %v31, %v0
1758 veslvg %v31, %v0, %v0
1762 #CHECK: veslvh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x70]
1763 #CHECK: veslvh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x70]
1764 #CHECK: veslvh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x70]
1768 veslvh %v0, %v0, %v31
1769 veslvh %v0, %v31, %v0
1770 veslvh %v31, %v0, %v0
1777 #CHECK: vesra %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x3a]
1778 #CHECK: vesra %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x3a]
1785 vesra %v0, %v31, 0, 0
1786 vesra %v31, %v0, 0, 0
1792 #CHECK: vesrab %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x3a]
1793 #CHECK: vesrab %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x3a]
1799 vesrab %v0, %v31, 0
1800 vesrab %v31, %v0, 0
1806 #CHECK: vesraf %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x3a]
1807 #CHECK: vesraf %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x3a]
1813 vesraf %v0, %v31, 0
1814 vesraf %v31, %v0, 0
1820 #CHECK: vesrag %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x3a]
1821 #CHECK: vesrag %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x3a]
1827 vesrag %v0, %v31, 0
1828 vesrag %v31, %v0, 0
1834 #CHECK: vesrah %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x3a]
1835 #CHECK: vesrah %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x3a]
1841 vesrah %v0, %v31, 0
1842 vesrah %v31, %v0, 0
1847 #CHECK: vesrav %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x7a]
1848 #CHECK: vesrav %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x7a]
1849 #CHECK: vesrav %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x7a]
1854 vesrav %v0, %v0, %v31, 0
1855 vesrav %v0, %v31, %v0, 0
1856 vesrav %v31, %v0, %v0, 0
1860 #CHECK: vesravb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x7a]
1861 #CHECK: vesravb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x7a]
1862 #CHECK: vesravb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x7a]
1866 vesravb %v0, %v0, %v31
1867 vesravb %v0, %v31, %v0
1868 vesravb %v31, %v0, %v0
1872 #CHECK: vesravf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x7a]
1873 #CHECK: vesravf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x7a]
1874 #CHECK: vesravf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x7a]
1878 vesravf %v0, %v0, %v31
1879 vesravf %v0, %v31, %v0
1880 vesravf %v31, %v0, %v0
1884 #CHECK: vesravg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x7a]
1885 #CHECK: vesravg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x7a]
1886 #CHECK: vesravg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x7a]
1890 vesravg %v0, %v0, %v31
1891 vesravg %v0, %v31, %v0
1892 vesravg %v31, %v0, %v0
1896 #CHECK: vesravh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x7a]
1897 #CHECK: vesravh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x7a]
1898 #CHECK: vesravh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x7a]
1902 vesravh %v0, %v0, %v31
1903 vesravh %v0, %v31, %v0
1904 vesravh %v31, %v0, %v0
1911 #CHECK: vesrl %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x38]
1912 #CHECK: vesrl %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x38]
1919 vesrl %v0, %v31, 0, 0
1920 vesrl %v31, %v0, 0, 0
1926 #CHECK: vesrlb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x38]
1927 #CHECK: vesrlb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x38]
1933 vesrlb %v0, %v31, 0
1934 vesrlb %v31, %v0, 0
1940 #CHECK: vesrlf %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x38]
1941 #CHECK: vesrlf %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x38]
1947 vesrlf %v0, %v31, 0
1948 vesrlf %v31, %v0, 0
1954 #CHECK: vesrlg %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x38]
1955 #CHECK: vesrlg %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x38]
1961 vesrlg %v0, %v31, 0
1962 vesrlg %v31, %v0, 0
1968 #CHECK: vesrlh %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x38]
1969 #CHECK: vesrlh %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x38]
1975 vesrlh %v0, %v31, 0
1976 vesrlh %v31, %v0, 0
1981 #CHECK: vesrlv %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x78]
1982 #CHECK: vesrlv %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x78]
1983 #CHECK: vesrlv %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x78]
1988 vesrlv %v0, %v0, %v31, 0
1989 vesrlv %v0, %v31, %v0, 0
1990 vesrlv %v31, %v0, %v0, 0
1994 #CHECK: vesrlvb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x78]
1995 #CHECK: vesrlvb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x78]
1996 #CHECK: vesrlvb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x78]
2000 vesrlvb %v0, %v0, %v31
2001 vesrlvb %v0, %v31, %v0
2002 vesrlvb %v31, %v0, %v0
2006 #CHECK: vesrlvf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x78]
2007 #CHECK: vesrlvf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x78]
2008 #CHECK: vesrlvf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x78]
2012 vesrlvf %v0, %v0, %v31
2013 vesrlvf %v0, %v31, %v0
2014 vesrlvf %v31, %v0, %v0
2018 #CHECK: vesrlvg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x78]
2019 #CHECK: vesrlvg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x78]
2020 #CHECK: vesrlvg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x78]
2024 vesrlvg %v0, %v0, %v31
2025 vesrlvg %v0, %v31, %v0
2026 vesrlvg %v31, %v0, %v0
2030 #CHECK: vesrlvh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x78]
2031 #CHECK: vesrlvh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x78]
2032 #CHECK: vesrlvh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x78]
2036 vesrlvh %v0, %v0, %v31
2037 vesrlvh %v0, %v31, %v0
2038 vesrlvh %v31, %v0, %v0
2044 #CHECK: vfa %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xe3]
2045 #CHECK: vfa %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xe3]
2046 #CHECK: vfa %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xe3]
2052 vfa %v0, %v0, %v31, 0, 0
2053 vfa %v0, %v31, %v0, 0, 0
2054 vfa %v31, %v0, %v0, 0, 0
2058 #CHECK: vfadb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xe3]
2059 #CHECK: vfadb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xe3]
2060 #CHECK: vfadb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xe3]
2064 vfadb %v0, %v0, %v31
2065 vfadb %v0, %v31, %v0
2066 vfadb %v31, %v0, %v0
2075 #CHECK: vfae %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x82]
2077 #CHECK: vfae %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x82]
2079 #CHECK: vfae %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x82]
2089 vfae %v0, %v0, %v31, 0
2091 vfae %v0, %v31, %v0, 0
2093 vfae %v31, %v0, %v0, 0
2101 #CHECK: vfaeb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x82]
2103 #CHECK: vfaeb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x82]
2105 #CHECK: vfaeb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x82]
2117 vfaeb %v0, %v0, %v31
2119 vfaeb %v0, %v31, %v0
2121 vfaeb %v31, %v0, %v0
2133 #CHECK: vfaef %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x82]
2135 #CHECK: vfaef %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x82]
2137 #CHECK: vfaef %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x82]
2149 vfaef %v0, %v0, %v31
2151 vfaef %v0, %v31, %v0
2153 vfaef %v31, %v0, %v0
2165 #CHECK: vfaeh %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x82]
2167 #CHECK: vfaeh %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x82]
2169 #CHECK: vfaeh %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x82]
2181 vfaeh %v0, %v0, %v31
2183 vfaeh %v0, %v31, %v0
2185 vfaeh %v31, %v0, %v0
2197 #CHECK: vfce %v0, %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xe8]
2198 #CHECK: vfce %v0, %v31, %v0, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xe8]
2199 #CHECK: vfce %v31, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xe8]
2206 vfce %v0, %v0, %v31, 0, 0, 0
2207 vfce %v0, %v31, %v0, 0, 0, 0
2208 vfce %v31, %v0, %v0, 0, 0, 0
2212 #CHECK: vfcedb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xe8]
2213 #CHECK: vfcedb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xe8]
2214 #CHECK: vfcedb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xe8]
2218 vfcedb %v0, %v0, %v31
2219 vfcedb %v0, %v31, %v0
2220 vfcedb %v31, %v0, %v0
2224 #CHECK: vfcedbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x32,0xe8]
2225 #CHECK: vfcedbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x34,0xe8]
2226 #CHECK: vfcedbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x38,0xe8]
2230 vfcedbs %v0, %v0, %v31
2231 vfcedbs %v0, %v31, %v0
2232 vfcedbs %v31, %v0, %v0
2239 #CHECK: vfch %v0, %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xeb]
2240 #CHECK: vfch %v0, %v31, %v0, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xeb]
2241 #CHECK: vfch %v31, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xeb]
2248 vfch %v0, %v0, %v31, 0, 0, 0
2249 vfch %v0, %v31, %v0, 0, 0, 0
2250 vfch %v31, %v0, %v0, 0, 0, 0
2254 #CHECK: vfchdb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xeb]
2255 #CHECK: vfchdb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xeb]
2256 #CHECK: vfchdb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xeb]
2260 vfchdb %v0, %v0, %v31
2261 vfchdb %v0, %v31, %v0
2262 vfchdb %v31, %v0, %v0
2266 #CHECK: vfchdbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x32,0xeb]
2267 #CHECK: vfchdbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x34,0xeb]
2268 #CHECK: vfchdbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x38,0xeb]
2272 vfchdbs %v0, %v0, %v31
2273 vfchdbs %v0, %v31, %v0
2274 vfchdbs %v31, %v0, %v0
2281 #CHECK: vfche %v0, %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xea]
2282 #CHECK: vfche %v0, %v31, %v0, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xea]
2283 #CHECK: vfche %v31, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xea]
2290 vfche %v0, %v0, %v31, 0, 0, 0
2291 vfche %v0, %v31, %v0, 0, 0, 0
2292 vfche %v31, %v0, %v0, 0, 0, 0
2296 #CHECK: vfchedb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xea]
2297 #CHECK: vfchedb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xea]
2298 #CHECK: vfchedb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xea]
2302 vfchedb %v0, %v0, %v31
2303 vfchedb %v0, %v31, %v0
2304 vfchedb %v31, %v0, %v0
2308 #CHECK: vfchedbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x32,0xea]
2309 #CHECK: vfchedbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x34,0xea]
2310 #CHECK: vfchedbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x38,0xea]
2314 vfchedbs %v0, %v0, %v31
2315 vfchedbs %v0, %v31, %v0
2316 vfchedbs %v31, %v0, %v0
2322 #CHECK: vfd %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xe5]
2323 #CHECK: vfd %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xe5]
2324 #CHECK: vfd %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xe5]
2330 vfd %v0, %v0, %v31, 0, 0
2331 vfd %v0, %v31, %v0, 0, 0
2332 vfd %v31, %v0, %v0, 0, 0
2336 #CHECK: vfddb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xe5]
2337 #CHECK: vfddb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xe5]
2338 #CHECK: vfddb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xe5]
2342 vfddb %v0, %v0, %v31
2343 vfddb %v0, %v31, %v0
2344 vfddb %v31, %v0, %v0
2353 #CHECK: vfee %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x80]
2355 #CHECK: vfee %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x80]
2357 #CHECK: vfee %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x80]
2367 vfee %v0, %v0, %v31, 0
2369 vfee %v0, %v31, %v0, 0
2371 vfee %v31, %v0, %v0, 0
2379 #CHECK: vfeeb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x80]
2381 #CHECK: vfeeb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x80]
2383 #CHECK: vfeeb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x80]
2393 vfeeb %v0, %v0, %v31
2395 vfeeb %v0, %v31, %v0
2397 vfeeb %v31, %v0, %v0
2407 #CHECK: vfeef %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x80]
2409 #CHECK: vfeef %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x80]
2411 #CHECK: vfeef %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x80]
2421 vfeef %v0, %v0, %v31
2423 vfeef %v0, %v31, %v0
2425 vfeef %v31, %v0, %v0
2435 #CHECK: vfeeh %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x80]
2437 #CHECK: vfeeh %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x80]
2439 #CHECK: vfeeh %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x80]
2449 vfeeh %v0, %v0, %v31
2451 vfeeh %v0, %v31, %v0
2453 vfeeh %v31, %v0, %v0
2465 #CHECK: vfene %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x81]
2467 #CHECK: vfene %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x81]
2469 #CHECK: vfene %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x81]
2479 vfene %v0, %v0, %v31, 0
2481 vfene %v0, %v31, %v0, 0
2483 vfene %v31, %v0, %v0, 0
2491 #CHECK: vfeneb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x81]
2493 #CHECK: vfeneb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x81]
2495 #CHECK: vfeneb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x81]
2505 vfeneb %v0, %v0, %v31
2507 vfeneb %v0, %v31, %v0
2509 vfeneb %v31, %v0, %v0
2519 #CHECK: vfenef %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x81]
2521 #CHECK: vfenef %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x81]
2523 #CHECK: vfenef %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x81]
2533 vfenef %v0, %v0, %v31
2535 vfenef %v0, %v31, %v0
2537 vfenef %v31, %v0, %v0
2547 #CHECK: vfeneh %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x81]
2549 #CHECK: vfeneh %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x81]
2551 #CHECK: vfeneh %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x81]
2561 vfeneh %v0, %v0, %v31
2563 vfeneh %v0, %v31, %v0
2565 vfeneh %v31, %v0, %v0
2576 #CHECK: vfi %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc7]
2577 #CHECK: vfi %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc7]
2585 vfi %v0, %v31, 0, 0, 0
2586 vfi %v31, %v0, 0, 0, 0
2593 #CHECK: vfidb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xc7]
2594 #CHECK: vfidb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xc7]
2601 vfidb %v0, %v31, 0, 0
2602 vfidb %v31, %v0, 0, 0
2607 #CHECK: vflcdb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xcc]
2609 #CHECK: vflcdb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xcc]
2614 vflcdb %v0, %v31
2616 vflcdb %v31, %v0
2621 #CHECK: vflndb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x10,0x34,0xcc]
2623 #CHECK: vflndb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x38,0xcc]
2628 vflndb %v0, %v31
2630 vflndb %v31, %v0
2635 #CHECK: vflpdb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x20,0x34,0xcc]
2637 #CHECK: vflpdb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x20,0x38,0xcc]
2642 vflpdb %v0, %v31
2644 vflpdb %v31, %v0
2650 #CHECK: vfm %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xe7]
2651 #CHECK: vfm %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xe7]
2652 #CHECK: vfm %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xe7]
2658 vfm %v0, %v0, %v31, 0, 0
2659 vfm %v0, %v31, %v0, 0, 0
2660 vfm %v31, %v0, %v0, 0, 0
2666 #CHECK: vfma %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x8f]
2667 #CHECK: vfma %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x8f]
2668 #CHECK: vfma %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x8f]
2669 #CHECK: vfma %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x8f]
2675 vfma %v0, %v0, %v0, %v31, 0, 0
2676 vfma %v0, %v0, %v31, %v0, 0, 0
2677 vfma %v0, %v31, %v0, %v0, 0, 0
2678 vfma %v31, %v0, %v0, %v0, 0, 0
2682 #CHECK: vfmadb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0x8f]
2683 #CHECK: vfmadb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0x8f]
2684 #CHECK: vfmadb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0x8f]
2685 #CHECK: vfmadb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0x8f]
2689 vfmadb %v0, %v0, %v0, %v31
2690 vfmadb %v0, %v0, %v31, %v0
2691 vfmadb %v0, %v31, %v0, %v0
2692 vfmadb %v31, %v0, %v0, %v0
2696 #CHECK: vfmdb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xe7]
2697 #CHECK: vfmdb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xe7]
2698 #CHECK: vfmdb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xe7]
2702 vfmdb %v0, %v0, %v31
2703 vfmdb %v0, %v31, %v0
2704 vfmdb %v31, %v0, %v0
2710 #CHECK: vfms %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x8e]
2711 #CHECK: vfms %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x8e]
2712 #CHECK: vfms %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x8e]
2713 #CHECK: vfms %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x8e]
2719 vfms %v0, %v0, %v0, %v31, 0, 0
2720 vfms %v0, %v0, %v31, %v0, 0, 0
2721 vfms %v0, %v31, %v0, %v0, 0, 0
2722 vfms %v31, %v0, %v0, %v0, 0, 0
2726 #CHECK: vfmsdb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0x8e]
2727 #CHECK: vfmsdb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0x8e]
2728 #CHECK: vfmsdb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0x8e]
2729 #CHECK: vfmsdb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0x8e]
2733 vfmsdb %v0, %v0, %v0, %v31
2734 vfmsdb %v0, %v0, %v31, %v0
2735 vfmsdb %v0, %v31, %v0, %v0
2736 vfmsdb %v31, %v0, %v0, %v0
2744 #CHECK: vfpso %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xcc]
2746 #CHECK: vfpso %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xcc]
2754 vfpso %v0, %v31, 0, 0, 0
2756 vfpso %v31, %v0, 0, 0, 0
2761 #CHECK: vfpsodb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xcc]
2763 #CHECK: vfpsodb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xcc]
2769 vfpsodb %v0, %v31, 0
2771 vfpsodb %v31, %v0, 0
2777 #CHECK: vfs %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xe2]
2778 #CHECK: vfs %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xe2]
2779 #CHECK: vfs %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xe2]
2785 vfs %v0, %v0, %v31, 0, 0
2786 vfs %v0, %v31, %v0, 0, 0
2787 vfs %v31, %v0, %v0, 0, 0
2791 #CHECK: vfsdb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xe2]
2792 #CHECK: vfsdb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xe2]
2793 #CHECK: vfsdb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xe2]
2797 vfsdb %v0, %v0, %v31
2798 vfsdb %v0, %v31, %v0
2799 vfsdb %v31, %v0, %v0
2806 #CHECK: vfsq %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xce]
2808 #CHECK: vfsq %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xce]
2815 vfsq %v0, %v31, 0, 0
2817 vfsq %v31, %v0, 0, 0
2822 #CHECK: vfsqdb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xce]
2824 #CHECK: vfsqdb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xce]
2829 vfsqdb %v0, %v31
2831 vfsqdb %v31, %v0
2839 #CHECK: vftci %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x4a]
2841 #CHECK: vftci %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x4a]
2849 vftci %v0, %v31, 0, 0, 0
2851 vftci %v31, %v0, 0, 0, 0
2857 #CHECK: vftcidb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x4a]
2859 #CHECK: vftcidb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x4a]
2865 vftcidb %v0, %v31, 0
2867 vftcidb %v31, %v0, 0
2873 #CHECK: vgbm %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x44]
2879 vgbm %v31, 0
2887 #CHECK: vgef %v0, 0(%v31,%r1), 0 # encoding: [0xe7,0x0f,0x10,0x00,0x04,0x13]
2890 #CHECK: vgef %v31, 0(%v0,%r1), 0 # encoding: [0xe7,0xf0,0x10,0x00,0x08,0x13]
2901 #CHECK: vgef %v0, 0(%v31,%r1), 0 # encoding: [0xe7,0x0f,0x10,0x00,0x04,0x13]
2904 #CHECK: vgef %v31, 0(%v0,%r1), 0 # encoding: [0xe7,0xf0,0x10,0x00,0x08,0x13]
2912 vgef %v0, 0(%v31,%r1), 0
2915 vgef %v31, 0(%v0,%r1), 0
2937 #CHECK: vgeg %v0, 0(%v31,%r1), 0 # encoding: [0xe7,0x0f,0x10,0x00,0x04,0x12]
2940 #CHECK: vgeg %v31, 0(%v0,%r1), 0 # encoding: [0xe7,0xf0,0x10,0x00,0x08,0x12]
2951 #CHECK: vgeg %v0, 0(%v31,%r1), 0 # encoding: [0xe7,0x0f,0x10,0x00,0x04,0x12]
2954 #CHECK: vgeg %v31, 0(%v0,%r1), 0 # encoding: [0xe7,0xf0,0x10,0x00,0x08,0x12]
2962 vgeg %v0, 0(%v31,%r1), 0
2965 vgeg %v31, 0(%v0,%r1), 0
2985 #CHECK: vgfm %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xb4]
2986 #CHECK: vgfm %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xb4]
2987 #CHECK: vgfm %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xb4]
2992 vgfm %v0, %v0, %v31, 0
2993 vgfm %v0, %v31, %v0, 0
2994 vgfm %v31, %v0, %v0, 0
2999 #CHECK: vgfma %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xbc]
3000 #CHECK: vgfma %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xbc]
3001 #CHECK: vgfma %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xbc]
3002 #CHECK: vgfma %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xbc]
3007 vgfma %v0, %v0, %v0, %v31, 0
3008 vgfma %v0, %v0, %v31, %v0, 0
3009 vgfma %v0, %v31, %v0, %v0, 0
3010 vgfma %v31, %v0, %v0, %v0, 0
3014 #CHECK: vgfmab %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xbc]
3015 #CHECK: vgfmab %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xbc]
3016 #CHECK: vgfmab %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xbc]
3017 #CHECK: vgfmab %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xbc]
3021 vgfmab %v0, %v0, %v0, %v31
3022 vgfmab %v0, %v0, %v31, %v0
3023 vgfmab %v0, %v31, %v0, %v0
3024 vgfmab %v31, %v0, %v0, %v0
3028 #CHECK: vgfmaf %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0xbc]
3029 #CHECK: vgfmaf %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0xbc]
3030 #CHECK: vgfmaf %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0xbc]
3031 #CHECK: vgfmaf %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0xbc]
3035 vgfmaf %v0, %v0, %v0, %v31
3036 vgfmaf %v0, %v0, %v31, %v0
3037 vgfmaf %v0, %v31, %v0, %v0
3038 vgfmaf %v31, %v0, %v0, %v0
3042 #CHECK: vgfmag %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0xbc]
3043 #CHECK: vgfmag %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0xbc]
3044 #CHECK: vgfmag %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0xbc]
3045 #CHECK: vgfmag %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0xbc]
3049 vgfmag %v0, %v0, %v0, %v31
3050 vgfmag %v0, %v0, %v31, %v0
3051 vgfmag %v0, %v31, %v0, %v0
3052 vgfmag %v31, %v0, %v0, %v0
3056 #CHECK: vgfmah %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0xbc]
3057 #CHECK: vgfmah %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0xbc]
3058 #CHECK: vgfmah %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0xbc]
3059 #CHECK: vgfmah %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0xbc]
3063 vgfmah %v0, %v0, %v0, %v31
3064 vgfmah %v0, %v0, %v31, %v0
3065 vgfmah %v0, %v31, %v0, %v0
3066 vgfmah %v31, %v0, %v0, %v0
3070 #CHECK: vgfmb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xb4]
3071 #CHECK: vgfmb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xb4]
3072 #CHECK: vgfmb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xb4]
3076 vgfmb %v0, %v0, %v31
3077 vgfmb %v0, %v31, %v0
3078 vgfmb %v31, %v0, %v0
3082 #CHECK: vgfmf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xb4]
3083 #CHECK: vgfmf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xb4]
3084 #CHECK: vgfmf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xb4]
3088 vgfmf %v0, %v0, %v31
3089 vgfmf %v0, %v31, %v0
3090 vgfmf %v31, %v0, %v0
3094 #CHECK: vgfmg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xb4]
3095 #CHECK: vgfmg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xb4]
3096 #CHECK: vgfmg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xb4]
3100 vgfmg %v0, %v0, %v31
3101 vgfmg %v0, %v31, %v0
3102 vgfmg %v31, %v0, %v0
3106 #CHECK: vgfmh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xb4]
3107 #CHECK: vgfmh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xb4]
3108 #CHECK: vgfmh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xb4]
3112 vgfmh %v0, %v0, %v31
3113 vgfmh %v0, %v31, %v0
3114 vgfmh %v31, %v0, %v0
3122 #CHECK: vgm %v31, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x46]
3130 vgm %v31, 0, 0, 0
3137 #CHECK: vgmb %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x46]
3144 vgmb %v31, 0, 0
3151 #CHECK: vgmf %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x46]
3158 vgmf %v31, 0, 0
3165 #CHECK: vgmg %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x46]
3172 vgmg %v31, 0, 0
3179 #CHECK: vgmh %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x46]
3186 vgmh %v31, 0, 0
3195 #CHECK: vistr %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x5c]
3197 #CHECK: vistr %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x5c]
3206 vistr %v0, %v31, 0
3208 vistr %v31, %v0, 0
3215 #CHECK: vistrb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x5c]
3217 #CHECK: vistrb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x5c]
3225 vistrb %v0, %v31
3227 vistrb %v31, %v0
3235 #CHECK: vistrf %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x5c]
3237 #CHECK: vistrf %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x5c]
3245 vistrf %v0, %v31
3247 vistrf %v31, %v0
3255 #CHECK: vistrh %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x5c]
3257 #CHECK: vistrh %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x5c]
3265 vistrh %v0, %v31
3267 vistrh %v31, %v0
3277 #CHECK: vl %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x06]
3286 vl %v31, 0
3295 #CHECK: vlbb %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x07]
3305 #CHECK: vlbb %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x07]
3314 vlbb %v31, 0, 0
3331 #CHECK: vlc %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xde]
3333 #CHECK: vlc %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xde]
3339 vlc %v0, %v31, 0
3341 vlc %v31, %v0, 0
3346 #CHECK: vlcb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xde]
3348 #CHECK: vlcb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xde]
3353 vlcb %v0, %v31
3355 vlcb %v31, %v0
3360 #CHECK: vlcf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xde]
3362 #CHECK: vlcf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xde]
3367 vlcf %v0, %v31
3369 vlcf %v31, %v0
3374 #CHECK: vlcg %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xde]
3376 #CHECK: vlcg %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xde]
3381 vlcg %v0, %v31
3383 vlcg %v31, %v0
3388 #CHECK: vlch %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xde]
3390 #CHECK: vlch %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xde]
3395 vlch %v0, %v31
3397 vlch %v31, %v0
3404 #CHECK: vlde %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc4]
3406 #CHECK: vlde %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc4]
3413 vlde %v0, %v31, 0, 0
3415 vlde %v31, %v0, 0, 0
3420 #CHECK: vldeb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xc4]
3422 #CHECK: vldeb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xc4]
3427 vldeb %v0, %v31
3429 vldeb %v31, %v0
3438 #CHECK: vleb %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x00]
3447 vleb %v31, 0, 0
3455 #CHECK: vled %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc5]
3456 #CHECK: vled %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc5]
3464 vled %v0, %v31, 0, 0, 0
3465 vled %v31, %v0, 0, 0, 0
3472 #CHECK: vledb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xc5]
3473 #CHECK: vledb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xc5]
3480 vledb %v0, %v31, 0, 0
3481 vledb %v31, %v0, 0, 0
3490 #CHECK: vlef %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x03]
3499 vlef %v31, 0, 0
3508 #CHECK: vleg %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x02]
3517 vleg %v31, 0, 0
3526 #CHECK: vleh %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x01]
3535 vleh %v31, 0, 0
3543 #CHECK: vleib %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x40]
3551 vleib %v31, 0, 0
3559 #CHECK: vleif %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x43]
3567 vleif %v31, 0, 0
3575 #CHECK: vleig %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x42]
3583 vleig %v31, 0, 0
3591 #CHECK: vleih %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x41]
3599 vleih %v31, 0, 0
3607 #CHECK: vlgv %r0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x21]
3616 vlgv %r0, %v31, 0, 0
3624 #CHECK: vlgvb %r0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x21]
3632 vlgvb %r0, %v31, 0
3640 #CHECK: vlgvf %r0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x21]
3648 vlgvf %r0, %v31, 0
3656 #CHECK: vlgvg %r0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x21]
3664 vlgvg %r0, %v31, 0
3672 #CHECK: vlgvh %r0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x21]
3680 vlgvh %r0, %v31, 0
3689 #CHECK: vll %v31, %r0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x37]
3697 vll %v31, %r0, 0
3706 #CHECK: vllez %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x04]
3715 vllez %v31, 0, 0
3723 #CHECK: vllezb %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x04]
3731 vllezb %v31, 0
3739 #CHECK: vllezf %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x04]
3747 vllezf %v31, 0
3755 #CHECK: vllezg %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x04]
3763 vllezg %v31, 0
3771 #CHECK: vllezh %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x04]
3779 vllezh %v31, 0
3786 #CHECK: vlm %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x36]
3787 #CHECK: vlm %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x36]
3794 vlm %v0, %v31, 0
3795 vlm %v31, %v0, 0
3801 #CHECK: vlp %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xdf]
3803 #CHECK: vlp %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xdf]
3809 vlp %v0, %v31, 0
3811 vlp %v31, %v0, 0
3816 #CHECK: vlpb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xdf]
3818 #CHECK: vlpb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xdf]
3823 vlpb %v0, %v31
3825 vlpb %v31, %v0
3830 #CHECK: vlpf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xdf]
3832 #CHECK: vlpf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xdf]
3837 vlpf %v0, %v31
3839 vlpf %v31, %v0
3844 #CHECK: vlpg %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xdf]
3846 #CHECK: vlpg %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xdf]
3851 vlpg %v0, %v31
3853 vlpg %v31, %v0
3858 #CHECK: vlph %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xdf]
3860 #CHECK: vlph %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xdf]
3865 vlph %v0, %v31
3867 vlph %v31, %v0
3872 #CHECK: vlr %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x56]
3874 #CHECK: vlr %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x56]
3879 vlr %v0, %v31
3881 vlr %v31, %v0
3890 #CHECK: vlrep %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x05]
3899 vlrep %v31, 0, 0
3907 #CHECK: vlrepb %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x05]
3915 vlrepb %v31, 0
3923 #CHECK: vlrepf %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x05]
3931 vlrepf %v31, 0
3939 #CHECK: vlrepg %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x05]
3947 vlrepg %v31, 0
3955 #CHECK: vlreph %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x05]
3963 vlreph %v31, 0
3972 #CHECK: vlvg %v31, %r0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x22]
3981 vlvg %v31, %r0, 0, 0
3989 #CHECK: vlvgb %v31, %r0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x22]
3997 vlvgb %v31, %r0, 0
4006 #CHECK: vlvgf %v31, %r0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x22]
4015 vlvgf %v31, %r0, 0
4023 #CHECK: vlvgg %v31, %r0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x22]
4031 vlvgg %v31, %r0, 0
4039 #CHECK: vlvgh %v31, %r0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x22]
4047 vlvgh %v31, %r0, 0
4054 #CHECK: vlvgp %v31, %r0, %r0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x62]
4061 vlvgp %v31, %r0, %r0
4066 #CHECK: vmae %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xae]
4067 #CHECK: vmae %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xae]
4068 #CHECK: vmae %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xae]
4069 #CHECK: vmae %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xae]
4074 vmae %v0, %v0, %v0, %v31, 0
4075 vmae %v0, %v0, %v31, %v0, 0
4076 vmae %v0, %v31, %v0, %v0, 0
4077 vmae %v31, %v0, %v0, %v0, 0
4081 #CHECK: vmaeb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xae]
4082 #CHECK: vmaeb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xae]
4083 #CHECK: vmaeb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xae]
4084 #CHECK: vmaeb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xae]
4088 vmaeb %v0, %v0, %v0, %v31
4089 vmaeb %v0, %v0, %v31, %v0
4090 vmaeb %v0, %v31, %v0, %v0
4091 vmaeb %v31, %v0, %v0, %v0
4095 #CHECK: vmaef %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0xae]
4096 #CHECK: vmaef %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0xae]
4097 #CHECK: vmaef %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0xae]
4098 #CHECK: vmaef %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0xae]
4102 vmaef %v0, %v0, %v0, %v31
4103 vmaef %v0, %v0, %v31, %v0
4104 vmaef %v0, %v31, %v0, %v0
4105 vmaef %v31, %v0, %v0, %v0
4109 #CHECK: vmaeh %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0xae]
4110 #CHECK: vmaeh %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0xae]
4111 #CHECK: vmaeh %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0xae]
4112 #CHECK: vmaeh %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0xae]
4116 vmaeh %v0, %v0, %v0, %v31
4117 vmaeh %v0, %v0, %v31, %v0
4118 vmaeh %v0, %v31, %v0, %v0
4119 vmaeh %v31, %v0, %v0, %v0
4124 #CHECK: vmah %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xab]
4125 #CHECK: vmah %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xab]
4126 #CHECK: vmah %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xab]
4127 #CHECK: vmah %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xab]
4132 vmah %v0, %v0, %v0, %v31, 0
4133 vmah %v0, %v0, %v31, %v0, 0
4134 vmah %v0, %v31, %v0, %v0, 0
4135 vmah %v31, %v0, %v0, %v0, 0
4139 #CHECK: vmahb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xab]
4140 #CHECK: vmahb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xab]
4141 #CHECK: vmahb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xab]
4142 #CHECK: vmahb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xab]
4146 vmahb %v0, %v0, %v0, %v31
4147 vmahb %v0, %v0, %v31, %v0
4148 vmahb %v0, %v31, %v0, %v0
4149 vmahb %v31, %v0, %v0, %v0
4153 #CHECK: vmahf %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0xab]
4154 #CHECK: vmahf %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0xab]
4155 #CHECK: vmahf %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0xab]
4156 #CHECK: vmahf %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0xab]
4160 vmahf %v0, %v0, %v0, %v31
4161 vmahf %v0, %v0, %v31, %v0
4162 vmahf %v0, %v31, %v0, %v0
4163 vmahf %v31, %v0, %v0, %v0
4167 #CHECK: vmahh %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0xab]
4168 #CHECK: vmahh %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0xab]
4169 #CHECK: vmahh %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0xab]
4170 #CHECK: vmahh %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0xab]
4174 vmahh %v0, %v0, %v0, %v31
4175 vmahh %v0, %v0, %v31, %v0
4176 vmahh %v0, %v31, %v0, %v0
4177 vmahh %v31, %v0, %v0, %v0
4182 #CHECK: vmal %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xaa]
4183 #CHECK: vmal %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xaa]
4184 #CHECK: vmal %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xaa]
4185 #CHECK: vmal %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xaa]
4190 vmal %v0, %v0, %v0, %v31, 0
4191 vmal %v0, %v0, %v31, %v0, 0
4192 vmal %v0, %v31, %v0, %v0, 0
4193 vmal %v31, %v0, %v0, %v0, 0
4197 #CHECK: vmalb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xaa]
4198 #CHECK: vmalb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xaa]
4199 #CHECK: vmalb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xaa]
4200 #CHECK: vmalb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xaa]
4204 vmalb %v0, %v0, %v0, %v31
4205 vmalb %v0, %v0, %v31, %v0
4206 vmalb %v0, %v31, %v0, %v0
4207 vmalb %v31, %v0, %v0, %v0
4212 #CHECK: vmale %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xac]
4213 #CHECK: vmale %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xac]
4214 #CHECK: vmale %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xac]
4215 #CHECK: vmale %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xac]
4220 vmale %v0, %v0, %v0, %v31, 0
4221 vmale %v0, %v0, %v31, %v0, 0
4222 vmale %v0, %v31, %v0, %v0, 0
4223 vmale %v31, %v0, %v0, %v0, 0
4227 #CHECK: vmaleb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xac]
4228 #CHECK: vmaleb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xac]
4229 #CHECK: vmaleb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xac]
4230 #CHECK: vmaleb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xac]
4234 vmaleb %v0, %v0, %v0, %v31
4235 vmaleb %v0, %v0, %v31, %v0
4236 vmaleb %v0, %v31, %v0, %v0
4237 vmaleb %v31, %v0, %v0, %v0
4241 #CHECK: vmalef %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0xac]
4242 #CHECK: vmalef %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0xac]
4243 #CHECK: vmalef %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0xac]
4244 #CHECK: vmalef %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0xac]
4248 vmalef %v0, %v0, %v0, %v31
4249 vmalef %v0, %v0, %v31, %v0
4250 vmalef %v0, %v31, %v0, %v0
4251 vmalef %v31, %v0, %v0, %v0
4255 #CHECK: vmaleh %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0xac]
4256 #CHECK: vmaleh %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0xac]
4257 #CHECK: vmaleh %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0xac]
4258 #CHECK: vmaleh %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0xac]
4262 vmaleh %v0, %v0, %v0, %v31
4263 vmaleh %v0, %v0, %v31, %v0
4264 vmaleh %v0, %v31, %v0, %v0
4265 vmaleh %v31, %v0, %v0, %v0
4269 #CHECK: vmalf %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0xaa]
4270 #CHECK: vmalf %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0xaa]
4271 #CHECK: vmalf %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0xaa]
4272 #CHECK: vmalf %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0xaa]
4276 vmalf %v0, %v0, %v0, %v31
4277 vmalf %v0, %v0, %v31, %v0
4278 vmalf %v0, %v31, %v0, %v0
4279 vmalf %v31, %v0, %v0, %v0
4284 #CHECK: vmalh %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xa9]
4285 #CHECK: vmalh %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa9]
4286 #CHECK: vmalh %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa9]
4287 #CHECK: vmalh %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa9]
4292 vmalh %v0, %v0, %v0, %v31, 0
4293 vmalh %v0, %v0, %v31, %v0, 0
4294 vmalh %v0, %v31, %v0, %v0, 0
4295 vmalh %v31, %v0, %v0, %v0, 0
4299 #CHECK: vmalhb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xa9]
4300 #CHECK: vmalhb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa9]
4301 #CHECK: vmalhb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa9]
4302 #CHECK: vmalhb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa9]
4306 vmalhb %v0, %v0, %v0, %v31
4307 vmalhb %v0, %v0, %v31, %v0
4308 vmalhb %v0, %v31, %v0, %v0
4309 vmalhb %v31, %v0, %v0, %v0
4313 #CHECK: vmalhf %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0xa9]
4314 #CHECK: vmalhf %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0xa9]
4315 #CHECK: vmalhf %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0xa9]
4316 #CHECK: vmalhf %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0xa9]
4320 vmalhf %v0, %v0, %v0, %v31
4321 vmalhf %v0, %v0, %v31, %v0
4322 vmalhf %v0, %v31, %v0, %v0
4323 vmalhf %v31, %v0, %v0, %v0
4327 #CHECK: vmalhh %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0xa9]
4328 #CHECK: vmalhh %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0xa9]
4329 #CHECK: vmalhh %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0xa9]
4330 #CHECK: vmalhh %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0xa9]
4334 vmalhh %v0, %v0, %v0, %v31
4335 vmalhh %v0, %v0, %v31, %v0
4336 vmalhh %v0, %v31, %v0, %v0
4337 vmalhh %v31, %v0, %v0, %v0
4341 #CHECK: vmalhw %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0xaa]
4342 #CHECK: vmalhw %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0xaa]
4343 #CHECK: vmalhw %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0xaa]
4344 #CHECK: vmalhw %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0xaa]
4348 vmalhw %v0, %v0, %v0, %v31
4349 vmalhw %v0, %v0, %v31, %v0
4350 vmalhw %v0, %v31, %v0, %v0
4351 vmalhw %v31, %v0, %v0, %v0
4356 #CHECK: vmalo %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xad]
4357 #CHECK: vmalo %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xad]
4358 #CHECK: vmalo %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xad]
4359 #CHECK: vmalo %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xad]
4364 vmalo %v0, %v0, %v0, %v31, 0
4365 vmalo %v0, %v0, %v31, %v0, 0
4366 vmalo %v0, %v31, %v0, %v0, 0
4367 vmalo %v31, %v0, %v0, %v0, 0
4371 #CHECK: vmalob %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xad]
4372 #CHECK: vmalob %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xad]
4373 #CHECK: vmalob %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xad]
4374 #CHECK: vmalob %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xad]
4378 vmalob %v0, %v0, %v0, %v31
4379 vmalob %v0, %v0, %v31, %v0
4380 vmalob %v0, %v31, %v0, %v0
4381 vmalob %v31, %v0, %v0, %v0
4385 #CHECK: vmalof %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0xad]
4386 #CHECK: vmalof %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0xad]
4387 #CHECK: vmalof %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0xad]
4388 #CHECK: vmalof %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0xad]
4392 vmalof %v0, %v0, %v0, %v31
4393 vmalof %v0, %v0, %v31, %v0
4394 vmalof %v0, %v31, %v0, %v0
4395 vmalof %v31, %v0, %v0, %v0
4399 #CHECK: vmaloh %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0xad]
4400 #CHECK: vmaloh %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0xad]
4401 #CHECK: vmaloh %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0xad]
4402 #CHECK: vmaloh %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0xad]
4406 vmaloh %v0, %v0, %v0, %v31
4407 vmaloh %v0, %v0, %v31, %v0
4408 vmaloh %v0, %v31, %v0, %v0
4409 vmaloh %v31, %v0, %v0, %v0
4414 #CHECK: vmao %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xaf]
4415 #CHECK: vmao %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xaf]
4416 #CHECK: vmao %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xaf]
4417 #CHECK: vmao %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xaf]
4422 vmao %v0, %v0, %v0, %v31, 0
4423 vmao %v0, %v0, %v31, %v0, 0
4424 vmao %v0, %v31, %v0, %v0, 0
4425 vmao %v31, %v0, %v0, %v0, 0
4429 #CHECK: vmaob %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xaf]
4430 #CHECK: vmaob %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xaf]
4431 #CHECK: vmaob %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xaf]
4432 #CHECK: vmaob %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xaf]
4436 vmaob %v0, %v0, %v0, %v31
4437 vmaob %v0, %v0, %v31, %v0
4438 vmaob %v0, %v31, %v0, %v0
4439 vmaob %v31, %v0, %v0, %v0
4443 #CHECK: vmaof %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0xaf]
4444 #CHECK: vmaof %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0xaf]
4445 #CHECK: vmaof %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0xaf]
4446 #CHECK: vmaof %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0xaf]
4450 vmaof %v0, %v0, %v0, %v31
4451 vmaof %v0, %v0, %v31, %v0
4452 vmaof %v0, %v31, %v0, %v0
4453 vmaof %v31, %v0, %v0, %v0
4457 #CHECK: vmaoh %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0xaf]
4458 #CHECK: vmaoh %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0xaf]
4459 #CHECK: vmaoh %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0xaf]
4460 #CHECK: vmaoh %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0xaf]
4464 vmaoh %v0, %v0, %v0, %v31
4465 vmaoh %v0, %v0, %v31, %v0
4466 vmaoh %v0, %v31, %v0, %v0
4467 vmaoh %v31, %v0, %v0, %v0
4472 #CHECK: vme %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa6]
4473 #CHECK: vme %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa6]
4474 #CHECK: vme %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa6]
4479 vme %v0, %v0, %v31, 0
4480 vme %v0, %v31, %v0, 0
4481 vme %v31, %v0, %v0, 0
4485 #CHECK: vmeb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa6]
4486 #CHECK: vmeb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa6]
4487 #CHECK: vmeb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa6]
4491 vmeb %v0, %v0, %v31
4492 vmeb %v0, %v31, %v0
4493 vmeb %v31, %v0, %v0
4497 #CHECK: vmef %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xa6]
4498 #CHECK: vmef %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xa6]
4499 #CHECK: vmef %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xa6]
4503 vmef %v0, %v0, %v31
4504 vmef %v0, %v31, %v0
4505 vmef %v31, %v0, %v0
4509 #CHECK: vmeh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xa6]
4510 #CHECK: vmeh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xa6]
4511 #CHECK: vmeh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xa6]
4515 vmeh %v0, %v0, %v31
4516 vmeh %v0, %v31, %v0
4517 vmeh %v31, %v0, %v0
4522 #CHECK: vmh %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa3]
4523 #CHECK: vmh %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa3]
4524 #CHECK: vmh %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa3]
4529 vmh %v0, %v0, %v31, 0
4530 vmh %v0, %v31, %v0, 0
4531 vmh %v31, %v0, %v0, 0
4535 #CHECK: vmhb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa3]
4536 #CHECK: vmhb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa3]
4537 #CHECK: vmhb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa3]
4541 vmhb %v0, %v0, %v31
4542 vmhb %v0, %v31, %v0
4543 vmhb %v31, %v0, %v0
4547 #CHECK: vmhf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xa3]
4548 #CHECK: vmhf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xa3]
4549 #CHECK: vmhf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xa3]
4553 vmhf %v0, %v0, %v31
4554 vmhf %v0, %v31, %v0
4555 vmhf %v31, %v0, %v0
4559 #CHECK: vmhh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xa3]
4560 #CHECK: vmhh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xa3]
4561 #CHECK: vmhh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xa3]
4565 vmhh %v0, %v0, %v31
4566 vmhh %v0, %v31, %v0
4567 vmhh %v31, %v0, %v0
4572 #CHECK: vml %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa2]
4573 #CHECK: vml %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa2]
4574 #CHECK: vml %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa2]
4579 vml %v0, %v0, %v31, 0
4580 vml %v0, %v31, %v0, 0
4581 vml %v31, %v0, %v0, 0
4585 #CHECK: vmlb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa2]
4586 #CHECK: vmlb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa2]
4587 #CHECK: vmlb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa2]
4591 vmlb %v0, %v0, %v31
4592 vmlb %v0, %v31, %v0
4593 vmlb %v31, %v0, %v0
4598 #CHECK: vmle %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa4]
4599 #CHECK: vmle %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa4]
4600 #CHECK: vmle %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa4]
4605 vmle %v0, %v0, %v31, 0
4606 vmle %v0, %v31, %v0, 0
4607 vmle %v31, %v0, %v0, 0
4611 #CHECK: vmleb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa4]
4612 #CHECK: vmleb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa4]
4613 #CHECK: vmleb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa4]
4617 vmleb %v0, %v0, %v31
4618 vmleb %v0, %v31, %v0
4619 vmleb %v31, %v0, %v0
4623 #CHECK: vmlef %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xa4]
4624 #CHECK: vmlef %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xa4]
4625 #CHECK: vmlef %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xa4]
4629 vmlef %v0, %v0, %v31
4630 vmlef %v0, %v31, %v0
4631 vmlef %v31, %v0, %v0
4635 #CHECK: vmleh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xa4]
4636 #CHECK: vmleh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xa4]
4637 #CHECK: vmleh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xa4]
4641 vmleh %v0, %v0, %v31
4642 vmleh %v0, %v31, %v0
4643 vmleh %v31, %v0, %v0
4647 #CHECK: vmlf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xa2]
4648 #CHECK: vmlf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xa2]
4649 #CHECK: vmlf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xa2]
4653 vmlf %v0, %v0, %v31
4654 vmlf %v0, %v31, %v0
4655 vmlf %v31, %v0, %v0
4660 #CHECK: vmlh %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa1]
4661 #CHECK: vmlh %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa1]
4662 #CHECK: vmlh %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa1]
4667 vmlh %v0, %v0, %v31, 0
4668 vmlh %v0, %v31, %v0, 0
4669 vmlh %v31, %v0, %v0, 0
4673 #CHECK: vmlhb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa1]
4674 #CHECK: vmlhb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa1]
4675 #CHECK: vmlhb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa1]
4679 vmlhb %v0, %v0, %v31
4680 vmlhb %v0, %v31, %v0
4681 vmlhb %v31, %v0, %v0
4685 #CHECK: vmlhf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xa1]
4686 #CHECK: vmlhf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xa1]
4687 #CHECK: vmlhf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xa1]
4691 vmlhf %v0, %v0, %v31
4692 vmlhf %v0, %v31, %v0
4693 vmlhf %v31, %v0, %v0
4697 #CHECK: vmlhh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xa1]
4698 #CHECK: vmlhh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xa1]
4699 #CHECK: vmlhh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xa1]
4703 vmlhh %v0, %v0, %v31
4704 vmlhh %v0, %v31, %v0
4705 vmlhh %v31, %v0, %v0
4709 #CHECK: vmlhw %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xa2]
4710 #CHECK: vmlhw %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xa2]
4711 #CHECK: vmlhw %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xa2]
4715 vmlhw %v0, %v0, %v31
4716 vmlhw %v0, %v31, %v0
4717 vmlhw %v31, %v0, %v0
4722 #CHECK: vmlo %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa5]
4723 #CHECK: vmlo %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa5]
4724 #CHECK: vmlo %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa5]
4729 vmlo %v0, %v0, %v31, 0
4730 vmlo %v0, %v31, %v0, 0
4731 vmlo %v31, %v0, %v0, 0
4735 #CHECK: vmlob %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa5]
4736 #CHECK: vmlob %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa5]
4737 #CHECK: vmlob %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa5]
4741 vmlob %v0, %v0, %v31
4742 vmlob %v0, %v31, %v0
4743 vmlob %v31, %v0, %v0
4747 #CHECK: vmlof %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xa5]
4748 #CHECK: vmlof %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xa5]
4749 #CHECK: vmlof %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xa5]
4753 vmlof %v0, %v0, %v31
4754 vmlof %v0, %v31, %v0
4755 vmlof %v31, %v0, %v0
4759 #CHECK: vmloh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xa5]
4760 #CHECK: vmloh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xa5]
4761 #CHECK: vmloh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xa5]
4765 vmloh %v0, %v0, %v31
4766 vmloh %v0, %v31, %v0
4767 vmloh %v31, %v0, %v0
4772 #CHECK: vmn %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfe]
4773 #CHECK: vmn %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfe]
4774 #CHECK: vmn %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xfe]
4779 vmn %v0, %v0, %v31, 0
4780 vmn %v0, %v31, %v0, 0
4781 vmn %v31, %v0, %v0, 0
4785 #CHECK: vmnb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfe]
4786 #CHECK: vmnb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfe]
4787 #CHECK: vmnb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xfe]
4791 vmnb %v0, %v0, %v31
4792 vmnb %v0, %v31, %v0
4793 vmnb %v31, %v0, %v0
4797 #CHECK: vmnf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xfe]
4798 #CHECK: vmnf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xfe]
4799 #CHECK: vmnf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xfe]
4803 vmnf %v0, %v0, %v31
4804 vmnf %v0, %v31, %v0
4805 vmnf %v31, %v0, %v0
4809 #CHECK: vmng %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xfe]
4810 #CHECK: vmng %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xfe]
4811 #CHECK: vmng %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xfe]
4815 vmng %v0, %v0, %v31
4816 vmng %v0, %v31, %v0
4817 vmng %v31, %v0, %v0
4821 #CHECK: vmnh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xfe]
4822 #CHECK: vmnh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xfe]
4823 #CHECK: vmnh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xfe]
4827 vmnh %v0, %v0, %v31
4828 vmnh %v0, %v31, %v0
4829 vmnh %v31, %v0, %v0
4834 #CHECK: vmnl %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfc]
4835 #CHECK: vmnl %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfc]
4836 #CHECK: vmnl %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xfc]
4841 vmnl %v0, %v0, %v31, 0
4842 vmnl %v0, %v31, %v0, 0
4843 vmnl %v31, %v0, %v0, 0
4847 #CHECK: vmnlb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfc]
4848 #CHECK: vmnlb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfc]
4849 #CHECK: vmnlb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xfc]
4853 vmnlb %v0, %v0, %v31
4854 vmnlb %v0, %v31, %v0
4855 vmnlb %v31, %v0, %v0
4859 #CHECK: vmnlf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xfc]
4860 #CHECK: vmnlf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xfc]
4861 #CHECK: vmnlf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xfc]
4865 vmnlf %v0, %v0, %v31
4866 vmnlf %v0, %v31, %v0
4867 vmnlf %v31, %v0, %v0
4871 #CHECK: vmnlg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xfc]
4872 #CHECK: vmnlg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xfc]
4873 #CHECK: vmnlg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xfc]
4877 vmnlg %v0, %v0, %v31
4878 vmnlg %v0, %v31, %v0
4879 vmnlg %v31, %v0, %v0
4883 #CHECK: vmnlh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xfc]
4884 #CHECK: vmnlh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xfc]
4885 #CHECK: vmnlh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xfc]
4889 vmnlh %v0, %v0, %v31
4890 vmnlh %v0, %v31, %v0
4891 vmnlh %v31, %v0, %v0
4896 #CHECK: vmo %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa7]
4897 #CHECK: vmo %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa7]
4898 #CHECK: vmo %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa7]
4903 vmo %v0, %v0, %v31, 0
4904 vmo %v0, %v31, %v0, 0
4905 vmo %v31, %v0, %v0, 0
4909 #CHECK: vmob %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xa7]
4910 #CHECK: vmob %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xa7]
4911 #CHECK: vmob %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xa7]
4915 vmob %v0, %v0, %v31
4916 vmob %v0, %v31, %v0
4917 vmob %v31, %v0, %v0
4921 #CHECK: vmof %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xa7]
4922 #CHECK: vmof %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xa7]
4923 #CHECK: vmof %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xa7]
4927 vmof %v0, %v0, %v31
4928 vmof %v0, %v31, %v0
4929 vmof %v31, %v0, %v0
4933 #CHECK: vmoh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xa7]
4934 #CHECK: vmoh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xa7]
4935 #CHECK: vmoh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xa7]
4939 vmoh %v0, %v0, %v31
4940 vmoh %v0, %v31, %v0
4941 vmoh %v31, %v0, %v0
4947 #CHECK: vmrh %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x61]
4949 #CHECK: vmrh %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x61]
4951 #CHECK: vmrh %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x61]
4957 vmrh %v0, %v0, %v31, 0
4959 vmrh %v0, %v31, %v0, 0
4961 vmrh %v31, %v0, %v0, 0
4966 #CHECK: vmrhb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x61]
4968 #CHECK: vmrhb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x61]
4970 #CHECK: vmrhb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x61]
4975 vmrhb %v0, %v0, %v31
4977 vmrhb %v0, %v31, %v0
4979 vmrhb %v31, %v0, %v0
4984 #CHECK: vmrhf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x61]
4986 #CHECK: vmrhf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x61]
4988 #CHECK: vmrhf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x61]
4993 vmrhf %v0, %v0, %v31
4995 vmrhf %v0, %v31, %v0
4997 vmrhf %v31, %v0, %v0
5002 #CHECK: vmrhg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x61]
5004 #CHECK: vmrhg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x61]
5006 #CHECK: vmrhg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x61]
5011 vmrhg %v0, %v0, %v31
5013 vmrhg %v0, %v31, %v0
5015 vmrhg %v31, %v0, %v0
5020 #CHECK: vmrhh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x61]
5022 #CHECK: vmrhh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x61]
5024 #CHECK: vmrhh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x61]
5029 vmrhh %v0, %v0, %v31
5031 vmrhh %v0, %v31, %v0
5033 vmrhh %v31, %v0, %v0
5039 #CHECK: vmrl %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x60]
5041 #CHECK: vmrl %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x60]
5043 #CHECK: vmrl %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x60]
5049 vmrl %v0, %v0, %v31, 0
5051 vmrl %v0, %v31, %v0, 0
5053 vmrl %v31, %v0, %v0, 0
5058 #CHECK: vmrlb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x60]
5060 #CHECK: vmrlb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x60]
5062 #CHECK: vmrlb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x60]
5067 vmrlb %v0, %v0, %v31
5069 vmrlb %v0, %v31, %v0
5071 vmrlb %v31, %v0, %v0
5076 #CHECK: vmrlf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x60]
5078 #CHECK: vmrlf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x60]
5080 #CHECK: vmrlf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x60]
5085 vmrlf %v0, %v0, %v31
5087 vmrlf %v0, %v31, %v0
5089 vmrlf %v31, %v0, %v0
5094 #CHECK: vmrlg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x60]
5096 #CHECK: vmrlg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x60]
5098 #CHECK: vmrlg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x60]
5103 vmrlg %v0, %v0, %v31
5105 vmrlg %v0, %v31, %v0
5107 vmrlg %v31, %v0, %v0
5112 #CHECK: vmrlh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x60]
5114 #CHECK: vmrlh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x60]
5116 #CHECK: vmrlh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x60]
5121 vmrlh %v0, %v0, %v31
5123 vmrlh %v0, %v31, %v0
5125 vmrlh %v31, %v0, %v0
5130 #CHECK: vmx %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xff]
5131 #CHECK: vmx %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xff]
5132 #CHECK: vmx %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xff]
5137 vmx %v0, %v0, %v31, 0
5138 vmx %v0, %v31, %v0, 0
5139 vmx %v31, %v0, %v0, 0
5143 #CHECK: vmxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xff]
5144 #CHECK: vmxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xff]
5145 #CHECK: vmxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xff]
5149 vmxb %v0, %v0, %v31
5150 vmxb %v0, %v31, %v0
5151 vmxb %v31, %v0, %v0
5155 #CHECK: vmxf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xff]
5156 #CHECK: vmxf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xff]
5157 #CHECK: vmxf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xff]
5161 vmxf %v0, %v0, %v31
5162 vmxf %v0, %v31, %v0
5163 vmxf %v31, %v0, %v0
5167 #CHECK: vmxg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xff]
5168 #CHECK: vmxg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xff]
5169 #CHECK: vmxg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xff]
5173 vmxg %v0, %v0, %v31
5174 vmxg %v0, %v31, %v0
5175 vmxg %v31, %v0, %v0
5179 #CHECK: vmxh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xff]
5180 #CHECK: vmxh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xff]
5181 #CHECK: vmxh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xff]
5185 vmxh %v0, %v0, %v31
5186 vmxh %v0, %v31, %v0
5187 vmxh %v31, %v0, %v0
5192 #CHECK: vmxl %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfd]
5193 #CHECK: vmxl %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfd]
5194 #CHECK: vmxl %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xfd]
5199 vmxl %v0, %v0, %v31, 0
5200 vmxl %v0, %v31, %v0, 0
5201 vmxl %v31, %v0, %v0, 0
5205 #CHECK: vmxlb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xfd]
5206 #CHECK: vmxlb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xfd]
5207 #CHECK: vmxlb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xfd]
5211 vmxlb %v0, %v0, %v31
5212 vmxlb %v0, %v31, %v0
5213 vmxlb %v31, %v0, %v0
5217 #CHECK: vmxlf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xfd]
5218 #CHECK: vmxlf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xfd]
5219 #CHECK: vmxlf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xfd]
5223 vmxlf %v0, %v0, %v31
5224 vmxlf %v0, %v31, %v0
5225 vmxlf %v31, %v0, %v0
5229 #CHECK: vmxlg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xfd]
5230 #CHECK: vmxlg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xfd]
5231 #CHECK: vmxlg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xfd]
5235 vmxlg %v0, %v0, %v31
5236 vmxlg %v0, %v31, %v0
5237 vmxlg %v31, %v0, %v0
5241 #CHECK: vmxlh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xfd]
5242 #CHECK: vmxlh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xfd]
5243 #CHECK: vmxlh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xfd]
5247 vmxlh %v0, %v0, %v31
5248 vmxlh %v0, %v31, %v0
5249 vmxlh %v31, %v0, %v0
5253 #CHECK: vn %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x68]
5254 #CHECK: vn %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x68]
5255 #CHECK: vn %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x68]
5259 vn %v0, %v0, %v31
5260 vn %v0, %v31, %v0
5261 vn %v31, %v0, %v0
5265 #CHECK: vnc %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x69]
5266 #CHECK: vnc %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x69]
5267 #CHECK: vnc %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x69]
5271 vnc %v0, %v0, %v31
5272 vnc %v0, %v31, %v0
5273 vnc %v31, %v0, %v0
5277 #CHECK: vno %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6b]
5278 #CHECK: vno %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6b]
5279 #CHECK: vno %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6b]
5283 vno %v0, %v0, %v31
5284 vno %v0, %v31, %v0
5285 vno %v31, %v0, %v0
5289 #CHECK: vno %v0, %v31, %v31 # encoding: [0xe7,0x0f,0xf0,0x00,0x06,0x6b]
5290 #CHECK: vno %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6b]
5294 vnot %v0, %v31
5295 vnot %v31, %v0
5299 #CHECK: vo %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6a]
5300 #CHECK: vo %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6a]
5301 #CHECK: vo %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6a]
5305 vo %v0, %v0, %v31
5306 vo %v0, %v31, %v0
5307 vo %v31, %v0, %v0
5313 #CHECK: vone %v31 # encoding: [0xe7,0xf0,0xff,0xff,0x08,0x44]
5318 vone %v31
5322 #CHECK: vpdi %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x84]
5323 #CHECK: vpdi %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x84]
5324 #CHECK: vpdi %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x84]
5329 vpdi %v0, %v0, %v31, 0
5330 vpdi %v0, %v31, %v0, 0
5331 vpdi %v31, %v0, %v0, 0
5335 #CHECK: vperm %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x8c]
5336 #CHECK: vperm %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x8c]
5337 #CHECK: vperm %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x8c]
5338 #CHECK: vperm %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x8c]
5342 vperm %v0, %v0, %v0, %v31
5343 vperm %v0, %v0, %v31, %v0
5344 vperm %v0, %v31, %v0, %v0
5345 vperm %v31, %v0, %v0, %v0
5351 #CHECK: vpk %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x94]
5353 #CHECK: vpk %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x94]
5355 #CHECK: vpk %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x94]
5361 vpk %v0, %v0, %v31, 0
5363 vpk %v0, %v31, %v0, 0
5365 vpk %v31, %v0, %v0, 0
5370 #CHECK: vpkf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x94]
5372 #CHECK: vpkf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x94]
5374 #CHECK: vpkf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x94]
5379 vpkf %v0, %v0, %v31
5381 vpkf %v0, %v31, %v0
5383 vpkf %v31, %v0, %v0
5388 #CHECK: vpkg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x94]
5390 #CHECK: vpkg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x94]
5392 #CHECK: vpkg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x94]
5397 vpkg %v0, %v0, %v31
5399 vpkg %v0, %v31, %v0
5401 vpkg %v31, %v0, %v0
5406 #CHECK: vpkh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x94]
5408 #CHECK: vpkh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x94]
5410 #CHECK: vpkh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x94]
5415 vpkh %v0, %v0, %v31
5417 vpkh %v0, %v31, %v0
5419 vpkh %v31, %v0, %v0
5426 #CHECK: vpkls %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x95]
5428 #CHECK: vpkls %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x95]
5430 #CHECK: vpkls %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x95]
5437 vpkls %v0, %v0, %v31, 0, 0
5439 vpkls %v0, %v31, %v0, 0, 0
5441 vpkls %v31, %v0, %v0, 0, 0
5446 #CHECK: vpklsf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x95]
5448 #CHECK: vpklsf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x95]
5450 #CHECK: vpklsf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x95]
5456 vpklsf %v0, %v0, %v31
5458 vpklsf %v0, %v31, %v0
5460 vpklsf %v31, %v0, %v0
5466 #CHECK: vpklsg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x95]
5468 #CHECK: vpklsg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x95]
5470 #CHECK: vpklsg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x95]
5476 vpklsg %v0, %v0, %v31
5478 vpklsg %v0, %v31, %v0
5480 vpklsg %v31, %v0, %v0
5486 #CHECK: vpklsh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x95]
5488 #CHECK: vpklsh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x95]
5490 #CHECK: vpklsh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x95]
5496 vpklsh %v0, %v0, %v31
5498 vpklsh %v0, %v31, %v0
5500 vpklsh %v31, %v0, %v0
5508 #CHECK: vpks %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x97]
5510 #CHECK: vpks %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x97]
5512 #CHECK: vpks %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x97]
5519 vpks %v0, %v0, %v31, 0, 0
5521 vpks %v0, %v31, %v0, 0, 0
5523 vpks %v31, %v0, %v0, 0, 0
5528 #CHECK: vpksf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x97]
5530 #CHECK: vpksf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x97]
5532 #CHECK: vpksf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x97]
5538 vpksf %v0, %v0, %v31
5540 vpksf %v0, %v31, %v0
5542 vpksf %v31, %v0, %v0
5548 #CHECK: vpksg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x97]
5550 #CHECK: vpksg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x97]
5552 #CHECK: vpksg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x97]
5558 vpksg %v0, %v0, %v31
5560 vpksg %v0, %v31, %v0
5562 vpksg %v31, %v0, %v0
5568 #CHECK: vpksh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x97]
5570 #CHECK: vpksh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x97]
5572 #CHECK: vpksh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x97]
5578 vpksh %v0, %v0, %v31
5580 vpksh %v0, %v31, %v0
5582 vpksh %v31, %v0, %v0
5588 #CHECK: vpopct %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x50]
5590 #CHECK: vpopct %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x50]
5595 vpopct %v0, %v31, 0
5597 vpopct %v31, %v0, 0
5604 #CHECK: vrep %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x4d]
5606 #CHECK: vrep %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x4d]
5613 vrep %v0, %v31, 0, 0
5615 vrep %v31, %v0, 0, 0
5621 #CHECK: vrepb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x4d]
5623 #CHECK: vrepb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x4d]
5629 vrepb %v0, %v31, 0
5631 vrepb %v31, %v0, 0
5637 #CHECK: vrepf %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x4d]
5639 #CHECK: vrepf %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x4d]
5645 vrepf %v0, %v31, 0
5647 vrepf %v31, %v0, 0
5653 #CHECK: vrepg %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x4d]
5655 #CHECK: vrepg %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x4d]
5661 vrepg %v0, %v31, 0
5663 vrepg %v31, %v0, 0
5669 #CHECK: vreph %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x4d]
5671 #CHECK: vreph %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x4d]
5677 vreph %v0, %v31, 0
5679 vreph %v31, %v0, 0
5687 #CHECK: vrepi %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x45]
5695 vrepi %v31, 0, 0
5702 #CHECK: vrepib %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x45]
5709 vrepib %v31, 0
5716 #CHECK: vrepif %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x45]
5723 vrepif %v31, 0
5730 #CHECK: vrepig %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x45]
5737 vrepig %v31, 0
5744 #CHECK: vrepih %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x45]
5751 vrepih %v31, 0
5756 #CHECK: vs %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf7]
5757 #CHECK: vs %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf7]
5758 #CHECK: vs %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf7]
5763 vs %v0, %v0, %v31, 0
5764 vs %v0, %v31, %v0, 0
5765 vs %v31, %v0, %v0, 0
5769 #CHECK: vsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf7]
5770 #CHECK: vsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf7]
5771 #CHECK: vsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf7]
5775 vsb %v0, %v0, %v31
5776 vsb %v0, %v31, %v0
5777 vsb %v31, %v0, %v0
5782 #CHECK: vsbcbi %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xbd]
5783 #CHECK: vsbcbi %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xbd]
5784 #CHECK: vsbcbi %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xbd]
5785 #CHECK: vsbcbi %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xbd]
5790 vsbcbi %v0, %v0, %v0, %v31, 0
5791 vsbcbi %v0, %v0, %v31, %v0, 0
5792 vsbcbi %v0, %v31, %v0, %v0, 0
5793 vsbcbi %v31, %v0, %v0, %v0, 0
5797 #CHECK: vsbcbiq %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x00,0xf1,0xbd]
5798 #CHECK: vsbcbiq %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x00,0x02,0xbd]
5799 #CHECK: vsbcbiq %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x00,0x04,0xbd]
5800 #CHECK: vsbcbiq %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x00,0x08,0xbd]
5804 vsbcbiq %v0, %v0, %v0, %v31
5805 vsbcbiq %v0, %v0, %v31, %v0
5806 vsbcbiq %v0, %v31, %v0, %v0
5807 vsbcbiq %v31, %v0, %v0, %v0
5812 #CHECK: vsbi %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xbf]
5813 #CHECK: vsbi %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xbf]
5814 #CHECK: vsbi %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xbf]
5815 #CHECK: vsbi %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xbf]
5820 vsbi %v0, %v0, %v0, %v31, 0
5821 vsbi %v0, %v0, %v31, %v0, 0
5822 vsbi %v0, %v31, %v0, %v0, 0
5823 vsbi %v31, %v0, %v0, %v0, 0
5827 #CHECK: vsbiq %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x00,0xf1,0xbf]
5828 #CHECK: vsbiq %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x00,0x02,0xbf]
5829 #CHECK: vsbiq %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x00,0x04,0xbf]
5830 #CHECK: vsbiq %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x00,0x08,0xbf]
5834 vsbiq %v0, %v0, %v0, %v31
5835 vsbiq %v0, %v0, %v31, %v0
5836 vsbiq %v0, %v31, %v0, %v0
5837 vsbiq %v31, %v0, %v0, %v0
5842 #CHECK: vscbi %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf5]
5843 #CHECK: vscbi %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf5]
5844 #CHECK: vscbi %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf5]
5849 vscbi %v0, %v0, %v31, 0
5850 vscbi %v0, %v31, %v0, 0
5851 vscbi %v31, %v0, %v0, 0
5855 #CHECK: vscbib %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xf5]
5856 #CHECK: vscbib %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xf5]
5857 #CHECK: vscbib %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xf5]
5861 vscbib %v0, %v0, %v31
5862 vscbib %v0, %v31, %v0
5863 vscbib %v31, %v0, %v0
5867 #CHECK: vscbif %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xf5]
5868 #CHECK: vscbif %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xf5]
5869 #CHECK: vscbif %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xf5]
5873 vscbif %v0, %v0, %v31
5874 vscbif %v0, %v31, %v0
5875 vscbif %v31, %v0, %v0
5879 #CHECK: vscbig %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xf5]
5880 #CHECK: vscbig %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xf5]
5881 #CHECK: vscbig %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xf5]
5885 vscbig %v0, %v0, %v31
5886 vscbig %v0, %v31, %v0
5887 vscbig %v31, %v0, %v0
5891 #CHECK: vscbih %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xf5]
5892 #CHECK: vscbih %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xf5]
5893 #CHECK: vscbih %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xf5]
5897 vscbih %v0, %v0, %v31
5898 vscbih %v0, %v31, %v0
5899 vscbih %v31, %v0, %v0
5903 #CHECK: vscbiq %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x42,0xf5]
5904 #CHECK: vscbiq %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xf5]
5905 #CHECK: vscbiq %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xf5]
5909 vscbiq %v0, %v0, %v31
5910 vscbiq %v0, %v31, %v0
5911 vscbiq %v31, %v0, %v0
5919 #CHECK: vscef %v0, 0(%v31,%r1), 0 # encoding: [0xe7,0x0f,0x10,0x00,0x04,0x1b]
5922 #CHECK: vscef %v31, 0(%v0,%r1), 0 # encoding: [0xe7,0xf0,0x10,0x00,0x08,0x1b]
5930 vscef %v0, 0(%v31,%r1), 0
5933 vscef %v31, 0(%v0,%r1), 0
5941 #CHECK: vsceg %v0, 0(%v31,%r1), 0 # encoding: [0xe7,0x0f,0x10,0x00,0x04,0x1a]
5944 #CHECK: vsceg %v31, 0(%v0,%r1), 0 # encoding: [0xe7,0xf0,0x10,0x00,0x08,0x1a]
5952 vsceg %v0, 0(%v31,%r1), 0
5955 vsceg %v31, 0(%v0,%r1), 0
5961 #CHECK: vseg %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x5f]
5963 #CHECK: vseg %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x5f]
5969 vseg %v0, %v31, 0
5971 vseg %v31, %v0, 0
5976 #CHECK: vsegb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x5f]
5978 #CHECK: vsegb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x5f]
5983 vsegb %v0, %v31
5985 vsegb %v31, %v0
5990 #CHECK: vsegf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x5f]
5992 #CHECK: vsegf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x5f]
5997 vsegf %v0, %v31
5999 vsegf %v31, %v0
6004 #CHECK: vsegh %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x5f]
6006 #CHECK: vsegh %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x5f]
6011 vsegh %v0, %v31
6013 vsegh %v31, %v0
6017 #CHECK: vsel %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x8d]
6018 #CHECK: vsel %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x8d]
6019 #CHECK: vsel %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x8d]
6020 #CHECK: vsel %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x8d]
6024 vsel %v0, %v0, %v0, %v31
6025 vsel %v0, %v0, %v31, %v0
6026 vsel %v0, %v31, %v0, %v0
6027 vsel %v31, %v0, %v0, %v0
6031 #CHECK: vsf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xf7]
6032 #CHECK: vsf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xf7]
6033 #CHECK: vsf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xf7]
6037 vsf %v0, %v0, %v31
6038 vsf %v0, %v31, %v0
6039 vsf %v31, %v0, %v0
6043 #CHECK: vsg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xf7]
6044 #CHECK: vsg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xf7]
6045 #CHECK: vsg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xf7]
6049 vsg %v0, %v0, %v31
6050 vsg %v0, %v31, %v0
6051 vsg %v31, %v0, %v0
6055 #CHECK: vsh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0xf7]
6056 #CHECK: vsh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xf7]
6057 #CHECK: vsh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xf7]
6061 vsh %v0, %v0, %v31
6062 vsh %v0, %v31, %v0
6063 vsh %v31, %v0, %v0
6067 #CHECK: vsl %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x74]
6068 #CHECK: vsl %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x74]
6069 #CHECK: vsl %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x74]
6073 vsl %v0, %v0, %v31
6074 vsl %v0, %v31, %v0
6075 vsl %v31, %v0, %v0
6079 #CHECK: vslb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x75]
6080 #CHECK: vslb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x75]
6081 #CHECK: vslb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x75]
6085 vslb %v0, %v0, %v31
6086 vslb %v0, %v31, %v0
6087 vslb %v31, %v0, %v0
6092 #CHECK: vsldb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x77]
6093 #CHECK: vsldb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x77]
6094 #CHECK: vsldb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x77]
6099 vsldb %v0, %v0, %v31, 0
6100 vsldb %v0, %v31, %v0, 0
6101 vsldb %v31, %v0, %v0, 0
6105 #CHECK: vsq %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x42,0xf7]
6106 #CHECK: vsq %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xf7]
6107 #CHECK: vsq %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xf7]
6111 vsq %v0, %v0, %v31
6112 vsq %v0, %v31, %v0
6113 vsq %v31, %v0, %v0
6117 #CHECK: vsra %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x7e]
6118 #CHECK: vsra %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x7e]
6119 #CHECK: vsra %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x7e]
6123 vsra %v0, %v0, %v31
6124 vsra %v0, %v31, %v0
6125 vsra %v31, %v0, %v0
6129 #CHECK: vsrab %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x7f]
6130 #CHECK: vsrab %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x7f]
6131 #CHECK: vsrab %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x7f]
6135 vsrab %v0, %v0, %v31
6136 vsrab %v0, %v31, %v0
6137 vsrab %v31, %v0, %v0
6141 #CHECK: vsrl %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x7c]
6142 #CHECK: vsrl %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x7c]
6143 #CHECK: vsrl %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x7c]
6147 vsrl %v0, %v0, %v31
6148 vsrl %v0, %v31, %v0
6149 vsrl %v31, %v0, %v0
6153 #CHECK: vsrlb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x7d]
6154 #CHECK: vsrlb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x7d]
6155 #CHECK: vsrlb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x7d]
6159 vsrlb %v0, %v0, %v31
6160 vsrlb %v0, %v31, %v0
6161 vsrlb %v31, %v0, %v0
6170 #CHECK: vst %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x0e]
6179 vst %v31, 0
6188 #CHECK: vsteb %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x08]
6197 vsteb %v31, 0, 0
6206 #CHECK: vstef %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x0b]
6215 vstef %v31, 0, 0
6224 #CHECK: vsteg %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x0a]
6233 vsteg %v31, 0, 0
6242 #CHECK: vsteh %v31, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x09]
6251 vsteh %v31, 0, 0
6259 #CHECK: vstl %v31, %r0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x3f]
6267 vstl %v31, %r0, 0
6274 #CHECK: vstm %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x3e]
6275 #CHECK: vstm %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x3e]
6282 vstm %v0, %v31, 0
6283 vstm %v31, %v0, 0
6292 #CHECK: vstrc %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x8a]
6294 #CHECK: vstrc %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x8a]
6296 #CHECK: vstrc %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x8a]
6298 #CHECK: vstrc %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x8a]
6308 vstrc %v0, %v0, %v0, %v31, 0
6310 vstrc %v0, %v0, %v31, %v0, 0
6312 vstrc %v0, %v31, %v0, %v0, 0
6314 vstrc %v31, %v0, %v0, %v0, 0
6322 #CHECK: vstrcb %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x8a]
6324 #CHECK: vstrcb %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x8a]
6326 #CHECK: vstrcb %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x8a]
6328 #CHECK: vstrcb %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x8a]
6340 vstrcb %v0, %v0, %v0, %v31
6342 vstrcb %v0, %v0, %v31, %v0
6344 vstrcb %v0, %v31, %v0, %v0
6346 vstrcb %v31, %v0, %v0, %v0
6358 #CHECK: vstrcf %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x8a]
6360 #CHECK: vstrcf %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x8a]
6362 #CHECK: vstrcf %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x8a]
6364 #CHECK: vstrcf %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x8a]
6376 vstrcf %v0, %v0, %v0, %v31
6378 vstrcf %v0, %v0, %v31, %v0
6380 vstrcf %v0, %v31, %v0, %v0
6382 vstrcf %v31, %v0, %v0, %v0
6394 #CHECK: vstrch %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x01,0x00,0xf1,0x8a]
6396 #CHECK: vstrch %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf1,0x00,0x02,0x8a]
6398 #CHECK: vstrch %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x01,0x00,0x04,0x8a]
6400 #CHECK: vstrch %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x01,0x00,0x08,0x8a]
6412 vstrch %v0, %v0, %v0, %v31
6414 vstrch %v0, %v0, %v31, %v0
6416 vstrch %v0, %v31, %v0, %v0
6418 vstrch %v31, %v0, %v0, %v0
6428 #CHECK: vsum %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x64]
6429 #CHECK: vsum %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x64]
6430 #CHECK: vsum %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x64]
6435 vsum %v0, %v0, %v31, 0
6436 vsum %v0, %v31, %v0, 0
6437 vsum %v31, %v0, %v0, 0
6441 #CHECK: vsumb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x64]
6442 #CHECK: vsumb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x64]
6443 #CHECK: vsumb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x64]
6447 vsumb %v0, %v0, %v31
6448 vsumb %v0, %v31, %v0
6449 vsumb %v31, %v0, %v0
6454 #CHECK: vsumg %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x65]
6455 #CHECK: vsumg %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x65]
6456 #CHECK: vsumg %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x65]
6461 vsumg %v0, %v0, %v31, 0
6462 vsumg %v0, %v31, %v0, 0
6463 vsumg %v31, %v0, %v0, 0
6467 #CHECK: vsumgf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x65]
6468 #CHECK: vsumgf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x65]
6469 #CHECK: vsumgf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x65]
6473 vsumgf %v0, %v0, %v31
6474 vsumgf %v0, %v31, %v0
6475 vsumgf %v31, %v0, %v0
6479 #CHECK: vsumgh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x65]
6480 #CHECK: vsumgh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x65]
6481 #CHECK: vsumgh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x65]
6485 vsumgh %v0, %v0, %v31
6486 vsumgh %v0, %v31, %v0
6487 vsumgh %v31, %v0, %v0
6491 #CHECK: vsumh %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x12,0x64]
6492 #CHECK: vsumh %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x64]
6493 #CHECK: vsumh %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x64]
6497 vsumh %v0, %v0, %v31
6498 vsumh %v0, %v31, %v0
6499 vsumh %v31, %v0, %v0
6504 #CHECK: vsumq %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x67]
6505 #CHECK: vsumq %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x67]
6506 #CHECK: vsumq %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x67]
6511 vsumq %v0, %v0, %v31, 0
6512 vsumq %v0, %v31, %v0, 0
6513 vsumq %v31, %v0, %v0, 0
6517 #CHECK: vsumqf %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0x67]
6518 #CHECK: vsumqf %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x67]
6519 #CHECK: vsumqf %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x67]
6523 vsumqf %v0, %v0, %v31
6524 vsumqf %v0, %v31, %v0
6525 vsumqf %v31, %v0, %v0
6529 #CHECK: vsumqg %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0x67]
6530 #CHECK: vsumqg %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x67]
6531 #CHECK: vsumqg %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x67]
6535 vsumqg %v0, %v0, %v31
6536 vsumqg %v0, %v31, %v0
6537 vsumqg %v31, %v0, %v0
6542 #CHECK: vtm %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd8]
6544 #CHECK: vtm %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd8]
6549 vtm %v0, %v31
6551 vtm %v31, %v0
6557 #CHECK: vuph %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd7]
6559 #CHECK: vuph %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd7]
6565 vuph %v0, %v31, 0
6567 vuph %v31, %v0, 0
6572 #CHECK: vuphb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd7]
6574 #CHECK: vuphb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd7]
6579 vuphb %v0, %v31
6581 vuphb %v31, %v0
6586 #CHECK: vuphf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xd7]
6588 #CHECK: vuphf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xd7]
6593 vuphf %v0, %v31
6595 vuphf %v31, %v0
6600 #CHECK: vuphh %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xd7]
6602 #CHECK: vuphh %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xd7]
6607 vuphh %v0, %v31
6609 vuphh %v31, %v0
6615 #CHECK: vupl %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd6]
6617 #CHECK: vupl %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd6]
6623 vupl %v0, %v31, 0
6625 vupl %v31, %v0, 0
6630 #CHECK: vuplb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd6]
6632 #CHECK: vuplb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd6]
6637 vuplb %v0, %v31
6639 vuplb %v31, %v0
6644 #CHECK: vuplf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xd6]
6646 #CHECK: vuplf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xd6]
6651 vuplf %v0, %v31
6653 vuplf %v31, %v0
6659 #CHECK: vuplh %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd5]
6661 #CHECK: vuplh %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd5]
6667 vuplh %v0, %v31, 0
6669 vuplh %v31, %v0, 0
6674 #CHECK: vuplhb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd5]
6676 #CHECK: vuplhb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd5]
6681 vuplhb %v0, %v31
6683 vuplhb %v31, %v0
6688 #CHECK: vuplhf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xd5]
6690 #CHECK: vuplhf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xd5]
6695 vuplhf %v0, %v31
6697 vuplhf %v31, %v0
6702 #CHECK: vuplhh %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xd5]
6704 #CHECK: vuplhh %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xd5]
6709 vuplhh %v0, %v31
6711 vuplhh %v31, %v0
6716 #CHECK: vuplhw %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xd6]
6718 #CHECK: vuplhw %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xd6]
6723 vuplhw %v0, %v31
6725 vuplhw %v31, %v0
6731 #CHECK: vupll %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd4]
6733 #CHECK: vupll %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd4]
6739 vupll %v0, %v31, 0
6741 vupll %v31, %v0, 0
6746 #CHECK: vupllb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xd4]
6748 #CHECK: vupllb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xd4]
6753 vupllb %v0, %v31
6755 vupllb %v31, %v0
6760 #CHECK: vupllf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xd4]
6762 #CHECK: vupllf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xd4]
6767 vupllf %v0, %v31
6769 vupllf %v31, %v0
6774 #CHECK: vupllh %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0xd4]
6776 #CHECK: vupllh %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0xd4]
6781 vupllh %v0, %v31
6783 vupllh %v31, %v0
6787 #CHECK: vx %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6d]
6788 #CHECK: vx %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6d]
6789 #CHECK: vx %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6d]
6793 vx %v0, %v0, %v31
6794 vx %v0, %v31, %v0
6795 vx %v31, %v0, %v0
6801 #CHECK: vzero %v31 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x44]
6806 vzero %v31
6813 #CHECK: wcdgb %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc3]
6814 #CHECK: wcdgb %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc3]
6822 wcdgb %v0, %v31, 0, 0
6823 wcdgb %v31, %v0, 0, 0
6831 #CHECK: wcdlgb %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc1]
6832 #CHECK: wcdlgb %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc1]
6840 wcdlgb %v0, %v31, 0, 0
6841 wcdlgb %v31, %v0, 0, 0
6849 #CHECK: wcgdb %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc2]
6850 #CHECK: wcgdb %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc2]
6858 wcgdb %v0, %v31, 0, 0
6859 wcgdb %v31, %v0, 0, 0
6867 #CHECK: wclgdb %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc0]
6868 #CHECK: wclgdb %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc0]
6876 wclgdb %v0, %v31, 0, 0
6877 wclgdb %v31, %v0, 0, 0
6882 #CHECK: wfadb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xe3]
6883 #CHECK: wfadb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xe3]
6884 #CHECK: wfadb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xe3]
6889 wfadb %v0, %v0, %v31
6890 wfadb %v0, %v31, %v0
6891 wfadb %v31, %v0, %v0
6899 #CHECK: wfc %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xcb]
6901 #CHECK: wfc %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xcb]
6909 wfc %v0, %v31, 0, 0
6911 wfc %v31, %v0, 0, 0
6917 #CHECK: wfcdb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xcb]
6919 #CHECK: wfcdb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xcb]
6925 wfcdb %v0, %v31
6927 wfcdb %v31, %v0
6932 #CHECK: wfcedb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xe8]
6933 #CHECK: wfcedb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xe8]
6934 #CHECK: wfcedb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xe8]
6939 wfcedb %v0, %v0, %v31
6940 wfcedb %v0, %v31, %v0
6941 wfcedb %v31, %v0, %v0
6946 #CHECK: wfcedbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x32,0xe8]
6947 #CHECK: wfcedbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x34,0xe8]
6948 #CHECK: wfcedbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x38,0xe8]
6953 wfcedbs %v0, %v0, %v31
6954 wfcedbs %v0, %v31, %v0
6955 wfcedbs %v31, %v0, %v0
6960 #CHECK: wfchdb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xeb]
6961 #CHECK: wfchdb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xeb]
6962 #CHECK: wfchdb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xeb]
6967 wfchdb %v0, %v0, %v31
6968 wfchdb %v0, %v31, %v0
6969 wfchdb %v31, %v0, %v0
6974 #CHECK: wfchdbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x32,0xeb]
6975 #CHECK: wfchdbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x34,0xeb]
6976 #CHECK: wfchdbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x38,0xeb]
6981 wfchdbs %v0, %v0, %v31
6982 wfchdbs %v0, %v31, %v0
6983 wfchdbs %v31, %v0, %v0
6988 #CHECK: wfchedb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xea]
6989 #CHECK: wfchedb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xea]
6990 #CHECK: wfchedb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xea]
6995 wfchedb %v0, %v0, %v31
6996 wfchedb %v0, %v31, %v0
6997 wfchedb %v31, %v0, %v0
7002 #CHECK: wfchedbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x32,0xea]
7003 #CHECK: wfchedbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x34,0xea]
7004 #CHECK: wfchedbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x38,0xea]
7009 wfchedbs %v0, %v0, %v31
7010 wfchedbs %v0, %v31, %v0
7011 wfchedbs %v31, %v0, %v0
7016 #CHECK: wfddb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xe5]
7017 #CHECK: wfddb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xe5]
7018 #CHECK: wfddb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xe5]
7023 wfddb %v0, %v0, %v31
7024 wfddb %v0, %v31, %v0
7025 wfddb %v31, %v0, %v0
7033 #CHECK: wfidb %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc7]
7034 #CHECK: wfidb %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc7]
7042 wfidb %v0, %v31, 0, 0
7043 wfidb %v31, %v0, 0, 0
7051 #CHECK: wfk %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xca]
7053 #CHECK: wfk %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xca]
7061 wfk %v0, %v31, 0, 0
7063 wfk %v31, %v0, 0, 0
7069 #CHECK: wfkdb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xca]
7071 #CHECK: wfkdb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xca]
7077 wfkdb %v0, %v31
7079 wfkdb %v31, %v0
7085 #CHECK: wflcdb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xcc]
7087 #CHECK: wflcdb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xcc]
7093 wflcdb %v0, %v31
7095 wflcdb %v31, %v0
7101 #CHECK: wflndb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x18,0x34,0xcc]
7103 #CHECK: wflndb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x38,0xcc]
7109 wflndb %v0, %v31
7111 wflndb %v31, %v0
7117 #CHECK: wflpdb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x28,0x34,0xcc]
7119 #CHECK: wflpdb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x28,0x38,0xcc]
7125 wflpdb %v0, %v31
7127 wflpdb %v31, %v0
7132 #CHECK: wfmadb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x03,0x08,0xf1,0x8f]
7133 #CHECK: wfmadb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf3,0x08,0x02,0x8f]
7134 #CHECK: wfmadb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x03,0x08,0x04,0x8f]
7135 #CHECK: wfmadb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x03,0x08,0x08,0x8f]
7140 wfmadb %v0, %v0, %v0, %v31
7141 wfmadb %v0, %v0, %v31, %v0
7142 wfmadb %v0, %v31, %v0, %v0
7143 wfmadb %v31, %v0, %v0, %v0
7148 #CHECK: wfmdb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xe7]
7149 #CHECK: wfmdb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xe7]
7150 #CHECK: wfmdb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xe7]
7155 wfmdb %v0, %v0, %v31
7156 wfmdb %v0, %v31, %v0
7157 wfmdb %v31, %v0, %v0
7162 #CHECK: wfmsdb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x03,0x08,0xf1,0x8e]
7163 #CHECK: wfmsdb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf3,0x08,0x02,0x8e]
7164 #CHECK: wfmsdb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x03,0x08,0x04,0x8e]
7165 #CHECK: wfmsdb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x03,0x08,0x08,0x8e]
7170 wfmsdb %v0, %v0, %v0, %v31
7171 wfmsdb %v0, %v0, %v31, %v0
7172 wfmsdb %v0, %v31, %v0, %v0
7173 wfmsdb %v31, %v0, %v0, %v0
7180 #CHECK: wfpsodb %f0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xcc]
7182 #CHECK: wfpsodb %v31, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xcc]
7189 wfpsodb %v0, %v31, 0
7191 wfpsodb %v31, %v0, 0
7196 #CHECK: wfsdb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xe2]
7197 #CHECK: wfsdb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xe2]
7198 #CHECK: wfsdb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xe2]
7203 wfsdb %v0, %v0, %v31
7204 wfsdb %v0, %v31, %v0
7205 wfsdb %v31, %v0, %v0
7211 #CHECK: wfsqdb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xce]
7213 #CHECK: wfsqdb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xce]
7219 wfsqdb %v0, %v31
7221 wfsqdb %v31, %v0
7228 #CHECK: wftcidb %f0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0x4a]
7230 #CHECK: wftcidb %v31, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0x4a]
7237 wftcidb %v0, %v31, 0
7239 wftcidb %v31, %v0, 0
7245 #CHECK: wldeb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xc4]
7247 #CHECK: wldeb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xc4]
7253 wldeb %v0, %v31
7255 wldeb %v31, %v0
7263 #CHECK: wledb %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc5]
7264 #CHECK: wledb %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc5]
7272 wledb %v0, %v31, 0, 0
7273 wledb %v31, %v0, 0, 0