llvm/llvm/test/MC/X86/avx10.2satcvt-64-att.s

// RUN: llvm-mc -triple x86_64 --show-encoding %s | FileCheck %s

// CHECK: vcvtnebf162ibs %xmm23, %xmm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x08,0x69,0xf7]
          vcvtnebf162ibs %xmm23, %xmm22

// CHECK: vcvtnebf162ibs %xmm23, %xmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7f,0x0f,0x69,0xf7]
          vcvtnebf162ibs %xmm23, %xmm22 {%k7}

// CHECK: vcvtnebf162ibs %xmm23, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7f,0x8f,0x69,0xf7]
          vcvtnebf162ibs %xmm23, %xmm22 {%k7} {z}

// CHECK: vcvtnebf162ibs %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x48,0x69,0xf7]
          vcvtnebf162ibs %zmm23, %zmm22

// CHECK: vcvtnebf162ibs %zmm23, %zmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7f,0x4f,0x69,0xf7]
          vcvtnebf162ibs %zmm23, %zmm22 {%k7}

// CHECK: vcvtnebf162ibs %zmm23, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7f,0xcf,0x69,0xf7]
          vcvtnebf162ibs %zmm23, %zmm22 {%k7} {z}

// CHECK: vcvtnebf162ibs %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x28,0x69,0xf7]
          vcvtnebf162ibs %ymm23, %ymm22

// CHECK: vcvtnebf162ibs %ymm23, %ymm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7f,0x2f,0x69,0xf7]
          vcvtnebf162ibs %ymm23, %ymm22 {%k7}

// CHECK: vcvtnebf162ibs %ymm23, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7f,0xaf,0x69,0xf7]
          vcvtnebf162ibs %ymm23, %ymm22 {%k7} {z}

// CHECK: vcvtnebf162ibs  268435456(%rbp,%r14,8), %xmm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x08,0x69,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtnebf162ibs  268435456(%rbp,%r14,8), %xmm22

// CHECK: vcvtnebf162ibs  291(%r8,%rax,4), %xmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7f,0x0f,0x69,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtnebf162ibs  291(%r8,%rax,4), %xmm22 {%k7}

// CHECK: vcvtnebf162ibs  (%rip){1to8}, %xmm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x18,0x69,0x35,0x00,0x00,0x00,0x00]
          vcvtnebf162ibs  (%rip){1to8}, %xmm22

// CHECK: vcvtnebf162ibs  -512(,%rbp,2), %xmm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x08,0x69,0x34,0x6d,0x00,0xfe,0xff,0xff]
          vcvtnebf162ibs  -512(,%rbp,2), %xmm22

// CHECK: vcvtnebf162ibs  2032(%rcx), %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0x8f,0x69,0x71,0x7f]
          vcvtnebf162ibs  2032(%rcx), %xmm22 {%k7} {z}

// CHECK: vcvtnebf162ibs  -256(%rdx){1to8}, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0x9f,0x69,0x72,0x80]
          vcvtnebf162ibs  -256(%rdx){1to8}, %xmm22 {%k7} {z}

// CHECK: vcvtnebf162ibs  268435456(%rbp,%r14,8), %ymm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x28,0x69,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtnebf162ibs  268435456(%rbp,%r14,8), %ymm22

// CHECK: vcvtnebf162ibs  291(%r8,%rax,4), %ymm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7f,0x2f,0x69,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtnebf162ibs  291(%r8,%rax,4), %ymm22 {%k7}

// CHECK: vcvtnebf162ibs  (%rip){1to16}, %ymm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x38,0x69,0x35,0x00,0x00,0x00,0x00]
          vcvtnebf162ibs  (%rip){1to16}, %ymm22

// CHECK: vcvtnebf162ibs  -1024(,%rbp,2), %ymm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x28,0x69,0x34,0x6d,0x00,0xfc,0xff,0xff]
          vcvtnebf162ibs  -1024(,%rbp,2), %ymm22

// CHECK: vcvtnebf162ibs  4064(%rcx), %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0xaf,0x69,0x71,0x7f]
          vcvtnebf162ibs  4064(%rcx), %ymm22 {%k7} {z}

// CHECK: vcvtnebf162ibs  -256(%rdx){1to16}, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0xbf,0x69,0x72,0x80]
          vcvtnebf162ibs  -256(%rdx){1to16}, %ymm22 {%k7} {z}

// CHECK: vcvtnebf162ibs  268435456(%rbp,%r14,8), %zmm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x48,0x69,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtnebf162ibs  268435456(%rbp,%r14,8), %zmm22

// CHECK: vcvtnebf162ibs  291(%r8,%rax,4), %zmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7f,0x4f,0x69,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtnebf162ibs  291(%r8,%rax,4), %zmm22 {%k7}

// CHECK: vcvtnebf162ibs  (%rip){1to32}, %zmm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x58,0x69,0x35,0x00,0x00,0x00,0x00]
          vcvtnebf162ibs  (%rip){1to32}, %zmm22

// CHECK: vcvtnebf162ibs  -2048(,%rbp,2), %zmm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x48,0x69,0x34,0x6d,0x00,0xf8,0xff,0xff]
          vcvtnebf162ibs  -2048(,%rbp,2), %zmm22

// CHECK: vcvtnebf162ibs  8128(%rcx), %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0xcf,0x69,0x71,0x7f]
          vcvtnebf162ibs  8128(%rcx), %zmm22 {%k7} {z}

// CHECK: vcvtnebf162ibs  -256(%rdx){1to32}, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0xdf,0x69,0x72,0x80]
          vcvtnebf162ibs  -256(%rdx){1to32}, %zmm22 {%k7} {z}

// CHECK: vcvtnebf162iubs %xmm23, %xmm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x08,0x6b,0xf7]
          vcvtnebf162iubs %xmm23, %xmm22

// CHECK: vcvtnebf162iubs %xmm23, %xmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7f,0x0f,0x6b,0xf7]
          vcvtnebf162iubs %xmm23, %xmm22 {%k7}

// CHECK: vcvtnebf162iubs %xmm23, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7f,0x8f,0x6b,0xf7]
          vcvtnebf162iubs %xmm23, %xmm22 {%k7} {z}

// CHECK: vcvtnebf162iubs %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x48,0x6b,0xf7]
          vcvtnebf162iubs %zmm23, %zmm22

// CHECK: vcvtnebf162iubs %zmm23, %zmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7f,0x4f,0x6b,0xf7]
          vcvtnebf162iubs %zmm23, %zmm22 {%k7}

// CHECK: vcvtnebf162iubs %zmm23, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7f,0xcf,0x6b,0xf7]
          vcvtnebf162iubs %zmm23, %zmm22 {%k7} {z}

// CHECK: vcvtnebf162iubs %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x28,0x6b,0xf7]
          vcvtnebf162iubs %ymm23, %ymm22

// CHECK: vcvtnebf162iubs %ymm23, %ymm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7f,0x2f,0x6b,0xf7]
          vcvtnebf162iubs %ymm23, %ymm22 {%k7}

// CHECK: vcvtnebf162iubs %ymm23, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7f,0xaf,0x6b,0xf7]
          vcvtnebf162iubs %ymm23, %ymm22 {%k7} {z}

// CHECK: vcvtnebf162iubs  268435456(%rbp,%r14,8), %xmm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x08,0x6b,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtnebf162iubs  268435456(%rbp,%r14,8), %xmm22

// CHECK: vcvtnebf162iubs  291(%r8,%rax,4), %xmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7f,0x0f,0x6b,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtnebf162iubs  291(%r8,%rax,4), %xmm22 {%k7}

// CHECK: vcvtnebf162iubs  (%rip){1to8}, %xmm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x18,0x6b,0x35,0x00,0x00,0x00,0x00]
          vcvtnebf162iubs  (%rip){1to8}, %xmm22

// CHECK: vcvtnebf162iubs  -512(,%rbp,2), %xmm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x08,0x6b,0x34,0x6d,0x00,0xfe,0xff,0xff]
          vcvtnebf162iubs  -512(,%rbp,2), %xmm22

// CHECK: vcvtnebf162iubs  2032(%rcx), %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0x8f,0x6b,0x71,0x7f]
          vcvtnebf162iubs  2032(%rcx), %xmm22 {%k7} {z}

// CHECK: vcvtnebf162iubs  -256(%rdx){1to8}, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0x9f,0x6b,0x72,0x80]
          vcvtnebf162iubs  -256(%rdx){1to8}, %xmm22 {%k7} {z}

