1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
|
# RUN: llvm-mc -triple x86_64 -show-encoding -x86-asm-syntax=intel -output-asm-variant=1 %s | FileCheck %s
# CHECK: {evex} adc bl, 123
# CHECK: encoding: [0x62,0xf4,0x7c,0x08,0x80,0xd3,0x7b]
{evex} adc bl, 123
# CHECK: adc cl, bl, 123
# CHECK: encoding: [0x62,0xf4,0x74,0x18,0x80,0xd3,0x7b]
adc cl, bl, 123
# CHECK: {evex} adc dx, 123
# CHECK: encoding: [0x62,0xf4,0x7d,0x08,0x83,0xd2,0x7b]
{evex} adc dx, 123
# CHECK: adc ax, dx, 123
# CHECK: encoding: [0x62,0xf4,0x7d,0x18,0x83,0xd2,0x7b]
adc ax, dx, 123
# CHECK: {evex} adc ecx, 123
# CHECK: encoding: [0x62,0xf4,0x7c,0x08,0x83,0xd1,0x7b]
{evex} adc ecx, 123
# CHECK: adc edx, ecx, 123
# CHECK: encoding: [0x62,0xf4,0x6c,0x18,0x83,0xd1,0x7b]
adc edx, ecx, 123
# CHECK: {evex} adc r9, 123
# CHECK: encoding: [0x62,0xd4,0xfc,0x08,0x83,0xd1,0x7b]
{evex} adc r9, 123
# CHECK: adc r15, r9, 123
# CHECK: encoding: [0x62,0xd4,0x84,0x18,0x83,0xd1,0x7b]
adc r15, r9, 123
# CHECK: {evex} adc byte ptr [r8 + 4*rax + 291], 123
# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0x80,0x94,0x80,0x23,0x01,0x00,0x00,0x7b]
{evex} adc byte ptr [r8 + 4*rax + 291], 123
# CHECK: adc bl, byte ptr [r8 + 4*rax + 291], 123
# CHECK: encoding: [0x62,0xd4,0x64,0x18,0x80,0x94,0x80,0x23,0x01,0x00,0x00,0x7b]
adc bl, byte ptr [r8 + 4*rax + 291], 123
# CHECK: {evex} adc word ptr [r8 + 4*rax + 291], 123
# CHECK: encoding: [0x62,0xd4,0x7d,0x08,0x83,0x94,0x80,0x23,0x01,0x00,0x00,0x7b]
{evex} adc word ptr [r8 + 4*rax + 291], 123
# CHECK: adc dx, word ptr [r8 + 4*rax + 291], 123
# CHECK: encoding: [0x62,0xd4,0x6d,0x18,0x83,0x94,0x80,0x23,0x01,0x00,0x00,0x7b]
adc dx, word ptr [r8 + 4*rax + 291], 123
# CHECK: {evex} adc dword ptr [r8 + 4*rax + 291], 123
# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0x83,0x94,0x80,0x23,0x01,0x00,0x00,0x7b]
{evex} adc dword ptr [r8 + 4*rax + 291], 123
# CHECK: adc ecx, dword ptr [r8 + 4*rax + 291], 123
# CHECK: encoding: [0x62,0xd4,0x74,0x18,0x83,0x94,0x80,0x23,0x01,0x00,0x00,0x7b]
adc ecx, dword ptr [r8 + 4*rax + 291], 123
# CHECK: {evex} adc qword ptr [r8 + 4*rax + 291], 123
# CHECK: encoding: [0x62,0xd4,0xfc,0x08,0x83,0x94,0x80,0x23,0x01,0x00,0x00,0x7b]
{evex} adc qword ptr [r8 + 4*rax + 291], 123
# CHECK: adc r9, qword ptr [r8 + 4*rax + 291], 123
# CHECK: encoding: [0x62,0xd4,0xb4,0x18,0x83,0x94,0x80,0x23,0x01,0x00,0x00,0x7b]
adc r9, qword ptr [r8 + 4*rax + 291], 123
# CHECK: {evex} adc dx, 1234
# CHECK: encoding: [0x62,0xf4,0x7d,0x08,0x81,0xd2,0xd2,0x04]
{evex} adc dx, 1234
# CHECK: adc ax, dx, 1234
# CHECK: encoding: [0x62,0xf4,0x7d,0x18,0x81,0xd2,0xd2,0x04]
adc ax, dx, 1234
# CHECK: {evex} adc word ptr [r8 + 4*rax + 291], 1234
# CHECK: encoding: [0x62,0xd4,0x7d,0x08,0x81,0x94,0x80,0x23,0x01,0x00,0x00,0xd2,0x04]
{evex} adc word ptr [r8 + 4*rax + 291], 1234
# CHECK: adc dx, word ptr [r8 + 4*rax + 291], 1234
# CHECK: encoding: [0x62,0xd4,0x6d,0x18,0x81,0x94,0x80,0x23,0x01,0x00,0x00,0xd2,0x04]
adc dx, word ptr [r8 + 4*rax + 291], 1234
# CHECK: {evex} adc ecx, 123456
# CHECK: encoding: [0x62,0xf4,0x7c,0x08,0x81,0xd1,0x40,0xe2,0x01,0x00]
{evex} adc ecx, 123456
# CHECK: adc edx, ecx, 123456
# CHECK: encoding: [0x62,0xf4,0x6c,0x18,0x81,0xd1,0x40,0xe2,0x01,0x00]
adc edx, ecx, 123456
# CHECK: {evex} adc r9, 123456
# CHECK: encoding: [0x62,0xd4,0xfc,0x08,0x81,0xd1,0x40,0xe2,0x01,0x00]
{evex} adc r9, 123456
# CHECK: adc r15, r9, 123456
# CHECK: encoding: [0x62,0xd4,0x84,0x18,0x81,0xd1,0x40,0xe2,0x01,0x00]
adc r15, r9, 123456
# CHECK: {evex} adc dword ptr [r8 + 4*rax + 291], 123456
# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0x81,0x94,0x80,0x23,0x01,0x00,0x00,0x40,0xe2,0x01,0x00]
{evex} adc dword ptr [r8 + 4*rax + 291], 123456
# CHECK: adc ecx, dword ptr [r8 + 4*rax + 291], 123456
# CHECK: encoding: [0x62,0xd4,0x74,0x18,0x81,0x94,0x80,0x23,0x01,0x00,0x00,0x40,0xe2,0x01,0x00]
adc ecx, dword ptr [r8 + 4*rax + 291], 123456
# CHECK: {evex} adc qword ptr [r8 + 4*rax + 291], 123456
# CHECK: encoding: [0x62,0xd4,0xfc,0x08,0x81,0x94,0x80,0x23,0x01,0x00,0x00,0x40,0xe2,0x01,0x00]
{evex} adc qword ptr [r8 + 4*rax + 291], 123456
# CHECK: adc r9, qword ptr [r8 + 4*rax + 291], 123456
# CHECK: encoding: [0x62,0xd4,0xb4,0x18,0x81,0x94,0x80,0x23,0x01,0x00,0x00,0x40,0xe2,0x01,0x00]
adc r9, qword ptr [r8 + 4*rax + 291], 123456
# CHECK: {evex} adc cl, bl
# CHECK: encoding: [0x62,0xf4,0x7c,0x08,0x10,0xd9]
{evex} adc cl, bl
# CHECK: adc r8b, cl, bl
# CHECK: encoding: [0x62,0xf4,0x3c,0x18,0x10,0xd9]
adc r8b, cl, bl
# CHECK: {evex} adc byte ptr [r8 + 4*rax + 291], bl
# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0x10,0x9c,0x80,0x23,0x01,0x00,0x00]
{evex} adc byte ptr [r8 + 4*rax + 291], bl
# CHECK: adc cl, byte ptr [r8 + 4*rax + 291], bl
# CHECK: encoding: [0x62,0xd4,0x74,0x18,0x10,0x9c,0x80,0x23,0x01,0x00,0x00]
adc cl, byte ptr [r8 + 4*rax + 291], bl
# CHECK: {evex} adc ax, dx
# CHECK: encoding: [0x62,0xf4,0x7d,0x08,0x11,0xd0]
{evex} adc ax, dx
# CHECK: adc r9w, ax, dx
# CHECK: encoding: [0x62,0xf4,0x35,0x18,0x11,0xd0]
adc r9w, ax, dx
# CHECK: {evex} adc word ptr [r8 + 4*rax + 291], dx
# CHECK: encoding: [0x62,0xd4,0x7d,0x08,0x11,0x94,0x80,0x23,0x01,0x00,0x00]
{evex} adc word ptr [r8 + 4*rax + 291], dx
# CHECK: adc ax, word ptr [r8 + 4*rax + 291], dx
# CHECK: encoding: [0x62,0xd4,0x7d,0x18,0x11,0x94,0x80,0x23,0x01,0x00,0x00]
adc ax, word ptr [r8 + 4*rax + 291], dx
# CHECK: {evex} adc edx, ecx
# CHECK: encoding: [0x62,0xf4,0x7c,0x08,0x11,0xca]
{evex} adc edx, ecx
# CHECK: adc r10d, edx, ecx
# CHECK: encoding: [0x62,0xf4,0x2c,0x18,0x11,0xca]
adc r10d, edx, ecx
# CHECK: {evex} adc dword ptr [r8 + 4*rax + 291], ecx
# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0x11,0x8c,0x80,0x23,0x01,0x00,0x00]
{evex} adc dword ptr [r8 + 4*rax + 291], ecx
# CHECK: adc edx, dword ptr [r8 + 4*rax + 291], ecx
# CHECK: encoding: [0x62,0xd4,0x6c,0x18,0x11,0x8c,0x80,0x23,0x01,0x00,0x00]
adc edx, dword ptr [r8 + 4*rax + 291], ecx
# CHECK: {evex} adc r15, r9
# CHECK: encoding: [0x62,0x54,0xfc,0x08,0x11,0xcf]
{evex} adc r15, r9
# CHECK: adc r11, r15, r9
# CHECK: encoding: [0x62,0x54,0xa4,0x18,0x11,0xcf]
adc r11, r15, r9
# CHECK: {evex} adc qword ptr [r8 + 4*rax + 291], r9
# CHECK: encoding: [0x62,0x54,0xfc,0x08,0x11,0x8c,0x80,0x23,0x01,0x00,0x00]
{evex} adc qword ptr [r8 + 4*rax + 291], r9
# CHECK: adc r15, qword ptr [r8 + 4*rax + 291], r9
# CHECK: encoding: [0x62,0x54,0x84,0x18,0x11,0x8c,0x80,0x23,0x01,0x00,0x00]
adc r15, qword ptr [r8 + 4*rax + 291], r9
# CHECK: {evex} adc bl, byte ptr [r8 + 4*rax + 291]
# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0x12,0x9c,0x80,0x23,0x01,0x00,0x00]
{evex} adc bl, byte ptr [r8 + 4*rax + 291]
# CHECK: adc cl, bl, byte ptr [r8 + 4*rax + 291]
# CHECK: encoding: [0x62,0xd4,0x74,0x18,0x12,0x9c,0x80,0x23,0x01,0x00,0x00]
adc cl, bl, byte ptr [r8 + 4*rax + 291]
# CHECK: {evex} adc dx, word ptr [r8 + 4*rax + 291]
# CHECK: encoding: [0x62,0xd4,0x7d,0x08,0x13,0x94,0x80,0x23,0x01,0x00,0x00]
{evex} adc dx, word ptr [r8 + 4*rax + 291]
# CHECK: adc ax, dx, word ptr [r8 + 4*rax + 291]
# CHECK: encoding: [0x62,0xd4,0x7d,0x18,0x13,0x94,0x80,0x23,0x01,0x00,0x00]
adc ax, dx, word ptr [r8 + 4*rax + 291]
# CHECK: {evex} adc ecx, dword ptr [r8 + 4*rax + 291]
# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0x13,0x8c,0x80,0x23,0x01,0x00,0x00]
{evex} adc ecx, dword ptr [r8 + 4*rax + 291]
# CHECK: adc edx, ecx, dword ptr [r8 + 4*rax + 291]
# CHECK: encoding: [0x62,0xd4,0x6c,0x18,0x13,0x8c,0x80,0x23,0x01,0x00,0x00]
adc edx, ecx, dword ptr [r8 + 4*rax + 291]
# CHECK: {evex} adc r9, qword ptr [r8 + 4*rax + 291]
# CHECK: encoding: [0x62,0x54,0xfc,0x08,0x13,0x8c,0x80,0x23,0x01,0x00,0x00]
{evex} adc r9, qword ptr [r8 + 4*rax + 291]
# CHECK: adc r15, r9, qword ptr [r8 + 4*rax + 291]
# CHECK: encoding: [0x62,0x54,0x84,0x18,0x13,0x8c,0x80,0x23,0x01,0x00,0x00]
adc r15, r9, qword ptr [r8 + 4*rax + 291]
|
