1# R UN: llc -mtriple=aarch64-- -run-pass=legalizer %s \
2# R UN:     -mcpu=cortex-a75 -o - 2>&1 | FileCheck %s --check-prefixes=CHECK
3
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
6
7# REQUIRES: asserts
8
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.
14
15
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: .. type index coverage check SKIPPED: user-defined predicate detected
77# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
78#
79# DEBUG-NEXT: G_EXTRACT (opcode {{[0-9]+}}): 2 type indices, 1 imm index
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, 1 imm index
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_FREEZE (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#
124# DEBUG-NEXT: G_INTRINSIC_TRUNC (opcode {{[0-9]+}}): 1 type index, 0 imm indices
125# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
126# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
127# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
128# DEBUG-NEXT: G_INTRINSIC_ROUND (opcode {{[0-9]+}}): 1 type index, 0 imm indices
129# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
130# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
131# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
132# DEBUG-NEXT: G_INTRINSIC_LRINT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
133# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
134# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
135# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
136# DEBUG-NEXT: G_INTRINSIC_ROUNDEVEN (opcode {{[0-9]+}}): 1 type index, 0 imm indices
137# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
138# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
139
140# DEBUG-NEXT: G_READCYCLECOUNTER (opcode {{[0-9]+}}): 1 type index, 0 imm indices
141# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
142# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
143
144# DEBUG-NEXT: G_LOAD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
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_SEXTLOAD (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_ZEXTLOAD (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_INDEXED_LOAD (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
155# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
156# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
157# DEBUG-NEXT: G_INDEXED_SEXTLOAD (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
158# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
159# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
160# DEBUG-NEXT: G_INDEXED_ZEXTLOAD (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
161# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
162# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
163# DEBUG-NEXT: G_STORE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
164# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
165# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
166# DEBUG-NEXT: G_INDEXED_STORE (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
167# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
168# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
169# DEBUG-NEXT: G_ATOMIC_CMPXCHG_WITH_SUCCESS (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
170# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
171# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
172# DEBUG-NEXT: G_ATOMIC_CMPXCHG (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
173# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
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_ATOMICRMW_XCHG (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
177# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
178# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
179# DEBUG-NEXT: G_ATOMICRMW_ADD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
180# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
181# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
182# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
183# DEBUG-NEXT: G_ATOMICRMW_SUB (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
184# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
185# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
186# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
187# DEBUG-NEXT: G_ATOMICRMW_AND (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
188# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
189# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
190# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
191# DEBUG-NEXT: G_ATOMICRMW_NAND (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
192# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
193# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
194# DEBUG-NEXT: G_ATOMICRMW_OR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
195# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
196# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
197# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
198# DEBUG-NEXT: G_ATOMICRMW_XOR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
199# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
200# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
201# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
202# DEBUG-NEXT: G_ATOMICRMW_MAX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
203# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
204# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
205# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
206# DEBUG-NEXT: G_ATOMICRMW_MIN (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
207# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
208# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
209# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
210# DEBUG-NEXT: G_ATOMICRMW_UMAX (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_ATOMICRMW_UMIN (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
215# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
216# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
217# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
218# DEBUG-NEXT: G_ATOMICRMW_FADD (opcode {{[0-9]+}}): 2 type indices
219# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
220# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
221# DEBUG-NEXT: G_ATOMICRMW_FSUB (opcode {{[0-9]+}}): 2 type indices
222# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
223# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
224# DEBUG-NEXT: G_FENCE (opcode {{[0-9]+}}): 0 type indices
225# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
226# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
227# DEBUG-NEXT: G_BRCOND (opcode {{[0-9]+}}): 1 type index, 0 imm indices
228# DEBUG-NEXT: .. the first uncovered type index: 1, OK
229# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
230# DEBUG-NEXT: G_BRINDIRECT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
231# DEBUG-NEXT: .. the first uncovered type index: 1, OK
232# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
233# DEBUG-NEXT: G_INTRINSIC (opcode {{[0-9]+}}): 0 type indices, 0 imm 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_INTRINSIC_W_SIDE_EFFECTS (opcode {{[0-9]+}}): 0 type indices, 0 imm indices
237# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
238# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
239# DEBUG-NEXT: G_ANYEXT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
240# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
241# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
242# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
243# DEBUG-NEXT: G_TRUNC (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
244# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
245# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
246# DEBUG-NEXT: G_CONSTANT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
247# DEBUG-NEXT: .. the first uncovered type index: 1, OK
248# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
249# DEBUG-NEXT: G_FCONSTANT (opcode {{[0-9]+}}): 1 type index, 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_VASTART (opcode {{[0-9]+}}): 1 type index, 0 imm indices
253# DEBUG-NEXT: .. the first uncovered type index: 1, OK
254# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
255# DEBUG-NEXT: G_VAARG (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_SEXT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
259# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
260# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
261# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
262# DEBUG-NEXT: G_SEXT_INREG (opcode {{[0-9]+}}): 1 type index, 1 imm index
263# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
264# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
265# DEBUG-NEXT: G_ZEXT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
266# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
267# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
268# DEBUG-NEXT: G_SHL (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
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_LSHR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
272# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
273# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
274# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
275# DEBUG-NEXT: G_ASHR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
276# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
277# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
278# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
279# DEBUG-NEXT: G_FSHL (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
280# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
281# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
282# DEBUG-NEXT: G_FSHR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
283# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
284# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
285# DEBUG-NEXT: G_ICMP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
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_FCMP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
289# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
290# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
291# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
292# DEBUG-NEXT: G_SELECT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
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_UADDO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
296# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
297# DEBUG-NEXT: .. the first uncovered type index: 2, OK
298# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
299# DEBUG-NEXT: G_UADDE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
300# DEBUG-NEXT: .. the first uncovered type index: 2, OK
301# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
302# DEBUG-NEXT: G_USUBO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
303# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
304# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
305# DEBUG-NEXT: G_USUBE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
306# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
307# DEBUG-NEXT: .. the first uncovered type index: 2, OK
308# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
309# DEBUG-NEXT: G_SADDO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
310# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
311# DEBUG-NEXT: .. the first uncovered type index: 2, OK
312# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
313# DEBUG-NEXT: G_SADDE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
314# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
315# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
316# DEBUG-NEXT: G_SSUBO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
317# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
318# DEBUG-NEXT: .. the first uncovered type index: 2, OK
319# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
320# DEBUG-NEXT: G_SSUBE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
321# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
322# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
323# DEBUG-NEXT: G_UMULO (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_SMULO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
328# DEBUG-NEXT: .. the first uncovered type index: 2, OK
329# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
330# DEBUG-NEXT: G_UMULH (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_SMULH (opcode {{[0-9]+}}): 1 type index, 0 imm indices
335# DEBUG-NEXT: .. the first uncovered type index: 1, OK
336# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
337# DEBUG-NEXT: G_UADDSAT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
338# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
339# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
340# DEBUG-NEXT: G_SADDSAT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
341# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
342# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
343# DEBUG-NEXT: G_USUBSAT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
344# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
345# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
346# DEBUG-NEXT: G_SSUBSAT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
347# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
348# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
349# DEBUG-NEXT: G_USHLSAT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
350# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
351# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
352# DEBUG-NEXT: G_SSHLSAT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
353# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
354# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
355# DEBUG-NEXT: G_SMULFIX (opcode {{[0-9]+}}): 1 type index, 1 imm index
356# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
357# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
358# DEBUG-NEXT: G_UMULFIX (opcode {{[0-9]+}}): 1 type index, 1 imm index
359# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
360# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
361# DEBUG-NEXT: G_SMULFIXSAT (opcode {{[0-9]+}}): 1 type index, 1 imm index
362# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
363# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
364# DEBUG-NEXT: G_UMULFIXSAT (opcode {{[0-9]+}}): 1 type index, 1 imm index
365# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
366# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
367# DEBUG-NEXT: G_SDIVFIX (opcode {{[0-9]+}}): 1 type index, 1 imm index
368# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
369# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
370# DEBUG-NEXT: G_UDIVFIX (opcode {{[0-9]+}}): 1 type index, 1 imm index
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_SDIVFIXSAT (opcode {{[0-9]+}}): 1 type index, 1 imm index
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_UDIVFIXSAT (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_FADD (opcode {{[0-9]+}}): 1 type index, 0 imm indices
380# DEBUG-NEXT: .. the first uncovered type index: 1, OK
381# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
382# DEBUG-NEXT: G_FSUB (opcode {{[0-9]+}}): 1 type index, 0 imm indices
383# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
384# DEBUG-NEXT: .. the first uncovered type index: 1, OK
385# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
386# DEBUG-NEXT: G_FMUL (opcode {{[0-9]+}}): 1 type index, 0 imm indices
387# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
388# DEBUG-NEXT: .. the first uncovered type index: 1, OK
389# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
390# DEBUG-NEXT: G_FMA (opcode {{[0-9]+}}): 1 type index, 0 imm indices
391# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
392# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
393# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
394# DEBUG-NEXT: G_FMAD (opcode {{[0-9]+}}): 1 type index, 0 imm indices
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_FDIV (opcode {{[0-9]+}}): 1 type index, 0 imm indices
398# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
399# DEBUG-NEXT: .. the first uncovered type index: 1, OK
400# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
401# DEBUG-NEXT: G_FREM (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-NEXT: G_FPOW (opcode {{[0-9]+}}): 1 type index, 0 imm indices
405# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
406# DEBUG-NEXT: .. the first uncovered type index: 1, OK
407# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
408# DEBUG-NEXT: G_FPOWI (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
409# DEBUG-NEXT:.. type index coverage check SKIPPED: no rules defined
410# DEBUG-NEXT:.. imm index coverage check SKIPPED: no rules defined
411# DEBUG-NEXT: G_FEXP (opcode {{[0-9]+}}): 1 type index, 0 imm indices
412# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
413# DEBUG-NEXT: .. the first uncovered type index: 1, OK
414# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
415# DEBUG-NEXT: G_FEXP2 (opcode {{[0-9]+}}): 1 type index, 0 imm indices
416# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
417# DEBUG-NEXT: .. the first uncovered type index: 1, OK
418# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
419# DEBUG-NEXT: G_FLOG (opcode {{[0-9]+}}): 1 type index, 0 imm indices
420# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
421# DEBUG-NEXT: .. the first uncovered type index: 1, OK
422# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
423# DEBUG-NEXT: G_FLOG2 (opcode {{[0-9]+}}): 1 type index, 0 imm indices
424# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
425# DEBUG-NEXT: .. the first uncovered type index: 1, OK
426# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
427# DEBUG-NEXT: G_FLOG10 (opcode {{[0-9]+}}): 1 type index, 0 imm indices
428# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
429# DEBUG-NEXT: .. the first uncovered type index: 1, OK
430# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
431# DEBUG-NEXT: G_FNEG (opcode {{[0-9]+}}): 1 type index, 0 imm indices
432# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
433# DEBUG-NEXT: .. the first uncovered type index: 1, OK
434# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
435# DEBUG-NEXT: G_FPEXT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
436# DEBUG-NEXT: .. the first uncovered type index: 2, OK
437# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
438# DEBUG-NEXT: G_FPTRUNC (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
439# DEBUG-NEXT: .. the first uncovered type index: 2, OK
440# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
441# DEBUG-NEXT: G_FPTOSI (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
442# DEBUG-NEXT: .. the first uncovered type index: 2, OK
443# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
444# DEBUG-NEXT: G_FPTOUI (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
445# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
446# DEBUG-NEXT: .. the first uncovered type index: 2, OK
447# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
448# DEBUG-NEXT: G_SITOFP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
449# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
450# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
451# DEBUG-NEXT: G_UITOFP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
452# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
453# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
454# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
455# DEBUG-NEXT: G_FABS (opcode {{[0-9]+}}): 1 type index, 0 imm indices
456# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
457# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
458# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
459# DEBUG-NEXT: G_FCOPYSIGN (opcode {{[0-9]+}}): 2 type indices
460# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
461# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
462# DEBUG-NEXT: G_FCANONICALIZE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
463# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
464# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
465# DEBUG-NEXT: G_FMINNUM (opcode {{[0-9]+}}): 1 type index
466# DEBUG: .. type index coverage check SKIPPED: no rules defined
467# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
468# DEBUG-NEXT: G_FMAXNUM (opcode {{[0-9]+}}): 1 type index
469# DEBUG: .. type index coverage check SKIPPED: no rules defined
470# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
471# DEBUG-NEXT: G_FMINNUM_IEEE (opcode {{[0-9]+}}): 1 type index
472# DEBUG: .. type index coverage check SKIPPED: no rules defined
473# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
474# DEBUG-NEXT: G_FMAXNUM_IEEE (opcode {{[0-9]+}}): 1 type index
475# DEBUG: .. type index coverage check SKIPPED: no rules defined
476# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
477# DEBUG-NEXT: G_FMINIMUM (opcode {{[0-9]+}}): 1 type index
478# DEBUG: .. type index coverage check SKIPPED: no rules defined
479# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
480# DEBUG-NEXT: G_FMAXIMUM (opcode {{[0-9]+}}): 1 type index
481# DEBUG: .. type index coverage check SKIPPED: no rules defined
482# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
483# DEBUG-NEXT: G_PTR_ADD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
484# DEBUG-NEXT: .. the first uncovered type index: 2, OK
485# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
486# DEBUG-NEXT: G_PTRMASK (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
487# DEBUG-NEXT: .. the first uncovered type index: 2, OK
488# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
489# DEBUG: G_SMIN (opcode {{[0-9]+}}): 1 type index
490# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
491# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
492# DEBUG: G_SMAX (opcode {{[0-9]+}}): 1 type index
493# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
494# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
495# DEBUG: G_UMIN (opcode {{[0-9]+}}): 1 type index
496# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
497# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
498# DEBUG: G_UMAX (opcode {{[0-9]+}}): 1 type index
499# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
500# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
501# DEBUG-NEXT: G_ABS (opcode {{[0-9]+}}): 1 type index, 0 imm indices
502# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
503# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
504# DEBUG-NEXT: G_BR (opcode {{[0-9]+}}): 0 type indices, 0 imm indices
505# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
506# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
507# DEBUG-NEXT: G_BRJT (opcode {{[0-9]+}}): 2 type indices
508# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
509# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
510# DEBUG-NEXT: G_INSERT_VECTOR_ELT (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
511# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
512# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
513# DEBUG-NEXT: G_EXTRACT_VECTOR_ELT (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
514# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
515# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
516# DEBUG-NEXT: G_SHUFFLE_VECTOR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
517# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
518# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
519# DEBUG-NEXT: G_CTTZ (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
520# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
521# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
522# DEBUG-NEXT: G_CTTZ_ZERO_UNDEF (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
523# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
524# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
525# DEBUG-NEXT: G_CTLZ (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
526# DEBUG-NEXT: .. the first uncovered type index: 2, OK
527# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
528# DEBUG-NEXT: G_CTLZ_ZERO_UNDEF (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
529# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
530# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
531# DEBUG-NEXT: G_CTPOP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
532# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
533# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
534# DEBUG-NEXT: G_BSWAP (opcode {{[0-9]+}}): 1 type index, 0 imm indices
535# DEBUG-NEXT: .. the first uncovered type index: 1, OK
536# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
537# DEBUG-NEXT: G_BITREVERSE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
538# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
539# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
540# DEBUG-NEXT: G_FCEIL (opcode {{[0-9]+}}): 1 type index, 0 imm indices
541# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
542# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
543# DEBUG-NEXT: G_FCOS (opcode {{[0-9]+}}): 1 type index, 0 imm indices
544# DEBUG-NEXT: .. the first uncovered type index: 1, OK
545# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
546# DEBUG-NEXT: G_FSIN (opcode {{[0-9]+}}): 1 type index, 0 imm indices
547# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
548# DEBUG-NEXT: .. the first uncovered type index: 1, OK
549# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
550# DEBUG-NEXT: G_FSQRT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
551# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
552# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
553# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
554# DEBUG-NEXT: G_FFLOOR (opcode {{[0-9]+}}): 1 type index, 0 imm indices
555# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
556# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
557# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
558# DEBUG-NEXT: G_FRINT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
559# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
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_FNEARBYINT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
563# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
564# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
565# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
566# DEBUG-NEXT: G_ADDRSPACE_CAST (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
567# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
568# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
569# DEBUG-NEXT: G_BLOCK_ADDR (opcode {{[0-9]+}}): 1 type index, 0 imm indices
570# DEBUG-NEXT: .. the first uncovered type index: 1, OK
571# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
572# DEBUG-NEXT: G_JUMP_TABLE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
573# DEBUG-NEXT: .. the first uncovered type index: 1, OK
574# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
575# DEBUG-NEXT: G_DYN_STACKALLOC (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
576# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
577# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
578# DEBUG-NEXT: G_STRICT_FADD (opcode {{[0-9]+}}): 1 type index, 0 imm indices
579# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
580# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
581# DEBUG-NEXT: G_STRICT_FSUB (opcode {{[0-9]+}}): 1 type index, 0 imm indices
582# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
583# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
584# DEBUG-NEXT: G_STRICT_FMUL (opcode {{[0-9]+}}): 1 type index, 0 imm indices
585# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
586# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
587# DEBUG-NEXT: G_STRICT_FDIV (opcode {{[0-9]+}}): 1 type index, 0 imm indices
588# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
589# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
590# DEBUG-NEXT: G_STRICT_FREM (opcode {{[0-9]+}}): 1 type index, 0 imm indices
591# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
592# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
593# DEBUG-NEXT: G_STRICT_FMA (opcode {{[0-9]+}}): 1 type index, 0 imm indices
594# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
595# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
596# DEBUG-NEXT: G_STRICT_FSQRT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
597# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
598# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
599# DEBUG-NEXT: G_READ_REGISTER (opcode {{[0-9]+}}): 1 type index, 0 imm indices
600# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
601# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
602# DEBUG-NEXT: G_WRITE_REGISTER (opcode {{[0-9]+}}): 1 type index, 0 imm indices
603# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
604# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
605# DEBUG-NEXT: G_MEMCPY (opcode {{[0-9]+}}): 3 type indices, 1 imm index
606# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
607# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
608# DEBUG-NEXT: G_MEMMOVE (opcode {{[0-9]+}}): 3 type indices, 1 imm index
609# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
610# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
611# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
612# DEBUG-NEXT: G_MEMSET (opcode {{[0-9]+}}): 3 type indices, 1 imm index
613# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
614# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
615# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
616# DEBUG-NEXT: G_VECREDUCE_SEQ_FADD (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
617# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
618# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
619# DEBUG-NEXT: G_VECREDUCE_SEQ_FMUL (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
620# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
621# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
622# DEBUG-NEXT: G_VECREDUCE_FADD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
623# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
624# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
625# DEBUG-NEXT: G_VECREDUCE_FMUL (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
626# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
627# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
628# DEBUG-NEXT: G_VECREDUCE_FMAX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
629# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
630# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
631# DEBUG-NEXT: G_VECREDUCE_FMIN (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
632# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
633# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
634# DEBUG-NEXT: G_VECREDUCE_ADD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
635# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
636# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
637# DEBUG-NEXT: G_VECREDUCE_MUL (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
638# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
639# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
640# DEBUG-NEXT: G_VECREDUCE_AND (opcode {{[0-9]+}}): 2 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_VECREDUCE_OR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
644# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
645# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
646# DEBUG-NEXT: G_VECREDUCE_XOR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
647# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
648# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
649# DEBUG-NEXT: G_VECREDUCE_SMAX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
650# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
651# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
652# DEBUG-NEXT: G_VECREDUCE_SMIN (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
653# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
654# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
655# DEBUG-NEXT: G_VECREDUCE_UMAX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
656# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
657# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
658# DEBUG-NEXT: G_VECREDUCE_UMIN (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
659# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
660# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
661
662# CHECK-NOT: ill-defined
663
664---
665name: dummy
666body: |
667  bb.0:
668...
669