// CHECK: vcvtnebf162iubs  268435456(%rbp,%r14,8), %ymm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x28,0x6b,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtnebf162iubs  268435456(%rbp,%r14,8), %ymm22

// CHECK: vcvtnebf162iubs  291(%r8,%rax,4), %ymm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7f,0x2f,0x6b,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtnebf162iubs  291(%r8,%rax,4), %ymm22 {%k7}

// CHECK: vcvtnebf162iubs  (%rip){1to16}, %ymm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x38,0x6b,0x35,0x00,0x00,0x00,0x00]
          vcvtnebf162iubs  (%rip){1to16}, %ymm22

// CHECK: vcvtnebf162iubs  -1024(,%rbp,2), %ymm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x28,0x6b,0x34,0x6d,0x00,0xfc,0xff,0xff]
          vcvtnebf162iubs  -1024(,%rbp,2), %ymm22

// CHECK: vcvtnebf162iubs  4064(%rcx), %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0xaf,0x6b,0x71,0x7f]
          vcvtnebf162iubs  4064(%rcx), %ymm22 {%k7} {z}

// CHECK: vcvtnebf162iubs  -256(%rdx){1to16}, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0xbf,0x6b,0x72,0x80]
          vcvtnebf162iubs  -256(%rdx){1to16}, %ymm22 {%k7} {z}

// CHECK: vcvtnebf162iubs  268435456(%rbp,%r14,8), %zmm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x48,0x6b,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtnebf162iubs  268435456(%rbp,%r14,8), %zmm22

// CHECK: vcvtnebf162iubs  291(%r8,%rax,4), %zmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7f,0x4f,0x6b,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtnebf162iubs  291(%r8,%rax,4), %zmm22 {%k7}

// CHECK: vcvtnebf162iubs  (%rip){1to32}, %zmm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x58,0x6b,0x35,0x00,0x00,0x00,0x00]
          vcvtnebf162iubs  (%rip){1to32}, %zmm22

// CHECK: vcvtnebf162iubs  -2048(,%rbp,2), %zmm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x48,0x6b,0x34,0x6d,0x00,0xf8,0xff,0xff]
          vcvtnebf162iubs  -2048(,%rbp,2), %zmm22

// CHECK: vcvtnebf162iubs  8128(%rcx), %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0xcf,0x6b,0x71,0x7f]
          vcvtnebf162iubs  8128(%rcx), %zmm22 {%k7} {z}

// CHECK: vcvtnebf162iubs  -256(%rdx){1to32}, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0xdf,0x6b,0x72,0x80]
          vcvtnebf162iubs  -256(%rdx){1to32}, %zmm22 {%k7} {z}

// CHECK: vcvtph2ibs %xmm23, %xmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x08,0x69,0xf7]
          vcvtph2ibs %xmm23, %xmm22

// CHECK: vcvtph2ibs %xmm23, %xmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7c,0x0f,0x69,0xf7]
          vcvtph2ibs %xmm23, %xmm22 {%k7}

// CHECK: vcvtph2ibs %xmm23, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7c,0x8f,0x69,0xf7]
          vcvtph2ibs %xmm23, %xmm22 {%k7} {z}

// CHECK: vcvtph2ibs %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x48,0x69,0xf7]
          vcvtph2ibs %zmm23, %zmm22

// CHECK: vcvtph2ibs {rn-sae}, %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x18,0x69,0xf7]
          vcvtph2ibs {rn-sae}, %zmm23, %zmm22

// CHECK: vcvtph2ibs %zmm23, %zmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7c,0x4f,0x69,0xf7]
          vcvtph2ibs %zmm23, %zmm22 {%k7}

// CHECK: vcvtph2ibs {rz-sae}, %zmm23, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7c,0xff,0x69,0xf7]
          vcvtph2ibs {rz-sae}, %zmm23, %zmm22 {%k7} {z}

// CHECK: vcvtph2ibs %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x28,0x69,0xf7]
          vcvtph2ibs %ymm23, %ymm22

// CHECK: vcvtph2ibs {rn-sae}, %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x78,0x18,0x69,0xf7]
          vcvtph2ibs {rn-sae}, %ymm23, %ymm22

// CHECK: vcvtph2ibs %ymm23, %ymm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7c,0x2f,0x69,0xf7]
          vcvtph2ibs %ymm23, %ymm22 {%k7}

// CHECK: vcvtph2ibs {rz-sae}, %ymm23, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x78,0xff,0x69,0xf7]
          vcvtph2ibs {rz-sae}, %ymm23, %ymm22 {%k7} {z}

// CHECK: vcvtph2ibs  268435456(%rbp,%r14,8), %xmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x08,0x69,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtph2ibs  268435456(%rbp,%r14,8), %xmm22

// CHECK: vcvtph2ibs  291(%r8,%rax,4), %xmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7c,0x0f,0x69,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtph2ibs  291(%r8,%rax,4), %xmm22 {%k7}

// CHECK: vcvtph2ibs  (%rip){1to8}, %xmm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x18,0x69,0x35,0x00,0x00,0x00,0x00]
          vcvtph2ibs  (%rip){1to8}, %xmm22

// CHECK: vcvtph2ibs  -512(,%rbp,2), %xmm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x08,0x69,0x34,0x6d,0x00,0xfe,0xff,0xff]
          vcvtph2ibs  -512(,%rbp,2), %xmm22

// CHECK: vcvtph2ibs  2032(%rcx), %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0x8f,0x69,0x71,0x7f]
          vcvtph2ibs  2032(%rcx), %xmm22 {%k7} {z}

// CHECK: vcvtph2ibs  -256(%rdx){1to8}, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0x9f,0x69,0x72,0x80]
          vcvtph2ibs  -256(%rdx){1to8}, %xmm22 {%k7} {z}

// CHECK: vcvtph2ibs  268435456(%rbp,%r14,8), %ymm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x28,0x69,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtph2ibs  268435456(%rbp,%r14,8), %ymm22

// CHECK: vcvtph2ibs  291(%r8,%rax,4), %ymm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7c,0x2f,0x69,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtph2ibs  291(%r8,%rax,4), %ymm22 {%k7}

// CHECK: vcvtph2ibs  (%rip){1to16}, %ymm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x38,0x69,0x35,0x00,0x00,0x00,0x00]
          vcvtph2ibs  (%rip){1to16}, %ymm22

// CHECK: vcvtph2ibs  -1024(,%rbp,2), %ymm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x28,0x69,0x34,0x6d,0x00,0xfc,0xff,0xff]
          vcvtph2ibs  -1024(,%rbp,2), %ymm22

// CHECK: vcvtph2ibs  4064(%rcx), %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0xaf,0x69,0x71,0x7f]
          vcvtph2ibs  4064(%rcx), %ymm22 {%k7} {z}

// CHECK: vcvtph2ibs  -256(%rdx){1to16}, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0xbf,0x69,0x72,0x80]
          vcvtph2ibs  -256(%rdx){1to16}, %ymm22 {%k7} {z}

// CHECK: vcvtph2ibs  268435456(%rbp,%r14,8), %zmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x48,0x69,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtph2ibs  268435456(%rbp,%r14,8), %zmm22

// CHECK: vcvtph2ibs  291(%r8,%rax,4), %zmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7c,0x4f,0x69,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtph2ibs  291(%r8,%rax,4), %zmm22 {%k7}

// CHECK: vcvtph2ibs  (%rip){1to32}, %zmm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x58,0x69,0x35,0x00,0x00,0x00,0x00]
          vcvtph2ibs  (%rip){1to32}, %zmm22

// CHECK: vcvtph2ibs  -2048(,%rbp,2), %zmm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x48,0x69,0x34,0x6d,0x00,0xf8,0xff,0xff]
          vcvtph2ibs  -2048(,%rbp,2), %zmm22

// CHECK: vcvtph2ibs  8128(%rcx), %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0xcf,0x69,0x71,0x7f]
          vcvtph2ibs  8128(%rcx), %zmm22 {%k7} {z}

// CHECK: vcvtph2ibs  -256(%rdx){1to32}, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0xdf,0x69,0x72,0x80]
          vcvtph2ibs  -256(%rdx){1to32}, %zmm22 {%k7} {z}

// CHECK: vcvtph2iubs %xmm23, %xmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x08,0x6b,0xf7]
          vcvtph2iubs %xmm23, %xmm22

// CHECK: vcvtph2iubs %xmm23, %xmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7c,0x0f,0x6b,0xf7]
          vcvtph2iubs %xmm23, %xmm22 {%k7}

