1# RUN: not llvm-mc -disassemble -triple thumbv8a-none-eabi -mattr=-fullfp16,+neon,+thumb-mode -show-encoding < %s 2>&1 | FileCheck %s
2
3# CHECK: warning: invalid instruction encoding
4# CHECK: warning: invalid instruction encoding
5[0x11,0xef,0x02,0x0d]
6[0x12,0xef,0x44,0x0d]
7
8# CHECK: warning: invalid instruction encoding
9# CHECK: warning: invalid instruction encoding
10[0x31,0xef,0x02,0x0d]
11[0x32,0xef,0x44,0x0d]
12
13# CHECK: warning: invalid instruction encoding
14# CHECK: warning: invalid instruction encoding
15[0x11,0xff,0x12,0x0d]
16[0x12,0xff,0x54,0x0d]
17
18# CHECK: warning: invalid instruction encoding
19# CHECK: warning: invalid instruction encoding
20[0x92,0xef,0x63,0x19]
21[0x9a,0xff,0x6e,0x89]
22
23# CHECK: warning: invalid instruction encoding
24# CHECK: warning: invalid instruction encoding
25[0x11,0xef,0x12,0x0d]
26[0x12,0xef,0x54,0x0d]
27
28# CHECK: warning: invalid instruction encoding
29# CHECK: warning: invalid instruction encoding
30[0x96,0xef,0x67,0x51]
31[0x9c,0xff,0x6f,0xa1]
32
33# CHECK: warning: invalid instruction encoding
34# CHECK: warning: invalid instruction encoding
35[0x31,0xef,0x12,0x0d]
36[0x32,0xef,0x54,0x0d]
37
38# CHECK: warning: invalid instruction encoding
39# CHECK: warning: invalid instruction encoding
40[0x96,0xef,0x67,0x55]
41[0x9c,0xff,0x6f,0xa5]
42
43# CHECK: warning: invalid instruction encoding
44# CHECK: warning: invalid instruction encoding
45[0x11,0xef,0x12,0x0c]
46[0x12,0xef,0x54,0x0c]
47
48# CHECK: warning: invalid instruction encoding
49# CHECK: warning: invalid instruction encoding
50[0x31,0xef,0x12,0x0c]
51[0x32,0xef,0x54,0x0c]
52
53# CHECK: warning: invalid instruction encoding
54# CHECK: warning: invalid instruction encoding
55[0x13,0xef,0x04,0x2e]
56[0x16,0xef,0x48,0x4e]
57
58# CHECK: warning: invalid instruction encoding
59# CHECK: warning: invalid instruction encoding
60[0xb5,0xff,0x03,0x25]
61[0xb5,0xff,0x46,0x45]
62
63# CHECK: warning: invalid instruction encoding
64# CHECK: warning: invalid instruction encoding
65[0x13,0xff,0x04,0x2e]
66[0x16,0xff,0x48,0x4e]
67
68# CHECK: warning: invalid instruction encoding
69# CHECK: warning: invalid instruction encoding
70[0xb5,0xff,0x83,0x24]
71[0xb5,0xff,0xc6,0x44]
72
73# CHECK: warning: invalid instruction encoding
74# CHECK: warning: invalid instruction encoding
75[0x33,0xff,0x04,0x2e]
76[0x36,0xff,0x48,0x4e]
77
78# CHECK: warning: invalid instruction encoding
79# CHECK: warning: invalid instruction encoding
80[0xb5,0xff,0x03,0x24]
81[0xb5,0xff,0x46,0x44]
82
83# CHECK: warning: invalid instruction encoding
84# CHECK: warning: invalid instruction encoding
85[0xb5,0xff,0x83,0x25]
86[0xb5,0xff,0xc6,0x45]
87
88# CHECK: warning: invalid instruction encoding
89# CHECK: warning: invalid instruction encoding
90[0xb5,0xff,0x03,0x26]
91[0xb5,0xff,0x46,0x46]
92
93# CHECK: warning: invalid instruction encoding
94# CHECK: warning: invalid instruction encoding
95[0x11,0xff,0x12,0x0e]
96[0x12,0xff,0x54,0x0e]
97
98# CHECK: warning: invalid instruction encoding
99# CHECK: warning: invalid instruction encoding
100[0x31,0xff,0x12,0x0e]
101[0x32,0xff,0x54,0x0e]
102
103# CHECK: warning: invalid instruction encoding
104# CHECK: warning: invalid instruction encoding
105[0x31,0xff,0x02,0x0d]
106[0x32,0xff,0x44,0x0d]
107
108# CHECK: warning: invalid instruction encoding
109# CHECK: warning: invalid instruction encoding
110[0xb5,0xff,0x01,0x07]
111[0xb5,0xff,0x42,0x07]
112
113# CHECK: warning: invalid instruction encoding
114# CHECK: warning: invalid instruction encoding
115[0x11,0xef,0x02,0x0f]
116[0x12,0xef,0x44,0x0f]
117
118# CHECK: warning: invalid instruction encoding
119# CHECK: warning: invalid instruction encoding
120[0x31,0xef,0x02,0x0f]
121[0x32,0xef,0x44,0x0f]
122
123# CHECK: warning: invalid instruction encoding
124# CHECK: warning: invalid instruction encoding
125[0x11,0xff,0x12,0x0f]
126[0x12,0xff,0x54,0x0f]
127
128# CHECK: warning: invalid instruction encoding
129# CHECK: warning: invalid instruction encoding
130[0x31,0xff,0x12,0x0f]
131[0x32,0xff,0x54,0x0f]
132
133# CHECK: warning: invalid instruction encoding
134[0x11,0xff,0x02,0x0d]
135
136# CHECK: warning: invalid instruction encoding
137[0x11,0xff,0x02,0x0f]
138
139# CHECK: warning: invalid instruction encoding
140[0x31,0xff,0x02,0x0f]
141
142# CHECK: warning: invalid instruction encoding
143# CHECK: warning: invalid instruction encoding
144[0xb7,0xff,0x01,0x05]
145[0xb7,0xff,0x42,0x05]
146
147# CHECK: warning: invalid instruction encoding
148# CHECK: warning: invalid instruction encoding
149[0x11,0xef,0x12,0x0f]
150[0x12,0xef,0x54,0x0f]
151
152# CHECK: warning: invalid instruction encoding
153# CHECK: warning: invalid instruction encoding
154[0xb7,0xff,0x81,0x05]
155[0xb7,0xff,0xc2,0x05]
156
157# CHECK: warning: invalid instruction encoding
158# CHECK: warning: invalid instruction encoding
159[0x31,0xef,0x12,0x0f]
160[0x32,0xef,0x54,0x0f]
161
162# CHECK: warning: invalid instruction encoding
163# CHECK: warning: invalid instruction encoding
164[0xb5,0xff,0x81,0x07]
165[0xb5,0xff,0xc2,0x07]
166
167# CHECK: warning: invalid instruction encoding
168# CHECK: warning: invalid instruction encoding
169# CHECK: warning: invalid instruction encoding
170# CHECK: warning: invalid instruction encoding
171# CHECK: warning: invalid instruction encoding
172# CHECK: warning: invalid instruction encoding
173# CHECK: warning: invalid instruction encoding
174# CHECK: warning: invalid instruction encoding
175[0xb7,0xff,0x01,0x07]
176[0xb7,0xff,0x81,0x07]
177[0xb7,0xff,0x01,0x06]
178[0xb7,0xff,0x81,0x06]
179[0xb7,0xff,0x42,0x07]
180[0xb7,0xff,0xc2,0x07]
181[0xb7,0xff,0x42,0x06]
182[0xb7,0xff,0xc2,0x06]
183
184# CHECK: warning: invalid instruction encoding
185# CHECK: warning: invalid instruction encoding
186# CHECK: warning: invalid instruction encoding
187# CHECK: warning: invalid instruction encoding
188[0xb7,0xff,0x01,0x00]
189[0xb7,0xff,0x42,0x00]
190[0xb7,0xff,0x81,0x00]
191[0xb7,0xff,0xc2,0x00]
192
193# CHECK: warning: invalid instruction encoding
194# CHECK: warning: invalid instruction encoding
195# CHECK: warning: invalid instruction encoding
196# CHECK: warning: invalid instruction encoding
197[0xb7,0xff,0x01,0x03]
198[0xb7,0xff,0x42,0x03]
199[0xb7,0xff,0x81,0x03]
200[0xb7,0xff,0xc2,0x03]
201
202# CHECK: warning: invalid instruction encoding
203# CHECK: warning: invalid instruction encoding
204# CHECK: warning: invalid instruction encoding
205# CHECK: warning: invalid instruction encoding
206[0xb7,0xff,0x01,0x01]
207[0xb7,0xff,0x42,0x01]
208[0xb7,0xff,0x81,0x01]
209[0xb7,0xff,0xc2,0x01]
210
211# CHECK: warning: invalid instruction encoding
212# CHECK: warning: invalid instruction encoding
213# CHECK: warning: invalid instruction encoding
214# CHECK: warning: invalid instruction encoding
215[0xb7,0xff,0x01,0x02]
216[0xb7,0xff,0x42,0x02]
217[0xb7,0xff,0x81,0x02]
218[0xb7,0xff,0xc2,0x02]
219
220# CHECK: warning: invalid instruction encoding
221# CHECK: warning: invalid instruction encoding
222# CHECK: warning: invalid instruction encoding
223# CHECK: warning: invalid instruction encoding
224# CHECK: warning: invalid instruction encoding
225# CHECK: warning: invalid instruction encoding
226# CHECK: warning: invalid instruction encoding
227# CHECK: warning: invalid instruction encoding
228[0xbf,0xef,0x11,0x0d]
229[0xbe,0xff,0x11,0x0d]
230[0xbd,0xef,0x11,0x0c]
231[0xbc,0xff,0x11,0x0c]
232[0xbb,0xef,0x52,0x0d]
233[0xba,0xff,0x52,0x0d]
234[0xb9,0xef,0x52,0x0c]
235[0xb8,0xff,0x52,0x0c]
236
237# CHECK: warning: invalid instruction encoding
238# CHECK: warning: invalid instruction encoding
239[0xb6,0xff,0x01,0x05]
240[0xb6,0xff,0x42,0x05]
241
242# CHECK: warning: invalid instruction encoding
243# CHECK: warning: invalid instruction encoding
244[0xb6,0xff,0x81,0x06]
245[0xb6,0xff,0xc2,0x06]
246
247# CHECK: warning: invalid instruction encoding
248# CHECK: warning: invalid instruction encoding
249[0xb6,0xff,0x01,0x04]
250[0xb6,0xff,0x42,0x04]
251
252# CHECK: warning: invalid instruction encoding
253# CHECK: warning: invalid instruction encoding
254[0xb6,0xff,0x81,0x07]
255[0xb6,0xff,0xc2,0x07]
256
257# CHECK: warning: invalid instruction encoding
258# CHECK: warning: invalid instruction encoding
259[0xb6,0xff,0x81,0x04]
260[0xb6,0xff,0xc2,0x04]
261
262# CHECK: warning: invalid instruction encoding
263# CHECK: warning: invalid instruction encoding
264[0xb6,0xff,0x81,0x05]
265[0xb6,0xff,0xc2,0x05]
266
267# CHECK: warning: invalid instruction encoding
268# CHECK: warning: invalid instruction encoding
269# CHECK: warning: invalid instruction encoding
270[0xc7,0xef,0x20,0x0d]
271[0xc7,0xef,0x20,0x0f]
272[0xc7,0xef,0x70,0x0f]
273
274# CHECK-NOT: warning: invalid instruction encoding
275