1//RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding < %s  | FileCheck %s
2
3// CHECK: vpclmulqdq $1, %xmm3, %xmm22, %xmm1
4// CHECK: encoding: [0x62,0xf3,0x4d,0x00,0x44,0xcb,0x01]
5          vpclmulqdq $1, %xmm3, %xmm22, %xmm1
6
7// CHECK: vpclmulqdq  $1, (%rcx), %xmm22, %xmm1
8// CHECK: encoding: [0x62,0xf3,0x4d,0x00,0x44,0x09,0x01]
9          vpclmulqdq  $1, (%rcx), %xmm22, %xmm1
10
11// CHECK: vpclmulqdq  $1, -64(%rsp), %xmm22, %xmm1
12// CHECK: encoding: [0x62,0xf3,0x4d,0x00,0x44,0x4c,0x24,0xfc,0x01]
13          vpclmulqdq  $1, -64(%rsp), %xmm22, %xmm1
14
15// CHECK: vpclmulqdq  $1, 64(%rsp), %xmm22, %xmm1
16// CHECK: encoding: [0x62,0xf3,0x4d,0x00,0x44,0x4c,0x24,0x04,0x01]
17          vpclmulqdq  $1, 64(%rsp), %xmm22, %xmm1
18
19// CHECK: vpclmulqdq  $1, 268435456(%rcx,%r14,8), %xmm22, %xmm1
20// CHECK: encoding: [0x62,0xb3,0x4d,0x00,0x44,0x8c,0xf1,0x00,0x00,0x00,0x10,0x01]
21          vpclmulqdq  $1, 268435456(%rcx,%r14,8), %xmm22, %xmm1
22
23// CHECK: vpclmulqdq  $1, -536870912(%rcx,%r14,8), %xmm22, %xmm1
24// CHECK: encoding: [0x62,0xb3,0x4d,0x00,0x44,0x8c,0xf1,0x00,0x00,0x00,0xe0,0x01]
25          vpclmulqdq  $1, -536870912(%rcx,%r14,8), %xmm22, %xmm1
26
27// CHECK: vpclmulqdq  $1, -536870910(%rcx,%r14,8), %xmm22, %xmm1
28// CHECK: encoding: [0x62,0xb3,0x4d,0x00,0x44,0x8c,0xf1,0x02,0x00,0x00,0xe0,0x01]
29          vpclmulqdq  $1, -536870910(%rcx,%r14,8), %xmm22, %xmm1
30
31// CHECK: vpclmulqdq $1, %ymm3, %ymm22, %ymm1
32// CHECK: encoding: [0x62,0xf3,0x4d,0x20,0x44,0xcb,0x01]
33          vpclmulqdq $1, %ymm3, %ymm22, %ymm1
34
35// CHECK: vpclmulqdq  $1, (%rcx), %ymm22, %ymm1
36// CHECK: encoding: [0x62,0xf3,0x4d,0x20,0x44,0x09,0x01]
37          vpclmulqdq  $1, (%rcx), %ymm22, %ymm1
38
39// CHECK: vpclmulqdq  $1, -128(%rsp), %ymm22, %ymm1
40// CHECK: encoding: [0x62,0xf3,0x4d,0x20,0x44,0x4c,0x24,0xfc,0x01]
41          vpclmulqdq  $1, -128(%rsp), %ymm22, %ymm1
42
43// CHECK: vpclmulqdq  $1, 128(%rsp), %ymm22, %ymm1
44// CHECK: encoding: [0x62,0xf3,0x4d,0x20,0x44,0x4c,0x24,0x04,0x01]
45          vpclmulqdq  $1, 128(%rsp), %ymm22, %ymm1
46
47// CHECK: vpclmulqdq  $1, 268435456(%rcx,%r14,8), %ymm22, %ymm1
48// CHECK: encoding: [0x62,0xb3,0x4d,0x20,0x44,0x8c,0xf1,0x00,0x00,0x00,0x10,0x01]
49          vpclmulqdq  $1, 268435456(%rcx,%r14,8), %ymm22, %ymm1
50
51// CHECK: vpclmulqdq  $1, -536870912(%rcx,%r14,8), %ymm22, %ymm1
52// CHECK: encoding: [0x62,0xb3,0x4d,0x20,0x44,0x8c,0xf1,0x00,0x00,0x00,0xe0,0x01]
53          vpclmulqdq  $1, -536870912(%rcx,%r14,8), %ymm22, %ymm1
54
55// CHECK: vpclmulqdq  $1, -536870910(%rcx,%r14,8), %ymm22, %ymm1
56// CHECK: encoding: [0x62,0xb3,0x4d,0x20,0x44,0x8c,0xf1,0x02,0x00,0x00,0xe0,0x01]
57          vpclmulqdq  $1, -536870910(%rcx,%r14,8), %ymm22, %ymm1
58
59