// CHECK: vcvtph2iubs %xmm23, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7c,0x8f,0x6b,0xf7]
          vcvtph2iubs %xmm23, %xmm22 {%k7} {z}

// CHECK: vcvtph2iubs %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x48,0x6b,0xf7]
          vcvtph2iubs %zmm23, %zmm22

// CHECK: vcvtph2iubs {rn-sae}, %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x18,0x6b,0xf7]
          vcvtph2iubs {rn-sae}, %zmm23, %zmm22

// CHECK: vcvtph2iubs %zmm23, %zmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7c,0x4f,0x6b,0xf7]
          vcvtph2iubs %zmm23, %zmm22 {%k7}

// CHECK: vcvtph2iubs {rz-sae}, %zmm23, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7c,0xff,0x6b,0xf7]
          vcvtph2iubs {rz-sae}, %zmm23, %zmm22 {%k7} {z}

// CHECK: vcvtph2iubs %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x28,0x6b,0xf7]
          vcvtph2iubs %ymm23, %ymm22

// CHECK: vcvtph2iubs {rn-sae}, %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x78,0x18,0x6b,0xf7]
          vcvtph2iubs {rn-sae}, %ymm23, %ymm22

// CHECK: vcvtph2iubs %ymm23, %ymm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7c,0x2f,0x6b,0xf7]
          vcvtph2iubs %ymm23, %ymm22 {%k7}

// CHECK: vcvtph2iubs {rz-sae}, %ymm23, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x78,0xff,0x6b,0xf7]
          vcvtph2iubs {rz-sae}, %ymm23, %ymm22 {%k7} {z}

// CHECK: vcvtph2iubs  268435456(%rbp,%r14,8), %xmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x08,0x6b,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtph2iubs  268435456(%rbp,%r14,8), %xmm22

// CHECK: vcvtph2iubs  291(%r8,%rax,4), %xmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7c,0x0f,0x6b,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtph2iubs  291(%r8,%rax,4), %xmm22 {%k7}

// CHECK: vcvtph2iubs  (%rip){1to8}, %xmm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x18,0x6b,0x35,0x00,0x00,0x00,0x00]
          vcvtph2iubs  (%rip){1to8}, %xmm22

// CHECK: vcvtph2iubs  -512(,%rbp,2), %xmm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x08,0x6b,0x34,0x6d,0x00,0xfe,0xff,0xff]
          vcvtph2iubs  -512(,%rbp,2), %xmm22

// CHECK: vcvtph2iubs  2032(%rcx), %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0x8f,0x6b,0x71,0x7f]
          vcvtph2iubs  2032(%rcx), %xmm22 {%k7} {z}

// CHECK: vcvtph2iubs  -256(%rdx){1to8}, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0x9f,0x6b,0x72,0x80]
          vcvtph2iubs  -256(%rdx){1to8}, %xmm22 {%k7} {z}

// CHECK: vcvtph2iubs  268435456(%rbp,%r14,8), %ymm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x28,0x6b,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtph2iubs  268435456(%rbp,%r14,8), %ymm22

// CHECK: vcvtph2iubs  291(%r8,%rax,4), %ymm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7c,0x2f,0x6b,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtph2iubs  291(%r8,%rax,4), %ymm22 {%k7}

// CHECK: vcvtph2iubs  (%rip){1to16}, %ymm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x38,0x6b,0x35,0x00,0x00,0x00,0x00]
          vcvtph2iubs  (%rip){1to16}, %ymm22

// CHECK: vcvtph2iubs  -1024(,%rbp,2), %ymm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x28,0x6b,0x34,0x6d,0x00,0xfc,0xff,0xff]
          vcvtph2iubs  -1024(,%rbp,2), %ymm22

// CHECK: vcvtph2iubs  4064(%rcx), %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0xaf,0x6b,0x71,0x7f]
          vcvtph2iubs  4064(%rcx), %ymm22 {%k7} {z}

// CHECK: vcvtph2iubs  -256(%rdx){1to16}, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0xbf,0x6b,0x72,0x80]
          vcvtph2iubs  -256(%rdx){1to16}, %ymm22 {%k7} {z}

// CHECK: vcvtph2iubs  268435456(%rbp,%r14,8), %zmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x48,0x6b,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtph2iubs  268435456(%rbp,%r14,8), %zmm22

// CHECK: vcvtph2iubs  291(%r8,%rax,4), %zmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7c,0x4f,0x6b,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtph2iubs  291(%r8,%rax,4), %zmm22 {%k7}

// CHECK: vcvtph2iubs  (%rip){1to32}, %zmm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x58,0x6b,0x35,0x00,0x00,0x00,0x00]
          vcvtph2iubs  (%rip){1to32}, %zmm22

// CHECK: vcvtph2iubs  -2048(,%rbp,2), %zmm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x48,0x6b,0x34,0x6d,0x00,0xf8,0xff,0xff]
          vcvtph2iubs  -2048(,%rbp,2), %zmm22

// CHECK: vcvtph2iubs  8128(%rcx), %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0xcf,0x6b,0x71,0x7f]
          vcvtph2iubs  8128(%rcx), %zmm22 {%k7} {z}

// CHECK: vcvtph2iubs  -256(%rdx){1to32}, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0xdf,0x6b,0x72,0x80]
          vcvtph2iubs  -256(%rdx){1to32}, %zmm22 {%k7} {z}

// CHECK: vcvtps2ibs %xmm23, %xmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x08,0x69,0xf7]
          vcvtps2ibs %xmm23, %xmm22

// CHECK: vcvtps2ibs %xmm23, %xmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7d,0x0f,0x69,0xf7]
          vcvtps2ibs %xmm23, %xmm22 {%k7}

// CHECK: vcvtps2ibs %xmm23, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7d,0x8f,0x69,0xf7]
          vcvtps2ibs %xmm23, %xmm22 {%k7} {z}

// CHECK: vcvtps2ibs %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x48,0x69,0xf7]
          vcvtps2ibs %zmm23, %zmm22

// CHECK: vcvtps2ibs {rn-sae}, %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x18,0x69,0xf7]
          vcvtps2ibs {rn-sae}, %zmm23, %zmm22

// CHECK: vcvtps2ibs %zmm23, %zmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7d,0x4f,0x69,0xf7]
          vcvtps2ibs %zmm23, %zmm22 {%k7}

// CHECK: vcvtps2ibs {rz-sae}, %zmm23, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7d,0xff,0x69,0xf7]
          vcvtps2ibs {rz-sae}, %zmm23, %zmm22 {%k7} {z}

// CHECK: vcvtps2ibs %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x28,0x69,0xf7]
          vcvtps2ibs %ymm23, %ymm22

// CHECK: vcvtps2ibs {rn-sae}, %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x79,0x18,0x69,0xf7]
          vcvtps2ibs {rn-sae}, %ymm23, %ymm22

// CHECK: vcvtps2ibs %ymm23, %ymm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7d,0x2f,0x69,0xf7]
          vcvtps2ibs %ymm23, %ymm22 {%k7}

// CHECK: vcvtps2ibs {rz-sae}, %ymm23, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x79,0xff,0x69,0xf7]
          vcvtps2ibs {rz-sae}, %ymm23, %ymm22 {%k7} {z}

// CHECK: vcvtps2ibs  268435456(%rbp,%r14,8), %xmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x08,0x69,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtps2ibs  268435456(%rbp,%r14,8), %xmm22

// CHECK: vcvtps2ibs  291(%r8,%rax,4), %xmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7d,0x0f,0x69,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtps2ibs  291(%r8,%rax,4), %xmm22 {%k7}

// CHECK: vcvtps2ibs  (%rip){1to4}, %xmm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x18,0x69,0x35,0x00,0x00,0x00,0x00]
          vcvtps2ibs  (%rip){1to4}, %xmm22

// CHECK: vcvtps2ibs  -512(,%rbp,2), %xmm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x08,0x69,0x34,0x6d,0x00,0xfe,0xff,0xff]
          vcvtps2ibs  -512(,%rbp,2), %xmm22

// CHECK: vcvtps2ibs  2032(%rcx), %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0x8f,0x69,0x71,0x7f]
          vcvtps2ibs  2032(%rcx), %xmm22 {%k7} {z}

// CHECK: vcvtps2ibs  -512(%rdx){1to4}, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0x9f,0x69,0x72,0x80]
          vcvtps2ibs  -512(%rdx){1to4}, %xmm22 {%k7} {z}

