5785 vfmadd132pd 4096(%rdx,%rax,4), %zmm19, %zmm19   label
5789 vfmadd132pd -4096(%rdx,%rax,4), %zmm19, %zmm19   label
5793 vfmadd132pd 4096(%rdx,%rax,4), %zmm19, %zmm19 {%k2}   label
5797 vfmadd132pd -4096(%rdx,%rax,4), %zmm19, %zmm19 {%k2}   label
5801 vfmadd132pd 4096(%rdx,%rax,4), %zmm19, %zmm19 {%k2} {z}   label
5805 vfmadd132pd -4096(%rdx,%rax,4), %zmm19, %zmm19 {%k2} {z}   label
5809 vfmadd132pd 4096(%rdx,%rax), %zmm19, %zmm19   label
5813 vfmadd132pd 4096(%rdx,%rax), %zmm19, %zmm19 {%k2}   label
5817 vfmadd132pd 4096(%rdx,%rax), %zmm19, %zmm19 {%k2} {z}   label
5821 vfmadd132pd 4096(%rdx), %zmm19, %zmm19   label
5825 vfmadd132pd 4096(%rdx), %zmm19, %zmm19 {%k2}   label
5829 vfmadd132pd 4096(%rdx), %zmm19, %zmm19 {%k2} {z}   label
5833 vfmadd132pd 485498096{1to8}, %zmm19, %zmm19   label
5837 vfmadd132pd 485498096{1to8}, %zmm19, %zmm19 {%k2}   label
5841 vfmadd132pd 485498096{1to8}, %zmm19, %zmm19 {%k2} {z}   label
5845 vfmadd132pd 485498096, %zmm19, %zmm19   label
5849 vfmadd132pd 485498096, %zmm19, %zmm19 {%k2}   label
5853 vfmadd132pd 485498096, %zmm19, %zmm19 {%k2} {z}   label
5857 vfmadd132pd 512(%rdx){1to8}, %zmm19, %zmm19   label
5861 vfmadd132pd 512(%rdx){1to8}, %zmm19, %zmm19 {%k2}   label
5865 vfmadd132pd 512(%rdx){1to8}, %zmm19, %zmm19 {%k2} {z}   label
5869 vfmadd132pd 512(%rdx,%rax){1to8}, %zmm19, %zmm19   label
5873 vfmadd132pd 512(%rdx,%rax){1to8}, %zmm19, %zmm19 {%k2}   label
5877 vfmadd132pd 512(%rdx,%rax){1to8}, %zmm19, %zmm19 {%k2} {z}   label
5881 vfmadd132pd 512(%rdx,%rax,4){1to8}, %zmm19, %zmm19   label
5885 vfmadd132pd -512(%rdx,%rax,4){1to8}, %zmm19, %zmm19   label
5889 vfmadd132pd 512(%rdx,%rax,4){1to8}, %zmm19, %zmm19 {%k2}   label
5893 vfmadd132pd -512(%rdx,%rax,4){1to8}, %zmm19, %zmm19 {%k2}   label
5897 vfmadd132pd 512(%rdx,%rax,4){1to8}, %zmm19, %zmm19 {%k2} {z}   label
5901 vfmadd132pd -512(%rdx,%rax,4){1to8}, %zmm19, %zmm19 {%k2} {z}   label
5905 vfmadd132pd {rd-sae}, %zmm19, %zmm19, %zmm19   label
5909 vfmadd132pd {rd-sae}, %zmm19, %zmm19, %zmm19 {%k2}   label
5913 vfmadd132pd {rd-sae}, %zmm19, %zmm19, %zmm19 {%k2} {z}   label
5917 vfmadd132pd (%rdx){1to8}, %zmm19, %zmm19   label
5921 vfmadd132pd (%rdx){1to8}, %zmm19, %zmm19 {%k2}   label
5925 vfmadd132pd (%rdx){1to8}, %zmm19, %zmm19 {%k2} {z}   label
5929 vfmadd132pd (%rdx), %zmm19, %zmm19   label
5933 vfmadd132pd (%rdx), %zmm19, %zmm19 {%k2}   label
5937 vfmadd132pd (%rdx), %zmm19, %zmm19 {%k2} {z}   label
5941 vfmadd132pd {rn-sae}, %zmm19, %zmm19, %zmm19   label
5945 vfmadd132pd {rn-sae}, %zmm19, %zmm19, %zmm19 {%k2}   label
5949 vfmadd132pd {rn-sae}, %zmm19, %zmm19, %zmm19 {%k2} {z}   label
5953 vfmadd132pd {ru-sae}, %zmm19, %zmm19, %zmm19   label
5957 vfmadd132pd {ru-sae}, %zmm19, %zmm19, %zmm19 {%k2}   label
5961 vfmadd132pd {ru-sae}, %zmm19, %zmm19, %zmm19 {%k2} {z}   label
5965 vfmadd132pd {rz-sae}, %zmm19, %zmm19, %zmm19   label
5969 vfmadd132pd {rz-sae}, %zmm19, %zmm19, %zmm19 {%k2}   label
5973 vfmadd132pd {rz-sae}, %zmm19, %zmm19, %zmm19 {%k2} {z}   label
5977 vfmadd132pd %zmm19, %zmm19, %zmm19   label
5981 vfmadd132pd %zmm19, %zmm19, %zmm19 {%k2}   label
5985 vfmadd132pd %zmm19, %zmm19, %zmm19 {%k2} {z}   label