test/avx005.asm

   1 ;Testname=avx005; Arguments=-fbin -oavx005.bin -Ox; Files=stdout stderr avx005.bin
   2
   3 %define regxmm xmm0
   4 %define regymm ymm0
   5 %define mem [0]
   6 %define imm 3
   7
   8 %macro x 1+.nolist
   9  %1 ; comment this line if RELAXed variants are not supported
  10 %endmacro
  11
  12   VFMADDSUB132PS regxmm,regxmm,mem        ; VEX_FMA,SO
  13   VFMADDSUB132PS regxmm,regxmm,regxmm     ; VEX_FMA
  14   VFMADDSUB132PS regymm,regymm,mem        ; VEX_FMA,SY
  15   VFMADDSUB132PS regymm,regymm,regymm     ; VEX_FMA
  16
  17 x VFMADDSUB312PS regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
  18 x VFMADDSUB312PS regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
  19 x VFMADDSUB312PS regymm,regymm,mem        ; VEX_FMA,RELAX,SY
  20 x VFMADDSUB312PS regymm,regymm,regymm     ; VEX_FMA,RELAX
  21
  22   VFMADDSUB132PD regxmm,regxmm,mem        ; VEX_FMA,SO
  23   VFMADDSUB132PD regxmm,regxmm,regxmm     ; VEX_FMA
  24   VFMADDSUB132PD regymm,regymm,mem        ; VEX_FMA,SY
  25   VFMADDSUB132PD regymm,regymm,regymm     ; VEX_FMA
  26
  27 x VFMADDSUB312PD regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
  28 x VFMADDSUB312PD regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
  29 x VFMADDSUB312PD regymm,regymm,mem        ; VEX_FMA,RELAX,SY
  30 x VFMADDSUB312PD regymm,regymm,regymm     ; VEX_FMA,RELAX
  31
  32   VFMSUBADD132PS regxmm,regxmm,mem        ; VEX_FMA,SO
  33   VFMSUBADD132PS regxmm,regxmm,regxmm     ; VEX_FMA
  34   VFMSUBADD132PS regymm,regymm,mem        ; VEX_FMA,SY
  35   VFMSUBADD132PS regymm,regymm,regymm     ; VEX_FMA
  36
  37 x VFMSUBADD312PS regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
  38 x VFMSUBADD312PS regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
  39 x VFMSUBADD312PS regymm,regymm,mem        ; VEX_FMA,RELAX,SY
  40 x VFMSUBADD312PS regymm,regymm,regymm     ; VEX_FMA,RELAX
  41
  42   VFMSUBADD132PD regxmm,regxmm,mem        ; VEX_FMA,SO
  43   VFMSUBADD132PD regxmm,regxmm,regxmm     ; VEX_FMA
  44   VFMSUBADD132PD regymm,regymm,mem        ; VEX_FMA,SY
  45   VFMSUBADD132PD regymm,regymm,regymm     ; VEX_FMA
  46
  47 x VFMSUBADD312PD regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
  48 x VFMSUBADD312PD regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
  49 x VFMSUBADD312PD regymm,regymm,mem        ; VEX_FMA,RELAX,SY
  50 x VFMSUBADD312PD regymm,regymm,regymm     ; VEX_FMA,RELAX
  51
  52   VFMADD132PS    regxmm,regxmm,mem        ; VEX_FMA,SO
  53   VFMADD132PS    regxmm,regxmm,regxmm     ; VEX_FMA
  54   VFMADD132PS    regymm,regymm,mem        ; VEX_FMA,SY
  55   VFMADD132PS    regymm,regymm,regymm     ; VEX_FMA
  56
  57 x VFMADD312PS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
  58 x VFMADD312PS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
  59 x VFMADD312PS    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
  60 x VFMADD312PS    regymm,regymm,regymm     ; VEX_FMA,RELAX
  61
  62   VFMADD132PD    regxmm,regxmm,mem        ; VEX_FMA,SO
  63   VFMADD132PD    regxmm,regxmm,regxmm     ; VEX_FMA
  64   VFMADD132PD    regymm,regymm,mem        ; VEX_FMA,SY
  65   VFMADD132PD    regymm,regymm,regymm     ; VEX_FMA
  66
  67 x VFMADD312PD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
  68 x VFMADD312PD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
  69 x VFMADD312PD    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
  70 x VFMADD312PD    regymm,regymm,regymm     ; VEX_FMA,RELAX
  71
  72   VFMADD132SS    regxmm,regxmm,mem        ; VEX_FMA,SD
  73   VFMADD132SS    regxmm,regxmm,regxmm     ; VEX_FMA
  74
  75 x VFMADD312SS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
  76 x VFMADD312SS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
  77
  78   VFMADD132SD    regxmm,regxmm,mem        ; VEX_FMA,SQ
  79   VFMADD132SD    regxmm,regxmm,regxmm     ; VEX_FMA
  80
  81 x VFMADD312SD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
  82 x VFMADD312SD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
  83
  84   VFMSUB132PS    regxmm,regxmm,mem        ; VEX_FMA,SO
  85   VFMSUB132PS    regxmm,regxmm,regxmm     ; VEX_FMA
  86   VFMSUB132PS    regymm,regymm,mem        ; VEX_FMA,SY
  87   VFMSUB132PS    regymm,regymm,regymm     ; VEX_FMA
  88
  89 x VFMSUB312PS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
  90 x VFMSUB312PS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
  91 x VFMSUB312PS    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
  92 x VFMSUB312PS    regymm,regymm,regymm     ; VEX_FMA,RELAX
  93
  94   VFMSUB132PD    regxmm,regxmm,mem        ; VEX_FMA,SO
  95   VFMSUB132PD    regxmm,regxmm,regxmm     ; VEX_FMA
  96   VFMSUB132PD    regymm,regymm,mem        ; VEX_FMA,SY
  97   VFMSUB132PD    regymm,regymm,regymm     ; VEX_FMA
  98
  99 x VFMSUB312PD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 100 x VFMSUB312PD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 101 x VFMSUB312PD    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 102 x VFMSUB312PD    regymm,regymm,regymm     ; VEX_FMA,RELAX
 103
 104   VFMSUB132SS    regxmm,regxmm,mem        ; VEX_FMA,SD
 105   VFMSUB132SS    regxmm,regxmm,regxmm     ; VEX_FMA
 106
 107 x VFMSUB312SS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
 108 x VFMSUB312SS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 109
 110   VFMSUB132SD    regxmm,regxmm,mem        ; VEX_FMA,SQ
 111   VFMSUB132SD    regxmm,regxmm,regxmm     ; VEX_FMA
 112
 113 x VFMSUB312SD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
 114 x VFMSUB312SD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 115
 116   VFNMADD132PS   regxmm,regxmm,mem        ; VEX_FMA,SO
 117   VFNMADD132PS   regxmm,regxmm,regxmm     ; VEX_FMA
 118   VFNMADD132PS   regymm,regymm,mem        ; VEX_FMA,SY
 119   VFNMADD132PS   regymm,regymm,regymm     ; VEX_FMA
 120
 121 x VFNMADD312PS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 122 x VFNMADD312PS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 123 x VFNMADD312PS   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 124 x VFNMADD312PS   regymm,regymm,regymm     ; VEX_FMA,RELAX
 125
 126   VFNMADD132PD   regxmm,regxmm,mem        ; VEX_FMA,SO
 127   VFNMADD132PD   regxmm,regxmm,regxmm     ; VEX_FMA
 128   VFNMADD132PD   regymm,regymm,mem        ; VEX_FMA,SY
 129   VFNMADD132PD   regymm,regymm,regymm     ; VEX_FMA
 130
 131 x VFNMADD312PD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 132 x VFNMADD312PD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 133 x VFNMADD312PD   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 134 x VFNMADD312PD   regymm,regymm,regymm     ; VEX_FMA,RELAX
 135
 136   VFNMADD132SS   regxmm,regxmm,mem        ; VEX_FMA,SD
 137   VFNMADD132SS   regxmm,regxmm,regxmm     ; VEX_FMA
 138
 139 x VFNMADD312SS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
 140 x VFNMADD312SS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 141
 142   VFNMADD132SD   regxmm,regxmm,mem        ; VEX_FMA,SQ
 143   VFNMADD132SD   regxmm,regxmm,regxmm     ; VEX_FMA
 144
 145 x VFNMADD312SD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
 146 x VFNMADD312SD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 147
 148   VFNMSUB132PS   regxmm,regxmm,mem        ; VEX_FMA,SO
 149   VFNMSUB132PS   regxmm,regxmm,regxmm     ; VEX_FMA
 150   VFNMSUB132PS   regymm,regymm,mem        ; VEX_FMA,SY
 151   VFNMSUB132PS   regymm,regymm,regymm     ; VEX_FMA
 152
 153 x VFNMSUB312PS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 154 x VFNMSUB312PS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 155 x VFNMSUB312PS   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 156 x VFNMSUB312PS   regymm,regymm,regymm     ; VEX_FMA,RELAX
 157
 158   VFNMSUB132PD   regxmm,regxmm,mem        ; VEX_FMA,SO
 159   VFNMSUB132PD   regxmm,regxmm,regxmm     ; VEX_FMA
 160   VFNMSUB132PD   regymm,regymm,mem        ; VEX_FMA,SY
 161   VFNMSUB132PD   regymm,regymm,regymm     ; VEX_FMA
 162
 163 x VFNMSUB312PD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 164 x VFNMSUB312PD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 165 x VFNMSUB312PD   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 166 x VFNMSUB312PD   regymm,regymm,regymm     ; VEX_FMA,RELAX
 167
 168   VFNMSUB132SS   regxmm,regxmm,mem        ; VEX_FMA,SD
 169   VFNMSUB132SS   regxmm,regxmm,regxmm     ; VEX_FMA
 170
 171 x VFNMSUB312SS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
 172 x VFNMSUB312SS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 173
 174   VFNMSUB132SD   regxmm,regxmm,mem        ; VEX_FMA,SQ
 175   VFNMSUB132SD   regxmm,regxmm,regxmm     ; VEX_FMA
 176
 177 x VFNMSUB312SD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
 178 x VFNMSUB312SD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 179
 180   VFMADDSUB213PS regxmm,regxmm,mem        ; VEX_FMA,SO
 181   VFMADDSUB213PS regxmm,regxmm,regxmm     ; VEX_FMA
 182   VFMADDSUB213PS regymm,regymm,mem        ; VEX_FMA,SY
 183   VFMADDSUB213PS regymm,regymm,regymm     ; VEX_FMA
 184
 185 x VFMADDSUB123PS regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 186 x VFMADDSUB123PS regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 187 x VFMADDSUB123PS regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 188 x VFMADDSUB123PS regymm,regymm,regymm     ; VEX_FMA,RELAX
 189
 190   VFMADDSUB213PD regxmm,regxmm,mem        ; VEX_FMA,SO
 191   VFMADDSUB213PD regxmm,regxmm,regxmm     ; VEX_FMA
 192   VFMADDSUB213PD regymm,regymm,mem        ; VEX_FMA,SY
 193   VFMADDSUB213PD regymm,regymm,regymm     ; VEX_FMA
 194
 195 x VFMADDSUB123PD regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 196 x VFMADDSUB123PD regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 197 x VFMADDSUB123PD regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 198 x VFMADDSUB123PD regymm,regymm,regymm     ; VEX_FMA,RELAX
 199
 200   VFMSUBADD213PS regxmm,regxmm,mem        ; VEX_FMA,SO
 201   VFMSUBADD213PS regxmm,regxmm,regxmm     ; VEX_FMA
 202   VFMSUBADD213PS regymm,regymm,mem        ; VEX_FMA,SY
 203   VFMSUBADD213PS regymm,regymm,regymm     ; VEX_FMA
 204
 205 x VFMSUBADD123PS regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 206 x VFMSUBADD123PS regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 207 x VFMSUBADD123PS regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 208 x VFMSUBADD123PS regymm,regymm,regymm     ; VEX_FMA,RELAX
 209
 210   VFMSUBADD213PD regxmm,regxmm,mem        ; VEX_FMA,SO
 211   VFMSUBADD213PD regxmm,regxmm,regxmm     ; VEX_FMA
 212   VFMSUBADD213PD regymm,regymm,mem        ; VEX_FMA,SY
 213   VFMSUBADD213PD regymm,regymm,regymm     ; VEX_FMA
 214
 215 x VFMSUBADD123PD regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 216 x VFMSUBADD123PD regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 217 x VFMSUBADD123PD regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 218 x VFMSUBADD123PD regymm,regymm,regymm     ; VEX_FMA,RELAX
 219
 220   VFMADD213PS    regxmm,regxmm,mem        ; VEX_FMA,SO
 221   VFMADD213PS    regxmm,regxmm,regxmm     ; VEX_FMA
 222   VFMADD213PS    regymm,regymm,mem        ; VEX_FMA,SY
 223   VFMADD213PS    regymm,regymm,regymm     ; VEX_FMA
 224
 225 x VFMADD123PS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 226 x VFMADD123PS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 227 x VFMADD123PS    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 228 x VFMADD123PS    regymm,regymm,regymm     ; VEX_FMA,RELAX
 229
 230   VFMADD213PD    regxmm,regxmm,mem        ; VEX_FMA,SO
 231   VFMADD213PD    regxmm,regxmm,regxmm     ; VEX_FMA
 232   VFMADD213PD    regymm,regymm,mem        ; VEX_FMA,SY
 233   VFMADD213PD    regymm,regymm,regymm     ; VEX_FMA
 234
 235 x VFMADD123PD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 236 x VFMADD123PD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 237 x VFMADD123PD    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 238 x VFMADD123PD    regymm,regymm,regymm     ; VEX_FMA,RELAX
 239
 240   VFMADD213SS    regxmm,regxmm,mem        ; VEX_FMA,SD
 241   VFMADD213SS    regxmm,regxmm,regxmm     ; VEX_FMA
 242
 243 x VFMADD123SS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
 244 x VFMADD123SS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 245
 246   VFMADD213SD    regxmm,regxmm,mem        ; VEX_FMA,SQ
 247   VFMADD213SD    regxmm,regxmm,regxmm     ; VEX_FMA
 248
 249 x VFMADD123SD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
 250 x VFMADD123SD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 251
 252   VFMSUB213PS    regxmm,regxmm,mem        ; VEX_FMA,SO
 253   VFMSUB213PS    regxmm,regxmm,regxmm     ; VEX_FMA
 254   VFMSUB213PS    regymm,regymm,mem        ; VEX_FMA,SY
 255   VFMSUB213PS    regymm,regymm,regymm     ; VEX_FMA
 256
 257 x VFMSUB123PS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 258 x VFMSUB123PS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 259 x VFMSUB123PS    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 260 x VFMSUB123PS    regymm,regymm,regymm     ; VEX_FMA,RELAX
 261
 262   VFMSUB213PD    regxmm,regxmm,mem        ; VEX_FMA,SO
 263   VFMSUB213PD    regxmm,regxmm,regxmm     ; VEX_FMA
 264   VFMSUB213PD    regymm,regymm,mem        ; VEX_FMA,SY
 265   VFMSUB213PD    regymm,regymm,regymm     ; VEX_FMA
 266
 267 x VFMSUB123PD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 268 x VFMSUB123PD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 269 x VFMSUB123PD    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 270 x VFMSUB123PD    regymm,regymm,regymm     ; VEX_FMA,RELAX
 271
 272   VFMSUB213SS    regxmm,regxmm,mem        ; VEX_FMA,SD
 273   VFMSUB213SS    regxmm,regxmm,regxmm     ; VEX_FMA
 274
 275 x VFMSUB123SS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
 276 x VFMSUB123SS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 277
 278   VFMSUB213SD    regxmm,regxmm,mem        ; VEX_FMA,SQ
 279   VFMSUB213SD    regxmm,regxmm,regxmm     ; VEX_FMA
 280
 281 x VFMSUB123SD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
 282 x VFMSUB123SD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 283
 284   VFNMADD213PS   regxmm,regxmm,mem        ; VEX_FMA,SO
 285   VFNMADD213PS   regxmm,regxmm,regxmm     ; VEX_FMA
 286   VFNMADD213PS   regymm,regymm,mem        ; VEX_FMA,SY
 287   VFNMADD213PS   regymm,regymm,regymm     ; VEX_FMA
 288
 289 x VFNMADD123PS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 290 x VFNMADD123PS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 291 x VFNMADD123PS   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 292 x VFNMADD123PS   regymm,regymm,regymm     ; VEX_FMA,RELAX
 293
 294   VFNMADD213PD   regxmm,regxmm,mem        ; VEX_FMA,SO
 295   VFNMADD213PD   regxmm,regxmm,regxmm     ; VEX_FMA
 296   VFNMADD213PD   regymm,regymm,mem        ; VEX_FMA,SY
 297   VFNMADD213PD   regymm,regymm,regymm     ; VEX_FMA
 298
 299 x VFNMADD123PD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 300 x VFNMADD123PD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 301 x VFNMADD123PD   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 302 x VFNMADD123PD   regymm,regymm,regymm     ; VEX_FMA,RELAX
 303
 304   VFNMADD213SS   regxmm,regxmm,mem        ; VEX_FMA,SD
 305   VFNMADD213SS   regxmm,regxmm,regxmm     ; VEX_FMA
 306
 307 x VFNMADD123SS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
 308 x VFNMADD123SS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 309
 310   VFNMADD213SD   regxmm,regxmm,mem        ; VEX_FMA,SQ
 311   VFNMADD213SD   regxmm,regxmm,regxmm     ; VEX_FMA
 312
 313 x VFNMADD123SD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
 314 x VFNMADD123SD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 315
 316   VFNMSUB213PS   regxmm,regxmm,mem        ; VEX_FMA,SO
 317   VFNMSUB213PS   regxmm,regxmm,regxmm     ; VEX_FMA
 318   VFNMSUB213PS   regymm,regymm,mem        ; VEX_FMA,SY
 319   VFNMSUB213PS   regymm,regymm,regymm     ; VEX_FMA
 320
 321 x VFNMSUB123PS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 322 x VFNMSUB123PS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 323 x VFNMSUB123PS   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 324 x VFNMSUB123PS   regymm,regymm,regymm     ; VEX_FMA,RELAX
 325
 326   VFNMSUB213PD   regxmm,regxmm,mem        ; VEX_FMA,SO
 327   VFNMSUB213PD   regxmm,regxmm,regxmm     ; VEX_FMA
 328   VFNMSUB213PD   regymm,regymm,mem        ; VEX_FMA,SY
 329   VFNMSUB213PD   regymm,regymm,regymm     ; VEX_FMA
 330
 331 x VFNMSUB123PD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 332 x VFNMSUB123PD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 333 x VFNMSUB123PD   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 334 x VFNMSUB123PD   regymm,regymm,regymm     ; VEX_FMA,RELAX
 335
 336   VFNMSUB213SS   regxmm,regxmm,mem        ; VEX_FMA,SD
 337   VFNMSUB213SS   regxmm,regxmm,regxmm     ; VEX_FMA
 338
 339 x VFNMSUB123SS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
 340 x VFNMSUB123SS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 341
 342   VFNMSUB213SD   regxmm,regxmm,mem        ; VEX_FMA,SQ
 343   VFNMSUB213SD   regxmm,regxmm,regxmm     ; VEX_FMA
 344
 345 x VFNMSUB123SD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
 346 x VFNMSUB123SD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 347
 348   VFMADDSUB231PS regxmm,regxmm,mem        ; VEX_FMA,SO
 349   VFMADDSUB231PS regxmm,regxmm,regxmm     ; VEX_FMA
 350   VFMADDSUB231PS regymm,regymm,mem        ; VEX_FMA,SY
 351   VFMADDSUB231PS regymm,regymm,regymm     ; VEX_FMA
 352
 353 x VFMADDSUB321PS regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 354 x VFMADDSUB321PS regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 355 x VFMADDSUB321PS regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 356 x VFMADDSUB321PS regymm,regymm,regymm     ; VEX_FMA,RELAX
 357
 358   VFMADDSUB231PD regxmm,regxmm,mem        ; VEX_FMA,SO
 359   VFMADDSUB231PD regxmm,regxmm,regxmm     ; VEX_FMA
 360   VFMADDSUB231PD regymm,regymm,mem        ; VEX_FMA,SY
 361   VFMADDSUB231PD regymm,regymm,regymm     ; VEX_FMA
 362
 363 x VFMADDSUB321PD regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 364 x VFMADDSUB321PD regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 365 x VFMADDSUB321PD regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 366 x VFMADDSUB321PD regymm,regymm,regymm     ; VEX_FMA,RELAX
 367
 368   VFMSUBADD231PS regxmm,regxmm,mem        ; VEX_FMA,SO
 369   VFMSUBADD231PS regxmm,regxmm,regxmm     ; VEX_FMA
 370   VFMSUBADD231PS regymm,regymm,mem        ; VEX_FMA,SY
 371   VFMSUBADD231PS regymm,regymm,regymm     ; VEX_FMA
 372
 373 x VFMSUBADD321PS regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 374 x VFMSUBADD321PS regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 375 x VFMSUBADD321PS regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 376 x VFMSUBADD321PS regymm,regymm,regymm     ; VEX_FMA,RELAX
 377
 378   VFMSUBADD231PD regxmm,regxmm,mem        ; VEX_FMA,SO
 379   VFMSUBADD231PD regxmm,regxmm,regxmm     ; VEX_FMA
 380   VFMSUBADD231PD regymm,regymm,mem        ; VEX_FMA,SY
 381   VFMSUBADD231PD regymm,regymm,regymm     ; VEX_FMA
 382
 383 x VFMSUBADD321PD regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 384 x VFMSUBADD321PD regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 385 x VFMSUBADD321PD regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 386 x VFMSUBADD321PD regymm,regymm,regymm     ; VEX_FMA,RELAX
 387
 388   VFMADD231PS    regxmm,regxmm,mem        ; VEX_FMA,SO
 389   VFMADD231PS    regxmm,regxmm,regxmm     ; VEX_FMA
 390   VFMADD231PS    regymm,regymm,mem        ; VEX_FMA,SY
 391   VFMADD231PS    regymm,regymm,regymm     ; VEX_FMA
 392
 393 x VFMADD321PS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 394 x VFMADD321PS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 395 x VFMADD321PS    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 396 x VFMADD321PS    regymm,regymm,regymm     ; VEX_FMA,RELAX
 397
 398   VFMADD231PD    regxmm,regxmm,mem        ; VEX_FMA,SO
 399   VFMADD231PD    regxmm,regxmm,regxmm     ; VEX_FMA
 400   VFMADD231PD    regymm,regymm,mem        ; VEX_FMA,SY
 401   VFMADD231PD    regymm,regymm,regymm     ; VEX_FMA
 402
 403 x VFMADD321PD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 404 x VFMADD321PD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 405 x VFMADD321PD    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 406 x VFMADD321PD    regymm,regymm,regymm     ; VEX_FMA,RELAX
 407
 408   VFMADD231SS    regxmm,regxmm,mem        ; VEX_FMA,SD
 409   VFMADD231SS    regxmm,regxmm,regxmm     ; VEX_FMA
 410
 411 x VFMADD321SS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
 412 x VFMADD321SS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 413
 414   VFMADD231SD    regxmm,regxmm,mem        ; VEX_FMA,SQ
 415   VFMADD231SD    regxmm,regxmm,regxmm     ; VEX_FMA
 416
 417 x VFMADD321SD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
 418 x VFMADD321SD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 419
 420   VFMSUB231PS    regxmm,regxmm,mem        ; VEX_FMA,SO
 421   VFMSUB231PS    regxmm,regxmm,regxmm     ; VEX_FMA
 422   VFMSUB231PS    regymm,regymm,mem        ; VEX_FMA,SY
 423   VFMSUB231PS    regymm,regymm,regymm     ; VEX_FMA
 424
 425 x VFMSUB321PS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 426 x VFMSUB321PS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 427 x VFMSUB321PS    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 428 x VFMSUB321PS    regymm,regymm,regymm     ; VEX_FMA,RELAX
 429
 430   VFMSUB231PD    regxmm,regxmm,mem        ; VEX_FMA,SO
 431   VFMSUB231PD    regxmm,regxmm,regxmm     ; VEX_FMA
 432   VFMSUB231PD    regymm,regymm,mem        ; VEX_FMA,SY
 433   VFMSUB231PD    regymm,regymm,regymm     ; VEX_FMA
 434
 435 x VFMSUB321PD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 436 x VFMSUB321PD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 437 x VFMSUB321PD    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 438 x VFMSUB321PD    regymm,regymm,regymm     ; VEX_FMA,RELAX
 439
 440   VFMSUB231SS    regxmm,regxmm,mem        ; VEX_FMA,SD
 441   VFMSUB231SS    regxmm,regxmm,regxmm     ; VEX_FMA
 442
 443 x VFMSUB321SS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
 444 x VFMSUB321SS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 445
 446   VFMSUB231SD    regxmm,regxmm,mem        ; VEX_FMA,SQ
 447   VFMSUB231SD    regxmm,regxmm,regxmm     ; VEX_FMA
 448
 449 x VFMSUB321SD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
 450 x VFMSUB321SD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 451
 452   VFNMADD231PS   regxmm,regxmm,mem        ; VEX_FMA,SO
 453   VFNMADD231PS   regxmm,regxmm,regxmm     ; VEX_FMA
 454   VFNMADD231PS   regymm,regymm,mem        ; VEX_FMA,SY
 455   VFNMADD231PS   regymm,regymm,regymm     ; VEX_FMA
 456
 457 x VFNMADD321PS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 458 x VFNMADD321PS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 459 x VFNMADD321PS   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 460 x VFNMADD321PS   regymm,regymm,regymm     ; VEX_FMA,RELAX
 461
 462   VFNMADD231PD   regxmm,regxmm,mem        ; VEX_FMA,SO
 463   VFNMADD231PD   regxmm,regxmm,regxmm     ; VEX_FMA
 464   VFNMADD231PD   regymm,regymm,mem        ; VEX_FMA,SY
 465   VFNMADD231PD   regymm,regymm,regymm     ; VEX_FMA
 466
 467 x VFNMADD321PD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 468 x VFNMADD321PD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 469 x VFNMADD321PD   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 470 x VFNMADD321PD   regymm,regymm,regymm     ; VEX_FMA,RELAX
 471
 472   VFNMADD231SS   regxmm,regxmm,mem        ; VEX_FMA,SD
 473   VFNMADD231SS   regxmm,regxmm,regxmm     ; VEX_FMA
 474
 475 x VFNMADD321SS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
 476 x VFNMADD321SS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 477
 478   VFNMADD231SD   regxmm,regxmm,mem        ; VEX_FMA,SQ
 479   VFNMADD231SD   regxmm,regxmm,regxmm     ; VEX_FMA
 480
 481 x VFNMADD321SD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
 482 x VFNMADD321SD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 483
 484   VFNMSUB231PS   regxmm,regxmm,mem        ; VEX_FMA,SO
 485   VFNMSUB231PS   regxmm,regxmm,regxmm     ; VEX_FMA
 486   VFNMSUB231PS   regymm,regymm,mem        ; VEX_FMA,SY
 487   VFNMSUB231PS   regymm,regymm,regymm     ; VEX_FMA
 488
 489 x VFNMSUB321PS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 490 x VFNMSUB321PS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 491 x VFNMSUB321PS   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 492 x VFNMSUB321PS   regymm,regymm,regymm     ; VEX_FMA,RELAX
 493
 494   VFNMSUB231PD   regxmm,regxmm,mem        ; VEX_FMA,SO
 495   VFNMSUB231PD   regxmm,regxmm,regxmm     ; VEX_FMA
 496   VFNMSUB231PD   regymm,regymm,mem        ; VEX_FMA,SY
 497   VFNMSUB231PD   regymm,regymm,regymm     ; VEX_FMA
 498
 499 x VFNMSUB321PD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
 500 x VFNMSUB321PD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 501 x VFNMSUB321PD   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
 502 x VFNMSUB321PD   regymm,regymm,regymm     ; VEX_FMA,RELAX
 503
 504   VFNMSUB231SS   regxmm,regxmm,mem        ; VEX_FMA,SD
 505   VFNMSUB231SS   regxmm,regxmm,regxmm     ; VEX_FMA
 506
 507 x VFNMSUB321SS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
 508 x VFNMSUB321SS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 509
 510   VFNMSUB231SD   regxmm,regxmm,mem        ; VEX_FMA,SQ
 511   VFNMSUB231SD   regxmm,regxmm,regxmm     ; VEX_FMA
 512
 513 x VFNMSUB321SD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
 514 x VFNMSUB321SD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
 515
 516   VPCLMULLQLQDQ  regxmm,regxmm,mem        ; PCLMUL,VEX_AVX,SO
 517   VPCLMULLQLQDQ  regxmm,regxmm,regxmm     ; PCLMUL,VEX_AVX
 518   VPCLMULHQLQDQ  regxmm,regxmm,mem        ; PCLMUL,VEX_AVX,SO
 519   VPCLMULHQLQDQ  regxmm,regxmm,regxmm     ; PCLMUL,VEX_AVX
 520   VPCLMULLQHQDQ  regxmm,regxmm,mem        ; PCLMUL,VEX_AVX,SO
 521   VPCLMULLQHQDQ  regxmm,regxmm,regxmm     ; PCLMUL,VEX_AVX
 522   VPCLMULHQHQDQ  regxmm,regxmm,mem        ; PCLMUL,VEX_AVX,SO
 523   VPCLMULHQHQDQ  regxmm,regxmm,regxmm     ; PCLMUL,VEX_AVX
 524   VPCLMULQDQ     regxmm,regxmm,mem,imm    ; PCLMUL,VEX_AVX,SB3,SO
 525   VPCLMULQDQ     regxmm,regxmm,regxmm,imm ; PCLMUL,VEX_AVX,SB3
 526
 527 ; EOF
 528
 529