// CHECK: vcvtps2ibs  268435456(%rbp,%r14,8), %ymm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x28,0x69,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtps2ibs  268435456(%rbp,%r14,8), %ymm22

// CHECK: vcvtps2ibs  291(%r8,%rax,4), %ymm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7d,0x2f,0x69,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtps2ibs  291(%r8,%rax,4), %ymm22 {%k7}

// CHECK: vcvtps2ibs  (%rip){1to8}, %ymm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x38,0x69,0x35,0x00,0x00,0x00,0x00]
          vcvtps2ibs  (%rip){1to8}, %ymm22

// CHECK: vcvtps2ibs  -1024(,%rbp,2), %ymm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x28,0x69,0x34,0x6d,0x00,0xfc,0xff,0xff]
          vcvtps2ibs  -1024(,%rbp,2), %ymm22

// CHECK: vcvtps2ibs  4064(%rcx), %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0xaf,0x69,0x71,0x7f]
          vcvtps2ibs  4064(%rcx), %ymm22 {%k7} {z}

// CHECK: vcvtps2ibs  -512(%rdx){1to8}, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0xbf,0x69,0x72,0x80]
          vcvtps2ibs  -512(%rdx){1to8}, %ymm22 {%k7} {z}

// CHECK: vcvtps2ibs  268435456(%rbp,%r14,8), %zmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x48,0x69,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtps2ibs  268435456(%rbp,%r14,8), %zmm22

// CHECK: vcvtps2ibs  291(%r8,%rax,4), %zmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7d,0x4f,0x69,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtps2ibs  291(%r8,%rax,4), %zmm22 {%k7}

// CHECK: vcvtps2ibs  (%rip){1to16}, %zmm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x58,0x69,0x35,0x00,0x00,0x00,0x00]
          vcvtps2ibs  (%rip){1to16}, %zmm22

// CHECK: vcvtps2ibs  -2048(,%rbp,2), %zmm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x48,0x69,0x34,0x6d,0x00,0xf8,0xff,0xff]
          vcvtps2ibs  -2048(,%rbp,2), %zmm22

// CHECK: vcvtps2ibs  8128(%rcx), %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0xcf,0x69,0x71,0x7f]
          vcvtps2ibs  8128(%rcx), %zmm22 {%k7} {z}

// CHECK: vcvtps2ibs  -512(%rdx){1to16}, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0xdf,0x69,0x72,0x80]
          vcvtps2ibs  -512(%rdx){1to16}, %zmm22 {%k7} {z}

// CHECK: vcvtps2iubs %xmm23, %xmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x08,0x6b,0xf7]
          vcvtps2iubs %xmm23, %xmm22

// CHECK: vcvtps2iubs %xmm23, %xmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7d,0x0f,0x6b,0xf7]
          vcvtps2iubs %xmm23, %xmm22 {%k7}

// CHECK: vcvtps2iubs %xmm23, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7d,0x8f,0x6b,0xf7]
          vcvtps2iubs %xmm23, %xmm22 {%k7} {z}

// CHECK: vcvtps2iubs %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x48,0x6b,0xf7]
          vcvtps2iubs %zmm23, %zmm22

// CHECK: vcvtps2iubs {rn-sae}, %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x18,0x6b,0xf7]
          vcvtps2iubs {rn-sae}, %zmm23, %zmm22

// CHECK: vcvtps2iubs %zmm23, %zmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7d,0x4f,0x6b,0xf7]
          vcvtps2iubs %zmm23, %zmm22 {%k7}

// CHECK: vcvtps2iubs {rz-sae}, %zmm23, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7d,0xff,0x6b,0xf7]
          vcvtps2iubs {rz-sae}, %zmm23, %zmm22 {%k7} {z}

// CHECK: vcvtps2iubs %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x28,0x6b,0xf7]
          vcvtps2iubs %ymm23, %ymm22

// CHECK: vcvtps2iubs {rn-sae}, %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x79,0x18,0x6b,0xf7]
          vcvtps2iubs {rn-sae}, %ymm23, %ymm22

// CHECK: vcvtps2iubs %ymm23, %ymm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7d,0x2f,0x6b,0xf7]
          vcvtps2iubs %ymm23, %ymm22 {%k7}

// CHECK: vcvtps2iubs {rz-sae}, %ymm23, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x79,0xff,0x6b,0xf7]
          vcvtps2iubs {rz-sae}, %ymm23, %ymm22 {%k7} {z}

// CHECK: vcvtps2iubs  268435456(%rbp,%r14,8), %xmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x08,0x6b,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtps2iubs  268435456(%rbp,%r14,8), %xmm22

// CHECK: vcvtps2iubs  291(%r8,%rax,4), %xmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7d,0x0f,0x6b,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtps2iubs  291(%r8,%rax,4), %xmm22 {%k7}

// CHECK: vcvtps2iubs  (%rip){1to4}, %xmm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x18,0x6b,0x35,0x00,0x00,0x00,0x00]
          vcvtps2iubs  (%rip){1to4}, %xmm22

// CHECK: vcvtps2iubs  -512(,%rbp,2), %xmm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x08,0x6b,0x34,0x6d,0x00,0xfe,0xff,0xff]
          vcvtps2iubs  -512(,%rbp,2), %xmm22

// CHECK: vcvtps2iubs  2032(%rcx), %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0x8f,0x6b,0x71,0x7f]
          vcvtps2iubs  2032(%rcx), %xmm22 {%k7} {z}

// CHECK: vcvtps2iubs  -512(%rdx){1to4}, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0x9f,0x6b,0x72,0x80]
          vcvtps2iubs  -512(%rdx){1to4}, %xmm22 {%k7} {z}

// CHECK: vcvtps2iubs  268435456(%rbp,%r14,8), %ymm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x28,0x6b,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtps2iubs  268435456(%rbp,%r14,8), %ymm22

// CHECK: vcvtps2iubs  291(%r8,%rax,4), %ymm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7d,0x2f,0x6b,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtps2iubs  291(%r8,%rax,4), %ymm22 {%k7}

// CHECK: vcvtps2iubs  (%rip){1to8}, %ymm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x38,0x6b,0x35,0x00,0x00,0x00,0x00]
          vcvtps2iubs  (%rip){1to8}, %ymm22

// CHECK: vcvtps2iubs  -1024(,%rbp,2), %ymm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x28,0x6b,0x34,0x6d,0x00,0xfc,0xff,0xff]
          vcvtps2iubs  -1024(,%rbp,2), %ymm22

// CHECK: vcvtps2iubs  4064(%rcx), %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0xaf,0x6b,0x71,0x7f]
          vcvtps2iubs  4064(%rcx), %ymm22 {%k7} {z}

// CHECK: vcvtps2iubs  -512(%rdx){1to8}, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0xbf,0x6b,0x72,0x80]
          vcvtps2iubs  -512(%rdx){1to8}, %ymm22 {%k7} {z}

// CHECK: vcvtps2iubs  268435456(%rbp,%r14,8), %zmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x48,0x6b,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvtps2iubs  268435456(%rbp,%r14,8), %zmm22

// CHECK: vcvtps2iubs  291(%r8,%rax,4), %zmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7d,0x4f,0x6b,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvtps2iubs  291(%r8,%rax,4), %zmm22 {%k7}

// CHECK: vcvtps2iubs  (%rip){1to16}, %zmm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x58,0x6b,0x35,0x00,0x00,0x00,0x00]
          vcvtps2iubs  (%rip){1to16}, %zmm22

// CHECK: vcvtps2iubs  -2048(,%rbp,2), %zmm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x48,0x6b,0x34,0x6d,0x00,0xf8,0xff,0xff]
          vcvtps2iubs  -2048(,%rbp,2), %zmm22

// CHECK: vcvtps2iubs  8128(%rcx), %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0xcf,0x6b,0x71,0x7f]
          vcvtps2iubs  8128(%rcx), %zmm22 {%k7} {z}

// CHECK: vcvtps2iubs  -512(%rdx){1to16}, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0xdf,0x6b,0x72,0x80]
          vcvtps2iubs  -512(%rdx){1to16}, %zmm22 {%k7} {z}

// CHECK: vcvttnebf162ibs %xmm23, %xmm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x08,0x68,0xf7]
          vcvttnebf162ibs %xmm23, %xmm22

// CHECK: vcvttnebf162ibs %xmm23, %xmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7f,0x0f,0x68,0xf7]
          vcvttnebf162ibs %xmm23, %xmm22 {%k7}

