test/MC/X86/FMA-32.s

   1 // RUN: llvm-mc -triple i386-unknown-unknown --show-encoding %s | FileCheck %s
   2
   3 // CHECK: vfmadd132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
   4 // CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
   5 vfmadd132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
   6
   7 // CHECK: vfmadd132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
   8 // CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
   9 vfmadd132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
  10
  11 // CHECK: vfmadd132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
  12 // CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
  13 vfmadd132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
  14
  15 // CHECK: vfmadd132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
  16 // CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
  17 vfmadd132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
  18
  19 // CHECK: vfmadd132pd 485498096(%edx), %xmm1, %xmm1
  20 // CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0x8a,0xf0,0x1c,0xf0,0x1c]
  21 vfmadd132pd 485498096(%edx), %xmm1, %xmm1
  22
  23 // CHECK: vfmadd132pd 485498096(%edx), %ymm4, %ymm4
  24 // CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0xa2,0xf0,0x1c,0xf0,0x1c]
  25 vfmadd132pd 485498096(%edx), %ymm4, %ymm4
  26
  27 // CHECK: vfmadd132pd 485498096, %xmm1, %xmm1
  28 // CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0x0d,0xf0,0x1c,0xf0,0x1c]
  29 vfmadd132pd 485498096, %xmm1, %xmm1
  30
  31 // CHECK: vfmadd132pd 485498096, %ymm4, %ymm4
  32 // CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0x25,0xf0,0x1c,0xf0,0x1c]
  33 vfmadd132pd 485498096, %ymm4, %ymm4
  34
  35 // CHECK: vfmadd132pd 64(%edx,%eax), %xmm1, %xmm1
  36 // CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0x4c,0x02,0x40]
  37 vfmadd132pd 64(%edx,%eax), %xmm1, %xmm1
  38
  39 // CHECK: vfmadd132pd 64(%edx,%eax), %ymm4, %ymm4
  40 // CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0x64,0x02,0x40]
  41 vfmadd132pd 64(%edx,%eax), %ymm4, %ymm4
  42
  43 // CHECK: vfmadd132pd (%edx), %xmm1, %xmm1
  44 // CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0x0a]
  45 vfmadd132pd (%edx), %xmm1, %xmm1
  46
  47 // CHECK: vfmadd132pd (%edx), %ymm4, %ymm4
  48 // CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0x22]
  49 vfmadd132pd (%edx), %ymm4, %ymm4
  50
  51 // CHECK: vfmadd132pd %xmm1, %xmm1, %xmm1
  52 // CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0xc9]
  53 vfmadd132pd %xmm1, %xmm1, %xmm1
  54
  55 // CHECK: vfmadd132pd %ymm4, %ymm4, %ymm4
  56 // CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0xe4]
  57 vfmadd132pd %ymm4, %ymm4, %ymm4
  58
  59 // CHECK: vfmadd132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
  60 // CHECK: encoding: [0xc4,0xe2,0x71,0x98,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
  61 vfmadd132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
  62
  63 // CHECK: vfmadd132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
  64 // CHECK: encoding: [0xc4,0xe2,0x71,0x98,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
  65 vfmadd132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
  66
  67 // CHECK: vfmadd132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
  68 // CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
  69 vfmadd132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
  70
  71 // CHECK: vfmadd132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
  72 // CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
  73 vfmadd132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
  74
  75 // CHECK: vfmadd132ps 485498096(%edx), %xmm1, %xmm1
  76 // CHECK: encoding: [0xc4,0xe2,0x71,0x98,0x8a,0xf0,0x1c,0xf0,0x1c]
  77 vfmadd132ps 485498096(%edx), %xmm1, %xmm1
  78
  79 // CHECK: vfmadd132ps 485498096(%edx), %ymm4, %ymm4
  80 // CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0xa2,0xf0,0x1c,0xf0,0x1c]
  81 vfmadd132ps 485498096(%edx), %ymm4, %ymm4
  82
  83 // CHECK: vfmadd132ps 485498096, %xmm1, %xmm1
  84 // CHECK: encoding: [0xc4,0xe2,0x71,0x98,0x0d,0xf0,0x1c,0xf0,0x1c]
  85 vfmadd132ps 485498096, %xmm1, %xmm1
  86
  87 // CHECK: vfmadd132ps 485498096, %ymm4, %ymm4
  88 // CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0x25,0xf0,0x1c,0xf0,0x1c]
  89 vfmadd132ps 485498096, %ymm4, %ymm4
  90
  91 // CHECK: vfmadd132ps 64(%edx,%eax), %xmm1, %xmm1
  92 // CHECK: encoding: [0xc4,0xe2,0x71,0x98,0x4c,0x02,0x40]
  93 vfmadd132ps 64(%edx,%eax), %xmm1, %xmm1
  94
  95 // CHECK: vfmadd132ps 64(%edx,%eax), %ymm4, %ymm4
  96 // CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0x64,0x02,0x40]
  97 vfmadd132ps 64(%edx,%eax), %ymm4, %ymm4
  98
  99 // CHECK: vfmadd132ps (%edx), %xmm1, %xmm1
 100 // CHECK: encoding: [0xc4,0xe2,0x71,0x98,0x0a]
 101 vfmadd132ps (%edx), %xmm1, %xmm1
 102
 103 // CHECK: vfmadd132ps (%edx), %ymm4, %ymm4
 104 // CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0x22]
 105 vfmadd132ps (%edx), %ymm4, %ymm4
 106
 107 // CHECK: vfmadd132ps %xmm1, %xmm1, %xmm1
 108 // CHECK: encoding: [0xc4,0xe2,0x71,0x98,0xc9]
 109 vfmadd132ps %xmm1, %xmm1, %xmm1
 110
 111 // CHECK: vfmadd132ps %ymm4, %ymm4, %ymm4
 112 // CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0xe4]
 113 vfmadd132ps %ymm4, %ymm4, %ymm4
 114
 115 // CHECK: vfmadd132sd -485498096(%edx,%eax,4), %xmm1, %xmm1
 116 // CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 117 vfmadd132sd -485498096(%edx,%eax,4), %xmm1, %xmm1
 118
 119 // CHECK: vfmadd132sd 485498096(%edx,%eax,4), %xmm1, %xmm1
 120 // CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 121 vfmadd132sd 485498096(%edx,%eax,4), %xmm1, %xmm1
 122
 123 // CHECK: vfmadd132sd 485498096(%edx), %xmm1, %xmm1
 124 // CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0x8a,0xf0,0x1c,0xf0,0x1c]
 125 vfmadd132sd 485498096(%edx), %xmm1, %xmm1
 126
 127 // CHECK: vfmadd132sd 485498096, %xmm1, %xmm1
 128 // CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0x0d,0xf0,0x1c,0xf0,0x1c]
 129 vfmadd132sd 485498096, %xmm1, %xmm1
 130
 131 // CHECK: vfmadd132sd 64(%edx,%eax), %xmm1, %xmm1
 132 // CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0x4c,0x02,0x40]
 133 vfmadd132sd 64(%edx,%eax), %xmm1, %xmm1
 134
 135 // CHECK: vfmadd132sd (%edx), %xmm1, %xmm1
 136 // CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0x0a]
 137 vfmadd132sd (%edx), %xmm1, %xmm1
 138
 139 // CHECK: vfmadd132sd %xmm1, %xmm1, %xmm1
 140 // CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0xc9]
 141 vfmadd132sd %xmm1, %xmm1, %xmm1
 142
 143 // CHECK: vfmadd132ss -485498096(%edx,%eax,4), %xmm1, %xmm1
 144 // CHECK: encoding: [0xc4,0xe2,0x71,0x99,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 145 vfmadd132ss -485498096(%edx,%eax,4), %xmm1, %xmm1
 146
 147 // CHECK: vfmadd132ss 485498096(%edx,%eax,4), %xmm1, %xmm1
 148 // CHECK: encoding: [0xc4,0xe2,0x71,0x99,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 149 vfmadd132ss 485498096(%edx,%eax,4), %xmm1, %xmm1
 150
 151 // CHECK: vfmadd132ss 485498096(%edx), %xmm1, %xmm1
 152 // CHECK: encoding: [0xc4,0xe2,0x71,0x99,0x8a,0xf0,0x1c,0xf0,0x1c]
 153 vfmadd132ss 485498096(%edx), %xmm1, %xmm1
 154
 155 // CHECK: vfmadd132ss 485498096, %xmm1, %xmm1
 156 // CHECK: encoding: [0xc4,0xe2,0x71,0x99,0x0d,0xf0,0x1c,0xf0,0x1c]
 157 vfmadd132ss 485498096, %xmm1, %xmm1
 158
 159 // CHECK: vfmadd132ss 64(%edx,%eax), %xmm1, %xmm1
 160 // CHECK: encoding: [0xc4,0xe2,0x71,0x99,0x4c,0x02,0x40]
 161 vfmadd132ss 64(%edx,%eax), %xmm1, %xmm1
 162
 163 // CHECK: vfmadd132ss (%edx), %xmm1, %xmm1
 164 // CHECK: encoding: [0xc4,0xe2,0x71,0x99,0x0a]
 165 vfmadd132ss (%edx), %xmm1, %xmm1
 166
 167 // CHECK: vfmadd132ss %xmm1, %xmm1, %xmm1
 168 // CHECK: encoding: [0xc4,0xe2,0x71,0x99,0xc9]
 169 vfmadd132ss %xmm1, %xmm1, %xmm1
 170
 171 // CHECK: vfmadd213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
 172 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 173 vfmadd213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
 174
 175 // CHECK: vfmadd213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
 176 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 177 vfmadd213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
 178
 179 // CHECK: vfmadd213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
 180 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
 181 vfmadd213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
 182
 183 // CHECK: vfmadd213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
 184 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
 185 vfmadd213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
 186
 187 // CHECK: vfmadd213pd 485498096(%edx), %xmm1, %xmm1
 188 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0x8a,0xf0,0x1c,0xf0,0x1c]
 189 vfmadd213pd 485498096(%edx), %xmm1, %xmm1
 190
 191 // CHECK: vfmadd213pd 485498096(%edx), %ymm4, %ymm4
 192 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0xa2,0xf0,0x1c,0xf0,0x1c]
 193 vfmadd213pd 485498096(%edx), %ymm4, %ymm4
 194
 195 // CHECK: vfmadd213pd 485498096, %xmm1, %xmm1
 196 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0x0d,0xf0,0x1c,0xf0,0x1c]
 197 vfmadd213pd 485498096, %xmm1, %xmm1
 198
 199 // CHECK: vfmadd213pd 485498096, %ymm4, %ymm4
 200 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0x25,0xf0,0x1c,0xf0,0x1c]
 201 vfmadd213pd 485498096, %ymm4, %ymm4
 202
 203 // CHECK: vfmadd213pd 64(%edx,%eax), %xmm1, %xmm1
 204 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0x4c,0x02,0x40]
 205 vfmadd213pd 64(%edx,%eax), %xmm1, %xmm1
 206
 207 // CHECK: vfmadd213pd 64(%edx,%eax), %ymm4, %ymm4
 208 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0x64,0x02,0x40]
 209 vfmadd213pd 64(%edx,%eax), %ymm4, %ymm4
 210
 211 // CHECK: vfmadd213pd (%edx), %xmm1, %xmm1
 212 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0x0a]
 213 vfmadd213pd (%edx), %xmm1, %xmm1
 214
 215 // CHECK: vfmadd213pd (%edx), %ymm4, %ymm4
 216 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0x22]
 217 vfmadd213pd (%edx), %ymm4, %ymm4
 218
 219 // CHECK: vfmadd213pd %xmm1, %xmm1, %xmm1
 220 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0xc9]
 221 vfmadd213pd %xmm1, %xmm1, %xmm1
 222
 223 // CHECK: vfmadd213pd %ymm4, %ymm4, %ymm4
 224 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0xe4]
 225 vfmadd213pd %ymm4, %ymm4, %ymm4
 226
 227 // CHECK: vfmadd213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
 228 // CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 229 vfmadd213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
 230
 231 // CHECK: vfmadd213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
 232 // CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 233 vfmadd213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
 234
 235 // CHECK: vfmadd213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
 236 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
 237 vfmadd213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
 238
 239 // CHECK: vfmadd213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
 240 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
 241 vfmadd213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
 242
 243 // CHECK: vfmadd213ps 485498096(%edx), %xmm1, %xmm1
 244 // CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0x8a,0xf0,0x1c,0xf0,0x1c]
 245 vfmadd213ps 485498096(%edx), %xmm1, %xmm1
 246
 247 // CHECK: vfmadd213ps 485498096(%edx), %ymm4, %ymm4
 248 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0xa2,0xf0,0x1c,0xf0,0x1c]
 249 vfmadd213ps 485498096(%edx), %ymm4, %ymm4
 250
 251 // CHECK: vfmadd213ps 485498096, %xmm1, %xmm1
 252 // CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0x0d,0xf0,0x1c,0xf0,0x1c]
 253 vfmadd213ps 485498096, %xmm1, %xmm1
 254
 255 // CHECK: vfmadd213ps 485498096, %ymm4, %ymm4
 256 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0x25,0xf0,0x1c,0xf0,0x1c]
 257 vfmadd213ps 485498096, %ymm4, %ymm4
 258
 259 // CHECK: vfmadd213ps 64(%edx,%eax), %xmm1, %xmm1
 260 // CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0x4c,0x02,0x40]
 261 vfmadd213ps 64(%edx,%eax), %xmm1, %xmm1
 262
 263 // CHECK: vfmadd213ps 64(%edx,%eax), %ymm4, %ymm4
 264 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0x64,0x02,0x40]
 265 vfmadd213ps 64(%edx,%eax), %ymm4, %ymm4
 266
 267 // CHECK: vfmadd213ps (%edx), %xmm1, %xmm1
 268 // CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0x0a]
 269 vfmadd213ps (%edx), %xmm1, %xmm1
 270
 271 // CHECK: vfmadd213ps (%edx), %ymm4, %ymm4
 272 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0x22]
 273 vfmadd213ps (%edx), %ymm4, %ymm4
 274
 275 // CHECK: vfmadd213ps %xmm1, %xmm1, %xmm1
 276 // CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0xc9]
 277 vfmadd213ps %xmm1, %xmm1, %xmm1
 278
 279 // CHECK: vfmadd213ps %ymm4, %ymm4, %ymm4
 280 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0xe4]
 281 vfmadd213ps %ymm4, %ymm4, %ymm4
 282
 283 // CHECK: vfmadd213sd -485498096(%edx,%eax,4), %xmm1, %xmm1
 284 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 285 vfmadd213sd -485498096(%edx,%eax,4), %xmm1, %xmm1
 286
 287 // CHECK: vfmadd213sd 485498096(%edx,%eax,4), %xmm1, %xmm1
 288 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 289 vfmadd213sd 485498096(%edx,%eax,4), %xmm1, %xmm1
 290
 291 // CHECK: vfmadd213sd 485498096(%edx), %xmm1, %xmm1
 292 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0x8a,0xf0,0x1c,0xf0,0x1c]
 293 vfmadd213sd 485498096(%edx), %xmm1, %xmm1
 294
 295 // CHECK: vfmadd213sd 485498096, %xmm1, %xmm1
 296 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0x0d,0xf0,0x1c,0xf0,0x1c]
 297 vfmadd213sd 485498096, %xmm1, %xmm1
 298
 299 // CHECK: vfmadd213sd 64(%edx,%eax), %xmm1, %xmm1
 300 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0x4c,0x02,0x40]
 301 vfmadd213sd 64(%edx,%eax), %xmm1, %xmm1
 302
 303 // CHECK: vfmadd213sd (%edx), %xmm1, %xmm1
 304 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0x0a]
 305 vfmadd213sd (%edx), %xmm1, %xmm1
 306
 307 // CHECK: vfmadd213sd %xmm1, %xmm1, %xmm1
 308 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0xc9]
 309 vfmadd213sd %xmm1, %xmm1, %xmm1
 310
 311 // CHECK: vfmadd213ss -485498096(%edx,%eax,4), %xmm1, %xmm1
 312 // CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 313 vfmadd213ss -485498096(%edx,%eax,4), %xmm1, %xmm1
 314
 315 // CHECK: vfmadd213ss 485498096(%edx,%eax,4), %xmm1, %xmm1
 316 // CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 317 vfmadd213ss 485498096(%edx,%eax,4), %xmm1, %xmm1
 318
 319 // CHECK: vfmadd213ss 485498096(%edx), %xmm1, %xmm1
 320 // CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0x8a,0xf0,0x1c,0xf0,0x1c]
 321 vfmadd213ss 485498096(%edx), %xmm1, %xmm1
 322
 323 // CHECK: vfmadd213ss 485498096, %xmm1, %xmm1
 324 // CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0x0d,0xf0,0x1c,0xf0,0x1c]
 325 vfmadd213ss 485498096, %xmm1, %xmm1
 326
 327 // CHECK: vfmadd213ss 64(%edx,%eax), %xmm1, %xmm1
 328 // CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0x4c,0x02,0x40]
 329 vfmadd213ss 64(%edx,%eax), %xmm1, %xmm1
 330
 331 // CHECK: vfmadd213ss (%edx), %xmm1, %xmm1
 332 // CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0x0a]
 333 vfmadd213ss (%edx), %xmm1, %xmm1
 334
 335 // CHECK: vfmadd213ss %xmm1, %xmm1, %xmm1
 336 // CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0xc9]
 337 vfmadd213ss %xmm1, %xmm1, %xmm1
 338
 339 // CHECK: vfmadd231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
 340 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 341 vfmadd231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
 342
 343 // CHECK: vfmadd231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
 344 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 345 vfmadd231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
 346
 347 // CHECK: vfmadd231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
 348 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
 349 vfmadd231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
 350
 351 // CHECK: vfmadd231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
 352 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
 353 vfmadd231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
 354
 355 // CHECK: vfmadd231pd 485498096(%edx), %xmm1, %xmm1
 356 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0x8a,0xf0,0x1c,0xf0,0x1c]
 357 vfmadd231pd 485498096(%edx), %xmm1, %xmm1
 358
 359 // CHECK: vfmadd231pd 485498096(%edx), %ymm4, %ymm4
 360 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0xa2,0xf0,0x1c,0xf0,0x1c]
 361 vfmadd231pd 485498096(%edx), %ymm4, %ymm4
 362
 363 // CHECK: vfmadd231pd 485498096, %xmm1, %xmm1
 364 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0x0d,0xf0,0x1c,0xf0,0x1c]
 365 vfmadd231pd 485498096, %xmm1, %xmm1
 366
 367 // CHECK: vfmadd231pd 485498096, %ymm4, %ymm4
 368 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0x25,0xf0,0x1c,0xf0,0x1c]
 369 vfmadd231pd 485498096, %ymm4, %ymm4
 370
 371 // CHECK: vfmadd231pd 64(%edx,%eax), %xmm1, %xmm1
 372 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0x4c,0x02,0x40]
 373 vfmadd231pd 64(%edx,%eax), %xmm1, %xmm1
 374
 375 // CHECK: vfmadd231pd 64(%edx,%eax), %ymm4, %ymm4
 376 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0x64,0x02,0x40]
 377 vfmadd231pd 64(%edx,%eax), %ymm4, %ymm4
 378
 379 // CHECK: vfmadd231pd (%edx), %xmm1, %xmm1
 380 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0x0a]
 381 vfmadd231pd (%edx), %xmm1, %xmm1
 382
 383 // CHECK: vfmadd231pd (%edx), %ymm4, %ymm4
 384 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0x22]
 385 vfmadd231pd (%edx), %ymm4, %ymm4
 386
 387 // CHECK: vfmadd231pd %xmm1, %xmm1, %xmm1
 388 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0xc9]
 389 vfmadd231pd %xmm1, %xmm1, %xmm1
 390
 391 // CHECK: vfmadd231pd %ymm4, %ymm4, %ymm4
 392 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0xe4]
 393 vfmadd231pd %ymm4, %ymm4, %ymm4
 394
 395 // CHECK: vfmadd231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
 396 // CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 397 vfmadd231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
 398
 399 // CHECK: vfmadd231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
 400 // CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 401 vfmadd231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
 402
 403 // CHECK: vfmadd231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
 404 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
 405 vfmadd231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
 406
 407 // CHECK: vfmadd231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
 408 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
 409 vfmadd231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
 410
 411 // CHECK: vfmadd231ps 485498096(%edx), %xmm1, %xmm1
 412 // CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0x8a,0xf0,0x1c,0xf0,0x1c]
 413 vfmadd231ps 485498096(%edx), %xmm1, %xmm1
 414
 415 // CHECK: vfmadd231ps 485498096(%edx), %ymm4, %ymm4
 416 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0xa2,0xf0,0x1c,0xf0,0x1c]
 417 vfmadd231ps 485498096(%edx), %ymm4, %ymm4
 418
 419 // CHECK: vfmadd231ps 485498096, %xmm1, %xmm1
 420 // CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0x0d,0xf0,0x1c,0xf0,0x1c]
 421 vfmadd231ps 485498096, %xmm1, %xmm1
 422
 423 // CHECK: vfmadd231ps 485498096, %ymm4, %ymm4
 424 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0x25,0xf0,0x1c,0xf0,0x1c]
 425 vfmadd231ps 485498096, %ymm4, %ymm4
 426
 427 // CHECK: vfmadd231ps 64(%edx,%eax), %xmm1, %xmm1
 428 // CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0x4c,0x02,0x40]
 429 vfmadd231ps 64(%edx,%eax), %xmm1, %xmm1
 430
 431 // CHECK: vfmadd231ps 64(%edx,%eax), %ymm4, %ymm4
 432 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0x64,0x02,0x40]
 433 vfmadd231ps 64(%edx,%eax), %ymm4, %ymm4
 434
 435 // CHECK: vfmadd231ps (%edx), %xmm1, %xmm1
 436 // CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0x0a]
 437 vfmadd231ps (%edx), %xmm1, %xmm1
 438
 439 // CHECK: vfmadd231ps (%edx), %ymm4, %ymm4
 440 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0x22]
 441 vfmadd231ps (%edx), %ymm4, %ymm4
 442
 443 // CHECK: vfmadd231ps %xmm1, %xmm1, %xmm1
 444 // CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0xc9]
 445 vfmadd231ps %xmm1, %xmm1, %xmm1
 446
 447 // CHECK: vfmadd231ps %ymm4, %ymm4, %ymm4
 448 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0xe4]
 449 vfmadd231ps %ymm4, %ymm4, %ymm4
 450
 451 // CHECK: vfmadd231sd -485498096(%edx,%eax,4), %xmm1, %xmm1
 452 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 453 vfmadd231sd -485498096(%edx,%eax,4), %xmm1, %xmm1
 454
 455 // CHECK: vfmadd231sd 485498096(%edx,%eax,4), %xmm1, %xmm1
 456 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 457 vfmadd231sd 485498096(%edx,%eax,4), %xmm1, %xmm1
 458
 459 // CHECK: vfmadd231sd 485498096(%edx), %xmm1, %xmm1
 460 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0x8a,0xf0,0x1c,0xf0,0x1c]
 461 vfmadd231sd 485498096(%edx), %xmm1, %xmm1
 462
 463 // CHECK: vfmadd231sd 485498096, %xmm1, %xmm1
 464 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0x0d,0xf0,0x1c,0xf0,0x1c]
 465 vfmadd231sd 485498096, %xmm1, %xmm1
 466
 467 // CHECK: vfmadd231sd 64(%edx,%eax), %xmm1, %xmm1
 468 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0x4c,0x02,0x40]
 469 vfmadd231sd 64(%edx,%eax), %xmm1, %xmm1
 470
 471 // CHECK: vfmadd231sd (%edx), %xmm1, %xmm1
 472 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0x0a]
 473 vfmadd231sd (%edx), %xmm1, %xmm1
 474
 475 // CHECK: vfmadd231sd %xmm1, %xmm1, %xmm1
 476 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0xc9]
 477 vfmadd231sd %xmm1, %xmm1, %xmm1
 478
 479 // CHECK: vfmadd231ss -485498096(%edx,%eax,4), %xmm1, %xmm1
 480 // CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 481 vfmadd231ss -485498096(%edx,%eax,4), %xmm1, %xmm1
 482
 483 // CHECK: vfmadd231ss 485498096(%edx,%eax,4), %xmm1, %xmm1
 484 // CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 485 vfmadd231ss 485498096(%edx,%eax,4), %xmm1, %xmm1
 486
 487 // CHECK: vfmadd231ss 485498096(%edx), %xmm1, %xmm1
 488 // CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0x8a,0xf0,0x1c,0xf0,0x1c]
 489 vfmadd231ss 485498096(%edx), %xmm1, %xmm1
 490
 491 // CHECK: vfmadd231ss 485498096, %xmm1, %xmm1
 492 // CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0x0d,0xf0,0x1c,0xf0,0x1c]
 493 vfmadd231ss 485498096, %xmm1, %xmm1
 494
 495 // CHECK: vfmadd231ss 64(%edx,%eax), %xmm1, %xmm1
 496 // CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0x4c,0x02,0x40]
 497 vfmadd231ss 64(%edx,%eax), %xmm1, %xmm1
 498
 499 // CHECK: vfmadd231ss (%edx), %xmm1, %xmm1
 500 // CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0x0a]
 501 vfmadd231ss (%edx), %xmm1, %xmm1
 502
 503 // CHECK: vfmadd231ss %xmm1, %xmm1, %xmm1
 504 // CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0xc9]
 505 vfmadd231ss %xmm1, %xmm1, %xmm1
 506
 507 // CHECK: vfmaddsub132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
 508 // CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 509 vfmaddsub132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
 510
 511 // CHECK: vfmaddsub132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
 512 // CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 513 vfmaddsub132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
 514
 515 // CHECK: vfmaddsub132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
 516 // CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
 517 vfmaddsub132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
 518
 519 // CHECK: vfmaddsub132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
 520 // CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
 521 vfmaddsub132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
 522
 523 // CHECK: vfmaddsub132pd 485498096(%edx), %xmm1, %xmm1
 524 // CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0x8a,0xf0,0x1c,0xf0,0x1c]
 525 vfmaddsub132pd 485498096(%edx), %xmm1, %xmm1
 526
 527 // CHECK: vfmaddsub132pd 485498096(%edx), %ymm4, %ymm4
 528 // CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0xa2,0xf0,0x1c,0xf0,0x1c]
 529 vfmaddsub132pd 485498096(%edx), %ymm4, %ymm4
 530
 531 // CHECK: vfmaddsub132pd 485498096, %xmm1, %xmm1
 532 // CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0x0d,0xf0,0x1c,0xf0,0x1c]
 533 vfmaddsub132pd 485498096, %xmm1, %xmm1
 534
 535 // CHECK: vfmaddsub132pd 485498096, %ymm4, %ymm4
 536 // CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0x25,0xf0,0x1c,0xf0,0x1c]
 537 vfmaddsub132pd 485498096, %ymm4, %ymm4
 538
 539 // CHECK: vfmaddsub132pd 64(%edx,%eax), %xmm1, %xmm1
 540 // CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0x4c,0x02,0x40]
 541 vfmaddsub132pd 64(%edx,%eax), %xmm1, %xmm1
 542
 543 // CHECK: vfmaddsub132pd 64(%edx,%eax), %ymm4, %ymm4
 544 // CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0x64,0x02,0x40]
 545 vfmaddsub132pd 64(%edx,%eax), %ymm4, %ymm4
 546
 547 // CHECK: vfmaddsub132pd (%edx), %xmm1, %xmm1
 548 // CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0x0a]
 549 vfmaddsub132pd (%edx), %xmm1, %xmm1
 550
 551 // CHECK: vfmaddsub132pd (%edx), %ymm4, %ymm4
 552 // CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0x22]
 553 vfmaddsub132pd (%edx), %ymm4, %ymm4
 554
 555 // CHECK: vfmaddsub132pd %xmm1, %xmm1, %xmm1
 556 // CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0xc9]
 557 vfmaddsub132pd %xmm1, %xmm1, %xmm1
 558
 559 // CHECK: vfmaddsub132pd %ymm4, %ymm4, %ymm4
 560 // CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0xe4]
 561 vfmaddsub132pd %ymm4, %ymm4, %ymm4
 562
 563 // CHECK: vfmaddsub132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
 564 // CHECK: encoding: [0xc4,0xe2,0x71,0x96,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 565 vfmaddsub132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
 566
 567 // CHECK: vfmaddsub132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
 568 // CHECK: encoding: [0xc4,0xe2,0x71,0x96,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 569 vfmaddsub132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
 570
 571 // CHECK: vfmaddsub132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
 572 // CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
 573 vfmaddsub132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
 574
 575 // CHECK: vfmaddsub132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
 576 // CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
 577 vfmaddsub132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
 578
 579 // CHECK: vfmaddsub132ps 485498096(%edx), %xmm1, %xmm1
 580 // CHECK: encoding: [0xc4,0xe2,0x71,0x96,0x8a,0xf0,0x1c,0xf0,0x1c]
 581 vfmaddsub132ps 485498096(%edx), %xmm1, %xmm1
 582
 583 // CHECK: vfmaddsub132ps 485498096(%edx), %ymm4, %ymm4
 584 // CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0xa2,0xf0,0x1c,0xf0,0x1c]
 585 vfmaddsub132ps 485498096(%edx), %ymm4, %ymm4
 586
 587 // CHECK: vfmaddsub132ps 485498096, %xmm1, %xmm1
 588 // CHECK: encoding: [0xc4,0xe2,0x71,0x96,0x0d,0xf0,0x1c,0xf0,0x1c]
 589 vfmaddsub132ps 485498096, %xmm1, %xmm1
 590
 591 // CHECK: vfmaddsub132ps 485498096, %ymm4, %ymm4
 592 // CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0x25,0xf0,0x1c,0xf0,0x1c]
 593 vfmaddsub132ps 485498096, %ymm4, %ymm4
 594
 595 // CHECK: vfmaddsub132ps 64(%edx,%eax), %xmm1, %xmm1
 596 // CHECK: encoding: [0xc4,0xe2,0x71,0x96,0x4c,0x02,0x40]
 597 vfmaddsub132ps 64(%edx,%eax), %xmm1, %xmm1
 598
 599 // CHECK: vfmaddsub132ps 64(%edx,%eax), %ymm4, %ymm4
 600 // CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0x64,0x02,0x40]
 601 vfmaddsub132ps 64(%edx,%eax), %ymm4, %ymm4
 602
 603 // CHECK: vfmaddsub132ps (%edx), %xmm1, %xmm1
 604 // CHECK: encoding: [0xc4,0xe2,0x71,0x96,0x0a]
 605 vfmaddsub132ps (%edx), %xmm1, %xmm1
 606
 607 // CHECK: vfmaddsub132ps (%edx), %ymm4, %ymm4
 608 // CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0x22]
 609 vfmaddsub132ps (%edx), %ymm4, %ymm4
 610
 611 // CHECK: vfmaddsub132ps %xmm1, %xmm1, %xmm1
 612 // CHECK: encoding: [0xc4,0xe2,0x71,0x96,0xc9]
 613 vfmaddsub132ps %xmm1, %xmm1, %xmm1
 614
 615 // CHECK: vfmaddsub132ps %ymm4, %ymm4, %ymm4
 616 // CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0xe4]
 617 vfmaddsub132ps %ymm4, %ymm4, %ymm4
 618
 619 // CHECK: vfmaddsub213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
 620 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 621 vfmaddsub213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
 622
 623 // CHECK: vfmaddsub213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
 624 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 625 vfmaddsub213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
 626
 627 // CHECK: vfmaddsub213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
 628 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
 629 vfmaddsub213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
 630
 631 // CHECK: vfmaddsub213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
 632 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
 633 vfmaddsub213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
 634
 635 // CHECK: vfmaddsub213pd 485498096(%edx), %xmm1, %xmm1
 636 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0x8a,0xf0,0x1c,0xf0,0x1c]
 637 vfmaddsub213pd 485498096(%edx), %xmm1, %xmm1
 638
 639 // CHECK: vfmaddsub213pd 485498096(%edx), %ymm4, %ymm4
 640 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0xa2,0xf0,0x1c,0xf0,0x1c]
 641 vfmaddsub213pd 485498096(%edx), %ymm4, %ymm4
 642
 643 // CHECK: vfmaddsub213pd 485498096, %xmm1, %xmm1
 644 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0x0d,0xf0,0x1c,0xf0,0x1c]
 645 vfmaddsub213pd 485498096, %xmm1, %xmm1
 646
 647 // CHECK: vfmaddsub213pd 485498096, %ymm4, %ymm4
 648 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0x25,0xf0,0x1c,0xf0,0x1c]
 649 vfmaddsub213pd 485498096, %ymm4, %ymm4
 650
 651 // CHECK: vfmaddsub213pd 64(%edx,%eax), %xmm1, %xmm1
 652 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0x4c,0x02,0x40]
 653 vfmaddsub213pd 64(%edx,%eax), %xmm1, %xmm1
 654
 655 // CHECK: vfmaddsub213pd 64(%edx,%eax), %ymm4, %ymm4
 656 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0x64,0x02,0x40]
 657 vfmaddsub213pd 64(%edx,%eax), %ymm4, %ymm4
 658
 659 // CHECK: vfmaddsub213pd (%edx), %xmm1, %xmm1
 660 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0x0a]
 661 vfmaddsub213pd (%edx), %xmm1, %xmm1
 662
 663 // CHECK: vfmaddsub213pd (%edx), %ymm4, %ymm4
 664 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0x22]
 665 vfmaddsub213pd (%edx), %ymm4, %ymm4
 666
 667 // CHECK: vfmaddsub213pd %xmm1, %xmm1, %xmm1
 668 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0xc9]
 669 vfmaddsub213pd %xmm1, %xmm1, %xmm1
 670
 671 // CHECK: vfmaddsub213pd %ymm4, %ymm4, %ymm4
 672 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0xe4]
 673 vfmaddsub213pd %ymm4, %ymm4, %ymm4
 674
 675 // CHECK: vfmaddsub213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
 676 // CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 677 vfmaddsub213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
 678
 679 // CHECK: vfmaddsub213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
 680 // CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 681 vfmaddsub213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
 682
 683 // CHECK: vfmaddsub213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
 684 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
 685 vfmaddsub213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
 686
 687 // CHECK: vfmaddsub213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
 688 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
 689 vfmaddsub213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
 690
 691 // CHECK: vfmaddsub213ps 485498096(%edx), %xmm1, %xmm1
 692 // CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0x8a,0xf0,0x1c,0xf0,0x1c]
 693 vfmaddsub213ps 485498096(%edx), %xmm1, %xmm1
 694
 695 // CHECK: vfmaddsub213ps 485498096(%edx), %ymm4, %ymm4
 696 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0xa2,0xf0,0x1c,0xf0,0x1c]
 697 vfmaddsub213ps 485498096(%edx), %ymm4, %ymm4
 698
 699 // CHECK: vfmaddsub213ps 485498096, %xmm1, %xmm1
 700 // CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0x0d,0xf0,0x1c,0xf0,0x1c]
 701 vfmaddsub213ps 485498096, %xmm1, %xmm1
 702
 703 // CHECK: vfmaddsub213ps 485498096, %ymm4, %ymm4
 704 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0x25,0xf0,0x1c,0xf0,0x1c]
 705 vfmaddsub213ps 485498096, %ymm4, %ymm4
 706
 707 // CHECK: vfmaddsub213ps 64(%edx,%eax), %xmm1, %xmm1
 708 // CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0x4c,0x02,0x40]
 709 vfmaddsub213ps 64(%edx,%eax), %xmm1, %xmm1
 710
 711 // CHECK: vfmaddsub213ps 64(%edx,%eax), %ymm4, %ymm4
 712 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0x64,0x02,0x40]
 713 vfmaddsub213ps 64(%edx,%eax), %ymm4, %ymm4
 714
 715 // CHECK: vfmaddsub213ps (%edx), %xmm1, %xmm1
 716 // CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0x0a]
 717 vfmaddsub213ps (%edx), %xmm1, %xmm1
 718
 719 // CHECK: vfmaddsub213ps (%edx), %ymm4, %ymm4
 720 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0x22]
 721 vfmaddsub213ps (%edx), %ymm4, %ymm4
 722
 723 // CHECK: vfmaddsub213ps %xmm1, %xmm1, %xmm1
 724 // CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0xc9]
 725 vfmaddsub213ps %xmm1, %xmm1, %xmm1
 726
 727 // CHECK: vfmaddsub213ps %ymm4, %ymm4, %ymm4
 728 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0xe4]
 729 vfmaddsub213ps %ymm4, %ymm4, %ymm4
 730
 731 // CHECK: vfmaddsub231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
 732 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 733 vfmaddsub231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
 734
 735 // CHECK: vfmaddsub231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
 736 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 737 vfmaddsub231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
 738
 739 // CHECK: vfmaddsub231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
 740 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
 741 vfmaddsub231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
 742
 743 // CHECK: vfmaddsub231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
 744 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
 745 vfmaddsub231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
 746
 747 // CHECK: vfmaddsub231pd 485498096(%edx), %xmm1, %xmm1
 748 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0x8a,0xf0,0x1c,0xf0,0x1c]
 749 vfmaddsub231pd 485498096(%edx), %xmm1, %xmm1
 750
 751 // CHECK: vfmaddsub231pd 485498096(%edx), %ymm4, %ymm4
 752 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0xa2,0xf0,0x1c,0xf0,0x1c]
 753 vfmaddsub231pd 485498096(%edx), %ymm4, %ymm4
 754
 755 // CHECK: vfmaddsub231pd 485498096, %xmm1, %xmm1
 756 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0x0d,0xf0,0x1c,0xf0,0x1c]
 757 vfmaddsub231pd 485498096, %xmm1, %xmm1
 758
 759 // CHECK: vfmaddsub231pd 485498096, %ymm4, %ymm4
 760 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0x25,0xf0,0x1c,0xf0,0x1c]
 761 vfmaddsub231pd 485498096, %ymm4, %ymm4
 762
 763 // CHECK: vfmaddsub231pd 64(%edx,%eax), %xmm1, %xmm1
 764 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0x4c,0x02,0x40]
 765 vfmaddsub231pd 64(%edx,%eax), %xmm1, %xmm1
 766
 767 // CHECK: vfmaddsub231pd 64(%edx,%eax), %ymm4, %ymm4
 768 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0x64,0x02,0x40]
 769 vfmaddsub231pd 64(%edx,%eax), %ymm4, %ymm4
 770
 771 // CHECK: vfmaddsub231pd (%edx), %xmm1, %xmm1
 772 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0x0a]
 773 vfmaddsub231pd (%edx), %xmm1, %xmm1
 774
 775 // CHECK: vfmaddsub231pd (%edx), %ymm4, %ymm4
 776 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0x22]
 777 vfmaddsub231pd (%edx), %ymm4, %ymm4
 778
 779 // CHECK: vfmaddsub231pd %xmm1, %xmm1, %xmm1
 780 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0xc9]
 781 vfmaddsub231pd %xmm1, %xmm1, %xmm1
 782
 783 // CHECK: vfmaddsub231pd %ymm4, %ymm4, %ymm4
 784 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0xe4]
 785 vfmaddsub231pd %ymm4, %ymm4, %ymm4
 786
 787 // CHECK: vfmaddsub231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
 788 // CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 789 vfmaddsub231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
 790
 791 // CHECK: vfmaddsub231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
 792 // CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 793 vfmaddsub231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
 794
 795 // CHECK: vfmaddsub231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
 796 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
 797 vfmaddsub231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
 798
 799 // CHECK: vfmaddsub231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
 800 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
 801 vfmaddsub231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
 802
 803 // CHECK: vfmaddsub231ps 485498096(%edx), %xmm1, %xmm1
 804 // CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0x8a,0xf0,0x1c,0xf0,0x1c]
 805 vfmaddsub231ps 485498096(%edx), %xmm1, %xmm1
 806
 807 // CHECK: vfmaddsub231ps 485498096(%edx), %ymm4, %ymm4
 808 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0xa2,0xf0,0x1c,0xf0,0x1c]
 809 vfmaddsub231ps 485498096(%edx), %ymm4, %ymm4
 810
 811 // CHECK: vfmaddsub231ps 485498096, %xmm1, %xmm1
 812 // CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0x0d,0xf0,0x1c,0xf0,0x1c]
 813 vfmaddsub231ps 485498096, %xmm1, %xmm1
 814
 815 // CHECK: vfmaddsub231ps 485498096, %ymm4, %ymm4
 816 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0x25,0xf0,0x1c,0xf0,0x1c]
 817 vfmaddsub231ps 485498096, %ymm4, %ymm4
 818
 819 // CHECK: vfmaddsub231ps 64(%edx,%eax), %xmm1, %xmm1
 820 // CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0x4c,0x02,0x40]
 821 vfmaddsub231ps 64(%edx,%eax), %xmm1, %xmm1
 822
 823 // CHECK: vfmaddsub231ps 64(%edx,%eax), %ymm4, %ymm4
 824 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0x64,0x02,0x40]
 825 vfmaddsub231ps 64(%edx,%eax), %ymm4, %ymm4
 826
 827 // CHECK: vfmaddsub231ps (%edx), %xmm1, %xmm1
 828 // CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0x0a]
 829 vfmaddsub231ps (%edx), %xmm1, %xmm1
 830
 831 // CHECK: vfmaddsub231ps (%edx), %ymm4, %ymm4
 832 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0x22]
 833 vfmaddsub231ps (%edx), %ymm4, %ymm4
 834
 835 // CHECK: vfmaddsub231ps %xmm1, %xmm1, %xmm1
 836 // CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0xc9]
 837 vfmaddsub231ps %xmm1, %xmm1, %xmm1
 838
 839 // CHECK: vfmaddsub231ps %ymm4, %ymm4, %ymm4
 840 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0xe4]
 841 vfmaddsub231ps %ymm4, %ymm4, %ymm4
 842
 843 // CHECK: vfmsub132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
 844 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 845 vfmsub132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
 846
 847 // CHECK: vfmsub132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
 848 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 849 vfmsub132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
 850
 851 // CHECK: vfmsub132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
 852 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
 853 vfmsub132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
 854
 855 // CHECK: vfmsub132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
 856 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
 857 vfmsub132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
 858
 859 // CHECK: vfmsub132pd 485498096(%edx), %xmm1, %xmm1
 860 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0x8a,0xf0,0x1c,0xf0,0x1c]
 861 vfmsub132pd 485498096(%edx), %xmm1, %xmm1
 862
 863 // CHECK: vfmsub132pd 485498096(%edx), %ymm4, %ymm4
 864 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0xa2,0xf0,0x1c,0xf0,0x1c]
 865 vfmsub132pd 485498096(%edx), %ymm4, %ymm4
 866
 867 // CHECK: vfmsub132pd 485498096, %xmm1, %xmm1
 868 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0x0d,0xf0,0x1c,0xf0,0x1c]
 869 vfmsub132pd 485498096, %xmm1, %xmm1
 870
 871 // CHECK: vfmsub132pd 485498096, %ymm4, %ymm4
 872 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0x25,0xf0,0x1c,0xf0,0x1c]
 873 vfmsub132pd 485498096, %ymm4, %ymm4
 874
 875 // CHECK: vfmsub132pd 64(%edx,%eax), %xmm1, %xmm1
 876 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0x4c,0x02,0x40]
 877 vfmsub132pd 64(%edx,%eax), %xmm1, %xmm1
 878
 879 // CHECK: vfmsub132pd 64(%edx,%eax), %ymm4, %ymm4
 880 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0x64,0x02,0x40]
 881 vfmsub132pd 64(%edx,%eax), %ymm4, %ymm4
 882
 883 // CHECK: vfmsub132pd (%edx), %xmm1, %xmm1
 884 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0x0a]
 885 vfmsub132pd (%edx), %xmm1, %xmm1
 886
 887 // CHECK: vfmsub132pd (%edx), %ymm4, %ymm4
 888 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0x22]
 889 vfmsub132pd (%edx), %ymm4, %ymm4
 890
 891 // CHECK: vfmsub132pd %xmm1, %xmm1, %xmm1
 892 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0xc9]
 893 vfmsub132pd %xmm1, %xmm1, %xmm1
 894
 895 // CHECK: vfmsub132pd %ymm4, %ymm4, %ymm4
 896 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0xe4]
 897 vfmsub132pd %ymm4, %ymm4, %ymm4
 898
 899 // CHECK: vfmsub132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
 900 // CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 901 vfmsub132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
 902
 903 // CHECK: vfmsub132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
 904 // CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 905 vfmsub132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
 906
 907 // CHECK: vfmsub132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
 908 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
 909 vfmsub132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
 910
 911 // CHECK: vfmsub132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
 912 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
 913 vfmsub132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
 914
 915 // CHECK: vfmsub132ps 485498096(%edx), %xmm1, %xmm1
 916 // CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0x8a,0xf0,0x1c,0xf0,0x1c]
 917 vfmsub132ps 485498096(%edx), %xmm1, %xmm1
 918
 919 // CHECK: vfmsub132ps 485498096(%edx), %ymm4, %ymm4
 920 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0xa2,0xf0,0x1c,0xf0,0x1c]
 921 vfmsub132ps 485498096(%edx), %ymm4, %ymm4
 922
 923 // CHECK: vfmsub132ps 485498096, %xmm1, %xmm1
 924 // CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0x0d,0xf0,0x1c,0xf0,0x1c]
 925 vfmsub132ps 485498096, %xmm1, %xmm1
 926
 927 // CHECK: vfmsub132ps 485498096, %ymm4, %ymm4
 928 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0x25,0xf0,0x1c,0xf0,0x1c]
 929 vfmsub132ps 485498096, %ymm4, %ymm4
 930
 931 // CHECK: vfmsub132ps 64(%edx,%eax), %xmm1, %xmm1
 932 // CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0x4c,0x02,0x40]
 933 vfmsub132ps 64(%edx,%eax), %xmm1, %xmm1
 934
 935 // CHECK: vfmsub132ps 64(%edx,%eax), %ymm4, %ymm4
 936 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0x64,0x02,0x40]
 937 vfmsub132ps 64(%edx,%eax), %ymm4, %ymm4
 938
 939 // CHECK: vfmsub132ps (%edx), %xmm1, %xmm1
 940 // CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0x0a]
 941 vfmsub132ps (%edx), %xmm1, %xmm1
 942
 943 // CHECK: vfmsub132ps (%edx), %ymm4, %ymm4
 944 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0x22]
 945 vfmsub132ps (%edx), %ymm4, %ymm4
 946
 947 // CHECK: vfmsub132ps %xmm1, %xmm1, %xmm1
 948 // CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0xc9]
 949 vfmsub132ps %xmm1, %xmm1, %xmm1
 950
 951 // CHECK: vfmsub132ps %ymm4, %ymm4, %ymm4
 952 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0xe4]
 953 vfmsub132ps %ymm4, %ymm4, %ymm4
 954
 955 // CHECK: vfmsub132sd -485498096(%edx,%eax,4), %xmm1, %xmm1
 956 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 957 vfmsub132sd -485498096(%edx,%eax,4), %xmm1, %xmm1
 958
 959 // CHECK: vfmsub132sd 485498096(%edx,%eax,4), %xmm1, %xmm1
 960 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 961 vfmsub132sd 485498096(%edx,%eax,4), %xmm1, %xmm1
 962
 963 // CHECK: vfmsub132sd 485498096(%edx), %xmm1, %xmm1
 964 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0x8a,0xf0,0x1c,0xf0,0x1c]
 965 vfmsub132sd 485498096(%edx), %xmm1, %xmm1
 966
 967 // CHECK: vfmsub132sd 485498096, %xmm1, %xmm1
 968 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0x0d,0xf0,0x1c,0xf0,0x1c]
 969 vfmsub132sd 485498096, %xmm1, %xmm1
 970
 971 // CHECK: vfmsub132sd 64(%edx,%eax), %xmm1, %xmm1
 972 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0x4c,0x02,0x40]
 973 vfmsub132sd 64(%edx,%eax), %xmm1, %xmm1
 974
 975 // CHECK: vfmsub132sd (%edx), %xmm1, %xmm1
 976 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0x0a]
 977 vfmsub132sd (%edx), %xmm1, %xmm1
 978
 979 // CHECK: vfmsub132sd %xmm1, %xmm1, %xmm1
 980 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0xc9]
 981 vfmsub132sd %xmm1, %xmm1, %xmm1
 982
 983 // CHECK: vfmsub132ss -485498096(%edx,%eax,4), %xmm1, %xmm1
 984 // CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
 985 vfmsub132ss -485498096(%edx,%eax,4), %xmm1, %xmm1
 986
 987 // CHECK: vfmsub132ss 485498096(%edx,%eax,4), %xmm1, %xmm1
 988 // CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
 989 vfmsub132ss 485498096(%edx,%eax,4), %xmm1, %xmm1
 990
 991 // CHECK: vfmsub132ss 485498096(%edx), %xmm1, %xmm1
 992 // CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0x8a,0xf0,0x1c,0xf0,0x1c]
 993 vfmsub132ss 485498096(%edx), %xmm1, %xmm1
 994
 995 // CHECK: vfmsub132ss 485498096, %xmm1, %xmm1
 996 // CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0x0d,0xf0,0x1c,0xf0,0x1c]
 997 vfmsub132ss 485498096, %xmm1, %xmm1
 998
 999 // CHECK: vfmsub132ss 64(%edx,%eax), %xmm1, %xmm1
