| blob | bd3f36d1ba919ae3989366861fe2245de63512a4 |
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
17 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
18 #
19 # DEBUG-NEXT: G_SUB (opcode [[SUB_OPC:[0-9]+]]): 1 type index
20 # DEBUG-NEXT: .. opcode [[SUB_OPC]] is aliased to [[ADD_OPC]]
21 # DEBUG-NEXT: .. opcode [[ADD_OPC]] is aliased to 0
22 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
23 #
24 # DEBUG-NEXT: G_MUL (opcode {{[0-9]+}}): 1 type index
25 # DEBUG: .. the first uncovered type index: 1, OK
26 #
27 # DEBUG-NEXT: G_SDIV (opcode {{[0-9]+}}): 1 type index
28 # DEBUG: .. the first uncovered type index: 1, OK
29 #
30 # DEBUG-NEXT: G_UDIV (opcode {{[0-9]+}}): 1 type index
31 # DEBUG: .. the first uncovered type index: 1, OK
32 #
33 # DEBUG-NEXT: G_SREM (opcode {{[0-9]+}}): 1 type index
34 # DEBUG: .. the first uncovered type index: 1, OK
35 #
36 # DEBUG-NEXT: G_UREM (opcode {{[0-9]+}}): 1 type index
37 # DEBUG: .. the first uncovered type index: 1, OK
38 #
39 # DEBUG-NEXT: G_AND (opcode {{[0-9]+}}): 1 type index
40 # DEBUG: .. the first uncovered type index: 1, OK
41 #
42 # DEBUG-NEXT: G_OR (opcode {{[0-9]+}}): 1 type index
43 # DEBUG: .. the first uncovered type index: 1, OK
44 #
45 # DEBUG-NEXT: G_XOR (opcode {{[0-9]+}}): 1 type index
46 # DEBUG: .. the first uncovered type index: 1, OK
47 #
48 # DEBUG-NEXT: G_IMPLICIT_DEF (opcode {{[0-9]+}}): 1 type index
49 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
50 #
51 # DEBUG-NEXT: G_PHI (opcode {{[0-9]+}}): 1 type index
52 # DEBUG: .. the first uncovered type index: 1, OK
53 #
54 # DEBUG-NEXT: G_FRAME_INDEX (opcode {{[0-9]+}}): 1 type index
55 # DEBUG: .. the first uncovered type index: 1, OK
56 #
57 # DEBUG-NEXT: G_GLOBAL_VALUE (opcode {{[0-9]+}}): 1 type index
58 # DEBUG: .. the first uncovered type index: 1, OK
59 #
60 # DEBUG-NEXT: G_EXTRACT (opcode {{[0-9]+}}): 2 type indices
61 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
62 #
63 # DEBUG-NEXT: G_UNMERGE_VALUES (opcode {{[0-9]+}}): 2 type indices
64 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
65 #
66 # DEBUG-NEXT: G_INSERT (opcode {{[0-9]+}}): 2 type indices
67 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
68 #
69 # DEBUG-NEXT: G_MERGE_VALUES (opcode {{[0-9]+}}): 2 type indices
70 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
71 #
72 # DEBUG-NEXT: G_BUILD_VECTOR (opcode {{[0-9]+}}): 2 type indices
73 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
74 #
75 # DEBUG-NEXT: G_BUILD_VECTOR_TRUNC (opcode {{[0-9]+}}): 2 type indices
76 # DEBUG: .. type index coverage check SKIPPED: no rules defined
77 #
78 # DEBUG-NEXT: G_CONCAT_VECTORS (opcode {{[0-9]+}}): 2 type indices
79 # DEBUG: .. the first uncovered type index: 2, OK
80 #
81 # DEBUG-NEXT: G_PTRTOINT (opcode {{[0-9]+}}): 2 type indices
82 # DEBUG: .. the first uncovered type index: 2, OK
83 #
84 # DEBUG-NEXT: G_INTTOPTR (opcode {{[0-9]+}}): 2 type indices
85 # DEBUG: .. the first uncovered type index: 2, OK
86 #
87 # DEBUG-NEXT: G_BITCAST (opcode {{[0-9]+}}): 2 type indices
88 # DEBUG: .. the first uncovered type index: 2, OK
89 #
90 # DEBUG-NEXT: G_INTRINSIC_TRUNC (opcode {{[0-9]+}}): 1 type index
91 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
92 #
93 # DEBUG-NEXT: G_INTRINSIC_ROUND (opcode {{[0-9]+}}): 1 type index
94 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
95 #
96 # DEBUG-NEXT: G_LOAD (opcode {{[0-9]+}}): 2 type indices
97 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
98 #
99 # DEBUG-NEXT: G_SEXTLOAD (opcode {{[0-9]+}}): 2 type indices
100 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
101 #
102 # DEBUG-NEXT: G_ZEXTLOAD (opcode {{[0-9]+}}): 2 type indices
103 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
104 #
105 # DEBUG-NEXT: G_STORE (opcode {{[0-9]+}}): 2 type indices
106 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
107 #
108 # DEBUG-NEXT: G_ATOMIC_CMPXCHG_WITH_SUCCESS (opcode {{[0-9]+}}): 3 type indices
109 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
110 #
111 # DEBUG-NEXT: G_ATOMIC_CMPXCHG (opcode {{[0-9]+}}): 2 type indices
112 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
113 #
114 # DEBUG-NEXT: G_ATOMICRMW_XCHG (opcode {{[0-9]+}}): 2 type indices
115 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
116 #
117 # DEBUG-NEXT: G_ATOMICRMW_ADD (opcode {{[0-9]+}}): 2 type indices
118 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
119 #
120 # DEBUG-NEXT: G_ATOMICRMW_SUB (opcode {{[0-9]+}}): 2 type indices
121 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
122 #
123 # DEBUG-NEXT: G_ATOMICRMW_AND (opcode {{[0-9]+}}): 2 type indices
124 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
125 #
126 # DEBUG-NEXT: G_ATOMICRMW_NAND (opcode {{[0-9]+}}): 2 type indices
127 # DEBUG: .. type index coverage check SKIPPED: no rules defined
128 #
129 # DEBUG-NEXT: G_ATOMICRMW_OR (opcode {{[0-9]+}}): 2 type indices
130 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
131 #
132 # DEBUG-NEXT: G_ATOMICRMW_XOR (opcode {{[0-9]+}}): 2 type indices
133 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
134 #
135 # DEBUG-NEXT: G_ATOMICRMW_MAX (opcode {{[0-9]+}}): 2 type indices
136 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
137 #
138 # DEBUG-NEXT: G_ATOMICRMW_MIN (opcode {{[0-9]+}}): 2 type indices
139 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
140 #
141 # DEBUG-NEXT: G_ATOMICRMW_UMAX (opcode {{[0-9]+}}): 2 type indices
142 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
143 #
144 # DEBUG-NEXT: G_ATOMICRMW_UMIN (opcode {{[0-9]+}}): 2 type indices
145 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
146 #
147 # DEBUG-NEXT: G_ATOMICRMW_FADD (opcode {{[0-9]+}}): 2 type indices
148 # DEBUG: .. type index coverage check SKIPPED: no rules defined
149 #
150 # DEBUG-NEXT: G_ATOMICRMW_FSUB (opcode {{[0-9]+}}): 2 type indices
151 # DEBUG: .. type index coverage check SKIPPED: no rules defined
152 #
153 # DEBUG-NEXT: G_FENCE (opcode {{[0-9]+}}): 0 type indices
154 # DEBUG: .. type index coverage check SKIPPED: no rules defined
155 #
156 # DEBUG-NEXT: G_BRCOND (opcode {{[0-9]+}}): 1 type index
157 # DEBUG: .. the first uncovered type index: 1, OK
158 #
159 # DEBUG-NEXT: G_BRINDIRECT (opcode {{[0-9]+}}): 1 type index
160 # DEBUG: .. the first uncovered type index: 1, OK
161 #
162 # DEBUG-NEXT: G_INTRINSIC (opcode {{[0-9]+}}): 0 type indices
163 # DEBUG: .. type index coverage check SKIPPED: no rules defined
164 #
165 # DEBUG-NEXT: G_INTRINSIC_W_SIDE_EFFECTS (opcode {{[0-9]+}}): 0 type indices
166 # DEBUG: .. type index coverage check SKIPPED: no rules defined
167 #
168 # DEBUG-NEXT: G_ANYEXT (opcode {{[0-9]+}}): 2 type indices
169 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
170 #
171 # DEBUG-NEXT: G_TRUNC (opcode {{[0-9]+}}): 2 type indices
172 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
173 #
174 # DEBUG-NEXT: G_CONSTANT (opcode {{[0-9]+}}): 1 type index
175 # DEBUG: .. the first uncovered type index: 1, OK
176 #
177 # DEBUG-NEXT: G_FCONSTANT (opcode {{[0-9]+}}): 1 type index
178 # DEBUG: .. the first uncovered type index: 1, OK
179 #
180 # DEBUG-NEXT: G_VASTART (opcode {{[0-9]+}}): 1 type index
181 # DEBUG: .. the first uncovered type index: 1, OK
182 #
183 # DEBUG-NEXT: G_VAARG (opcode {{[0-9]+}}): 2 type indices
184 # DEBUG: .. the first uncovered type index: 2, OK
185 #
186 # DEBUG-NEXT: G_SEXT (opcode {{[0-9]+}}): 2 type indices
187 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
188 #
189 # DEBUG-NEXT: G_ZEXT (opcode {{[0-9]+}}): 2 type indices
190 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
191 #
192 # DEBUG-NEXT: G_SHL (opcode {{[0-9]+}}): 2 type indices
193 # DEBUG:.. type index coverage check SKIPPED: user-defined predicate detected
194 #
195 # DEBUG-NEXT: G_LSHR (opcode {{[0-9]+}}): 2 type indices
196 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
197 #
198 # DEBUG-NEXT: G_ASHR (opcode {{[0-9]+}}): 2 type indices
199 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
200 #
201 # DEBUG-NEXT: G_ICMP (opcode {{[0-9]+}}): 2 type indices
202 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
203 #
204 # DEBUG-NEXT: G_FCMP (opcode {{[0-9]+}}): 2 type indices
205 # DEBUG: .. the first uncovered type index: 2, OK
206 #
207 # DEBUG-NEXT: G_SELECT (opcode {{[0-9]+}}): 2 type indices
208 # DEBUG: .. the first uncovered type index: 2, OK
209 #
210 # DEBUG-NEXT: G_UADDO (opcode {{[0-9]+}}): 2 type indices
211 # DEBUG: .. the first uncovered type index: 2, OK
212 #
213 # DEBUG-NEXT: G_UADDE (opcode {{[0-9]+}}): 2 type indices
214 # DEBUG: .. the first uncovered type index: 2, OK
215 #
216 # DEBUG-NEXT: G_USUBO (opcode {{[0-9]+}}): 2 type indices
217 # DEBUG: .. type index coverage check SKIPPED: no rules defined
218 #
219 # DEBUG-NEXT: G_USUBE (opcode {{[0-9]+}}): 2 type indices
220 # DEBUG: .. the first uncovered type index: 2, OK
221 #
222 # DEBUG-NEXT: G_SADDO (opcode {{[0-9]+}}): 2 type indices
223 # DEBUG: .. the first uncovered type index: 2, OK
224 #
225 # DEBUG-NEXT: G_SADDE (opcode {{[0-9]+}}): 2 type indices
226 # DEBUG: .. type index coverage check SKIPPED: no rules defined
227 #
228 # DEBUG-NEXT: G_SSUBO (opcode {{[0-9]+}}): 2 type indices
229 # DEBUG: .. the first uncovered type index: 2, OK
230 #
231 # DEBUG-NEXT: G_SSUBE (opcode {{[0-9]+}}): 2 type indices
232 # DEBUG: .. type index coverage check SKIPPED: no rules defined
233 #
234 # DEBUG-NEXT: G_UMULO (opcode {{[0-9]+}}): 2 type indices
235 # DEBUG: .. the first uncovered type index: 2, OK
236 #
237 # DEBUG-NEXT: G_SMULO (opcode {{[0-9]+}}): 2 type indices
238 # DEBUG: .. the first uncovered type index: 2, OK
239 #
240 # DEBUG-NEXT: G_UMULH (opcode {{[0-9]+}}): 1 type index
241 # DEBUG: .. the first uncovered type index: 1, OK
242 #
243 # DEBUG-NEXT: G_SMULH (opcode {{[0-9]+}}): 1 type index
244 # DEBUG: .. the first uncovered type index: 1, OK
245 #
246 # DEBUG-NEXT: G_FADD (opcode {{[0-9]+}}): 1 type index
247 # DEBUG: .. the first uncovered type index: 1, OK
248 #
249 # DEBUG-NEXT: G_FSUB (opcode {{[0-9]+}}): 1 type index
250 # DEBUG: .. the first uncovered type index: 1, OK
251 #
252 # DEBUG-NEXT: G_FMUL (opcode {{[0-9]+}}): 1 type index
253 # DEBUG: .. the first uncovered type index: 1, OK
254 #
255 # DEBUG-NEXT: G_FMA (opcode {{[0-9]+}}): 1 type index
256 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
257 #
258 # DEBUG-NEXT: G_FDIV (opcode {{[0-9]+}}): 1 type index
259 # DEBUG: .. the first uncovered type index: 1, OK
260 #
261 # DEBUG-NEXT: G_FREM (opcode {{[0-9]+}}): 1 type index
262 # DEBUG: .. the first uncovered type index: 1, OK
263 #
264 # DEBUG-NEXT: G_FPOW (opcode {{[0-9]+}}): 1 type index
265 # DEBUG: .. the first uncovered type index: 1, OK
266 #
267 # DEBUG-NEXT: G_FEXP (opcode {{[0-9]+}}): 1 type index
268 # DEBUG: .. the first uncovered type index: 1, OK
269 #
270 # DEBUG-NEXT: G_FEXP2 (opcode {{[0-9]+}}): 1 type index
271 # DEBUG: .. the first uncovered type index: 1, OK
272 #
273 # DEBUG-NEXT: G_FLOG (opcode {{[0-9]+}}): 1 type index
274 # DEBUG: .. the first uncovered type index: 1, OK
275 #
276 # DEBUG-NEXT: G_FLOG2 (opcode {{[0-9]+}}): 1 type index
277 # DEBUG: .. the first uncovered type index: 1, OK
278 #
279 # DEBUG-NEXT: G_FLOG10 (opcode {{[0-9]+}}): 1 type index
280 # DEBUG: .. the first uncovered type index: 1, OK
281 #
282 # DEBUG-NEXT: G_FNEG (opcode {{[0-9]+}}): 1 type index
283 # DEBUG: .. the first uncovered type index: 1, OK
284 #
285 # DEBUG-NEXT: G_FPEXT (opcode {{[0-9]+}}): 2 type indices
286 # DEBUG: .. the first uncovered type index: 2, OK
287 #
288 # DEBUG-NEXT: G_FPTRUNC (opcode {{[0-9]+}}): 2 type indices
289 # DEBUG: .. the first uncovered type index: 2, OK
290 #
291 # DEBUG-NEXT: G_FPTOSI (opcode {{[0-9]+}}): 2 type indices
292 # DEBUG: .. the first uncovered type index: 2, OK
293 #
294 # DEBUG-NEXT: G_FPTOUI (opcode {{[0-9]+}}): 2 type indices
295 # DEBUG: .. the first uncovered type index: 2, OK
296 #
297 # DEBUG-NEXT: G_SITOFP (opcode {{[0-9]+}}): 2 type indices
298 # DEBUG: .. the first uncovered type index: 2, OK
299 #
300 # DEBUG-NEXT: G_UITOFP (opcode {{[0-9]+}}): 2 type indices
301 # DEBUG: .. the first uncovered type index: 2, OK
302 #
303 # DEBUG-NEXT: G_FABS (opcode {{[0-9]+}}): 1 type index
304 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
305 #
306 # DEBUG-NEXT: G_FCOPYSIGN (opcode {{[0-9]+}}): 2 type indices
307 # DEBUG: .. type index coverage check SKIPPED: no rules defined
308 #
309 # DEBUG-NEXT: G_FCANONICALIZE (opcode {{[0-9]+}}): 1 type index
310 # DEBUG: .. type index coverage check SKIPPED: no rules defined
311 #
312 # DEBUG-NEXT: G_FMINNUM (opcode {{[0-9]+}}): 1 type index
313 # DEBUG: .. type index coverage check SKIPPED: no rules defined
314 #
315 # DEBUG-NEXT: G_FMAXNUM (opcode {{[0-9]+}}): 1 type index
316 # DEBUG: .. type index coverage check SKIPPED: no rules defined
317 #
318 # DEBUG-NEXT: G_FMINNUM_IEEE (opcode {{[0-9]+}}): 1 type index
319 # DEBUG: .. type index coverage check SKIPPED: no rules defined
320 #
321 # DEBUG-NEXT: G_FMAXNUM_IEEE (opcode {{[0-9]+}}): 1 type index
322 # DEBUG: .. type index coverage check SKIPPED: no rules defined
323 #
324 # DEBUG-NEXT: G_FMINIMUM (opcode {{[0-9]+}}): 1 type index
325 # DEBUG: .. type index coverage check SKIPPED: no rules defined
326 #
327 # DEBUG-NEXT: G_FMAXIMUM (opcode {{[0-9]+}}): 1 type index
328 # DEBUG: .. type index coverage check SKIPPED: no rules defined
329 #
330 # DEBUG-NEXT: G_GEP (opcode {{[0-9]+}}): 2 type indices
331 # DEBUG: .. the first uncovered type index: 2, OK
332 #
333 # DEBUG-NEXT: G_PTR_MASK (opcode {{[0-9]+}}): 1 type index
334 # DEBUG: .. the first uncovered type index: 1, OK
335 #
336 # DEBUG: G_SMIN (opcode {{[0-9]+}}): 1 type index
337 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
338 #
339 # DEBUG: G_SMAX (opcode {{[0-9]+}}): 1 type index
340 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
341 #
342 # DEBUG: G_UMIN (opcode {{[0-9]+}}): 1 type index
343 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
344 #
345 # DEBUG: G_UMAX (opcode {{[0-9]+}}): 1 type index
346 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
347 #
348 # DEBUG-NEXT: G_BR (opcode {{[0-9]+}}): 0 type indices
349 # DEBUG: .. type index coverage check SKIPPED: no rules defined
350 #
351 # DEBUG-NEXT: G_BRJT (opcode {{[0-9]+}}): 2 type indices
352 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
353 #
354 # DEBUG-NEXT: G_INSERT_VECTOR_ELT (opcode {{[0-9]+}}): 3 type indices
355 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
356 #
357 # DEBUG-NEXT: G_EXTRACT_VECTOR_ELT (opcode {{[0-9]+}}): 3 type indices
358 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
359 #
360 # DEBUG-NEXT: G_SHUFFLE_VECTOR (opcode {{[0-9]+}}): 3 type indices
361 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
362 #
363 # DEBUG-NEXT: G_CTTZ (opcode {{[0-9]+}}): 2 type indices
364 # DEBUG: .. type index coverage check SKIPPED: no rules defined
365 #
366 # DEBUG-NEXT: G_CTTZ_ZERO_UNDEF (opcode {{[0-9]+}}): 2 type indices
367 # DEBUG: .. type index coverage check SKIPPED: no rules defined
368 #
369 # DEBUG-NEXT: G_CTLZ (opcode {{[0-9]+}}): 2 type indices
370 # DEBUG: .. the first uncovered type index: 2, OK
371 #
372 # DEBUG-NEXT: G_CTLZ_ZERO_UNDEF (opcode {{[0-9]+}}): 2 type indices
373 # DEBUG: .. type index coverage check SKIPPED: no rules defined
374 #
375 # DEBUG-NEXT: G_CTPOP (opcode {{[0-9]+}}): 2 type indices
376 # DEBUG: .. type index coverage check SKIPPED: no rules defined
377 #
378 # DEBUG-NEXT: G_BSWAP (opcode {{[0-9]+}}): 1 type index
379 # DEBUG: .. the first uncovered type index: 1, OK
380 #
381 # DEBUG-NEXT: G_FCEIL (opcode {{[0-9]+}}): 1 type index
382 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
383 #
384 # DEBUG-NEXT: G_FCOS (opcode {{[0-9]+}}): 1 type index
385 # DEBUG: .. the first uncovered type index: 1, OK
386 #
387 # DEBUG-NEXT: G_FSIN (opcode {{[0-9]+}}): 1 type index
388 # DEBUG: .. the first uncovered type index: 1, OK
389 #
390 # DEBUG-NEXT: G_FSQRT (opcode {{[0-9]+}}): 1 type index
391 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
392 #
393 # DEBUG-NEXT: G_FFLOOR (opcode {{[0-9]+}}): 1 type index
394 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
395 #
396 # DEBUG-NEXT: G_FRINT (opcode {{[0-9]+}}): 1 type index
397 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
398 #
399 # DEBUG-NEXT: G_FNEARBYINT (opcode {{[0-9]+}}): 1 type index
400 # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected
402 # CHECK-NOT: ill-defined
404 ---
405 name: dummy
406 body: |
407 bb.0:
408 ...