// CHECK: vcvttnebf162ibs %xmm23, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7f,0x8f,0x68,0xf7]
          vcvttnebf162ibs %xmm23, %xmm22 {%k7} {z}

// CHECK: vcvttnebf162ibs %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x48,0x68,0xf7]
          vcvttnebf162ibs %zmm23, %zmm22

// CHECK: vcvttnebf162ibs %zmm23, %zmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7f,0x4f,0x68,0xf7]
          vcvttnebf162ibs %zmm23, %zmm22 {%k7}

// CHECK: vcvttnebf162ibs %zmm23, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7f,0xcf,0x68,0xf7]
          vcvttnebf162ibs %zmm23, %zmm22 {%k7} {z}

// CHECK: vcvttnebf162ibs %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x28,0x68,0xf7]
          vcvttnebf162ibs %ymm23, %ymm22

// CHECK: vcvttnebf162ibs %ymm23, %ymm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7f,0x2f,0x68,0xf7]
          vcvttnebf162ibs %ymm23, %ymm22 {%k7}

// CHECK: vcvttnebf162ibs %ymm23, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7f,0xaf,0x68,0xf7]
          vcvttnebf162ibs %ymm23, %ymm22 {%k7} {z}

// CHECK: vcvttnebf162ibs  268435456(%rbp,%r14,8), %xmm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x08,0x68,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttnebf162ibs  268435456(%rbp,%r14,8), %xmm22

// CHECK: vcvttnebf162ibs  291(%r8,%rax,4), %xmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7f,0x0f,0x68,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttnebf162ibs  291(%r8,%rax,4), %xmm22 {%k7}

// CHECK: vcvttnebf162ibs  (%rip){1to8}, %xmm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x18,0x68,0x35,0x00,0x00,0x00,0x00]
          vcvttnebf162ibs  (%rip){1to8}, %xmm22

// CHECK: vcvttnebf162ibs  -512(,%rbp,2), %xmm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x08,0x68,0x34,0x6d,0x00,0xfe,0xff,0xff]
          vcvttnebf162ibs  -512(,%rbp,2), %xmm22

// CHECK: vcvttnebf162ibs  2032(%rcx), %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0x8f,0x68,0x71,0x7f]
          vcvttnebf162ibs  2032(%rcx), %xmm22 {%k7} {z}

// CHECK: vcvttnebf162ibs  -256(%rdx){1to8}, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0x9f,0x68,0x72,0x80]
          vcvttnebf162ibs  -256(%rdx){1to8}, %xmm22 {%k7} {z}

// CHECK: vcvttnebf162ibs  268435456(%rbp,%r14,8), %ymm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x28,0x68,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttnebf162ibs  268435456(%rbp,%r14,8), %ymm22

// CHECK: vcvttnebf162ibs  291(%r8,%rax,4), %ymm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7f,0x2f,0x68,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttnebf162ibs  291(%r8,%rax,4), %ymm22 {%k7}

// CHECK: vcvttnebf162ibs  (%rip){1to16}, %ymm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x38,0x68,0x35,0x00,0x00,0x00,0x00]
          vcvttnebf162ibs  (%rip){1to16}, %ymm22

// CHECK: vcvttnebf162ibs  -1024(,%rbp,2), %ymm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x28,0x68,0x34,0x6d,0x00,0xfc,0xff,0xff]
          vcvttnebf162ibs  -1024(,%rbp,2), %ymm22

// CHECK: vcvttnebf162ibs  4064(%rcx), %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0xaf,0x68,0x71,0x7f]
          vcvttnebf162ibs  4064(%rcx), %ymm22 {%k7} {z}

// CHECK: vcvttnebf162ibs  -256(%rdx){1to16}, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0xbf,0x68,0x72,0x80]
          vcvttnebf162ibs  -256(%rdx){1to16}, %ymm22 {%k7} {z}

// CHECK: vcvttnebf162ibs  268435456(%rbp,%r14,8), %zmm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x48,0x68,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttnebf162ibs  268435456(%rbp,%r14,8), %zmm22

// CHECK: vcvttnebf162ibs  291(%r8,%rax,4), %zmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7f,0x4f,0x68,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttnebf162ibs  291(%r8,%rax,4), %zmm22 {%k7}

// CHECK: vcvttnebf162ibs  (%rip){1to32}, %zmm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x58,0x68,0x35,0x00,0x00,0x00,0x00]
          vcvttnebf162ibs  (%rip){1to32}, %zmm22

// CHECK: vcvttnebf162ibs  -2048(,%rbp,2), %zmm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x48,0x68,0x34,0x6d,0x00,0xf8,0xff,0xff]
          vcvttnebf162ibs  -2048(,%rbp,2), %zmm22

// CHECK: vcvttnebf162ibs  8128(%rcx), %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0xcf,0x68,0x71,0x7f]
          vcvttnebf162ibs  8128(%rcx), %zmm22 {%k7} {z}

// CHECK: vcvttnebf162ibs  -256(%rdx){1to32}, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0xdf,0x68,0x72,0x80]
          vcvttnebf162ibs  -256(%rdx){1to32}, %zmm22 {%k7} {z}

// CHECK: vcvttnebf162iubs %xmm23, %xmm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x08,0x6a,0xf7]
          vcvttnebf162iubs %xmm23, %xmm22

// CHECK: vcvttnebf162iubs %xmm23, %xmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7f,0x0f,0x6a,0xf7]
          vcvttnebf162iubs %xmm23, %xmm22 {%k7}

// CHECK: vcvttnebf162iubs %xmm23, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7f,0x8f,0x6a,0xf7]
          vcvttnebf162iubs %xmm23, %xmm22 {%k7} {z}

// CHECK: vcvttnebf162iubs %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x48,0x6a,0xf7]
          vcvttnebf162iubs %zmm23, %zmm22

// CHECK: vcvttnebf162iubs %zmm23, %zmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7f,0x4f,0x6a,0xf7]
          vcvttnebf162iubs %zmm23, %zmm22 {%k7}

// CHECK: vcvttnebf162iubs %zmm23, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7f,0xcf,0x6a,0xf7]
          vcvttnebf162iubs %zmm23, %zmm22 {%k7} {z}

// CHECK: vcvttnebf162iubs %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x28,0x6a,0xf7]
          vcvttnebf162iubs %ymm23, %ymm22

// CHECK: vcvttnebf162iubs %ymm23, %ymm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7f,0x2f,0x6a,0xf7]
          vcvttnebf162iubs %ymm23, %ymm22 {%k7}

// CHECK: vcvttnebf162iubs %ymm23, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7f,0xaf,0x6a,0xf7]
          vcvttnebf162iubs %ymm23, %ymm22 {%k7} {z}

// CHECK: vcvttnebf162iubs  268435456(%rbp,%r14,8), %xmm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x08,0x6a,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttnebf162iubs  268435456(%rbp,%r14,8), %xmm22

// CHECK: vcvttnebf162iubs  291(%r8,%rax,4), %xmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7f,0x0f,0x6a,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttnebf162iubs  291(%r8,%rax,4), %xmm22 {%k7}

// CHECK: vcvttnebf162iubs  (%rip){1to8}, %xmm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x18,0x6a,0x35,0x00,0x00,0x00,0x00]
          vcvttnebf162iubs  (%rip){1to8}, %xmm22

// CHECK: vcvttnebf162iubs  -512(,%rbp,2), %xmm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x08,0x6a,0x34,0x6d,0x00,0xfe,0xff,0xff]
          vcvttnebf162iubs  -512(,%rbp,2), %xmm22

// CHECK: vcvttnebf162iubs  2032(%rcx), %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0x8f,0x6a,0x71,0x7f]
          vcvttnebf162iubs  2032(%rcx), %xmm22 {%k7} {z}

// CHECK: vcvttnebf162iubs  -256(%rdx){1to8}, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0x9f,0x6a,0x72,0x80]
          vcvttnebf162iubs  -256(%rdx){1to8}, %xmm22 {%k7} {z}

// CHECK: vcvttnebf162iubs  268435456(%rbp,%r14,8), %ymm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x28,0x6a,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttnebf162iubs  268435456(%rbp,%r14,8), %ymm22

// CHECK: vcvttnebf162iubs  291(%r8,%rax,4), %ymm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7f,0x2f,0x6a,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttnebf162iubs  291(%r8,%rax,4), %ymm22 {%k7}

