brintos

brintos / llvm-project-archived public Read only

0
0
Text · 129.1 KiB · 0eb10fb Raw
3015 lines · plain
1// RUN: llvm-mc -triple x86_64 --show-encoding %s | FileCheck %s2 3// CHECK: vaddbf16 %ymm24, %ymm23, %ymm224// CHECK: encoding: [0x62,0x85,0x45,0x20,0x58,0xf0]5          vaddbf16 %ymm24, %ymm23, %ymm226 7// CHECK: vaddbf16 %ymm24, %ymm23, %ymm22 {%k7}8// CHECK: encoding: [0x62,0x85,0x45,0x27,0x58,0xf0]9          vaddbf16 %ymm24, %ymm23, %ymm22 {%k7}10 11// CHECK: vaddbf16 %ymm24, %ymm23, %ymm22 {%k7} {z}12// CHECK: encoding: [0x62,0x85,0x45,0xa7,0x58,0xf0]13          vaddbf16 %ymm24, %ymm23, %ymm22 {%k7} {z}14 15// CHECK: vaddbf16 %zmm24, %zmm23, %zmm2216// CHECK: encoding: [0x62,0x85,0x45,0x40,0x58,0xf0]17          vaddbf16 %zmm24, %zmm23, %zmm2218 19// CHECK: vaddbf16 %zmm24, %zmm23, %zmm22 {%k7}20// CHECK: encoding: [0x62,0x85,0x45,0x47,0x58,0xf0]21          vaddbf16 %zmm24, %zmm23, %zmm22 {%k7}22 23// CHECK: vaddbf16 %zmm24, %zmm23, %zmm22 {%k7} {z}24// CHECK: encoding: [0x62,0x85,0x45,0xc7,0x58,0xf0]25          vaddbf16 %zmm24, %zmm23, %zmm22 {%k7} {z}26 27// CHECK: vaddbf16 %xmm24, %xmm23, %xmm2228// CHECK: encoding: [0x62,0x85,0x45,0x00,0x58,0xf0]29          vaddbf16 %xmm24, %xmm23, %xmm2230 31// CHECK: vaddbf16 %xmm24, %xmm23, %xmm22 {%k7}32// CHECK: encoding: [0x62,0x85,0x45,0x07,0x58,0xf0]33          vaddbf16 %xmm24, %xmm23, %xmm22 {%k7}34 35// CHECK: vaddbf16 %xmm24, %xmm23, %xmm22 {%k7} {z}36// CHECK: encoding: [0x62,0x85,0x45,0x87,0x58,0xf0]37          vaddbf16 %xmm24, %xmm23, %xmm22 {%k7} {z}38 39// CHECK: vaddbf16  268435456(%rbp,%r14,8), %zmm23, %zmm2240// CHECK: encoding: [0x62,0xa5,0x45,0x40,0x58,0xb4,0xf5,0x00,0x00,0x00,0x10]41          vaddbf16  268435456(%rbp,%r14,8), %zmm23, %zmm2242 43// CHECK: vaddbf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}44// CHECK: encoding: [0x62,0xc5,0x45,0x47,0x58,0xb4,0x80,0x23,0x01,0x00,0x00]45          vaddbf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}46 47// CHECK: vaddbf16  (%rip){1to32}, %zmm23, %zmm2248// CHECK: encoding: [0x62,0xe5,0x45,0x50,0x58,0x35,0x00,0x00,0x00,0x00]49          vaddbf16  (%rip){1to32}, %zmm23, %zmm2250 51// CHECK: vaddbf16  -2048(,%rbp,2), %zmm23, %zmm2252// CHECK: encoding: [0x62,0xe5,0x45,0x40,0x58,0x34,0x6d,0x00,0xf8,0xff,0xff]53          vaddbf16  -2048(,%rbp,2), %zmm23, %zmm2254 55// CHECK: vaddbf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}56// CHECK: encoding: [0x62,0xe5,0x45,0xc7,0x58,0x71,0x7f]57          vaddbf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}58 59// CHECK: vaddbf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}60// CHECK: encoding: [0x62,0xe5,0x45,0xd7,0x58,0x72,0x80]61          vaddbf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}62 63// CHECK: vaddbf16  268435456(%rbp,%r14,8), %ymm23, %ymm2264// CHECK: encoding: [0x62,0xa5,0x45,0x20,0x58,0xb4,0xf5,0x00,0x00,0x00,0x10]65          vaddbf16  268435456(%rbp,%r14,8), %ymm23, %ymm2266 67// CHECK: vaddbf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}68// CHECK: encoding: [0x62,0xc5,0x45,0x27,0x58,0xb4,0x80,0x23,0x01,0x00,0x00]69          vaddbf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}70 71// CHECK: vaddbf16  (%rip){1to16}, %ymm23, %ymm2272// CHECK: encoding: [0x62,0xe5,0x45,0x30,0x58,0x35,0x00,0x00,0x00,0x00]73          vaddbf16  (%rip){1to16}, %ymm23, %ymm2274 75// CHECK: vaddbf16  -1024(,%rbp,2), %ymm23, %ymm2276// CHECK: encoding: [0x62,0xe5,0x45,0x20,0x58,0x34,0x6d,0x00,0xfc,0xff,0xff]77          vaddbf16  -1024(,%rbp,2), %ymm23, %ymm2278 79// CHECK: vaddbf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}80// CHECK: encoding: [0x62,0xe5,0x45,0xa7,0x58,0x71,0x7f]81          vaddbf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}82 83// CHECK: vaddbf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}84// CHECK: encoding: [0x62,0xe5,0x45,0xb7,0x58,0x72,0x80]85          vaddbf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}86 87// CHECK: vaddbf16  268435456(%rbp,%r14,8), %xmm23, %xmm2288// CHECK: encoding: [0x62,0xa5,0x45,0x00,0x58,0xb4,0xf5,0x00,0x00,0x00,0x10]89          vaddbf16  268435456(%rbp,%r14,8), %xmm23, %xmm2290 91// CHECK: vaddbf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}92// CHECK: encoding: [0x62,0xc5,0x45,0x07,0x58,0xb4,0x80,0x23,0x01,0x00,0x00]93          vaddbf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}94 95// CHECK: vaddbf16  (%rip){1to8}, %xmm23, %xmm2296// CHECK: encoding: [0x62,0xe5,0x45,0x10,0x58,0x35,0x00,0x00,0x00,0x00]97          vaddbf16  (%rip){1to8}, %xmm23, %xmm2298 99// CHECK: vaddbf16  -512(,%rbp,2), %xmm23, %xmm22100// CHECK: encoding: [0x62,0xe5,0x45,0x00,0x58,0x34,0x6d,0x00,0xfe,0xff,0xff]101          vaddbf16  -512(,%rbp,2), %xmm23, %xmm22102 103// CHECK: vaddbf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}104// CHECK: encoding: [0x62,0xe5,0x45,0x87,0x58,0x71,0x7f]105          vaddbf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}106 107// CHECK: vaddbf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}108// CHECK: encoding: [0x62,0xe5,0x45,0x97,0x58,0x72,0x80]109          vaddbf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}110 111// CHECK: vcmpbf16 $123, %ymm24, %ymm23, %k5112// CHECK: encoding: [0x62,0x93,0x47,0x20,0xc2,0xe8,0x7b]113          vcmpbf16 $123, %ymm24, %ymm23, %k5114 115// CHECK: vcmpbf16 $123, %ymm24, %ymm23, %k5 {%k7}116// CHECK: encoding: [0x62,0x93,0x47,0x27,0xc2,0xe8,0x7b]117          vcmpbf16 $123, %ymm24, %ymm23, %k5 {%k7}118 119// CHECK: vcmpbf16 $123, %xmm24, %xmm23, %k5120// CHECK: encoding: [0x62,0x93,0x47,0x00,0xc2,0xe8,0x7b]121          vcmpbf16 $123, %xmm24, %xmm23, %k5122 123// CHECK: vcmpbf16 $123, %xmm24, %xmm23, %k5 {%k7}124// CHECK: encoding: [0x62,0x93,0x47,0x07,0xc2,0xe8,0x7b]125          vcmpbf16 $123, %xmm24, %xmm23, %k5 {%k7}126 127// CHECK: vcmpbf16 $123, %zmm24, %zmm23, %k5128// CHECK: encoding: [0x62,0x93,0x47,0x40,0xc2,0xe8,0x7b]129          vcmpbf16 $123, %zmm24, %zmm23, %k5130 131// CHECK: vcmpbf16 $123, %zmm24, %zmm23, %k5 {%k7}132// CHECK: encoding: [0x62,0x93,0x47,0x47,0xc2,0xe8,0x7b]133          vcmpbf16 $123, %zmm24, %zmm23, %k5 {%k7}134 135// CHECK: vcmpbf16  $123, 268435456(%rbp,%r14,8), %zmm23, %k5136// CHECK: encoding: [0x62,0xb3,0x47,0x40,0xc2,0xac,0xf5,0x00,0x00,0x00,0x10,0x7b]137          vcmpbf16  $123, 268435456(%rbp,%r14,8), %zmm23, %k5138 139// CHECK: vcmpbf16  $123, 291(%r8,%rax,4), %zmm23, %k5 {%k7}140// CHECK: encoding: [0x62,0xd3,0x47,0x47,0xc2,0xac,0x80,0x23,0x01,0x00,0x00,0x7b]141          vcmpbf16  $123, 291(%r8,%rax,4), %zmm23, %k5 {%k7}142 143// CHECK: vcmpbf16  $123, (%rip){1to32}, %zmm23, %k5144// CHECK: encoding: [0x62,0xf3,0x47,0x50,0xc2,0x2d,0x00,0x00,0x00,0x00,0x7b]145          vcmpbf16  $123, (%rip){1to32}, %zmm23, %k5146 147// CHECK: vcmpbf16  $123, -2048(,%rbp,2), %zmm23, %k5148// CHECK: encoding: [0x62,0xf3,0x47,0x40,0xc2,0x2c,0x6d,0x00,0xf8,0xff,0xff,0x7b]149          vcmpbf16  $123, -2048(,%rbp,2), %zmm23, %k5150 151// CHECK: vcmpbf16  $123, 8128(%rcx), %zmm23, %k5 {%k7}152// CHECK: encoding: [0x62,0xf3,0x47,0x47,0xc2,0x69,0x7f,0x7b]153          vcmpbf16  $123, 8128(%rcx), %zmm23, %k5 {%k7}154 155// CHECK: vcmpbf16  $123, -256(%rdx){1to32}, %zmm23, %k5 {%k7}156// CHECK: encoding: [0x62,0xf3,0x47,0x57,0xc2,0x6a,0x80,0x7b]157          vcmpbf16  $123, -256(%rdx){1to32}, %zmm23, %k5 {%k7}158 159// CHECK: vcmpbf16  $123, 268435456(%rbp,%r14,8), %xmm23, %k5160// CHECK: encoding: [0x62,0xb3,0x47,0x00,0xc2,0xac,0xf5,0x00,0x00,0x00,0x10,0x7b]161          vcmpbf16  $123, 268435456(%rbp,%r14,8), %xmm23, %k5162 163// CHECK: vcmpbf16  $123, 291(%r8,%rax,4), %xmm23, %k5 {%k7}164// CHECK: encoding: [0x62,0xd3,0x47,0x07,0xc2,0xac,0x80,0x23,0x01,0x00,0x00,0x7b]165          vcmpbf16  $123, 291(%r8,%rax,4), %xmm23, %k5 {%k7}166 167// CHECK: vcmpbf16  $123, (%rip){1to8}, %xmm23, %k5168// CHECK: encoding: [0x62,0xf3,0x47,0x10,0xc2,0x2d,0x00,0x00,0x00,0x00,0x7b]169          vcmpbf16  $123, (%rip){1to8}, %xmm23, %k5170 171// CHECK: vcmpbf16  $123, -512(,%rbp,2), %xmm23, %k5172// CHECK: encoding: [0x62,0xf3,0x47,0x00,0xc2,0x2c,0x6d,0x00,0xfe,0xff,0xff,0x7b]173          vcmpbf16  $123, -512(,%rbp,2), %xmm23, %k5174 175// CHECK: vcmpbf16  $123, 2032(%rcx), %xmm23, %k5 {%k7}176// CHECK: encoding: [0x62,0xf3,0x47,0x07,0xc2,0x69,0x7f,0x7b]177          vcmpbf16  $123, 2032(%rcx), %xmm23, %k5 {%k7}178 179// CHECK: vcmpbf16  $123, -256(%rdx){1to8}, %xmm23, %k5 {%k7}180// CHECK: encoding: [0x62,0xf3,0x47,0x17,0xc2,0x6a,0x80,0x7b]181          vcmpbf16  $123, -256(%rdx){1to8}, %xmm23, %k5 {%k7}182 183// CHECK: vcmpbf16  $123, 268435456(%rbp,%r14,8), %ymm23, %k5184// CHECK: encoding: [0x62,0xb3,0x47,0x20,0xc2,0xac,0xf5,0x00,0x00,0x00,0x10,0x7b]185          vcmpbf16  $123, 268435456(%rbp,%r14,8), %ymm23, %k5186 187// CHECK: vcmpbf16  $123, 291(%r8,%rax,4), %ymm23, %k5 {%k7}188// CHECK: encoding: [0x62,0xd3,0x47,0x27,0xc2,0xac,0x80,0x23,0x01,0x00,0x00,0x7b]189          vcmpbf16  $123, 291(%r8,%rax,4), %ymm23, %k5 {%k7}190 191// CHECK: vcmpbf16  $123, (%rip){1to16}, %ymm23, %k5192// CHECK: encoding: [0x62,0xf3,0x47,0x30,0xc2,0x2d,0x00,0x00,0x00,0x00,0x7b]193          vcmpbf16  $123, (%rip){1to16}, %ymm23, %k5194 195// CHECK: vcmpbf16  $123, -1024(,%rbp,2), %ymm23, %k5196// CHECK: encoding: [0x62,0xf3,0x47,0x20,0xc2,0x2c,0x6d,0x00,0xfc,0xff,0xff,0x7b]197          vcmpbf16  $123, -1024(,%rbp,2), %ymm23, %k5198 199// CHECK: vcmpbf16  $123, 4064(%rcx), %ymm23, %k5 {%k7}200// CHECK: encoding: [0x62,0xf3,0x47,0x27,0xc2,0x69,0x7f,0x7b]201          vcmpbf16  $123, 4064(%rcx), %ymm23, %k5 {%k7}202 203// CHECK: vcmpbf16  $123, -256(%rdx){1to16}, %ymm23, %k5 {%k7}204// CHECK: encoding: [0x62,0xf3,0x47,0x37,0xc2,0x6a,0x80,0x7b]205          vcmpbf16  $123, -256(%rdx){1to16}, %ymm23, %k5 {%k7}206 207// CHECK: vcomisbf16 %xmm23, %xmm22208// CHECK: encoding: [0x62,0xa5,0x7d,0x08,0x2f,0xf7]209          vcomisbf16 %xmm23, %xmm22210 211// CHECK: vcomisbf16  268435456(%rbp,%r14,8), %xmm22212// CHECK: encoding: [0x62,0xa5,0x7d,0x08,0x2f,0xb4,0xf5,0x00,0x00,0x00,0x10]213          vcomisbf16  268435456(%rbp,%r14,8), %xmm22214 215// CHECK: vcomisbf16  291(%r8,%rax,4), %xmm22216// CHECK: encoding: [0x62,0xc5,0x7d,0x08,0x2f,0xb4,0x80,0x23,0x01,0x00,0x00]217          vcomisbf16  291(%r8,%rax,4), %xmm22218 219// CHECK: vcomisbf16  (%rip), %xmm22220// CHECK: encoding: [0x62,0xe5,0x7d,0x08,0x2f,0x35,0x00,0x00,0x00,0x00]221          vcomisbf16  (%rip), %xmm22222 223// CHECK: vcomisbf16  -64(,%rbp,2), %xmm22224// CHECK: encoding: [0x62,0xe5,0x7d,0x08,0x2f,0x34,0x6d,0xc0,0xff,0xff,0xff]225          vcomisbf16  -64(,%rbp,2), %xmm22226 227// CHECK: vcomisbf16  254(%rcx), %xmm22228// CHECK: encoding: [0x62,0xe5,0x7d,0x08,0x2f,0x71,0x7f]229          vcomisbf16  254(%rcx), %xmm22230 231// CHECK: vcomisbf16  -256(%rdx), %xmm22232// CHECK: encoding: [0x62,0xe5,0x7d,0x08,0x2f,0x72,0x80]233          vcomisbf16  -256(%rdx), %xmm22234 235// CHECK: vdivbf16 %ymm24, %ymm23, %ymm22236// CHECK: encoding: [0x62,0x85,0x45,0x20,0x5e,0xf0]237          vdivbf16 %ymm24, %ymm23, %ymm22238 239// CHECK: vdivbf16 %ymm24, %ymm23, %ymm22 {%k7}240// CHECK: encoding: [0x62,0x85,0x45,0x27,0x5e,0xf0]241          vdivbf16 %ymm24, %ymm23, %ymm22 {%k7}242 243// CHECK: vdivbf16 %ymm24, %ymm23, %ymm22 {%k7} {z}244// CHECK: encoding: [0x62,0x85,0x45,0xa7,0x5e,0xf0]245          vdivbf16 %ymm24, %ymm23, %ymm22 {%k7} {z}246 247// CHECK: vdivbf16 %zmm24, %zmm23, %zmm22248// CHECK: encoding: [0x62,0x85,0x45,0x40,0x5e,0xf0]249          vdivbf16 %zmm24, %zmm23, %zmm22250 251// CHECK: vdivbf16 %zmm24, %zmm23, %zmm22 {%k7}252// CHECK: encoding: [0x62,0x85,0x45,0x47,0x5e,0xf0]253          vdivbf16 %zmm24, %zmm23, %zmm22 {%k7}254 255// CHECK: vdivbf16 %zmm24, %zmm23, %zmm22 {%k7} {z}256// CHECK: encoding: [0x62,0x85,0x45,0xc7,0x5e,0xf0]257          vdivbf16 %zmm24, %zmm23, %zmm22 {%k7} {z}258 259// CHECK: vdivbf16 %xmm24, %xmm23, %xmm22260// CHECK: encoding: [0x62,0x85,0x45,0x00,0x5e,0xf0]261          vdivbf16 %xmm24, %xmm23, %xmm22262 263// CHECK: vdivbf16 %xmm24, %xmm23, %xmm22 {%k7}264// CHECK: encoding: [0x62,0x85,0x45,0x07,0x5e,0xf0]265          vdivbf16 %xmm24, %xmm23, %xmm22 {%k7}266 267// CHECK: vdivbf16 %xmm24, %xmm23, %xmm22 {%k7} {z}268// CHECK: encoding: [0x62,0x85,0x45,0x87,0x5e,0xf0]269          vdivbf16 %xmm24, %xmm23, %xmm22 {%k7} {z}270 271// CHECK: vdivbf16  268435456(%rbp,%r14,8), %zmm23, %zmm22272// CHECK: encoding: [0x62,0xa5,0x45,0x40,0x5e,0xb4,0xf5,0x00,0x00,0x00,0x10]273          vdivbf16  268435456(%rbp,%r14,8), %zmm23, %zmm22274 275// CHECK: vdivbf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}276// CHECK: encoding: [0x62,0xc5,0x45,0x47,0x5e,0xb4,0x80,0x23,0x01,0x00,0x00]277          vdivbf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}278 279// CHECK: vdivbf16  (%rip){1to32}, %zmm23, %zmm22280// CHECK: encoding: [0x62,0xe5,0x45,0x50,0x5e,0x35,0x00,0x00,0x00,0x00]281          vdivbf16  (%rip){1to32}, %zmm23, %zmm22282 283// CHECK: vdivbf16  -2048(,%rbp,2), %zmm23, %zmm22284// CHECK: encoding: [0x62,0xe5,0x45,0x40,0x5e,0x34,0x6d,0x00,0xf8,0xff,0xff]285          vdivbf16  -2048(,%rbp,2), %zmm23, %zmm22286 287// CHECK: vdivbf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}288// CHECK: encoding: [0x62,0xe5,0x45,0xc7,0x5e,0x71,0x7f]289          vdivbf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}290 291// CHECK: vdivbf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}292// CHECK: encoding: [0x62,0xe5,0x45,0xd7,0x5e,0x72,0x80]293          vdivbf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}294 295// CHECK: vdivbf16  268435456(%rbp,%r14,8), %ymm23, %ymm22296// CHECK: encoding: [0x62,0xa5,0x45,0x20,0x5e,0xb4,0xf5,0x00,0x00,0x00,0x10]297          vdivbf16  268435456(%rbp,%r14,8), %ymm23, %ymm22298 299// CHECK: vdivbf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}300// CHECK: encoding: [0x62,0xc5,0x45,0x27,0x5e,0xb4,0x80,0x23,0x01,0x00,0x00]301          vdivbf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}302 303// CHECK: vdivbf16  (%rip){1to16}, %ymm23, %ymm22304// CHECK: encoding: [0x62,0xe5,0x45,0x30,0x5e,0x35,0x00,0x00,0x00,0x00]305          vdivbf16  (%rip){1to16}, %ymm23, %ymm22306 307// CHECK: vdivbf16  -1024(,%rbp,2), %ymm23, %ymm22308// CHECK: encoding: [0x62,0xe5,0x45,0x20,0x5e,0x34,0x6d,0x00,0xfc,0xff,0xff]309          vdivbf16  -1024(,%rbp,2), %ymm23, %ymm22310 311// CHECK: vdivbf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}312// CHECK: encoding: [0x62,0xe5,0x45,0xa7,0x5e,0x71,0x7f]313          vdivbf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}314 315// CHECK: vdivbf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}316// CHECK: encoding: [0x62,0xe5,0x45,0xb7,0x5e,0x72,0x80]317          vdivbf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}318 319// CHECK: vdivbf16  268435456(%rbp,%r14,8), %xmm23, %xmm22320// CHECK: encoding: [0x62,0xa5,0x45,0x00,0x5e,0xb4,0xf5,0x00,0x00,0x00,0x10]321          vdivbf16  268435456(%rbp,%r14,8), %xmm23, %xmm22322 323// CHECK: vdivbf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}324// CHECK: encoding: [0x62,0xc5,0x45,0x07,0x5e,0xb4,0x80,0x23,0x01,0x00,0x00]325          vdivbf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}326 327// CHECK: vdivbf16  (%rip){1to8}, %xmm23, %xmm22328// CHECK: encoding: [0x62,0xe5,0x45,0x10,0x5e,0x35,0x00,0x00,0x00,0x00]329          vdivbf16  (%rip){1to8}, %xmm23, %xmm22330 331// CHECK: vdivbf16  -512(,%rbp,2), %xmm23, %xmm22332// CHECK: encoding: [0x62,0xe5,0x45,0x00,0x5e,0x34,0x6d,0x00,0xfe,0xff,0xff]333          vdivbf16  -512(,%rbp,2), %xmm23, %xmm22334 335// CHECK: vdivbf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}336// CHECK: encoding: [0x62,0xe5,0x45,0x87,0x5e,0x71,0x7f]337          vdivbf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}338 339// CHECK: vdivbf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}340// CHECK: encoding: [0x62,0xe5,0x45,0x97,0x5e,0x72,0x80]341          vdivbf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}342 343// CHECK: vfmadd132bf16 %ymm24, %ymm23, %ymm22344// CHECK: encoding: [0x62,0x86,0x44,0x20,0x98,0xf0]345          vfmadd132bf16 %ymm24, %ymm23, %ymm22346 347// CHECK: vfmadd132bf16 %ymm24, %ymm23, %ymm22 {%k7}348// CHECK: encoding: [0x62,0x86,0x44,0x27,0x98,0xf0]349          vfmadd132bf16 %ymm24, %ymm23, %ymm22 {%k7}350 351// CHECK: vfmadd132bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}352// CHECK: encoding: [0x62,0x86,0x44,0xa7,0x98,0xf0]353          vfmadd132bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}354 355// CHECK: vfmadd132bf16 %zmm24, %zmm23, %zmm22356// CHECK: encoding: [0x62,0x86,0x44,0x40,0x98,0xf0]357          vfmadd132bf16 %zmm24, %zmm23, %zmm22358 359// CHECK: vfmadd132bf16 %zmm24, %zmm23, %zmm22 {%k7}360// CHECK: encoding: [0x62,0x86,0x44,0x47,0x98,0xf0]361          vfmadd132bf16 %zmm24, %zmm23, %zmm22 {%k7}362 363// CHECK: vfmadd132bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}364// CHECK: encoding: [0x62,0x86,0x44,0xc7,0x98,0xf0]365          vfmadd132bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}366 367// CHECK: vfmadd132bf16 %xmm24, %xmm23, %xmm22368// CHECK: encoding: [0x62,0x86,0x44,0x00,0x98,0xf0]369          vfmadd132bf16 %xmm24, %xmm23, %xmm22370 371// CHECK: vfmadd132bf16 %xmm24, %xmm23, %xmm22 {%k7}372// CHECK: encoding: [0x62,0x86,0x44,0x07,0x98,0xf0]373          vfmadd132bf16 %xmm24, %xmm23, %xmm22 {%k7}374 375// CHECK: vfmadd132bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}376// CHECK: encoding: [0x62,0x86,0x44,0x87,0x98,0xf0]377          vfmadd132bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}378 379// CHECK: vfmadd132bf16  268435456(%rbp,%r14,8), %zmm23, %zmm22380// CHECK: encoding: [0x62,0xa6,0x44,0x40,0x98,0xb4,0xf5,0x00,0x00,0x00,0x10]381          vfmadd132bf16  268435456(%rbp,%r14,8), %zmm23, %zmm22382 383// CHECK: vfmadd132bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}384// CHECK: encoding: [0x62,0xc6,0x44,0x47,0x98,0xb4,0x80,0x23,0x01,0x00,0x00]385          vfmadd132bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}386 387// CHECK: vfmadd132bf16  (%rip){1to32}, %zmm23, %zmm22388// CHECK: encoding: [0x62,0xe6,0x44,0x50,0x98,0x35,0x00,0x00,0x00,0x00]389          vfmadd132bf16  (%rip){1to32}, %zmm23, %zmm22390 391// CHECK: vfmadd132bf16  -2048(,%rbp,2), %zmm23, %zmm22392// CHECK: encoding: [0x62,0xe6,0x44,0x40,0x98,0x34,0x6d,0x00,0xf8,0xff,0xff]393          vfmadd132bf16  -2048(,%rbp,2), %zmm23, %zmm22394 395// CHECK: vfmadd132bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}396// CHECK: encoding: [0x62,0xe6,0x44,0xc7,0x98,0x71,0x7f]397          vfmadd132bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}398 399// CHECK: vfmadd132bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}400// CHECK: encoding: [0x62,0xe6,0x44,0xd7,0x98,0x72,0x80]401          vfmadd132bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}402 403// CHECK: vfmadd132bf16  268435456(%rbp,%r14,8), %ymm23, %ymm22404// CHECK: encoding: [0x62,0xa6,0x44,0x20,0x98,0xb4,0xf5,0x00,0x00,0x00,0x10]405          vfmadd132bf16  268435456(%rbp,%r14,8), %ymm23, %ymm22406 407// CHECK: vfmadd132bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}408// CHECK: encoding: [0x62,0xc6,0x44,0x27,0x98,0xb4,0x80,0x23,0x01,0x00,0x00]409          vfmadd132bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}410 411// CHECK: vfmadd132bf16  (%rip){1to16}, %ymm23, %ymm22412// CHECK: encoding: [0x62,0xe6,0x44,0x30,0x98,0x35,0x00,0x00,0x00,0x00]413          vfmadd132bf16  (%rip){1to16}, %ymm23, %ymm22414 415// CHECK: vfmadd132bf16  -1024(,%rbp,2), %ymm23, %ymm22416// CHECK: encoding: [0x62,0xe6,0x44,0x20,0x98,0x34,0x6d,0x00,0xfc,0xff,0xff]417          vfmadd132bf16  -1024(,%rbp,2), %ymm23, %ymm22418 419// CHECK: vfmadd132bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}420// CHECK: encoding: [0x62,0xe6,0x44,0xa7,0x98,0x71,0x7f]421          vfmadd132bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}422 423// CHECK: vfmadd132bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}424// CHECK: encoding: [0x62,0xe6,0x44,0xb7,0x98,0x72,0x80]425          vfmadd132bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}426 427// CHECK: vfmadd132bf16  268435456(%rbp,%r14,8), %xmm23, %xmm22428// CHECK: encoding: [0x62,0xa6,0x44,0x00,0x98,0xb4,0xf5,0x00,0x00,0x00,0x10]429          vfmadd132bf16  268435456(%rbp,%r14,8), %xmm23, %xmm22430 431// CHECK: vfmadd132bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}432// CHECK: encoding: [0x62,0xc6,0x44,0x07,0x98,0xb4,0x80,0x23,0x01,0x00,0x00]433          vfmadd132bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}434 435// CHECK: vfmadd132bf16  (%rip){1to8}, %xmm23, %xmm22436// CHECK: encoding: [0x62,0xe6,0x44,0x10,0x98,0x35,0x00,0x00,0x00,0x00]437          vfmadd132bf16  (%rip){1to8}, %xmm23, %xmm22438 439// CHECK: vfmadd132bf16  -512(,%rbp,2), %xmm23, %xmm22440// CHECK: encoding: [0x62,0xe6,0x44,0x00,0x98,0x34,0x6d,0x00,0xfe,0xff,0xff]441          vfmadd132bf16  -512(,%rbp,2), %xmm23, %xmm22442 443// CHECK: vfmadd132bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}444// CHECK: encoding: [0x62,0xe6,0x44,0x87,0x98,0x71,0x7f]445          vfmadd132bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}446 447// CHECK: vfmadd132bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}448// CHECK: encoding: [0x62,0xe6,0x44,0x97,0x98,0x72,0x80]449          vfmadd132bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}450 451// CHECK: vfmadd213bf16 %ymm24, %ymm23, %ymm22452// CHECK: encoding: [0x62,0x86,0x44,0x20,0xa8,0xf0]453          vfmadd213bf16 %ymm24, %ymm23, %ymm22454 455// CHECK: vfmadd213bf16 %ymm24, %ymm23, %ymm22 {%k7}456// CHECK: encoding: [0x62,0x86,0x44,0x27,0xa8,0xf0]457          vfmadd213bf16 %ymm24, %ymm23, %ymm22 {%k7}458 459// CHECK: vfmadd213bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}460// CHECK: encoding: [0x62,0x86,0x44,0xa7,0xa8,0xf0]461          vfmadd213bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}462 463// CHECK: vfmadd213bf16 %zmm24, %zmm23, %zmm22464// CHECK: encoding: [0x62,0x86,0x44,0x40,0xa8,0xf0]465          vfmadd213bf16 %zmm24, %zmm23, %zmm22466 467// CHECK: vfmadd213bf16 %zmm24, %zmm23, %zmm22 {%k7}468// CHECK: encoding: [0x62,0x86,0x44,0x47,0xa8,0xf0]469          vfmadd213bf16 %zmm24, %zmm23, %zmm22 {%k7}470 471// CHECK: vfmadd213bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}472// CHECK: encoding: [0x62,0x86,0x44,0xc7,0xa8,0xf0]473          vfmadd213bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}474 475// CHECK: vfmadd213bf16 %xmm24, %xmm23, %xmm22476// CHECK: encoding: [0x62,0x86,0x44,0x00,0xa8,0xf0]477          vfmadd213bf16 %xmm24, %xmm23, %xmm22478 479// CHECK: vfmadd213bf16 %xmm24, %xmm23, %xmm22 {%k7}480// CHECK: encoding: [0x62,0x86,0x44,0x07,0xa8,0xf0]481          vfmadd213bf16 %xmm24, %xmm23, %xmm22 {%k7}482 483// CHECK: vfmadd213bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}484// CHECK: encoding: [0x62,0x86,0x44,0x87,0xa8,0xf0]485          vfmadd213bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}486 487// CHECK: vfmadd213bf16  268435456(%rbp,%r14,8), %zmm23, %zmm22488// CHECK: encoding: [0x62,0xa6,0x44,0x40,0xa8,0xb4,0xf5,0x00,0x00,0x00,0x10]489          vfmadd213bf16  268435456(%rbp,%r14,8), %zmm23, %zmm22490 491// CHECK: vfmadd213bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}492// CHECK: encoding: [0x62,0xc6,0x44,0x47,0xa8,0xb4,0x80,0x23,0x01,0x00,0x00]493          vfmadd213bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}494 495// CHECK: vfmadd213bf16  (%rip){1to32}, %zmm23, %zmm22496// CHECK: encoding: [0x62,0xe6,0x44,0x50,0xa8,0x35,0x00,0x00,0x00,0x00]497          vfmadd213bf16  (%rip){1to32}, %zmm23, %zmm22498 499// CHECK: vfmadd213bf16  -2048(,%rbp,2), %zmm23, %zmm22500// CHECK: encoding: [0x62,0xe6,0x44,0x40,0xa8,0x34,0x6d,0x00,0xf8,0xff,0xff]501          vfmadd213bf16  -2048(,%rbp,2), %zmm23, %zmm22502 503// CHECK: vfmadd213bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}504// CHECK: encoding: [0x62,0xe6,0x44,0xc7,0xa8,0x71,0x7f]505          vfmadd213bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}506 507// CHECK: vfmadd213bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}508// CHECK: encoding: [0x62,0xe6,0x44,0xd7,0xa8,0x72,0x80]509          vfmadd213bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}510 511// CHECK: vfmadd213bf16  268435456(%rbp,%r14,8), %ymm23, %ymm22512// CHECK: encoding: [0x62,0xa6,0x44,0x20,0xa8,0xb4,0xf5,0x00,0x00,0x00,0x10]513          vfmadd213bf16  268435456(%rbp,%r14,8), %ymm23, %ymm22514 515// CHECK: vfmadd213bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}516// CHECK: encoding: [0x62,0xc6,0x44,0x27,0xa8,0xb4,0x80,0x23,0x01,0x00,0x00]517          vfmadd213bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}518 519// CHECK: vfmadd213bf16  (%rip){1to16}, %ymm23, %ymm22520// CHECK: encoding: [0x62,0xe6,0x44,0x30,0xa8,0x35,0x00,0x00,0x00,0x00]521          vfmadd213bf16  (%rip){1to16}, %ymm23, %ymm22522 523// CHECK: vfmadd213bf16  -1024(,%rbp,2), %ymm23, %ymm22524// CHECK: encoding: [0x62,0xe6,0x44,0x20,0xa8,0x34,0x6d,0x00,0xfc,0xff,0xff]525          vfmadd213bf16  -1024(,%rbp,2), %ymm23, %ymm22526 527// CHECK: vfmadd213bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}528// CHECK: encoding: [0x62,0xe6,0x44,0xa7,0xa8,0x71,0x7f]529          vfmadd213bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}530 531// CHECK: vfmadd213bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}532// CHECK: encoding: [0x62,0xe6,0x44,0xb7,0xa8,0x72,0x80]533          vfmadd213bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}534 535// CHECK: vfmadd213bf16  268435456(%rbp,%r14,8), %xmm23, %xmm22536// CHECK: encoding: [0x62,0xa6,0x44,0x00,0xa8,0xb4,0xf5,0x00,0x00,0x00,0x10]537          vfmadd213bf16  268435456(%rbp,%r14,8), %xmm23, %xmm22538 539// CHECK: vfmadd213bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}540// CHECK: encoding: [0x62,0xc6,0x44,0x07,0xa8,0xb4,0x80,0x23,0x01,0x00,0x00]541          vfmadd213bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}542 543// CHECK: vfmadd213bf16  (%rip){1to8}, %xmm23, %xmm22544// CHECK: encoding: [0x62,0xe6,0x44,0x10,0xa8,0x35,0x00,0x00,0x00,0x00]545          vfmadd213bf16  (%rip){1to8}, %xmm23, %xmm22546 547// CHECK: vfmadd213bf16  -512(,%rbp,2), %xmm23, %xmm22548// CHECK: encoding: [0x62,0xe6,0x44,0x00,0xa8,0x34,0x6d,0x00,0xfe,0xff,0xff]549          vfmadd213bf16  -512(,%rbp,2), %xmm23, %xmm22550 551// CHECK: vfmadd213bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}552// CHECK: encoding: [0x62,0xe6,0x44,0x87,0xa8,0x71,0x7f]553          vfmadd213bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}554 555// CHECK: vfmadd213bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}556// CHECK: encoding: [0x62,0xe6,0x44,0x97,0xa8,0x72,0x80]557          vfmadd213bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}558 559// CHECK: vfmadd231bf16 %ymm24, %ymm23, %ymm22560// CHECK: encoding: [0x62,0x86,0x44,0x20,0xb8,0xf0]561          vfmadd231bf16 %ymm24, %ymm23, %ymm22562 563// CHECK: vfmadd231bf16 %ymm24, %ymm23, %ymm22 {%k7}564// CHECK: encoding: [0x62,0x86,0x44,0x27,0xb8,0xf0]565          vfmadd231bf16 %ymm24, %ymm23, %ymm22 {%k7}566 567// CHECK: vfmadd231bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}568// CHECK: encoding: [0x62,0x86,0x44,0xa7,0xb8,0xf0]569          vfmadd231bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}570 571// CHECK: vfmadd231bf16 %zmm24, %zmm23, %zmm22572// CHECK: encoding: [0x62,0x86,0x44,0x40,0xb8,0xf0]573          vfmadd231bf16 %zmm24, %zmm23, %zmm22574 575// CHECK: vfmadd231bf16 %zmm24, %zmm23, %zmm22 {%k7}576// CHECK: encoding: [0x62,0x86,0x44,0x47,0xb8,0xf0]577          vfmadd231bf16 %zmm24, %zmm23, %zmm22 {%k7}578 579// CHECK: vfmadd231bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}580// CHECK: encoding: [0x62,0x86,0x44,0xc7,0xb8,0xf0]581          vfmadd231bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}582 583// CHECK: vfmadd231bf16 %xmm24, %xmm23, %xmm22584// CHECK: encoding: [0x62,0x86,0x44,0x00,0xb8,0xf0]585          vfmadd231bf16 %xmm24, %xmm23, %xmm22586 587// CHECK: vfmadd231bf16 %xmm24, %xmm23, %xmm22 {%k7}588// CHECK: encoding: [0x62,0x86,0x44,0x07,0xb8,0xf0]589          vfmadd231bf16 %xmm24, %xmm23, %xmm22 {%k7}590 591// CHECK: vfmadd231bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}592// CHECK: encoding: [0x62,0x86,0x44,0x87,0xb8,0xf0]593          vfmadd231bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}594 595// CHECK: vfmadd231bf16  268435456(%rbp,%r14,8), %zmm23, %zmm22596// CHECK: encoding: [0x62,0xa6,0x44,0x40,0xb8,0xb4,0xf5,0x00,0x00,0x00,0x10]597          vfmadd231bf16  268435456(%rbp,%r14,8), %zmm23, %zmm22598 599// CHECK: vfmadd231bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}600// CHECK: encoding: [0x62,0xc6,0x44,0x47,0xb8,0xb4,0x80,0x23,0x01,0x00,0x00]601          vfmadd231bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}602 603// CHECK: vfmadd231bf16  (%rip){1to32}, %zmm23, %zmm22604// CHECK: encoding: [0x62,0xe6,0x44,0x50,0xb8,0x35,0x00,0x00,0x00,0x00]605          vfmadd231bf16  (%rip){1to32}, %zmm23, %zmm22606 607// CHECK: vfmadd231bf16  -2048(,%rbp,2), %zmm23, %zmm22608// CHECK: encoding: [0x62,0xe6,0x44,0x40,0xb8,0x34,0x6d,0x00,0xf8,0xff,0xff]609          vfmadd231bf16  -2048(,%rbp,2), %zmm23, %zmm22610 611// CHECK: vfmadd231bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}612// CHECK: encoding: [0x62,0xe6,0x44,0xc7,0xb8,0x71,0x7f]613          vfmadd231bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}614 615// CHECK: vfmadd231bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}616// CHECK: encoding: [0x62,0xe6,0x44,0xd7,0xb8,0x72,0x80]617          vfmadd231bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}618 619// CHECK: vfmadd231bf16  268435456(%rbp,%r14,8), %ymm23, %ymm22620// CHECK: encoding: [0x62,0xa6,0x44,0x20,0xb8,0xb4,0xf5,0x00,0x00,0x00,0x10]621          vfmadd231bf16  268435456(%rbp,%r14,8), %ymm23, %ymm22622 623// CHECK: vfmadd231bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}624// CHECK: encoding: [0x62,0xc6,0x44,0x27,0xb8,0xb4,0x80,0x23,0x01,0x00,0x00]625          vfmadd231bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}626 627// CHECK: vfmadd231bf16  (%rip){1to16}, %ymm23, %ymm22628// CHECK: encoding: [0x62,0xe6,0x44,0x30,0xb8,0x35,0x00,0x00,0x00,0x00]629          vfmadd231bf16  (%rip){1to16}, %ymm23, %ymm22630 631// CHECK: vfmadd231bf16  -1024(,%rbp,2), %ymm23, %ymm22632// CHECK: encoding: [0x62,0xe6,0x44,0x20,0xb8,0x34,0x6d,0x00,0xfc,0xff,0xff]633          vfmadd231bf16  -1024(,%rbp,2), %ymm23, %ymm22634 635// CHECK: vfmadd231bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}636// CHECK: encoding: [0x62,0xe6,0x44,0xa7,0xb8,0x71,0x7f]637          vfmadd231bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}638 639// CHECK: vfmadd231bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}640// CHECK: encoding: [0x62,0xe6,0x44,0xb7,0xb8,0x72,0x80]641          vfmadd231bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}642 643// CHECK: vfmadd231bf16  268435456(%rbp,%r14,8), %xmm23, %xmm22644// CHECK: encoding: [0x62,0xa6,0x44,0x00,0xb8,0xb4,0xf5,0x00,0x00,0x00,0x10]645          vfmadd231bf16  268435456(%rbp,%r14,8), %xmm23, %xmm22646 647// CHECK: vfmadd231bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}648// CHECK: encoding: [0x62,0xc6,0x44,0x07,0xb8,0xb4,0x80,0x23,0x01,0x00,0x00]649          vfmadd231bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}650 651// CHECK: vfmadd231bf16  (%rip){1to8}, %xmm23, %xmm22652// CHECK: encoding: [0x62,0xe6,0x44,0x10,0xb8,0x35,0x00,0x00,0x00,0x00]653          vfmadd231bf16  (%rip){1to8}, %xmm23, %xmm22654 655// CHECK: vfmadd231bf16  -512(,%rbp,2), %xmm23, %xmm22656// CHECK: encoding: [0x62,0xe6,0x44,0x00,0xb8,0x34,0x6d,0x00,0xfe,0xff,0xff]657          vfmadd231bf16  -512(,%rbp,2), %xmm23, %xmm22658 659// CHECK: vfmadd231bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}660// CHECK: encoding: [0x62,0xe6,0x44,0x87,0xb8,0x71,0x7f]661          vfmadd231bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}662 663// CHECK: vfmadd231bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}664// CHECK: encoding: [0x62,0xe6,0x44,0x97,0xb8,0x72,0x80]665          vfmadd231bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}666 667// CHECK: vfmsub132bf16 %ymm24, %ymm23, %ymm22668// CHECK: encoding: [0x62,0x86,0x44,0x20,0x9a,0xf0]669          vfmsub132bf16 %ymm24, %ymm23, %ymm22670 671// CHECK: vfmsub132bf16 %ymm24, %ymm23, %ymm22 {%k7}672// CHECK: encoding: [0x62,0x86,0x44,0x27,0x9a,0xf0]673          vfmsub132bf16 %ymm24, %ymm23, %ymm22 {%k7}674 675// CHECK: vfmsub132bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}676// CHECK: encoding: [0x62,0x86,0x44,0xa7,0x9a,0xf0]677          vfmsub132bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}678 679// CHECK: vfmsub132bf16 %zmm24, %zmm23, %zmm22680// CHECK: encoding: [0x62,0x86,0x44,0x40,0x9a,0xf0]681          vfmsub132bf16 %zmm24, %zmm23, %zmm22682 683// CHECK: vfmsub132bf16 %zmm24, %zmm23, %zmm22 {%k7}684// CHECK: encoding: [0x62,0x86,0x44,0x47,0x9a,0xf0]685          vfmsub132bf16 %zmm24, %zmm23, %zmm22 {%k7}686 687// CHECK: vfmsub132bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}688// CHECK: encoding: [0x62,0x86,0x44,0xc7,0x9a,0xf0]689          vfmsub132bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}690 691// CHECK: vfmsub132bf16 %xmm24, %xmm23, %xmm22692// CHECK: encoding: [0x62,0x86,0x44,0x00,0x9a,0xf0]693          vfmsub132bf16 %xmm24, %xmm23, %xmm22694 695// CHECK: vfmsub132bf16 %xmm24, %xmm23, %xmm22 {%k7}696// CHECK: encoding: [0x62,0x86,0x44,0x07,0x9a,0xf0]697          vfmsub132bf16 %xmm24, %xmm23, %xmm22 {%k7}698 699// CHECK: vfmsub132bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}700// CHECK: encoding: [0x62,0x86,0x44,0x87,0x9a,0xf0]701          vfmsub132bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}702 703// CHECK: vfmsub132bf16  268435456(%rbp,%r14,8), %zmm23, %zmm22704// CHECK: encoding: [0x62,0xa6,0x44,0x40,0x9a,0xb4,0xf5,0x00,0x00,0x00,0x10]705          vfmsub132bf16  268435456(%rbp,%r14,8), %zmm23, %zmm22706 707// CHECK: vfmsub132bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}708// CHECK: encoding: [0x62,0xc6,0x44,0x47,0x9a,0xb4,0x80,0x23,0x01,0x00,0x00]709          vfmsub132bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}710 711// CHECK: vfmsub132bf16  (%rip){1to32}, %zmm23, %zmm22712// CHECK: encoding: [0x62,0xe6,0x44,0x50,0x9a,0x35,0x00,0x00,0x00,0x00]713          vfmsub132bf16  (%rip){1to32}, %zmm23, %zmm22714 715// CHECK: vfmsub132bf16  -2048(,%rbp,2), %zmm23, %zmm22716// CHECK: encoding: [0x62,0xe6,0x44,0x40,0x9a,0x34,0x6d,0x00,0xf8,0xff,0xff]717          vfmsub132bf16  -2048(,%rbp,2), %zmm23, %zmm22718 719// CHECK: vfmsub132bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}720// CHECK: encoding: [0x62,0xe6,0x44,0xc7,0x9a,0x71,0x7f]721          vfmsub132bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}722 723// CHECK: vfmsub132bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}724// CHECK: encoding: [0x62,0xe6,0x44,0xd7,0x9a,0x72,0x80]725          vfmsub132bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}726 727// CHECK: vfmsub132bf16  268435456(%rbp,%r14,8), %ymm23, %ymm22728// CHECK: encoding: [0x62,0xa6,0x44,0x20,0x9a,0xb4,0xf5,0x00,0x00,0x00,0x10]729          vfmsub132bf16  268435456(%rbp,%r14,8), %ymm23, %ymm22730 731// CHECK: vfmsub132bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}732// CHECK: encoding: [0x62,0xc6,0x44,0x27,0x9a,0xb4,0x80,0x23,0x01,0x00,0x00]733          vfmsub132bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}734 735// CHECK: vfmsub132bf16  (%rip){1to16}, %ymm23, %ymm22736// CHECK: encoding: [0x62,0xe6,0x44,0x30,0x9a,0x35,0x00,0x00,0x00,0x00]737          vfmsub132bf16  (%rip){1to16}, %ymm23, %ymm22738 739// CHECK: vfmsub132bf16  -1024(,%rbp,2), %ymm23, %ymm22740// CHECK: encoding: [0x62,0xe6,0x44,0x20,0x9a,0x34,0x6d,0x00,0xfc,0xff,0xff]741          vfmsub132bf16  -1024(,%rbp,2), %ymm23, %ymm22742 743// CHECK: vfmsub132bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}744// CHECK: encoding: [0x62,0xe6,0x44,0xa7,0x9a,0x71,0x7f]745          vfmsub132bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}746 747// CHECK: vfmsub132bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}748// CHECK: encoding: [0x62,0xe6,0x44,0xb7,0x9a,0x72,0x80]749          vfmsub132bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}750 751// CHECK: vfmsub132bf16  268435456(%rbp,%r14,8), %xmm23, %xmm22752// CHECK: encoding: [0x62,0xa6,0x44,0x00,0x9a,0xb4,0xf5,0x00,0x00,0x00,0x10]753          vfmsub132bf16  268435456(%rbp,%r14,8), %xmm23, %xmm22754 755// CHECK: vfmsub132bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}756// CHECK: encoding: [0x62,0xc6,0x44,0x07,0x9a,0xb4,0x80,0x23,0x01,0x00,0x00]757          vfmsub132bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}758 759// CHECK: vfmsub132bf16  (%rip){1to8}, %xmm23, %xmm22760// CHECK: encoding: [0x62,0xe6,0x44,0x10,0x9a,0x35,0x00,0x00,0x00,0x00]761          vfmsub132bf16  (%rip){1to8}, %xmm23, %xmm22762 763// CHECK: vfmsub132bf16  -512(,%rbp,2), %xmm23, %xmm22764// CHECK: encoding: [0x62,0xe6,0x44,0x00,0x9a,0x34,0x6d,0x00,0xfe,0xff,0xff]765          vfmsub132bf16  -512(,%rbp,2), %xmm23, %xmm22766 767// CHECK: vfmsub132bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}768// CHECK: encoding: [0x62,0xe6,0x44,0x87,0x9a,0x71,0x7f]769          vfmsub132bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}770 771// CHECK: vfmsub132bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}772// CHECK: encoding: [0x62,0xe6,0x44,0x97,0x9a,0x72,0x80]773          vfmsub132bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}774 775// CHECK: vfmsub213bf16 %ymm24, %ymm23, %ymm22776// CHECK: encoding: [0x62,0x86,0x44,0x20,0xaa,0xf0]777          vfmsub213bf16 %ymm24, %ymm23, %ymm22778 779// CHECK: vfmsub213bf16 %ymm24, %ymm23, %ymm22 {%k7}780// CHECK: encoding: [0x62,0x86,0x44,0x27,0xaa,0xf0]781          vfmsub213bf16 %ymm24, %ymm23, %ymm22 {%k7}782 783// CHECK: vfmsub213bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}784// CHECK: encoding: [0x62,0x86,0x44,0xa7,0xaa,0xf0]785          vfmsub213bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}786 787// CHECK: vfmsub213bf16 %zmm24, %zmm23, %zmm22788// CHECK: encoding: [0x62,0x86,0x44,0x40,0xaa,0xf0]789          vfmsub213bf16 %zmm24, %zmm23, %zmm22790 791// CHECK: vfmsub213bf16 %zmm24, %zmm23, %zmm22 {%k7}792// CHECK: encoding: [0x62,0x86,0x44,0x47,0xaa,0xf0]793          vfmsub213bf16 %zmm24, %zmm23, %zmm22 {%k7}794 795// CHECK: vfmsub213bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}796// CHECK: encoding: [0x62,0x86,0x44,0xc7,0xaa,0xf0]797          vfmsub213bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}798 799// CHECK: vfmsub213bf16 %xmm24, %xmm23, %xmm22800// CHECK: encoding: [0x62,0x86,0x44,0x00,0xaa,0xf0]801          vfmsub213bf16 %xmm24, %xmm23, %xmm22802 803// CHECK: vfmsub213bf16 %xmm24, %xmm23, %xmm22 {%k7}804// CHECK: encoding: [0x62,0x86,0x44,0x07,0xaa,0xf0]805          vfmsub213bf16 %xmm24, %xmm23, %xmm22 {%k7}806 807// CHECK: vfmsub213bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}808// CHECK: encoding: [0x62,0x86,0x44,0x87,0xaa,0xf0]809          vfmsub213bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}810 811// CHECK: vfmsub213bf16  268435456(%rbp,%r14,8), %zmm23, %zmm22812// CHECK: encoding: [0x62,0xa6,0x44,0x40,0xaa,0xb4,0xf5,0x00,0x00,0x00,0x10]813          vfmsub213bf16  268435456(%rbp,%r14,8), %zmm23, %zmm22814 815// CHECK: vfmsub213bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}816// CHECK: encoding: [0x62,0xc6,0x44,0x47,0xaa,0xb4,0x80,0x23,0x01,0x00,0x00]817          vfmsub213bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}818 819// CHECK: vfmsub213bf16  (%rip){1to32}, %zmm23, %zmm22820// CHECK: encoding: [0x62,0xe6,0x44,0x50,0xaa,0x35,0x00,0x00,0x00,0x00]821          vfmsub213bf16  (%rip){1to32}, %zmm23, %zmm22822 823// CHECK: vfmsub213bf16  -2048(,%rbp,2), %zmm23, %zmm22824// CHECK: encoding: [0x62,0xe6,0x44,0x40,0xaa,0x34,0x6d,0x00,0xf8,0xff,0xff]825          vfmsub213bf16  -2048(,%rbp,2), %zmm23, %zmm22826 827// CHECK: vfmsub213bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}828// CHECK: encoding: [0x62,0xe6,0x44,0xc7,0xaa,0x71,0x7f]829          vfmsub213bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}830 831// CHECK: vfmsub213bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}832// CHECK: encoding: [0x62,0xe6,0x44,0xd7,0xaa,0x72,0x80]833          vfmsub213bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}834 835// CHECK: vfmsub213bf16  268435456(%rbp,%r14,8), %ymm23, %ymm22836// CHECK: encoding: [0x62,0xa6,0x44,0x20,0xaa,0xb4,0xf5,0x00,0x00,0x00,0x10]837          vfmsub213bf16  268435456(%rbp,%r14,8), %ymm23, %ymm22838 839// CHECK: vfmsub213bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}840// CHECK: encoding: [0x62,0xc6,0x44,0x27,0xaa,0xb4,0x80,0x23,0x01,0x00,0x00]841          vfmsub213bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}842 843// CHECK: vfmsub213bf16  (%rip){1to16}, %ymm23, %ymm22844// CHECK: encoding: [0x62,0xe6,0x44,0x30,0xaa,0x35,0x00,0x00,0x00,0x00]845          vfmsub213bf16  (%rip){1to16}, %ymm23, %ymm22846 847// CHECK: vfmsub213bf16  -1024(,%rbp,2), %ymm23, %ymm22848// CHECK: encoding: [0x62,0xe6,0x44,0x20,0xaa,0x34,0x6d,0x00,0xfc,0xff,0xff]849          vfmsub213bf16  -1024(,%rbp,2), %ymm23, %ymm22850 851// CHECK: vfmsub213bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}852// CHECK: encoding: [0x62,0xe6,0x44,0xa7,0xaa,0x71,0x7f]853          vfmsub213bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}854 855// CHECK: vfmsub213bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}856// CHECK: encoding: [0x62,0xe6,0x44,0xb7,0xaa,0x72,0x80]857          vfmsub213bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}858 859// CHECK: vfmsub213bf16  268435456(%rbp,%r14,8), %xmm23, %xmm22860// CHECK: encoding: [0x62,0xa6,0x44,0x00,0xaa,0xb4,0xf5,0x00,0x00,0x00,0x10]861          vfmsub213bf16  268435456(%rbp,%r14,8), %xmm23, %xmm22862 863// CHECK: vfmsub213bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}864// CHECK: encoding: [0x62,0xc6,0x44,0x07,0xaa,0xb4,0x80,0x23,0x01,0x00,0x00]865          vfmsub213bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}866 867// CHECK: vfmsub213bf16  (%rip){1to8}, %xmm23, %xmm22868// CHECK: encoding: [0x62,0xe6,0x44,0x10,0xaa,0x35,0x00,0x00,0x00,0x00]869          vfmsub213bf16  (%rip){1to8}, %xmm23, %xmm22870 871// CHECK: vfmsub213bf16  -512(,%rbp,2), %xmm23, %xmm22872// CHECK: encoding: [0x62,0xe6,0x44,0x00,0xaa,0x34,0x6d,0x00,0xfe,0xff,0xff]873          vfmsub213bf16  -512(,%rbp,2), %xmm23, %xmm22874 875// CHECK: vfmsub213bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}876// CHECK: encoding: [0x62,0xe6,0x44,0x87,0xaa,0x71,0x7f]877          vfmsub213bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}878 879// CHECK: vfmsub213bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}880// CHECK: encoding: [0x62,0xe6,0x44,0x97,0xaa,0x72,0x80]881          vfmsub213bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}882 883// CHECK: vfmsub231bf16 %ymm24, %ymm23, %ymm22884// CHECK: encoding: [0x62,0x86,0x44,0x20,0xba,0xf0]885          vfmsub231bf16 %ymm24, %ymm23, %ymm22886 887// CHECK: vfmsub231bf16 %ymm24, %ymm23, %ymm22 {%k7}888// CHECK: encoding: [0x62,0x86,0x44,0x27,0xba,0xf0]889          vfmsub231bf16 %ymm24, %ymm23, %ymm22 {%k7}890 891// CHECK: vfmsub231bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}892// CHECK: encoding: [0x62,0x86,0x44,0xa7,0xba,0xf0]893          vfmsub231bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}894 895// CHECK: vfmsub231bf16 %zmm24, %zmm23, %zmm22896// CHECK: encoding: [0x62,0x86,0x44,0x40,0xba,0xf0]897          vfmsub231bf16 %zmm24, %zmm23, %zmm22898 899// CHECK: vfmsub231bf16 %zmm24, %zmm23, %zmm22 {%k7}900// CHECK: encoding: [0x62,0x86,0x44,0x47,0xba,0xf0]901          vfmsub231bf16 %zmm24, %zmm23, %zmm22 {%k7}902 903// CHECK: vfmsub231bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}904// CHECK: encoding: [0x62,0x86,0x44,0xc7,0xba,0xf0]905          vfmsub231bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}906 907// CHECK: vfmsub231bf16 %xmm24, %xmm23, %xmm22908// CHECK: encoding: [0x62,0x86,0x44,0x00,0xba,0xf0]909          vfmsub231bf16 %xmm24, %xmm23, %xmm22910 911// CHECK: vfmsub231bf16 %xmm24, %xmm23, %xmm22 {%k7}912// CHECK: encoding: [0x62,0x86,0x44,0x07,0xba,0xf0]913          vfmsub231bf16 %xmm24, %xmm23, %xmm22 {%k7}914 915// CHECK: vfmsub231bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}916// CHECK: encoding: [0x62,0x86,0x44,0x87,0xba,0xf0]917          vfmsub231bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}918 919// CHECK: vfmsub231bf16  268435456(%rbp,%r14,8), %zmm23, %zmm22920// CHECK: encoding: [0x62,0xa6,0x44,0x40,0xba,0xb4,0xf5,0x00,0x00,0x00,0x10]921          vfmsub231bf16  268435456(%rbp,%r14,8), %zmm23, %zmm22922 923// CHECK: vfmsub231bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}924// CHECK: encoding: [0x62,0xc6,0x44,0x47,0xba,0xb4,0x80,0x23,0x01,0x00,0x00]925          vfmsub231bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}926 927// CHECK: vfmsub231bf16  (%rip){1to32}, %zmm23, %zmm22928// CHECK: encoding: [0x62,0xe6,0x44,0x50,0xba,0x35,0x00,0x00,0x00,0x00]929          vfmsub231bf16  (%rip){1to32}, %zmm23, %zmm22930 931// CHECK: vfmsub231bf16  -2048(,%rbp,2), %zmm23, %zmm22932// CHECK: encoding: [0x62,0xe6,0x44,0x40,0xba,0x34,0x6d,0x00,0xf8,0xff,0xff]933          vfmsub231bf16  -2048(,%rbp,2), %zmm23, %zmm22934 935// CHECK: vfmsub231bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}936// CHECK: encoding: [0x62,0xe6,0x44,0xc7,0xba,0x71,0x7f]937          vfmsub231bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}938 939// CHECK: vfmsub231bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}940// CHECK: encoding: [0x62,0xe6,0x44,0xd7,0xba,0x72,0x80]941          vfmsub231bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}942 943// CHECK: vfmsub231bf16  268435456(%rbp,%r14,8), %ymm23, %ymm22944// CHECK: encoding: [0x62,0xa6,0x44,0x20,0xba,0xb4,0xf5,0x00,0x00,0x00,0x10]945          vfmsub231bf16  268435456(%rbp,%r14,8), %ymm23, %ymm22946 947// CHECK: vfmsub231bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}948// CHECK: encoding: [0x62,0xc6,0x44,0x27,0xba,0xb4,0x80,0x23,0x01,0x00,0x00]949          vfmsub231bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}950 951// CHECK: vfmsub231bf16  (%rip){1to16}, %ymm23, %ymm22952// CHECK: encoding: [0x62,0xe6,0x44,0x30,0xba,0x35,0x00,0x00,0x00,0x00]953          vfmsub231bf16  (%rip){1to16}, %ymm23, %ymm22954 955// CHECK: vfmsub231bf16  -1024(,%rbp,2), %ymm23, %ymm22956// CHECK: encoding: [0x62,0xe6,0x44,0x20,0xba,0x34,0x6d,0x00,0xfc,0xff,0xff]957          vfmsub231bf16  -1024(,%rbp,2), %ymm23, %ymm22958 959// CHECK: vfmsub231bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}960// CHECK: encoding: [0x62,0xe6,0x44,0xa7,0xba,0x71,0x7f]961          vfmsub231bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}962 963// CHECK: vfmsub231bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}964// CHECK: encoding: [0x62,0xe6,0x44,0xb7,0xba,0x72,0x80]965          vfmsub231bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}966 967// CHECK: vfmsub231bf16  268435456(%rbp,%r14,8), %xmm23, %xmm22968// CHECK: encoding: [0x62,0xa6,0x44,0x00,0xba,0xb4,0xf5,0x00,0x00,0x00,0x10]969          vfmsub231bf16  268435456(%rbp,%r14,8), %xmm23, %xmm22970 971// CHECK: vfmsub231bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}972// CHECK: encoding: [0x62,0xc6,0x44,0x07,0xba,0xb4,0x80,0x23,0x01,0x00,0x00]973          vfmsub231bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}974 975// CHECK: vfmsub231bf16  (%rip){1to8}, %xmm23, %xmm22976// CHECK: encoding: [0x62,0xe6,0x44,0x10,0xba,0x35,0x00,0x00,0x00,0x00]977          vfmsub231bf16  (%rip){1to8}, %xmm23, %xmm22978 979// CHECK: vfmsub231bf16  -512(,%rbp,2), %xmm23, %xmm22980// CHECK: encoding: [0x62,0xe6,0x44,0x00,0xba,0x34,0x6d,0x00,0xfe,0xff,0xff]981          vfmsub231bf16  -512(,%rbp,2), %xmm23, %xmm22982 983// CHECK: vfmsub231bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}984// CHECK: encoding: [0x62,0xe6,0x44,0x87,0xba,0x71,0x7f]985          vfmsub231bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}986 987// CHECK: vfmsub231bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}988// CHECK: encoding: [0x62,0xe6,0x44,0x97,0xba,0x72,0x80]989          vfmsub231bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}990 991// CHECK: vfnmadd132bf16 %ymm24, %ymm23, %ymm22992// CHECK: encoding: [0x62,0x86,0x44,0x20,0x9c,0xf0]993          vfnmadd132bf16 %ymm24, %ymm23, %ymm22994 995// CHECK: vfnmadd132bf16 %ymm24, %ymm23, %ymm22 {%k7}996// CHECK: encoding: [0x62,0x86,0x44,0x27,0x9c,0xf0]997          vfnmadd132bf16 %ymm24, %ymm23, %ymm22 {%k7}998 999// CHECK: vfnmadd132bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}1000// CHECK: encoding: [0x62,0x86,0x44,0xa7,0x9c,0xf0]1001          vfnmadd132bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}1002 1003// CHECK: vfnmadd132bf16 %zmm24, %zmm23, %zmm221004// CHECK: encoding: [0x62,0x86,0x44,0x40,0x9c,0xf0]1005          vfnmadd132bf16 %zmm24, %zmm23, %zmm221006 1007// CHECK: vfnmadd132bf16 %zmm24, %zmm23, %zmm22 {%k7}1008// CHECK: encoding: [0x62,0x86,0x44,0x47,0x9c,0xf0]1009          vfnmadd132bf16 %zmm24, %zmm23, %zmm22 {%k7}1010 1011// CHECK: vfnmadd132bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}1012// CHECK: encoding: [0x62,0x86,0x44,0xc7,0x9c,0xf0]1013          vfnmadd132bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}1014 1015// CHECK: vfnmadd132bf16 %xmm24, %xmm23, %xmm221016// CHECK: encoding: [0x62,0x86,0x44,0x00,0x9c,0xf0]1017          vfnmadd132bf16 %xmm24, %xmm23, %xmm221018 1019// CHECK: vfnmadd132bf16 %xmm24, %xmm23, %xmm22 {%k7}1020// CHECK: encoding: [0x62,0x86,0x44,0x07,0x9c,0xf0]1021          vfnmadd132bf16 %xmm24, %xmm23, %xmm22 {%k7}1022 1023// CHECK: vfnmadd132bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}1024// CHECK: encoding: [0x62,0x86,0x44,0x87,0x9c,0xf0]1025          vfnmadd132bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}1026 1027// CHECK: vfnmadd132bf16  268435456(%rbp,%r14,8), %zmm23, %zmm221028// CHECK: encoding: [0x62,0xa6,0x44,0x40,0x9c,0xb4,0xf5,0x00,0x00,0x00,0x10]1029          vfnmadd132bf16  268435456(%rbp,%r14,8), %zmm23, %zmm221030 1031// CHECK: vfnmadd132bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}1032// CHECK: encoding: [0x62,0xc6,0x44,0x47,0x9c,0xb4,0x80,0x23,0x01,0x00,0x00]1033          vfnmadd132bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}1034 1035// CHECK: vfnmadd132bf16  (%rip){1to32}, %zmm23, %zmm221036// CHECK: encoding: [0x62,0xe6,0x44,0x50,0x9c,0x35,0x00,0x00,0x00,0x00]1037          vfnmadd132bf16  (%rip){1to32}, %zmm23, %zmm221038 1039// CHECK: vfnmadd132bf16  -2048(,%rbp,2), %zmm23, %zmm221040// CHECK: encoding: [0x62,0xe6,0x44,0x40,0x9c,0x34,0x6d,0x00,0xf8,0xff,0xff]1041          vfnmadd132bf16  -2048(,%rbp,2), %zmm23, %zmm221042 1043// CHECK: vfnmadd132bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}1044// CHECK: encoding: [0x62,0xe6,0x44,0xc7,0x9c,0x71,0x7f]1045          vfnmadd132bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}1046 1047// CHECK: vfnmadd132bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}1048// CHECK: encoding: [0x62,0xe6,0x44,0xd7,0x9c,0x72,0x80]1049          vfnmadd132bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}1050 1051// CHECK: vfnmadd132bf16  268435456(%rbp,%r14,8), %ymm23, %ymm221052// CHECK: encoding: [0x62,0xa6,0x44,0x20,0x9c,0xb4,0xf5,0x00,0x00,0x00,0x10]1053          vfnmadd132bf16  268435456(%rbp,%r14,8), %ymm23, %ymm221054 1055// CHECK: vfnmadd132bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}1056// CHECK: encoding: [0x62,0xc6,0x44,0x27,0x9c,0xb4,0x80,0x23,0x01,0x00,0x00]1057          vfnmadd132bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}1058 1059// CHECK: vfnmadd132bf16  (%rip){1to16}, %ymm23, %ymm221060// CHECK: encoding: [0x62,0xe6,0x44,0x30,0x9c,0x35,0x00,0x00,0x00,0x00]1061          vfnmadd132bf16  (%rip){1to16}, %ymm23, %ymm221062 1063// CHECK: vfnmadd132bf16  -1024(,%rbp,2), %ymm23, %ymm221064// CHECK: encoding: [0x62,0xe6,0x44,0x20,0x9c,0x34,0x6d,0x00,0xfc,0xff,0xff]1065          vfnmadd132bf16  -1024(,%rbp,2), %ymm23, %ymm221066 1067// CHECK: vfnmadd132bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}1068// CHECK: encoding: [0x62,0xe6,0x44,0xa7,0x9c,0x71,0x7f]1069          vfnmadd132bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}1070 1071// CHECK: vfnmadd132bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}1072// CHECK: encoding: [0x62,0xe6,0x44,0xb7,0x9c,0x72,0x80]1073          vfnmadd132bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}1074 1075// CHECK: vfnmadd132bf16  268435456(%rbp,%r14,8), %xmm23, %xmm221076// CHECK: encoding: [0x62,0xa6,0x44,0x00,0x9c,0xb4,0xf5,0x00,0x00,0x00,0x10]1077          vfnmadd132bf16  268435456(%rbp,%r14,8), %xmm23, %xmm221078 1079// CHECK: vfnmadd132bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}1080// CHECK: encoding: [0x62,0xc6,0x44,0x07,0x9c,0xb4,0x80,0x23,0x01,0x00,0x00]1081          vfnmadd132bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}1082 1083// CHECK: vfnmadd132bf16  (%rip){1to8}, %xmm23, %xmm221084// CHECK: encoding: [0x62,0xe6,0x44,0x10,0x9c,0x35,0x00,0x00,0x00,0x00]1085          vfnmadd132bf16  (%rip){1to8}, %xmm23, %xmm221086 1087// CHECK: vfnmadd132bf16  -512(,%rbp,2), %xmm23, %xmm221088// CHECK: encoding: [0x62,0xe6,0x44,0x00,0x9c,0x34,0x6d,0x00,0xfe,0xff,0xff]1089          vfnmadd132bf16  -512(,%rbp,2), %xmm23, %xmm221090 1091// CHECK: vfnmadd132bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}1092// CHECK: encoding: [0x62,0xe6,0x44,0x87,0x9c,0x71,0x7f]1093          vfnmadd132bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}1094 1095// CHECK: vfnmadd132bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}1096// CHECK: encoding: [0x62,0xe6,0x44,0x97,0x9c,0x72,0x80]1097          vfnmadd132bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}1098 1099// CHECK: vfnmadd213bf16 %ymm24, %ymm23, %ymm221100// CHECK: encoding: [0x62,0x86,0x44,0x20,0xac,0xf0]1101          vfnmadd213bf16 %ymm24, %ymm23, %ymm221102 1103// CHECK: vfnmadd213bf16 %ymm24, %ymm23, %ymm22 {%k7}1104// CHECK: encoding: [0x62,0x86,0x44,0x27,0xac,0xf0]1105          vfnmadd213bf16 %ymm24, %ymm23, %ymm22 {%k7}1106 1107// CHECK: vfnmadd213bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}1108// CHECK: encoding: [0x62,0x86,0x44,0xa7,0xac,0xf0]1109          vfnmadd213bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}1110 1111// CHECK: vfnmadd213bf16 %zmm24, %zmm23, %zmm221112// CHECK: encoding: [0x62,0x86,0x44,0x40,0xac,0xf0]1113          vfnmadd213bf16 %zmm24, %zmm23, %zmm221114 1115// CHECK: vfnmadd213bf16 %zmm24, %zmm23, %zmm22 {%k7}1116// CHECK: encoding: [0x62,0x86,0x44,0x47,0xac,0xf0]1117          vfnmadd213bf16 %zmm24, %zmm23, %zmm22 {%k7}1118 1119// CHECK: vfnmadd213bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}1120// CHECK: encoding: [0x62,0x86,0x44,0xc7,0xac,0xf0]1121          vfnmadd213bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}1122 1123// CHECK: vfnmadd213bf16 %xmm24, %xmm23, %xmm221124// CHECK: encoding: [0x62,0x86,0x44,0x00,0xac,0xf0]1125          vfnmadd213bf16 %xmm24, %xmm23, %xmm221126 1127// CHECK: vfnmadd213bf16 %xmm24, %xmm23, %xmm22 {%k7}1128// CHECK: encoding: [0x62,0x86,0x44,0x07,0xac,0xf0]1129          vfnmadd213bf16 %xmm24, %xmm23, %xmm22 {%k7}1130 1131// CHECK: vfnmadd213bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}1132// CHECK: encoding: [0x62,0x86,0x44,0x87,0xac,0xf0]1133          vfnmadd213bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}1134 1135// CHECK: vfnmadd213bf16  268435456(%rbp,%r14,8), %zmm23, %zmm221136// CHECK: encoding: [0x62,0xa6,0x44,0x40,0xac,0xb4,0xf5,0x00,0x00,0x00,0x10]1137          vfnmadd213bf16  268435456(%rbp,%r14,8), %zmm23, %zmm221138 1139// CHECK: vfnmadd213bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}1140// CHECK: encoding: [0x62,0xc6,0x44,0x47,0xac,0xb4,0x80,0x23,0x01,0x00,0x00]1141          vfnmadd213bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}1142 1143// CHECK: vfnmadd213bf16  (%rip){1to32}, %zmm23, %zmm221144// CHECK: encoding: [0x62,0xe6,0x44,0x50,0xac,0x35,0x00,0x00,0x00,0x00]1145          vfnmadd213bf16  (%rip){1to32}, %zmm23, %zmm221146 1147// CHECK: vfnmadd213bf16  -2048(,%rbp,2), %zmm23, %zmm221148// CHECK: encoding: [0x62,0xe6,0x44,0x40,0xac,0x34,0x6d,0x00,0xf8,0xff,0xff]1149          vfnmadd213bf16  -2048(,%rbp,2), %zmm23, %zmm221150 1151// CHECK: vfnmadd213bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}1152// CHECK: encoding: [0x62,0xe6,0x44,0xc7,0xac,0x71,0x7f]1153          vfnmadd213bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}1154 1155// CHECK: vfnmadd213bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}1156// CHECK: encoding: [0x62,0xe6,0x44,0xd7,0xac,0x72,0x80]1157          vfnmadd213bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}1158 1159// CHECK: vfnmadd213bf16  268435456(%rbp,%r14,8), %ymm23, %ymm221160// CHECK: encoding: [0x62,0xa6,0x44,0x20,0xac,0xb4,0xf5,0x00,0x00,0x00,0x10]1161          vfnmadd213bf16  268435456(%rbp,%r14,8), %ymm23, %ymm221162 1163// CHECK: vfnmadd213bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}1164// CHECK: encoding: [0x62,0xc6,0x44,0x27,0xac,0xb4,0x80,0x23,0x01,0x00,0x00]1165          vfnmadd213bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}1166 1167// CHECK: vfnmadd213bf16  (%rip){1to16}, %ymm23, %ymm221168// CHECK: encoding: [0x62,0xe6,0x44,0x30,0xac,0x35,0x00,0x00,0x00,0x00]1169          vfnmadd213bf16  (%rip){1to16}, %ymm23, %ymm221170 1171// CHECK: vfnmadd213bf16  -1024(,%rbp,2), %ymm23, %ymm221172// CHECK: encoding: [0x62,0xe6,0x44,0x20,0xac,0x34,0x6d,0x00,0xfc,0xff,0xff]1173          vfnmadd213bf16  -1024(,%rbp,2), %ymm23, %ymm221174 1175// CHECK: vfnmadd213bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}1176// CHECK: encoding: [0x62,0xe6,0x44,0xa7,0xac,0x71,0x7f]1177          vfnmadd213bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}1178 1179// CHECK: vfnmadd213bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}1180// CHECK: encoding: [0x62,0xe6,0x44,0xb7,0xac,0x72,0x80]1181          vfnmadd213bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}1182 1183// CHECK: vfnmadd213bf16  268435456(%rbp,%r14,8), %xmm23, %xmm221184// CHECK: encoding: [0x62,0xa6,0x44,0x00,0xac,0xb4,0xf5,0x00,0x00,0x00,0x10]1185          vfnmadd213bf16  268435456(%rbp,%r14,8), %xmm23, %xmm221186 1187// CHECK: vfnmadd213bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}1188// CHECK: encoding: [0x62,0xc6,0x44,0x07,0xac,0xb4,0x80,0x23,0x01,0x00,0x00]1189          vfnmadd213bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}1190 1191// CHECK: vfnmadd213bf16  (%rip){1to8}, %xmm23, %xmm221192// CHECK: encoding: [0x62,0xe6,0x44,0x10,0xac,0x35,0x00,0x00,0x00,0x00]1193          vfnmadd213bf16  (%rip){1to8}, %xmm23, %xmm221194 1195// CHECK: vfnmadd213bf16  -512(,%rbp,2), %xmm23, %xmm221196// CHECK: encoding: [0x62,0xe6,0x44,0x00,0xac,0x34,0x6d,0x00,0xfe,0xff,0xff]1197          vfnmadd213bf16  -512(,%rbp,2), %xmm23, %xmm221198 1199// CHECK: vfnmadd213bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}1200// CHECK: encoding: [0x62,0xe6,0x44,0x87,0xac,0x71,0x7f]1201          vfnmadd213bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}1202 1203// CHECK: vfnmadd213bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}1204// CHECK: encoding: [0x62,0xe6,0x44,0x97,0xac,0x72,0x80]1205          vfnmadd213bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}1206 1207// CHECK: vfnmadd231bf16 %ymm24, %ymm23, %ymm221208// CHECK: encoding: [0x62,0x86,0x44,0x20,0xbc,0xf0]1209          vfnmadd231bf16 %ymm24, %ymm23, %ymm221210 1211// CHECK: vfnmadd231bf16 %ymm24, %ymm23, %ymm22 {%k7}1212// CHECK: encoding: [0x62,0x86,0x44,0x27,0xbc,0xf0]1213          vfnmadd231bf16 %ymm24, %ymm23, %ymm22 {%k7}1214 1215// CHECK: vfnmadd231bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}1216// CHECK: encoding: [0x62,0x86,0x44,0xa7,0xbc,0xf0]1217          vfnmadd231bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}1218 1219// CHECK: vfnmadd231bf16 %zmm24, %zmm23, %zmm221220// CHECK: encoding: [0x62,0x86,0x44,0x40,0xbc,0xf0]1221          vfnmadd231bf16 %zmm24, %zmm23, %zmm221222 1223// CHECK: vfnmadd231bf16 %zmm24, %zmm23, %zmm22 {%k7}1224// CHECK: encoding: [0x62,0x86,0x44,0x47,0xbc,0xf0]1225          vfnmadd231bf16 %zmm24, %zmm23, %zmm22 {%k7}1226 1227// CHECK: vfnmadd231bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}1228// CHECK: encoding: [0x62,0x86,0x44,0xc7,0xbc,0xf0]1229          vfnmadd231bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}1230 1231// CHECK: vfnmadd231bf16 %xmm24, %xmm23, %xmm221232// CHECK: encoding: [0x62,0x86,0x44,0x00,0xbc,0xf0]1233          vfnmadd231bf16 %xmm24, %xmm23, %xmm221234 1235// CHECK: vfnmadd231bf16 %xmm24, %xmm23, %xmm22 {%k7}1236// CHECK: encoding: [0x62,0x86,0x44,0x07,0xbc,0xf0]1237          vfnmadd231bf16 %xmm24, %xmm23, %xmm22 {%k7}1238 1239// CHECK: vfnmadd231bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}1240// CHECK: encoding: [0x62,0x86,0x44,0x87,0xbc,0xf0]1241          vfnmadd231bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}1242 1243// CHECK: vfnmadd231bf16  268435456(%rbp,%r14,8), %zmm23, %zmm221244// CHECK: encoding: [0x62,0xa6,0x44,0x40,0xbc,0xb4,0xf5,0x00,0x00,0x00,0x10]1245          vfnmadd231bf16  268435456(%rbp,%r14,8), %zmm23, %zmm221246 1247// CHECK: vfnmadd231bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}1248// CHECK: encoding: [0x62,0xc6,0x44,0x47,0xbc,0xb4,0x80,0x23,0x01,0x00,0x00]1249          vfnmadd231bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}1250 1251// CHECK: vfnmadd231bf16  (%rip){1to32}, %zmm23, %zmm221252// CHECK: encoding: [0x62,0xe6,0x44,0x50,0xbc,0x35,0x00,0x00,0x00,0x00]1253          vfnmadd231bf16  (%rip){1to32}, %zmm23, %zmm221254 1255// CHECK: vfnmadd231bf16  -2048(,%rbp,2), %zmm23, %zmm221256// CHECK: encoding: [0x62,0xe6,0x44,0x40,0xbc,0x34,0x6d,0x00,0xf8,0xff,0xff]1257          vfnmadd231bf16  -2048(,%rbp,2), %zmm23, %zmm221258 1259// CHECK: vfnmadd231bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}1260// CHECK: encoding: [0x62,0xe6,0x44,0xc7,0xbc,0x71,0x7f]1261          vfnmadd231bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}1262 1263// CHECK: vfnmadd231bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}1264// CHECK: encoding: [0x62,0xe6,0x44,0xd7,0xbc,0x72,0x80]1265          vfnmadd231bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}1266 1267// CHECK: vfnmadd231bf16  268435456(%rbp,%r14,8), %ymm23, %ymm221268// CHECK: encoding: [0x62,0xa6,0x44,0x20,0xbc,0xb4,0xf5,0x00,0x00,0x00,0x10]1269          vfnmadd231bf16  268435456(%rbp,%r14,8), %ymm23, %ymm221270 1271// CHECK: vfnmadd231bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}1272// CHECK: encoding: [0x62,0xc6,0x44,0x27,0xbc,0xb4,0x80,0x23,0x01,0x00,0x00]1273          vfnmadd231bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}1274 1275// CHECK: vfnmadd231bf16  (%rip){1to16}, %ymm23, %ymm221276// CHECK: encoding: [0x62,0xe6,0x44,0x30,0xbc,0x35,0x00,0x00,0x00,0x00]1277          vfnmadd231bf16  (%rip){1to16}, %ymm23, %ymm221278 1279// CHECK: vfnmadd231bf16  -1024(,%rbp,2), %ymm23, %ymm221280// CHECK: encoding: [0x62,0xe6,0x44,0x20,0xbc,0x34,0x6d,0x00,0xfc,0xff,0xff]1281          vfnmadd231bf16  -1024(,%rbp,2), %ymm23, %ymm221282 1283// CHECK: vfnmadd231bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}1284// CHECK: encoding: [0x62,0xe6,0x44,0xa7,0xbc,0x71,0x7f]1285          vfnmadd231bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}1286 1287// CHECK: vfnmadd231bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}1288// CHECK: encoding: [0x62,0xe6,0x44,0xb7,0xbc,0x72,0x80]1289          vfnmadd231bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}1290 1291// CHECK: vfnmadd231bf16  268435456(%rbp,%r14,8), %xmm23, %xmm221292// CHECK: encoding: [0x62,0xa6,0x44,0x00,0xbc,0xb4,0xf5,0x00,0x00,0x00,0x10]1293          vfnmadd231bf16  268435456(%rbp,%r14,8), %xmm23, %xmm221294 1295// CHECK: vfnmadd231bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}1296// CHECK: encoding: [0x62,0xc6,0x44,0x07,0xbc,0xb4,0x80,0x23,0x01,0x00,0x00]1297          vfnmadd231bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}1298 1299// CHECK: vfnmadd231bf16  (%rip){1to8}, %xmm23, %xmm221300// CHECK: encoding: [0x62,0xe6,0x44,0x10,0xbc,0x35,0x00,0x00,0x00,0x00]1301          vfnmadd231bf16  (%rip){1to8}, %xmm23, %xmm221302 1303// CHECK: vfnmadd231bf16  -512(,%rbp,2), %xmm23, %xmm221304// CHECK: encoding: [0x62,0xe6,0x44,0x00,0xbc,0x34,0x6d,0x00,0xfe,0xff,0xff]1305          vfnmadd231bf16  -512(,%rbp,2), %xmm23, %xmm221306 1307// CHECK: vfnmadd231bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}1308// CHECK: encoding: [0x62,0xe6,0x44,0x87,0xbc,0x71,0x7f]1309          vfnmadd231bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}1310 1311// CHECK: vfnmadd231bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}1312// CHECK: encoding: [0x62,0xe6,0x44,0x97,0xbc,0x72,0x80]1313          vfnmadd231bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}1314 1315// CHECK: vfnmsub132bf16 %ymm24, %ymm23, %ymm221316// CHECK: encoding: [0x62,0x86,0x44,0x20,0x9e,0xf0]1317          vfnmsub132bf16 %ymm24, %ymm23, %ymm221318 1319// CHECK: vfnmsub132bf16 %ymm24, %ymm23, %ymm22 {%k7}1320// CHECK: encoding: [0x62,0x86,0x44,0x27,0x9e,0xf0]1321          vfnmsub132bf16 %ymm24, %ymm23, %ymm22 {%k7}1322 1323// CHECK: vfnmsub132bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}1324// CHECK: encoding: [0x62,0x86,0x44,0xa7,0x9e,0xf0]1325          vfnmsub132bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}1326 1327// CHECK: vfnmsub132bf16 %zmm24, %zmm23, %zmm221328// CHECK: encoding: [0x62,0x86,0x44,0x40,0x9e,0xf0]1329          vfnmsub132bf16 %zmm24, %zmm23, %zmm221330 1331// CHECK: vfnmsub132bf16 %zmm24, %zmm23, %zmm22 {%k7}1332// CHECK: encoding: [0x62,0x86,0x44,0x47,0x9e,0xf0]1333          vfnmsub132bf16 %zmm24, %zmm23, %zmm22 {%k7}1334 1335// CHECK: vfnmsub132bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}1336// CHECK: encoding: [0x62,0x86,0x44,0xc7,0x9e,0xf0]1337          vfnmsub132bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}1338 1339// CHECK: vfnmsub132bf16 %xmm24, %xmm23, %xmm221340// CHECK: encoding: [0x62,0x86,0x44,0x00,0x9e,0xf0]1341          vfnmsub132bf16 %xmm24, %xmm23, %xmm221342 1343// CHECK: vfnmsub132bf16 %xmm24, %xmm23, %xmm22 {%k7}1344// CHECK: encoding: [0x62,0x86,0x44,0x07,0x9e,0xf0]1345          vfnmsub132bf16 %xmm24, %xmm23, %xmm22 {%k7}1346 1347// CHECK: vfnmsub132bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}1348// CHECK: encoding: [0x62,0x86,0x44,0x87,0x9e,0xf0]1349          vfnmsub132bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}1350 1351// CHECK: vfnmsub132bf16  268435456(%rbp,%r14,8), %zmm23, %zmm221352// CHECK: encoding: [0x62,0xa6,0x44,0x40,0x9e,0xb4,0xf5,0x00,0x00,0x00,0x10]1353          vfnmsub132bf16  268435456(%rbp,%r14,8), %zmm23, %zmm221354 1355// CHECK: vfnmsub132bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}1356// CHECK: encoding: [0x62,0xc6,0x44,0x47,0x9e,0xb4,0x80,0x23,0x01,0x00,0x00]1357          vfnmsub132bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}1358 1359// CHECK: vfnmsub132bf16  (%rip){1to32}, %zmm23, %zmm221360// CHECK: encoding: [0x62,0xe6,0x44,0x50,0x9e,0x35,0x00,0x00,0x00,0x00]1361          vfnmsub132bf16  (%rip){1to32}, %zmm23, %zmm221362 1363// CHECK: vfnmsub132bf16  -2048(,%rbp,2), %zmm23, %zmm221364// CHECK: encoding: [0x62,0xe6,0x44,0x40,0x9e,0x34,0x6d,0x00,0xf8,0xff,0xff]1365          vfnmsub132bf16  -2048(,%rbp,2), %zmm23, %zmm221366 1367// CHECK: vfnmsub132bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}1368// CHECK: encoding: [0x62,0xe6,0x44,0xc7,0x9e,0x71,0x7f]1369          vfnmsub132bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}1370 1371// CHECK: vfnmsub132bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}1372// CHECK: encoding: [0x62,0xe6,0x44,0xd7,0x9e,0x72,0x80]1373          vfnmsub132bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}1374 1375// CHECK: vfnmsub132bf16  268435456(%rbp,%r14,8), %ymm23, %ymm221376// CHECK: encoding: [0x62,0xa6,0x44,0x20,0x9e,0xb4,0xf5,0x00,0x00,0x00,0x10]1377          vfnmsub132bf16  268435456(%rbp,%r14,8), %ymm23, %ymm221378 1379// CHECK: vfnmsub132bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}1380// CHECK: encoding: [0x62,0xc6,0x44,0x27,0x9e,0xb4,0x80,0x23,0x01,0x00,0x00]1381          vfnmsub132bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}1382 1383// CHECK: vfnmsub132bf16  (%rip){1to16}, %ymm23, %ymm221384// CHECK: encoding: [0x62,0xe6,0x44,0x30,0x9e,0x35,0x00,0x00,0x00,0x00]1385          vfnmsub132bf16  (%rip){1to16}, %ymm23, %ymm221386 1387// CHECK: vfnmsub132bf16  -1024(,%rbp,2), %ymm23, %ymm221388// CHECK: encoding: [0x62,0xe6,0x44,0x20,0x9e,0x34,0x6d,0x00,0xfc,0xff,0xff]1389          vfnmsub132bf16  -1024(,%rbp,2), %ymm23, %ymm221390 1391// CHECK: vfnmsub132bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}1392// CHECK: encoding: [0x62,0xe6,0x44,0xa7,0x9e,0x71,0x7f]1393          vfnmsub132bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}1394 1395// CHECK: vfnmsub132bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}1396// CHECK: encoding: [0x62,0xe6,0x44,0xb7,0x9e,0x72,0x80]1397          vfnmsub132bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}1398 1399// CHECK: vfnmsub132bf16  268435456(%rbp,%r14,8), %xmm23, %xmm221400// CHECK: encoding: [0x62,0xa6,0x44,0x00,0x9e,0xb4,0xf5,0x00,0x00,0x00,0x10]1401          vfnmsub132bf16  268435456(%rbp,%r14,8), %xmm23, %xmm221402 1403// CHECK: vfnmsub132bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}1404// CHECK: encoding: [0x62,0xc6,0x44,0x07,0x9e,0xb4,0x80,0x23,0x01,0x00,0x00]1405          vfnmsub132bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}1406 1407// CHECK: vfnmsub132bf16  (%rip){1to8}, %xmm23, %xmm221408// CHECK: encoding: [0x62,0xe6,0x44,0x10,0x9e,0x35,0x00,0x00,0x00,0x00]1409          vfnmsub132bf16  (%rip){1to8}, %xmm23, %xmm221410 1411// CHECK: vfnmsub132bf16  -512(,%rbp,2), %xmm23, %xmm221412// CHECK: encoding: [0x62,0xe6,0x44,0x00,0x9e,0x34,0x6d,0x00,0xfe,0xff,0xff]1413          vfnmsub132bf16  -512(,%rbp,2), %xmm23, %xmm221414 1415// CHECK: vfnmsub132bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}1416// CHECK: encoding: [0x62,0xe6,0x44,0x87,0x9e,0x71,0x7f]1417          vfnmsub132bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}1418 1419// CHECK: vfnmsub132bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}1420// CHECK: encoding: [0x62,0xe6,0x44,0x97,0x9e,0x72,0x80]1421          vfnmsub132bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}1422 1423// CHECK: vfnmsub213bf16 %ymm24, %ymm23, %ymm221424// CHECK: encoding: [0x62,0x86,0x44,0x20,0xae,0xf0]1425          vfnmsub213bf16 %ymm24, %ymm23, %ymm221426 1427// CHECK: vfnmsub213bf16 %ymm24, %ymm23, %ymm22 {%k7}1428// CHECK: encoding: [0x62,0x86,0x44,0x27,0xae,0xf0]1429          vfnmsub213bf16 %ymm24, %ymm23, %ymm22 {%k7}1430 1431// CHECK: vfnmsub213bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}1432// CHECK: encoding: [0x62,0x86,0x44,0xa7,0xae,0xf0]1433          vfnmsub213bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}1434 1435// CHECK: vfnmsub213bf16 %zmm24, %zmm23, %zmm221436// CHECK: encoding: [0x62,0x86,0x44,0x40,0xae,0xf0]1437          vfnmsub213bf16 %zmm24, %zmm23, %zmm221438 1439// CHECK: vfnmsub213bf16 %zmm24, %zmm23, %zmm22 {%k7}1440// CHECK: encoding: [0x62,0x86,0x44,0x47,0xae,0xf0]1441          vfnmsub213bf16 %zmm24, %zmm23, %zmm22 {%k7}1442 1443// CHECK: vfnmsub213bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}1444// CHECK: encoding: [0x62,0x86,0x44,0xc7,0xae,0xf0]1445          vfnmsub213bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}1446 1447// CHECK: vfnmsub213bf16 %xmm24, %xmm23, %xmm221448// CHECK: encoding: [0x62,0x86,0x44,0x00,0xae,0xf0]1449          vfnmsub213bf16 %xmm24, %xmm23, %xmm221450 1451// CHECK: vfnmsub213bf16 %xmm24, %xmm23, %xmm22 {%k7}1452// CHECK: encoding: [0x62,0x86,0x44,0x07,0xae,0xf0]1453          vfnmsub213bf16 %xmm24, %xmm23, %xmm22 {%k7}1454 1455// CHECK: vfnmsub213bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}1456// CHECK: encoding: [0x62,0x86,0x44,0x87,0xae,0xf0]1457          vfnmsub213bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}1458 1459// CHECK: vfnmsub213bf16  268435456(%rbp,%r14,8), %zmm23, %zmm221460// CHECK: encoding: [0x62,0xa6,0x44,0x40,0xae,0xb4,0xf5,0x00,0x00,0x00,0x10]1461          vfnmsub213bf16  268435456(%rbp,%r14,8), %zmm23, %zmm221462 1463// CHECK: vfnmsub213bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}1464// CHECK: encoding: [0x62,0xc6,0x44,0x47,0xae,0xb4,0x80,0x23,0x01,0x00,0x00]1465          vfnmsub213bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}1466 1467// CHECK: vfnmsub213bf16  (%rip){1to32}, %zmm23, %zmm221468// CHECK: encoding: [0x62,0xe6,0x44,0x50,0xae,0x35,0x00,0x00,0x00,0x00]1469          vfnmsub213bf16  (%rip){1to32}, %zmm23, %zmm221470 1471// CHECK: vfnmsub213bf16  -2048(,%rbp,2), %zmm23, %zmm221472// CHECK: encoding: [0x62,0xe6,0x44,0x40,0xae,0x34,0x6d,0x00,0xf8,0xff,0xff]1473          vfnmsub213bf16  -2048(,%rbp,2), %zmm23, %zmm221474 1475// CHECK: vfnmsub213bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}1476// CHECK: encoding: [0x62,0xe6,0x44,0xc7,0xae,0x71,0x7f]1477          vfnmsub213bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}1478 1479// CHECK: vfnmsub213bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}1480// CHECK: encoding: [0x62,0xe6,0x44,0xd7,0xae,0x72,0x80]1481          vfnmsub213bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}1482 1483// CHECK: vfnmsub213bf16  268435456(%rbp,%r14,8), %ymm23, %ymm221484// CHECK: encoding: [0x62,0xa6,0x44,0x20,0xae,0xb4,0xf5,0x00,0x00,0x00,0x10]1485          vfnmsub213bf16  268435456(%rbp,%r14,8), %ymm23, %ymm221486 1487// CHECK: vfnmsub213bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}1488// CHECK: encoding: [0x62,0xc6,0x44,0x27,0xae,0xb4,0x80,0x23,0x01,0x00,0x00]1489          vfnmsub213bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}1490 1491// CHECK: vfnmsub213bf16  (%rip){1to16}, %ymm23, %ymm221492// CHECK: encoding: [0x62,0xe6,0x44,0x30,0xae,0x35,0x00,0x00,0x00,0x00]1493          vfnmsub213bf16  (%rip){1to16}, %ymm23, %ymm221494 1495// CHECK: vfnmsub213bf16  -1024(,%rbp,2), %ymm23, %ymm221496// CHECK: encoding: [0x62,0xe6,0x44,0x20,0xae,0x34,0x6d,0x00,0xfc,0xff,0xff]1497          vfnmsub213bf16  -1024(,%rbp,2), %ymm23, %ymm221498 1499// CHECK: vfnmsub213bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}1500// CHECK: encoding: [0x62,0xe6,0x44,0xa7,0xae,0x71,0x7f]1501          vfnmsub213bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}1502 1503// CHECK: vfnmsub213bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}1504// CHECK: encoding: [0x62,0xe6,0x44,0xb7,0xae,0x72,0x80]1505          vfnmsub213bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}1506 1507// CHECK: vfnmsub213bf16  268435456(%rbp,%r14,8), %xmm23, %xmm221508// CHECK: encoding: [0x62,0xa6,0x44,0x00,0xae,0xb4,0xf5,0x00,0x00,0x00,0x10]1509          vfnmsub213bf16  268435456(%rbp,%r14,8), %xmm23, %xmm221510 1511// CHECK: vfnmsub213bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}1512// CHECK: encoding: [0x62,0xc6,0x44,0x07,0xae,0xb4,0x80,0x23,0x01,0x00,0x00]1513          vfnmsub213bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}1514 1515// CHECK: vfnmsub213bf16  (%rip){1to8}, %xmm23, %xmm221516// CHECK: encoding: [0x62,0xe6,0x44,0x10,0xae,0x35,0x00,0x00,0x00,0x00]1517          vfnmsub213bf16  (%rip){1to8}, %xmm23, %xmm221518 1519// CHECK: vfnmsub213bf16  -512(,%rbp,2), %xmm23, %xmm221520// CHECK: encoding: [0x62,0xe6,0x44,0x00,0xae,0x34,0x6d,0x00,0xfe,0xff,0xff]1521          vfnmsub213bf16  -512(,%rbp,2), %xmm23, %xmm221522 1523// CHECK: vfnmsub213bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}1524// CHECK: encoding: [0x62,0xe6,0x44,0x87,0xae,0x71,0x7f]1525          vfnmsub213bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}1526 1527// CHECK: vfnmsub213bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}1528// CHECK: encoding: [0x62,0xe6,0x44,0x97,0xae,0x72,0x80]1529          vfnmsub213bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}1530 1531// CHECK: vfnmsub231bf16 %ymm24, %ymm23, %ymm221532// CHECK: encoding: [0x62,0x86,0x44,0x20,0xbe,0xf0]1533          vfnmsub231bf16 %ymm24, %ymm23, %ymm221534 1535// CHECK: vfnmsub231bf16 %ymm24, %ymm23, %ymm22 {%k7}1536// CHECK: encoding: [0x62,0x86,0x44,0x27,0xbe,0xf0]1537          vfnmsub231bf16 %ymm24, %ymm23, %ymm22 {%k7}1538 1539// CHECK: vfnmsub231bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}1540// CHECK: encoding: [0x62,0x86,0x44,0xa7,0xbe,0xf0]1541          vfnmsub231bf16 %ymm24, %ymm23, %ymm22 {%k7} {z}1542 1543// CHECK: vfnmsub231bf16 %zmm24, %zmm23, %zmm221544// CHECK: encoding: [0x62,0x86,0x44,0x40,0xbe,0xf0]1545          vfnmsub231bf16 %zmm24, %zmm23, %zmm221546 1547// CHECK: vfnmsub231bf16 %zmm24, %zmm23, %zmm22 {%k7}1548// CHECK: encoding: [0x62,0x86,0x44,0x47,0xbe,0xf0]1549          vfnmsub231bf16 %zmm24, %zmm23, %zmm22 {%k7}1550 1551// CHECK: vfnmsub231bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}1552// CHECK: encoding: [0x62,0x86,0x44,0xc7,0xbe,0xf0]1553          vfnmsub231bf16 %zmm24, %zmm23, %zmm22 {%k7} {z}1554 1555// CHECK: vfnmsub231bf16 %xmm24, %xmm23, %xmm221556// CHECK: encoding: [0x62,0x86,0x44,0x00,0xbe,0xf0]1557          vfnmsub231bf16 %xmm24, %xmm23, %xmm221558 1559// CHECK: vfnmsub231bf16 %xmm24, %xmm23, %xmm22 {%k7}1560// CHECK: encoding: [0x62,0x86,0x44,0x07,0xbe,0xf0]1561          vfnmsub231bf16 %xmm24, %xmm23, %xmm22 {%k7}1562 1563// CHECK: vfnmsub231bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}1564// CHECK: encoding: [0x62,0x86,0x44,0x87,0xbe,0xf0]1565          vfnmsub231bf16 %xmm24, %xmm23, %xmm22 {%k7} {z}1566 1567// CHECK: vfnmsub231bf16  268435456(%rbp,%r14,8), %zmm23, %zmm221568// CHECK: encoding: [0x62,0xa6,0x44,0x40,0xbe,0xb4,0xf5,0x00,0x00,0x00,0x10]1569          vfnmsub231bf16  268435456(%rbp,%r14,8), %zmm23, %zmm221570 1571// CHECK: vfnmsub231bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}1572// CHECK: encoding: [0x62,0xc6,0x44,0x47,0xbe,0xb4,0x80,0x23,0x01,0x00,0x00]1573          vfnmsub231bf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}1574 1575// CHECK: vfnmsub231bf16  (%rip){1to32}, %zmm23, %zmm221576// CHECK: encoding: [0x62,0xe6,0x44,0x50,0xbe,0x35,0x00,0x00,0x00,0x00]1577          vfnmsub231bf16  (%rip){1to32}, %zmm23, %zmm221578 1579// CHECK: vfnmsub231bf16  -2048(,%rbp,2), %zmm23, %zmm221580// CHECK: encoding: [0x62,0xe6,0x44,0x40,0xbe,0x34,0x6d,0x00,0xf8,0xff,0xff]1581          vfnmsub231bf16  -2048(,%rbp,2), %zmm23, %zmm221582 1583// CHECK: vfnmsub231bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}1584// CHECK: encoding: [0x62,0xe6,0x44,0xc7,0xbe,0x71,0x7f]1585          vfnmsub231bf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}1586 1587// CHECK: vfnmsub231bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}1588// CHECK: encoding: [0x62,0xe6,0x44,0xd7,0xbe,0x72,0x80]1589          vfnmsub231bf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}1590 1591// CHECK: vfnmsub231bf16  268435456(%rbp,%r14,8), %ymm23, %ymm221592// CHECK: encoding: [0x62,0xa6,0x44,0x20,0xbe,0xb4,0xf5,0x00,0x00,0x00,0x10]1593          vfnmsub231bf16  268435456(%rbp,%r14,8), %ymm23, %ymm221594 1595// CHECK: vfnmsub231bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}1596// CHECK: encoding: [0x62,0xc6,0x44,0x27,0xbe,0xb4,0x80,0x23,0x01,0x00,0x00]1597          vfnmsub231bf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}1598 1599// CHECK: vfnmsub231bf16  (%rip){1to16}, %ymm23, %ymm221600// CHECK: encoding: [0x62,0xe6,0x44,0x30,0xbe,0x35,0x00,0x00,0x00,0x00]1601          vfnmsub231bf16  (%rip){1to16}, %ymm23, %ymm221602 1603// CHECK: vfnmsub231bf16  -1024(,%rbp,2), %ymm23, %ymm221604// CHECK: encoding: [0x62,0xe6,0x44,0x20,0xbe,0x34,0x6d,0x00,0xfc,0xff,0xff]1605          vfnmsub231bf16  -1024(,%rbp,2), %ymm23, %ymm221606 1607// CHECK: vfnmsub231bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}1608// CHECK: encoding: [0x62,0xe6,0x44,0xa7,0xbe,0x71,0x7f]1609          vfnmsub231bf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}1610 1611// CHECK: vfnmsub231bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}1612// CHECK: encoding: [0x62,0xe6,0x44,0xb7,0xbe,0x72,0x80]1613          vfnmsub231bf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}1614 1615// CHECK: vfnmsub231bf16  268435456(%rbp,%r14,8), %xmm23, %xmm221616// CHECK: encoding: [0x62,0xa6,0x44,0x00,0xbe,0xb4,0xf5,0x00,0x00,0x00,0x10]1617          vfnmsub231bf16  268435456(%rbp,%r14,8), %xmm23, %xmm221618 1619// CHECK: vfnmsub231bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}1620// CHECK: encoding: [0x62,0xc6,0x44,0x07,0xbe,0xb4,0x80,0x23,0x01,0x00,0x00]1621          vfnmsub231bf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}1622 1623// CHECK: vfnmsub231bf16  (%rip){1to8}, %xmm23, %xmm221624// CHECK: encoding: [0x62,0xe6,0x44,0x10,0xbe,0x35,0x00,0x00,0x00,0x00]1625          vfnmsub231bf16  (%rip){1to8}, %xmm23, %xmm221626 1627// CHECK: vfnmsub231bf16  -512(,%rbp,2), %xmm23, %xmm221628// CHECK: encoding: [0x62,0xe6,0x44,0x00,0xbe,0x34,0x6d,0x00,0xfe,0xff,0xff]1629          vfnmsub231bf16  -512(,%rbp,2), %xmm23, %xmm221630 1631// CHECK: vfnmsub231bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}1632// CHECK: encoding: [0x62,0xe6,0x44,0x87,0xbe,0x71,0x7f]1633          vfnmsub231bf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}1634 1635// CHECK: vfnmsub231bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}1636// CHECK: encoding: [0x62,0xe6,0x44,0x97,0xbe,0x72,0x80]1637          vfnmsub231bf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}1638 1639// CHECK: vfpclassbf16 $123, %zmm23, %k51640// CHECK: encoding: [0x62,0xb3,0x7f,0x48,0x66,0xef,0x7b]1641          vfpclassbf16 $123, %zmm23, %k51642 1643// CHECK: vfpclassbf16 $123, %zmm23, %k5 {%k7}1644// CHECK: encoding: [0x62,0xb3,0x7f,0x4f,0x66,0xef,0x7b]1645          vfpclassbf16 $123, %zmm23, %k5 {%k7}1646 1647// CHECK: vfpclassbf16 $123, %ymm23, %k51648// CHECK: encoding: [0x62,0xb3,0x7f,0x28,0x66,0xef,0x7b]1649          vfpclassbf16 $123, %ymm23, %k51650 1651// CHECK: vfpclassbf16 $123, %ymm23, %k5 {%k7}1652// CHECK: encoding: [0x62,0xb3,0x7f,0x2f,0x66,0xef,0x7b]1653          vfpclassbf16 $123, %ymm23, %k5 {%k7}1654 1655// CHECK: vfpclassbf16 $123, %xmm23, %k51656// CHECK: encoding: [0x62,0xb3,0x7f,0x08,0x66,0xef,0x7b]1657          vfpclassbf16 $123, %xmm23, %k51658 1659// CHECK: vfpclassbf16 $123, %xmm23, %k5 {%k7}1660// CHECK: encoding: [0x62,0xb3,0x7f,0x0f,0x66,0xef,0x7b]1661          vfpclassbf16 $123, %xmm23, %k5 {%k7}1662 1663// CHECK: vfpclassbf16x  $123, 268435456(%rbp,%r14,8), %k51664// CHECK: encoding: [0x62,0xb3,0x7f,0x08,0x66,0xac,0xf5,0x00,0x00,0x00,0x10,0x7b]1665          vfpclassbf16x  $123, 268435456(%rbp,%r14,8), %k51666 1667// CHECK: vfpclassbf16x  $123, 291(%r8,%rax,4), %k5 {%k7}1668// CHECK: encoding: [0x62,0xd3,0x7f,0x0f,0x66,0xac,0x80,0x23,0x01,0x00,0x00,0x7b]1669          vfpclassbf16x  $123, 291(%r8,%rax,4), %k5 {%k7}1670 1671// CHECK: vfpclassbf16  $123, (%rip){1to8}, %k51672// CHECK: encoding: [0x62,0xf3,0x7f,0x18,0x66,0x2d,0x00,0x00,0x00,0x00,0x7b]1673          vfpclassbf16  $123, (%rip){1to8}, %k51674 1675// CHECK: vfpclassbf16x  $123, -512(,%rbp,2), %k51676// CHECK: encoding: [0x62,0xf3,0x7f,0x08,0x66,0x2c,0x6d,0x00,0xfe,0xff,0xff,0x7b]1677          vfpclassbf16x  $123, -512(,%rbp,2), %k51678 1679// CHECK: vfpclassbf16x  $123, 2032(%rcx), %k5 {%k7}1680// CHECK: encoding: [0x62,0xf3,0x7f,0x0f,0x66,0x69,0x7f,0x7b]1681          vfpclassbf16x  $123, 2032(%rcx), %k5 {%k7}1682 1683// CHECK: vfpclassbf16  $123, -256(%rdx){1to8}, %k5 {%k7}1684// CHECK: encoding: [0x62,0xf3,0x7f,0x1f,0x66,0x6a,0x80,0x7b]1685          vfpclassbf16  $123, -256(%rdx){1to8}, %k5 {%k7}1686 1687// CHECK: vfpclassbf16  $123, (%rip){1to16}, %k51688// CHECK: encoding: [0x62,0xf3,0x7f,0x38,0x66,0x2d,0x00,0x00,0x00,0x00,0x7b]1689          vfpclassbf16  $123, (%rip){1to16}, %k51690 1691// CHECK: vfpclassbf16y  $123, -1024(,%rbp,2), %k51692// CHECK: encoding: [0x62,0xf3,0x7f,0x28,0x66,0x2c,0x6d,0x00,0xfc,0xff,0xff,0x7b]1693          vfpclassbf16y  $123, -1024(,%rbp,2), %k51694 1695// CHECK: vfpclassbf16y  $123, 4064(%rcx), %k5 {%k7}1696// CHECK: encoding: [0x62,0xf3,0x7f,0x2f,0x66,0x69,0x7f,0x7b]1697          vfpclassbf16y  $123, 4064(%rcx), %k5 {%k7}1698 1699// CHECK: vfpclassbf16  $123, -256(%rdx){1to16}, %k5 {%k7}1700// CHECK: encoding: [0x62,0xf3,0x7f,0x3f,0x66,0x6a,0x80,0x7b]1701          vfpclassbf16  $123, -256(%rdx){1to16}, %k5 {%k7}1702 1703// CHECK: vfpclassbf16  $123, (%rip){1to32}, %k51704// CHECK: encoding: [0x62,0xf3,0x7f,0x58,0x66,0x2d,0x00,0x00,0x00,0x00,0x7b]1705          vfpclassbf16  $123, (%rip){1to32}, %k51706 1707// CHECK: vfpclassbf16z  $123, -2048(,%rbp,2), %k51708// CHECK: encoding: [0x62,0xf3,0x7f,0x48,0x66,0x2c,0x6d,0x00,0xf8,0xff,0xff,0x7b]1709          vfpclassbf16z  $123, -2048(,%rbp,2), %k51710 1711// CHECK: vfpclassbf16z  $123, 8128(%rcx), %k5 {%k7}1712// CHECK: encoding: [0x62,0xf3,0x7f,0x4f,0x66,0x69,0x7f,0x7b]1713          vfpclassbf16z  $123, 8128(%rcx), %k5 {%k7}1714 1715// CHECK: vfpclassbf16  $123, -256(%rdx){1to32}, %k5 {%k7}1716// CHECK: encoding: [0x62,0xf3,0x7f,0x5f,0x66,0x6a,0x80,0x7b]1717          vfpclassbf16  $123, -256(%rdx){1to32}, %k5 {%k7}1718 1719// CHECK: vgetexpbf16 %xmm23, %xmm221720// CHECK: encoding: [0x62,0xa6,0x7c,0x08,0x42,0xf7]1721          vgetexpbf16 %xmm23, %xmm221722 1723// CHECK: vgetexpbf16 %xmm23, %xmm22 {%k7}1724// CHECK: encoding: [0x62,0xa6,0x7c,0x0f,0x42,0xf7]1725          vgetexpbf16 %xmm23, %xmm22 {%k7}1726 1727// CHECK: vgetexpbf16 %xmm23, %xmm22 {%k7} {z}1728// CHECK: encoding: [0x62,0xa6,0x7c,0x8f,0x42,0xf7]1729          vgetexpbf16 %xmm23, %xmm22 {%k7} {z}1730 1731// CHECK: vgetexpbf16 %zmm23, %zmm221732// CHECK: encoding: [0x62,0xa6,0x7c,0x48,0x42,0xf7]1733          vgetexpbf16 %zmm23, %zmm221734 1735// CHECK: vgetexpbf16 %zmm23, %zmm22 {%k7}1736// CHECK: encoding: [0x62,0xa6,0x7c,0x4f,0x42,0xf7]1737          vgetexpbf16 %zmm23, %zmm22 {%k7}1738 1739// CHECK: vgetexpbf16 %zmm23, %zmm22 {%k7} {z}1740// CHECK: encoding: [0x62,0xa6,0x7c,0xcf,0x42,0xf7]1741          vgetexpbf16 %zmm23, %zmm22 {%k7} {z}1742 1743// CHECK: vgetexpbf16 %ymm23, %ymm221744// CHECK: encoding: [0x62,0xa6,0x7c,0x28,0x42,0xf7]1745          vgetexpbf16 %ymm23, %ymm221746 1747// CHECK: vgetexpbf16 %ymm23, %ymm22 {%k7}1748// CHECK: encoding: [0x62,0xa6,0x7c,0x2f,0x42,0xf7]1749          vgetexpbf16 %ymm23, %ymm22 {%k7}1750 1751// CHECK: vgetexpbf16 %ymm23, %ymm22 {%k7} {z}1752// CHECK: encoding: [0x62,0xa6,0x7c,0xaf,0x42,0xf7]1753          vgetexpbf16 %ymm23, %ymm22 {%k7} {z}1754 1755// CHECK: vgetexpbf16  268435456(%rbp,%r14,8), %xmm221756// CHECK: encoding: [0x62,0xa6,0x7c,0x08,0x42,0xb4,0xf5,0x00,0x00,0x00,0x10]1757          vgetexpbf16  268435456(%rbp,%r14,8), %xmm221758 1759// CHECK: vgetexpbf16  291(%r8,%rax,4), %xmm22 {%k7}1760// CHECK: encoding: [0x62,0xc6,0x7c,0x0f,0x42,0xb4,0x80,0x23,0x01,0x00,0x00]1761          vgetexpbf16  291(%r8,%rax,4), %xmm22 {%k7}1762 1763// CHECK: vgetexpbf16  (%rip){1to8}, %xmm221764// CHECK: encoding: [0x62,0xe6,0x7c,0x18,0x42,0x35,0x00,0x00,0x00,0x00]1765          vgetexpbf16  (%rip){1to8}, %xmm221766 1767// CHECK: vgetexpbf16  -512(,%rbp,2), %xmm221768// CHECK: encoding: [0x62,0xe6,0x7c,0x08,0x42,0x34,0x6d,0x00,0xfe,0xff,0xff]1769          vgetexpbf16  -512(,%rbp,2), %xmm221770 1771// CHECK: vgetexpbf16  2032(%rcx), %xmm22 {%k7} {z}1772// CHECK: encoding: [0x62,0xe6,0x7c,0x8f,0x42,0x71,0x7f]1773          vgetexpbf16  2032(%rcx), %xmm22 {%k7} {z}1774 1775// CHECK: vgetexpbf16  -256(%rdx){1to8}, %xmm22 {%k7} {z}1776// CHECK: encoding: [0x62,0xe6,0x7c,0x9f,0x42,0x72,0x80]1777          vgetexpbf16  -256(%rdx){1to8}, %xmm22 {%k7} {z}1778 1779// CHECK: vgetexpbf16  268435456(%rbp,%r14,8), %ymm221780// CHECK: encoding: [0x62,0xa6,0x7c,0x28,0x42,0xb4,0xf5,0x00,0x00,0x00,0x10]1781          vgetexpbf16  268435456(%rbp,%r14,8), %ymm221782 1783// CHECK: vgetexpbf16  291(%r8,%rax,4), %ymm22 {%k7}1784// CHECK: encoding: [0x62,0xc6,0x7c,0x2f,0x42,0xb4,0x80,0x23,0x01,0x00,0x00]1785          vgetexpbf16  291(%r8,%rax,4), %ymm22 {%k7}1786 1787// CHECK: vgetexpbf16  (%rip){1to16}, %ymm221788// CHECK: encoding: [0x62,0xe6,0x7c,0x38,0x42,0x35,0x00,0x00,0x00,0x00]1789          vgetexpbf16  (%rip){1to16}, %ymm221790 1791// CHECK: vgetexpbf16  -1024(,%rbp,2), %ymm221792// CHECK: encoding: [0x62,0xe6,0x7c,0x28,0x42,0x34,0x6d,0x00,0xfc,0xff,0xff]1793          vgetexpbf16  -1024(,%rbp,2), %ymm221794 1795// CHECK: vgetexpbf16  4064(%rcx), %ymm22 {%k7} {z}1796// CHECK: encoding: [0x62,0xe6,0x7c,0xaf,0x42,0x71,0x7f]1797          vgetexpbf16  4064(%rcx), %ymm22 {%k7} {z}1798 1799// CHECK: vgetexpbf16  -256(%rdx){1to16}, %ymm22 {%k7} {z}1800// CHECK: encoding: [0x62,0xe6,0x7c,0xbf,0x42,0x72,0x80]1801          vgetexpbf16  -256(%rdx){1to16}, %ymm22 {%k7} {z}1802 1803// CHECK: vgetexpbf16  268435456(%rbp,%r14,8), %zmm221804// CHECK: encoding: [0x62,0xa6,0x7c,0x48,0x42,0xb4,0xf5,0x00,0x00,0x00,0x10]1805          vgetexpbf16  268435456(%rbp,%r14,8), %zmm221806 1807// CHECK: vgetexpbf16  291(%r8,%rax,4), %zmm22 {%k7}1808// CHECK: encoding: [0x62,0xc6,0x7c,0x4f,0x42,0xb4,0x80,0x23,0x01,0x00,0x00]1809          vgetexpbf16  291(%r8,%rax,4), %zmm22 {%k7}1810 1811// CHECK: vgetexpbf16  (%rip){1to32}, %zmm221812// CHECK: encoding: [0x62,0xe6,0x7c,0x58,0x42,0x35,0x00,0x00,0x00,0x00]1813          vgetexpbf16  (%rip){1to32}, %zmm221814 1815// CHECK: vgetexpbf16  -2048(,%rbp,2), %zmm221816// CHECK: encoding: [0x62,0xe6,0x7c,0x48,0x42,0x34,0x6d,0x00,0xf8,0xff,0xff]1817          vgetexpbf16  -2048(,%rbp,2), %zmm221818 1819// CHECK: vgetexpbf16  8128(%rcx), %zmm22 {%k7} {z}1820// CHECK: encoding: [0x62,0xe6,0x7c,0xcf,0x42,0x71,0x7f]1821          vgetexpbf16  8128(%rcx), %zmm22 {%k7} {z}1822 1823// CHECK: vgetexpbf16  -256(%rdx){1to32}, %zmm22 {%k7} {z}1824// CHECK: encoding: [0x62,0xe6,0x7c,0xdf,0x42,0x72,0x80]1825          vgetexpbf16  -256(%rdx){1to32}, %zmm22 {%k7} {z}1826 1827// CHECK: vgetmantbf16 $123, %zmm23, %zmm221828// CHECK: encoding: [0x62,0xa3,0x7f,0x48,0x26,0xf7,0x7b]1829          vgetmantbf16 $123, %zmm23, %zmm221830 1831// CHECK: vgetmantbf16 $123, %zmm23, %zmm22 {%k7}1832// CHECK: encoding: [0x62,0xa3,0x7f,0x4f,0x26,0xf7,0x7b]1833          vgetmantbf16 $123, %zmm23, %zmm22 {%k7}1834 1835// CHECK: vgetmantbf16 $123, %zmm23, %zmm22 {%k7} {z}1836// CHECK: encoding: [0x62,0xa3,0x7f,0xcf,0x26,0xf7,0x7b]1837          vgetmantbf16 $123, %zmm23, %zmm22 {%k7} {z}1838 1839// CHECK: vgetmantbf16 $123, %ymm23, %ymm221840// CHECK: encoding: [0x62,0xa3,0x7f,0x28,0x26,0xf7,0x7b]1841          vgetmantbf16 $123, %ymm23, %ymm221842 1843// CHECK: vgetmantbf16 $123, %ymm23, %ymm22 {%k7}1844// CHECK: encoding: [0x62,0xa3,0x7f,0x2f,0x26,0xf7,0x7b]1845          vgetmantbf16 $123, %ymm23, %ymm22 {%k7}1846 1847// CHECK: vgetmantbf16 $123, %ymm23, %ymm22 {%k7} {z}1848// CHECK: encoding: [0x62,0xa3,0x7f,0xaf,0x26,0xf7,0x7b]1849          vgetmantbf16 $123, %ymm23, %ymm22 {%k7} {z}1850 1851// CHECK: vgetmantbf16 $123, %xmm23, %xmm221852// CHECK: encoding: [0x62,0xa3,0x7f,0x08,0x26,0xf7,0x7b]1853          vgetmantbf16 $123, %xmm23, %xmm221854 1855// CHECK: vgetmantbf16 $123, %xmm23, %xmm22 {%k7}1856// CHECK: encoding: [0x62,0xa3,0x7f,0x0f,0x26,0xf7,0x7b]1857          vgetmantbf16 $123, %xmm23, %xmm22 {%k7}1858 1859// CHECK: vgetmantbf16 $123, %xmm23, %xmm22 {%k7} {z}1860// CHECK: encoding: [0x62,0xa3,0x7f,0x8f,0x26,0xf7,0x7b]1861          vgetmantbf16 $123, %xmm23, %xmm22 {%k7} {z}1862 1863// CHECK: vgetmantbf16  $123, 268435456(%rbp,%r14,8), %xmm221864// CHECK: encoding: [0x62,0xa3,0x7f,0x08,0x26,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]1865          vgetmantbf16  $123, 268435456(%rbp,%r14,8), %xmm221866 1867// CHECK: vgetmantbf16  $123, 291(%r8,%rax,4), %xmm22 {%k7}1868// CHECK: encoding: [0x62,0xc3,0x7f,0x0f,0x26,0xb4,0x80,0x23,0x01,0x00,0x00,0x7b]1869          vgetmantbf16  $123, 291(%r8,%rax,4), %xmm22 {%k7}1870 1871// CHECK: vgetmantbf16  $123, (%rip){1to8}, %xmm221872// CHECK: encoding: [0x62,0xe3,0x7f,0x18,0x26,0x35,0x00,0x00,0x00,0x00,0x7b]1873          vgetmantbf16  $123, (%rip){1to8}, %xmm221874 1875// CHECK: vgetmantbf16  $123, -512(,%rbp,2), %xmm221876// CHECK: encoding: [0x62,0xe3,0x7f,0x08,0x26,0x34,0x6d,0x00,0xfe,0xff,0xff,0x7b]1877          vgetmantbf16  $123, -512(,%rbp,2), %xmm221878 1879// CHECK: vgetmantbf16  $123, 2032(%rcx), %xmm22 {%k7} {z}1880// CHECK: encoding: [0x62,0xe3,0x7f,0x8f,0x26,0x71,0x7f,0x7b]1881          vgetmantbf16  $123, 2032(%rcx), %xmm22 {%k7} {z}1882 1883// CHECK: vgetmantbf16  $123, -256(%rdx){1to8}, %xmm22 {%k7} {z}1884// CHECK: encoding: [0x62,0xe3,0x7f,0x9f,0x26,0x72,0x80,0x7b]1885          vgetmantbf16  $123, -256(%rdx){1to8}, %xmm22 {%k7} {z}1886 1887// CHECK: vgetmantbf16  $123, 268435456(%rbp,%r14,8), %ymm221888// CHECK: encoding: [0x62,0xa3,0x7f,0x28,0x26,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]1889          vgetmantbf16  $123, 268435456(%rbp,%r14,8), %ymm221890 1891// CHECK: vgetmantbf16  $123, 291(%r8,%rax,4), %ymm22 {%k7}1892// CHECK: encoding: [0x62,0xc3,0x7f,0x2f,0x26,0xb4,0x80,0x23,0x01,0x00,0x00,0x7b]1893          vgetmantbf16  $123, 291(%r8,%rax,4), %ymm22 {%k7}1894 1895// CHECK: vgetmantbf16  $123, (%rip){1to16}, %ymm221896// CHECK: encoding: [0x62,0xe3,0x7f,0x38,0x26,0x35,0x00,0x00,0x00,0x00,0x7b]1897          vgetmantbf16  $123, (%rip){1to16}, %ymm221898 1899// CHECK: vgetmantbf16  $123, -1024(,%rbp,2), %ymm221900// CHECK: encoding: [0x62,0xe3,0x7f,0x28,0x26,0x34,0x6d,0x00,0xfc,0xff,0xff,0x7b]1901          vgetmantbf16  $123, -1024(,%rbp,2), %ymm221902 1903// CHECK: vgetmantbf16  $123, 4064(%rcx), %ymm22 {%k7} {z}1904// CHECK: encoding: [0x62,0xe3,0x7f,0xaf,0x26,0x71,0x7f,0x7b]1905          vgetmantbf16  $123, 4064(%rcx), %ymm22 {%k7} {z}1906 1907// CHECK: vgetmantbf16  $123, -256(%rdx){1to16}, %ymm22 {%k7} {z}1908// CHECK: encoding: [0x62,0xe3,0x7f,0xbf,0x26,0x72,0x80,0x7b]1909          vgetmantbf16  $123, -256(%rdx){1to16}, %ymm22 {%k7} {z}1910 1911// CHECK: vgetmantbf16  $123, 268435456(%rbp,%r14,8), %zmm221912// CHECK: encoding: [0x62,0xa3,0x7f,0x48,0x26,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]1913          vgetmantbf16  $123, 268435456(%rbp,%r14,8), %zmm221914 1915// CHECK: vgetmantbf16  $123, 291(%r8,%rax,4), %zmm22 {%k7}1916// CHECK: encoding: [0x62,0xc3,0x7f,0x4f,0x26,0xb4,0x80,0x23,0x01,0x00,0x00,0x7b]1917          vgetmantbf16  $123, 291(%r8,%rax,4), %zmm22 {%k7}1918 1919// CHECK: vgetmantbf16  $123, (%rip){1to32}, %zmm221920// CHECK: encoding: [0x62,0xe3,0x7f,0x58,0x26,0x35,0x00,0x00,0x00,0x00,0x7b]1921          vgetmantbf16  $123, (%rip){1to32}, %zmm221922 1923// CHECK: vgetmantbf16  $123, -2048(,%rbp,2), %zmm221924// CHECK: encoding: [0x62,0xe3,0x7f,0x48,0x26,0x34,0x6d,0x00,0xf8,0xff,0xff,0x7b]1925          vgetmantbf16  $123, -2048(,%rbp,2), %zmm221926 1927// CHECK: vgetmantbf16  $123, 8128(%rcx), %zmm22 {%k7} {z}1928// CHECK: encoding: [0x62,0xe3,0x7f,0xcf,0x26,0x71,0x7f,0x7b]1929          vgetmantbf16  $123, 8128(%rcx), %zmm22 {%k7} {z}1930 1931// CHECK: vgetmantbf16  $123, -256(%rdx){1to32}, %zmm22 {%k7} {z}1932// CHECK: encoding: [0x62,0xe3,0x7f,0xdf,0x26,0x72,0x80,0x7b]1933          vgetmantbf16  $123, -256(%rdx){1to32}, %zmm22 {%k7} {z}1934 1935// CHECK: vmaxbf16 %ymm24, %ymm23, %ymm221936// CHECK: encoding: [0x62,0x85,0x45,0x20,0x5f,0xf0]1937          vmaxbf16 %ymm24, %ymm23, %ymm221938 1939// CHECK: vmaxbf16 %ymm24, %ymm23, %ymm22 {%k7}1940// CHECK: encoding: [0x62,0x85,0x45,0x27,0x5f,0xf0]1941          vmaxbf16 %ymm24, %ymm23, %ymm22 {%k7}1942 1943// CHECK: vmaxbf16 %ymm24, %ymm23, %ymm22 {%k7} {z}1944// CHECK: encoding: [0x62,0x85,0x45,0xa7,0x5f,0xf0]1945          vmaxbf16 %ymm24, %ymm23, %ymm22 {%k7} {z}1946 1947// CHECK: vmaxbf16 %zmm24, %zmm23, %zmm221948// CHECK: encoding: [0x62,0x85,0x45,0x40,0x5f,0xf0]1949          vmaxbf16 %zmm24, %zmm23, %zmm221950 1951// CHECK: vmaxbf16 %zmm24, %zmm23, %zmm22 {%k7}1952// CHECK: encoding: [0x62,0x85,0x45,0x47,0x5f,0xf0]1953          vmaxbf16 %zmm24, %zmm23, %zmm22 {%k7}1954 1955// CHECK: vmaxbf16 %zmm24, %zmm23, %zmm22 {%k7} {z}1956// CHECK: encoding: [0x62,0x85,0x45,0xc7,0x5f,0xf0]1957          vmaxbf16 %zmm24, %zmm23, %zmm22 {%k7} {z}1958 1959// CHECK: vmaxbf16 %xmm24, %xmm23, %xmm221960// CHECK: encoding: [0x62,0x85,0x45,0x00,0x5f,0xf0]1961          vmaxbf16 %xmm24, %xmm23, %xmm221962 1963// CHECK: vmaxbf16 %xmm24, %xmm23, %xmm22 {%k7}1964// CHECK: encoding: [0x62,0x85,0x45,0x07,0x5f,0xf0]1965          vmaxbf16 %xmm24, %xmm23, %xmm22 {%k7}1966 1967// CHECK: vmaxbf16 %xmm24, %xmm23, %xmm22 {%k7} {z}1968// CHECK: encoding: [0x62,0x85,0x45,0x87,0x5f,0xf0]1969          vmaxbf16 %xmm24, %xmm23, %xmm22 {%k7} {z}1970 1971// CHECK: vmaxbf16  268435456(%rbp,%r14,8), %zmm23, %zmm221972// CHECK: encoding: [0x62,0xa5,0x45,0x40,0x5f,0xb4,0xf5,0x00,0x00,0x00,0x10]1973          vmaxbf16  268435456(%rbp,%r14,8), %zmm23, %zmm221974 1975// CHECK: vmaxbf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}1976// CHECK: encoding: [0x62,0xc5,0x45,0x47,0x5f,0xb4,0x80,0x23,0x01,0x00,0x00]1977          vmaxbf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}1978 1979// CHECK: vmaxbf16  (%rip){1to32}, %zmm23, %zmm221980// CHECK: encoding: [0x62,0xe5,0x45,0x50,0x5f,0x35,0x00,0x00,0x00,0x00]1981          vmaxbf16  (%rip){1to32}, %zmm23, %zmm221982 1983// CHECK: vmaxbf16  -2048(,%rbp,2), %zmm23, %zmm221984// CHECK: encoding: [0x62,0xe5,0x45,0x40,0x5f,0x34,0x6d,0x00,0xf8,0xff,0xff]1985          vmaxbf16  -2048(,%rbp,2), %zmm23, %zmm221986 1987// CHECK: vmaxbf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}1988// CHECK: encoding: [0x62,0xe5,0x45,0xc7,0x5f,0x71,0x7f]1989          vmaxbf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}1990 1991// CHECK: vmaxbf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}1992// CHECK: encoding: [0x62,0xe5,0x45,0xd7,0x5f,0x72,0x80]1993          vmaxbf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}1994 1995// CHECK: vmaxbf16  268435456(%rbp,%r14,8), %ymm23, %ymm221996// CHECK: encoding: [0x62,0xa5,0x45,0x20,0x5f,0xb4,0xf5,0x00,0x00,0x00,0x10]1997          vmaxbf16  268435456(%rbp,%r14,8), %ymm23, %ymm221998 1999// CHECK: vmaxbf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}2000// CHECK: encoding: [0x62,0xc5,0x45,0x27,0x5f,0xb4,0x80,0x23,0x01,0x00,0x00]2001          vmaxbf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}2002 2003// CHECK: vmaxbf16  (%rip){1to16}, %ymm23, %ymm222004// CHECK: encoding: [0x62,0xe5,0x45,0x30,0x5f,0x35,0x00,0x00,0x00,0x00]2005          vmaxbf16  (%rip){1to16}, %ymm23, %ymm222006 2007// CHECK: vmaxbf16  -1024(,%rbp,2), %ymm23, %ymm222008// CHECK: encoding: [0x62,0xe5,0x45,0x20,0x5f,0x34,0x6d,0x00,0xfc,0xff,0xff]2009          vmaxbf16  -1024(,%rbp,2), %ymm23, %ymm222010 2011// CHECK: vmaxbf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}2012// CHECK: encoding: [0x62,0xe5,0x45,0xa7,0x5f,0x71,0x7f]2013          vmaxbf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}2014 2015// CHECK: vmaxbf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}2016// CHECK: encoding: [0x62,0xe5,0x45,0xb7,0x5f,0x72,0x80]2017          vmaxbf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}2018 2019// CHECK: vmaxbf16  268435456(%rbp,%r14,8), %xmm23, %xmm222020// CHECK: encoding: [0x62,0xa5,0x45,0x00,0x5f,0xb4,0xf5,0x00,0x00,0x00,0x10]2021          vmaxbf16  268435456(%rbp,%r14,8), %xmm23, %xmm222022 2023// CHECK: vmaxbf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}2024// CHECK: encoding: [0x62,0xc5,0x45,0x07,0x5f,0xb4,0x80,0x23,0x01,0x00,0x00]2025          vmaxbf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}2026 2027// CHECK: vmaxbf16  (%rip){1to8}, %xmm23, %xmm222028// CHECK: encoding: [0x62,0xe5,0x45,0x10,0x5f,0x35,0x00,0x00,0x00,0x00]2029          vmaxbf16  (%rip){1to8}, %xmm23, %xmm222030 2031// CHECK: vmaxbf16  -512(,%rbp,2), %xmm23, %xmm222032// CHECK: encoding: [0x62,0xe5,0x45,0x00,0x5f,0x34,0x6d,0x00,0xfe,0xff,0xff]2033          vmaxbf16  -512(,%rbp,2), %xmm23, %xmm222034 2035// CHECK: vmaxbf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}2036// CHECK: encoding: [0x62,0xe5,0x45,0x87,0x5f,0x71,0x7f]2037          vmaxbf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}2038 2039// CHECK: vmaxbf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}2040// CHECK: encoding: [0x62,0xe5,0x45,0x97,0x5f,0x72,0x80]2041          vmaxbf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}2042 2043// CHECK: vminbf16 %ymm24, %ymm23, %ymm222044// CHECK: encoding: [0x62,0x85,0x45,0x20,0x5d,0xf0]2045          vminbf16 %ymm24, %ymm23, %ymm222046 2047// CHECK: vminbf16 %ymm24, %ymm23, %ymm22 {%k7}2048// CHECK: encoding: [0x62,0x85,0x45,0x27,0x5d,0xf0]2049          vminbf16 %ymm24, %ymm23, %ymm22 {%k7}2050 2051// CHECK: vminbf16 %ymm24, %ymm23, %ymm22 {%k7} {z}2052// CHECK: encoding: [0x62,0x85,0x45,0xa7,0x5d,0xf0]2053          vminbf16 %ymm24, %ymm23, %ymm22 {%k7} {z}2054 2055// CHECK: vminbf16 %zmm24, %zmm23, %zmm222056// CHECK: encoding: [0x62,0x85,0x45,0x40,0x5d,0xf0]2057          vminbf16 %zmm24, %zmm23, %zmm222058 2059// CHECK: vminbf16 %zmm24, %zmm23, %zmm22 {%k7}2060// CHECK: encoding: [0x62,0x85,0x45,0x47,0x5d,0xf0]2061          vminbf16 %zmm24, %zmm23, %zmm22 {%k7}2062 2063// CHECK: vminbf16 %zmm24, %zmm23, %zmm22 {%k7} {z}2064// CHECK: encoding: [0x62,0x85,0x45,0xc7,0x5d,0xf0]2065          vminbf16 %zmm24, %zmm23, %zmm22 {%k7} {z}2066 2067// CHECK: vminbf16 %xmm24, %xmm23, %xmm222068// CHECK: encoding: [0x62,0x85,0x45,0x00,0x5d,0xf0]2069          vminbf16 %xmm24, %xmm23, %xmm222070 2071// CHECK: vminbf16 %xmm24, %xmm23, %xmm22 {%k7}2072// CHECK: encoding: [0x62,0x85,0x45,0x07,0x5d,0xf0]2073          vminbf16 %xmm24, %xmm23, %xmm22 {%k7}2074 2075// CHECK: vminbf16 %xmm24, %xmm23, %xmm22 {%k7} {z}2076// CHECK: encoding: [0x62,0x85,0x45,0x87,0x5d,0xf0]2077          vminbf16 %xmm24, %xmm23, %xmm22 {%k7} {z}2078 2079// CHECK: vminbf16  268435456(%rbp,%r14,8), %zmm23, %zmm222080// CHECK: encoding: [0x62,0xa5,0x45,0x40,0x5d,0xb4,0xf5,0x00,0x00,0x00,0x10]2081          vminbf16  268435456(%rbp,%r14,8), %zmm23, %zmm222082 2083// CHECK: vminbf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}2084// CHECK: encoding: [0x62,0xc5,0x45,0x47,0x5d,0xb4,0x80,0x23,0x01,0x00,0x00]2085          vminbf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}2086 2087// CHECK: vminbf16  (%rip){1to32}, %zmm23, %zmm222088// CHECK: encoding: [0x62,0xe5,0x45,0x50,0x5d,0x35,0x00,0x00,0x00,0x00]2089          vminbf16  (%rip){1to32}, %zmm23, %zmm222090 2091// CHECK: vminbf16  -2048(,%rbp,2), %zmm23, %zmm222092// CHECK: encoding: [0x62,0xe5,0x45,0x40,0x5d,0x34,0x6d,0x00,0xf8,0xff,0xff]2093          vminbf16  -2048(,%rbp,2), %zmm23, %zmm222094 2095// CHECK: vminbf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}2096// CHECK: encoding: [0x62,0xe5,0x45,0xc7,0x5d,0x71,0x7f]2097          vminbf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}2098 2099// CHECK: vminbf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}2100// CHECK: encoding: [0x62,0xe5,0x45,0xd7,0x5d,0x72,0x80]2101          vminbf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}2102 2103// CHECK: vminbf16  268435456(%rbp,%r14,8), %ymm23, %ymm222104// CHECK: encoding: [0x62,0xa5,0x45,0x20,0x5d,0xb4,0xf5,0x00,0x00,0x00,0x10]2105          vminbf16  268435456(%rbp,%r14,8), %ymm23, %ymm222106 2107// CHECK: vminbf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}2108// CHECK: encoding: [0x62,0xc5,0x45,0x27,0x5d,0xb4,0x80,0x23,0x01,0x00,0x00]2109          vminbf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}2110 2111// CHECK: vminbf16  (%rip){1to16}, %ymm23, %ymm222112// CHECK: encoding: [0x62,0xe5,0x45,0x30,0x5d,0x35,0x00,0x00,0x00,0x00]2113          vminbf16  (%rip){1to16}, %ymm23, %ymm222114 2115// CHECK: vminbf16  -1024(,%rbp,2), %ymm23, %ymm222116// CHECK: encoding: [0x62,0xe5,0x45,0x20,0x5d,0x34,0x6d,0x00,0xfc,0xff,0xff]2117          vminbf16  -1024(,%rbp,2), %ymm23, %ymm222118 2119// CHECK: vminbf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}2120// CHECK: encoding: [0x62,0xe5,0x45,0xa7,0x5d,0x71,0x7f]2121          vminbf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}2122 2123// CHECK: vminbf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}2124// CHECK: encoding: [0x62,0xe5,0x45,0xb7,0x5d,0x72,0x80]2125          vminbf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}2126 2127// CHECK: vminbf16  268435456(%rbp,%r14,8), %xmm23, %xmm222128// CHECK: encoding: [0x62,0xa5,0x45,0x00,0x5d,0xb4,0xf5,0x00,0x00,0x00,0x10]2129          vminbf16  268435456(%rbp,%r14,8), %xmm23, %xmm222130 2131// CHECK: vminbf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}2132// CHECK: encoding: [0x62,0xc5,0x45,0x07,0x5d,0xb4,0x80,0x23,0x01,0x00,0x00]2133          vminbf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}2134 2135// CHECK: vminbf16  (%rip){1to8}, %xmm23, %xmm222136// CHECK: encoding: [0x62,0xe5,0x45,0x10,0x5d,0x35,0x00,0x00,0x00,0x00]2137          vminbf16  (%rip){1to8}, %xmm23, %xmm222138 2139// CHECK: vminbf16  -512(,%rbp,2), %xmm23, %xmm222140// CHECK: encoding: [0x62,0xe5,0x45,0x00,0x5d,0x34,0x6d,0x00,0xfe,0xff,0xff]2141          vminbf16  -512(,%rbp,2), %xmm23, %xmm222142 2143// CHECK: vminbf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}2144// CHECK: encoding: [0x62,0xe5,0x45,0x87,0x5d,0x71,0x7f]2145          vminbf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}2146 2147// CHECK: vminbf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}2148// CHECK: encoding: [0x62,0xe5,0x45,0x97,0x5d,0x72,0x80]2149          vminbf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}2150 2151// CHECK: vmulbf16 %ymm24, %ymm23, %ymm222152// CHECK: encoding: [0x62,0x85,0x45,0x20,0x59,0xf0]2153          vmulbf16 %ymm24, %ymm23, %ymm222154 2155// CHECK: vmulbf16 %ymm24, %ymm23, %ymm22 {%k7}2156// CHECK: encoding: [0x62,0x85,0x45,0x27,0x59,0xf0]2157          vmulbf16 %ymm24, %ymm23, %ymm22 {%k7}2158 2159// CHECK: vmulbf16 %ymm24, %ymm23, %ymm22 {%k7} {z}2160// CHECK: encoding: [0x62,0x85,0x45,0xa7,0x59,0xf0]2161          vmulbf16 %ymm24, %ymm23, %ymm22 {%k7} {z}2162 2163// CHECK: vmulbf16 %zmm24, %zmm23, %zmm222164// CHECK: encoding: [0x62,0x85,0x45,0x40,0x59,0xf0]2165          vmulbf16 %zmm24, %zmm23, %zmm222166 2167// CHECK: vmulbf16 %zmm24, %zmm23, %zmm22 {%k7}2168// CHECK: encoding: [0x62,0x85,0x45,0x47,0x59,0xf0]2169          vmulbf16 %zmm24, %zmm23, %zmm22 {%k7}2170 2171// CHECK: vmulbf16 %zmm24, %zmm23, %zmm22 {%k7} {z}2172// CHECK: encoding: [0x62,0x85,0x45,0xc7,0x59,0xf0]2173          vmulbf16 %zmm24, %zmm23, %zmm22 {%k7} {z}2174 2175// CHECK: vmulbf16 %xmm24, %xmm23, %xmm222176// CHECK: encoding: [0x62,0x85,0x45,0x00,0x59,0xf0]2177          vmulbf16 %xmm24, %xmm23, %xmm222178 2179// CHECK: vmulbf16 %xmm24, %xmm23, %xmm22 {%k7}2180// CHECK: encoding: [0x62,0x85,0x45,0x07,0x59,0xf0]2181          vmulbf16 %xmm24, %xmm23, %xmm22 {%k7}2182 2183// CHECK: vmulbf16 %xmm24, %xmm23, %xmm22 {%k7} {z}2184// CHECK: encoding: [0x62,0x85,0x45,0x87,0x59,0xf0]2185          vmulbf16 %xmm24, %xmm23, %xmm22 {%k7} {z}2186 2187// CHECK: vmulbf16  268435456(%rbp,%r14,8), %zmm23, %zmm222188// CHECK: encoding: [0x62,0xa5,0x45,0x40,0x59,0xb4,0xf5,0x00,0x00,0x00,0x10]2189          vmulbf16  268435456(%rbp,%r14,8), %zmm23, %zmm222190 2191// CHECK: vmulbf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}2192// CHECK: encoding: [0x62,0xc5,0x45,0x47,0x59,0xb4,0x80,0x23,0x01,0x00,0x00]2193          vmulbf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}2194 2195// CHECK: vmulbf16  (%rip){1to32}, %zmm23, %zmm222196// CHECK: encoding: [0x62,0xe5,0x45,0x50,0x59,0x35,0x00,0x00,0x00,0x00]2197          vmulbf16  (%rip){1to32}, %zmm23, %zmm222198 2199// CHECK: vmulbf16  -2048(,%rbp,2), %zmm23, %zmm222200// CHECK: encoding: [0x62,0xe5,0x45,0x40,0x59,0x34,0x6d,0x00,0xf8,0xff,0xff]2201          vmulbf16  -2048(,%rbp,2), %zmm23, %zmm222202 2203// CHECK: vmulbf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}2204// CHECK: encoding: [0x62,0xe5,0x45,0xc7,0x59,0x71,0x7f]2205          vmulbf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}2206 2207// CHECK: vmulbf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}2208// CHECK: encoding: [0x62,0xe5,0x45,0xd7,0x59,0x72,0x80]2209          vmulbf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}2210 2211// CHECK: vmulbf16  268435456(%rbp,%r14,8), %ymm23, %ymm222212// CHECK: encoding: [0x62,0xa5,0x45,0x20,0x59,0xb4,0xf5,0x00,0x00,0x00,0x10]2213          vmulbf16  268435456(%rbp,%r14,8), %ymm23, %ymm222214 2215// CHECK: vmulbf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}2216// CHECK: encoding: [0x62,0xc5,0x45,0x27,0x59,0xb4,0x80,0x23,0x01,0x00,0x00]2217          vmulbf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}2218 2219// CHECK: vmulbf16  (%rip){1to16}, %ymm23, %ymm222220// CHECK: encoding: [0x62,0xe5,0x45,0x30,0x59,0x35,0x00,0x00,0x00,0x00]2221          vmulbf16  (%rip){1to16}, %ymm23, %ymm222222 2223// CHECK: vmulbf16  -1024(,%rbp,2), %ymm23, %ymm222224// CHECK: encoding: [0x62,0xe5,0x45,0x20,0x59,0x34,0x6d,0x00,0xfc,0xff,0xff]2225          vmulbf16  -1024(,%rbp,2), %ymm23, %ymm222226 2227// CHECK: vmulbf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}2228// CHECK: encoding: [0x62,0xe5,0x45,0xa7,0x59,0x71,0x7f]2229          vmulbf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}2230 2231// CHECK: vmulbf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}2232// CHECK: encoding: [0x62,0xe5,0x45,0xb7,0x59,0x72,0x80]2233          vmulbf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}2234 2235// CHECK: vmulbf16  268435456(%rbp,%r14,8), %xmm23, %xmm222236// CHECK: encoding: [0x62,0xa5,0x45,0x00,0x59,0xb4,0xf5,0x00,0x00,0x00,0x10]2237          vmulbf16  268435456(%rbp,%r14,8), %xmm23, %xmm222238 2239// CHECK: vmulbf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}2240// CHECK: encoding: [0x62,0xc5,0x45,0x07,0x59,0xb4,0x80,0x23,0x01,0x00,0x00]2241          vmulbf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}2242 2243// CHECK: vmulbf16  (%rip){1to8}, %xmm23, %xmm222244// CHECK: encoding: [0x62,0xe5,0x45,0x10,0x59,0x35,0x00,0x00,0x00,0x00]2245          vmulbf16  (%rip){1to8}, %xmm23, %xmm222246 2247// CHECK: vmulbf16  -512(,%rbp,2), %xmm23, %xmm222248// CHECK: encoding: [0x62,0xe5,0x45,0x00,0x59,0x34,0x6d,0x00,0xfe,0xff,0xff]2249          vmulbf16  -512(,%rbp,2), %xmm23, %xmm222250 2251// CHECK: vmulbf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}2252// CHECK: encoding: [0x62,0xe5,0x45,0x87,0x59,0x71,0x7f]2253          vmulbf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}2254 2255// CHECK: vmulbf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}2256// CHECK: encoding: [0x62,0xe5,0x45,0x97,0x59,0x72,0x80]2257          vmulbf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}2258 2259// CHECK: vrcpbf16 %xmm23, %xmm222260// CHECK: encoding: [0x62,0xa6,0x7c,0x08,0x4c,0xf7]2261          vrcpbf16 %xmm23, %xmm222262 2263// CHECK: vrcpbf16 %xmm23, %xmm22 {%k7}2264// CHECK: encoding: [0x62,0xa6,0x7c,0x0f,0x4c,0xf7]2265          vrcpbf16 %xmm23, %xmm22 {%k7}2266 2267// CHECK: vrcpbf16 %xmm23, %xmm22 {%k7} {z}2268// CHECK: encoding: [0x62,0xa6,0x7c,0x8f,0x4c,0xf7]2269          vrcpbf16 %xmm23, %xmm22 {%k7} {z}2270 2271// CHECK: vrcpbf16 %zmm23, %zmm222272// CHECK: encoding: [0x62,0xa6,0x7c,0x48,0x4c,0xf7]2273          vrcpbf16 %zmm23, %zmm222274 2275// CHECK: vrcpbf16 %zmm23, %zmm22 {%k7}2276// CHECK: encoding: [0x62,0xa6,0x7c,0x4f,0x4c,0xf7]2277          vrcpbf16 %zmm23, %zmm22 {%k7}2278 2279// CHECK: vrcpbf16 %zmm23, %zmm22 {%k7} {z}2280// CHECK: encoding: [0x62,0xa6,0x7c,0xcf,0x4c,0xf7]2281          vrcpbf16 %zmm23, %zmm22 {%k7} {z}2282 2283// CHECK: vrcpbf16 %ymm23, %ymm222284// CHECK: encoding: [0x62,0xa6,0x7c,0x28,0x4c,0xf7]2285          vrcpbf16 %ymm23, %ymm222286 2287// CHECK: vrcpbf16 %ymm23, %ymm22 {%k7}2288// CHECK: encoding: [0x62,0xa6,0x7c,0x2f,0x4c,0xf7]2289          vrcpbf16 %ymm23, %ymm22 {%k7}2290 2291// CHECK: vrcpbf16 %ymm23, %ymm22 {%k7} {z}2292// CHECK: encoding: [0x62,0xa6,0x7c,0xaf,0x4c,0xf7]2293          vrcpbf16 %ymm23, %ymm22 {%k7} {z}2294 2295// CHECK: vrcpbf16  268435456(%rbp,%r14,8), %xmm222296// CHECK: encoding: [0x62,0xa6,0x7c,0x08,0x4c,0xb4,0xf5,0x00,0x00,0x00,0x10]2297          vrcpbf16  268435456(%rbp,%r14,8), %xmm222298 2299// CHECK: vrcpbf16  291(%r8,%rax,4), %xmm22 {%k7}2300// CHECK: encoding: [0x62,0xc6,0x7c,0x0f,0x4c,0xb4,0x80,0x23,0x01,0x00,0x00]2301          vrcpbf16  291(%r8,%rax,4), %xmm22 {%k7}2302 2303// CHECK: vrcpbf16  (%rip){1to8}, %xmm222304// CHECK: encoding: [0x62,0xe6,0x7c,0x18,0x4c,0x35,0x00,0x00,0x00,0x00]2305          vrcpbf16  (%rip){1to8}, %xmm222306 2307// CHECK: vrcpbf16  -512(,%rbp,2), %xmm222308// CHECK: encoding: [0x62,0xe6,0x7c,0x08,0x4c,0x34,0x6d,0x00,0xfe,0xff,0xff]2309          vrcpbf16  -512(,%rbp,2), %xmm222310 2311// CHECK: vrcpbf16  2032(%rcx), %xmm22 {%k7} {z}2312// CHECK: encoding: [0x62,0xe6,0x7c,0x8f,0x4c,0x71,0x7f]2313          vrcpbf16  2032(%rcx), %xmm22 {%k7} {z}2314 2315// CHECK: vrcpbf16  -256(%rdx){1to8}, %xmm22 {%k7} {z}2316// CHECK: encoding: [0x62,0xe6,0x7c,0x9f,0x4c,0x72,0x80]2317          vrcpbf16  -256(%rdx){1to8}, %xmm22 {%k7} {z}2318 2319// CHECK: vrcpbf16  268435456(%rbp,%r14,8), %ymm222320// CHECK: encoding: [0x62,0xa6,0x7c,0x28,0x4c,0xb4,0xf5,0x00,0x00,0x00,0x10]2321          vrcpbf16  268435456(%rbp,%r14,8), %ymm222322 2323// CHECK: vrcpbf16  291(%r8,%rax,4), %ymm22 {%k7}2324// CHECK: encoding: [0x62,0xc6,0x7c,0x2f,0x4c,0xb4,0x80,0x23,0x01,0x00,0x00]2325          vrcpbf16  291(%r8,%rax,4), %ymm22 {%k7}2326 2327// CHECK: vrcpbf16  (%rip){1to16}, %ymm222328// CHECK: encoding: [0x62,0xe6,0x7c,0x38,0x4c,0x35,0x00,0x00,0x00,0x00]2329          vrcpbf16  (%rip){1to16}, %ymm222330 2331// CHECK: vrcpbf16  -1024(,%rbp,2), %ymm222332// CHECK: encoding: [0x62,0xe6,0x7c,0x28,0x4c,0x34,0x6d,0x00,0xfc,0xff,0xff]2333          vrcpbf16  -1024(,%rbp,2), %ymm222334 2335// CHECK: vrcpbf16  4064(%rcx), %ymm22 {%k7} {z}2336// CHECK: encoding: [0x62,0xe6,0x7c,0xaf,0x4c,0x71,0x7f]2337          vrcpbf16  4064(%rcx), %ymm22 {%k7} {z}2338 2339// CHECK: vrcpbf16  -256(%rdx){1to16}, %ymm22 {%k7} {z}2340// CHECK: encoding: [0x62,0xe6,0x7c,0xbf,0x4c,0x72,0x80]2341          vrcpbf16  -256(%rdx){1to16}, %ymm22 {%k7} {z}2342 2343// CHECK: vrcpbf16  268435456(%rbp,%r14,8), %zmm222344// CHECK: encoding: [0x62,0xa6,0x7c,0x48,0x4c,0xb4,0xf5,0x00,0x00,0x00,0x10]2345          vrcpbf16  268435456(%rbp,%r14,8), %zmm222346 2347// CHECK: vrcpbf16  291(%r8,%rax,4), %zmm22 {%k7}2348// CHECK: encoding: [0x62,0xc6,0x7c,0x4f,0x4c,0xb4,0x80,0x23,0x01,0x00,0x00]2349          vrcpbf16  291(%r8,%rax,4), %zmm22 {%k7}2350 2351// CHECK: vrcpbf16  (%rip){1to32}, %zmm222352// CHECK: encoding: [0x62,0xe6,0x7c,0x58,0x4c,0x35,0x00,0x00,0x00,0x00]2353          vrcpbf16  (%rip){1to32}, %zmm222354 2355// CHECK: vrcpbf16  -2048(,%rbp,2), %zmm222356// CHECK: encoding: [0x62,0xe6,0x7c,0x48,0x4c,0x34,0x6d,0x00,0xf8,0xff,0xff]2357          vrcpbf16  -2048(,%rbp,2), %zmm222358 2359// CHECK: vrcpbf16  8128(%rcx), %zmm22 {%k7} {z}2360// CHECK: encoding: [0x62,0xe6,0x7c,0xcf,0x4c,0x71,0x7f]2361          vrcpbf16  8128(%rcx), %zmm22 {%k7} {z}2362 2363// CHECK: vrcpbf16  -256(%rdx){1to32}, %zmm22 {%k7} {z}2364// CHECK: encoding: [0x62,0xe6,0x7c,0xdf,0x4c,0x72,0x80]2365          vrcpbf16  -256(%rdx){1to32}, %zmm22 {%k7} {z}2366 2367// CHECK: vreducebf16 $123, %zmm23, %zmm222368// CHECK: encoding: [0x62,0xa3,0x7f,0x48,0x56,0xf7,0x7b]2369          vreducebf16 $123, %zmm23, %zmm222370 2371// CHECK: vreducebf16 $123, %zmm23, %zmm22 {%k7}2372// CHECK: encoding: [0x62,0xa3,0x7f,0x4f,0x56,0xf7,0x7b]2373          vreducebf16 $123, %zmm23, %zmm22 {%k7}2374 2375// CHECK: vreducebf16 $123, %zmm23, %zmm22 {%k7} {z}2376// CHECK: encoding: [0x62,0xa3,0x7f,0xcf,0x56,0xf7,0x7b]2377          vreducebf16 $123, %zmm23, %zmm22 {%k7} {z}2378 2379// CHECK: vreducebf16 $123, %ymm23, %ymm222380// CHECK: encoding: [0x62,0xa3,0x7f,0x28,0x56,0xf7,0x7b]2381          vreducebf16 $123, %ymm23, %ymm222382 2383// CHECK: vreducebf16 $123, %ymm23, %ymm22 {%k7}2384// CHECK: encoding: [0x62,0xa3,0x7f,0x2f,0x56,0xf7,0x7b]2385          vreducebf16 $123, %ymm23, %ymm22 {%k7}2386 2387// CHECK: vreducebf16 $123, %ymm23, %ymm22 {%k7} {z}2388// CHECK: encoding: [0x62,0xa3,0x7f,0xaf,0x56,0xf7,0x7b]2389          vreducebf16 $123, %ymm23, %ymm22 {%k7} {z}2390 2391// CHECK: vreducebf16 $123, %xmm23, %xmm222392// CHECK: encoding: [0x62,0xa3,0x7f,0x08,0x56,0xf7,0x7b]2393          vreducebf16 $123, %xmm23, %xmm222394 2395// CHECK: vreducebf16 $123, %xmm23, %xmm22 {%k7}2396// CHECK: encoding: [0x62,0xa3,0x7f,0x0f,0x56,0xf7,0x7b]2397          vreducebf16 $123, %xmm23, %xmm22 {%k7}2398 2399// CHECK: vreducebf16 $123, %xmm23, %xmm22 {%k7} {z}2400// CHECK: encoding: [0x62,0xa3,0x7f,0x8f,0x56,0xf7,0x7b]2401          vreducebf16 $123, %xmm23, %xmm22 {%k7} {z}2402 2403// CHECK: vreducebf16  $123, 268435456(%rbp,%r14,8), %xmm222404// CHECK: encoding: [0x62,0xa3,0x7f,0x08,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]2405          vreducebf16  $123, 268435456(%rbp,%r14,8), %xmm222406 2407// CHECK: vreducebf16  $123, 291(%r8,%rax,4), %xmm22 {%k7}2408// CHECK: encoding: [0x62,0xc3,0x7f,0x0f,0x56,0xb4,0x80,0x23,0x01,0x00,0x00,0x7b]2409          vreducebf16  $123, 291(%r8,%rax,4), %xmm22 {%k7}2410 2411// CHECK: vreducebf16  $123, (%rip){1to8}, %xmm222412// CHECK: encoding: [0x62,0xe3,0x7f,0x18,0x56,0x35,0x00,0x00,0x00,0x00,0x7b]2413          vreducebf16  $123, (%rip){1to8}, %xmm222414 2415// CHECK: vreducebf16  $123, -512(,%rbp,2), %xmm222416// CHECK: encoding: [0x62,0xe3,0x7f,0x08,0x56,0x34,0x6d,0x00,0xfe,0xff,0xff,0x7b]2417          vreducebf16  $123, -512(,%rbp,2), %xmm222418 2419// CHECK: vreducebf16  $123, 2032(%rcx), %xmm22 {%k7} {z}2420// CHECK: encoding: [0x62,0xe3,0x7f,0x8f,0x56,0x71,0x7f,0x7b]2421          vreducebf16  $123, 2032(%rcx), %xmm22 {%k7} {z}2422 2423// CHECK: vreducebf16  $123, -256(%rdx){1to8}, %xmm22 {%k7} {z}2424// CHECK: encoding: [0x62,0xe3,0x7f,0x9f,0x56,0x72,0x80,0x7b]2425          vreducebf16  $123, -256(%rdx){1to8}, %xmm22 {%k7} {z}2426 2427// CHECK: vreducebf16  $123, 268435456(%rbp,%r14,8), %ymm222428// CHECK: encoding: [0x62,0xa3,0x7f,0x28,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]2429          vreducebf16  $123, 268435456(%rbp,%r14,8), %ymm222430 2431// CHECK: vreducebf16  $123, 291(%r8,%rax,4), %ymm22 {%k7}2432// CHECK: encoding: [0x62,0xc3,0x7f,0x2f,0x56,0xb4,0x80,0x23,0x01,0x00,0x00,0x7b]2433          vreducebf16  $123, 291(%r8,%rax,4), %ymm22 {%k7}2434 2435// CHECK: vreducebf16  $123, (%rip){1to16}, %ymm222436// CHECK: encoding: [0x62,0xe3,0x7f,0x38,0x56,0x35,0x00,0x00,0x00,0x00,0x7b]2437          vreducebf16  $123, (%rip){1to16}, %ymm222438 2439// CHECK: vreducebf16  $123, -1024(,%rbp,2), %ymm222440// CHECK: encoding: [0x62,0xe3,0x7f,0x28,0x56,0x34,0x6d,0x00,0xfc,0xff,0xff,0x7b]2441          vreducebf16  $123, -1024(,%rbp,2), %ymm222442 2443// CHECK: vreducebf16  $123, 4064(%rcx), %ymm22 {%k7} {z}2444// CHECK: encoding: [0x62,0xe3,0x7f,0xaf,0x56,0x71,0x7f,0x7b]2445          vreducebf16  $123, 4064(%rcx), %ymm22 {%k7} {z}2446 2447// CHECK: vreducebf16  $123, -256(%rdx){1to16}, %ymm22 {%k7} {z}2448// CHECK: encoding: [0x62,0xe3,0x7f,0xbf,0x56,0x72,0x80,0x7b]2449          vreducebf16  $123, -256(%rdx){1to16}, %ymm22 {%k7} {z}2450 2451// CHECK: vreducebf16  $123, 268435456(%rbp,%r14,8), %zmm222452// CHECK: encoding: [0x62,0xa3,0x7f,0x48,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]2453          vreducebf16  $123, 268435456(%rbp,%r14,8), %zmm222454 2455// CHECK: vreducebf16  $123, 291(%r8,%rax,4), %zmm22 {%k7}2456// CHECK: encoding: [0x62,0xc3,0x7f,0x4f,0x56,0xb4,0x80,0x23,0x01,0x00,0x00,0x7b]2457          vreducebf16  $123, 291(%r8,%rax,4), %zmm22 {%k7}2458 2459// CHECK: vreducebf16  $123, (%rip){1to32}, %zmm222460// CHECK: encoding: [0x62,0xe3,0x7f,0x58,0x56,0x35,0x00,0x00,0x00,0x00,0x7b]2461          vreducebf16  $123, (%rip){1to32}, %zmm222462 2463// CHECK: vreducebf16  $123, -2048(,%rbp,2), %zmm222464// CHECK: encoding: [0x62,0xe3,0x7f,0x48,0x56,0x34,0x6d,0x00,0xf8,0xff,0xff,0x7b]2465          vreducebf16  $123, -2048(,%rbp,2), %zmm222466 2467// CHECK: vreducebf16  $123, 8128(%rcx), %zmm22 {%k7} {z}2468// CHECK: encoding: [0x62,0xe3,0x7f,0xcf,0x56,0x71,0x7f,0x7b]2469          vreducebf16  $123, 8128(%rcx), %zmm22 {%k7} {z}2470 2471// CHECK: vreducebf16  $123, -256(%rdx){1to32}, %zmm22 {%k7} {z}2472// CHECK: encoding: [0x62,0xe3,0x7f,0xdf,0x56,0x72,0x80,0x7b]2473          vreducebf16  $123, -256(%rdx){1to32}, %zmm22 {%k7} {z}2474 2475// CHECK: vrndscalebf16 $123, %zmm23, %zmm222476// CHECK: encoding: [0x62,0xa3,0x7f,0x48,0x08,0xf7,0x7b]2477          vrndscalebf16 $123, %zmm23, %zmm222478 2479// CHECK: vrndscalebf16 $123, %zmm23, %zmm22 {%k7}2480// CHECK: encoding: [0x62,0xa3,0x7f,0x4f,0x08,0xf7,0x7b]2481          vrndscalebf16 $123, %zmm23, %zmm22 {%k7}2482 2483// CHECK: vrndscalebf16 $123, %zmm23, %zmm22 {%k7} {z}2484// CHECK: encoding: [0x62,0xa3,0x7f,0xcf,0x08,0xf7,0x7b]2485          vrndscalebf16 $123, %zmm23, %zmm22 {%k7} {z}2486 2487// CHECK: vrndscalebf16 $123, %ymm23, %ymm222488// CHECK: encoding: [0x62,0xa3,0x7f,0x28,0x08,0xf7,0x7b]2489          vrndscalebf16 $123, %ymm23, %ymm222490 2491// CHECK: vrndscalebf16 $123, %ymm23, %ymm22 {%k7}2492// CHECK: encoding: [0x62,0xa3,0x7f,0x2f,0x08,0xf7,0x7b]2493          vrndscalebf16 $123, %ymm23, %ymm22 {%k7}2494 2495// CHECK: vrndscalebf16 $123, %ymm23, %ymm22 {%k7} {z}2496// CHECK: encoding: [0x62,0xa3,0x7f,0xaf,0x08,0xf7,0x7b]2497          vrndscalebf16 $123, %ymm23, %ymm22 {%k7} {z}2498 2499// CHECK: vrndscalebf16 $123, %xmm23, %xmm222500// CHECK: encoding: [0x62,0xa3,0x7f,0x08,0x08,0xf7,0x7b]2501          vrndscalebf16 $123, %xmm23, %xmm222502 2503// CHECK: vrndscalebf16 $123, %xmm23, %xmm22 {%k7}2504// CHECK: encoding: [0x62,0xa3,0x7f,0x0f,0x08,0xf7,0x7b]2505          vrndscalebf16 $123, %xmm23, %xmm22 {%k7}2506 2507// CHECK: vrndscalebf16 $123, %xmm23, %xmm22 {%k7} {z}2508// CHECK: encoding: [0x62,0xa3,0x7f,0x8f,0x08,0xf7,0x7b]2509          vrndscalebf16 $123, %xmm23, %xmm22 {%k7} {z}2510 2511// CHECK: vrndscalebf16  $123, 268435456(%rbp,%r14,8), %xmm222512// CHECK: encoding: [0x62,0xa3,0x7f,0x08,0x08,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]2513          vrndscalebf16  $123, 268435456(%rbp,%r14,8), %xmm222514 2515// CHECK: vrndscalebf16  $123, 291(%r8,%rax,4), %xmm22 {%k7}2516// CHECK: encoding: [0x62,0xc3,0x7f,0x0f,0x08,0xb4,0x80,0x23,0x01,0x00,0x00,0x7b]2517          vrndscalebf16  $123, 291(%r8,%rax,4), %xmm22 {%k7}2518 2519// CHECK: vrndscalebf16  $123, (%rip){1to8}, %xmm222520// CHECK: encoding: [0x62,0xe3,0x7f,0x18,0x08,0x35,0x00,0x00,0x00,0x00,0x7b]2521          vrndscalebf16  $123, (%rip){1to8}, %xmm222522 2523// CHECK: vrndscalebf16  $123, -512(,%rbp,2), %xmm222524// CHECK: encoding: [0x62,0xe3,0x7f,0x08,0x08,0x34,0x6d,0x00,0xfe,0xff,0xff,0x7b]2525          vrndscalebf16  $123, -512(,%rbp,2), %xmm222526 2527// CHECK: vrndscalebf16  $123, 2032(%rcx), %xmm22 {%k7} {z}2528// CHECK: encoding: [0x62,0xe3,0x7f,0x8f,0x08,0x71,0x7f,0x7b]2529          vrndscalebf16  $123, 2032(%rcx), %xmm22 {%k7} {z}2530 2531// CHECK: vrndscalebf16  $123, -256(%rdx){1to8}, %xmm22 {%k7} {z}2532// CHECK: encoding: [0x62,0xe3,0x7f,0x9f,0x08,0x72,0x80,0x7b]2533          vrndscalebf16  $123, -256(%rdx){1to8}, %xmm22 {%k7} {z}2534 2535// CHECK: vrndscalebf16  $123, 268435456(%rbp,%r14,8), %ymm222536// CHECK: encoding: [0x62,0xa3,0x7f,0x28,0x08,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]2537          vrndscalebf16  $123, 268435456(%rbp,%r14,8), %ymm222538 2539// CHECK: vrndscalebf16  $123, 291(%r8,%rax,4), %ymm22 {%k7}2540// CHECK: encoding: [0x62,0xc3,0x7f,0x2f,0x08,0xb4,0x80,0x23,0x01,0x00,0x00,0x7b]2541          vrndscalebf16  $123, 291(%r8,%rax,4), %ymm22 {%k7}2542 2543// CHECK: vrndscalebf16  $123, (%rip){1to16}, %ymm222544// CHECK: encoding: [0x62,0xe3,0x7f,0x38,0x08,0x35,0x00,0x00,0x00,0x00,0x7b]2545          vrndscalebf16  $123, (%rip){1to16}, %ymm222546 2547// CHECK: vrndscalebf16  $123, -1024(,%rbp,2), %ymm222548// CHECK: encoding: [0x62,0xe3,0x7f,0x28,0x08,0x34,0x6d,0x00,0xfc,0xff,0xff,0x7b]2549          vrndscalebf16  $123, -1024(,%rbp,2), %ymm222550 2551// CHECK: vrndscalebf16  $123, 4064(%rcx), %ymm22 {%k7} {z}2552// CHECK: encoding: [0x62,0xe3,0x7f,0xaf,0x08,0x71,0x7f,0x7b]2553          vrndscalebf16  $123, 4064(%rcx), %ymm22 {%k7} {z}2554 2555// CHECK: vrndscalebf16  $123, -256(%rdx){1to16}, %ymm22 {%k7} {z}2556// CHECK: encoding: [0x62,0xe3,0x7f,0xbf,0x08,0x72,0x80,0x7b]2557          vrndscalebf16  $123, -256(%rdx){1to16}, %ymm22 {%k7} {z}2558 2559// CHECK: vrndscalebf16  $123, 268435456(%rbp,%r14,8), %zmm222560// CHECK: encoding: [0x62,0xa3,0x7f,0x48,0x08,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]2561          vrndscalebf16  $123, 268435456(%rbp,%r14,8), %zmm222562 2563// CHECK: vrndscalebf16  $123, 291(%r8,%rax,4), %zmm22 {%k7}2564// CHECK: encoding: [0x62,0xc3,0x7f,0x4f,0x08,0xb4,0x80,0x23,0x01,0x00,0x00,0x7b]2565          vrndscalebf16  $123, 291(%r8,%rax,4), %zmm22 {%k7}2566 2567// CHECK: vrndscalebf16  $123, (%rip){1to32}, %zmm222568// CHECK: encoding: [0x62,0xe3,0x7f,0x58,0x08,0x35,0x00,0x00,0x00,0x00,0x7b]2569          vrndscalebf16  $123, (%rip){1to32}, %zmm222570 2571// CHECK: vrndscalebf16  $123, -2048(,%rbp,2), %zmm222572// CHECK: encoding: [0x62,0xe3,0x7f,0x48,0x08,0x34,0x6d,0x00,0xf8,0xff,0xff,0x7b]2573          vrndscalebf16  $123, -2048(,%rbp,2), %zmm222574 2575// CHECK: vrndscalebf16  $123, 8128(%rcx), %zmm22 {%k7} {z}2576// CHECK: encoding: [0x62,0xe3,0x7f,0xcf,0x08,0x71,0x7f,0x7b]2577          vrndscalebf16  $123, 8128(%rcx), %zmm22 {%k7} {z}2578 2579// CHECK: vrndscalebf16  $123, -256(%rdx){1to32}, %zmm22 {%k7} {z}2580// CHECK: encoding: [0x62,0xe3,0x7f,0xdf,0x08,0x72,0x80,0x7b]2581          vrndscalebf16  $123, -256(%rdx){1to32}, %zmm22 {%k7} {z}2582 2583// CHECK: vrsqrtbf16 %xmm23, %xmm222584// CHECK: encoding: [0x62,0xa6,0x7c,0x08,0x4e,0xf7]2585          vrsqrtbf16 %xmm23, %xmm222586 2587// CHECK: vrsqrtbf16 %xmm23, %xmm22 {%k7}2588// CHECK: encoding: [0x62,0xa6,0x7c,0x0f,0x4e,0xf7]2589          vrsqrtbf16 %xmm23, %xmm22 {%k7}2590 2591// CHECK: vrsqrtbf16 %xmm23, %xmm22 {%k7} {z}2592// CHECK: encoding: [0x62,0xa6,0x7c,0x8f,0x4e,0xf7]2593          vrsqrtbf16 %xmm23, %xmm22 {%k7} {z}2594 2595// CHECK: vrsqrtbf16 %zmm23, %zmm222596// CHECK: encoding: [0x62,0xa6,0x7c,0x48,0x4e,0xf7]2597          vrsqrtbf16 %zmm23, %zmm222598 2599// CHECK: vrsqrtbf16 %zmm23, %zmm22 {%k7}2600// CHECK: encoding: [0x62,0xa6,0x7c,0x4f,0x4e,0xf7]2601          vrsqrtbf16 %zmm23, %zmm22 {%k7}2602 2603// CHECK: vrsqrtbf16 %zmm23, %zmm22 {%k7} {z}2604// CHECK: encoding: [0x62,0xa6,0x7c,0xcf,0x4e,0xf7]2605          vrsqrtbf16 %zmm23, %zmm22 {%k7} {z}2606 2607// CHECK: vrsqrtbf16 %ymm23, %ymm222608// CHECK: encoding: [0x62,0xa6,0x7c,0x28,0x4e,0xf7]2609          vrsqrtbf16 %ymm23, %ymm222610 2611// CHECK: vrsqrtbf16 %ymm23, %ymm22 {%k7}2612// CHECK: encoding: [0x62,0xa6,0x7c,0x2f,0x4e,0xf7]2613          vrsqrtbf16 %ymm23, %ymm22 {%k7}2614 2615// CHECK: vrsqrtbf16 %ymm23, %ymm22 {%k7} {z}2616// CHECK: encoding: [0x62,0xa6,0x7c,0xaf,0x4e,0xf7]2617          vrsqrtbf16 %ymm23, %ymm22 {%k7} {z}2618 2619// CHECK: vrsqrtbf16  268435456(%rbp,%r14,8), %xmm222620// CHECK: encoding: [0x62,0xa6,0x7c,0x08,0x4e,0xb4,0xf5,0x00,0x00,0x00,0x10]2621          vrsqrtbf16  268435456(%rbp,%r14,8), %xmm222622 2623// CHECK: vrsqrtbf16  291(%r8,%rax,4), %xmm22 {%k7}2624// CHECK: encoding: [0x62,0xc6,0x7c,0x0f,0x4e,0xb4,0x80,0x23,0x01,0x00,0x00]2625          vrsqrtbf16  291(%r8,%rax,4), %xmm22 {%k7}2626 2627// CHECK: vrsqrtbf16  (%rip){1to8}, %xmm222628// CHECK: encoding: [0x62,0xe6,0x7c,0x18,0x4e,0x35,0x00,0x00,0x00,0x00]2629          vrsqrtbf16  (%rip){1to8}, %xmm222630 2631// CHECK: vrsqrtbf16  -512(,%rbp,2), %xmm222632// CHECK: encoding: [0x62,0xe6,0x7c,0x08,0x4e,0x34,0x6d,0x00,0xfe,0xff,0xff]2633          vrsqrtbf16  -512(,%rbp,2), %xmm222634 2635// CHECK: vrsqrtbf16  2032(%rcx), %xmm22 {%k7} {z}2636// CHECK: encoding: [0x62,0xe6,0x7c,0x8f,0x4e,0x71,0x7f]2637          vrsqrtbf16  2032(%rcx), %xmm22 {%k7} {z}2638 2639// CHECK: vrsqrtbf16  -256(%rdx){1to8}, %xmm22 {%k7} {z}2640// CHECK: encoding: [0x62,0xe6,0x7c,0x9f,0x4e,0x72,0x80]2641          vrsqrtbf16  -256(%rdx){1to8}, %xmm22 {%k7} {z}2642 2643// CHECK: vrsqrtbf16  268435456(%rbp,%r14,8), %ymm222644// CHECK: encoding: [0x62,0xa6,0x7c,0x28,0x4e,0xb4,0xf5,0x00,0x00,0x00,0x10]2645          vrsqrtbf16  268435456(%rbp,%r14,8), %ymm222646 2647// CHECK: vrsqrtbf16  291(%r8,%rax,4), %ymm22 {%k7}2648// CHECK: encoding: [0x62,0xc6,0x7c,0x2f,0x4e,0xb4,0x80,0x23,0x01,0x00,0x00]2649          vrsqrtbf16  291(%r8,%rax,4), %ymm22 {%k7}2650 2651// CHECK: vrsqrtbf16  (%rip){1to16}, %ymm222652// CHECK: encoding: [0x62,0xe6,0x7c,0x38,0x4e,0x35,0x00,0x00,0x00,0x00]2653          vrsqrtbf16  (%rip){1to16}, %ymm222654 2655// CHECK: vrsqrtbf16  -1024(,%rbp,2), %ymm222656// CHECK: encoding: [0x62,0xe6,0x7c,0x28,0x4e,0x34,0x6d,0x00,0xfc,0xff,0xff]2657          vrsqrtbf16  -1024(,%rbp,2), %ymm222658 2659// CHECK: vrsqrtbf16  4064(%rcx), %ymm22 {%k7} {z}2660// CHECK: encoding: [0x62,0xe6,0x7c,0xaf,0x4e,0x71,0x7f]2661          vrsqrtbf16  4064(%rcx), %ymm22 {%k7} {z}2662 2663// CHECK: vrsqrtbf16  -256(%rdx){1to16}, %ymm22 {%k7} {z}2664// CHECK: encoding: [0x62,0xe6,0x7c,0xbf,0x4e,0x72,0x80]2665          vrsqrtbf16  -256(%rdx){1to16}, %ymm22 {%k7} {z}2666 2667// CHECK: vrsqrtbf16  268435456(%rbp,%r14,8), %zmm222668// CHECK: encoding: [0x62,0xa6,0x7c,0x48,0x4e,0xb4,0xf5,0x00,0x00,0x00,0x10]2669          vrsqrtbf16  268435456(%rbp,%r14,8), %zmm222670 2671// CHECK: vrsqrtbf16  291(%r8,%rax,4), %zmm22 {%k7}2672// CHECK: encoding: [0x62,0xc6,0x7c,0x4f,0x4e,0xb4,0x80,0x23,0x01,0x00,0x00]2673          vrsqrtbf16  291(%r8,%rax,4), %zmm22 {%k7}2674 2675// CHECK: vrsqrtbf16  (%rip){1to32}, %zmm222676// CHECK: encoding: [0x62,0xe6,0x7c,0x58,0x4e,0x35,0x00,0x00,0x00,0x00]2677          vrsqrtbf16  (%rip){1to32}, %zmm222678 2679// CHECK: vrsqrtbf16  -2048(,%rbp,2), %zmm222680// CHECK: encoding: [0x62,0xe6,0x7c,0x48,0x4e,0x34,0x6d,0x00,0xf8,0xff,0xff]2681          vrsqrtbf16  -2048(,%rbp,2), %zmm222682 2683// CHECK: vrsqrtbf16  8128(%rcx), %zmm22 {%k7} {z}2684// CHECK: encoding: [0x62,0xe6,0x7c,0xcf,0x4e,0x71,0x7f]2685          vrsqrtbf16  8128(%rcx), %zmm22 {%k7} {z}2686 2687// CHECK: vrsqrtbf16  -256(%rdx){1to32}, %zmm22 {%k7} {z}2688// CHECK: encoding: [0x62,0xe6,0x7c,0xdf,0x4e,0x72,0x80]2689          vrsqrtbf16  -256(%rdx){1to32}, %zmm22 {%k7} {z}2690 2691// CHECK: vscalefbf16 %ymm24, %ymm23, %ymm222692// CHECK: encoding: [0x62,0x86,0x44,0x20,0x2c,0xf0]2693          vscalefbf16 %ymm24, %ymm23, %ymm222694 2695// CHECK: vscalefbf16 %ymm24, %ymm23, %ymm22 {%k7}2696// CHECK: encoding: [0x62,0x86,0x44,0x27,0x2c,0xf0]2697          vscalefbf16 %ymm24, %ymm23, %ymm22 {%k7}2698 2699// CHECK: vscalefbf16 %ymm24, %ymm23, %ymm22 {%k7} {z}2700// CHECK: encoding: [0x62,0x86,0x44,0xa7,0x2c,0xf0]2701          vscalefbf16 %ymm24, %ymm23, %ymm22 {%k7} {z}2702 2703// CHECK: vscalefbf16 %zmm24, %zmm23, %zmm222704// CHECK: encoding: [0x62,0x86,0x44,0x40,0x2c,0xf0]2705          vscalefbf16 %zmm24, %zmm23, %zmm222706 2707// CHECK: vscalefbf16 %zmm24, %zmm23, %zmm22 {%k7}2708// CHECK: encoding: [0x62,0x86,0x44,0x47,0x2c,0xf0]2709          vscalefbf16 %zmm24, %zmm23, %zmm22 {%k7}2710 2711// CHECK: vscalefbf16 %zmm24, %zmm23, %zmm22 {%k7} {z}2712// CHECK: encoding: [0x62,0x86,0x44,0xc7,0x2c,0xf0]2713          vscalefbf16 %zmm24, %zmm23, %zmm22 {%k7} {z}2714 2715// CHECK: vscalefbf16 %xmm24, %xmm23, %xmm222716// CHECK: encoding: [0x62,0x86,0x44,0x00,0x2c,0xf0]2717          vscalefbf16 %xmm24, %xmm23, %xmm222718 2719// CHECK: vscalefbf16 %xmm24, %xmm23, %xmm22 {%k7}2720// CHECK: encoding: [0x62,0x86,0x44,0x07,0x2c,0xf0]2721          vscalefbf16 %xmm24, %xmm23, %xmm22 {%k7}2722 2723// CHECK: vscalefbf16 %xmm24, %xmm23, %xmm22 {%k7} {z}2724// CHECK: encoding: [0x62,0x86,0x44,0x87,0x2c,0xf0]2725          vscalefbf16 %xmm24, %xmm23, %xmm22 {%k7} {z}2726 2727// CHECK: vscalefbf16  268435456(%rbp,%r14,8), %zmm23, %zmm222728// CHECK: encoding: [0x62,0xa6,0x44,0x40,0x2c,0xb4,0xf5,0x00,0x00,0x00,0x10]2729          vscalefbf16  268435456(%rbp,%r14,8), %zmm23, %zmm222730 2731// CHECK: vscalefbf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}2732// CHECK: encoding: [0x62,0xc6,0x44,0x47,0x2c,0xb4,0x80,0x23,0x01,0x00,0x00]2733          vscalefbf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}2734 2735// CHECK: vscalefbf16  (%rip){1to32}, %zmm23, %zmm222736// CHECK: encoding: [0x62,0xe6,0x44,0x50,0x2c,0x35,0x00,0x00,0x00,0x00]2737          vscalefbf16  (%rip){1to32}, %zmm23, %zmm222738 2739// CHECK: vscalefbf16  -2048(,%rbp,2), %zmm23, %zmm222740// CHECK: encoding: [0x62,0xe6,0x44,0x40,0x2c,0x34,0x6d,0x00,0xf8,0xff,0xff]2741          vscalefbf16  -2048(,%rbp,2), %zmm23, %zmm222742 2743// CHECK: vscalefbf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}2744// CHECK: encoding: [0x62,0xe6,0x44,0xc7,0x2c,0x71,0x7f]2745          vscalefbf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}2746 2747// CHECK: vscalefbf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}2748// CHECK: encoding: [0x62,0xe6,0x44,0xd7,0x2c,0x72,0x80]2749          vscalefbf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}2750 2751// CHECK: vscalefbf16  268435456(%rbp,%r14,8), %ymm23, %ymm222752// CHECK: encoding: [0x62,0xa6,0x44,0x20,0x2c,0xb4,0xf5,0x00,0x00,0x00,0x10]2753          vscalefbf16  268435456(%rbp,%r14,8), %ymm23, %ymm222754 2755// CHECK: vscalefbf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}2756// CHECK: encoding: [0x62,0xc6,0x44,0x27,0x2c,0xb4,0x80,0x23,0x01,0x00,0x00]2757          vscalefbf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}2758 2759// CHECK: vscalefbf16  (%rip){1to16}, %ymm23, %ymm222760// CHECK: encoding: [0x62,0xe6,0x44,0x30,0x2c,0x35,0x00,0x00,0x00,0x00]2761          vscalefbf16  (%rip){1to16}, %ymm23, %ymm222762 2763// CHECK: vscalefbf16  -1024(,%rbp,2), %ymm23, %ymm222764// CHECK: encoding: [0x62,0xe6,0x44,0x20,0x2c,0x34,0x6d,0x00,0xfc,0xff,0xff]2765          vscalefbf16  -1024(,%rbp,2), %ymm23, %ymm222766 2767// CHECK: vscalefbf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}2768// CHECK: encoding: [0x62,0xe6,0x44,0xa7,0x2c,0x71,0x7f]2769          vscalefbf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}2770 2771// CHECK: vscalefbf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}2772// CHECK: encoding: [0x62,0xe6,0x44,0xb7,0x2c,0x72,0x80]2773          vscalefbf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}2774 2775// CHECK: vscalefbf16  268435456(%rbp,%r14,8), %xmm23, %xmm222776// CHECK: encoding: [0x62,0xa6,0x44,0x00,0x2c,0xb4,0xf5,0x00,0x00,0x00,0x10]2777          vscalefbf16  268435456(%rbp,%r14,8), %xmm23, %xmm222778 2779// CHECK: vscalefbf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}2780// CHECK: encoding: [0x62,0xc6,0x44,0x07,0x2c,0xb4,0x80,0x23,0x01,0x00,0x00]2781          vscalefbf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}2782 2783// CHECK: vscalefbf16  (%rip){1to8}, %xmm23, %xmm222784// CHECK: encoding: [0x62,0xe6,0x44,0x10,0x2c,0x35,0x00,0x00,0x00,0x00]2785          vscalefbf16  (%rip){1to8}, %xmm23, %xmm222786 2787// CHECK: vscalefbf16  -512(,%rbp,2), %xmm23, %xmm222788// CHECK: encoding: [0x62,0xe6,0x44,0x00,0x2c,0x34,0x6d,0x00,0xfe,0xff,0xff]2789          vscalefbf16  -512(,%rbp,2), %xmm23, %xmm222790 2791// CHECK: vscalefbf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}2792// CHECK: encoding: [0x62,0xe6,0x44,0x87,0x2c,0x71,0x7f]2793          vscalefbf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}2794 2795// CHECK: vscalefbf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}2796// CHECK: encoding: [0x62,0xe6,0x44,0x97,0x2c,0x72,0x80]2797          vscalefbf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}2798 2799// CHECK: vsqrtbf16 %xmm23, %xmm222800// CHECK: encoding: [0x62,0xa5,0x7d,0x08,0x51,0xf7]2801          vsqrtbf16 %xmm23, %xmm222802 2803// CHECK: vsqrtbf16 %xmm23, %xmm22 {%k7}2804// CHECK: encoding: [0x62,0xa5,0x7d,0x0f,0x51,0xf7]2805          vsqrtbf16 %xmm23, %xmm22 {%k7}2806 2807// CHECK: vsqrtbf16 %xmm23, %xmm22 {%k7} {z}2808// CHECK: encoding: [0x62,0xa5,0x7d,0x8f,0x51,0xf7]2809          vsqrtbf16 %xmm23, %xmm22 {%k7} {z}2810 2811// CHECK: vsqrtbf16 %zmm23, %zmm222812// CHECK: encoding: [0x62,0xa5,0x7d,0x48,0x51,0xf7]2813          vsqrtbf16 %zmm23, %zmm222814 2815// CHECK: vsqrtbf16 %zmm23, %zmm22 {%k7}2816// CHECK: encoding: [0x62,0xa5,0x7d,0x4f,0x51,0xf7]2817          vsqrtbf16 %zmm23, %zmm22 {%k7}2818 2819// CHECK: vsqrtbf16 %zmm23, %zmm22 {%k7} {z}2820// CHECK: encoding: [0x62,0xa5,0x7d,0xcf,0x51,0xf7]2821          vsqrtbf16 %zmm23, %zmm22 {%k7} {z}2822 2823// CHECK: vsqrtbf16 %ymm23, %ymm222824// CHECK: encoding: [0x62,0xa5,0x7d,0x28,0x51,0xf7]2825          vsqrtbf16 %ymm23, %ymm222826 2827// CHECK: vsqrtbf16 %ymm23, %ymm22 {%k7}2828// CHECK: encoding: [0x62,0xa5,0x7d,0x2f,0x51,0xf7]2829          vsqrtbf16 %ymm23, %ymm22 {%k7}2830 2831// CHECK: vsqrtbf16 %ymm23, %ymm22 {%k7} {z}2832// CHECK: encoding: [0x62,0xa5,0x7d,0xaf,0x51,0xf7]2833          vsqrtbf16 %ymm23, %ymm22 {%k7} {z}2834 2835// CHECK: vsqrtbf16  268435456(%rbp,%r14,8), %xmm222836// CHECK: encoding: [0x62,0xa5,0x7d,0x08,0x51,0xb4,0xf5,0x00,0x00,0x00,0x10]2837          vsqrtbf16  268435456(%rbp,%r14,8), %xmm222838 2839// CHECK: vsqrtbf16  291(%r8,%rax,4), %xmm22 {%k7}2840// CHECK: encoding: [0x62,0xc5,0x7d,0x0f,0x51,0xb4,0x80,0x23,0x01,0x00,0x00]2841          vsqrtbf16  291(%r8,%rax,4), %xmm22 {%k7}2842 2843// CHECK: vsqrtbf16  (%rip){1to8}, %xmm222844// CHECK: encoding: [0x62,0xe5,0x7d,0x18,0x51,0x35,0x00,0x00,0x00,0x00]2845          vsqrtbf16  (%rip){1to8}, %xmm222846 2847// CHECK: vsqrtbf16  -512(,%rbp,2), %xmm222848// CHECK: encoding: [0x62,0xe5,0x7d,0x08,0x51,0x34,0x6d,0x00,0xfe,0xff,0xff]2849          vsqrtbf16  -512(,%rbp,2), %xmm222850 2851// CHECK: vsqrtbf16  2032(%rcx), %xmm22 {%k7} {z}2852// CHECK: encoding: [0x62,0xe5,0x7d,0x8f,0x51,0x71,0x7f]2853          vsqrtbf16  2032(%rcx), %xmm22 {%k7} {z}2854 2855// CHECK: vsqrtbf16  -256(%rdx){1to8}, %xmm22 {%k7} {z}2856// CHECK: encoding: [0x62,0xe5,0x7d,0x9f,0x51,0x72,0x80]2857          vsqrtbf16  -256(%rdx){1to8}, %xmm22 {%k7} {z}2858 2859// CHECK: vsqrtbf16  268435456(%rbp,%r14,8), %ymm222860// CHECK: encoding: [0x62,0xa5,0x7d,0x28,0x51,0xb4,0xf5,0x00,0x00,0x00,0x10]2861          vsqrtbf16  268435456(%rbp,%r14,8), %ymm222862 2863// CHECK: vsqrtbf16  291(%r8,%rax,4), %ymm22 {%k7}2864// CHECK: encoding: [0x62,0xc5,0x7d,0x2f,0x51,0xb4,0x80,0x23,0x01,0x00,0x00]2865          vsqrtbf16  291(%r8,%rax,4), %ymm22 {%k7}2866 2867// CHECK: vsqrtbf16  (%rip){1to16}, %ymm222868// CHECK: encoding: [0x62,0xe5,0x7d,0x38,0x51,0x35,0x00,0x00,0x00,0x00]2869          vsqrtbf16  (%rip){1to16}, %ymm222870 2871// CHECK: vsqrtbf16  -1024(,%rbp,2), %ymm222872// CHECK: encoding: [0x62,0xe5,0x7d,0x28,0x51,0x34,0x6d,0x00,0xfc,0xff,0xff]2873          vsqrtbf16  -1024(,%rbp,2), %ymm222874 2875// CHECK: vsqrtbf16  4064(%rcx), %ymm22 {%k7} {z}2876// CHECK: encoding: [0x62,0xe5,0x7d,0xaf,0x51,0x71,0x7f]2877          vsqrtbf16  4064(%rcx), %ymm22 {%k7} {z}2878 2879// CHECK: vsqrtbf16  -256(%rdx){1to16}, %ymm22 {%k7} {z}2880// CHECK: encoding: [0x62,0xe5,0x7d,0xbf,0x51,0x72,0x80]2881          vsqrtbf16  -256(%rdx){1to16}, %ymm22 {%k7} {z}2882 2883// CHECK: vsqrtbf16  268435456(%rbp,%r14,8), %zmm222884// CHECK: encoding: [0x62,0xa5,0x7d,0x48,0x51,0xb4,0xf5,0x00,0x00,0x00,0x10]2885          vsqrtbf16  268435456(%rbp,%r14,8), %zmm222886 2887// CHECK: vsqrtbf16  291(%r8,%rax,4), %zmm22 {%k7}2888// CHECK: encoding: [0x62,0xc5,0x7d,0x4f,0x51,0xb4,0x80,0x23,0x01,0x00,0x00]2889          vsqrtbf16  291(%r8,%rax,4), %zmm22 {%k7}2890 2891// CHECK: vsqrtbf16  (%rip){1to32}, %zmm222892// CHECK: encoding: [0x62,0xe5,0x7d,0x58,0x51,0x35,0x00,0x00,0x00,0x00]2893          vsqrtbf16  (%rip){1to32}, %zmm222894 2895// CHECK: vsqrtbf16  -2048(,%rbp,2), %zmm222896// CHECK: encoding: [0x62,0xe5,0x7d,0x48,0x51,0x34,0x6d,0x00,0xf8,0xff,0xff]2897          vsqrtbf16  -2048(,%rbp,2), %zmm222898 2899// CHECK: vsqrtbf16  8128(%rcx), %zmm22 {%k7} {z}2900// CHECK: encoding: [0x62,0xe5,0x7d,0xcf,0x51,0x71,0x7f]2901          vsqrtbf16  8128(%rcx), %zmm22 {%k7} {z}2902 2903// CHECK: vsqrtbf16  -256(%rdx){1to32}, %zmm22 {%k7} {z}2904// CHECK: encoding: [0x62,0xe5,0x7d,0xdf,0x51,0x72,0x80]2905          vsqrtbf16  -256(%rdx){1to32}, %zmm22 {%k7} {z}2906 2907// CHECK: vsubbf16 %ymm24, %ymm23, %ymm222908// CHECK: encoding: [0x62,0x85,0x45,0x20,0x5c,0xf0]2909          vsubbf16 %ymm24, %ymm23, %ymm222910 2911// CHECK: vsubbf16 %ymm24, %ymm23, %ymm22 {%k7}2912// CHECK: encoding: [0x62,0x85,0x45,0x27,0x5c,0xf0]2913          vsubbf16 %ymm24, %ymm23, %ymm22 {%k7}2914 2915// CHECK: vsubbf16 %ymm24, %ymm23, %ymm22 {%k7} {z}2916// CHECK: encoding: [0x62,0x85,0x45,0xa7,0x5c,0xf0]2917          vsubbf16 %ymm24, %ymm23, %ymm22 {%k7} {z}2918 2919// CHECK: vsubbf16 %zmm24, %zmm23, %zmm222920// CHECK: encoding: [0x62,0x85,0x45,0x40,0x5c,0xf0]2921          vsubbf16 %zmm24, %zmm23, %zmm222922 2923// CHECK: vsubbf16 %zmm24, %zmm23, %zmm22 {%k7}2924// CHECK: encoding: [0x62,0x85,0x45,0x47,0x5c,0xf0]2925          vsubbf16 %zmm24, %zmm23, %zmm22 {%k7}2926 2927// CHECK: vsubbf16 %zmm24, %zmm23, %zmm22 {%k7} {z}2928// CHECK: encoding: [0x62,0x85,0x45,0xc7,0x5c,0xf0]2929          vsubbf16 %zmm24, %zmm23, %zmm22 {%k7} {z}2930 2931// CHECK: vsubbf16 %xmm24, %xmm23, %xmm222932// CHECK: encoding: [0x62,0x85,0x45,0x00,0x5c,0xf0]2933          vsubbf16 %xmm24, %xmm23, %xmm222934 2935// CHECK: vsubbf16 %xmm24, %xmm23, %xmm22 {%k7}2936// CHECK: encoding: [0x62,0x85,0x45,0x07,0x5c,0xf0]2937          vsubbf16 %xmm24, %xmm23, %xmm22 {%k7}2938 2939// CHECK: vsubbf16 %xmm24, %xmm23, %xmm22 {%k7} {z}2940// CHECK: encoding: [0x62,0x85,0x45,0x87,0x5c,0xf0]2941          vsubbf16 %xmm24, %xmm23, %xmm22 {%k7} {z}2942 2943// CHECK: vsubbf16  268435456(%rbp,%r14,8), %zmm23, %zmm222944// CHECK: encoding: [0x62,0xa5,0x45,0x40,0x5c,0xb4,0xf5,0x00,0x00,0x00,0x10]2945          vsubbf16  268435456(%rbp,%r14,8), %zmm23, %zmm222946 2947// CHECK: vsubbf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}2948// CHECK: encoding: [0x62,0xc5,0x45,0x47,0x5c,0xb4,0x80,0x23,0x01,0x00,0x00]2949          vsubbf16  291(%r8,%rax,4), %zmm23, %zmm22 {%k7}2950 2951// CHECK: vsubbf16  (%rip){1to32}, %zmm23, %zmm222952// CHECK: encoding: [0x62,0xe5,0x45,0x50,0x5c,0x35,0x00,0x00,0x00,0x00]2953          vsubbf16  (%rip){1to32}, %zmm23, %zmm222954 2955// CHECK: vsubbf16  -2048(,%rbp,2), %zmm23, %zmm222956// CHECK: encoding: [0x62,0xe5,0x45,0x40,0x5c,0x34,0x6d,0x00,0xf8,0xff,0xff]2957          vsubbf16  -2048(,%rbp,2), %zmm23, %zmm222958 2959// CHECK: vsubbf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}2960// CHECK: encoding: [0x62,0xe5,0x45,0xc7,0x5c,0x71,0x7f]2961          vsubbf16  8128(%rcx), %zmm23, %zmm22 {%k7} {z}2962 2963// CHECK: vsubbf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}2964// CHECK: encoding: [0x62,0xe5,0x45,0xd7,0x5c,0x72,0x80]2965          vsubbf16  -256(%rdx){1to32}, %zmm23, %zmm22 {%k7} {z}2966 2967// CHECK: vsubbf16  268435456(%rbp,%r14,8), %ymm23, %ymm222968// CHECK: encoding: [0x62,0xa5,0x45,0x20,0x5c,0xb4,0xf5,0x00,0x00,0x00,0x10]2969          vsubbf16  268435456(%rbp,%r14,8), %ymm23, %ymm222970 2971// CHECK: vsubbf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}2972// CHECK: encoding: [0x62,0xc5,0x45,0x27,0x5c,0xb4,0x80,0x23,0x01,0x00,0x00]2973          vsubbf16  291(%r8,%rax,4), %ymm23, %ymm22 {%k7}2974 2975// CHECK: vsubbf16  (%rip){1to16}, %ymm23, %ymm222976// CHECK: encoding: [0x62,0xe5,0x45,0x30,0x5c,0x35,0x00,0x00,0x00,0x00]2977          vsubbf16  (%rip){1to16}, %ymm23, %ymm222978 2979// CHECK: vsubbf16  -1024(,%rbp,2), %ymm23, %ymm222980// CHECK: encoding: [0x62,0xe5,0x45,0x20,0x5c,0x34,0x6d,0x00,0xfc,0xff,0xff]2981          vsubbf16  -1024(,%rbp,2), %ymm23, %ymm222982 2983// CHECK: vsubbf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}2984// CHECK: encoding: [0x62,0xe5,0x45,0xa7,0x5c,0x71,0x7f]2985          vsubbf16  4064(%rcx), %ymm23, %ymm22 {%k7} {z}2986 2987// CHECK: vsubbf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}2988// CHECK: encoding: [0x62,0xe5,0x45,0xb7,0x5c,0x72,0x80]2989          vsubbf16  -256(%rdx){1to16}, %ymm23, %ymm22 {%k7} {z}2990 2991// CHECK: vsubbf16  268435456(%rbp,%r14,8), %xmm23, %xmm222992// CHECK: encoding: [0x62,0xa5,0x45,0x00,0x5c,0xb4,0xf5,0x00,0x00,0x00,0x10]2993          vsubbf16  268435456(%rbp,%r14,8), %xmm23, %xmm222994 2995// CHECK: vsubbf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}2996// CHECK: encoding: [0x62,0xc5,0x45,0x07,0x5c,0xb4,0x80,0x23,0x01,0x00,0x00]2997          vsubbf16  291(%r8,%rax,4), %xmm23, %xmm22 {%k7}2998 2999// CHECK: vsubbf16  (%rip){1to8}, %xmm23, %xmm223000// CHECK: encoding: [0x62,0xe5,0x45,0x10,0x5c,0x35,0x00,0x00,0x00,0x00]3001          vsubbf16  (%rip){1to8}, %xmm23, %xmm223002 3003// CHECK: vsubbf16  -512(,%rbp,2), %xmm23, %xmm223004// CHECK: encoding: [0x62,0xe5,0x45,0x00,0x5c,0x34,0x6d,0x00,0xfe,0xff,0xff]3005          vsubbf16  -512(,%rbp,2), %xmm23, %xmm223006 3007// CHECK: vsubbf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}3008// CHECK: encoding: [0x62,0xe5,0x45,0x87,0x5c,0x71,0x7f]3009          vsubbf16  2032(%rcx), %xmm23, %xmm22 {%k7} {z}3010 3011// CHECK: vsubbf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}3012// CHECK: encoding: [0x62,0xe5,0x45,0x97,0x5c,0x72,0x80]3013          vsubbf16  -256(%rdx){1to8}, %xmm23, %xmm22 {%k7} {z}3014 3015