| blob | 27b23a207876c92451e8ffacbb6d958aedc25f92 |
1 # RUN: llc -mtriple=aarch64-- -run-pass=legalizer %s \
2 # RUN: -mcpu=cortex-a75 -o - 2>&1 | FileCheck %s --check-prefixes=CHECK
4 # RUN: llc -mtriple=aarch64-- -run-pass=legalizer %s -debug-only=legalizer-info \
5 # RUN: -mcpu=cortex-a75 -o - 2>&1 | FileCheck %s --check-prefixes=CHECK,DEBUG
7 # REQUIRES: asserts
9 # The main purpose of this test is to make sure we don't over-relax
10 # LegalizerInfo validation and lose its ability to catch bugs.
11 #
12 # Watch out for every "SKIPPED: user-defined predicate detected" in the
13 # check-lines below and keep each and every one of them justified.
16 # DEBUG: G_ADD (opcode [[ADD_OPC:[0-9]+]]): 1 type index, 0 imm indices
17 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
18 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
19 #
20 # DEBUG-NEXT: G_SUB (opcode [[SUB_OPC:[0-9]+]]): 1 type index, 0 imm indices
21 # DEBUG-NEXT: .. opcode [[SUB_OPC]] is aliased to [[ADD_OPC]]
22 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
23 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
24 #
25 # DEBUG-NEXT: G_MUL (opcode {{[0-9]+}}): 1 type index, 0 imm indices
26 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
27 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
28 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
29 #
30 # DEBUG-NEXT: G_SDIV (opcode {{[0-9]+}}): 1 type index
31 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
32 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
33 #
34 # DEBUG-NEXT: G_UDIV (opcode {{[0-9]+}}): 1 type index, 0 imm indices
35 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
36 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
37 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
38 #
39 # DEBUG-NEXT: G_SREM (opcode {{[0-9]+}}): 1 type index, 0 imm indices
40 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
41 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
42 #
43 # DEBUG-NEXT: G_UREM (opcode {{[0-9]+}}): 1 type index, 0 imm indices
44 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
45 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
46 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
47 #
48 # DEBUG-NEXT: G_AND (opcode {{[0-9]+}}): 1 type index, 0 imm indices
49 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
50 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
51 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
52 #
53 # DEBUG-NEXT: G_OR (opcode {{[0-9]+}}): 1 type index, 0 imm indices
54 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
55 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
56 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
57 #
58 # DEBUG-NEXT: G_XOR (opcode {{[0-9]+}}): 1 type index, 0 imm indices
59 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
60 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
61 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
62 #
63 # DEBUG-NEXT: G_IMPLICIT_DEF (opcode {{[0-9]+}}): 1 type index, 0 imm indices
64 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
65 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
66 #
67 # DEBUG-NEXT: G_PHI (opcode {{[0-9]+}}): 1 type index, 0 imm indices
68 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
69 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
70 #
71 # DEBUG-NEXT: G_FRAME_INDEX (opcode {{[0-9]+}}): 1 type index, 0 imm indices
72 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
73 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
74 #
75 # DEBUG-NEXT: G_GLOBAL_VALUE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
76 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
77 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
78 #
79 # DEBUG-NEXT: G_EXTRACT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
80 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
81 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
82 #
83 # DEBUG-NEXT: G_UNMERGE_VALUES (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
84 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
85 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
86 #
87 # DEBUG-NEXT: G_INSERT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
88 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
89 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
90 #
91 # DEBUG-NEXT: G_MERGE_VALUES (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
92 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
93 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
94 #
95 # DEBUG-NEXT: G_BUILD_VECTOR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
96 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
97 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
98 #
99 # DEBUG-NEXT: G_BUILD_VECTOR_TRUNC (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
100 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
101 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
102 #
103 # DEBUG-NEXT: G_CONCAT_VECTORS (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
104 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
105 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
106 #
107 # DEBUG-NEXT: G_PTRTOINT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
108 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
109 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
110 #
111 # DEBUG-NEXT: G_INTTOPTR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
112 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
113 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
114 #
115 # DEBUG-NEXT: G_BITCAST (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
116 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
117 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
118 #
119 # DEBUG-NEXT: G_INTRINSIC_TRUNC (opcode {{[0-9]+}}): 1 type index, 0 imm indices
120 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
121 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
122 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
123 # DEBUG-NEXT: G_INTRINSIC_ROUND (opcode {{[0-9]+}}): 1 type index, 0 imm indices
124 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
125 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
126 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
127 # DEBUG-NEXT: G_LOAD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
128 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
129 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
130 # DEBUG-NEXT: G_SEXTLOAD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
131 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
132 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
133 # DEBUG-NEXT: G_ZEXTLOAD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
134 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
135 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
136 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
137 # DEBUG-NEXT: G_STORE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
138 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
139 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
140 # DEBUG-NEXT: G_ATOMIC_CMPXCHG_WITH_SUCCESS (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
141 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
142 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
143 # DEBUG-NEXT: G_ATOMIC_CMPXCHG (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
144 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
145 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
146 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
147 # DEBUG-NEXT: G_ATOMICRMW_XCHG (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
148 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
149 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
150 # DEBUG-NEXT: G_ATOMICRMW_ADD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
151 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
152 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
153 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
154 # DEBUG-NEXT: G_ATOMICRMW_SUB (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
155 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
156 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
157 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
158 # DEBUG-NEXT: G_ATOMICRMW_AND (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
159 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
160 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
161 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
162 # DEBUG-NEXT: G_ATOMICRMW_NAND (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
163 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
164 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
165 # DEBUG-NEXT: G_ATOMICRMW_OR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
166 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
167 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
168 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
169 # DEBUG-NEXT: G_ATOMICRMW_XOR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
170 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
171 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
172 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
173 # DEBUG-NEXT: G_ATOMICRMW_MAX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
174 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
175 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
176 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
177 # DEBUG-NEXT: G_ATOMICRMW_MIN (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
178 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
179 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
180 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
181 # DEBUG-NEXT: G_ATOMICRMW_UMAX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
182 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
183 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
184 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
185 # DEBUG-NEXT: G_ATOMICRMW_UMIN (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
186 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
187 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
188 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
189 # DEBUG-NEXT: G_ATOMICRMW_FADD (opcode {{[0-9]+}}): 2 type indices
190 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
191 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
192 # DEBUG-NEXT: G_ATOMICRMW_FSUB (opcode {{[0-9]+}}): 2 type indices
193 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
194 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
195 # DEBUG-NEXT: G_FENCE (opcode {{[0-9]+}}): 0 type indices
196 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
197 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
198 # DEBUG-NEXT: G_BRCOND (opcode {{[0-9]+}}): 1 type index, 0 imm indices
199 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
200 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
201 # DEBUG-NEXT: G_BRINDIRECT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
202 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
203 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
204 # DEBUG-NEXT: G_INTRINSIC (opcode {{[0-9]+}}): 0 type indices, 0 imm indices
205 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
206 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
207 # DEBUG-NEXT: G_INTRINSIC_W_SIDE_EFFECTS (opcode {{[0-9]+}}): 0 type indices, 0 imm indices
208 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
209 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
210 # DEBUG-NEXT: G_ANYEXT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
211 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
212 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
213 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
214 # DEBUG-NEXT: G_TRUNC (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
215 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
216 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
217 # DEBUG-NEXT: G_CONSTANT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
218 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
219 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
220 # DEBUG-NEXT: G_FCONSTANT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
221 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
222 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
223 # DEBUG-NEXT: G_VASTART (opcode {{[0-9]+}}): 1 type index, 0 imm indices
224 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
225 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
226 # DEBUG-NEXT: G_VAARG (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
227 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
228 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
229 # DEBUG-NEXT: G_SEXT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
230 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
231 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
232 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
233 # DEBUG-NEXT: G_SEXT_INREG (opcode {{[0-9]+}}): 1 type index, 1 imm index
234 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
235 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
236 # DEBUG-NEXT: G_ZEXT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
237 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
238 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
239 # DEBUG-NEXT: G_SHL (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
240 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
241 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
242 # DEBUG-NEXT: G_LSHR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
243 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
244 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
245 # DEBUG-NEXT: G_ASHR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
246 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
247 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
248 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
249 # DEBUG-NEXT: G_ICMP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
250 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
251 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
252 # DEBUG-NEXT: G_FCMP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
253 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
254 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
255 # DEBUG-NEXT: G_SELECT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
256 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
257 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
258 # DEBUG-NEXT: G_UADDO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
259 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
260 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
261 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
262 # DEBUG-NEXT: G_UADDE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
263 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
264 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
265 # DEBUG-NEXT: G_USUBO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
266 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
267 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
268 # DEBUG-NEXT: G_USUBE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
269 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
270 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
271 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
272 # DEBUG-NEXT: G_SADDO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
273 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
274 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
275 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
276 # DEBUG-NEXT: G_SADDE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
277 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
278 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
279 # DEBUG-NEXT: G_SSUBO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
280 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
281 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
282 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
283 # DEBUG-NEXT: G_SSUBE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
284 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
285 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
286 # DEBUG-NEXT: G_UMULO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
287 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
288 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
289 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
290 # DEBUG-NEXT: G_SMULO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
291 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
292 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
293 # DEBUG-NEXT: G_UMULH (opcode {{[0-9]+}}): 1 type index, 0 imm indices
294 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
295 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
296 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
297 # DEBUG-NEXT: G_SMULH (opcode {{[0-9]+}}): 1 type index, 0 imm indices
298 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
299 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
300 # DEBUG-NEXT: G_FADD (opcode {{[0-9]+}}): 1 type index, 0 imm indices
301 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
302 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
303 # DEBUG-NEXT: G_FSUB (opcode {{[0-9]+}}): 1 type index, 0 imm indices
304 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
305 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
306 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
307 # DEBUG-NEXT: G_FMUL (opcode {{[0-9]+}}): 1 type index, 0 imm indices
308 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
309 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
310 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
311 # DEBUG-NEXT: G_FMA (opcode {{[0-9]+}}): 1 type index, 0 imm indices
312 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
313 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
314 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
315 # DEBUG-NEXT: G_FDIV (opcode {{[0-9]+}}): 1 type index, 0 imm indices
316 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
317 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
318 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
319 # DEBUG-NEXT: G_FREM (opcode {{[0-9]+}}): 1 type index, 0 imm indices
320 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
321 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
322 # DEBUG-NEXT: G_FPOW (opcode {{[0-9]+}}): 1 type index, 0 imm indices
323 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
324 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
325 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
326 # DEBUG-NEXT: G_FEXP (opcode {{[0-9]+}}): 1 type index, 0 imm indices
327 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
328 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
329 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
330 # DEBUG-NEXT: G_FEXP2 (opcode {{[0-9]+}}): 1 type index, 0 imm indices
331 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
332 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
333 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
334 # DEBUG-NEXT: G_FLOG (opcode {{[0-9]+}}): 1 type index, 0 imm indices
335 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
336 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
337 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
338 # DEBUG-NEXT: G_FLOG2 (opcode {{[0-9]+}}): 1 type index, 0 imm indices
339 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
340 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
341 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
342 # DEBUG-NEXT: G_FLOG10 (opcode {{[0-9]+}}): 1 type index, 0 imm indices
343 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
344 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
345 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
346 # DEBUG-NEXT: G_FNEG (opcode {{[0-9]+}}): 1 type index, 0 imm indices
347 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
348 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
349 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
350 # DEBUG-NEXT: G_FPEXT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
351 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
352 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
353 # DEBUG-NEXT: G_FPTRUNC (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
354 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
355 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
356 # DEBUG-NEXT: G_FPTOSI (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
357 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
358 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
359 # DEBUG-NEXT: G_FPTOUI (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
360 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
361 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
362 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
363 # DEBUG-NEXT: G_SITOFP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
364 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
365 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
366 # DEBUG-NEXT: G_UITOFP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
367 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
368 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
369 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
370 # DEBUG-NEXT: G_FABS (opcode {{[0-9]+}}): 1 type index, 0 imm indices
371 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
372 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
373 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
374 # DEBUG-NEXT: G_FCOPYSIGN (opcode {{[0-9]+}}): 2 type indices
375 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
376 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
377 # DEBUG-NEXT: G_FCANONICALIZE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
378 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
379 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
380 # DEBUG-NEXT: G_FMINNUM (opcode {{[0-9]+}}): 1 type index
381 # DEBUG: .. type index coverage check SKIPPED: no rules defined
382 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
383 # DEBUG-NEXT: G_FMAXNUM (opcode {{[0-9]+}}): 1 type index
384 # DEBUG: .. type index coverage check SKIPPED: no rules defined
385 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
386 # DEBUG-NEXT: G_FMINNUM_IEEE (opcode {{[0-9]+}}): 1 type index
387 # DEBUG: .. type index coverage check SKIPPED: no rules defined
388 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
389 # DEBUG-NEXT: G_FMAXNUM_IEEE (opcode {{[0-9]+}}): 1 type index
390 # DEBUG: .. type index coverage check SKIPPED: no rules defined
391 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
392 # DEBUG-NEXT: G_FMINIMUM (opcode {{[0-9]+}}): 1 type index
393 # DEBUG: .. type index coverage check SKIPPED: no rules defined
394 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
395 # DEBUG-NEXT: G_FMAXIMUM (opcode {{[0-9]+}}): 1 type index
396 # DEBUG: .. type index coverage check SKIPPED: no rules defined
397 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
398 # DEBUG-NEXT: G_GEP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
399 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
400 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
401 # DEBUG-NEXT: G_PTR_MASK (opcode {{[0-9]+}}): 1 type index, 0 imm indices
402 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
403 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
404 # DEBUG: G_SMIN (opcode {{[0-9]+}}): 1 type index
405 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
406 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
407 # DEBUG: G_SMAX (opcode {{[0-9]+}}): 1 type index
408 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
409 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
410 # DEBUG: G_UMIN (opcode {{[0-9]+}}): 1 type index
411 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
412 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
413 # DEBUG: G_UMAX (opcode {{[0-9]+}}): 1 type index
414 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
415 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
416 # DEBUG-NEXT: G_BR (opcode {{[0-9]+}}): 0 type indices, 0 imm indices
417 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
418 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
419 # DEBUG-NEXT: G_BRJT (opcode {{[0-9]+}}): 2 type indices
420 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
421 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
422 # DEBUG-NEXT: G_INSERT_VECTOR_ELT (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
423 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
424 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
425 # DEBUG-NEXT: G_EXTRACT_VECTOR_ELT (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
426 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
427 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
428 # DEBUG-NEXT: G_SHUFFLE_VECTOR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
429 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
430 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
431 # DEBUG-NEXT: G_CTTZ (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
432 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
433 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
434 # DEBUG-NEXT: G_CTTZ_ZERO_UNDEF (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
435 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
436 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
437 # DEBUG-NEXT: G_CTLZ (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
438 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
439 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
440 # DEBUG-NEXT: G_CTLZ_ZERO_UNDEF (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
441 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
442 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
443 # DEBUG-NEXT: G_CTPOP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
444 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
445 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
446 # DEBUG-NEXT: G_BSWAP (opcode {{[0-9]+}}): 1 type index, 0 imm indices
447 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
448 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
449 # DEBUG-NEXT: G_FCEIL (opcode {{[0-9]+}}): 1 type index, 0 imm indices
450 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
451 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
452 # DEBUG-NEXT: G_FCOS (opcode {{[0-9]+}}): 1 type index, 0 imm indices
453 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
454 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
455 # DEBUG-NEXT: G_FSIN (opcode {{[0-9]+}}): 1 type index, 0 imm indices
456 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
457 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
458 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
459 # DEBUG-NEXT: G_FSQRT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
460 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
461 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
462 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
463 # DEBUG-NEXT: G_FFLOOR (opcode {{[0-9]+}}): 1 type index, 0 imm indices
464 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
465 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
466 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
467 # DEBUG-NEXT: G_FRINT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
468 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
469 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
470 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
471 # DEBUG-NEXT: G_FNEARBYINT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
472 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
473 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
474 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
476 # CHECK-NOT: ill-defined
478 ---
479 name: dummy
480 body: |
481 bb.0:
482 ...