1000 // CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0x4c,0x02,0x40]
1001 vfmsub132ss 64(%edx,%eax), %xmm1, %xmm1
1002
1003 // CHECK: vfmsub132ss (%edx), %xmm1, %xmm1
1004 // CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0x0a]
1005 vfmsub132ss (%edx), %xmm1, %xmm1
1006
1007 // CHECK: vfmsub132ss %xmm1, %xmm1, %xmm1
1008 // CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0xc9]
1009 vfmsub132ss %xmm1, %xmm1, %xmm1
1010
1011 // CHECK: vfmsub213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1012 // CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1013 vfmsub213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1014
1015 // CHECK: vfmsub213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1016 // CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1017 vfmsub213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1018
1019 // CHECK: vfmsub213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1020 // CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1021 vfmsub213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1022
1023 // CHECK: vfmsub213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1024 // CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1025 vfmsub213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1026
1027 // CHECK: vfmsub213pd 485498096(%edx), %xmm1, %xmm1
1028 // CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0x8a,0xf0,0x1c,0xf0,0x1c]
1029 vfmsub213pd 485498096(%edx), %xmm1, %xmm1
1030
1031 // CHECK: vfmsub213pd 485498096(%edx), %ymm4, %ymm4
1032 // CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0xa2,0xf0,0x1c,0xf0,0x1c]
1033 vfmsub213pd 485498096(%edx), %ymm4, %ymm4
1034
1035 // CHECK: vfmsub213pd 485498096, %xmm1, %xmm1
1036 // CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0x0d,0xf0,0x1c,0xf0,0x1c]
1037 vfmsub213pd 485498096, %xmm1, %xmm1
1038
1039 // CHECK: vfmsub213pd 485498096, %ymm4, %ymm4
1040 // CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0x25,0xf0,0x1c,0xf0,0x1c]
1041 vfmsub213pd 485498096, %ymm4, %ymm4
1042
1043 // CHECK: vfmsub213pd 64(%edx,%eax), %xmm1, %xmm1
1044 // CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0x4c,0x02,0x40]
1045 vfmsub213pd 64(%edx,%eax), %xmm1, %xmm1
1046
1047 // CHECK: vfmsub213pd 64(%edx,%eax), %ymm4, %ymm4
1048 // CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0x64,0x02,0x40]
1049 vfmsub213pd 64(%edx,%eax), %ymm4, %ymm4
1050
1051 // CHECK: vfmsub213pd (%edx), %xmm1, %xmm1
1052 // CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0x0a]
1053 vfmsub213pd (%edx), %xmm1, %xmm1
1054
1055 // CHECK: vfmsub213pd (%edx), %ymm4, %ymm4
1056 // CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0x22]
1057 vfmsub213pd (%edx), %ymm4, %ymm4
1058
1059 // CHECK: vfmsub213pd %xmm1, %xmm1, %xmm1
1060 // CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0xc9]
1061 vfmsub213pd %xmm1, %xmm1, %xmm1
1062
1063 // CHECK: vfmsub213pd %ymm4, %ymm4, %ymm4
1064 // CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0xe4]
1065 vfmsub213pd %ymm4, %ymm4, %ymm4
1066
1067 // CHECK: vfmsub213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1068 // CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1069 vfmsub213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1070
1071 // CHECK: vfmsub213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1072 // CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1073 vfmsub213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1074
1075 // CHECK: vfmsub213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1076 // CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1077 vfmsub213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1078
1079 // CHECK: vfmsub213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1080 // CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1081 vfmsub213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1082
1083 // CHECK: vfmsub213ps 485498096(%edx), %xmm1, %xmm1
1084 // CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0x8a,0xf0,0x1c,0xf0,0x1c]
1085 vfmsub213ps 485498096(%edx), %xmm1, %xmm1
1086
1087 // CHECK: vfmsub213ps 485498096(%edx), %ymm4, %ymm4
1088 // CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0xa2,0xf0,0x1c,0xf0,0x1c]
1089 vfmsub213ps 485498096(%edx), %ymm4, %ymm4
1090
1091 // CHECK: vfmsub213ps 485498096, %xmm1, %xmm1
1092 // CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0x0d,0xf0,0x1c,0xf0,0x1c]
1093 vfmsub213ps 485498096, %xmm1, %xmm1
1094
1095 // CHECK: vfmsub213ps 485498096, %ymm4, %ymm4
1096 // CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0x25,0xf0,0x1c,0xf0,0x1c]
1097 vfmsub213ps 485498096, %ymm4, %ymm4
1098
1099 // CHECK: vfmsub213ps 64(%edx,%eax), %xmm1, %xmm1
1100 // CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0x4c,0x02,0x40]
1101 vfmsub213ps 64(%edx,%eax), %xmm1, %xmm1
1102
1103 // CHECK: vfmsub213ps 64(%edx,%eax), %ymm4, %ymm4
1104 // CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0x64,0x02,0x40]
1105 vfmsub213ps 64(%edx,%eax), %ymm4, %ymm4
1106
1107 // CHECK: vfmsub213ps (%edx), %xmm1, %xmm1
1108 // CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0x0a]
1109 vfmsub213ps (%edx), %xmm1, %xmm1
1110
1111 // CHECK: vfmsub213ps (%edx), %ymm4, %ymm4
1112 // CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0x22]
1113 vfmsub213ps (%edx), %ymm4, %ymm4
1114
1115 // CHECK: vfmsub213ps %xmm1, %xmm1, %xmm1
1116 // CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0xc9]
1117 vfmsub213ps %xmm1, %xmm1, %xmm1
1118
1119 // CHECK: vfmsub213ps %ymm4, %ymm4, %ymm4
1120 // CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0xe4]
1121 vfmsub213ps %ymm4, %ymm4, %ymm4
1122
1123 // CHECK: vfmsub213sd -485498096(%edx,%eax,4), %xmm1, %xmm1
1124 // CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1125 vfmsub213sd -485498096(%edx,%eax,4), %xmm1, %xmm1
1126
1127 // CHECK: vfmsub213sd 485498096(%edx,%eax,4), %xmm1, %xmm1
1128 // CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1129 vfmsub213sd 485498096(%edx,%eax,4), %xmm1, %xmm1
1130
1131 // CHECK: vfmsub213sd 485498096(%edx), %xmm1, %xmm1
1132 // CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0x8a,0xf0,0x1c,0xf0,0x1c]
1133 vfmsub213sd 485498096(%edx), %xmm1, %xmm1
1134
1135 // CHECK: vfmsub213sd 485498096, %xmm1, %xmm1
1136 // CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0x0d,0xf0,0x1c,0xf0,0x1c]
1137 vfmsub213sd 485498096, %xmm1, %xmm1
1138
1139 // CHECK: vfmsub213sd 64(%edx,%eax), %xmm1, %xmm1
1140 // CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0x4c,0x02,0x40]
1141 vfmsub213sd 64(%edx,%eax), %xmm1, %xmm1
1142
1143 // CHECK: vfmsub213sd (%edx), %xmm1, %xmm1
1144 // CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0x0a]
1145 vfmsub213sd (%edx), %xmm1, %xmm1
1146
1147 // CHECK: vfmsub213sd %xmm1, %xmm1, %xmm1
1148 // CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0xc9]
1149 vfmsub213sd %xmm1, %xmm1, %xmm1
1150
1151 // CHECK: vfmsub213ss -485498096(%edx,%eax,4), %xmm1, %xmm1
1152 // CHECK: encoding: [0xc4,0xe2,0x71,0xab,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1153 vfmsub213ss -485498096(%edx,%eax,4), %xmm1, %xmm1
1154
1155 // CHECK: vfmsub213ss 485498096(%edx,%eax,4), %xmm1, %xmm1
1156 // CHECK: encoding: [0xc4,0xe2,0x71,0xab,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1157 vfmsub213ss 485498096(%edx,%eax,4), %xmm1, %xmm1
1158
1159 // CHECK: vfmsub213ss 485498096(%edx), %xmm1, %xmm1
1160 // CHECK: encoding: [0xc4,0xe2,0x71,0xab,0x8a,0xf0,0x1c,0xf0,0x1c]
1161 vfmsub213ss 485498096(%edx), %xmm1, %xmm1
1162
1163 // CHECK: vfmsub213ss 485498096, %xmm1, %xmm1
1164 // CHECK: encoding: [0xc4,0xe2,0x71,0xab,0x0d,0xf0,0x1c,0xf0,0x1c]
1165 vfmsub213ss 485498096, %xmm1, %xmm1
1166
1167 // CHECK: vfmsub213ss 64(%edx,%eax), %xmm1, %xmm1
1168 // CHECK: encoding: [0xc4,0xe2,0x71,0xab,0x4c,0x02,0x40]
1169 vfmsub213ss 64(%edx,%eax), %xmm1, %xmm1
1170
1171 // CHECK: vfmsub213ss (%edx), %xmm1, %xmm1
1172 // CHECK: encoding: [0xc4,0xe2,0x71,0xab,0x0a]
1173 vfmsub213ss (%edx), %xmm1, %xmm1
1174
1175 // CHECK: vfmsub213ss %xmm1, %xmm1, %xmm1
1176 // CHECK: encoding: [0xc4,0xe2,0x71,0xab,0xc9]
1177 vfmsub213ss %xmm1, %xmm1, %xmm1
1178
1179 // CHECK: vfmsub231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1180 // CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1181 vfmsub231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1182
1183 // CHECK: vfmsub231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1184 // CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1185 vfmsub231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1186
1187 // CHECK: vfmsub231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1188 // CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1189 vfmsub231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1190
1191 // CHECK: vfmsub231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1192 // CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1193 vfmsub231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1194
1195 // CHECK: vfmsub231pd 485498096(%edx), %xmm1, %xmm1
1196 // CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0x8a,0xf0,0x1c,0xf0,0x1c]
1197 vfmsub231pd 485498096(%edx), %xmm1, %xmm1
1198
1199 // CHECK: vfmsub231pd 485498096(%edx), %ymm4, %ymm4
1200 // CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0xa2,0xf0,0x1c,0xf0,0x1c]
1201 vfmsub231pd 485498096(%edx), %ymm4, %ymm4
1202
1203 // CHECK: vfmsub231pd 485498096, %xmm1, %xmm1
1204 // CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0x0d,0xf0,0x1c,0xf0,0x1c]
1205 vfmsub231pd 485498096, %xmm1, %xmm1
1206
1207 // CHECK: vfmsub231pd 485498096, %ymm4, %ymm4
1208 // CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0x25,0xf0,0x1c,0xf0,0x1c]
1209 vfmsub231pd 485498096, %ymm4, %ymm4
1210
1211 // CHECK: vfmsub231pd 64(%edx,%eax), %xmm1, %xmm1
1212 // CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0x4c,0x02,0x40]
1213 vfmsub231pd 64(%edx,%eax), %xmm1, %xmm1
1214
1215 // CHECK: vfmsub231pd 64(%edx,%eax), %ymm4, %ymm4
1216 // CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0x64,0x02,0x40]
1217 vfmsub231pd 64(%edx,%eax), %ymm4, %ymm4
1218
1219 // CHECK: vfmsub231pd (%edx), %xmm1, %xmm1
1220 // CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0x0a]
1221 vfmsub231pd (%edx), %xmm1, %xmm1
1222
1223 // CHECK: vfmsub231pd (%edx), %ymm4, %ymm4
1224 // CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0x22]
1225 vfmsub231pd (%edx), %ymm4, %ymm4
1226
1227 // CHECK: vfmsub231pd %xmm1, %xmm1, %xmm1
1228 // CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0xc9]
1229 vfmsub231pd %xmm1, %xmm1, %xmm1
1230
1231 // CHECK: vfmsub231pd %ymm4, %ymm4, %ymm4
1232 // CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0xe4]
1233 vfmsub231pd %ymm4, %ymm4, %ymm4
1234
1235 // CHECK: vfmsub231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1236 // CHECK: encoding: [0xc4,0xe2,0x71,0xba,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1237 vfmsub231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1238
1239 // CHECK: vfmsub231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1240 // CHECK: encoding: [0xc4,0xe2,0x71,0xba,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1241 vfmsub231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1242
1243 // CHECK: vfmsub231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1244 // CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1245 vfmsub231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1246
1247 // CHECK: vfmsub231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1248 // CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1249 vfmsub231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1250
1251 // CHECK: vfmsub231ps 485498096(%edx), %xmm1, %xmm1
1252 // CHECK: encoding: [0xc4,0xe2,0x71,0xba,0x8a,0xf0,0x1c,0xf0,0x1c]
1253 vfmsub231ps 485498096(%edx), %xmm1, %xmm1
1254
1255 // CHECK: vfmsub231ps 485498096(%edx), %ymm4, %ymm4
1256 // CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0xa2,0xf0,0x1c,0xf0,0x1c]
1257 vfmsub231ps 485498096(%edx), %ymm4, %ymm4
1258
1259 // CHECK: vfmsub231ps 485498096, %xmm1, %xmm1
1260 // CHECK: encoding: [0xc4,0xe2,0x71,0xba,0x0d,0xf0,0x1c,0xf0,0x1c]
1261 vfmsub231ps 485498096, %xmm1, %xmm1
1262
1263 // CHECK: vfmsub231ps 485498096, %ymm4, %ymm4
1264 // CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0x25,0xf0,0x1c,0xf0,0x1c]
1265 vfmsub231ps 485498096, %ymm4, %ymm4
1266
1267 // CHECK: vfmsub231ps 64(%edx,%eax), %xmm1, %xmm1
1268 // CHECK: encoding: [0xc4,0xe2,0x71,0xba,0x4c,0x02,0x40]
1269 vfmsub231ps 64(%edx,%eax), %xmm1, %xmm1
1270
1271 // CHECK: vfmsub231ps 64(%edx,%eax), %ymm4, %ymm4
1272 // CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0x64,0x02,0x40]
1273 vfmsub231ps 64(%edx,%eax), %ymm4, %ymm4
1274
1275 // CHECK: vfmsub231ps (%edx), %xmm1, %xmm1
1276 // CHECK: encoding: [0xc4,0xe2,0x71,0xba,0x0a]
1277 vfmsub231ps (%edx), %xmm1, %xmm1
1278
1279 // CHECK: vfmsub231ps (%edx), %ymm4, %ymm4
1280 // CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0x22]
1281 vfmsub231ps (%edx), %ymm4, %ymm4
1282
1283 // CHECK: vfmsub231ps %xmm1, %xmm1, %xmm1
1284 // CHECK: encoding: [0xc4,0xe2,0x71,0xba,0xc9]
1285 vfmsub231ps %xmm1, %xmm1, %xmm1
1286
1287 // CHECK: vfmsub231ps %ymm4, %ymm4, %ymm4
1288 // CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0xe4]
1289 vfmsub231ps %ymm4, %ymm4, %ymm4
1290
1291 // CHECK: vfmsub231sd -485498096(%edx,%eax,4), %xmm1, %xmm1
1292 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1293 vfmsub231sd -485498096(%edx,%eax,4), %xmm1, %xmm1
1294
1295 // CHECK: vfmsub231sd 485498096(%edx,%eax,4), %xmm1, %xmm1
1296 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1297 vfmsub231sd 485498096(%edx,%eax,4), %xmm1, %xmm1
1298
1299 // CHECK: vfmsub231sd 485498096(%edx), %xmm1, %xmm1
1300 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0x8a,0xf0,0x1c,0xf0,0x1c]
1301 vfmsub231sd 485498096(%edx), %xmm1, %xmm1
1302
1303 // CHECK: vfmsub231sd 485498096, %xmm1, %xmm1
1304 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0x0d,0xf0,0x1c,0xf0,0x1c]
1305 vfmsub231sd 485498096, %xmm1, %xmm1
1306
1307 // CHECK: vfmsub231sd 64(%edx,%eax), %xmm1, %xmm1
1308 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0x4c,0x02,0x40]
1309 vfmsub231sd 64(%edx,%eax), %xmm1, %xmm1
1310
1311 // CHECK: vfmsub231sd (%edx), %xmm1, %xmm1
1312 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0x0a]
1313 vfmsub231sd (%edx), %xmm1, %xmm1
1314
1315 // CHECK: vfmsub231sd %xmm1, %xmm1, %xmm1
1316 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0xc9]
1317 vfmsub231sd %xmm1, %xmm1, %xmm1
1318
1319 // CHECK: vfmsub231ss -485498096(%edx,%eax,4), %xmm1, %xmm1
1320 // CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1321 vfmsub231ss -485498096(%edx,%eax,4), %xmm1, %xmm1
1322
1323 // CHECK: vfmsub231ss 485498096(%edx,%eax,4), %xmm1, %xmm1
1324 // CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1325 vfmsub231ss 485498096(%edx,%eax,4), %xmm1, %xmm1
1326
1327 // CHECK: vfmsub231ss 485498096(%edx), %xmm1, %xmm1
1328 // CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0x8a,0xf0,0x1c,0xf0,0x1c]
1329 vfmsub231ss 485498096(%edx), %xmm1, %xmm1
1330
1331 // CHECK: vfmsub231ss 485498096, %xmm1, %xmm1
1332 // CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0x0d,0xf0,0x1c,0xf0,0x1c]
1333 vfmsub231ss 485498096, %xmm1, %xmm1
1334
1335 // CHECK: vfmsub231ss 64(%edx,%eax), %xmm1, %xmm1
1336 // CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0x4c,0x02,0x40]
1337 vfmsub231ss 64(%edx,%eax), %xmm1, %xmm1
1338
1339 // CHECK: vfmsub231ss (%edx), %xmm1, %xmm1
1340 // CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0x0a]
1341 vfmsub231ss (%edx), %xmm1, %xmm1
1342
1343 // CHECK: vfmsub231ss %xmm1, %xmm1, %xmm1
1344 // CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0xc9]
1345 vfmsub231ss %xmm1, %xmm1, %xmm1
1346
1347 // CHECK: vfmsubadd132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1348 // CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1349 vfmsubadd132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1350
1351 // CHECK: vfmsubadd132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1352 // CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1353 vfmsubadd132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1354
1355 // CHECK: vfmsubadd132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1356 // CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1357 vfmsubadd132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1358
1359 // CHECK: vfmsubadd132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1360 // CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1361 vfmsubadd132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1362
1363 // CHECK: vfmsubadd132pd 485498096(%edx), %xmm1, %xmm1
1364 // CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0x8a,0xf0,0x1c,0xf0,0x1c]
1365 vfmsubadd132pd 485498096(%edx), %xmm1, %xmm1
1366
1367 // CHECK: vfmsubadd132pd 485498096(%edx), %ymm4, %ymm4
1368 // CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0xa2,0xf0,0x1c,0xf0,0x1c]
1369 vfmsubadd132pd 485498096(%edx), %ymm4, %ymm4
1370
1371 // CHECK: vfmsubadd132pd 485498096, %xmm1, %xmm1
1372 // CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0x0d,0xf0,0x1c,0xf0,0x1c]
1373 vfmsubadd132pd 485498096, %xmm1, %xmm1
1374
1375 // CHECK: vfmsubadd132pd 485498096, %ymm4, %ymm4
1376 // CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0x25,0xf0,0x1c,0xf0,0x1c]
1377 vfmsubadd132pd 485498096, %ymm4, %ymm4
1378
1379 // CHECK: vfmsubadd132pd 64(%edx,%eax), %xmm1, %xmm1
1380 // CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0x4c,0x02,0x40]
1381 vfmsubadd132pd 64(%edx,%eax), %xmm1, %xmm1
1382
1383 // CHECK: vfmsubadd132pd 64(%edx,%eax), %ymm4, %ymm4
1384 // CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0x64,0x02,0x40]
1385 vfmsubadd132pd 64(%edx,%eax), %ymm4, %ymm4
1386
1387 // CHECK: vfmsubadd132pd (%edx), %xmm1, %xmm1
1388 // CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0x0a]
1389 vfmsubadd132pd (%edx), %xmm1, %xmm1
1390
1391 // CHECK: vfmsubadd132pd (%edx), %ymm4, %ymm4
1392 // CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0x22]
1393 vfmsubadd132pd (%edx), %ymm4, %ymm4
1394
1395 // CHECK: vfmsubadd132pd %xmm1, %xmm1, %xmm1
1396 // CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0xc9]
1397 vfmsubadd132pd %xmm1, %xmm1, %xmm1
1398
1399 // CHECK: vfmsubadd132pd %ymm4, %ymm4, %ymm4
1400 // CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0xe4]
1401 vfmsubadd132pd %ymm4, %ymm4, %ymm4
1402
1403 // CHECK: vfmsubadd132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1404 // CHECK: encoding: [0xc4,0xe2,0x71,0x97,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1405 vfmsubadd132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1406
1407 // CHECK: vfmsubadd132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1408 // CHECK: encoding: [0xc4,0xe2,0x71,0x97,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1409 vfmsubadd132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1410
1411 // CHECK: vfmsubadd132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1412 // CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1413 vfmsubadd132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1414
1415 // CHECK: vfmsubadd132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1416 // CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1417 vfmsubadd132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1418
1419 // CHECK: vfmsubadd132ps 485498096(%edx), %xmm1, %xmm1
1420 // CHECK: encoding: [0xc4,0xe2,0x71,0x97,0x8a,0xf0,0x1c,0xf0,0x1c]
1421 vfmsubadd132ps 485498096(%edx), %xmm1, %xmm1
1422
1423 // CHECK: vfmsubadd132ps 485498096(%edx), %ymm4, %ymm4
1424 // CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0xa2,0xf0,0x1c,0xf0,0x1c]
1425 vfmsubadd132ps 485498096(%edx), %ymm4, %ymm4
1426
1427 // CHECK: vfmsubadd132ps 485498096, %xmm1, %xmm1
1428 // CHECK: encoding: [0xc4,0xe2,0x71,0x97,0x0d,0xf0,0x1c,0xf0,0x1c]
1429 vfmsubadd132ps 485498096, %xmm1, %xmm1
1430
1431 // CHECK: vfmsubadd132ps 485498096, %ymm4, %ymm4
1432 // CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0x25,0xf0,0x1c,0xf0,0x1c]
1433 vfmsubadd132ps 485498096, %ymm4, %ymm4
1434
1435 // CHECK: vfmsubadd132ps 64(%edx,%eax), %xmm1, %xmm1
1436 // CHECK: encoding: [0xc4,0xe2,0x71,0x97,0x4c,0x02,0x40]
1437 vfmsubadd132ps 64(%edx,%eax), %xmm1, %xmm1
1438
1439 // CHECK: vfmsubadd132ps 64(%edx,%eax), %ymm4, %ymm4
1440 // CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0x64,0x02,0x40]
1441 vfmsubadd132ps 64(%edx,%eax), %ymm4, %ymm4
1442
1443 // CHECK: vfmsubadd132ps (%edx), %xmm1, %xmm1
1444 // CHECK: encoding: [0xc4,0xe2,0x71,0x97,0x0a]
1445 vfmsubadd132ps (%edx), %xmm1, %xmm1
1446
1447 // CHECK: vfmsubadd132ps (%edx), %ymm4, %ymm4
1448 // CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0x22]
1449 vfmsubadd132ps (%edx), %ymm4, %ymm4
1450
1451 // CHECK: vfmsubadd132ps %xmm1, %xmm1, %xmm1
1452 // CHECK: encoding: [0xc4,0xe2,0x71,0x97,0xc9]
1453 vfmsubadd132ps %xmm1, %xmm1, %xmm1
1454
1455 // CHECK: vfmsubadd132ps %ymm4, %ymm4, %ymm4
1456 // CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0xe4]
1457 vfmsubadd132ps %ymm4, %ymm4, %ymm4
1458
1459 // CHECK: vfmsubadd213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1460 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1461 vfmsubadd213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1462
1463 // CHECK: vfmsubadd213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1464 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1465 vfmsubadd213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1466
1467 // CHECK: vfmsubadd213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1468 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1469 vfmsubadd213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1470
1471 // CHECK: vfmsubadd213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1472 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1473 vfmsubadd213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1474
1475 // CHECK: vfmsubadd213pd 485498096(%edx), %xmm1, %xmm1
1476 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0x8a,0xf0,0x1c,0xf0,0x1c]
1477 vfmsubadd213pd 485498096(%edx), %xmm1, %xmm1
1478
1479 // CHECK: vfmsubadd213pd 485498096(%edx), %ymm4, %ymm4
1480 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0xa2,0xf0,0x1c,0xf0,0x1c]
1481 vfmsubadd213pd 485498096(%edx), %ymm4, %ymm4
1482
1483 // CHECK: vfmsubadd213pd 485498096, %xmm1, %xmm1
1484 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0x0d,0xf0,0x1c,0xf0,0x1c]
1485 vfmsubadd213pd 485498096, %xmm1, %xmm1
1486
1487 // CHECK: vfmsubadd213pd 485498096, %ymm4, %ymm4
1488 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0x25,0xf0,0x1c,0xf0,0x1c]
1489 vfmsubadd213pd 485498096, %ymm4, %ymm4
1490
1491 // CHECK: vfmsubadd213pd 64(%edx,%eax), %xmm1, %xmm1
1492 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0x4c,0x02,0x40]
1493 vfmsubadd213pd 64(%edx,%eax), %xmm1, %xmm1
1494
1495 // CHECK: vfmsubadd213pd 64(%edx,%eax), %ymm4, %ymm4
1496 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0x64,0x02,0x40]
1497 vfmsubadd213pd 64(%edx,%eax), %ymm4, %ymm4
1498
1499 // CHECK: vfmsubadd213pd (%edx), %xmm1, %xmm1
1500 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0x0a]
1501 vfmsubadd213pd (%edx), %xmm1, %xmm1
1502
1503 // CHECK: vfmsubadd213pd (%edx), %ymm4, %ymm4
1504 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0x22]
1505 vfmsubadd213pd (%edx), %ymm4, %ymm4
1506
1507 // CHECK: vfmsubadd213pd %xmm1, %xmm1, %xmm1
1508 // CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0xc9]
1509 vfmsubadd213pd %xmm1, %xmm1, %xmm1
1510
1511 // CHECK: vfmsubadd213pd %ymm4, %ymm4, %ymm4
1512 // CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0xe4]
1513 vfmsubadd213pd %ymm4, %ymm4, %ymm4
1514
1515 // CHECK: vfmsubadd213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1516 // CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1517 vfmsubadd213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1518
1519 // CHECK: vfmsubadd213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1520 // CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1521 vfmsubadd213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1522
1523 // CHECK: vfmsubadd213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1524 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1525 vfmsubadd213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1526
1527 // CHECK: vfmsubadd213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1528 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1529 vfmsubadd213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1530
1531 // CHECK: vfmsubadd213ps 485498096(%edx), %xmm1, %xmm1
1532 // CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0x8a,0xf0,0x1c,0xf0,0x1c]
1533 vfmsubadd213ps 485498096(%edx), %xmm1, %xmm1
1534
1535 // CHECK: vfmsubadd213ps 485498096(%edx), %ymm4, %ymm4
1536 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0xa2,0xf0,0x1c,0xf0,0x1c]
1537 vfmsubadd213ps 485498096(%edx), %ymm4, %ymm4
1538
1539 // CHECK: vfmsubadd213ps 485498096, %xmm1, %xmm1
1540 // CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0x0d,0xf0,0x1c,0xf0,0x1c]
1541 vfmsubadd213ps 485498096, %xmm1, %xmm1
1542
1543 // CHECK: vfmsubadd213ps 485498096, %ymm4, %ymm4
1544 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0x25,0xf0,0x1c,0xf0,0x1c]
1545 vfmsubadd213ps 485498096, %ymm4, %ymm4
1546
1547 // CHECK: vfmsubadd213ps 64(%edx,%eax), %xmm1, %xmm1
1548 // CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0x4c,0x02,0x40]
1549 vfmsubadd213ps 64(%edx,%eax), %xmm1, %xmm1
1550
1551 // CHECK: vfmsubadd213ps 64(%edx,%eax), %ymm4, %ymm4
1552 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0x64,0x02,0x40]
1553 vfmsubadd213ps 64(%edx,%eax), %ymm4, %ymm4
1554
1555 // CHECK: vfmsubadd213ps (%edx), %xmm1, %xmm1
1556 // CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0x0a]
1557 vfmsubadd213ps (%edx), %xmm1, %xmm1
1558
1559 // CHECK: vfmsubadd213ps (%edx), %ymm4, %ymm4
1560 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0x22]
1561 vfmsubadd213ps (%edx), %ymm4, %ymm4
1562
1563 // CHECK: vfmsubadd213ps %xmm1, %xmm1, %xmm1
1564 // CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0xc9]
1565 vfmsubadd213ps %xmm1, %xmm1, %xmm1
1566
1567 // CHECK: vfmsubadd213ps %ymm4, %ymm4, %ymm4
1568 // CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0xe4]
1569 vfmsubadd213ps %ymm4, %ymm4, %ymm4
1570
1571 // CHECK: vfmsubadd231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1572 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1573 vfmsubadd231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1574
1575 // CHECK: vfmsubadd231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1576 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1577 vfmsubadd231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1578
1579 // CHECK: vfmsubadd231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1580 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1581 vfmsubadd231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1582
1583 // CHECK: vfmsubadd231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1584 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1585 vfmsubadd231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1586
1587 // CHECK: vfmsubadd231pd 485498096(%edx), %xmm1, %xmm1
1588 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0x8a,0xf0,0x1c,0xf0,0x1c]
1589 vfmsubadd231pd 485498096(%edx), %xmm1, %xmm1
1590
1591 // CHECK: vfmsubadd231pd 485498096(%edx), %ymm4, %ymm4
1592 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0xa2,0xf0,0x1c,0xf0,0x1c]
1593 vfmsubadd231pd 485498096(%edx), %ymm4, %ymm4
1594
1595 // CHECK: vfmsubadd231pd 485498096, %xmm1, %xmm1
1596 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0x0d,0xf0,0x1c,0xf0,0x1c]
1597 vfmsubadd231pd 485498096, %xmm1, %xmm1
1598
1599 // CHECK: vfmsubadd231pd 485498096, %ymm4, %ymm4
1600 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0x25,0xf0,0x1c,0xf0,0x1c]
1601 vfmsubadd231pd 485498096, %ymm4, %ymm4
1602
1603 // CHECK: vfmsubadd231pd 64(%edx,%eax), %xmm1, %xmm1
1604 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0x4c,0x02,0x40]
1605 vfmsubadd231pd 64(%edx,%eax), %xmm1, %xmm1
1606
1607 // CHECK: vfmsubadd231pd 64(%edx,%eax), %ymm4, %ymm4
1608 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0x64,0x02,0x40]
1609 vfmsubadd231pd 64(%edx,%eax), %ymm4, %ymm4
1610
1611 // CHECK: vfmsubadd231pd (%edx), %xmm1, %xmm1
1612 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0x0a]
1613 vfmsubadd231pd (%edx), %xmm1, %xmm1
1614
1615 // CHECK: vfmsubadd231pd (%edx), %ymm4, %ymm4
1616 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0x22]
1617 vfmsubadd231pd (%edx), %ymm4, %ymm4
1618
1619 // CHECK: vfmsubadd231pd %xmm1, %xmm1, %xmm1
1620 // CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0xc9]
1621 vfmsubadd231pd %xmm1, %xmm1, %xmm1
1622
1623 // CHECK: vfmsubadd231pd %ymm4, %ymm4, %ymm4
1624 // CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0xe4]
1625 vfmsubadd231pd %ymm4, %ymm4, %ymm4
1626
1627 // CHECK: vfmsubadd231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1628 // CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1629 vfmsubadd231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1630
1631 // CHECK: vfmsubadd231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1632 // CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1633 vfmsubadd231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1634
1635 // CHECK: vfmsubadd231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1636 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1637 vfmsubadd231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1638
1639 // CHECK: vfmsubadd231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1640 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1641 vfmsubadd231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1642
1643 // CHECK: vfmsubadd231ps 485498096(%edx), %xmm1, %xmm1
1644 // CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0x8a,0xf0,0x1c,0xf0,0x1c]
1645 vfmsubadd231ps 485498096(%edx), %xmm1, %xmm1
1646
1647 // CHECK: vfmsubadd231ps 485498096(%edx), %ymm4, %ymm4
1648 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0xa2,0xf0,0x1c,0xf0,0x1c]
1649 vfmsubadd231ps 485498096(%edx), %ymm4, %ymm4
1650
1651 // CHECK: vfmsubadd231ps 485498096, %xmm1, %xmm1
1652 // CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0x0d,0xf0,0x1c,0xf0,0x1c]
1653 vfmsubadd231ps 485498096, %xmm1, %xmm1
1654
1655 // CHECK: vfmsubadd231ps 485498096, %ymm4, %ymm4
1656 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0x25,0xf0,0x1c,0xf0,0x1c]
1657 vfmsubadd231ps 485498096, %ymm4, %ymm4
1658
1659 // CHECK: vfmsubadd231ps 64(%edx,%eax), %xmm1, %xmm1
1660 // CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0x4c,0x02,0x40]
1661 vfmsubadd231ps 64(%edx,%eax), %xmm1, %xmm1
1662
1663 // CHECK: vfmsubadd231ps 64(%edx,%eax), %ymm4, %ymm4
1664 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0x64,0x02,0x40]
1665 vfmsubadd231ps 64(%edx,%eax), %ymm4, %ymm4
1666
1667 // CHECK: vfmsubadd231ps (%edx), %xmm1, %xmm1
1668 // CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0x0a]
1669 vfmsubadd231ps (%edx), %xmm1, %xmm1
1670
1671 // CHECK: vfmsubadd231ps (%edx), %ymm4, %ymm4
1672 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0x22]
1673 vfmsubadd231ps (%edx), %ymm4, %ymm4
1674
1675 // CHECK: vfmsubadd231ps %xmm1, %xmm1, %xmm1
1676 // CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0xc9]
1677 vfmsubadd231ps %xmm1, %xmm1, %xmm1
1678
1679 // CHECK: vfmsubadd231ps %ymm4, %ymm4, %ymm4
1680 // CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0xe4]
1681 vfmsubadd231ps %ymm4, %ymm4, %ymm4
1682
1683 // CHECK: vfnmadd132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1684 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1685 vfnmadd132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1686
1687 // CHECK: vfnmadd132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1688 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1689 vfnmadd132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1690
1691 // CHECK: vfnmadd132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1692 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1693 vfnmadd132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1694
1695 // CHECK: vfnmadd132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1696 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1697 vfnmadd132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1698
1699 // CHECK: vfnmadd132pd 485498096(%edx), %xmm1, %xmm1
1700 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0x8a,0xf0,0x1c,0xf0,0x1c]
1701 vfnmadd132pd 485498096(%edx), %xmm1, %xmm1
1702
1703 // CHECK: vfnmadd132pd 485498096(%edx), %ymm4, %ymm4
1704 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0xa2,0xf0,0x1c,0xf0,0x1c]
1705 vfnmadd132pd 485498096(%edx), %ymm4, %ymm4
1706
1707 // CHECK: vfnmadd132pd 485498096, %xmm1, %xmm1
1708 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0x0d,0xf0,0x1c,0xf0,0x1c]
1709 vfnmadd132pd 485498096, %xmm1, %xmm1
1710
1711 // CHECK: vfnmadd132pd 485498096, %ymm4, %ymm4
1712 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0x25,0xf0,0x1c,0xf0,0x1c]
1713 vfnmadd132pd 485498096, %ymm4, %ymm4
1714
1715 // CHECK: vfnmadd132pd 64(%edx,%eax), %xmm1, %xmm1
1716 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0x4c,0x02,0x40]
1717 vfnmadd132pd 64(%edx,%eax), %xmm1, %xmm1
1718
1719 // CHECK: vfnmadd132pd 64(%edx,%eax), %ymm4, %ymm4
1720 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0x64,0x02,0x40]
1721 vfnmadd132pd 64(%edx,%eax), %ymm4, %ymm4
1722
1723 // CHECK: vfnmadd132pd (%edx), %xmm1, %xmm1
1724 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0x0a]
1725 vfnmadd132pd (%edx), %xmm1, %xmm1
1726
1727 // CHECK: vfnmadd132pd (%edx), %ymm4, %ymm4
1728 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0x22]
1729 vfnmadd132pd (%edx), %ymm4, %ymm4
1730
1731 // CHECK: vfnmadd132pd %xmm1, %xmm1, %xmm1
1732 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0xc9]
1733 vfnmadd132pd %xmm1, %xmm1, %xmm1
1734
1735 // CHECK: vfnmadd132pd %ymm4, %ymm4, %ymm4
1736 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0xe4]
1737 vfnmadd132pd %ymm4, %ymm4, %ymm4
1738
1739 // CHECK: vfnmadd132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1740 // CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1741 vfnmadd132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1742
1743 // CHECK: vfnmadd132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1744 // CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1745 vfnmadd132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1746
1747 // CHECK: vfnmadd132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1748 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1749 vfnmadd132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1750
1751 // CHECK: vfnmadd132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1752 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1753 vfnmadd132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1754
1755 // CHECK: vfnmadd132ps 485498096(%edx), %xmm1, %xmm1
1756 // CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0x8a,0xf0,0x1c,0xf0,0x1c]
1757 vfnmadd132ps 485498096(%edx), %xmm1, %xmm1
1758
1759 // CHECK: vfnmadd132ps 485498096(%edx), %ymm4, %ymm4
1760 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0xa2,0xf0,0x1c,0xf0,0x1c]
1761 vfnmadd132ps 485498096(%edx), %ymm4, %ymm4
1762
1763 // CHECK: vfnmadd132ps 485498096, %xmm1, %xmm1
1764 // CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0x0d,0xf0,0x1c,0xf0,0x1c]
1765 vfnmadd132ps 485498096, %xmm1, %xmm1
1766
1767 // CHECK: vfnmadd132ps 485498096, %ymm4, %ymm4
1768 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0x25,0xf0,0x1c,0xf0,0x1c]
1769 vfnmadd132ps 485498096, %ymm4, %ymm4
1770
1771 // CHECK: vfnmadd132ps 64(%edx,%eax), %xmm1, %xmm1
1772 // CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0x4c,0x02,0x40]
1773 vfnmadd132ps 64(%edx,%eax), %xmm1, %xmm1
1774
1775 // CHECK: vfnmadd132ps 64(%edx,%eax), %ymm4, %ymm4
1776 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0x64,0x02,0x40]
1777 vfnmadd132ps 64(%edx,%eax), %ymm4, %ymm4
1778
1779 // CHECK: vfnmadd132ps (%edx), %xmm1, %xmm1
1780 // CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0x0a]
1781 vfnmadd132ps (%edx), %xmm1, %xmm1
1782
1783 // CHECK: vfnmadd132ps (%edx), %ymm4, %ymm4
1784 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0x22]
1785 vfnmadd132ps (%edx), %ymm4, %ymm4
1786
1787 // CHECK: vfnmadd132ps %xmm1, %xmm1, %xmm1
1788 // CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0xc9]
1789 vfnmadd132ps %xmm1, %xmm1, %xmm1
1790
1791 // CHECK: vfnmadd132ps %ymm4, %ymm4, %ymm4
1792 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0xe4]
1793 vfnmadd132ps %ymm4, %ymm4, %ymm4
1794
1795 // CHECK: vfnmadd132sd -485498096(%edx,%eax,4), %xmm1, %xmm1
1796 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1797 vfnmadd132sd -485498096(%edx,%eax,4), %xmm1, %xmm1
1798
1799 // CHECK: vfnmadd132sd 485498096(%edx,%eax,4), %xmm1, %xmm1
1800 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1801 vfnmadd132sd 485498096(%edx,%eax,4), %xmm1, %xmm1
1802
1803 // CHECK: vfnmadd132sd 485498096(%edx), %xmm1, %xmm1
1804 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0x8a,0xf0,0x1c,0xf0,0x1c]
1805 vfnmadd132sd 485498096(%edx), %xmm1, %xmm1
1806
1807 // CHECK: vfnmadd132sd 485498096, %xmm1, %xmm1
1808 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0x0d,0xf0,0x1c,0xf0,0x1c]
1809 vfnmadd132sd 485498096, %xmm1, %xmm1
1810
1811 // CHECK: vfnmadd132sd 64(%edx,%eax), %xmm1, %xmm1
1812 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0x4c,0x02,0x40]
1813 vfnmadd132sd 64(%edx,%eax), %xmm1, %xmm1
1814
1815 // CHECK: vfnmadd132sd (%edx), %xmm1, %xmm1
1816 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0x0a]
1817 vfnmadd132sd (%edx), %xmm1, %xmm1
1818
1819 // CHECK: vfnmadd132sd %xmm1, %xmm1, %xmm1
1820 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0xc9]
1821 vfnmadd132sd %xmm1, %xmm1, %xmm1
1822
1823 // CHECK: vfnmadd132ss -485498096(%edx,%eax,4), %xmm1, %xmm1
1824 // CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1825 vfnmadd132ss -485498096(%edx,%eax,4), %xmm1, %xmm1
1826
1827 // CHECK: vfnmadd132ss 485498096(%edx,%eax,4), %xmm1, %xmm1
1828 // CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1829 vfnmadd132ss 485498096(%edx,%eax,4), %xmm1, %xmm1
1830
1831 // CHECK: vfnmadd132ss 485498096(%edx), %xmm1, %xmm1
1832 // CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0x8a,0xf0,0x1c,0xf0,0x1c]
1833 vfnmadd132ss 485498096(%edx), %xmm1, %xmm1
1834
1835 // CHECK: vfnmadd132ss 485498096, %xmm1, %xmm1
1836 // CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0x0d,0xf0,0x1c,0xf0,0x1c]
1837 vfnmadd132ss 485498096, %xmm1, %xmm1
1838
1839 // CHECK: vfnmadd132ss 64(%edx,%eax), %xmm1, %xmm1
1840 // CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0x4c,0x02,0x40]
1841 vfnmadd132ss 64(%edx,%eax), %xmm1, %xmm1
1842
1843 // CHECK: vfnmadd132ss (%edx), %xmm1, %xmm1
1844 // CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0x0a]
1845 vfnmadd132ss (%edx), %xmm1, %xmm1
1846
1847 // CHECK: vfnmadd132ss %xmm1, %xmm1, %xmm1
1848 // CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0xc9]
1849 vfnmadd132ss %xmm1, %xmm1, %xmm1
1850
1851 // CHECK: vfnmadd213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1852 // CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1853 vfnmadd213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1854
1855 // CHECK: vfnmadd213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1856 // CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1857 vfnmadd213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1858
1859 // CHECK: vfnmadd213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1860 // CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1861 vfnmadd213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1862
1863 // CHECK: vfnmadd213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1864 // CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1865 vfnmadd213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1866
1867 // CHECK: vfnmadd213pd 485498096(%edx), %xmm1, %xmm1
1868 // CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0x8a,0xf0,0x1c,0xf0,0x1c]
1869 vfnmadd213pd 485498096(%edx), %xmm1, %xmm1
1870
1871 // CHECK: vfnmadd213pd 485498096(%edx), %ymm4, %ymm4
1872 // CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0xa2,0xf0,0x1c,0xf0,0x1c]
1873 vfnmadd213pd 485498096(%edx), %ymm4, %ymm4
1874
1875 // CHECK: vfnmadd213pd 485498096, %xmm1, %xmm1
1876 // CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0x0d,0xf0,0x1c,0xf0,0x1c]
1877 vfnmadd213pd 485498096, %xmm1, %xmm1
1878
1879 // CHECK: vfnmadd213pd 485498096, %ymm4, %ymm4
1880 // CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0x25,0xf0,0x1c,0xf0,0x1c]
1881 vfnmadd213pd 485498096, %ymm4, %ymm4
1882
1883 // CHECK: vfnmadd213pd 64(%edx,%eax), %xmm1, %xmm1
1884 // CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0x4c,0x02,0x40]
1885 vfnmadd213pd 64(%edx,%eax), %xmm1, %xmm1
1886
1887 // CHECK: vfnmadd213pd 64(%edx,%eax), %ymm4, %ymm4
1888 // CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0x64,0x02,0x40]
1889 vfnmadd213pd 64(%edx,%eax), %ymm4, %ymm4
1890
1891 // CHECK: vfnmadd213pd (%edx), %xmm1, %xmm1
1892 // CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0x0a]
1893 vfnmadd213pd (%edx), %xmm1, %xmm1
1894
1895 // CHECK: vfnmadd213pd (%edx), %ymm4, %ymm4
1896 // CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0x22]
1897 vfnmadd213pd (%edx), %ymm4, %ymm4
1898
1899 // CHECK: vfnmadd213pd %xmm1, %xmm1, %xmm1
1900 // CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0xc9]
1901 vfnmadd213pd %xmm1, %xmm1, %xmm1
1902
1903 // CHECK: vfnmadd213pd %ymm4, %ymm4, %ymm4
1904 // CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0xe4]
1905 vfnmadd213pd %ymm4, %ymm4, %ymm4
1906
1907 // CHECK: vfnmadd213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1908 // CHECK: encoding: [0xc4,0xe2,0x71,0xac,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1909 vfnmadd213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1910
1911 // CHECK: vfnmadd213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1912 // CHECK: encoding: [0xc4,0xe2,0x71,0xac,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1913 vfnmadd213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1914
1915 // CHECK: vfnmadd213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1916 // CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1917 vfnmadd213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1918
1919 // CHECK: vfnmadd213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1920 // CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1921 vfnmadd213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1922
1923 // CHECK: vfnmadd213ps 485498096(%edx), %xmm1, %xmm1
1924 // CHECK: encoding: [0xc4,0xe2,0x71,0xac,0x8a,0xf0,0x1c,0xf0,0x1c]
1925 vfnmadd213ps 485498096(%edx), %xmm1, %xmm1
1926
1927 // CHECK: vfnmadd213ps 485498096(%edx), %ymm4, %ymm4
1928 // CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0xa2,0xf0,0x1c,0xf0,0x1c]
1929 vfnmadd213ps 485498096(%edx), %ymm4, %ymm4
1930
1931 // CHECK: vfnmadd213ps 485498096, %xmm1, %xmm1
1932 // CHECK: encoding: [0xc4,0xe2,0x71,0xac,0x0d,0xf0,0x1c,0xf0,0x1c]
1933 vfnmadd213ps 485498096, %xmm1, %xmm1
1934
1935 // CHECK: vfnmadd213ps 485498096, %ymm4, %ymm4
1936 // CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0x25,0xf0,0x1c,0xf0,0x1c]
1937 vfnmadd213ps 485498096, %ymm4, %ymm4
1938
1939 // CHECK: vfnmadd213ps 64(%edx,%eax), %xmm1, %xmm1
1940 // CHECK: encoding: [0xc4,0xe2,0x71,0xac,0x4c,0x02,0x40]
1941 vfnmadd213ps 64(%edx,%eax), %xmm1, %xmm1
1942
1943 // CHECK: vfnmadd213ps 64(%edx,%eax), %ymm4, %ymm4
1944 // CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0x64,0x02,0x40]
1945 vfnmadd213ps 64(%edx,%eax), %ymm4, %ymm4
1946
1947 // CHECK: vfnmadd213ps (%edx), %xmm1, %xmm1
1948 // CHECK: encoding: [0xc4,0xe2,0x71,0xac,0x0a]
1949 vfnmadd213ps (%edx), %xmm1, %xmm1
1950
1951 // CHECK: vfnmadd213ps (%edx), %ymm4, %ymm4
1952 // CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0x22]
1953 vfnmadd213ps (%edx), %ymm4, %ymm4
1954
1955 // CHECK: vfnmadd213ps %xmm1, %xmm1, %xmm1
1956 // CHECK: encoding: [0xc4,0xe2,0x71,0xac,0xc9]
1957 vfnmadd213ps %xmm1, %xmm1, %xmm1
1958
1959 // CHECK: vfnmadd213ps %ymm4, %ymm4, %ymm4
1960 // CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0xe4]
1961 vfnmadd213ps %ymm4, %ymm4, %ymm4
1962
1963 // CHECK: vfnmadd213sd -485498096(%edx,%eax,4), %xmm1, %xmm1
1964 // CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1965 vfnmadd213sd -485498096(%edx,%eax,4), %xmm1, %xmm1
1966
1967 // CHECK: vfnmadd213sd 485498096(%edx,%eax,4), %xmm1, %xmm1
1968 // CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1969 vfnmadd213sd 485498096(%edx,%eax,4), %xmm1, %xmm1
1970
1971 // CHECK: vfnmadd213sd 485498096(%edx), %xmm1, %xmm1
1972 // CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0x8a,0xf0,0x1c,0xf0,0x1c]
1973 vfnmadd213sd 485498096(%edx), %xmm1, %xmm1
1974
1975 // CHECK: vfnmadd213sd 485498096, %xmm1, %xmm1
1976 // CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0x0d,0xf0,0x1c,0xf0,0x1c]
1977 vfnmadd213sd 485498096, %xmm1, %xmm1
1978
1979 // CHECK: vfnmadd213sd 64(%edx,%eax), %xmm1, %xmm1
1980 // CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0x4c,0x02,0x40]
1981 vfnmadd213sd 64(%edx,%eax), %xmm1, %xmm1
1982
1983 // CHECK: vfnmadd213sd (%edx), %xmm1, %xmm1
1984 // CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0x0a]
1985 vfnmadd213sd (%edx), %xmm1, %xmm1
1986
1987 // CHECK: vfnmadd213sd %xmm1, %xmm1, %xmm1
1988 // CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0xc9]
1989 vfnmadd213sd %xmm1, %xmm1, %xmm1
1990
1991 // CHECK: vfnmadd213ss -485498096(%edx,%eax,4), %xmm1, %xmm1
1992 // CHECK: encoding: [0xc4,0xe2,0x71,0xad,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1993 vfnmadd213ss -485498096(%edx,%eax,4), %xmm1, %xmm1
1994
1995 // CHECK: vfnmadd213ss 485498096(%edx,%eax,4), %xmm1, %xmm1
1996 // CHECK: encoding: [0xc4,0xe2,0x71,0xad,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1997 vfnmadd213ss 485498096(%edx,%eax,4), %xmm1, %xmm1
1998
1999 // CHECK: vfnmadd213ss 485498096(%edx), %xmm1, %xmm1
2000 // CHECK: encoding: [0xc4,0xe2,0x71,0xad,0x8a,0xf0,0x1c,0xf0,0x1c]
2001 vfnmadd213ss 485498096(%edx), %xmm1, %xmm1
2002
2003 // CHECK: vfnmadd213ss 485498096, %xmm1, %xmm1
2004 // CHECK: encoding: [0xc4,0xe2,0x71,0xad,0x0d,0xf0,0x1c,0xf0,0x1c]
2005 vfnmadd213ss 485498096, %xmm1, %xmm1
2006
2007 // CHECK: vfnmadd213ss 64(%edx,%eax), %xmm1, %xmm1
2008 // CHECK: encoding: [0xc4,0xe2,0x71,0xad,0x4c,0x02,0x40]
2009 vfnmadd213ss 64(%edx,%eax), %xmm1, %xmm1
2010
2011 // CHECK: vfnmadd213ss (%edx), %xmm1, %xmm1
2012 // CHECK: encoding: [0xc4,0xe2,0x71,0xad,0x0a]
2013 vfnmadd213ss (%edx), %xmm1, %xmm1
2014
2015 // CHECK: vfnmadd213ss %xmm1, %xmm1, %xmm1
2016 // CHECK: encoding: [0xc4,0xe2,0x71,0xad,0xc9]
2017 vfnmadd213ss %xmm1, %xmm1, %xmm1
2018
2019 // CHECK: vfnmadd231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
2020 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2021 vfnmadd231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
2022
2023 // CHECK: vfnmadd231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
2024 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2025 vfnmadd231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
2026
2027 // CHECK: vfnmadd231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
2028 // CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
2029 vfnmadd231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
2030
2031 // CHECK: vfnmadd231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
2032 // CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
2033 vfnmadd231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
2034
2035 // CHECK: vfnmadd231pd 485498096(%edx), %xmm1, %xmm1
2036 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0x8a,0xf0,0x1c,0xf0,0x1c]
2037 vfnmadd231pd 485498096(%edx), %xmm1, %xmm1
2038
2039 // CHECK: vfnmadd231pd 485498096(%edx), %ymm4, %ymm4
2040 // CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0xa2,0xf0,0x1c,0xf0,0x1c]
2041 vfnmadd231pd 485498096(%edx), %ymm4, %ymm4
2042
2043 // CHECK: vfnmadd231pd 485498096, %xmm1, %xmm1
2044 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0x0d,0xf0,0x1c,0xf0,0x1c]
2045 vfnmadd231pd 485498096, %xmm1, %xmm1
2046
2047 // CHECK: vfnmadd231pd 485498096, %ymm4, %ymm4
2048 // CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0x25,0xf0,0x1c,0xf0,0x1c]
2049 vfnmadd231pd 485498096, %ymm4, %ymm4
2050
2051 // CHECK: vfnmadd231pd 64(%edx,%eax), %xmm1, %xmm1
2052 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0x4c,0x02,0x40]
2053 vfnmadd231pd 64(%edx,%eax), %xmm1, %xmm1
2054
2055 // CHECK: vfnmadd231pd 64(%edx,%eax), %ymm4, %ymm4
2056 // CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0x64,0x02,0x40]
2057 vfnmadd231pd 64(%edx,%eax), %ymm4, %ymm4
2058
2059 // CHECK: vfnmadd231pd (%edx), %xmm1, %xmm1
2060 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0x0a]
2061 vfnmadd231pd (%edx), %xmm1, %xmm1
2062
2063 // CHECK: vfnmadd231pd (%edx), %ymm4, %ymm4
2064 // CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0x22]
2065 vfnmadd231pd (%edx), %ymm4, %ymm4
2066
2067 // CHECK: vfnmadd231pd %xmm1, %xmm1, %xmm1
2068 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0xc9]
2069 vfnmadd231pd %xmm1, %xmm1, %xmm1
2070
2071 // CHECK: vfnmadd231pd %ymm4, %ymm4, %ymm4
2072 // CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0xe4]
2073 vfnmadd231pd %ymm4, %ymm4, %ymm4
2074
2075 // CHECK: vfnmadd231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
2076 // CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2077 vfnmadd231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
2078
2079 // CHECK: vfnmadd231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
2080 // CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2081 vfnmadd231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
2082
2083 // CHECK: vfnmadd231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
2084 // CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
2085 vfnmadd231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
2086
2087 // CHECK: vfnmadd231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
2088 // CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
2089 vfnmadd231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
2090
2091 // CHECK: vfnmadd231ps 485498096(%edx), %xmm1, %xmm1
2092 // CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0x8a,0xf0,0x1c,0xf0,0x1c]
2093 vfnmadd231ps 485498096(%edx), %xmm1, %xmm1
2094
2095 // CHECK: vfnmadd231ps 485498096(%edx), %ymm4, %ymm4
2096 // CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0xa2,0xf0,0x1c,0xf0,0x1c]
2097 vfnmadd231ps 485498096(%edx), %ymm4, %ymm4
2098
2099 // CHECK: vfnmadd231ps 485498096, %xmm1, %xmm1
2100 // CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0x0d,0xf0,0x1c,0xf0,0x1c]
2101 vfnmadd231ps 485498096, %xmm1, %xmm1
2102
2103 // CHECK: vfnmadd231ps 485498096, %ymm4, %ymm4
2104 // CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0x25,0xf0,0x1c,0xf0,0x1c]
2105 vfnmadd231ps 485498096, %ymm4, %ymm4
2106
2107 // CHECK: vfnmadd231ps 64(%edx,%eax), %xmm1, %xmm1
2108 // CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0x4c,0x02,0x40]
2109 vfnmadd231ps 64(%edx,%eax), %xmm1, %xmm1
2110
2111 // CHECK: vfnmadd231ps 64(%edx,%eax), %ymm4, %ymm4
2112 // CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0x64,0x02,0x40]
2113 vfnmadd231ps 64(%edx,%eax), %ymm4, %ymm4
2114
2115 // CHECK: vfnmadd231ps (%edx), %xmm1, %xmm1
2116 // CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0x0a]
2117 vfnmadd231ps (%edx), %xmm1, %xmm1
2118
2119 // CHECK: vfnmadd231ps (%edx), %ymm4, %ymm4
2120 // CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0x22]
2121 vfnmadd231ps (%edx), %ymm4, %ymm4
2122
2123 // CHECK: vfnmadd231ps %xmm1, %xmm1, %xmm1
2124 // CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0xc9]
2125 vfnmadd231ps %xmm1, %xmm1, %xmm1
2126
2127 // CHECK: vfnmadd231ps %ymm4, %ymm4, %ymm4
2128 // CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0xe4]
2129 vfnmadd231ps %ymm4, %ymm4, %ymm4
2130
2131 // CHECK: vfnmadd231sd -485498096(%edx,%eax,4), %xmm1, %xmm1
2132 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2133 vfnmadd231sd -485498096(%edx,%eax,4), %xmm1, %xmm1
2134
2135 // CHECK: vfnmadd231sd 485498096(%edx,%eax,4), %xmm1, %xmm1
2136 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2137 vfnmadd231sd 485498096(%edx,%eax,4), %xmm1, %xmm1
2138
2139 // CHECK: vfnmadd231sd 485498096(%edx), %xmm1, %xmm1
2140 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0x8a,0xf0,0x1c,0xf0,0x1c]
2141 vfnmadd231sd 485498096(%edx), %xmm1, %xmm1
2142
2143 // CHECK: vfnmadd231sd 485498096, %xmm1, %xmm1
2144 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0x0d,0xf0,0x1c,0xf0,0x1c]
2145 vfnmadd231sd 485498096, %xmm1, %xmm1
2146
2147 // CHECK: vfnmadd231sd 64(%edx,%eax), %xmm1, %xmm1
2148 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0x4c,0x02,0x40]
2149 vfnmadd231sd 64(%edx,%eax), %xmm1, %xmm1
2150
2151 // CHECK: vfnmadd231sd (%edx), %xmm1, %xmm1
2152 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0x0a]
2153 vfnmadd231sd (%edx), %xmm1, %xmm1
2154
2155 // CHECK: vfnmadd231sd %xmm1, %xmm1, %xmm1
2156 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0xc9]
2157 vfnmadd231sd %xmm1, %xmm1, %xmm1
2158
2159 // CHECK: vfnmadd231ss -485498096(%edx,%eax,4), %xmm1, %xmm1
2160 // CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2161 vfnmadd231ss -485498096(%edx,%eax,4), %xmm1, %xmm1
2162
2163 // CHECK: vfnmadd231ss 485498096(%edx,%eax,4), %xmm1, %xmm1
2164 // CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2165 vfnmadd231ss 485498096(%edx,%eax,4), %xmm1, %xmm1
2166
2167 // CHECK: vfnmadd231ss 485498096(%edx), %xmm1, %xmm1
2168 // CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0x8a,0xf0,0x1c,0xf0,0x1c]
2169 vfnmadd231ss 485498096(%edx), %xmm1, %xmm1
2170
2171 // CHECK: vfnmadd231ss 485498096, %xmm1, %xmm1
2172 // CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0x0d,0xf0,0x1c,0xf0,0x1c]
2173 vfnmadd231ss 485498096, %xmm1, %xmm1
2174
2175 // CHECK: vfnmadd231ss 64(%edx,%eax), %xmm1, %xmm1
2176 // CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0x4c,0x02,0x40]
2177 vfnmadd231ss 64(%edx,%eax), %xmm1, %xmm1
2178
2179 // CHECK: vfnmadd231ss (%edx), %xmm1, %xmm1
2180 // CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0x0a]
2181 vfnmadd231ss (%edx), %xmm1, %xmm1
2182
2183 // CHECK: vfnmadd231ss %xmm1, %xmm1, %xmm1
2184 // CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0xc9]
2185 vfnmadd231ss %xmm1, %xmm1, %xmm1
2186
2187 // CHECK: vfnmsub132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
2188 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2189 vfnmsub132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
2190
2191 // CHECK: vfnmsub132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
2192 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2193 vfnmsub132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
2194
2195 // CHECK: vfnmsub132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
2196 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
2197 vfnmsub132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
2198
2199 // CHECK: vfnmsub132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
2200 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
2201 vfnmsub132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
2202
2203 // CHECK: vfnmsub132pd 485498096(%edx), %xmm1, %xmm1
2204 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0x8a,0xf0,0x1c,0xf0,0x1c]
2205 vfnmsub132pd 485498096(%edx), %xmm1, %xmm1
2206
2207 // CHECK: vfnmsub132pd 485498096(%edx), %ymm4, %ymm4
2208 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0xa2,0xf0,0x1c,0xf0,0x1c]
2209 vfnmsub132pd 485498096(%edx), %ymm4, %ymm4
2210
2211 // CHECK: vfnmsub132pd 485498096, %xmm1, %xmm1
2212 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0x0d,0xf0,0x1c,0xf0,0x1c]
2213 vfnmsub132pd 485498096, %xmm1, %xmm1
2214
2215 // CHECK: vfnmsub132pd 485498096, %ymm4, %ymm4
2216 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0x25,0xf0,0x1c,0xf0,0x1c]
2217 vfnmsub132pd 485498096, %ymm4, %ymm4
2218
2219 // CHECK: vfnmsub132pd 64(%edx,%eax), %xmm1, %xmm1
2220 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0x4c,0x02,0x40]
2221 vfnmsub132pd 64(%edx,%eax), %xmm1, %xmm1
2222
2223 // CHECK: vfnmsub132pd 64(%edx,%eax), %ymm4, %ymm4
2224 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0x64,0x02,0x40]
2225 vfnmsub132pd 64(%edx,%eax), %ymm4, %ymm4
2226
2227 // CHECK: vfnmsub132pd (%edx), %xmm1, %xmm1
2228 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0x0a]
2229 vfnmsub132pd (%edx), %xmm1, %xmm1
2230
2231 // CHECK: vfnmsub132pd (%edx), %ymm4, %ymm4
2232 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0x22]
2233 vfnmsub132pd (%edx), %ymm4, %ymm4
2234
2235 // CHECK: vfnmsub132pd %xmm1, %xmm1, %xmm1
2236 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0xc9]
2237 vfnmsub132pd %xmm1, %xmm1, %xmm1
2238
2239 // CHECK: vfnmsub132pd %ymm4, %ymm4, %ymm4
2240 // CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0xe4]
2241 vfnmsub132pd %ymm4, %ymm4, %ymm4
2242
2243 // CHECK: vfnmsub132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
2244 // CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2245 vfnmsub132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
2246
2247 // CHECK: vfnmsub132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
2248 // CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2249 vfnmsub132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
2250
2251 // CHECK: vfnmsub132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
2252 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
2253 vfnmsub132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
2254
2255 // CHECK: vfnmsub132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
2256 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
2257 vfnmsub132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
2258
2259 // CHECK: vfnmsub132ps 485498096(%edx), %xmm1, %xmm1
2260 // CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0x8a,0xf0,0x1c,0xf0,0x1c]
2261 vfnmsub132ps 485498096(%edx), %xmm1, %xmm1
2262
2263 // CHECK: vfnmsub132ps 485498096(%edx), %ymm4, %ymm4
2264 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0xa2,0xf0,0x1c,0xf0,0x1c]
2265 vfnmsub132ps 485498096(%edx), %ymm4, %ymm4
2266
2267 // CHECK: vfnmsub132ps 485498096, %xmm1, %xmm1
2268 // CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0x0d,0xf0,0x1c,0xf0,0x1c]
2269 vfnmsub132ps 485498096, %xmm1, %xmm1
2270
2271 // CHECK: vfnmsub132ps 485498096, %ymm4, %ymm4
2272 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0x25,0xf0,0x1c,0xf0,0x1c]
2273 vfnmsub132ps 485498096, %ymm4, %ymm4
2274
2275 // CHECK: vfnmsub132ps 64(%edx,%eax), %xmm1, %xmm1
2276 // CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0x4c,0x02,0x40]
2277 vfnmsub132ps 64(%edx,%eax), %xmm1, %xmm1
2278
2279 // CHECK: vfnmsub132ps 64(%edx,%eax), %ymm4, %ymm4
2280 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0x64,0x02,0x40]
2281 vfnmsub132ps 64(%edx,%eax), %ymm4, %ymm4
2282
2283 // CHECK: vfnmsub132ps (%edx), %xmm1, %xmm1
2284 // CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0x0a]
2285 vfnmsub132ps (%edx), %xmm1, %xmm1
2286
2287 // CHECK: vfnmsub132ps (%edx), %ymm4, %ymm4
2288 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0x22]
2289 vfnmsub132ps (%edx), %ymm4, %ymm4
2290
2291 // CHECK: vfnmsub132ps %xmm1, %xmm1, %xmm1
2292 // CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0xc9]
2293 vfnmsub132ps %xmm1, %xmm1, %xmm1
2294
2295 // CHECK: vfnmsub132ps %ymm4, %ymm4, %ymm4
2296 // CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0xe4]
2297 vfnmsub132ps %ymm4, %ymm4, %ymm4
2298
2299 // CHECK: vfnmsub132sd -485498096(%edx,%eax,4), %xmm1, %xmm1
2300 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2301 vfnmsub132sd -485498096(%edx,%eax,4), %xmm1, %xmm1
2302
2303 // CHECK: vfnmsub132sd 485498096(%edx,%eax,4), %xmm1, %xmm1
2304 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2305 vfnmsub132sd 485498096(%edx,%eax,4), %xmm1, %xmm1
2306
2307 // CHECK: vfnmsub132sd 485498096(%edx), %xmm1, %xmm1
2308 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0x8a,0xf0,0x1c,0xf0,0x1c]
2309 vfnmsub132sd 485498096(%edx), %xmm1, %xmm1
2310
2311 // CHECK: vfnmsub132sd 485498096, %xmm1, %xmm1
2312 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0x0d,0xf0,0x1c,0xf0,0x1c]
2313 vfnmsub132sd 485498096, %xmm1, %xmm1
2314
2315 // CHECK: vfnmsub132sd 64(%edx,%eax), %xmm1, %xmm1
2316 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0x4c,0x02,0x40]
2317 vfnmsub132sd 64(%edx,%eax), %xmm1, %xmm1
2318
2319 // CHECK: vfnmsub132sd (%edx), %xmm1, %xmm1
2320 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0x0a]
2321 vfnmsub132sd (%edx), %xmm1, %xmm1
2322
2323 // CHECK: vfnmsub132sd %xmm1, %xmm1, %xmm1
2324 // CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0xc9]
2325 vfnmsub132sd %xmm1, %xmm1, %xmm1
2326
2327 // CHECK: vfnmsub132ss -485498096(%edx,%eax,4), %xmm1, %xmm1
2328 // CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2329 vfnmsub132ss -485498096(%edx,%eax,4), %xmm1, %xmm1
2330
2331 // CHECK: vfnmsub132ss 485498096(%edx,%eax,4), %xmm1, %xmm1
2332 // CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2333 vfnmsub132ss 485498096(%edx,%eax,4), %xmm1, %xmm1
2334
2335 // CHECK: vfnmsub132ss 485498096(%edx), %xmm1, %xmm1
2336 // CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0x8a,0xf0,0x1c,0xf0,0x1c]
2337 vfnmsub132ss 485498096(%edx), %xmm1, %xmm1
2338
2339 // CHECK: vfnmsub132ss 485498096, %xmm1, %xmm1
2340 // CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0x0d,0xf0,0x1c,0xf0,0x1c]
2341 vfnmsub132ss 485498096, %xmm1, %xmm1
2342
2343 // CHECK: vfnmsub132ss 64(%edx,%eax), %xmm1, %xmm1
2344 // CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0x4c,0x02,0x40]
2345 vfnmsub132ss 64(%edx,%eax), %xmm1, %xmm1
2346
2347 // CHECK: vfnmsub132ss (%edx), %xmm1, %xmm1
2348 // CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0x0a]
2349 vfnmsub132ss (%edx), %xmm1, %xmm1
2350
2351 // CHECK: vfnmsub132ss %xmm1, %xmm1, %xmm1
2352 // CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0xc9]
2353 vfnmsub132ss %xmm1, %xmm1, %xmm1
2354
2355 // CHECK: vfnmsub213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
2356 // CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2357 vfnmsub213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
2358
2359 // CHECK: vfnmsub213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
2360 // CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2361 vfnmsub213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
2362
2363 // CHECK: vfnmsub213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
2364 // CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
2365 vfnmsub213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
2366
2367 // CHECK: vfnmsub213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
2368 // CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
2369 vfnmsub213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
2370
2371 // CHECK: vfnmsub213pd 485498096(%edx), %xmm1, %xmm1
2372 // CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0x8a,0xf0,0x1c,0xf0,0x1c]
2373 vfnmsub213pd 485498096(%edx), %xmm1, %xmm1
2374
2375 // CHECK: vfnmsub213pd 485498096(%edx), %ymm4, %ymm4
2376 // CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0xa2,0xf0,0x1c,0xf0,0x1c]
2377 vfnmsub213pd 485498096(%edx), %ymm4, %ymm4
2378
2379 // CHECK: vfnmsub213pd 485498096, %xmm1, %xmm1
2380 // CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0x0d,0xf0,0x1c,0xf0,0x1c]
2381 vfnmsub213pd 485498096, %xmm1, %xmm1
2382
2383 // CHECK: vfnmsub213pd 485498096, %ymm4, %ymm4
2384 // CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0x25,0xf0,0x1c,0xf0,0x1c]
2385 vfnmsub213pd 485498096, %ymm4, %ymm4
2386
2387 // CHECK: vfnmsub213pd 64(%edx,%eax), %xmm1, %xmm1
2388 // CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0x4c,0x02,0x40]
2389 vfnmsub213pd 64(%edx,%eax), %xmm1, %xmm1
2390
2391 // CHECK: vfnmsub213pd 64(%edx,%eax), %ymm4, %ymm4
2392 // CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0x64,0x02,0x40]
2393 vfnmsub213pd 64(%edx,%eax), %ymm4, %ymm4
2394
2395 // CHECK: vfnmsub213pd (%edx), %xmm1, %xmm1
2396 // CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0x0a]
2397 vfnmsub213pd (%edx), %xmm1, %xmm1
2398
2399 // CHECK: vfnmsub213pd (%edx), %ymm4, %ymm4
2400 // CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0x22]
2401 vfnmsub213pd (%edx), %ymm4, %ymm4
2402
2403 // CHECK: vfnmsub213pd %xmm1, %xmm1, %xmm1
2404 // CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0xc9]
2405 vfnmsub213pd %xmm1, %xmm1, %xmm1
2406
2407 // CHECK: vfnmsub213pd %ymm4, %ymm4, %ymm4
2408 // CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0xe4]
2409 vfnmsub213pd %ymm4, %ymm4, %ymm4
2410
2411 // CHECK: vfnmsub213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
2412 // CHECK: encoding: [0xc4,0xe2,0x71,0xae,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2413 vfnmsub213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
2414
2415 // CHECK: vfnmsub213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
2416 // CHECK: encoding: [0xc4,0xe2,0x71,0xae,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2417 vfnmsub213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
2418
2419 // CHECK: vfnmsub213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
2420 // CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
2421 vfnmsub213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
2422
2423 // CHECK: vfnmsub213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
2424 // CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
2425 vfnmsub213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
2426
2427 // CHECK: vfnmsub213ps 485498096(%edx), %xmm1, %xmm1
2428 // CHECK: encoding: [0xc4,0xe2,0x71,0xae,0x8a,0xf0,0x1c,0xf0,0x1c]
2429 vfnmsub213ps 485498096(%edx), %xmm1, %xmm1
2430
2431 // CHECK: vfnmsub213ps 485498096(%edx), %ymm4, %ymm4
2432 // CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0xa2,0xf0,0x1c,0xf0,0x1c]
2433 vfnmsub213ps 485498096(%edx), %ymm4, %ymm4
2434
2435 // CHECK: vfnmsub213ps 485498096, %xmm1, %xmm1
2436 // CHECK: encoding: [0xc4,0xe2,0x71,0xae,0x0d,0xf0,0x1c,0xf0,0x1c]
2437 vfnmsub213ps 485498096, %xmm1, %xmm1
2438
2439 // CHECK: vfnmsub213ps 485498096, %ymm4, %ymm4
2440 // CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0x25,0xf0,0x1c,0xf0,0x1c]
2441 vfnmsub213ps 485498096, %ymm4, %ymm4
2442
2443 // CHECK: vfnmsub213ps 64(%edx,%eax), %xmm1, %xmm1
2444 // CHECK: encoding: [0xc4,0xe2,0x71,0xae,0x4c,0x02,0x40]
2445 vfnmsub213ps 64(%edx,%eax), %xmm1, %xmm1
2446
2447 // CHECK: vfnmsub213ps 64(%edx,%eax), %ymm4, %ymm4
2448 // CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0x64,0x02,0x40]
2449 vfnmsub213ps 64(%edx,%eax), %ymm4, %ymm4
2450
2451 // CHECK: vfnmsub213ps (%edx), %xmm1, %xmm1
2452 // CHECK: encoding: [0xc4,0xe2,0x71,0xae,0x0a]
2453 vfnmsub213ps (%edx), %xmm1, %xmm1
2454
2455 // CHECK: vfnmsub213ps (%edx), %ymm4, %ymm4
2456 // CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0x22]
2457 vfnmsub213ps (%edx), %ymm4, %ymm4
2458
2459 // CHECK: vfnmsub213ps %xmm1, %xmm1, %xmm1
2460 // CHECK: encoding: [0xc4,0xe2,0x71,0xae,0xc9]
2461 vfnmsub213ps %xmm1, %xmm1, %xmm1
2462
2463 // CHECK: vfnmsub213ps %ymm4, %ymm4, %ymm4
2464 // CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0xe4]
2465 vfnmsub213ps %ymm4, %ymm4, %ymm4
2466
2467 // CHECK: vfnmsub213sd -485498096(%edx,%eax,4), %xmm1, %xmm1
2468 // CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2469 vfnmsub213sd -485498096(%edx,%eax,4), %xmm1, %xmm1
2470
2471 // CHECK: vfnmsub213sd 485498096(%edx,%eax,4), %xmm1, %xmm1
2472 // CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2473 vfnmsub213sd 485498096(%edx,%eax,4), %xmm1, %xmm1
2474
2475 // CHECK: vfnmsub213sd 485498096(%edx), %xmm1, %xmm1
2476 // CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0x8a,0xf0,0x1c,0xf0,0x1c]
2477 vfnmsub213sd 485498096(%edx), %xmm1, %xmm1
2478
2479 // CHECK: vfnmsub213sd 485498096, %xmm1, %xmm1
2480 // CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0x0d,0xf0,0x1c,0xf0,0x1c]
2481 vfnmsub213sd 485498096, %xmm1, %xmm1
2482
2483 // CHECK: vfnmsub213sd 64(%edx,%eax), %xmm1, %xmm1
2484 // CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0x4c,0x02,0x40]
2485 vfnmsub213sd 64(%edx,%eax), %xmm1, %xmm1
2486
2487 // CHECK: vfnmsub213sd (%edx), %xmm1, %xmm1
2488 // CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0x0a]
2489 vfnmsub213sd (%edx), %xmm1, %xmm1
2490
2491 // CHECK: vfnmsub213sd %xmm1, %xmm1, %xmm1
2492 // CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0xc9]
2493 vfnmsub213sd %xmm1, %xmm1, %xmm1
2494
2495 // CHECK: vfnmsub213ss -485498096(%edx,%eax,4), %xmm1, %xmm1
2496 // CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2497 vfnmsub213ss -485498096(%edx,%eax,4), %xmm1, %xmm1
2498
2499 // CHECK: vfnmsub213ss 485498096(%edx,%eax,4), %xmm1, %xmm1
2500 // CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2501 vfnmsub213ss 485498096(%edx,%eax,4), %xmm1, %xmm1
2502
2503 // CHECK: vfnmsub213ss 485498096(%edx), %xmm1, %xmm1
2504 // CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0x8a,0xf0,0x1c,0xf0,0x1c]
2505 vfnmsub213ss 485498096(%edx), %xmm1, %xmm1
2506
2507 // CHECK: vfnmsub213ss 485498096, %xmm1, %xmm1
2508 // CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0x0d,0xf0,0x1c,0xf0,0x1c]
2509 vfnmsub213ss 485498096, %xmm1, %xmm1
2510
2511 // CHECK: vfnmsub213ss 64(%edx,%eax), %xmm1, %xmm1
2512 // CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0x4c,0x02,0x40]
2513 vfnmsub213ss 64(%edx,%eax), %xmm1, %xmm1
2514
2515 // CHECK: vfnmsub213ss (%edx), %xmm1, %xmm1
2516 // CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0x0a]
2517 vfnmsub213ss (%edx), %xmm1, %xmm1
2518
2519 // CHECK: vfnmsub213ss %xmm1, %xmm1, %xmm1
2520 // CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0xc9]
2521 vfnmsub213ss %xmm1, %xmm1, %xmm1
2522
2523 // CHECK: vfnmsub231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
2524 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2525 vfnmsub231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
2526
2527 // CHECK: vfnmsub231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
2528 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2529 vfnmsub231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
2530
2531 // CHECK: vfnmsub231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
2532 // CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
2533 vfnmsub231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
2534
2535 // CHECK: vfnmsub231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
2536 // CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
2537 vfnmsub231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
2538
2539 // CHECK: vfnmsub231pd 485498096(%edx), %xmm1, %xmm1
2540 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0x8a,0xf0,0x1c,0xf0,0x1c]
2541 vfnmsub231pd 485498096(%edx), %xmm1, %xmm1
2542
2543 // CHECK: vfnmsub231pd 485498096(%edx), %ymm4, %ymm4
2544 // CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0xa2,0xf0,0x1c,0xf0,0x1c]
2545 vfnmsub231pd 485498096(%edx), %ymm4, %ymm4
2546
2547 // CHECK: vfnmsub231pd 485498096, %xmm1, %xmm1
2548 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0x0d,0xf0,0x1c,0xf0,0x1c]
2549 vfnmsub231pd 485498096, %xmm1, %xmm1
2550
2551 // CHECK: vfnmsub231pd 485498096, %ymm4, %ymm4
2552 // CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0x25,0xf0,0x1c,0xf0,0x1c]
2553 vfnmsub231pd 485498096, %ymm4, %ymm4
2554
2555 // CHECK: vfnmsub231pd 64(%edx,%eax), %xmm1, %xmm1
2556 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0x4c,0x02,0x40]
2557 vfnmsub231pd 64(%edx,%eax), %xmm1, %xmm1
2558
2559 // CHECK: vfnmsub231pd 64(%edx,%eax), %ymm4, %ymm4
2560 // CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0x64,0x02,0x40]
2561 vfnmsub231pd 64(%edx,%eax), %ymm4, %ymm4
2562
2563 // CHECK: vfnmsub231pd (%edx), %xmm1, %xmm1
2564 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0x0a]
2565 vfnmsub231pd (%edx), %xmm1, %xmm1
2566
2567 // CHECK: vfnmsub231pd (%edx), %ymm4, %ymm4
2568 // CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0x22]
2569 vfnmsub231pd (%edx), %ymm4, %ymm4
2570
2571 // CHECK: vfnmsub231pd %xmm1, %xmm1, %xmm1
2572 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0xc9]
2573 vfnmsub231pd %xmm1, %xmm1, %xmm1
2574
2575 // CHECK: vfnmsub231pd %ymm4, %ymm4, %ymm4
2576 // CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0xe4]
2577 vfnmsub231pd %ymm4, %ymm4, %ymm4
2578
2579 // CHECK: vfnmsub231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
2580 // CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2581 vfnmsub231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
2582
2583 // CHECK: vfnmsub231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
2584 // CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2585 vfnmsub231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
2586
2587 // CHECK: vfnmsub231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
2588 // CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
2589 vfnmsub231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
2590
2591 // CHECK: vfnmsub231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
2592 // CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
2593 vfnmsub231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
2594
2595 // CHECK: vfnmsub231ps 485498096(%edx), %xmm1, %xmm1
2596 // CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0x8a,0xf0,0x1c,0xf0,0x1c]
2597 vfnmsub231ps 485498096(%edx), %xmm1, %xmm1
2598
2599 // CHECK: vfnmsub231ps 485498096(%edx), %ymm4, %ymm4
2600 // CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0xa2,0xf0,0x1c,0xf0,0x1c]
2601 vfnmsub231ps 485498096(%edx), %ymm4, %ymm4
2602
2603 // CHECK: vfnmsub231ps 485498096, %xmm1, %xmm1
2604 // CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0x0d,0xf0,0x1c,0xf0,0x1c]
2605 vfnmsub231ps 485498096, %xmm1, %xmm1
2606
2607 // CHECK: vfnmsub231ps 485498096, %ymm4, %ymm4
2608 // CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0x25,0xf0,0x1c,0xf0,0x1c]
2609 vfnmsub231ps 485498096, %ymm4, %ymm4
2610
2611 // CHECK: vfnmsub231ps 64(%edx,%eax), %xmm1, %xmm1
2612 // CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0x4c,0x02,0x40]
2613 vfnmsub231ps 64(%edx,%eax), %xmm1, %xmm1
2614
2615 // CHECK: vfnmsub231ps 64(%edx,%eax), %ymm4, %ymm4
2616 // CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0x64,0x02,0x40]
2617 vfnmsub231ps 64(%edx,%eax), %ymm4, %ymm4
2618
2619 // CHECK: vfnmsub231ps (%edx), %xmm1, %xmm1
2620 // CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0x0a]
2621 vfnmsub231ps (%edx), %xmm1, %xmm1
2622
2623 // CHECK: vfnmsub231ps (%edx), %ymm4, %ymm4
2624 // CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0x22]
2625 vfnmsub231ps (%edx), %ymm4, %ymm4
2626
2627 // CHECK: vfnmsub231ps %xmm1, %xmm1, %xmm1
2628 // CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0xc9]
2629 vfnmsub231ps %xmm1, %xmm1, %xmm1
2630
2631 // CHECK: vfnmsub231ps %ymm4, %ymm4, %ymm4
2632 // CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0xe4]
2633 vfnmsub231ps %ymm4, %ymm4, %ymm4
2634
2635 // CHECK: vfnmsub231sd -485498096(%edx,%eax,4), %xmm1, %xmm1
2636 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2637 vfnmsub231sd -485498096(%edx,%eax,4), %xmm1, %xmm1
2638
2639 // CHECK: vfnmsub231sd 485498096(%edx,%eax,4), %xmm1, %xmm1
2640 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2641 vfnmsub231sd 485498096(%edx,%eax,4), %xmm1, %xmm1
2642
2643 // CHECK: vfnmsub231sd 485498096(%edx), %xmm1, %xmm1
2644 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0x8a,0xf0,0x1c,0xf0,0x1c]
2645 vfnmsub231sd 485498096(%edx), %xmm1, %xmm1
2646
2647 // CHECK: vfnmsub231sd 485498096, %xmm1, %xmm1
2648 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0x0d,0xf0,0x1c,0xf0,0x1c]
2649 vfnmsub231sd 485498096, %xmm1, %xmm1
2650
2651 // CHECK: vfnmsub231sd 64(%edx,%eax), %xmm1, %xmm1
2652 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0x4c,0x02,0x40]
2653 vfnmsub231sd 64(%edx,%eax), %xmm1, %xmm1
2654
2655 // CHECK: vfnmsub231sd (%edx), %xmm1, %xmm1
2656 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0x0a]
2657 vfnmsub231sd (%edx), %xmm1, %xmm1
2658
2659 // CHECK: vfnmsub231sd %xmm1, %xmm1, %xmm1
2660 // CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0xc9]
2661 vfnmsub231sd %xmm1, %xmm1, %xmm1
2662
2663 // CHECK: vfnmsub231ss -485498096(%edx,%eax,4), %xmm1, %xmm1
2664 // CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2665 vfnmsub231ss -485498096(%edx,%eax,4), %xmm1, %xmm1
2666
2667 // CHECK: vfnmsub231ss 485498096(%edx,%eax,4), %xmm1, %xmm1
2668 // CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2669 vfnmsub231ss 485498096(%edx,%eax,4), %xmm1, %xmm1
2670
2671 // CHECK: vfnmsub231ss 485498096(%edx), %xmm1, %xmm1
2672 // CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0x8a,0xf0,0x1c,0xf0,0x1c]
2673 vfnmsub231ss 485498096(%edx), %xmm1, %xmm1
2674
2675 // CHECK: vfnmsub231ss 485498096, %xmm1, %xmm1
2676 // CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0x0d,0xf0,0x1c,0xf0,0x1c]
2677 vfnmsub231ss 485498096, %xmm1, %xmm1
2678
2679 // CHECK: vfnmsub231ss 64(%edx,%eax), %xmm1, %xmm1
2680 // CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0x4c,0x02,0x40]
2681 vfnmsub231ss 64(%edx,%eax), %xmm1, %xmm1
2682
2683 // CHECK: vfnmsub231ss (%edx), %xmm1, %xmm1
2684 // CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0x0a]
2685 vfnmsub231ss (%edx), %xmm1, %xmm1
2686
2687 // CHECK: vfnmsub231ss %xmm1, %xmm1, %xmm1
2688 // CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0xc9]
2689 vfnmsub231ss %xmm1, %xmm1, %xmm1
2690