llvm/test/CodeGen/RISCV/GlobalISel/legalizer-info-validation.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
   2 # RUN: llc -mtriple=riscv32-- -run-pass=legalizer %s \
   3 # RUN:     -mattr=+m,+zbb,+zfh,+v -o - 2>&1 | FileCheck %s --check-prefixes=CHECK
   4 # RUN: llc -mtriple=riscv64-- -run-pass=legalizer %s \
   5 # RUN:     -mattr=+m,+zbb,+zfh,+v -o - 2>&1 | FileCheck %s --check-prefixes=CHECK
   6
   7 # RUN: llc -mtriple=riscv32-- -run-pass=legalizer %s -debug-only=legalizer-info \
   8 # RUN:     -mattr=+m,+zbb,+zfh,+v -o - 2>&1 | FileCheck %s --check-prefixes=CHECK,DEBUG,DEBUG-RV32
   9 # RUN: llc -mtriple=riscv64-- -run-pass=legalizer %s -debug-only=legalizer-info \
  10 # RUN:     -mattr=+m,+zbb,+zfh,+v -o - 2>&1 | FileCheck %s --check-prefixes=CHECK,DEBUG,DEBUG-RV64
  11
  12 # REQUIRES: asserts
  13
  14 # The main purpose of this test is to make sure we don't over-relax
  15 # LegalizerInfo validation and lose its ability to catch bugs.
  16 #
  17 # Watch out for every "SKIPPED: user-defined predicate detected" in the
  18 # check-lines below and keep each and every one of them justified.
  19
  20
  21 # DEBUG:      G_ADD (opcode [[ADD_OPC:[0-9]+]]): 1 type index, 0 imm indices
  22 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
  23 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
  24 #
  25 # DEBUG-NEXT: G_SUB (opcode [[SUB_OPC:[0-9]+]]): 1 type index, 0 imm indices
  26 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
  27 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
  28 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
  29 #
  30 # DEBUG-NEXT: G_MUL (opcode {{[0-9]+}}): 1 type index, 0 imm indices
  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_SDIV (opcode {{[0-9]+}}): 1 type index, 0 imm indices
  35 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
  36 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
  37 #
  38 # DEBUG-NEXT: G_UDIV (opcode {{[0-9]+}}): 1 type index, 0 imm indices
  39 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
  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_SREM (opcode {{[0-9]+}}): 1 type index, 0 imm indices
  44 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
  45 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
  46 #
  47 # DEBUG-NEXT: G_UREM (opcode {{[0-9]+}}): 1 type index, 0 imm indices
  48 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
  49 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
  50 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
  51 #
  52 # DEBUG-NEXT: G_SDIVREM (opcode {{[0-9]+}}): 1 type index, 0 imm indices
  53 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
  54 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
  55 #
  56 # DEBUG-NEXT: G_UDIVREM (opcode {{[0-9]+}}): 1 type index, 0 imm indices
  57 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
  58 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
  59 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
  60 #
  61 # DEBUG-NEXT: G_AND (opcode {{[0-9]+}}): 1 type index, 0 imm indices
  62 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
  63 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
  64 #
  65 # DEBUG-NEXT: G_OR (opcode {{[0-9]+}}): 1 type index, 0 imm indices
  66 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
  67 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
  68 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
  69 #
  70 # DEBUG-NEXT: G_XOR (opcode {{[0-9]+}}): 1 type index, 0 imm indices
  71 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
  72 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
  73 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
  74 #
  75 # DEBUG-NEXT: G_ABDS (opcode 65): 1 type index, 0 imm indices
  76 # DEBUG-NEXT:.. type index coverage check SKIPPED: no rules defined
  77 # DEBUG-NEXT:.. imm index coverage check SKIPPED: no rules defined
  78 #
  79 # DEBUG-NEXT:G_ABDU (opcode 66): 1 type index, 0 imm indices
  80 # DEBUG-NEXT:.. type index coverage check SKIPPED: no rules defined
  81 # DEBUG-NEXT:.. imm index coverage check SKIPPED: no rules defined
  82 #
  83 # DEBUG-NEXT: G_IMPLICIT_DEF (opcode {{[0-9]+}}): 1 type index, 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_PHI (opcode {{[0-9]+}}): 1 type index, 0 imm indices
  88 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
  89 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
  90 #
  91 # DEBUG-NEXT: G_FRAME_INDEX (opcode {{[0-9]+}}): 1 type index, 0 imm indices
  92 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
  93 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
  94 #
  95 # DEBUG-NEXT: G_GLOBAL_VALUE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
  96 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
  97 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
  98 #
  99 # DEBUG-NEXT: G_PTRAUTH_GLOBAL_VALUE (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_CONSTANT_POOL (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 104 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 105 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 106 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 107 #
 108 # DEBUG-NEXT: G_EXTRACT (opcode {{[0-9]+}}): 2 type indices, 1 imm index
 109 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 110 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 111 #
 112 # DEBUG-NEXT: G_UNMERGE_VALUES (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 113 # DEBUG-RV32-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 114 # DEBUG-RV32-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 115 # DEBUG-RV64-NEXT: .. the first uncovered type index: 2, OK
 116 # DEBUG-RV64-NEXT: .. the first uncovered imm index: 0, OK
 117 #
 118 # DEBUG-NEXT: G_INSERT (opcode {{[0-9]+}}): 2 type indices, 1 imm index
 119 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 120 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 121 #
 122 # DEBUG-NEXT: G_MERGE_VALUES (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 123 # DEBUG-RV32-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 124 # DEBUG-RV32-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 125 # DEBUG-RV64-NEXT: .. the first uncovered type index: 2, OK
 126 # DEBUG-RV64-NEXT: .. the first uncovered imm index: 0, OK
 127 #
 128 # DEBUG-NEXT: G_BUILD_VECTOR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 129 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 130 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 131 #
 132 # DEBUG-NEXT: G_BUILD_VECTOR_TRUNC (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 133 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 134 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 135 #
 136 # DEBUG-NEXT: G_CONCAT_VECTORS (opcode {{[0-9]+}}): 2 type indices, 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_PTRTOINT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 141 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 142 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 143 #
 144 # DEBUG-NEXT: G_INTTOPTR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 145 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 146 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 147 #
 148 # DEBUG-NEXT: G_BITCAST (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 149 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 150 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 151 #
 152 # DEBUG-NEXT: G_FREEZE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 153 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 154 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 155
 156 # DEBUG-NEXT: G_CONSTANT_FOLD_BARRIER (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 157 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 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
 161 # DEBUG-NEXT: G_INTRINSIC_FPTRUNC_ROUND (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 162 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 163 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 164
 165 # DEBUG-NEXT: G_INTRINSIC_TRUNC (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 166 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 167 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 168 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 169 # DEBUG-NEXT: G_INTRINSIC_ROUND (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 170 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 171 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 172 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 173 # DEBUG-NEXT: G_INTRINSIC_LRINT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 174 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 175 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 176 # DEBUG-NEXT: G_INTRINSIC_LLRINT (opcode {{[0-9]+}}): 2 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_INTRINSIC_ROUNDEVEN (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 180 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 181 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 182 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 183 # DEBUG-NEXT: G_READCYCLECOUNTER (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 184 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 185 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 186 # DEBUG-NEXT: G_READSTEADYCOUNTER (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 187 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 188 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 189
 190 # DEBUG-NEXT: G_LOAD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 191 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 192 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 193 # DEBUG-NEXT: G_SEXTLOAD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 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_ZEXTLOAD (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_INDEXED_LOAD (opcode {{[0-9]+}}): 3 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_INDEXED_SEXTLOAD (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
 204 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 205 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 206 # DEBUG-NEXT: G_INDEXED_ZEXTLOAD (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
 207 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 208 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 209 # DEBUG-NEXT: G_STORE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 210 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 211 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 212 # DEBUG-NEXT: G_INDEXED_STORE (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
 213 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 214 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 215 # DEBUG-NEXT: G_ATOMIC_CMPXCHG_WITH_SUCCESS (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
 216 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 217 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 218 # DEBUG-NEXT: G_ATOMIC_CMPXCHG (opcode {{[0-9]+}}): 2 type indices, 0 imm 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_XCHG (opcode {{[0-9]+}}): 2 type indices, 0 imm 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_ATOMICRMW_ADD (opcode {{[0-9]+}}): 2 type indices, 0 imm 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_ATOMICRMW_SUB (opcode {{[0-9]+}}): 2 type indices, 0 imm 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_AND (opcode {{[0-9]+}}): 2 type indices, 0 imm 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_ATOMICRMW_NAND (opcode {{[0-9]+}}): 2 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_ATOMICRMW_OR (opcode {{[0-9]+}}): 2 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_ATOMICRMW_XOR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 240 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 241 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 242 # DEBUG-NEXT: G_ATOMICRMW_MAX (opcode {{[0-9]+}}): 2 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_ATOMICRMW_MIN (opcode {{[0-9]+}}): 2 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_ATOMICRMW_UMAX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 249 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 250 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 251 # DEBUG-NEXT: G_ATOMICRMW_UMIN (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 252 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 253 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 254 # DEBUG-NEXT: G_ATOMICRMW_FADD (opcode {{[0-9]+}}): 2 type indices
 255 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 256 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 257 # DEBUG-NEXT: G_ATOMICRMW_FSUB (opcode {{[0-9]+}}): 2 type indices
 258 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 259 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 260 # DEBUG-NEXT: G_ATOMICRMW_FMAX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 261 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 262 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 263 # DEBUG-NEXT: G_ATOMICRMW_FMIN (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 264 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 265 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 266 # DEBUG-NEXT: G_ATOMICRMW_UINC_WRAP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 267 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 268 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 269 # DEBUG-NEXT: G_ATOMICRMW_UDEC_WRAP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 270 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 271 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 272 # DEBUG-NEXT: G_ATOMICRMW_USUB_COND (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 273 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 274 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 275 # DEBUG-NEXT: G_ATOMICRMW_USUB_SAT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 276 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 277 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 278 # DEBUG-NEXT: G_FENCE (opcode {{[0-9]+}}): 0 type indices
 279 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 280 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 281 # DEBUG-NEXT: G_PREFETCH (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 282 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 283 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 284 # DEBUG-NEXT: G_BRCOND (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 285 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 286 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 287 # DEBUG-NEXT: G_BRINDIRECT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 288 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 289 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 290 # DEBUG-NEXT: G_INVOKE_REGION_START (opcode {{[0-9]+}}): 0 type indices, 0 imm indices
 291 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 292 # DEBUG-NEXT:  .. imm index coverage check SKIPPED: no rules defined
 293 # DEBUG-NEXT: G_INTRINSIC (opcode {{[0-9]+}}): 0 type indices, 0 imm indices
 294 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 295 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 296 # DEBUG-NEXT: G_INTRINSIC_W_SIDE_EFFECTS (opcode {{[0-9]+}}): 0 type indices, 0 imm indices
 297 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 298 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 299 # DEBUG-NEXT: G_INTRINSIC_CONVERGENT (opcode {{[0-9]+}}): 0 type indices, 0 imm indices
 300 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 301 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 302 # DEBUG-NEXT: G_INTRINSIC_CONVERGENT_W_SIDE_EFFECTS (opcode {{[0-9]+}}): 0 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_ANYEXT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 306 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 307 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 308 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 309 # DEBUG-NEXT: G_TRUNC (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 310 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 311 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 312 # DEBUG-NEXT: G_CONSTANT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 313 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 314 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 315 # DEBUG-NEXT: G_FCONSTANT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 316 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 317 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 318 # DEBUG-NEXT: G_VASTART (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 319 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 320 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 321 # DEBUG-NEXT: G_VAARG (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 322 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 323 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 324 # DEBUG-NEXT: G_SEXT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 325 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 326 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 327 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 328 # DEBUG-NEXT: G_SEXT_INREG (opcode {{[0-9]+}}): 1 type index, 1 imm index
 329 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 330 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 331 # DEBUG-NEXT: G_ZEXT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 332 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 333 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 334 # DEBUG-NEXT: G_SHL (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 335 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 336 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 337 # DEBUG-NEXT: G_LSHR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 338 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 339 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 340 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 341 # DEBUG-NEXT: G_ASHR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 342 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 343 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 344 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 345 # DEBUG-NEXT: G_FSHL (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 346 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 347 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 348 # DEBUG-NEXT: G_FSHR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 349 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 350 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 351 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 352 # DEBUG-NEXT: G_ROTR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 353 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 354 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 355 # DEBUG-NEXT: G_ROTL (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 356 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 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_ICMP (opcode {{[0-9]+}}): 2 type indices, 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_FCMP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 363 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 364 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 365 # DEBUG-NEXT: G_SCMP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 366 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 367 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 368 # DEBUG-NEXT: G_UCMP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 369 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 370 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 371 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 372 # DEBUG-NEXT: G_SELECT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 373 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 374 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 375 # DEBUG-NEXT: G_UADDO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 376 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 377 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 378 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 379 # DEBUG-NEXT: G_UADDE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 380 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 381 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 382 # DEBUG-NEXT: G_USUBO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 383 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 384 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 385 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 386 # DEBUG-NEXT: G_USUBE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 387 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 388 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 389 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 390 # DEBUG-NEXT: G_SADDO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 391 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 392 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 393 # DEBUG-NEXT: G_SADDE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 394 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 395 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 396 # DEBUG-NEXT: G_SSUBO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 397 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 398 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 399 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 400 # DEBUG-NEXT: G_SSUBE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 401 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 402 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 403 # DEBUG-NEXT: G_UMULO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 404 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 405 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 406 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 407 # DEBUG-NEXT: G_SMULO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 408 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 409 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 410 # DEBUG-NEXT: G_UMULH (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 411 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 412 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 413 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 414 # DEBUG-NEXT: G_SMULH (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 415 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 416 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 417 # DEBUG-NEXT: G_UADDSAT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 418 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 419 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 420 # DEBUG-NEXT: G_SADDSAT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 421 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 422 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 423 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 424 # DEBUG-NEXT: G_USUBSAT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 425 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 426 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 427 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 428 # DEBUG-NEXT: G_SSUBSAT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 429 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 430 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 431 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 432 # DEBUG-NEXT: G_USHLSAT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 433 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 434 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 435 # DEBUG-NEXT: G_SSHLSAT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 436 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 437 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 438 # DEBUG-NEXT: G_SMULFIX (opcode {{[0-9]+}}): 1 type index, 1 imm index
 439 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 440 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 441 # DEBUG-NEXT: G_UMULFIX (opcode {{[0-9]+}}): 1 type index, 1 imm index
 442 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 443 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 444 # DEBUG-NEXT: G_SMULFIXSAT (opcode {{[0-9]+}}): 1 type index, 1 imm index
 445 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 446 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 447 # DEBUG-NEXT: G_UMULFIXSAT (opcode {{[0-9]+}}): 1 type index, 1 imm index
 448 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 449 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 450 # DEBUG-NEXT: G_SDIVFIX (opcode {{[0-9]+}}): 1 type index, 1 imm index
 451 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 452 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 453 # DEBUG-NEXT: G_UDIVFIX (opcode {{[0-9]+}}): 1 type index, 1 imm index
 454 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 455 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 456 # DEBUG-NEXT: G_SDIVFIXSAT (opcode {{[0-9]+}}): 1 type index, 1 imm index
 457 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 458 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 459 # DEBUG-NEXT: G_UDIVFIXSAT (opcode {{[0-9]+}}): 1 type index, 1 imm index
 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_FADD (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 463 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 464 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 465 # DEBUG-NEXT: G_FSUB (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 466 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 467 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 468 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 469 # DEBUG-NEXT: G_FMUL (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 470 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 471 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 472 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 473 # DEBUG-NEXT: G_FMA (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 474 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 475 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 476 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 477 # DEBUG-NEXT: G_FMAD (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 478 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 479 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 480 # DEBUG-NEXT: G_FDIV (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 481 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 482 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 483 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 484 # DEBUG-NEXT: G_FREM (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 485 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 486 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 487 # DEBUG-NEXT: G_FPOW (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 488 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 489 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 490 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 491 # DEBUG-NEXT: G_FPOWI (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 492 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 493 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 494 # DEBUG-NEXT: G_FEXP (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 495 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 496 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 497 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 498 # DEBUG-NEXT: G_FEXP2 (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 499 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 500 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 501 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 502 # DEBUG-NEXT: G_FEXP10 (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 503 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 504 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 505 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 506 # DEBUG-NEXT: G_FLOG (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 507 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 508 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 509 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 510 # DEBUG-NEXT: G_FLOG2 (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 511 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 512 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 513 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 514 # DEBUG-NEXT: G_FLOG10 (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 515 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 516 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 517 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 518 # DEBUG-NEXT: G_FLDEXP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 519 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 520 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 521 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 522 # DEBUG-NEXT: G_FFREXP (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_FNEG (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 526 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 527 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 528 # DEBUG-NEXT: G_FPEXT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 529 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 530 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 531 # DEBUG-NEXT: G_FPTRUNC (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 532 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 533 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 534 # DEBUG-NEXT: G_FPTOSI (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 535 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 536 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 537 # DEBUG-NEXT: G_FPTOUI (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 538 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 539 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 540 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 541 # DEBUG-NEXT: G_SITOFP (opcode {{[0-9]+}}): 2 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_UITOFP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 545 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 546 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 547 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 548 # DEBUG-NEXT: G_FPTOSI_SAT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 549 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 550 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 551 # DEBUG-NEXT: G_FPTOUI_SAT (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 552 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 553 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 554 # DEBUG-NEXT: G_FABS (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 555 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 556 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 557 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 558 # DEBUG-NEXT: G_FCOPYSIGN (opcode {{[0-9]+}}): 2 type indices
 559 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 560 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 561 # DEBUG-NEXT: G_IS_FPCLASS (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 562 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 563 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 564 # DEBUG-NEXT: G_FCANONICALIZE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 565 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 566 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 567 # DEBUG-NEXT: G_FMINNUM (opcode {{[0-9]+}}): 1 type index
 568 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 569 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 570 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 571 # DEBUG-NEXT: G_FMAXNUM (opcode {{[0-9]+}}): 1 type index
 572 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 573 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 574 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 575 # DEBUG-NEXT: G_FMINNUM_IEEE (opcode {{[0-9]+}}): 1 type index
 576 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 577 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 578 # DEBUG-NEXT: G_FMAXNUM_IEEE (opcode {{[0-9]+}}): 1 type index
 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_FMINIMUM (opcode {{[0-9]+}}): 1 type index
 582 # DEBUG-NEXT: .. opcode 212 is aliased to 213
 583 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 584 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 585 # DEBUG-NEXT: G_FMAXIMUM (opcode {{[0-9]+}}): 1 type index
 586 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 587 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 588 # DEBUG-NEXT: G_GET_FPENV (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 589 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 590 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 591 # DEBUG-NEXT: G_SET_FPENV (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 592 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 593 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 594 # DEBUG-NEXT: G_RESET_FPENV (opcode {{[0-9]+}}): 0 type indices, 0 imm indices
 595 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 596 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 597 # DEBUG-NEXT: G_GET_FPMODE (opcode {{[0-9]+}}): 1 type index, 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_SET_FPMODE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 601 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 602 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 603 # DEBUG-NEXT: G_RESET_FPMODE (opcode {{[0-9]+}}): 0 type indices, 0 imm indices
 604 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 605 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 606 # DEBUG-NEXT: G_PTR_ADD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 607 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 608 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 609 # DEBUG-NEXT: G_PTRMASK (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 610 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 611 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 612 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 613 # DEBUG-NEXT: G_SMIN (opcode {{[0-9]+}}): 1 type index
 614 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 615 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 616 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 617 # DEBUG-NEXT: G_SMAX (opcode {{[0-9]+}}): 1 type index
 618 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 619 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 620 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 621 # DEBUG-NEXT: G_UMIN (opcode {{[0-9]+}}): 1 type index
 622 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 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_UMAX (opcode {{[0-9]+}}): 1 type index
 626 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 627 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 628 # DEBUG-NEXT: G_ABS (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 629 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 630 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 631 # DEBUG-NEXT: G_LROUND (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_LLROUND (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 635 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 636 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 637 # DEBUG-NEXT: G_BR (opcode {{[0-9]+}}): 0 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_BRJT (opcode {{[0-9]+}}): 2 type indices
 641 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 642 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 643 # DEBUG-NEXT: G_VSCALE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 644 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 645 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 646 # DEBUG-NEXT: G_INSERT_SUBVECTOR (opcode {{[0-9]+}}): 2 type indices, 1 imm index
 647 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 648 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 649 # DEBUG-NEXT: G_EXTRACT_SUBVECTOR (opcode {{[0-9]+}}): 2 type indices, 1 imm index
 650 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 651 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 652 # DEBUG-NEXT: G_INSERT_VECTOR_ELT (opcode {{[0-9]+}}): 3 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_EXTRACT_VECTOR_ELT (opcode {{[0-9]+}}): 3 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_SHUFFLE_VECTOR (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 # DEBUG-NEXT: G_SPLAT_VECTOR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 662 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 663 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 664 # DEBUG-NEXT: G_STEP_VECTOR (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 665 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 666 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 667 # DEBUG-NEXT: G_VECTOR_COMPRESS (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 668 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 669 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 670 # DEBUG-NEXT: G_CTTZ (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 671 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 672 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 673 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 674 # DEBUG-NEXT: G_CTTZ_ZERO_UNDEF (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 675 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 676 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 677 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 678 # DEBUG-NEXT: G_CTLZ (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 679 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 680 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 681 # DEBUG-NEXT: G_CTLZ_ZERO_UNDEF (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_CTPOP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 685 # DEBUG-NEXT: .. the first uncovered type index: 2, OK
 686 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 687 # DEBUG-NEXT: G_BSWAP (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 688 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 689 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 690 # DEBUG-NEXT: G_BITREVERSE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 691 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 692 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 693 # DEBUG-NEXT: G_FCEIL (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 694 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 695 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 696 # DEBUG-NEXT: G_FCOS (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 697 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 698 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 699 # DEBUG-NEXT: G_FSIN (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 700 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 701 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 702 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 703 # DEBUG-NEXT: G_FSINCOS (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 704 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 705 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 706 # DEBUG-NEXT: G_FTAN (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 707 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 708 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 709 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 710 # DEBUG-NEXT: G_FACOS (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 711 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 712 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 713 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 714 # DEBUG-NEXT: G_FASIN (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 715 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 716 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 717 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 718 # DEBUG-NEXT: G_FATAN (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 719 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 720 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 721 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 722 # DEBUG-NEXT: G_FATAN2 (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 723 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 724 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 725 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 726 # DEBUG-NEXT: G_FCOSH (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 727 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 728 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 729 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 730 # DEBUG-NEXT: G_FSINH (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 731 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 732 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 733 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 734 # DEBUG-NEXT: G_FTANH (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 735 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 736 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 737 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 738 # DEBUG-NEXT: G_FSQRT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 739 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 740 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 741 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 742 # DEBUG-NEXT: G_FFLOOR (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 743 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 744 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 745 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 746 # DEBUG-NEXT: G_FRINT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 747 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 748 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 749 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 750 # DEBUG-NEXT: G_FNEARBYINT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 751 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 752 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 753 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 754 # DEBUG-NEXT: G_ADDRSPACE_CAST (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 755 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 756 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 757 # DEBUG-NEXT: G_BLOCK_ADDR (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 758 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 759 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 760 # DEBUG-NEXT: G_JUMP_TABLE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 761 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 762 # DEBUG-NEXT: .. the first uncovered type index: 1, OK
 763 # DEBUG-NEXT: .. the first uncovered imm index: 0, OK
 764 # DEBUG-NEXT: G_DYN_STACKALLOC (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 765 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 766 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 767 # DEBUG-NEXT: G_STACKSAVE (opcode [[STACKSAVE:[0-9]+]]): 1 type index, 0 imm indices
 768 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 769 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 770 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 771 # DEBUG-NEXT: G_STACKRESTORE (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 772 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 773 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 774 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 775 # DEBUG-NEXT: G_STRICT_FADD (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 776 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 777 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 778 # DEBUG-NEXT: G_STRICT_FSUB (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 779 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 780 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 781 # DEBUG-NEXT: G_STRICT_FMUL (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 782 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 783 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 784 # DEBUG-NEXT: G_STRICT_FDIV (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 785 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 786 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 787 # DEBUG-NEXT: G_STRICT_FREM (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 788 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 789 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 790 # DEBUG-NEXT: G_STRICT_FMA (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 791 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 792 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 793 # DEBUG-NEXT: G_STRICT_FSQRT (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 794 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 795 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 796 # DEBUG-NEXT: G_STRICT_FLDEXP (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 797 # DEBUG-NEXT:.. type index coverage check SKIPPED: no rules defined
 798 # DEBUG-NEXT:.. imm index coverage check SKIPPED: no rules defined
 799 # DEBUG-NEXT: G_READ_REGISTER (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 800 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 801 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 802 # DEBUG-NEXT: G_WRITE_REGISTER (opcode {{[0-9]+}}): 1 type index, 0 imm indices
 803 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 804 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 805 # DEBUG-NEXT: G_MEMCPY (opcode {{[0-9]+}}): 3 type indices, 1 imm index
 806 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 807 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 808 # DEBUG-NEXT: G_MEMCPY_INLINE (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
 809 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 810 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 811 # DEBUG-NEXT: G_MEMMOVE (opcode {{[0-9]+}}): 3 type indices, 1 imm index
 812 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 813 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 814 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 815 # DEBUG-NEXT: G_MEMSET (opcode {{[0-9]+}}): 3 type indices, 1 imm index
 816 # DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
 817 # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected
 818 # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected
 819 # DEBUG-NEXT: G_BZERO (opcode {{[0-9]+}}): 2 type indices, 1 imm index
 820 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 821 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 822 # DEBUG-NEXT: G_TRAP (opcode {{[0-9]+}}): 0 type indices, 0 imm indices
 823 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 824 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 825 # DEBUG-NEXT: G_DEBUGTRAP (opcode {{[0-9]+}}): 0 type indices, 0 imm indices
 826 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 827 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 828 # DEBUG-NEXT: G_UBSANTRAP (opcode {{[0-9]+}}): 0 type indices, 0 imm indices
 829 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 830 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 831 # DEBUG-NEXT: G_VECREDUCE_SEQ_FADD (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
 832 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 833 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 834 # DEBUG-NEXT: G_VECREDUCE_SEQ_FMUL (opcode {{[0-9]+}}): 3 type indices, 0 imm indices
 835 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 836 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 837 # DEBUG-NEXT: G_VECREDUCE_FADD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 838 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 839 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 840 # DEBUG-NEXT: G_VECREDUCE_FMUL (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 841 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 842 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 843 # DEBUG-NEXT: G_VECREDUCE_FMAX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 844 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 845 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 846 # DEBUG-NEXT: G_VECREDUCE_FMIN (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 847 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 848 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 849 # DEBUG-NEXT: G_VECREDUCE_FMAXIMUM (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 850 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 851 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 852 # DEBUG-NEXT: G_VECREDUCE_FMINIMUM (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 853 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 854 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 855 # DEBUG-NEXT: G_VECREDUCE_ADD (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 856 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 857 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 858 # DEBUG-NEXT: G_VECREDUCE_MUL (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 859 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 860 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 861 # DEBUG-NEXT: G_VECREDUCE_AND (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 862 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 863 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 864 # DEBUG-NEXT: G_VECREDUCE_OR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 865 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 866 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 867 # DEBUG-NEXT: G_VECREDUCE_XOR (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 868 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 869 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 870 # DEBUG-NEXT: G_VECREDUCE_SMAX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 871 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 872 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 873 # DEBUG-NEXT: G_VECREDUCE_SMIN (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 874 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 875 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 876 # DEBUG-NEXT: G_VECREDUCE_UMAX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 877 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 878 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 879 # DEBUG-NEXT: G_VECREDUCE_UMIN (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 880 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 881 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 882 # DEBUG-NEXT: G_SBFX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 883 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 884 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 885 # DEBUG-NEXT: G_UBFX (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
 886 # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
 887 # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
 888 # CHECK-NOT: ill-defined
 889
 890 ---
 891 name: dummy
 892 body: |
 893   bb.0:
 894 ...