| blob | 3cd0e7add9db8aef57e314970e5c17fbfef21800 |
1 # R UN: llc -mtriple=aarch64-- -run-pass=legalizer %s \
2 # R UN: -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_SDIVREM (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_UDIVREM (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_AND (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_OR (opcode {{[0-9]+}}): 1 type index, 0 imm indices
64 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
65 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
66 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
67 #
68 # DEBUG-NEXT: G_XOR (opcode {{[0-9]+}}): 1 type index, 0 imm indices
69 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
70 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
71 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
72 #
73 # DEBUG-NEXT: G_IMPLICIT_DEF (opcode {{[0-9]+}}): 1 type index, 0 imm indices
74 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
75 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
76 #
77 # DEBUG-NEXT: G_PHI (opcode {{[0-9]+}}): 1 type index, 0 imm indices
78 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
79 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
80 #
81 # DEBUG-NEXT: G_FRAME_INDEX (opcode {{[0-9]+}}): 1 type index, 0 imm indices
82 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
83 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
84 #
85 # DEBUG-NEXT: G_GLOBAL_VALUE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
86 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
87 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
88 #
89 # DEBUG-NEXT: G_EXTRACT (opcode {{[0-9]+}}): 2 type indices, 1 imm index
90 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
91 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
92 #
93 # DEBUG-NEXT: G_UNMERGE_VALUES (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
94 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
95 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
96 #
97 # DEBUG-NEXT: G_INSERT (opcode {{[0-9]+}}): 2 type indices, 1 imm index
98 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
99 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
100 #
101 # DEBUG-NEXT: G_MERGE_VALUES (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
102 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
103 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
104 #
105 # DEBUG-NEXT: G_BUILD_VECTOR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
106 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
107 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
108 #
109 # DEBUG-NEXT: G_BUILD_VECTOR_TRUNC (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
110 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
111 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
112 #
113 # DEBUG-NEXT: G_CONCAT_VECTORS (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
114 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
115 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
116 #
117 # DEBUG-NEXT: G_PTRTOINT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
118 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
119 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
120 #
121 # DEBUG-NEXT: G_INTTOPTR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
122 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
123 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
124 #
125 # DEBUG-NEXT: G_BITCAST (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
126 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
127 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
128 #
129 # DEBUG-NEXT: G_FREEZE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
130 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
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 #
134 # DEBUG-NEXT: G_INTRINSIC_TRUNC (opcode {{[0-9]+}}): 1 type index, 0 imm indices
135 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
136 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
137 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
138 # DEBUG-NEXT: G_INTRINSIC_ROUND (opcode {{[0-9]+}}): 1 type index, 0 imm indices
139 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
140 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
141 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
142 # DEBUG-NEXT: G_INTRINSIC_LRINT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
143 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
144 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
145 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
146 # DEBUG-NEXT: G_INTRINSIC_ROUNDEVEN (opcode {{[0-9]+}}): 1 type index, 0 imm indices
147 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
148 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
150 # DEBUG-NEXT: G_READCYCLECOUNTER (opcode {{[0-9]+}}): 1 type index, 0 imm indices
151 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
152 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
154 # DEBUG-NEXT: G_LOAD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
155 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
156 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
157 # DEBUG-NEXT: G_SEXTLOAD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
158 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
159 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
160 # DEBUG-NEXT: G_ZEXTLOAD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
161 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
162 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
163 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
164 # DEBUG-NEXT: G_INDEXED_LOAD (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
165 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
166 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
167 # DEBUG-NEXT: G_INDEXED_SEXTLOAD (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
168 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
169 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
170 # DEBUG-NEXT: G_INDEXED_ZEXTLOAD (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
171 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
172 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
173 # DEBUG-NEXT: G_STORE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
174 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
175 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
176 # DEBUG-NEXT: G_INDEXED_STORE (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
177 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
178 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
179 # DEBUG-NEXT: G_ATOMIC_CMPXCHG_WITH_SUCCESS (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
180 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
181 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
182 # DEBUG-NEXT: G_ATOMIC_CMPXCHG (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
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_XCHG (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
186 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
187 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
188 # DEBUG-NEXT: G_ATOMICRMW_ADD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
189 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
190 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
191 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
192 # DEBUG-NEXT: G_ATOMICRMW_SUB (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
193 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
194 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
195 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
196 # DEBUG-NEXT: G_ATOMICRMW_AND (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
197 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
198 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
199 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
200 # DEBUG-NEXT: G_ATOMICRMW_NAND (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
201 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
202 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
203 # DEBUG-NEXT: G_ATOMICRMW_OR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
204 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
205 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
206 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
207 # DEBUG-NEXT: G_ATOMICRMW_XOR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
208 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
209 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
210 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
211 # DEBUG-NEXT: G_ATOMICRMW_MAX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
212 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
213 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
214 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
215 # DEBUG-NEXT: G_ATOMICRMW_MIN (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
216 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
217 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
218 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
219 # DEBUG-NEXT: G_ATOMICRMW_UMAX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
220 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
221 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
222 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
223 # DEBUG-NEXT: G_ATOMICRMW_UMIN (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
224 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
225 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
226 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
227 # DEBUG-NEXT: G_ATOMICRMW_FADD (opcode {{[0-9]+}}): 2 type indices
228 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
229 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
230 # DEBUG-NEXT: G_ATOMICRMW_FSUB (opcode {{[0-9]+}}): 2 type indices
231 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
232 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
233 # DEBUG-NEXT: G_FENCE (opcode {{[0-9]+}}): 0 type indices
234 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
235 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
236 # DEBUG-NEXT: G_BRCOND (opcode {{[0-9]+}}): 1 type index, 0 imm indices
237 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
238 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
239 # DEBUG-NEXT: G_BRINDIRECT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
240 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
241 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
242 # DEBUG-NEXT: G_INTRINSIC (opcode {{[0-9]+}}): 0 type indices, 0 imm indices
243 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
244 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
245 # DEBUG-NEXT: G_INTRINSIC_W_SIDE_EFFECTS (opcode {{[0-9]+}}): 0 type indices, 0 imm indices
246 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
247 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
248 # DEBUG-NEXT: G_ANYEXT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
249 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
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_TRUNC (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
253 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
254 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
255 # DEBUG-NEXT: G_CONSTANT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
256 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
257 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
258 # DEBUG-NEXT: G_FCONSTANT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
259 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
260 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
261 # DEBUG-NEXT: G_VASTART (opcode {{[0-9]+}}): 1 type index, 0 imm indices
262 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
263 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
264 # DEBUG-NEXT: G_VAARG (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
265 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
266 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
267 # DEBUG-NEXT: G_SEXT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
268 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
269 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
270 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
271 # DEBUG-NEXT: G_SEXT_INREG (opcode {{[0-9]+}}): 1 type index, 1 imm index
272 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
273 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
274 # DEBUG-NEXT: G_ZEXT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
275 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
276 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
277 # DEBUG-NEXT: G_SHL (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
278 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
279 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
280 # DEBUG-NEXT: G_LSHR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
281 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
282 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
283 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
284 # DEBUG-NEXT: G_ASHR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
285 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
286 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
287 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
288 # DEBUG-NEXT: G_FSHL (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
289 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
290 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
291 # DEBUG-NEXT: G_FSHR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
292 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
293 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
294 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
295 # DEBUG-NEXT: G_ROTR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
296 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
297 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
298 # DEBUG-NEXT: G_ROTL (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
299 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
300 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
301 # DEBUG-NEXT: G_ICMP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
302 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
303 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
304 # DEBUG-NEXT: G_FCMP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
305 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
306 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
307 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
308 # DEBUG-NEXT: G_SELECT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
309 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
310 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
311 # DEBUG-NEXT: G_UADDO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
312 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
313 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
314 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
315 # DEBUG-NEXT: G_UADDE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
316 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
317 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
318 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
319 # DEBUG-NEXT: G_USUBO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
320 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
321 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
322 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
323 # DEBUG-NEXT: G_USUBE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
324 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
325 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
326 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
327 # DEBUG-NEXT: G_SADDO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
328 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
329 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
330 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
331 # DEBUG-NEXT: G_SADDE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
332 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
333 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
334 # DEBUG-NEXT: G_SSUBO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
335 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
336 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
337 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
338 # DEBUG-NEXT: G_SSUBE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
339 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
340 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
341 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
342 # DEBUG-NEXT: G_UMULO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
343 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
344 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
345 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
346 # DEBUG-NEXT: G_SMULO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
347 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
348 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
349 # DEBUG-NEXT: G_UMULH (opcode {{[0-9]+}}): 1 type index, 0 imm indices
350 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
351 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
352 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
353 # DEBUG-NEXT: G_SMULH (opcode {{[0-9]+}}): 1 type index, 0 imm indices
354 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
355 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
356 # DEBUG-NEXT: G_UADDSAT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
357 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
358 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
359 # DEBUG-NEXT: G_SADDSAT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
360 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
361 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
362 # DEBUG-NEXT: G_USUBSAT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
363 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
364 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
365 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
366 # DEBUG-NEXT: G_SSUBSAT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
367 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
368 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
369 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
370 # DEBUG-NEXT: G_USHLSAT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
371 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
372 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
373 # DEBUG-NEXT: G_SSHLSAT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
374 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
375 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
376 # DEBUG-NEXT: G_SMULFIX (opcode {{[0-9]+}}): 1 type index, 1 imm index
377 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
378 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
379 # DEBUG-NEXT: G_UMULFIX (opcode {{[0-9]+}}): 1 type index, 1 imm index
380 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
381 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
382 # DEBUG-NEXT: G_SMULFIXSAT (opcode {{[0-9]+}}): 1 type index, 1 imm index
383 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
384 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
385 # DEBUG-NEXT: G_UMULFIXSAT (opcode {{[0-9]+}}): 1 type index, 1 imm index
386 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
387 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
388 # DEBUG-NEXT: G_SDIVFIX (opcode {{[0-9]+}}): 1 type index, 1 imm index
389 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
390 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
391 # DEBUG-NEXT: G_UDIVFIX (opcode {{[0-9]+}}): 1 type index, 1 imm index
392 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
393 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
394 # DEBUG-NEXT: G_SDIVFIXSAT (opcode {{[0-9]+}}): 1 type index, 1 imm index
395 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
396 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
397 # DEBUG-NEXT: G_UDIVFIXSAT (opcode {{[0-9]+}}): 1 type index, 1 imm index
398 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
399 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
400 # DEBUG-NEXT: G_FADD (opcode {{[0-9]+}}): 1 type index, 0 imm indices
401 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
402 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
403 # DEBUG-NEXT: G_FSUB (opcode {{[0-9]+}}): 1 type index, 0 imm indices
404 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
405 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
406 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
407 # DEBUG-NEXT: G_FMUL (opcode {{[0-9]+}}): 1 type index, 0 imm indices
408 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
409 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
410 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
411 # DEBUG-NEXT: G_FMA (opcode {{[0-9]+}}): 1 type index, 0 imm indices
412 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
413 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
414 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
415 # DEBUG-NEXT: G_FMAD (opcode {{[0-9]+}}): 1 type index, 0 imm indices
416 # DEBUG-NEXT:.. type index coverage check SKIPPED: no rules defined
417 # DEBUG-NEXT:.. imm index coverage check SKIPPED: no rules defined
418 # DEBUG-NEXT: G_FDIV (opcode {{[0-9]+}}): 1 type index, 0 imm indices
419 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
420 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
421 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
422 # DEBUG-NEXT: G_FREM (opcode {{[0-9]+}}): 1 type index, 0 imm indices
423 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
424 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
425 # DEBUG-NEXT: G_FPOW (opcode {{[0-9]+}}): 1 type index, 0 imm indices
426 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
427 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
428 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
429 # DEBUG-NEXT: G_FPOWI (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
430 # DEBUG-NEXT:.. type index coverage check SKIPPED: no rules defined
431 # DEBUG-NEXT:.. imm index coverage check SKIPPED: no rules defined
432 # DEBUG-NEXT: G_FEXP (opcode {{[0-9]+}}): 1 type index, 0 imm indices
433 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
434 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
435 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
436 # DEBUG-NEXT: G_FEXP2 (opcode {{[0-9]+}}): 1 type index, 0 imm indices
437 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
438 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
439 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
440 # DEBUG-NEXT: G_FLOG (opcode {{[0-9]+}}): 1 type index, 0 imm indices
441 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
442 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
443 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
444 # DEBUG-NEXT: G_FLOG2 (opcode {{[0-9]+}}): 1 type index, 0 imm indices
445 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
446 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
447 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
448 # DEBUG-NEXT: G_FLOG10 (opcode {{[0-9]+}}): 1 type index, 0 imm indices
449 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
450 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
451 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
452 # DEBUG-NEXT: G_FNEG (opcode {{[0-9]+}}): 1 type index, 0 imm indices
453 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
454 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
455 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
456 # DEBUG-NEXT: G_FPEXT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
457 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
458 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
459 # DEBUG-NEXT: G_FPTRUNC (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
460 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
461 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
462 # DEBUG-NEXT: G_FPTOSI (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
463 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
464 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
465 # DEBUG-NEXT: G_FPTOUI (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
466 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
467 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
468 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
469 # DEBUG-NEXT: G_SITOFP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
470 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
471 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
472 # DEBUG-NEXT: G_UITOFP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
473 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
474 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
475 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
476 # DEBUG-NEXT: G_FABS (opcode {{[0-9]+}}): 1 type index, 0 imm indices
477 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
478 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
479 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
480 # DEBUG-NEXT: G_FCOPYSIGN (opcode {{[0-9]+}}): 2 type indices
481 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
482 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
483 # DEBUG-NEXT: G_FCANONICALIZE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
484 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
485 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
486 # DEBUG-NEXT: G_FMINNUM (opcode {{[0-9]+}}): 1 type index
487 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
488 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
489 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
490 # DEBUG-NEXT: G_FMAXNUM (opcode {{[0-9]+}}): 1 type index
491 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
492 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
493 # DEBUG-NEXT: G_FMINNUM_IEEE (opcode {{[0-9]+}}): 1 type index
494 # DEBUG: .. type index coverage check SKIPPED: no rules defined
495 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
496 # DEBUG-NEXT: G_FMAXNUM_IEEE (opcode {{[0-9]+}}): 1 type index
497 # DEBUG: .. type index coverage check SKIPPED: no rules defined
498 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
499 # DEBUG-NEXT: G_FMINIMUM (opcode {{[0-9]+}}): 1 type index
500 # DEBUG: .. type index coverage check SKIPPED: no rules defined
501 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
502 # DEBUG-NEXT: G_FMAXIMUM (opcode {{[0-9]+}}): 1 type index
503 # DEBUG: .. type index coverage check SKIPPED: no rules defined
504 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
505 # DEBUG-NEXT: G_PTR_ADD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
506 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
507 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
508 # DEBUG-NEXT: G_PTRMASK (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
509 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
510 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
511 # DEBUG: G_SMIN (opcode {{[0-9]+}}): 1 type index
512 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
513 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
514 # DEBUG: G_SMAX (opcode {{[0-9]+}}): 1 type index
515 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
516 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
517 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
518 # DEBUG: G_UMIN (opcode {{[0-9]+}}): 1 type index
519 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
520 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
521 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
522 # DEBUG: G_UMAX (opcode {{[0-9]+}}): 1 type index
523 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
524 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
525 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
526 # DEBUG-NEXT: G_ABS (opcode {{[0-9]+}}): 1 type index, 0 imm indices
527 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
528 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
529 # DEBUG-NEXT: G_LROUND (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
530 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
531 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
532 # DEBUG-NEXT: G_LLROUND (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
533 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
534 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
535 # DEBUG-NEXT: G_BR (opcode {{[0-9]+}}): 0 type indices, 0 imm indices
536 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
537 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
538 # DEBUG-NEXT: G_BRJT (opcode {{[0-9]+}}): 2 type indices
539 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
540 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
541 # DEBUG-NEXT: G_INSERT_VECTOR_ELT (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
542 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
543 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
544 # DEBUG-NEXT: G_EXTRACT_VECTOR_ELT (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
545 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
546 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
547 # DEBUG-NEXT: G_SHUFFLE_VECTOR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
548 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
549 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
550 # DEBUG-NEXT: G_CTTZ (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
551 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
552 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
553 # DEBUG-NEXT: G_CTTZ_ZERO_UNDEF (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
554 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
555 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
556 # DEBUG-NEXT: G_CTLZ (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
557 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
558 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
559 # DEBUG-NEXT: G_CTLZ_ZERO_UNDEF (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
560 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
561 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
562 # DEBUG-NEXT: G_CTPOP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
563 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
564 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
565 # DEBUG-NEXT: G_BSWAP (opcode {{[0-9]+}}): 1 type index, 0 imm indices
566 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
567 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
568 # DEBUG-NEXT: G_BITREVERSE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
569 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
570 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
571 # DEBUG-NEXT: G_FCEIL (opcode {{[0-9]+}}): 1 type index, 0 imm indices
572 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
573 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
574 # DEBUG-NEXT: G_FCOS (opcode {{[0-9]+}}): 1 type index, 0 imm indices
575 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
576 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
577 # DEBUG-NEXT: G_FSIN (opcode {{[0-9]+}}): 1 type index, 0 imm indices
578 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
579 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
580 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
581 # DEBUG-NEXT: G_FSQRT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
582 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
583 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
584 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
585 # DEBUG-NEXT: G_FFLOOR (opcode {{[0-9]+}}): 1 type index, 0 imm indices
586 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
587 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
588 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
589 # DEBUG-NEXT: G_FRINT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
590 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
591 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
592 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
593 # DEBUG-NEXT: G_FNEARBYINT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
594 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
595 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
596 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
597 # DEBUG-NEXT: G_ADDRSPACE_CAST (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
598 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
599 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
600 # DEBUG-NEXT: G_BLOCK_ADDR (opcode {{[0-9]+}}): 1 type index, 0 imm indices
601 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
602 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
603 # DEBUG-NEXT: G_JUMP_TABLE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
604 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
605 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
606 # DEBUG-NEXT: G_DYN_STACKALLOC (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
607 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
608 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
609 # DEBUG-NEXT: G_STRICT_FADD (opcode {{[0-9]+}}): 1 type index, 0 imm indices
610 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
611 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
612 # DEBUG-NEXT: G_STRICT_FSUB (opcode {{[0-9]+}}): 1 type index, 0 imm indices
613 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
614 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
615 # DEBUG-NEXT: G_STRICT_FMUL (opcode {{[0-9]+}}): 1 type index, 0 imm indices
616 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
617 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
618 # DEBUG-NEXT: G_STRICT_FDIV (opcode {{[0-9]+}}): 1 type index, 0 imm indices
619 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
620 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
621 # DEBUG-NEXT: G_STRICT_FREM (opcode {{[0-9]+}}): 1 type index, 0 imm indices
622 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
623 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
624 # DEBUG-NEXT: G_STRICT_FMA (opcode {{[0-9]+}}): 1 type index, 0 imm indices
625 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
626 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
627 # DEBUG-NEXT: G_STRICT_FSQRT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
628 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
629 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
630 # DEBUG-NEXT: G_READ_REGISTER (opcode {{[0-9]+}}): 1 type index, 0 imm indices
631 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
632 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
633 # DEBUG-NEXT: G_WRITE_REGISTER (opcode {{[0-9]+}}): 1 type index, 0 imm indices
634 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
635 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
636 # DEBUG-NEXT: G_MEMCPY (opcode {{[0-9]+}}): 3 type indices, 1 imm index
637 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
638 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
639 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
640 # DEBUG-NEXT: G_MEMCPY_INLINE (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
641 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
642 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
643 # DEBUG-NEXT: G_MEMMOVE (opcode {{[0-9]+}}): 3 type indices, 1 imm index
644 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
645 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
646 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
647 # DEBUG-NEXT: G_MEMSET (opcode {{[0-9]+}}): 3 type indices, 1 imm index
648 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
649 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
650 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
651 # DEBUG-NEXT: G_BZERO (opcode {{[0-9]+}}): 2 type indices, 1 imm index
652 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
653 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
654 # DEBUG-NEXT: G_VECREDUCE_SEQ_FADD (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
655 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
656 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
657 # DEBUG-NEXT: G_VECREDUCE_SEQ_FMUL (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
658 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
659 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
660 # DEBUG-NEXT: G_VECREDUCE_FADD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
661 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
662 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
663 # DEBUG-NEXT: G_VECREDUCE_FMUL (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
664 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
665 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
666 # DEBUG-NEXT: G_VECREDUCE_FMAX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
667 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
668 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
669 # DEBUG-NEXT: G_VECREDUCE_FMIN (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
670 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
671 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
672 # DEBUG-NEXT: G_VECREDUCE_ADD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
673 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
674 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
675 # DEBUG-NEXT: G_VECREDUCE_MUL (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
676 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
677 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
678 # DEBUG-NEXT: G_VECREDUCE_AND (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
679 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
680 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
681 # DEBUG-NEXT: G_VECREDUCE_OR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
682 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
683 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
684 # DEBUG-NEXT: G_VECREDUCE_XOR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
685 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
686 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
687 # DEBUG-NEXT: G_VECREDUCE_SMAX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
688 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
689 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
690 # DEBUG-NEXT: G_VECREDUCE_SMIN (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
691 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
692 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
693 # DEBUG-NEXT: G_VECREDUCE_UMAX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
694 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
695 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
696 # DEBUG-NEXT: G_VECREDUCE_UMIN (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
697 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
698 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
699 # DEBUG-NEXT: G_SBFX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
700 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
701 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
702 # DEBUG-NEXT: G_UBFX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
703 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
704 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
705 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
706 # CHECK-NOT: ill-defined
708 ---
709 name: dummy
710 body: |
711 bb.0:
712 ...