// CHECK: vcvttnebf162iubs  (%rip){1to16}, %ymm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x38,0x6a,0x35,0x00,0x00,0x00,0x00]
          vcvttnebf162iubs  (%rip){1to16}, %ymm22

// CHECK: vcvttnebf162iubs  -1024(,%rbp,2), %ymm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x28,0x6a,0x34,0x6d,0x00,0xfc,0xff,0xff]
          vcvttnebf162iubs  -1024(,%rbp,2), %ymm22

// CHECK: vcvttnebf162iubs  4064(%rcx), %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0xaf,0x6a,0x71,0x7f]
          vcvttnebf162iubs  4064(%rcx), %ymm22 {%k7} {z}

// CHECK: vcvttnebf162iubs  -256(%rdx){1to16}, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0xbf,0x6a,0x72,0x80]
          vcvttnebf162iubs  -256(%rdx){1to16}, %ymm22 {%k7} {z}

// CHECK: vcvttnebf162iubs  268435456(%rbp,%r14,8), %zmm22
// CHECK: encoding: [0x62,0xa5,0x7f,0x48,0x6a,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttnebf162iubs  268435456(%rbp,%r14,8), %zmm22

// CHECK: vcvttnebf162iubs  291(%r8,%rax,4), %zmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7f,0x4f,0x6a,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttnebf162iubs  291(%r8,%rax,4), %zmm22 {%k7}

// CHECK: vcvttnebf162iubs  (%rip){1to32}, %zmm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x58,0x6a,0x35,0x00,0x00,0x00,0x00]
          vcvttnebf162iubs  (%rip){1to32}, %zmm22

// CHECK: vcvttnebf162iubs  -2048(,%rbp,2), %zmm22
// CHECK: encoding: [0x62,0xe5,0x7f,0x48,0x6a,0x34,0x6d,0x00,0xf8,0xff,0xff]
          vcvttnebf162iubs  -2048(,%rbp,2), %zmm22

// CHECK: vcvttnebf162iubs  8128(%rcx), %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0xcf,0x6a,0x71,0x7f]
          vcvttnebf162iubs  8128(%rcx), %zmm22 {%k7} {z}

// CHECK: vcvttnebf162iubs  -256(%rdx){1to32}, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7f,0xdf,0x6a,0x72,0x80]
          vcvttnebf162iubs  -256(%rdx){1to32}, %zmm22 {%k7} {z}

// CHECK: vcvttph2ibs %xmm23, %xmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x08,0x68,0xf7]
          vcvttph2ibs %xmm23, %xmm22

// CHECK: vcvttph2ibs %xmm23, %xmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7c,0x0f,0x68,0xf7]
          vcvttph2ibs %xmm23, %xmm22 {%k7}

// CHECK: vcvttph2ibs %xmm23, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7c,0x8f,0x68,0xf7]
          vcvttph2ibs %xmm23, %xmm22 {%k7} {z}

// CHECK: vcvttph2ibs %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x48,0x68,0xf7]
          vcvttph2ibs %zmm23, %zmm22

// CHECK: vcvttph2ibs {sae}, %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x18,0x68,0xf7]
          vcvttph2ibs {sae}, %zmm23, %zmm22

// CHECK: vcvttph2ibs %zmm23, %zmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7c,0x4f,0x68,0xf7]
          vcvttph2ibs %zmm23, %zmm22 {%k7}

// CHECK: vcvttph2ibs {sae}, %zmm23, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7c,0x9f,0x68,0xf7]
          vcvttph2ibs {sae}, %zmm23, %zmm22 {%k7} {z}

// CHECK: vcvttph2ibs %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x28,0x68,0xf7]
          vcvttph2ibs %ymm23, %ymm22

// CHECK: vcvttph2ibs {sae}, %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x78,0x18,0x68,0xf7]
          vcvttph2ibs {sae}, %ymm23, %ymm22

// CHECK: vcvttph2ibs %ymm23, %ymm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7c,0x2f,0x68,0xf7]
          vcvttph2ibs %ymm23, %ymm22 {%k7}

// CHECK: vcvttph2ibs {sae}, %ymm23, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x78,0x9f,0x68,0xf7]
          vcvttph2ibs {sae}, %ymm23, %ymm22 {%k7} {z}

// CHECK: vcvttph2ibs  268435456(%rbp,%r14,8), %xmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x08,0x68,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttph2ibs  268435456(%rbp,%r14,8), %xmm22

// CHECK: vcvttph2ibs  291(%r8,%rax,4), %xmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7c,0x0f,0x68,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttph2ibs  291(%r8,%rax,4), %xmm22 {%k7}

// CHECK: vcvttph2ibs  (%rip){1to8}, %xmm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x18,0x68,0x35,0x00,0x00,0x00,0x00]
          vcvttph2ibs  (%rip){1to8}, %xmm22

// CHECK: vcvttph2ibs  -512(,%rbp,2), %xmm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x08,0x68,0x34,0x6d,0x00,0xfe,0xff,0xff]
          vcvttph2ibs  -512(,%rbp,2), %xmm22

// CHECK: vcvttph2ibs  2032(%rcx), %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0x8f,0x68,0x71,0x7f]
          vcvttph2ibs  2032(%rcx), %xmm22 {%k7} {z}

// CHECK: vcvttph2ibs  -256(%rdx){1to8}, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0x9f,0x68,0x72,0x80]
          vcvttph2ibs  -256(%rdx){1to8}, %xmm22 {%k7} {z}

// CHECK: vcvttph2ibs  268435456(%rbp,%r14,8), %ymm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x28,0x68,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttph2ibs  268435456(%rbp,%r14,8), %ymm22

// CHECK: vcvttph2ibs  291(%r8,%rax,4), %ymm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7c,0x2f,0x68,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttph2ibs  291(%r8,%rax,4), %ymm22 {%k7}

// CHECK: vcvttph2ibs  (%rip){1to16}, %ymm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x38,0x68,0x35,0x00,0x00,0x00,0x00]
          vcvttph2ibs  (%rip){1to16}, %ymm22

// CHECK: vcvttph2ibs  -1024(,%rbp,2), %ymm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x28,0x68,0x34,0x6d,0x00,0xfc,0xff,0xff]
          vcvttph2ibs  -1024(,%rbp,2), %ymm22

// CHECK: vcvttph2ibs  4064(%rcx), %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0xaf,0x68,0x71,0x7f]
          vcvttph2ibs  4064(%rcx), %ymm22 {%k7} {z}

// CHECK: vcvttph2ibs  -256(%rdx){1to16}, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0xbf,0x68,0x72,0x80]
          vcvttph2ibs  -256(%rdx){1to16}, %ymm22 {%k7} {z}

// CHECK: vcvttph2ibs  268435456(%rbp,%r14,8), %zmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x48,0x68,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttph2ibs  268435456(%rbp,%r14,8), %zmm22

// CHECK: vcvttph2ibs  291(%r8,%rax,4), %zmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7c,0x4f,0x68,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttph2ibs  291(%r8,%rax,4), %zmm22 {%k7}

// CHECK: vcvttph2ibs  (%rip){1to32}, %zmm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x58,0x68,0x35,0x00,0x00,0x00,0x00]
          vcvttph2ibs  (%rip){1to32}, %zmm22

// CHECK: vcvttph2ibs  -2048(,%rbp,2), %zmm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x48,0x68,0x34,0x6d,0x00,0xf8,0xff,0xff]
          vcvttph2ibs  -2048(,%rbp,2), %zmm22

// CHECK: vcvttph2ibs  8128(%rcx), %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0xcf,0x68,0x71,0x7f]
          vcvttph2ibs  8128(%rcx), %zmm22 {%k7} {z}

// CHECK: vcvttph2ibs  -256(%rdx){1to32}, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0xdf,0x68,0x72,0x80]
          vcvttph2ibs  -256(%rdx){1to32}, %zmm22 {%k7} {z}

// CHECK: vcvttph2iubs %xmm23, %xmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x08,0x6a,0xf7]
          vcvttph2iubs %xmm23, %xmm22

// CHECK: vcvttph2iubs %xmm23, %xmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7c,0x0f,0x6a,0xf7]
          vcvttph2iubs %xmm23, %xmm22 {%k7}

// CHECK: vcvttph2iubs %xmm23, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7c,0x8f,0x6a,0xf7]
          vcvttph2iubs %xmm23, %xmm22 {%k7} {z}

// CHECK: vcvttph2iubs %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x48,0x6a,0xf7]
          vcvttph2iubs %zmm23, %zmm22

