1// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
2
3// CHECK: vinserti32x4
4// CHECK: encoding: [0x62,0xa3,0x55,0x48,0x38,0xcd,0x01]
5vinserti32x4  $1, %xmm21, %zmm5, %zmm17
6
7// CHECK: vinserti32x4
8// CHECK: encoding: [0x62,0xe3,0x1d,0x40,0x38,0x4f,0x10,0x01]
9vinserti32x4  $1, 256(%rdi), %zmm28, %zmm17
10
11// CHECK: vextracti32x4
12// CHECK: encoding: [0x62,0x33,0x7d,0x48,0x39,0xc9,0x01]
13vextracti32x4  $1, %zmm9, %xmm17
14
15// CHECK: vextracti64x4
16// CHECK: encoding: [0x62,0x33,0xfd,0x48,0x3b,0xc9,0x01]
17vextracti64x4  $1, %zmm9, %ymm17
18
19// CHECK: vextracti64x4
20// CHECK: encoding: [0x62,0x73,0xfd,0x48,0x3b,0x4f,0x10,0x01]
21vextracti64x4  $1, %zmm9, 512(%rdi)
22