brintos / llvm-project-archived public Read only

1// RUN: llvm-mc -triple i386-unknown-unknown --show-encoding %s | FileCheck %s2 3// CHECK: vfmadd132pd -485498096(%edx,%eax,4), %xmm1, %xmm1 4// CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0x8c,0x82,0x10,0xe3,0x0f,0xe3]      5vfmadd132pd -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]      9vfmadd132pd 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]      13vfmadd132pd -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]      17vfmadd132pd 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]      21vfmadd132pd 485498096(%edx), %xmm1, %xmm1 22 23// CHECK: vfmadd132pd 485498096(%edx), %ymm4, %ymm4 24// CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0xa2,0xf0,0x1c,0xf0,0x1c]      25vfmadd132pd 485498096(%edx), %ymm4, %ymm4 26 27// CHECK: vfmadd132pd 485498096, %xmm1, %xmm1 28// CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0x0d,0xf0,0x1c,0xf0,0x1c]      29vfmadd132pd 485498096, %xmm1, %xmm1 30 31// CHECK: vfmadd132pd 485498096, %ymm4, %ymm4 32// CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0x25,0xf0,0x1c,0xf0,0x1c]      33vfmadd132pd 485498096, %ymm4, %ymm4 34 35// CHECK: vfmadd132pd 64(%edx,%eax), %xmm1, %xmm1 36// CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0x4c,0x02,0x40]      37vfmadd132pd 64(%edx,%eax), %xmm1, %xmm1 38 39// CHECK: vfmadd132pd 64(%edx,%eax), %ymm4, %ymm4 40// CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0x64,0x02,0x40]      41vfmadd132pd 64(%edx,%eax), %ymm4, %ymm4 42 43// CHECK: vfmadd132pd (%edx), %xmm1, %xmm1 44// CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0x0a]      45vfmadd132pd (%edx), %xmm1, %xmm1 46 47// CHECK: vfmadd132pd (%edx), %ymm4, %ymm4 48// CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0x22]      49vfmadd132pd (%edx), %ymm4, %ymm4 50 51// CHECK: vfmadd132pd %xmm1, %xmm1, %xmm1 52// CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0xc9]      53vfmadd132pd %xmm1, %xmm1, %xmm1 54 55// CHECK: vfmadd132pd %ymm4, %ymm4, %ymm4 56// CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0xe4]      57vfmadd132pd %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]      61vfmadd132ps -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]      65vfmadd132ps 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]      69vfmadd132ps -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]      73vfmadd132ps 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]      77vfmadd132ps 485498096(%edx), %xmm1, %xmm1 78 79// CHECK: vfmadd132ps 485498096(%edx), %ymm4, %ymm4 80// CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0xa2,0xf0,0x1c,0xf0,0x1c]      81vfmadd132ps 485498096(%edx), %ymm4, %ymm4 82 83// CHECK: vfmadd132ps 485498096, %xmm1, %xmm1 84// CHECK: encoding: [0xc4,0xe2,0x71,0x98,0x0d,0xf0,0x1c,0xf0,0x1c]      85vfmadd132ps 485498096, %xmm1, %xmm1 86 87// CHECK: vfmadd132ps 485498096, %ymm4, %ymm4 88// CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0x25,0xf0,0x1c,0xf0,0x1c]      89vfmadd132ps 485498096, %ymm4, %ymm4 90 91// CHECK: vfmadd132ps 64(%edx,%eax), %xmm1, %xmm1 92// CHECK: encoding: [0xc4,0xe2,0x71,0x98,0x4c,0x02,0x40]      93vfmadd132ps 64(%edx,%eax), %xmm1, %xmm1 94 95// CHECK: vfmadd132ps 64(%edx,%eax), %ymm4, %ymm4 96// CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0x64,0x02,0x40]      97vfmadd132ps 64(%edx,%eax), %ymm4, %ymm4 98 99// CHECK: vfmadd132ps (%edx), %xmm1, %xmm1 100// CHECK: encoding: [0xc4,0xe2,0x71,0x98,0x0a]      101vfmadd132ps (%edx), %xmm1, %xmm1 102 103// CHECK: vfmadd132ps (%edx), %ymm4, %ymm4 104// CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0x22]      105vfmadd132ps (%edx), %ymm4, %ymm4 106 107// CHECK: vfmadd132ps %xmm1, %xmm1, %xmm1 108// CHECK: encoding: [0xc4,0xe2,0x71,0x98,0xc9]      109vfmadd132ps %xmm1, %xmm1, %xmm1 110 111// CHECK: vfmadd132ps %ymm4, %ymm4, %ymm4 112// CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0xe4]      113vfmadd132ps %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]      117vfmadd132sd -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]      121vfmadd132sd 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]      125vfmadd132sd 485498096(%edx), %xmm1, %xmm1 126 127// CHECK: vfmadd132sd 485498096, %xmm1, %xmm1 128// CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0x0d,0xf0,0x1c,0xf0,0x1c]      129vfmadd132sd 485498096, %xmm1, %xmm1 130 131// CHECK: vfmadd132sd 64(%edx,%eax), %xmm1, %xmm1 132// CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0x4c,0x02,0x40]      133vfmadd132sd 64(%edx,%eax), %xmm1, %xmm1 134 135// CHECK: vfmadd132sd (%edx), %xmm1, %xmm1 136// CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0x0a]      137vfmadd132sd (%edx), %xmm1, %xmm1 138 139// CHECK: vfmadd132sd %xmm1, %xmm1, %xmm1 140// CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0xc9]      141vfmadd132sd %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]      145vfmadd132ss -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]      149vfmadd132ss 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]      153vfmadd132ss 485498096(%edx), %xmm1, %xmm1 154 155// CHECK: vfmadd132ss 485498096, %xmm1, %xmm1 156// CHECK: encoding: [0xc4,0xe2,0x71,0x99,0x0d,0xf0,0x1c,0xf0,0x1c]      157vfmadd132ss 485498096, %xmm1, %xmm1 158 159// CHECK: vfmadd132ss 64(%edx,%eax), %xmm1, %xmm1 160// CHECK: encoding: [0xc4,0xe2,0x71,0x99,0x4c,0x02,0x40]      161vfmadd132ss 64(%edx,%eax), %xmm1, %xmm1 162 163// CHECK: vfmadd132ss (%edx), %xmm1, %xmm1 164// CHECK: encoding: [0xc4,0xe2,0x71,0x99,0x0a]      165vfmadd132ss (%edx), %xmm1, %xmm1 166 167// CHECK: vfmadd132ss %xmm1, %xmm1, %xmm1 168// CHECK: encoding: [0xc4,0xe2,0x71,0x99,0xc9]      169vfmadd132ss %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]      173vfmadd213pd -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]      177vfmadd213pd 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]      181vfmadd213pd -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]      185vfmadd213pd 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]      189vfmadd213pd 485498096(%edx), %xmm1, %xmm1 190 191// CHECK: vfmadd213pd 485498096(%edx), %ymm4, %ymm4 192// CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0xa2,0xf0,0x1c,0xf0,0x1c]      193vfmadd213pd 485498096(%edx), %ymm4, %ymm4 194 195// CHECK: vfmadd213pd 485498096, %xmm1, %xmm1 196// CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0x0d,0xf0,0x1c,0xf0,0x1c]      197vfmadd213pd 485498096, %xmm1, %xmm1 198 199// CHECK: vfmadd213pd 485498096, %ymm4, %ymm4 200// CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0x25,0xf0,0x1c,0xf0,0x1c]      201vfmadd213pd 485498096, %ymm4, %ymm4 202 203// CHECK: vfmadd213pd 64(%edx,%eax), %xmm1, %xmm1 204// CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0x4c,0x02,0x40]      205vfmadd213pd 64(%edx,%eax), %xmm1, %xmm1 206 207// CHECK: vfmadd213pd 64(%edx,%eax), %ymm4, %ymm4 208// CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0x64,0x02,0x40]      209vfmadd213pd 64(%edx,%eax), %ymm4, %ymm4 210 211// CHECK: vfmadd213pd (%edx), %xmm1, %xmm1 212// CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0x0a]      213vfmadd213pd (%edx), %xmm1, %xmm1 214 215// CHECK: vfmadd213pd (%edx), %ymm4, %ymm4 216// CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0x22]      217vfmadd213pd (%edx), %ymm4, %ymm4 218 219// CHECK: vfmadd213pd %xmm1, %xmm1, %xmm1 220// CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0xc9]      221vfmadd213pd %xmm1, %xmm1, %xmm1 222 223// CHECK: vfmadd213pd %ymm4, %ymm4, %ymm4 224// CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0xe4]      225vfmadd213pd %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]      229vfmadd213ps -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]      233vfmadd213ps 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]      237vfmadd213ps -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]      241vfmadd213ps 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]      245vfmadd213ps 485498096(%edx), %xmm1, %xmm1 246 247// CHECK: vfmadd213ps 485498096(%edx), %ymm4, %ymm4 248// CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0xa2,0xf0,0x1c,0xf0,0x1c]      249vfmadd213ps 485498096(%edx), %ymm4, %ymm4 250 251// CHECK: vfmadd213ps 485498096, %xmm1, %xmm1 252// CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0x0d,0xf0,0x1c,0xf0,0x1c]      253vfmadd213ps 485498096, %xmm1, %xmm1 254 255// CHECK: vfmadd213ps 485498096, %ymm4, %ymm4 256// CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0x25,0xf0,0x1c,0xf0,0x1c]      257vfmadd213ps 485498096, %ymm4, %ymm4 258 259// CHECK: vfmadd213ps 64(%edx,%eax), %xmm1, %xmm1 260// CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0x4c,0x02,0x40]      261vfmadd213ps 64(%edx,%eax), %xmm1, %xmm1 262 263// CHECK: vfmadd213ps 64(%edx,%eax), %ymm4, %ymm4 264// CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0x64,0x02,0x40]      265vfmadd213ps 64(%edx,%eax), %ymm4, %ymm4 266 267// CHECK: vfmadd213ps (%edx), %xmm1, %xmm1 268// CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0x0a]      269vfmadd213ps (%edx), %xmm1, %xmm1 270 271// CHECK: vfmadd213ps (%edx), %ymm4, %ymm4 272// CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0x22]      273vfmadd213ps (%edx), %ymm4, %ymm4 274 275// CHECK: vfmadd213ps %xmm1, %xmm1, %xmm1 276// CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0xc9]      277vfmadd213ps %xmm1, %xmm1, %xmm1 278 279// CHECK: vfmadd213ps %ymm4, %ymm4, %ymm4 280// CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0xe4]      281vfmadd213ps %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]      285vfmadd213sd -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]      289vfmadd213sd 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]      293vfmadd213sd 485498096(%edx), %xmm1, %xmm1 294 295// CHECK: vfmadd213sd 485498096, %xmm1, %xmm1 296// CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0x0d,0xf0,0x1c,0xf0,0x1c]      297vfmadd213sd 485498096, %xmm1, %xmm1 298 299// CHECK: vfmadd213sd 64(%edx,%eax), %xmm1, %xmm1 300// CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0x4c,0x02,0x40]      301vfmadd213sd 64(%edx,%eax), %xmm1, %xmm1 302 303// CHECK: vfmadd213sd (%edx), %xmm1, %xmm1 304// CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0x0a]      305vfmadd213sd (%edx), %xmm1, %xmm1 306 307// CHECK: vfmadd213sd %xmm1, %xmm1, %xmm1 308// CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0xc9]      309vfmadd213sd %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]      313vfmadd213ss -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]      317vfmadd213ss 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]      321vfmadd213ss 485498096(%edx), %xmm1, %xmm1 322 323// CHECK: vfmadd213ss 485498096, %xmm1, %xmm1 324// CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0x0d,0xf0,0x1c,0xf0,0x1c]      325vfmadd213ss 485498096, %xmm1, %xmm1 326 327// CHECK: vfmadd213ss 64(%edx,%eax), %xmm1, %xmm1 328// CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0x4c,0x02,0x40]      329vfmadd213ss 64(%edx,%eax), %xmm1, %xmm1 330 331// CHECK: vfmadd213ss (%edx), %xmm1, %xmm1 332// CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0x0a]      333vfmadd213ss (%edx), %xmm1, %xmm1 334 335// CHECK: vfmadd213ss %xmm1, %xmm1, %xmm1 336// CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0xc9]      337vfmadd213ss %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]      341vfmadd231pd -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]      345vfmadd231pd 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]      349vfmadd231pd -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]      353vfmadd231pd 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]      357vfmadd231pd 485498096(%edx), %xmm1, %xmm1 358 359// CHECK: vfmadd231pd 485498096(%edx), %ymm4, %ymm4 360// CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0xa2,0xf0,0x1c,0xf0,0x1c]      361vfmadd231pd 485498096(%edx), %ymm4, %ymm4 362 363// CHECK: vfmadd231pd 485498096, %xmm1, %xmm1 364// CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0x0d,0xf0,0x1c,0xf0,0x1c]      365vfmadd231pd 485498096, %xmm1, %xmm1 366 367// CHECK: vfmadd231pd 485498096, %ymm4, %ymm4 368// CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0x25,0xf0,0x1c,0xf0,0x1c]      369vfmadd231pd 485498096, %ymm4, %ymm4 370 371// CHECK: vfmadd231pd 64(%edx,%eax), %xmm1, %xmm1 372// CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0x4c,0x02,0x40]      373vfmadd231pd 64(%edx,%eax), %xmm1, %xmm1 374 375// CHECK: vfmadd231pd 64(%edx,%eax), %ymm4, %ymm4 376// CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0x64,0x02,0x40]      377vfmadd231pd 64(%edx,%eax), %ymm4, %ymm4 378 379// CHECK: vfmadd231pd (%edx), %xmm1, %xmm1 380// CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0x0a]      381vfmadd231pd (%edx), %xmm1, %xmm1 382 383// CHECK: vfmadd231pd (%edx), %ymm4, %ymm4 384// CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0x22]      385vfmadd231pd (%edx), %ymm4, %ymm4 386 387// CHECK: vfmadd231pd %xmm1, %xmm1, %xmm1 388// CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0xc9]      389vfmadd231pd %xmm1, %xmm1, %xmm1 390 391// CHECK: vfmadd231pd %ymm4, %ymm4, %ymm4 392// CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0xe4]      393vfmadd231pd %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]      397vfmadd231ps -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]      401vfmadd231ps 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]      405vfmadd231ps -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]      409vfmadd231ps 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]      413vfmadd231ps 485498096(%edx), %xmm1, %xmm1 414 415// CHECK: vfmadd231ps 485498096(%edx), %ymm4, %ymm4 416// CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0xa2,0xf0,0x1c,0xf0,0x1c]      417vfmadd231ps 485498096(%edx), %ymm4, %ymm4 418 419// CHECK: vfmadd231ps 485498096, %xmm1, %xmm1 420// CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0x0d,0xf0,0x1c,0xf0,0x1c]      421vfmadd231ps 485498096, %xmm1, %xmm1 422 423// CHECK: vfmadd231ps 485498096, %ymm4, %ymm4 424// CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0x25,0xf0,0x1c,0xf0,0x1c]      425vfmadd231ps 485498096, %ymm4, %ymm4 426 427// CHECK: vfmadd231ps 64(%edx,%eax), %xmm1, %xmm1 428// CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0x4c,0x02,0x40]      429vfmadd231ps 64(%edx,%eax), %xmm1, %xmm1 430 431// CHECK: vfmadd231ps 64(%edx,%eax), %ymm4, %ymm4 432// CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0x64,0x02,0x40]      433vfmadd231ps 64(%edx,%eax), %ymm4, %ymm4 434 435// CHECK: vfmadd231ps (%edx), %xmm1, %xmm1 436// CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0x0a]      437vfmadd231ps (%edx), %xmm1, %xmm1 438 439// CHECK: vfmadd231ps (%edx), %ymm4, %ymm4 440// CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0x22]      441vfmadd231ps (%edx), %ymm4, %ymm4 442 443// CHECK: vfmadd231ps %xmm1, %xmm1, %xmm1 444// CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0xc9]      445vfmadd231ps %xmm1, %xmm1, %xmm1 446 447// CHECK: vfmadd231ps %ymm4, %ymm4, %ymm4 448// CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0xe4]      449vfmadd231ps %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]      453vfmadd231sd -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]      457vfmadd231sd 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]      461vfmadd231sd 485498096(%edx), %xmm1, %xmm1 462 463// CHECK: vfmadd231sd 485498096, %xmm1, %xmm1 464// CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0x0d,0xf0,0x1c,0xf0,0x1c]      465vfmadd231sd 485498096, %xmm1, %xmm1 466 467// CHECK: vfmadd231sd 64(%edx,%eax), %xmm1, %xmm1 468// CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0x4c,0x02,0x40]      469vfmadd231sd 64(%edx,%eax), %xmm1, %xmm1 470 471// CHECK: vfmadd231sd (%edx), %xmm1, %xmm1 472// CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0x0a]      473vfmadd231sd (%edx), %xmm1, %xmm1 474 475// CHECK: vfmadd231sd %xmm1, %xmm1, %xmm1 476// CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0xc9]      477vfmadd231sd %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]      481vfmadd231ss -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]      485vfmadd231ss 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]      489vfmadd231ss 485498096(%edx), %xmm1, %xmm1 490 491// CHECK: vfmadd231ss 485498096, %xmm1, %xmm1 492// CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0x0d,0xf0,0x1c,0xf0,0x1c]      493vfmadd231ss 485498096, %xmm1, %xmm1 494 495// CHECK: vfmadd231ss 64(%edx,%eax), %xmm1, %xmm1 496// CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0x4c,0x02,0x40]      497vfmadd231ss 64(%edx,%eax), %xmm1, %xmm1 498 499// CHECK: vfmadd231ss (%edx), %xmm1, %xmm1 500// CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0x0a]      501vfmadd231ss (%edx), %xmm1, %xmm1 502 503// CHECK: vfmadd231ss %xmm1, %xmm1, %xmm1 504// CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0xc9]      505vfmadd231ss %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]      509vfmaddsub132pd -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]      513vfmaddsub132pd 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]      517vfmaddsub132pd -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]      521vfmaddsub132pd 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]      525vfmaddsub132pd 485498096(%edx), %xmm1, %xmm1 526 527// CHECK: vfmaddsub132pd 485498096(%edx), %ymm4, %ymm4 528// CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0xa2,0xf0,0x1c,0xf0,0x1c]      529vfmaddsub132pd 485498096(%edx), %ymm4, %ymm4 530 531// CHECK: vfmaddsub132pd 485498096, %xmm1, %xmm1 532// CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0x0d,0xf0,0x1c,0xf0,0x1c]      533vfmaddsub132pd 485498096, %xmm1, %xmm1 534 535// CHECK: vfmaddsub132pd 485498096, %ymm4, %ymm4 536// CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0x25,0xf0,0x1c,0xf0,0x1c]      537vfmaddsub132pd 485498096, %ymm4, %ymm4 538 539// CHECK: vfmaddsub132pd 64(%edx,%eax), %xmm1, %xmm1 540// CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0x4c,0x02,0x40]      541vfmaddsub132pd 64(%edx,%eax), %xmm1, %xmm1 542 543// CHECK: vfmaddsub132pd 64(%edx,%eax), %ymm4, %ymm4 544// CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0x64,0x02,0x40]      545vfmaddsub132pd 64(%edx,%eax), %ymm4, %ymm4 546 547// CHECK: vfmaddsub132pd (%edx), %xmm1, %xmm1 548// CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0x0a]      549vfmaddsub132pd (%edx), %xmm1, %xmm1 550 551// CHECK: vfmaddsub132pd (%edx), %ymm4, %ymm4 552// CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0x22]      553vfmaddsub132pd (%edx), %ymm4, %ymm4 554 555// CHECK: vfmaddsub132pd %xmm1, %xmm1, %xmm1 556// CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0xc9]      557vfmaddsub132pd %xmm1, %xmm1, %xmm1 558 559// CHECK: vfmaddsub132pd %ymm4, %ymm4, %ymm4 560// CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0xe4]      561vfmaddsub132pd %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]      565vfmaddsub132ps -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]      569vfmaddsub132ps 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]      573vfmaddsub132ps -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]      577vfmaddsub132ps 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]      581vfmaddsub132ps 485498096(%edx), %xmm1, %xmm1 582 583// CHECK: vfmaddsub132ps 485498096(%edx), %ymm4, %ymm4 584// CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0xa2,0xf0,0x1c,0xf0,0x1c]      585vfmaddsub132ps 485498096(%edx), %ymm4, %ymm4 586 587// CHECK: vfmaddsub132ps 485498096, %xmm1, %xmm1 588// CHECK: encoding: [0xc4,0xe2,0x71,0x96,0x0d,0xf0,0x1c,0xf0,0x1c]      589vfmaddsub132ps 485498096, %xmm1, %xmm1 590 591// CHECK: vfmaddsub132ps 485498096, %ymm4, %ymm4 592// CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0x25,0xf0,0x1c,0xf0,0x1c]      593vfmaddsub132ps 485498096, %ymm4, %ymm4 594 595// CHECK: vfmaddsub132ps 64(%edx,%eax), %xmm1, %xmm1 596// CHECK: encoding: [0xc4,0xe2,0x71,0x96,0x4c,0x02,0x40]      597vfmaddsub132ps 64(%edx,%eax), %xmm1, %xmm1 598 599// CHECK: vfmaddsub132ps 64(%edx,%eax), %ymm4, %ymm4 600// CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0x64,0x02,0x40]      601vfmaddsub132ps 64(%edx,%eax), %ymm4, %ymm4 602 603// CHECK: vfmaddsub132ps (%edx), %xmm1, %xmm1 604// CHECK: encoding: [0xc4,0xe2,0x71,0x96,0x0a]      605vfmaddsub132ps (%edx), %xmm1, %xmm1 606 607// CHECK: vfmaddsub132ps (%edx), %ymm4, %ymm4 608// CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0x22]      609vfmaddsub132ps (%edx), %ymm4, %ymm4 610 611// CHECK: vfmaddsub132ps %xmm1, %xmm1, %xmm1 612// CHECK: encoding: [0xc4,0xe2,0x71,0x96,0xc9]      613vfmaddsub132ps %xmm1, %xmm1, %xmm1 614 615// CHECK: vfmaddsub132ps %ymm4, %ymm4, %ymm4 616// CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0xe4]      617vfmaddsub132ps %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]      621vfmaddsub213pd -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]      625vfmaddsub213pd 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]      629vfmaddsub213pd -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]      633vfmaddsub213pd 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]      637vfmaddsub213pd 485498096(%edx), %xmm1, %xmm1 638 639// CHECK: vfmaddsub213pd 485498096(%edx), %ymm4, %ymm4 640// CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0xa2,0xf0,0x1c,0xf0,0x1c]      641vfmaddsub213pd 485498096(%edx), %ymm4, %ymm4 642 643// CHECK: vfmaddsub213pd 485498096, %xmm1, %xmm1 644// CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0x0d,0xf0,0x1c,0xf0,0x1c]      645vfmaddsub213pd 485498096, %xmm1, %xmm1 646 647// CHECK: vfmaddsub213pd 485498096, %ymm4, %ymm4 648// CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0x25,0xf0,0x1c,0xf0,0x1c]      649vfmaddsub213pd 485498096, %ymm4, %ymm4 650 651// CHECK: vfmaddsub213pd 64(%edx,%eax), %xmm1, %xmm1 652// CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0x4c,0x02,0x40]      653vfmaddsub213pd 64(%edx,%eax), %xmm1, %xmm1 654 655// CHECK: vfmaddsub213pd 64(%edx,%eax), %ymm4, %ymm4 656// CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0x64,0x02,0x40]      657vfmaddsub213pd 64(%edx,%eax), %ymm4, %ymm4 658 659// CHECK: vfmaddsub213pd (%edx), %xmm1, %xmm1 660// CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0x0a]      661vfmaddsub213pd (%edx), %xmm1, %xmm1 662 663// CHECK: vfmaddsub213pd (%edx), %ymm4, %ymm4 664// CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0x22]      665vfmaddsub213pd (%edx), %ymm4, %ymm4 666 667// CHECK: vfmaddsub213pd %xmm1, %xmm1, %xmm1 668// CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0xc9]      669vfmaddsub213pd %xmm1, %xmm1, %xmm1 670 671// CHECK: vfmaddsub213pd %ymm4, %ymm4, %ymm4 672// CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0xe4]      673vfmaddsub213pd %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]      677vfmaddsub213ps -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]      681vfmaddsub213ps 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]      685vfmaddsub213ps -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]      689vfmaddsub213ps 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]      693vfmaddsub213ps 485498096(%edx), %xmm1, %xmm1 694 695// CHECK: vfmaddsub213ps 485498096(%edx), %ymm4, %ymm4 696// CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0xa2,0xf0,0x1c,0xf0,0x1c]      697vfmaddsub213ps 485498096(%edx), %ymm4, %ymm4 698 699// CHECK: vfmaddsub213ps 485498096, %xmm1, %xmm1 700// CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0x0d,0xf0,0x1c,0xf0,0x1c]      701vfmaddsub213ps 485498096, %xmm1, %xmm1 702 703// CHECK: vfmaddsub213ps 485498096, %ymm4, %ymm4 704// CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0x25,0xf0,0x1c,0xf0,0x1c]      705vfmaddsub213ps 485498096, %ymm4, %ymm4 706 707// CHECK: vfmaddsub213ps 64(%edx,%eax), %xmm1, %xmm1 708// CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0x4c,0x02,0x40]      709vfmaddsub213ps 64(%edx,%eax), %xmm1, %xmm1 710 711// CHECK: vfmaddsub213ps 64(%edx,%eax), %ymm4, %ymm4 712// CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0x64,0x02,0x40]      713vfmaddsub213ps 64(%edx,%eax), %ymm4, %ymm4 714 715// CHECK: vfmaddsub213ps (%edx), %xmm1, %xmm1 716// CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0x0a]      717vfmaddsub213ps (%edx), %xmm1, %xmm1 718 719// CHECK: vfmaddsub213ps (%edx), %ymm4, %ymm4 720// CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0x22]      721vfmaddsub213ps (%edx), %ymm4, %ymm4 722 723// CHECK: vfmaddsub213ps %xmm1, %xmm1, %xmm1 724// CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0xc9]      725vfmaddsub213ps %xmm1, %xmm1, %xmm1 726 727// CHECK: vfmaddsub213ps %ymm4, %ymm4, %ymm4 728// CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0xe4]      729vfmaddsub213ps %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]      733vfmaddsub231pd -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]      737vfmaddsub231pd 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]      741vfmaddsub231pd -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]      745vfmaddsub231pd 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]      749vfmaddsub231pd 485498096(%edx), %xmm1, %xmm1 750 751// CHECK: vfmaddsub231pd 485498096(%edx), %ymm4, %ymm4 752// CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0xa2,0xf0,0x1c,0xf0,0x1c]      753vfmaddsub231pd 485498096(%edx), %ymm4, %ymm4 754 755// CHECK: vfmaddsub231pd 485498096, %xmm1, %xmm1 756// CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0x0d,0xf0,0x1c,0xf0,0x1c]      757vfmaddsub231pd 485498096, %xmm1, %xmm1 758 759// CHECK: vfmaddsub231pd 485498096, %ymm4, %ymm4 760// CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0x25,0xf0,0x1c,0xf0,0x1c]      761vfmaddsub231pd 485498096, %ymm4, %ymm4 762 763// CHECK: vfmaddsub231pd 64(%edx,%eax), %xmm1, %xmm1 764// CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0x4c,0x02,0x40]      765vfmaddsub231pd 64(%edx,%eax), %xmm1, %xmm1 766 767// CHECK: vfmaddsub231pd 64(%edx,%eax), %ymm4, %ymm4 768// CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0x64,0x02,0x40]      769vfmaddsub231pd 64(%edx,%eax), %ymm4, %ymm4 770 771// CHECK: vfmaddsub231pd (%edx), %xmm1, %xmm1 772// CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0x0a]      773vfmaddsub231pd (%edx), %xmm1, %xmm1 774 775// CHECK: vfmaddsub231pd (%edx), %ymm4, %ymm4 776// CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0x22]      777vfmaddsub231pd (%edx), %ymm4, %ymm4 778 779// CHECK: vfmaddsub231pd %xmm1, %xmm1, %xmm1 780// CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0xc9]      781vfmaddsub231pd %xmm1, %xmm1, %xmm1 782 783// CHECK: vfmaddsub231pd %ymm4, %ymm4, %ymm4 784// CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0xe4]      785vfmaddsub231pd %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]      789vfmaddsub231ps -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]      793vfmaddsub231ps 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]      797vfmaddsub231ps -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]      801vfmaddsub231ps 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]      805vfmaddsub231ps 485498096(%edx), %xmm1, %xmm1 806 807// CHECK: vfmaddsub231ps 485498096(%edx), %ymm4, %ymm4 808// CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0xa2,0xf0,0x1c,0xf0,0x1c]      809vfmaddsub231ps 485498096(%edx), %ymm4, %ymm4 810 811// CHECK: vfmaddsub231ps 485498096, %xmm1, %xmm1 812// CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0x0d,0xf0,0x1c,0xf0,0x1c]      813vfmaddsub231ps 485498096, %xmm1, %xmm1 814 815// CHECK: vfmaddsub231ps 485498096, %ymm4, %ymm4 816// CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0x25,0xf0,0x1c,0xf0,0x1c]      817vfmaddsub231ps 485498096, %ymm4, %ymm4 818 819// CHECK: vfmaddsub231ps 64(%edx,%eax), %xmm1, %xmm1 820// CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0x4c,0x02,0x40]      821vfmaddsub231ps 64(%edx,%eax), %xmm1, %xmm1 822 823// CHECK: vfmaddsub231ps 64(%edx,%eax), %ymm4, %ymm4 824// CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0x64,0x02,0x40]      825vfmaddsub231ps 64(%edx,%eax), %ymm4, %ymm4 826 827// CHECK: vfmaddsub231ps (%edx), %xmm1, %xmm1 828// CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0x0a]      829vfmaddsub231ps (%edx), %xmm1, %xmm1 830 831// CHECK: vfmaddsub231ps (%edx), %ymm4, %ymm4 832// CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0x22]      833vfmaddsub231ps (%edx), %ymm4, %ymm4 834 835// CHECK: vfmaddsub231ps %xmm1, %xmm1, %xmm1 836// CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0xc9]      837vfmaddsub231ps %xmm1, %xmm1, %xmm1 838 839// CHECK: vfmaddsub231ps %ymm4, %ymm4, %ymm4 840// CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0xe4]      841vfmaddsub231ps %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]      845vfmsub132pd -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]      849vfmsub132pd 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]      853vfmsub132pd -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]      857vfmsub132pd 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]      861vfmsub132pd 485498096(%edx), %xmm1, %xmm1 862 863// CHECK: vfmsub132pd 485498096(%edx), %ymm4, %ymm4 864// CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0xa2,0xf0,0x1c,0xf0,0x1c]      865vfmsub132pd 485498096(%edx), %ymm4, %ymm4 866 867// CHECK: vfmsub132pd 485498096, %xmm1, %xmm1 868// CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0x0d,0xf0,0x1c,0xf0,0x1c]      869vfmsub132pd 485498096, %xmm1, %xmm1 870 871// CHECK: vfmsub132pd 485498096, %ymm4, %ymm4 872// CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0x25,0xf0,0x1c,0xf0,0x1c]      873vfmsub132pd 485498096, %ymm4, %ymm4 874 875// CHECK: vfmsub132pd 64(%edx,%eax), %xmm1, %xmm1 876// CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0x4c,0x02,0x40]      877vfmsub132pd 64(%edx,%eax), %xmm1, %xmm1 878 879// CHECK: vfmsub132pd 64(%edx,%eax), %ymm4, %ymm4 880// CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0x64,0x02,0x40]      881vfmsub132pd 64(%edx,%eax), %ymm4, %ymm4 882 883// CHECK: vfmsub132pd (%edx), %xmm1, %xmm1 884// CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0x0a]      885vfmsub132pd (%edx), %xmm1, %xmm1 886 887// CHECK: vfmsub132pd (%edx), %ymm4, %ymm4 888// CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0x22]      889vfmsub132pd (%edx), %ymm4, %ymm4 890 891// CHECK: vfmsub132pd %xmm1, %xmm1, %xmm1 892// CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0xc9]      893vfmsub132pd %xmm1, %xmm1, %xmm1 894 895// CHECK: vfmsub132pd %ymm4, %ymm4, %ymm4 896// CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0xe4]      897vfmsub132pd %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]      901vfmsub132ps -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]      905vfmsub132ps 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]      909vfmsub132ps -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]      913vfmsub132ps 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]      917vfmsub132ps 485498096(%edx), %xmm1, %xmm1 918 919// CHECK: vfmsub132ps 485498096(%edx), %ymm4, %ymm4 920// CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0xa2,0xf0,0x1c,0xf0,0x1c]      921vfmsub132ps 485498096(%edx), %ymm4, %ymm4 922 923// CHECK: vfmsub132ps 485498096, %xmm1, %xmm1 924// CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0x0d,0xf0,0x1c,0xf0,0x1c]      925vfmsub132ps 485498096, %xmm1, %xmm1 926 927// CHECK: vfmsub132ps 485498096, %ymm4, %ymm4 928// CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0x25,0xf0,0x1c,0xf0,0x1c]      929vfmsub132ps 485498096, %ymm4, %ymm4 930 931// CHECK: vfmsub132ps 64(%edx,%eax), %xmm1, %xmm1 932// CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0x4c,0x02,0x40]      933vfmsub132ps 64(%edx,%eax), %xmm1, %xmm1 934 935// CHECK: vfmsub132ps 64(%edx,%eax), %ymm4, %ymm4 936// CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0x64,0x02,0x40]      937vfmsub132ps 64(%edx,%eax), %ymm4, %ymm4 938 939// CHECK: vfmsub132ps (%edx), %xmm1, %xmm1 940// CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0x0a]      941vfmsub132ps (%edx), %xmm1, %xmm1 942 943// CHECK: vfmsub132ps (%edx), %ymm4, %ymm4 944// CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0x22]      945vfmsub132ps (%edx), %ymm4, %ymm4 946 947// CHECK: vfmsub132ps %xmm1, %xmm1, %xmm1 948// CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0xc9]      949vfmsub132ps %xmm1, %xmm1, %xmm1 950 951// CHECK: vfmsub132ps %ymm4, %ymm4, %ymm4 952// CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0xe4]      953vfmsub132ps %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]      957vfmsub132sd -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]      961vfmsub132sd 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]      965vfmsub132sd 485498096(%edx), %xmm1, %xmm1 966 967// CHECK: vfmsub132sd 485498096, %xmm1, %xmm1 968// CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0x0d,0xf0,0x1c,0xf0,0x1c]      969vfmsub132sd 485498096, %xmm1, %xmm1 970 971// CHECK: vfmsub132sd 64(%edx,%eax), %xmm1, %xmm1 972// CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0x4c,0x02,0x40]      973vfmsub132sd 64(%edx,%eax), %xmm1, %xmm1 974 975// CHECK: vfmsub132sd (%edx), %xmm1, %xmm1 976// CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0x0a]      977vfmsub132sd (%edx), %xmm1, %xmm1 978 979// CHECK: vfmsub132sd %xmm1, %xmm1, %xmm1 980// CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0xc9]      981vfmsub132sd %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]      985vfmsub132ss -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]      989vfmsub132ss 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]      993vfmsub132ss 485498096(%edx), %xmm1, %xmm1 994 995// CHECK: vfmsub132ss 485498096, %xmm1, %xmm1 996// CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0x0d,0xf0,0x1c,0xf0,0x1c]      997vfmsub132ss 485498096, %xmm1, %xmm1 998 999// CHECK: vfmsub132ss 64(%edx,%eax), %xmm1, %xmm1 1000// CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0x4c,0x02,0x40]      1001vfmsub132ss 64(%edx,%eax), %xmm1, %xmm1 1002 1003// CHECK: vfmsub132ss (%edx), %xmm1, %xmm1 1004// CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0x0a]      1005vfmsub132ss (%edx), %xmm1, %xmm1 1006 1007// CHECK: vfmsub132ss %xmm1, %xmm1, %xmm1 1008// CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0xc9]      1009vfmsub132ss %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]      1013vfmsub213pd -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]      1017vfmsub213pd 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]      1021vfmsub213pd -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]      1025vfmsub213pd 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]      1029vfmsub213pd 485498096(%edx), %xmm1, %xmm1 1030 1031// CHECK: vfmsub213pd 485498096(%edx), %ymm4, %ymm4 1032// CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0xa2,0xf0,0x1c,0xf0,0x1c]      1033vfmsub213pd 485498096(%edx), %ymm4, %ymm4 1034 1035// CHECK: vfmsub213pd 485498096, %xmm1, %xmm1 1036// CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0x0d,0xf0,0x1c,0xf0,0x1c]      1037vfmsub213pd 485498096, %xmm1, %xmm1 1038 1039// CHECK: vfmsub213pd 485498096, %ymm4, %ymm4 1040// CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0x25,0xf0,0x1c,0xf0,0x1c]      1041vfmsub213pd 485498096, %ymm4, %ymm4 1042 1043// CHECK: vfmsub213pd 64(%edx,%eax), %xmm1, %xmm1 1044// CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0x4c,0x02,0x40]      1045vfmsub213pd 64(%edx,%eax), %xmm1, %xmm1 1046 1047// CHECK: vfmsub213pd 64(%edx,%eax), %ymm4, %ymm4 1048// CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0x64,0x02,0x40]      1049vfmsub213pd 64(%edx,%eax), %ymm4, %ymm4 1050 1051// CHECK: vfmsub213pd (%edx), %xmm1, %xmm1 1052// CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0x0a]      1053vfmsub213pd (%edx), %xmm1, %xmm1 1054 1055// CHECK: vfmsub213pd (%edx), %ymm4, %ymm4 1056// CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0x22]      1057vfmsub213pd (%edx), %ymm4, %ymm4 1058 1059// CHECK: vfmsub213pd %xmm1, %xmm1, %xmm1 1060// CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0xc9]      1061vfmsub213pd %xmm1, %xmm1, %xmm1 1062 1063// CHECK: vfmsub213pd %ymm4, %ymm4, %ymm4 1064// CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0xe4]      1065vfmsub213pd %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]      1069vfmsub213ps -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]      1073vfmsub213ps 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]      1077vfmsub213ps -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]      1081vfmsub213ps 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]      1085vfmsub213ps 485498096(%edx), %xmm1, %xmm1 1086 1087// CHECK: vfmsub213ps 485498096(%edx), %ymm4, %ymm4 1088// CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0xa2,0xf0,0x1c,0xf0,0x1c]      1089vfmsub213ps 485498096(%edx), %ymm4, %ymm4 1090 1091// CHECK: vfmsub213ps 485498096, %xmm1, %xmm1 1092// CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0x0d,0xf0,0x1c,0xf0,0x1c]      1093vfmsub213ps 485498096, %xmm1, %xmm1 1094 1095// CHECK: vfmsub213ps 485498096, %ymm4, %ymm4 1096// CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0x25,0xf0,0x1c,0xf0,0x1c]      1097vfmsub213ps 485498096, %ymm4, %ymm4 1098 1099// CHECK: vfmsub213ps 64(%edx,%eax), %xmm1, %xmm1 1100// CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0x4c,0x02,0x40]      1101vfmsub213ps 64(%edx,%eax), %xmm1, %xmm1 1102 1103// CHECK: vfmsub213ps 64(%edx,%eax), %ymm4, %ymm4 1104// CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0x64,0x02,0x40]      1105vfmsub213ps 64(%edx,%eax), %ymm4, %ymm4 1106 1107// CHECK: vfmsub213ps (%edx), %xmm1, %xmm1 1108// CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0x0a]      1109vfmsub213ps (%edx), %xmm1, %xmm1 1110 1111// CHECK: vfmsub213ps (%edx), %ymm4, %ymm4 1112// CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0x22]      1113vfmsub213ps (%edx), %ymm4, %ymm4 1114 1115// CHECK: vfmsub213ps %xmm1, %xmm1, %xmm1 1116// CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0xc9]      1117vfmsub213ps %xmm1, %xmm1, %xmm1 1118 1119// CHECK: vfmsub213ps %ymm4, %ymm4, %ymm4 1120// CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0xe4]      1121vfmsub213ps %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]      1125vfmsub213sd -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]      1129vfmsub213sd 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]      1133vfmsub213sd 485498096(%edx), %xmm1, %xmm1 1134 1135// CHECK: vfmsub213sd 485498096, %xmm1, %xmm1 1136// CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0x0d,0xf0,0x1c,0xf0,0x1c]      1137vfmsub213sd 485498096, %xmm1, %xmm1 1138 1139// CHECK: vfmsub213sd 64(%edx,%eax), %xmm1, %xmm1 1140// CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0x4c,0x02,0x40]      1141vfmsub213sd 64(%edx,%eax), %xmm1, %xmm1 1142 1143// CHECK: vfmsub213sd (%edx), %xmm1, %xmm1 1144// CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0x0a]      1145vfmsub213sd (%edx), %xmm1, %xmm1 1146 1147// CHECK: vfmsub213sd %xmm1, %xmm1, %xmm1 1148// CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0xc9]      1149vfmsub213sd %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]      1153vfmsub213ss -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]      1157vfmsub213ss 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]      1161vfmsub213ss 485498096(%edx), %xmm1, %xmm1 1162 1163// CHECK: vfmsub213ss 485498096, %xmm1, %xmm1 1164// CHECK: encoding: [0xc4,0xe2,0x71,0xab,0x0d,0xf0,0x1c,0xf0,0x1c]      1165vfmsub213ss 485498096, %xmm1, %xmm1 1166 1167// CHECK: vfmsub213ss 64(%edx,%eax), %xmm1, %xmm1 1168// CHECK: encoding: [0xc4,0xe2,0x71,0xab,0x4c,0x02,0x40]      1169vfmsub213ss 64(%edx,%eax), %xmm1, %xmm1 1170 1171// CHECK: vfmsub213ss (%edx), %xmm1, %xmm1 1172// CHECK: encoding: [0xc4,0xe2,0x71,0xab,0x0a]      1173vfmsub213ss (%edx), %xmm1, %xmm1 1174 1175// CHECK: vfmsub213ss %xmm1, %xmm1, %xmm1 1176// CHECK: encoding: [0xc4,0xe2,0x71,0xab,0xc9]      1177vfmsub213ss %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]      1181vfmsub231pd -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]      1185vfmsub231pd 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]      1189vfmsub231pd -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]      1193vfmsub231pd 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]      1197vfmsub231pd 485498096(%edx), %xmm1, %xmm1 1198 1199// CHECK: vfmsub231pd 485498096(%edx), %ymm4, %ymm4 1200// CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0xa2,0xf0,0x1c,0xf0,0x1c]      1201vfmsub231pd 485498096(%edx), %ymm4, %ymm4 1202 1203// CHECK: vfmsub231pd 485498096, %xmm1, %xmm1 1204// CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0x0d,0xf0,0x1c,0xf0,0x1c]      1205vfmsub231pd 485498096, %xmm1, %xmm1 1206 1207// CHECK: vfmsub231pd 485498096, %ymm4, %ymm4 1208// CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0x25,0xf0,0x1c,0xf0,0x1c]      1209vfmsub231pd 485498096, %ymm4, %ymm4 1210 1211// CHECK: vfmsub231pd 64(%edx,%eax), %xmm1, %xmm1 1212// CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0x4c,0x02,0x40]      1213vfmsub231pd 64(%edx,%eax), %xmm1, %xmm1 1214 1215// CHECK: vfmsub231pd 64(%edx,%eax), %ymm4, %ymm4 1216// CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0x64,0x02,0x40]      1217vfmsub231pd 64(%edx,%eax), %ymm4, %ymm4 1218 1219// CHECK: vfmsub231pd (%edx), %xmm1, %xmm1 1220// CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0x0a]      1221vfmsub231pd (%edx), %xmm1, %xmm1 1222 1223// CHECK: vfmsub231pd (%edx), %ymm4, %ymm4 1224// CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0x22]      1225vfmsub231pd (%edx), %ymm4, %ymm4 1226 1227// CHECK: vfmsub231pd %xmm1, %xmm1, %xmm1 1228// CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0xc9]      1229vfmsub231pd %xmm1, %xmm1, %xmm1 1230 1231// CHECK: vfmsub231pd %ymm4, %ymm4, %ymm4 1232// CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0xe4]      1233vfmsub231pd %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]      1237vfmsub231ps -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]      1241vfmsub231ps 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]      1245vfmsub231ps -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]      1249vfmsub231ps 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]      1253vfmsub231ps 485498096(%edx), %xmm1, %xmm1 1254 1255// CHECK: vfmsub231ps 485498096(%edx), %ymm4, %ymm4 1256// CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0xa2,0xf0,0x1c,0xf0,0x1c]      1257vfmsub231ps 485498096(%edx), %ymm4, %ymm4 1258 1259// CHECK: vfmsub231ps 485498096, %xmm1, %xmm1 1260// CHECK: encoding: [0xc4,0xe2,0x71,0xba,0x0d,0xf0,0x1c,0xf0,0x1c]      1261vfmsub231ps 485498096, %xmm1, %xmm1 1262 1263// CHECK: vfmsub231ps 485498096, %ymm4, %ymm4 1264// CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0x25,0xf0,0x1c,0xf0,0x1c]      1265vfmsub231ps 485498096, %ymm4, %ymm4 1266 1267// CHECK: vfmsub231ps 64(%edx,%eax), %xmm1, %xmm1 1268// CHECK: encoding: [0xc4,0xe2,0x71,0xba,0x4c,0x02,0x40]      1269vfmsub231ps 64(%edx,%eax), %xmm1, %xmm1 1270 1271// CHECK: vfmsub231ps 64(%edx,%eax), %ymm4, %ymm4 1272// CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0x64,0x02,0x40]      1273vfmsub231ps 64(%edx,%eax), %ymm4, %ymm4 1274 1275// CHECK: vfmsub231ps (%edx), %xmm1, %xmm1 1276// CHECK: encoding: [0xc4,0xe2,0x71,0xba,0x0a]      1277vfmsub231ps (%edx), %xmm1, %xmm1 1278 1279// CHECK: vfmsub231ps (%edx), %ymm4, %ymm4 1280// CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0x22]      1281vfmsub231ps (%edx), %ymm4, %ymm4 1282 1283// CHECK: vfmsub231ps %xmm1, %xmm1, %xmm1 1284// CHECK: encoding: [0xc4,0xe2,0x71,0xba,0xc9]      1285vfmsub231ps %xmm1, %xmm1, %xmm1 1286 1287// CHECK: vfmsub231ps %ymm4, %ymm4, %ymm4 1288// CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0xe4]      1289vfmsub231ps %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]      1293vfmsub231sd -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]      1297vfmsub231sd 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]      1301vfmsub231sd 485498096(%edx), %xmm1, %xmm1 1302 1303// CHECK: vfmsub231sd 485498096, %xmm1, %xmm1 1304// CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0x0d,0xf0,0x1c,0xf0,0x1c]      1305vfmsub231sd 485498096, %xmm1, %xmm1 1306 1307// CHECK: vfmsub231sd 64(%edx,%eax), %xmm1, %xmm1 1308// CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0x4c,0x02,0x40]      1309vfmsub231sd 64(%edx,%eax), %xmm1, %xmm1 1310 1311// CHECK: vfmsub231sd (%edx), %xmm1, %xmm1 1312// CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0x0a]      1313vfmsub231sd (%edx), %xmm1, %xmm1 1314 1315// CHECK: vfmsub231sd %xmm1, %xmm1, %xmm1 1316// CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0xc9]      1317vfmsub231sd %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]      1321vfmsub231ss -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]      1325vfmsub231ss 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]      1329vfmsub231ss 485498096(%edx), %xmm1, %xmm1 1330 1331// CHECK: vfmsub231ss 485498096, %xmm1, %xmm1 1332// CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0x0d,0xf0,0x1c,0xf0,0x1c]      1333vfmsub231ss 485498096, %xmm1, %xmm1 1334 1335// CHECK: vfmsub231ss 64(%edx,%eax), %xmm1, %xmm1 1336// CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0x4c,0x02,0x40]      1337vfmsub231ss 64(%edx,%eax), %xmm1, %xmm1 1338 1339// CHECK: vfmsub231ss (%edx), %xmm1, %xmm1 1340// CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0x0a]      1341vfmsub231ss (%edx), %xmm1, %xmm1 1342 1343// CHECK: vfmsub231ss %xmm1, %xmm1, %xmm1 1344// CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0xc9]      1345vfmsub231ss %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]      1349vfmsubadd132pd -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]      1353vfmsubadd132pd 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]      1357vfmsubadd132pd -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]      1361vfmsubadd132pd 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]      1365vfmsubadd132pd 485498096(%edx), %xmm1, %xmm1 1366 1367// CHECK: vfmsubadd132pd 485498096(%edx), %ymm4, %ymm4 1368// CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0xa2,0xf0,0x1c,0xf0,0x1c]      1369vfmsubadd132pd 485498096(%edx), %ymm4, %ymm4 1370 1371// CHECK: vfmsubadd132pd 485498096, %xmm1, %xmm1 1372// CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0x0d,0xf0,0x1c,0xf0,0x1c]      1373vfmsubadd132pd 485498096, %xmm1, %xmm1 1374 1375// CHECK: vfmsubadd132pd 485498096, %ymm4, %ymm4 1376// CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0x25,0xf0,0x1c,0xf0,0x1c]      1377vfmsubadd132pd 485498096, %ymm4, %ymm4 1378 1379// CHECK: vfmsubadd132pd 64(%edx,%eax), %xmm1, %xmm1 1380// CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0x4c,0x02,0x40]      1381vfmsubadd132pd 64(%edx,%eax), %xmm1, %xmm1 1382 1383// CHECK: vfmsubadd132pd 64(%edx,%eax), %ymm4, %ymm4 1384// CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0x64,0x02,0x40]      1385vfmsubadd132pd 64(%edx,%eax), %ymm4, %ymm4 1386 1387// CHECK: vfmsubadd132pd (%edx), %xmm1, %xmm1 1388// CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0x0a]      1389vfmsubadd132pd (%edx), %xmm1, %xmm1 1390 1391// CHECK: vfmsubadd132pd (%edx), %ymm4, %ymm4 1392// CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0x22]      1393vfmsubadd132pd (%edx), %ymm4, %ymm4 1394 1395// CHECK: vfmsubadd132pd %xmm1, %xmm1, %xmm1 1396// CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0xc9]      1397vfmsubadd132pd %xmm1, %xmm1, %xmm1 1398 1399// CHECK: vfmsubadd132pd %ymm4, %ymm4, %ymm4 1400// CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0xe4]      1401vfmsubadd132pd %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]      1405vfmsubadd132ps -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]      1409vfmsubadd132ps 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]      1413vfmsubadd132ps -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]      1417vfmsubadd132ps 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]      1421vfmsubadd132ps 485498096(%edx), %xmm1, %xmm1 1422 1423// CHECK: vfmsubadd132ps 485498096(%edx), %ymm4, %ymm4 1424// CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0xa2,0xf0,0x1c,0xf0,0x1c]      1425vfmsubadd132ps 485498096(%edx), %ymm4, %ymm4 1426 1427// CHECK: vfmsubadd132ps 485498096, %xmm1, %xmm1 1428// CHECK: encoding: [0xc4,0xe2,0x71,0x97,0x0d,0xf0,0x1c,0xf0,0x1c]      1429vfmsubadd132ps 485498096, %xmm1, %xmm1 1430 1431// CHECK: vfmsubadd132ps 485498096, %ymm4, %ymm4 1432// CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0x25,0xf0,0x1c,0xf0,0x1c]      1433vfmsubadd132ps 485498096, %ymm4, %ymm4 1434 1435// CHECK: vfmsubadd132ps 64(%edx,%eax), %xmm1, %xmm1 1436// CHECK: encoding: [0xc4,0xe2,0x71,0x97,0x4c,0x02,0x40]      1437vfmsubadd132ps 64(%edx,%eax), %xmm1, %xmm1 1438 1439// CHECK: vfmsubadd132ps 64(%edx,%eax), %ymm4, %ymm4 1440// CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0x64,0x02,0x40]      1441vfmsubadd132ps 64(%edx,%eax), %ymm4, %ymm4 1442 1443// CHECK: vfmsubadd132ps (%edx), %xmm1, %xmm1 1444// CHECK: encoding: [0xc4,0xe2,0x71,0x97,0x0a]      1445vfmsubadd132ps (%edx), %xmm1, %xmm1 1446 1447// CHECK: vfmsubadd132ps (%edx), %ymm4, %ymm4 1448// CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0x22]      1449vfmsubadd132ps (%edx), %ymm4, %ymm4 1450 1451// CHECK: vfmsubadd132ps %xmm1, %xmm1, %xmm1 1452// CHECK: encoding: [0xc4,0xe2,0x71,0x97,0xc9]      1453vfmsubadd132ps %xmm1, %xmm1, %xmm1 1454 1455// CHECK: vfmsubadd132ps %ymm4, %ymm4, %ymm4 1456// CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0xe4]      1457vfmsubadd132ps %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]      1461vfmsubadd213pd -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]      1465vfmsubadd213pd 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]      1469vfmsubadd213pd -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]      1473vfmsubadd213pd 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]      1477vfmsubadd213pd 485498096(%edx), %xmm1, %xmm1 1478 1479// CHECK: vfmsubadd213pd 485498096(%edx), %ymm4, %ymm4 1480// CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0xa2,0xf0,0x1c,0xf0,0x1c]      1481vfmsubadd213pd 485498096(%edx), %ymm4, %ymm4 1482 1483// CHECK: vfmsubadd213pd 485498096, %xmm1, %xmm1 1484// CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0x0d,0xf0,0x1c,0xf0,0x1c]      1485vfmsubadd213pd 485498096, %xmm1, %xmm1 1486 1487// CHECK: vfmsubadd213pd 485498096, %ymm4, %ymm4 1488// CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0x25,0xf0,0x1c,0xf0,0x1c]      1489vfmsubadd213pd 485498096, %ymm4, %ymm4 1490 1491// CHECK: vfmsubadd213pd 64(%edx,%eax), %xmm1, %xmm1 1492// CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0x4c,0x02,0x40]      1493vfmsubadd213pd 64(%edx,%eax), %xmm1, %xmm1 1494 1495// CHECK: vfmsubadd213pd 64(%edx,%eax), %ymm4, %ymm4 1496// CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0x64,0x02,0x40]      1497vfmsubadd213pd 64(%edx,%eax), %ymm4, %ymm4 1498 1499// CHECK: vfmsubadd213pd (%edx), %xmm1, %xmm1 1500// CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0x0a]      1501vfmsubadd213pd (%edx), %xmm1, %xmm1 1502 1503// CHECK: vfmsubadd213pd (%edx), %ymm4, %ymm4 1504// CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0x22]      1505vfmsubadd213pd (%edx), %ymm4, %ymm4 1506 1507// CHECK: vfmsubadd213pd %xmm1, %xmm1, %xmm1 1508// CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0xc9]      1509vfmsubadd213pd %xmm1, %xmm1, %xmm1 1510 1511// CHECK: vfmsubadd213pd %ymm4, %ymm4, %ymm4 1512// CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0xe4]      1513vfmsubadd213pd %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]      1517vfmsubadd213ps -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]      1521vfmsubadd213ps 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]      1525vfmsubadd213ps -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]      1529vfmsubadd213ps 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]      1533vfmsubadd213ps 485498096(%edx), %xmm1, %xmm1 1534 1535// CHECK: vfmsubadd213ps 485498096(%edx), %ymm4, %ymm4 1536// CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0xa2,0xf0,0x1c,0xf0,0x1c]      1537vfmsubadd213ps 485498096(%edx), %ymm4, %ymm4 1538 1539// CHECK: vfmsubadd213ps 485498096, %xmm1, %xmm1 1540// CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0x0d,0xf0,0x1c,0xf0,0x1c]      1541vfmsubadd213ps 485498096, %xmm1, %xmm1 1542 1543// CHECK: vfmsubadd213ps 485498096, %ymm4, %ymm4 1544// CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0x25,0xf0,0x1c,0xf0,0x1c]      1545vfmsubadd213ps 485498096, %ymm4, %ymm4 1546 1547// CHECK: vfmsubadd213ps 64(%edx,%eax), %xmm1, %xmm1 1548// CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0x4c,0x02,0x40]      1549vfmsubadd213ps 64(%edx,%eax), %xmm1, %xmm1 1550 1551// CHECK: vfmsubadd213ps 64(%edx,%eax), %ymm4, %ymm4 1552// CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0x64,0x02,0x40]      1553vfmsubadd213ps 64(%edx,%eax), %ymm4, %ymm4 1554 1555// CHECK: vfmsubadd213ps (%edx), %xmm1, %xmm1 1556// CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0x0a]      1557vfmsubadd213ps (%edx), %xmm1, %xmm1 1558 1559// CHECK: vfmsubadd213ps (%edx), %ymm4, %ymm4 1560// CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0x22]      1561vfmsubadd213ps (%edx), %ymm4, %ymm4 1562 1563// CHECK: vfmsubadd213ps %xmm1, %xmm1, %xmm1 1564// CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0xc9]      1565vfmsubadd213ps %xmm1, %xmm1, %xmm1 1566 1567// CHECK: vfmsubadd213ps %ymm4, %ymm4, %ymm4 1568// CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0xe4]      1569vfmsubadd213ps %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]      1573vfmsubadd231pd -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]      1577vfmsubadd231pd 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]      1581vfmsubadd231pd -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]      1585vfmsubadd231pd 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]      1589vfmsubadd231pd 485498096(%edx), %xmm1, %xmm1 1590 1591// CHECK: vfmsubadd231pd 485498096(%edx), %ymm4, %ymm4 1592// CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0xa2,0xf0,0x1c,0xf0,0x1c]      1593vfmsubadd231pd 485498096(%edx), %ymm4, %ymm4 1594 1595// CHECK: vfmsubadd231pd 485498096, %xmm1, %xmm1 1596// CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0x0d,0xf0,0x1c,0xf0,0x1c]      1597vfmsubadd231pd 485498096, %xmm1, %xmm1 1598 1599// CHECK: vfmsubadd231pd 485498096, %ymm4, %ymm4 1600// CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0x25,0xf0,0x1c,0xf0,0x1c]      1601vfmsubadd231pd 485498096, %ymm4, %ymm4 1602 1603// CHECK: vfmsubadd231pd 64(%edx,%eax), %xmm1, %xmm1 1604// CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0x4c,0x02,0x40]      1605vfmsubadd231pd 64(%edx,%eax), %xmm1, %xmm1 1606 1607// CHECK: vfmsubadd231pd 64(%edx,%eax), %ymm4, %ymm4 1608// CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0x64,0x02,0x40]      1609vfmsubadd231pd 64(%edx,%eax), %ymm4, %ymm4 1610 1611// CHECK: vfmsubadd231pd (%edx), %xmm1, %xmm1 1612// CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0x0a]      1613vfmsubadd231pd (%edx), %xmm1, %xmm1 1614 1615// CHECK: vfmsubadd231pd (%edx), %ymm4, %ymm4 1616// CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0x22]      1617vfmsubadd231pd (%edx), %ymm4, %ymm4 1618 1619// CHECK: vfmsubadd231pd %xmm1, %xmm1, %xmm1 1620// CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0xc9]      1621vfmsubadd231pd %xmm1, %xmm1, %xmm1 1622 1623// CHECK: vfmsubadd231pd %ymm4, %ymm4, %ymm4 1624// CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0xe4]      1625vfmsubadd231pd %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]      1629vfmsubadd231ps -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]      1633vfmsubadd231ps 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]      1637vfmsubadd231ps -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]      1641vfmsubadd231ps 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]      1645vfmsubadd231ps 485498096(%edx), %xmm1, %xmm1 1646 1647// CHECK: vfmsubadd231ps 485498096(%edx), %ymm4, %ymm4 1648// CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0xa2,0xf0,0x1c,0xf0,0x1c]      1649vfmsubadd231ps 485498096(%edx), %ymm4, %ymm4 1650 1651// CHECK: vfmsubadd231ps 485498096, %xmm1, %xmm1 1652// CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0x0d,0xf0,0x1c,0xf0,0x1c]      1653vfmsubadd231ps 485498096, %xmm1, %xmm1 1654 1655// CHECK: vfmsubadd231ps 485498096, %ymm4, %ymm4 1656// CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0x25,0xf0,0x1c,0xf0,0x1c]      1657vfmsubadd231ps 485498096, %ymm4, %ymm4 1658 1659// CHECK: vfmsubadd231ps 64(%edx,%eax), %xmm1, %xmm1 1660// CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0x4c,0x02,0x40]      1661vfmsubadd231ps 64(%edx,%eax), %xmm1, %xmm1 1662 1663// CHECK: vfmsubadd231ps 64(%edx,%eax), %ymm4, %ymm4 1664// CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0x64,0x02,0x40]      1665vfmsubadd231ps 64(%edx,%eax), %ymm4, %ymm4 1666 1667// CHECK: vfmsubadd231ps (%edx), %xmm1, %xmm1 1668// CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0x0a]      1669vfmsubadd231ps (%edx), %xmm1, %xmm1 1670 1671// CHECK: vfmsubadd231ps (%edx), %ymm4, %ymm4 1672// CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0x22]      1673vfmsubadd231ps (%edx), %ymm4, %ymm4 1674 1675// CHECK: vfmsubadd231ps %xmm1, %xmm1, %xmm1 1676// CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0xc9]      1677vfmsubadd231ps %xmm1, %xmm1, %xmm1 1678 1679// CHECK: vfmsubadd231ps %ymm4, %ymm4, %ymm4 1680// CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0xe4]      1681vfmsubadd231ps %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]      1685vfnmadd132pd -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]      1689vfnmadd132pd 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]      1693vfnmadd132pd -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]      1697vfnmadd132pd 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]      1701vfnmadd132pd 485498096(%edx), %xmm1, %xmm1 1702 1703// CHECK: vfnmadd132pd 485498096(%edx), %ymm4, %ymm4 1704// CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0xa2,0xf0,0x1c,0xf0,0x1c]      1705vfnmadd132pd 485498096(%edx), %ymm4, %ymm4 1706 1707// CHECK: vfnmadd132pd 485498096, %xmm1, %xmm1 1708// CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0x0d,0xf0,0x1c,0xf0,0x1c]      1709vfnmadd132pd 485498096, %xmm1, %xmm1 1710 1711// CHECK: vfnmadd132pd 485498096, %ymm4, %ymm4 1712// CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0x25,0xf0,0x1c,0xf0,0x1c]      1713vfnmadd132pd 485498096, %ymm4, %ymm4 1714 1715// CHECK: vfnmadd132pd 64(%edx,%eax), %xmm1, %xmm1 1716// CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0x4c,0x02,0x40]      1717vfnmadd132pd 64(%edx,%eax), %xmm1, %xmm1 1718 1719// CHECK: vfnmadd132pd 64(%edx,%eax), %ymm4, %ymm4 1720// CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0x64,0x02,0x40]      1721vfnmadd132pd 64(%edx,%eax), %ymm4, %ymm4 1722 1723// CHECK: vfnmadd132pd (%edx), %xmm1, %xmm1 1724// CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0x0a]      1725vfnmadd132pd (%edx), %xmm1, %xmm1 1726 1727// CHECK: vfnmadd132pd (%edx), %ymm4, %ymm4 1728// CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0x22]      1729vfnmadd132pd (%edx), %ymm4, %ymm4 1730 1731// CHECK: vfnmadd132pd %xmm1, %xmm1, %xmm1 1732// CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0xc9]      1733vfnmadd132pd %xmm1, %xmm1, %xmm1 1734 1735// CHECK: vfnmadd132pd %ymm4, %ymm4, %ymm4 1736// CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0xe4]      1737vfnmadd132pd %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]      1741vfnmadd132ps -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]      1745vfnmadd132ps 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]      1749vfnmadd132ps -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]      1753vfnmadd132ps 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]      1757vfnmadd132ps 485498096(%edx), %xmm1, %xmm1 1758 1759// CHECK: vfnmadd132ps 485498096(%edx), %ymm4, %ymm4 1760// CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0xa2,0xf0,0x1c,0xf0,0x1c]      1761vfnmadd132ps 485498096(%edx), %ymm4, %ymm4 1762 1763// CHECK: vfnmadd132ps 485498096, %xmm1, %xmm1 1764// CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0x0d,0xf0,0x1c,0xf0,0x1c]      1765vfnmadd132ps 485498096, %xmm1, %xmm1 1766 1767// CHECK: vfnmadd132ps 485498096, %ymm4, %ymm4 1768// CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0x25,0xf0,0x1c,0xf0,0x1c]      1769vfnmadd132ps 485498096, %ymm4, %ymm4 1770 1771// CHECK: vfnmadd132ps 64(%edx,%eax), %xmm1, %xmm1 1772// CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0x4c,0x02,0x40]      1773vfnmadd132ps 64(%edx,%eax), %xmm1, %xmm1 1774 1775// CHECK: vfnmadd132ps 64(%edx,%eax), %ymm4, %ymm4 1776// CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0x64,0x02,0x40]      1777vfnmadd132ps 64(%edx,%eax), %ymm4, %ymm4 1778 1779// CHECK: vfnmadd132ps (%edx), %xmm1, %xmm1 1780// CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0x0a]      1781vfnmadd132ps (%edx), %xmm1, %xmm1 1782 1783// CHECK: vfnmadd132ps (%edx), %ymm4, %ymm4 1784// CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0x22]      1785vfnmadd132ps (%edx), %ymm4, %ymm4 1786 1787// CHECK: vfnmadd132ps %xmm1, %xmm1, %xmm1 1788// CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0xc9]      1789vfnmadd132ps %xmm1, %xmm1, %xmm1 1790 1791// CHECK: vfnmadd132ps %ymm4, %ymm4, %ymm4 1792// CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0xe4]      1793vfnmadd132ps %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]      1797vfnmadd132sd -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]      1801vfnmadd132sd 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]      1805vfnmadd132sd 485498096(%edx), %xmm1, %xmm1 1806 1807// CHECK: vfnmadd132sd 485498096, %xmm1, %xmm1 1808// CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0x0d,0xf0,0x1c,0xf0,0x1c]      1809vfnmadd132sd 485498096, %xmm1, %xmm1 1810 1811// CHECK: vfnmadd132sd 64(%edx,%eax), %xmm1, %xmm1 1812// CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0x4c,0x02,0x40]      1813vfnmadd132sd 64(%edx,%eax), %xmm1, %xmm1 1814 1815// CHECK: vfnmadd132sd (%edx), %xmm1, %xmm1 1816// CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0x0a]      1817vfnmadd132sd (%edx), %xmm1, %xmm1 1818 1819// CHECK: vfnmadd132sd %xmm1, %xmm1, %xmm1 1820// CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0xc9]      1821vfnmadd132sd %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]      1825vfnmadd132ss -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]      1829vfnmadd132ss 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]      1833vfnmadd132ss 485498096(%edx), %xmm1, %xmm1 1834 1835// CHECK: vfnmadd132ss 485498096, %xmm1, %xmm1 1836// CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0x0d,0xf0,0x1c,0xf0,0x1c]      1837vfnmadd132ss 485498096, %xmm1, %xmm1 1838 1839// CHECK: vfnmadd132ss 64(%edx,%eax), %xmm1, %xmm1 1840// CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0x4c,0x02,0x40]      1841vfnmadd132ss 64(%edx,%eax), %xmm1, %xmm1 1842 1843// CHECK: vfnmadd132ss (%edx), %xmm1, %xmm1 1844// CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0x0a]      1845vfnmadd132ss (%edx), %xmm1, %xmm1 1846 1847// CHECK: vfnmadd132ss %xmm1, %xmm1, %xmm1 1848// CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0xc9]      1849vfnmadd132ss %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]      1853vfnmadd213pd -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]      1857vfnmadd213pd 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]      1861vfnmadd213pd -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]      1865vfnmadd213pd 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]      1869vfnmadd213pd 485498096(%edx), %xmm1, %xmm1 1870 1871// CHECK: vfnmadd213pd 485498096(%edx), %ymm4, %ymm4 1872// CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0xa2,0xf0,0x1c,0xf0,0x1c]      1873vfnmadd213pd 485498096(%edx), %ymm4, %ymm4 1874 1875// CHECK: vfnmadd213pd 485498096, %xmm1, %xmm1 1876// CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0x0d,0xf0,0x1c,0xf0,0x1c]      1877vfnmadd213pd 485498096, %xmm1, %xmm1 1878 1879// CHECK: vfnmadd213pd 485498096, %ymm4, %ymm4 1880// CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0x25,0xf0,0x1c,0xf0,0x1c]      1881vfnmadd213pd 485498096, %ymm4, %ymm4 1882 1883// CHECK: vfnmadd213pd 64(%edx,%eax), %xmm1, %xmm1 1884// CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0x4c,0x02,0x40]      1885vfnmadd213pd 64(%edx,%eax), %xmm1, %xmm1 1886 1887// CHECK: vfnmadd213pd 64(%edx,%eax), %ymm4, %ymm4 1888// CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0x64,0x02,0x40]      1889vfnmadd213pd 64(%edx,%eax), %ymm4, %ymm4 1890 1891// CHECK: vfnmadd213pd (%edx), %xmm1, %xmm1 1892// CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0x0a]      1893vfnmadd213pd (%edx), %xmm1, %xmm1 1894 1895// CHECK: vfnmadd213pd (%edx), %ymm4, %ymm4 1896// CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0x22]      1897vfnmadd213pd (%edx), %ymm4, %ymm4 1898 1899// CHECK: vfnmadd213pd %xmm1, %xmm1, %xmm1 1900// CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0xc9]      1901vfnmadd213pd %xmm1, %xmm1, %xmm1 1902 1903// CHECK: vfnmadd213pd %ymm4, %ymm4, %ymm4 1904// CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0xe4]      1905vfnmadd213pd %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]      1909vfnmadd213ps -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]      1913vfnmadd213ps 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]      1917vfnmadd213ps -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]      1921vfnmadd213ps 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]      1925vfnmadd213ps 485498096(%edx), %xmm1, %xmm1 1926 1927// CHECK: vfnmadd213ps 485498096(%edx), %ymm4, %ymm4 1928// CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0xa2,0xf0,0x1c,0xf0,0x1c]      1929vfnmadd213ps 485498096(%edx), %ymm4, %ymm4 1930 1931// CHECK: vfnmadd213ps 485498096, %xmm1, %xmm1 1932// CHECK: encoding: [0xc4,0xe2,0x71,0xac,0x0d,0xf0,0x1c,0xf0,0x1c]      1933vfnmadd213ps 485498096, %xmm1, %xmm1 1934 1935// CHECK: vfnmadd213ps 485498096, %ymm4, %ymm4 1936// CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0x25,0xf0,0x1c,0xf0,0x1c]      1937vfnmadd213ps 485498096, %ymm4, %ymm4 1938 1939// CHECK: vfnmadd213ps 64(%edx,%eax), %xmm1, %xmm1 1940// CHECK: encoding: [0xc4,0xe2,0x71,0xac,0x4c,0x02,0x40]      1941vfnmadd213ps 64(%edx,%eax), %xmm1, %xmm1 1942 1943// CHECK: vfnmadd213ps 64(%edx,%eax), %ymm4, %ymm4 1944// CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0x64,0x02,0x40]      1945vfnmadd213ps 64(%edx,%eax), %ymm4, %ymm4 1946 1947// CHECK: vfnmadd213ps (%edx), %xmm1, %xmm1 1948// CHECK: encoding: [0xc4,0xe2,0x71,0xac,0x0a]      1949vfnmadd213ps (%edx), %xmm1, %xmm1 1950 1951// CHECK: vfnmadd213ps (%edx), %ymm4, %ymm4 1952// CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0x22]      1953vfnmadd213ps (%edx), %ymm4, %ymm4 1954 1955// CHECK: vfnmadd213ps %xmm1, %xmm1, %xmm1 1956// CHECK: encoding: [0xc4,0xe2,0x71,0xac,0xc9]      1957vfnmadd213ps %xmm1, %xmm1, %xmm1 1958 1959// CHECK: vfnmadd213ps %ymm4, %ymm4, %ymm4 1960// CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0xe4]      1961vfnmadd213ps %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]      1965vfnmadd213sd -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]      1969vfnmadd213sd 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]      1973vfnmadd213sd 485498096(%edx), %xmm1, %xmm1 1974 1975// CHECK: vfnmadd213sd 485498096, %xmm1, %xmm1 1976// CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0x0d,0xf0,0x1c,0xf0,0x1c]      1977vfnmadd213sd 485498096, %xmm1, %xmm1 1978 1979// CHECK: vfnmadd213sd 64(%edx,%eax), %xmm1, %xmm1 1980// CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0x4c,0x02,0x40]      1981vfnmadd213sd 64(%edx,%eax), %xmm1, %xmm1 1982 1983// CHECK: vfnmadd213sd (%edx), %xmm1, %xmm1 1984// CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0x0a]      1985vfnmadd213sd (%edx), %xmm1, %xmm1 1986 1987// CHECK: vfnmadd213sd %xmm1, %xmm1, %xmm1 1988// CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0xc9]      1989vfnmadd213sd %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]      1993vfnmadd213ss -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]      1997vfnmadd213ss 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]      2001vfnmadd213ss 485498096(%edx), %xmm1, %xmm1 2002 2003// CHECK: vfnmadd213ss 485498096, %xmm1, %xmm1 2004// CHECK: encoding: [0xc4,0xe2,0x71,0xad,0x0d,0xf0,0x1c,0xf0,0x1c]      2005vfnmadd213ss 485498096, %xmm1, %xmm1 2006 2007// CHECK: vfnmadd213ss 64(%edx,%eax), %xmm1, %xmm1 2008// CHECK: encoding: [0xc4,0xe2,0x71,0xad,0x4c,0x02,0x40]      2009vfnmadd213ss 64(%edx,%eax), %xmm1, %xmm1 2010 2011// CHECK: vfnmadd213ss (%edx), %xmm1, %xmm1 2012// CHECK: encoding: [0xc4,0xe2,0x71,0xad,0x0a]      2013vfnmadd213ss (%edx), %xmm1, %xmm1 2014 2015// CHECK: vfnmadd213ss %xmm1, %xmm1, %xmm1 2016// CHECK: encoding: [0xc4,0xe2,0x71,0xad,0xc9]      2017vfnmadd213ss %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]      2021vfnmadd231pd -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]      2025vfnmadd231pd 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]      2029vfnmadd231pd -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]      2033vfnmadd231pd 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]      2037vfnmadd231pd 485498096(%edx), %xmm1, %xmm1 2038 2039// CHECK: vfnmadd231pd 485498096(%edx), %ymm4, %ymm4 2040// CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0xa2,0xf0,0x1c,0xf0,0x1c]      2041vfnmadd231pd 485498096(%edx), %ymm4, %ymm4 2042 2043// CHECK: vfnmadd231pd 485498096, %xmm1, %xmm1 2044// CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0x0d,0xf0,0x1c,0xf0,0x1c]      2045vfnmadd231pd 485498096, %xmm1, %xmm1 2046 2047// CHECK: vfnmadd231pd 485498096, %ymm4, %ymm4 2048// CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0x25,0xf0,0x1c,0xf0,0x1c]      2049vfnmadd231pd 485498096, %ymm4, %ymm4 2050 2051// CHECK: vfnmadd231pd 64(%edx,%eax), %xmm1, %xmm1 2052// CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0x4c,0x02,0x40]      2053vfnmadd231pd 64(%edx,%eax), %xmm1, %xmm1 2054 2055// CHECK: vfnmadd231pd 64(%edx,%eax), %ymm4, %ymm4 2056// CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0x64,0x02,0x40]      2057vfnmadd231pd 64(%edx,%eax), %ymm4, %ymm4 2058 2059// CHECK: vfnmadd231pd (%edx), %xmm1, %xmm1 2060// CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0x0a]      2061vfnmadd231pd (%edx), %xmm1, %xmm1 2062 2063// CHECK: vfnmadd231pd (%edx), %ymm4, %ymm4 2064// CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0x22]      2065vfnmadd231pd (%edx), %ymm4, %ymm4 2066 2067// CHECK: vfnmadd231pd %xmm1, %xmm1, %xmm1 2068// CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0xc9]      2069vfnmadd231pd %xmm1, %xmm1, %xmm1 2070 2071// CHECK: vfnmadd231pd %ymm4, %ymm4, %ymm4 2072// CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0xe4]      2073vfnmadd231pd %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]      2077vfnmadd231ps -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]      2081vfnmadd231ps 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]      2085vfnmadd231ps -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]      2089vfnmadd231ps 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]      2093vfnmadd231ps 485498096(%edx), %xmm1, %xmm1 2094 2095// CHECK: vfnmadd231ps 485498096(%edx), %ymm4, %ymm4 2096// CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0xa2,0xf0,0x1c,0xf0,0x1c]      2097vfnmadd231ps 485498096(%edx), %ymm4, %ymm4 2098 2099// CHECK: vfnmadd231ps 485498096, %xmm1, %xmm1 2100// CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0x0d,0xf0,0x1c,0xf0,0x1c]      2101vfnmadd231ps 485498096, %xmm1, %xmm1 2102 2103// CHECK: vfnmadd231ps 485498096, %ymm4, %ymm4 2104// CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0x25,0xf0,0x1c,0xf0,0x1c]      2105vfnmadd231ps 485498096, %ymm4, %ymm4 2106 2107// CHECK: vfnmadd231ps 64(%edx,%eax), %xmm1, %xmm1 2108// CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0x4c,0x02,0x40]      2109vfnmadd231ps 64(%edx,%eax), %xmm1, %xmm1 2110 2111// CHECK: vfnmadd231ps 64(%edx,%eax), %ymm4, %ymm4 2112// CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0x64,0x02,0x40]      2113vfnmadd231ps 64(%edx,%eax), %ymm4, %ymm4 2114 2115// CHECK: vfnmadd231ps (%edx), %xmm1, %xmm1 2116// CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0x0a]      2117vfnmadd231ps (%edx), %xmm1, %xmm1 2118 2119// CHECK: vfnmadd231ps (%edx), %ymm4, %ymm4 2120// CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0x22]      2121vfnmadd231ps (%edx), %ymm4, %ymm4 2122 2123// CHECK: vfnmadd231ps %xmm1, %xmm1, %xmm1 2124// CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0xc9]      2125vfnmadd231ps %xmm1, %xmm1, %xmm1 2126 2127// CHECK: vfnmadd231ps %ymm4, %ymm4, %ymm4 2128// CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0xe4]      2129vfnmadd231ps %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]      2133vfnmadd231sd -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]      2137vfnmadd231sd 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]      2141vfnmadd231sd 485498096(%edx), %xmm1, %xmm1 2142 2143// CHECK: vfnmadd231sd 485498096, %xmm1, %xmm1 2144// CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0x0d,0xf0,0x1c,0xf0,0x1c]      2145vfnmadd231sd 485498096, %xmm1, %xmm1 2146 2147// CHECK: vfnmadd231sd 64(%edx,%eax), %xmm1, %xmm1 2148// CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0x4c,0x02,0x40]      2149vfnmadd231sd 64(%edx,%eax), %xmm1, %xmm1 2150 2151// CHECK: vfnmadd231sd (%edx), %xmm1, %xmm1 2152// CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0x0a]      2153vfnmadd231sd (%edx), %xmm1, %xmm1 2154 2155// CHECK: vfnmadd231sd %xmm1, %xmm1, %xmm1 2156// CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0xc9]      2157vfnmadd231sd %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]      2161vfnmadd231ss -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]      2165vfnmadd231ss 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]      2169vfnmadd231ss 485498096(%edx), %xmm1, %xmm1 2170 2171// CHECK: vfnmadd231ss 485498096, %xmm1, %xmm1 2172// CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0x0d,0xf0,0x1c,0xf0,0x1c]      2173vfnmadd231ss 485498096, %xmm1, %xmm1 2174 2175// CHECK: vfnmadd231ss 64(%edx,%eax), %xmm1, %xmm1 2176// CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0x4c,0x02,0x40]      2177vfnmadd231ss 64(%edx,%eax), %xmm1, %xmm1 2178 2179// CHECK: vfnmadd231ss (%edx), %xmm1, %xmm1 2180// CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0x0a]      2181vfnmadd231ss (%edx), %xmm1, %xmm1 2182 2183// CHECK: vfnmadd231ss %xmm1, %xmm1, %xmm1 2184// CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0xc9]      2185vfnmadd231ss %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]      2189vfnmsub132pd -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]      2193vfnmsub132pd 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]      2197vfnmsub132pd -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]      2201vfnmsub132pd 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]      2205vfnmsub132pd 485498096(%edx), %xmm1, %xmm1 2206 2207// CHECK: vfnmsub132pd 485498096(%edx), %ymm4, %ymm4 2208// CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0xa2,0xf0,0x1c,0xf0,0x1c]      2209vfnmsub132pd 485498096(%edx), %ymm4, %ymm4 2210 2211// CHECK: vfnmsub132pd 485498096, %xmm1, %xmm1 2212// CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0x0d,0xf0,0x1c,0xf0,0x1c]      2213vfnmsub132pd 485498096, %xmm1, %xmm1 2214 2215// CHECK: vfnmsub132pd 485498096, %ymm4, %ymm4 2216// CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0x25,0xf0,0x1c,0xf0,0x1c]      2217vfnmsub132pd 485498096, %ymm4, %ymm4 2218 2219// CHECK: vfnmsub132pd 64(%edx,%eax), %xmm1, %xmm1 2220// CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0x4c,0x02,0x40]      2221vfnmsub132pd 64(%edx,%eax), %xmm1, %xmm1 2222 2223// CHECK: vfnmsub132pd 64(%edx,%eax), %ymm4, %ymm4 2224// CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0x64,0x02,0x40]      2225vfnmsub132pd 64(%edx,%eax), %ymm4, %ymm4 2226 2227// CHECK: vfnmsub132pd (%edx), %xmm1, %xmm1 2228// CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0x0a]      2229vfnmsub132pd (%edx), %xmm1, %xmm1 2230 2231// CHECK: vfnmsub132pd (%edx), %ymm4, %ymm4 2232// CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0x22]      2233vfnmsub132pd (%edx), %ymm4, %ymm4 2234 2235// CHECK: vfnmsub132pd %xmm1, %xmm1, %xmm1 2236// CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0xc9]      2237vfnmsub132pd %xmm1, %xmm1, %xmm1 2238 2239// CHECK: vfnmsub132pd %ymm4, %ymm4, %ymm4 2240// CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0xe4]      2241vfnmsub132pd %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]      2245vfnmsub132ps -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]      2249vfnmsub132ps 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]      2253vfnmsub132ps -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]      2257vfnmsub132ps 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]      2261vfnmsub132ps 485498096(%edx), %xmm1, %xmm1 2262 2263// CHECK: vfnmsub132ps 485498096(%edx), %ymm4, %ymm4 2264// CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0xa2,0xf0,0x1c,0xf0,0x1c]      2265vfnmsub132ps 485498096(%edx), %ymm4, %ymm4 2266 2267// CHECK: vfnmsub132ps 485498096, %xmm1, %xmm1 2268// CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0x0d,0xf0,0x1c,0xf0,0x1c]      2269vfnmsub132ps 485498096, %xmm1, %xmm1 2270 2271// CHECK: vfnmsub132ps 485498096, %ymm4, %ymm4 2272// CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0x25,0xf0,0x1c,0xf0,0x1c]      2273vfnmsub132ps 485498096, %ymm4, %ymm4 2274 2275// CHECK: vfnmsub132ps 64(%edx,%eax), %xmm1, %xmm1 2276// CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0x4c,0x02,0x40]      2277vfnmsub132ps 64(%edx,%eax), %xmm1, %xmm1 2278 2279// CHECK: vfnmsub132ps 64(%edx,%eax), %ymm4, %ymm4 2280// CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0x64,0x02,0x40]      2281vfnmsub132ps 64(%edx,%eax), %ymm4, %ymm4 2282 2283// CHECK: vfnmsub132ps (%edx), %xmm1, %xmm1 2284// CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0x0a]      2285vfnmsub132ps (%edx), %xmm1, %xmm1 2286 2287// CHECK: vfnmsub132ps (%edx), %ymm4, %ymm4 2288// CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0x22]      2289vfnmsub132ps (%edx), %ymm4, %ymm4 2290 2291// CHECK: vfnmsub132ps %xmm1, %xmm1, %xmm1 2292// CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0xc9]      2293vfnmsub132ps %xmm1, %xmm1, %xmm1 2294 2295// CHECK: vfnmsub132ps %ymm4, %ymm4, %ymm4 2296// CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0xe4]      2297vfnmsub132ps %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]      2301vfnmsub132sd -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]      2305vfnmsub132sd 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]      2309vfnmsub132sd 485498096(%edx), %xmm1, %xmm1 2310 2311// CHECK: vfnmsub132sd 485498096, %xmm1, %xmm1 2312// CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0x0d,0xf0,0x1c,0xf0,0x1c]      2313vfnmsub132sd 485498096, %xmm1, %xmm1 2314 2315// CHECK: vfnmsub132sd 64(%edx,%eax), %xmm1, %xmm1 2316// CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0x4c,0x02,0x40]      2317vfnmsub132sd 64(%edx,%eax), %xmm1, %xmm1 2318 2319// CHECK: vfnmsub132sd (%edx), %xmm1, %xmm1 2320// CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0x0a]      2321vfnmsub132sd (%edx), %xmm1, %xmm1 2322 2323// CHECK: vfnmsub132sd %xmm1, %xmm1, %xmm1 2324// CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0xc9]      2325vfnmsub132sd %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]      2329vfnmsub132ss -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]      2333vfnmsub132ss 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]      2337vfnmsub132ss 485498096(%edx), %xmm1, %xmm1 2338 2339// CHECK: vfnmsub132ss 485498096, %xmm1, %xmm1 2340// CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0x0d,0xf0,0x1c,0xf0,0x1c]      2341vfnmsub132ss 485498096, %xmm1, %xmm1 2342 2343// CHECK: vfnmsub132ss 64(%edx,%eax), %xmm1, %xmm1 2344// CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0x4c,0x02,0x40]      2345vfnmsub132ss 64(%edx,%eax), %xmm1, %xmm1 2346 2347// CHECK: vfnmsub132ss (%edx), %xmm1, %xmm1 2348// CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0x0a]      2349vfnmsub132ss (%edx), %xmm1, %xmm1 2350 2351// CHECK: vfnmsub132ss %xmm1, %xmm1, %xmm1 2352// CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0xc9]      2353vfnmsub132ss %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]      2357vfnmsub213pd -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]      2361vfnmsub213pd 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]      2365vfnmsub213pd -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]      2369vfnmsub213pd 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]      2373vfnmsub213pd 485498096(%edx), %xmm1, %xmm1 2374 2375// CHECK: vfnmsub213pd 485498096(%edx), %ymm4, %ymm4 2376// CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0xa2,0xf0,0x1c,0xf0,0x1c]      2377vfnmsub213pd 485498096(%edx), %ymm4, %ymm4 2378 2379// CHECK: vfnmsub213pd 485498096, %xmm1, %xmm1 2380// CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0x0d,0xf0,0x1c,0xf0,0x1c]      2381vfnmsub213pd 485498096, %xmm1, %xmm1 2382 2383// CHECK: vfnmsub213pd 485498096, %ymm4, %ymm4 2384// CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0x25,0xf0,0x1c,0xf0,0x1c]      2385vfnmsub213pd 485498096, %ymm4, %ymm4 2386 2387// CHECK: vfnmsub213pd 64(%edx,%eax), %xmm1, %xmm1 2388// CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0x4c,0x02,0x40]      2389vfnmsub213pd 64(%edx,%eax), %xmm1, %xmm1 2390 2391// CHECK: vfnmsub213pd 64(%edx,%eax), %ymm4, %ymm4 2392// CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0x64,0x02,0x40]      2393vfnmsub213pd 64(%edx,%eax), %ymm4, %ymm4 2394 2395// CHECK: vfnmsub213pd (%edx), %xmm1, %xmm1 2396// CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0x0a]      2397vfnmsub213pd (%edx), %xmm1, %xmm1 2398 2399// CHECK: vfnmsub213pd (%edx), %ymm4, %ymm4 2400// CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0x22]      2401vfnmsub213pd (%edx), %ymm4, %ymm4 2402 2403// CHECK: vfnmsub213pd %xmm1, %xmm1, %xmm1 2404// CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0xc9]      2405vfnmsub213pd %xmm1, %xmm1, %xmm1 2406 2407// CHECK: vfnmsub213pd %ymm4, %ymm4, %ymm4 2408// CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0xe4]      2409vfnmsub213pd %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]      2413vfnmsub213ps -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]      2417vfnmsub213ps 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]      2421vfnmsub213ps -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]      2425vfnmsub213ps 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]      2429vfnmsub213ps 485498096(%edx), %xmm1, %xmm1 2430 2431// CHECK: vfnmsub213ps 485498096(%edx), %ymm4, %ymm4 2432// CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0xa2,0xf0,0x1c,0xf0,0x1c]      2433vfnmsub213ps 485498096(%edx), %ymm4, %ymm4 2434 2435// CHECK: vfnmsub213ps 485498096, %xmm1, %xmm1 2436// CHECK: encoding: [0xc4,0xe2,0x71,0xae,0x0d,0xf0,0x1c,0xf0,0x1c]      2437vfnmsub213ps 485498096, %xmm1, %xmm1 2438 2439// CHECK: vfnmsub213ps 485498096, %ymm4, %ymm4 2440// CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0x25,0xf0,0x1c,0xf0,0x1c]      2441vfnmsub213ps 485498096, %ymm4, %ymm4 2442 2443// CHECK: vfnmsub213ps 64(%edx,%eax), %xmm1, %xmm1 2444// CHECK: encoding: [0xc4,0xe2,0x71,0xae,0x4c,0x02,0x40]      2445vfnmsub213ps 64(%edx,%eax), %xmm1, %xmm1 2446 2447// CHECK: vfnmsub213ps 64(%edx,%eax), %ymm4, %ymm4 2448// CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0x64,0x02,0x40]      2449vfnmsub213ps 64(%edx,%eax), %ymm4, %ymm4 2450 2451// CHECK: vfnmsub213ps (%edx), %xmm1, %xmm1 2452// CHECK: encoding: [0xc4,0xe2,0x71,0xae,0x0a]      2453vfnmsub213ps (%edx), %xmm1, %xmm1 2454 2455// CHECK: vfnmsub213ps (%edx), %ymm4, %ymm4 2456// CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0x22]      2457vfnmsub213ps (%edx), %ymm4, %ymm4 2458 2459// CHECK: vfnmsub213ps %xmm1, %xmm1, %xmm1 2460// CHECK: encoding: [0xc4,0xe2,0x71,0xae,0xc9]      2461vfnmsub213ps %xmm1, %xmm1, %xmm1 2462 2463// CHECK: vfnmsub213ps %ymm4, %ymm4, %ymm4 2464// CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0xe4]      2465vfnmsub213ps %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]      2469vfnmsub213sd -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]      2473vfnmsub213sd 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]      2477vfnmsub213sd 485498096(%edx), %xmm1, %xmm1 2478 2479// CHECK: vfnmsub213sd 485498096, %xmm1, %xmm1 2480// CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0x0d,0xf0,0x1c,0xf0,0x1c]      2481vfnmsub213sd 485498096, %xmm1, %xmm1 2482 2483// CHECK: vfnmsub213sd 64(%edx,%eax), %xmm1, %xmm1 2484// CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0x4c,0x02,0x40]      2485vfnmsub213sd 64(%edx,%eax), %xmm1, %xmm1 2486 2487// CHECK: vfnmsub213sd (%edx), %xmm1, %xmm1 2488// CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0x0a]      2489vfnmsub213sd (%edx), %xmm1, %xmm1 2490 2491// CHECK: vfnmsub213sd %xmm1, %xmm1, %xmm1 2492// CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0xc9]      2493vfnmsub213sd %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]      2497vfnmsub213ss -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]      2501vfnmsub213ss 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]      2505vfnmsub213ss 485498096(%edx), %xmm1, %xmm1 2506 2507// CHECK: vfnmsub213ss 485498096, %xmm1, %xmm1 2508// CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0x0d,0xf0,0x1c,0xf0,0x1c]      2509vfnmsub213ss 485498096, %xmm1, %xmm1 2510 2511// CHECK: vfnmsub213ss 64(%edx,%eax), %xmm1, %xmm1 2512// CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0x4c,0x02,0x40]      2513vfnmsub213ss 64(%edx,%eax), %xmm1, %xmm1 2514 2515// CHECK: vfnmsub213ss (%edx), %xmm1, %xmm1 2516// CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0x0a]      2517vfnmsub213ss (%edx), %xmm1, %xmm1 2518 2519// CHECK: vfnmsub213ss %xmm1, %xmm1, %xmm1 2520// CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0xc9]      2521vfnmsub213ss %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]      2525vfnmsub231pd -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]      2529vfnmsub231pd 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]      2533vfnmsub231pd -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]      2537vfnmsub231pd 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]      2541vfnmsub231pd 485498096(%edx), %xmm1, %xmm1 2542 2543// CHECK: vfnmsub231pd 485498096(%edx), %ymm4, %ymm4 2544// CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0xa2,0xf0,0x1c,0xf0,0x1c]      2545vfnmsub231pd 485498096(%edx), %ymm4, %ymm4 2546 2547// CHECK: vfnmsub231pd 485498096, %xmm1, %xmm1 2548// CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0x0d,0xf0,0x1c,0xf0,0x1c]      2549vfnmsub231pd 485498096, %xmm1, %xmm1 2550 2551// CHECK: vfnmsub231pd 485498096, %ymm4, %ymm4 2552// CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0x25,0xf0,0x1c,0xf0,0x1c]      2553vfnmsub231pd 485498096, %ymm4, %ymm4 2554 2555// CHECK: vfnmsub231pd 64(%edx,%eax), %xmm1, %xmm1 2556// CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0x4c,0x02,0x40]      2557vfnmsub231pd 64(%edx,%eax), %xmm1, %xmm1 2558 2559// CHECK: vfnmsub231pd 64(%edx,%eax), %ymm4, %ymm4 2560// CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0x64,0x02,0x40]      2561vfnmsub231pd 64(%edx,%eax), %ymm4, %ymm4 2562 2563// CHECK: vfnmsub231pd (%edx), %xmm1, %xmm1 2564// CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0x0a]      2565vfnmsub231pd (%edx), %xmm1, %xmm1 2566 2567// CHECK: vfnmsub231pd (%edx), %ymm4, %ymm4 2568// CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0x22]      2569vfnmsub231pd (%edx), %ymm4, %ymm4 2570 2571// CHECK: vfnmsub231pd %xmm1, %xmm1, %xmm1 2572// CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0xc9]      2573vfnmsub231pd %xmm1, %xmm1, %xmm1 2574 2575// CHECK: vfnmsub231pd %ymm4, %ymm4, %ymm4 2576// CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0xe4]      2577vfnmsub231pd %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]      2581vfnmsub231ps -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]      2585vfnmsub231ps 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]      2589vfnmsub231ps -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]      2593vfnmsub231ps 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]      2597vfnmsub231ps 485498096(%edx), %xmm1, %xmm1 2598 2599// CHECK: vfnmsub231ps 485498096(%edx), %ymm4, %ymm4 2600// CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0xa2,0xf0,0x1c,0xf0,0x1c]      2601vfnmsub231ps 485498096(%edx), %ymm4, %ymm4 2602 2603// CHECK: vfnmsub231ps 485498096, %xmm1, %xmm1 2604// CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0x0d,0xf0,0x1c,0xf0,0x1c]      2605vfnmsub231ps 485498096, %xmm1, %xmm1 2606 2607// CHECK: vfnmsub231ps 485498096, %ymm4, %ymm4 2608// CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0x25,0xf0,0x1c,0xf0,0x1c]      2609vfnmsub231ps 485498096, %ymm4, %ymm4 2610 2611// CHECK: vfnmsub231ps 64(%edx,%eax), %xmm1, %xmm1 2612// CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0x4c,0x02,0x40]      2613vfnmsub231ps 64(%edx,%eax), %xmm1, %xmm1 2614 2615// CHECK: vfnmsub231ps 64(%edx,%eax), %ymm4, %ymm4 2616// CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0x64,0x02,0x40]      2617vfnmsub231ps 64(%edx,%eax), %ymm4, %ymm4 2618 2619// CHECK: vfnmsub231ps (%edx), %xmm1, %xmm1 2620// CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0x0a]      2621vfnmsub231ps (%edx), %xmm1, %xmm1 2622 2623// CHECK: vfnmsub231ps (%edx), %ymm4, %ymm4 2624// CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0x22]      2625vfnmsub231ps (%edx), %ymm4, %ymm4 2626 2627// CHECK: vfnmsub231ps %xmm1, %xmm1, %xmm1 2628// CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0xc9]      2629vfnmsub231ps %xmm1, %xmm1, %xmm1 2630 2631// CHECK: vfnmsub231ps %ymm4, %ymm4, %ymm4 2632// CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0xe4]      2633vfnmsub231ps %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]      2637vfnmsub231sd -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]      2641vfnmsub231sd 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]      2645vfnmsub231sd 485498096(%edx), %xmm1, %xmm1 2646 2647// CHECK: vfnmsub231sd 485498096, %xmm1, %xmm1 2648// CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0x0d,0xf0,0x1c,0xf0,0x1c]      2649vfnmsub231sd 485498096, %xmm1, %xmm1 2650 2651// CHECK: vfnmsub231sd 64(%edx,%eax), %xmm1, %xmm1 2652// CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0x4c,0x02,0x40]      2653vfnmsub231sd 64(%edx,%eax), %xmm1, %xmm1 2654 2655// CHECK: vfnmsub231sd (%edx), %xmm1, %xmm1 2656// CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0x0a]      2657vfnmsub231sd (%edx), %xmm1, %xmm1 2658 2659// CHECK: vfnmsub231sd %xmm1, %xmm1, %xmm1 2660// CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0xc9]      2661vfnmsub231sd %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]      2665vfnmsub231ss -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]      2669vfnmsub231ss 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]      2673vfnmsub231ss 485498096(%edx), %xmm1, %xmm1 2674 2675// CHECK: vfnmsub231ss 485498096, %xmm1, %xmm1 2676// CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0x0d,0xf0,0x1c,0xf0,0x1c]      2677vfnmsub231ss 485498096, %xmm1, %xmm1 2678 2679// CHECK: vfnmsub231ss 64(%edx,%eax), %xmm1, %xmm1 2680// CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0x4c,0x02,0x40]      2681vfnmsub231ss 64(%edx,%eax), %xmm1, %xmm1 2682 2683// CHECK: vfnmsub231ss (%edx), %xmm1, %xmm1 2684// CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0x0a]      2685vfnmsub231ss (%edx), %xmm1, %xmm1 2686 2687// CHECK: vfnmsub231ss %xmm1, %xmm1, %xmm1 2688// CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0xc9]      2689vfnmsub231ss %xmm1, %xmm1, %xmm1 2690 2691