// CHECK: vcvttph2iubs {sae}, %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x18,0x6a,0xf7]
          vcvttph2iubs {sae}, %zmm23, %zmm22

// CHECK: vcvttph2iubs %zmm23, %zmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7c,0x4f,0x6a,0xf7]
          vcvttph2iubs %zmm23, %zmm22 {%k7}

// CHECK: vcvttph2iubs {sae}, %zmm23, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7c,0x9f,0x6a,0xf7]
          vcvttph2iubs {sae}, %zmm23, %zmm22 {%k7} {z}

// CHECK: vcvttph2iubs %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x28,0x6a,0xf7]
          vcvttph2iubs %ymm23, %ymm22

// CHECK: vcvttph2iubs {sae}, %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x78,0x18,0x6a,0xf7]
          vcvttph2iubs {sae}, %ymm23, %ymm22

// CHECK: vcvttph2iubs %ymm23, %ymm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7c,0x2f,0x6a,0xf7]
          vcvttph2iubs %ymm23, %ymm22 {%k7}

// CHECK: vcvttph2iubs {sae}, %ymm23, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x78,0x9f,0x6a,0xf7]
          vcvttph2iubs {sae}, %ymm23, %ymm22 {%k7} {z}

// CHECK: vcvttph2iubs  268435456(%rbp,%r14,8), %xmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x08,0x6a,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttph2iubs  268435456(%rbp,%r14,8), %xmm22

// CHECK: vcvttph2iubs  291(%r8,%rax,4), %xmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7c,0x0f,0x6a,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttph2iubs  291(%r8,%rax,4), %xmm22 {%k7}

// CHECK: vcvttph2iubs  (%rip){1to8}, %xmm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x18,0x6a,0x35,0x00,0x00,0x00,0x00]
          vcvttph2iubs  (%rip){1to8}, %xmm22

// CHECK: vcvttph2iubs  -512(,%rbp,2), %xmm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x08,0x6a,0x34,0x6d,0x00,0xfe,0xff,0xff]
          vcvttph2iubs  -512(,%rbp,2), %xmm22

// CHECK: vcvttph2iubs  2032(%rcx), %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0x8f,0x6a,0x71,0x7f]
          vcvttph2iubs  2032(%rcx), %xmm22 {%k7} {z}

// CHECK: vcvttph2iubs  -256(%rdx){1to8}, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0x9f,0x6a,0x72,0x80]
          vcvttph2iubs  -256(%rdx){1to8}, %xmm22 {%k7} {z}

// CHECK: vcvttph2iubs  268435456(%rbp,%r14,8), %ymm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x28,0x6a,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttph2iubs  268435456(%rbp,%r14,8), %ymm22

// CHECK: vcvttph2iubs  291(%r8,%rax,4), %ymm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7c,0x2f,0x6a,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttph2iubs  291(%r8,%rax,4), %ymm22 {%k7}

// CHECK: vcvttph2iubs  (%rip){1to16}, %ymm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x38,0x6a,0x35,0x00,0x00,0x00,0x00]
          vcvttph2iubs  (%rip){1to16}, %ymm22

// CHECK: vcvttph2iubs  -1024(,%rbp,2), %ymm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x28,0x6a,0x34,0x6d,0x00,0xfc,0xff,0xff]
          vcvttph2iubs  -1024(,%rbp,2), %ymm22

// CHECK: vcvttph2iubs  4064(%rcx), %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0xaf,0x6a,0x71,0x7f]
          vcvttph2iubs  4064(%rcx), %ymm22 {%k7} {z}

// CHECK: vcvttph2iubs  -256(%rdx){1to16}, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0xbf,0x6a,0x72,0x80]
          vcvttph2iubs  -256(%rdx){1to16}, %ymm22 {%k7} {z}

// CHECK: vcvttph2iubs  268435456(%rbp,%r14,8), %zmm22
// CHECK: encoding: [0x62,0xa5,0x7c,0x48,0x6a,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttph2iubs  268435456(%rbp,%r14,8), %zmm22

// CHECK: vcvttph2iubs  291(%r8,%rax,4), %zmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7c,0x4f,0x6a,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttph2iubs  291(%r8,%rax,4), %zmm22 {%k7}

// CHECK: vcvttph2iubs  (%rip){1to32}, %zmm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x58,0x6a,0x35,0x00,0x00,0x00,0x00]
          vcvttph2iubs  (%rip){1to32}, %zmm22

// CHECK: vcvttph2iubs  -2048(,%rbp,2), %zmm22
// CHECK: encoding: [0x62,0xe5,0x7c,0x48,0x6a,0x34,0x6d,0x00,0xf8,0xff,0xff]
          vcvttph2iubs  -2048(,%rbp,2), %zmm22

// CHECK: vcvttph2iubs  8128(%rcx), %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0xcf,0x6a,0x71,0x7f]
          vcvttph2iubs  8128(%rcx), %zmm22 {%k7} {z}

// CHECK: vcvttph2iubs  -256(%rdx){1to32}, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7c,0xdf,0x6a,0x72,0x80]
          vcvttph2iubs  -256(%rdx){1to32}, %zmm22 {%k7} {z}

// CHECK: vcvttps2ibs %xmm23, %xmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x08,0x68,0xf7]
          vcvttps2ibs %xmm23, %xmm22

// CHECK: vcvttps2ibs %xmm23, %xmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7d,0x0f,0x68,0xf7]
          vcvttps2ibs %xmm23, %xmm22 {%k7}

// CHECK: vcvttps2ibs %xmm23, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7d,0x8f,0x68,0xf7]
          vcvttps2ibs %xmm23, %xmm22 {%k7} {z}

// CHECK: vcvttps2ibs %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x48,0x68,0xf7]
          vcvttps2ibs %zmm23, %zmm22

// CHECK: vcvttps2ibs {sae}, %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x18,0x68,0xf7]
          vcvttps2ibs {sae}, %zmm23, %zmm22

// CHECK: vcvttps2ibs %zmm23, %zmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7d,0x4f,0x68,0xf7]
          vcvttps2ibs %zmm23, %zmm22 {%k7}

// CHECK: vcvttps2ibs {sae}, %zmm23, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7d,0x9f,0x68,0xf7]
          vcvttps2ibs {sae}, %zmm23, %zmm22 {%k7} {z}

// CHECK: vcvttps2ibs %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x28,0x68,0xf7]
          vcvttps2ibs %ymm23, %ymm22

// CHECK: vcvttps2ibs {sae}, %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x79,0x18,0x68,0xf7]
          vcvttps2ibs {sae}, %ymm23, %ymm22

// CHECK: vcvttps2ibs %ymm23, %ymm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7d,0x2f,0x68,0xf7]
          vcvttps2ibs %ymm23, %ymm22 {%k7}

// CHECK: vcvttps2ibs {sae}, %ymm23, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x79,0x9f,0x68,0xf7]
          vcvttps2ibs {sae}, %ymm23, %ymm22 {%k7} {z}

// CHECK: vcvttps2ibs  268435456(%rbp,%r14,8), %xmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x08,0x68,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttps2ibs  268435456(%rbp,%r14,8), %xmm22

// CHECK: vcvttps2ibs  291(%r8,%rax,4), %xmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7d,0x0f,0x68,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttps2ibs  291(%r8,%rax,4), %xmm22 {%k7}

// CHECK: vcvttps2ibs  (%rip){1to4}, %xmm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x18,0x68,0x35,0x00,0x00,0x00,0x00]
          vcvttps2ibs  (%rip){1to4}, %xmm22

// CHECK: vcvttps2ibs  -512(,%rbp,2), %xmm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x08,0x68,0x34,0x6d,0x00,0xfe,0xff,0xff]
          vcvttps2ibs  -512(,%rbp,2), %xmm22

// CHECK: vcvttps2ibs  2032(%rcx), %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0x8f,0x68,0x71,0x7f]
          vcvttps2ibs  2032(%rcx), %xmm22 {%k7} {z}

// CHECK: vcvttps2ibs  -512(%rdx){1to4}, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0x9f,0x68,0x72,0x80]
          vcvttps2ibs  -512(%rdx){1to4}, %xmm22 {%k7} {z}

// CHECK: vcvttps2ibs  268435456(%rbp,%r14,8), %ymm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x28,0x68,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttps2ibs  268435456(%rbp,%r14,8), %ymm22

// CHECK: vcvttps2ibs  291(%r8,%rax,4), %ymm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7d,0x2f,0x68,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttps2ibs  291(%r8,%rax,4), %ymm22 {%k7}

// CHECK: vcvttps2ibs  (%rip){1to8}, %ymm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x38,0x68,0x35,0x00,0x00,0x00,0x00]
          vcvttps2ibs  (%rip){1to8}, %ymm22

// CHECK: vcvttps2ibs  -1024(,%rbp,2), %ymm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x28,0x68,0x34,0x6d,0x00,0xfc,0xff,0xff]
          vcvttps2ibs  -1024(,%rbp,2), %ymm22

// CHECK: vcvttps2ibs  4064(%rcx), %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0xaf,0x68,0x71,0x7f]
          vcvttps2ibs  4064(%rcx), %ymm22 {%k7} {z}

// CHECK: vcvttps2ibs  -512(%rdx){1to8}, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0xbf,0x68,0x72,0x80]
          vcvttps2ibs  -512(%rdx){1to8}, %ymm22 {%k7} {z}

// CHECK: vcvttps2ibs  268435456(%rbp,%r14,8), %zmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x48,0x68,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttps2ibs  268435456(%rbp,%r14,8), %zmm22

// CHECK: vcvttps2ibs  291(%r8,%rax,4), %zmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7d,0x4f,0x68,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttps2ibs  291(%r8,%rax,4), %zmm22 {%k7}

// CHECK: vcvttps2ibs  (%rip){1to16}, %zmm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x58,0x68,0x35,0x00,0x00,0x00,0x00]
          vcvttps2ibs  (%rip){1to16}, %zmm22

// CHECK: vcvttps2ibs  -2048(,%rbp,2), %zmm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x48,0x68,0x34,0x6d,0x00,0xf8,0xff,0xff]
          vcvttps2ibs  -2048(,%rbp,2), %zmm22

// CHECK: vcvttps2ibs  8128(%rcx), %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0xcf,0x68,0x71,0x7f]
          vcvttps2ibs  8128(%rcx), %zmm22 {%k7} {z}

// CHECK: vcvttps2ibs  -512(%rdx){1to16}, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0xdf,0x68,0x72,0x80]
          vcvttps2ibs  -512(%rdx){1to16}, %zmm22 {%k7} {z}

// CHECK: vcvttps2iubs %xmm23, %xmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x08,0x6a,0xf7]
          vcvttps2iubs %xmm23, %xmm22

// CHECK: vcvttps2iubs %xmm23, %xmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7d,0x0f,0x6a,0xf7]
          vcvttps2iubs %xmm23, %xmm22 {%k7}

// CHECK: vcvttps2iubs %xmm23, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7d,0x8f,0x6a,0xf7]
          vcvttps2iubs %xmm23, %xmm22 {%k7} {z}

// CHECK: vcvttps2iubs %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x48,0x6a,0xf7]
          vcvttps2iubs %zmm23, %zmm22

// CHECK: vcvttps2iubs {sae}, %zmm23, %zmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x18,0x6a,0xf7]
          vcvttps2iubs {sae}, %zmm23, %zmm22

// CHECK: vcvttps2iubs %zmm23, %zmm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7d,0x4f,0x6a,0xf7]
          vcvttps2iubs %zmm23, %zmm22 {%k7}

// CHECK: vcvttps2iubs {sae}, %zmm23, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x7d,0x9f,0x6a,0xf7]
          vcvttps2iubs {sae}, %zmm23, %zmm22 {%k7} {z}

// CHECK: vcvttps2iubs %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x28,0x6a,0xf7]
          vcvttps2iubs %ymm23, %ymm22

// CHECK: vcvttps2iubs {sae}, %ymm23, %ymm22
// CHECK: encoding: [0x62,0xa5,0x79,0x18,0x6a,0xf7]
          vcvttps2iubs {sae}, %ymm23, %ymm22

// CHECK: vcvttps2iubs %ymm23, %ymm22 {%k7}
// CHECK: encoding: [0x62,0xa5,0x7d,0x2f,0x6a,0xf7]
          vcvttps2iubs %ymm23, %ymm22 {%k7}

// CHECK: vcvttps2iubs {sae}, %ymm23, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xa5,0x79,0x9f,0x6a,0xf7]
          vcvttps2iubs {sae}, %ymm23, %ymm22 {%k7} {z}

// CHECK: vcvttps2iubs  268435456(%rbp,%r14,8), %xmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x08,0x6a,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttps2iubs  268435456(%rbp,%r14,8), %xmm22

// CHECK: vcvttps2iubs  291(%r8,%rax,4), %xmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7d,0x0f,0x6a,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttps2iubs  291(%r8,%rax,4), %xmm22 {%k7}

// CHECK: vcvttps2iubs  (%rip){1to4}, %xmm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x18,0x6a,0x35,0x00,0x00,0x00,0x00]
          vcvttps2iubs  (%rip){1to4}, %xmm22

// CHECK: vcvttps2iubs  -512(,%rbp,2), %xmm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x08,0x6a,0x34,0x6d,0x00,0xfe,0xff,0xff]
          vcvttps2iubs  -512(,%rbp,2), %xmm22

// CHECK: vcvttps2iubs  2032(%rcx), %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0x8f,0x6a,0x71,0x7f]
          vcvttps2iubs  2032(%rcx), %xmm22 {%k7} {z}

// CHECK: vcvttps2iubs  -512(%rdx){1to4}, %xmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0x9f,0x6a,0x72,0x80]
          vcvttps2iubs  -512(%rdx){1to4}, %xmm22 {%k7} {z}

// CHECK: vcvttps2iubs  268435456(%rbp,%r14,8), %ymm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x28,0x6a,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttps2iubs  268435456(%rbp,%r14,8), %ymm22

// CHECK: vcvttps2iubs  291(%r8,%rax,4), %ymm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7d,0x2f,0x6a,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttps2iubs  291(%r8,%rax,4), %ymm22 {%k7}

// CHECK: vcvttps2iubs  (%rip){1to8}, %ymm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x38,0x6a,0x35,0x00,0x00,0x00,0x00]
          vcvttps2iubs  (%rip){1to8}, %ymm22

// CHECK: vcvttps2iubs  -1024(,%rbp,2), %ymm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x28,0x6a,0x34,0x6d,0x00,0xfc,0xff,0xff]
          vcvttps2iubs  -1024(,%rbp,2), %ymm22

// CHECK: vcvttps2iubs  4064(%rcx), %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0xaf,0x6a,0x71,0x7f]
          vcvttps2iubs  4064(%rcx), %ymm22 {%k7} {z}

// CHECK: vcvttps2iubs  -512(%rdx){1to8}, %ymm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0xbf,0x6a,0x72,0x80]
          vcvttps2iubs  -512(%rdx){1to8}, %ymm22 {%k7} {z}

// CHECK: vcvttps2iubs  268435456(%rbp,%r14,8), %zmm22
// CHECK: encoding: [0x62,0xa5,0x7d,0x48,0x6a,0xb4,0xf5,0x00,0x00,0x00,0x10]
          vcvttps2iubs  268435456(%rbp,%r14,8), %zmm22

// CHECK: vcvttps2iubs  291(%r8,%rax,4), %zmm22 {%k7}
// CHECK: encoding: [0x62,0xc5,0x7d,0x4f,0x6a,0xb4,0x80,0x23,0x01,0x00,0x00]
          vcvttps2iubs  291(%r8,%rax,4), %zmm22 {%k7}

// CHECK: vcvttps2iubs  (%rip){1to16}, %zmm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x58,0x6a,0x35,0x00,0x00,0x00,0x00]
          vcvttps2iubs  (%rip){1to16}, %zmm22

// CHECK: vcvttps2iubs  -2048(,%rbp,2), %zmm22
// CHECK: encoding: [0x62,0xe5,0x7d,0x48,0x6a,0x34,0x6d,0x00,0xf8,0xff,0xff]
          vcvttps2iubs  -2048(,%rbp,2), %zmm22

// CHECK: vcvttps2iubs  8128(%rcx), %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0xcf,0x6a,0x71,0x7f]
          vcvttps2iubs  8128(%rcx), %zmm22 {%k7} {z}

// CHECK: vcvttps2iubs  -512(%rdx){1to16}, %zmm22 {%k7} {z}
// CHECK: encoding: [0x62,0xe5,0x7d,0xdf,0x6a,0x72,0x80]
          vcvttps2iubs  -512(%rdx){1to16}, %zmm22 {%k7} {z}