| # RUN: llc -mtriple=aarch64-- -run-pass=legalizer %s \ |
| # RUN: -mcpu=cortex-a75 -o - 2>&1 | FileCheck %s --check-prefixes=CHECK |
| |
| # RUN: llc -mtriple=aarch64-- -run-pass=legalizer %s -debug-only=legalizer-info \ |
| # RUN: -mcpu=cortex-a75 -o - 2>&1 | FileCheck %s --check-prefixes=CHECK,DEBUG |
| |
| # REQUIRES: asserts |
| |
| # The main purpose of this test is to make sure we don't over-relax |
| # LegalizerInfo validation and lose its ability to catch bugs. |
| # |
| # Watch out for every "SKIPPED: user-defined predicate detected" in the |
| # check-lines below and keep each and every one of them justified. |
| |
| |
| # DEBUG: G_ADD (opcode [[ADD_OPC:[0-9]+]]): 1 type index |
| # DEBUG-NEXT: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_SUB (opcode [[SUB_OPC:[0-9]+]]): 1 type index |
| # DEBUG-NEXT: .. opcode [[SUB_OPC]] is aliased to [[ADD_OPC]] |
| # DEBUG-NEXT: .. opcode [[ADD_OPC]] is aliased to 0 |
| # DEBUG-NEXT: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_MUL (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_SDIV (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_UDIV (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_SREM (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_UREM (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_AND (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_OR (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_XOR (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_IMPLICIT_DEF (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_PHI (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FRAME_INDEX (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_GLOBAL_VALUE (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_EXTRACT (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_UNMERGE_VALUES (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_INSERT (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_MERGE_VALUES (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_BUILD_VECTOR (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_BUILD_VECTOR_TRUNC (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| # |
| # DEBUG-NEXT: G_CONCAT_VECTORS (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_PTRTOINT (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_INTTOPTR (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_BITCAST (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_INTRINSIC_TRUNC (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| # |
| # DEBUG-NEXT: G_INTRINSIC_ROUND (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| # |
| # DEBUG-NEXT: G_LOAD (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_SEXTLOAD (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_ZEXTLOAD (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_STORE (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_ATOMIC_CMPXCHG_WITH_SUCCESS (opcode {{[0-9]+}}): 3 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_ATOMIC_CMPXCHG (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_ATOMICRMW_XCHG (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_ATOMICRMW_ADD (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_ATOMICRMW_SUB (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_ATOMICRMW_AND (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_ATOMICRMW_NAND (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| # |
| # DEBUG-NEXT: G_ATOMICRMW_OR (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_ATOMICRMW_XOR (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_ATOMICRMW_MAX (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_ATOMICRMW_MIN (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_ATOMICRMW_UMAX (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_ATOMICRMW_UMIN (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_BRCOND (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_BRINDIRECT (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_INTRINSIC (opcode {{[0-9]+}}): 0 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_INTRINSIC_W_SIDE_EFFECTS (opcode {{[0-9]+}}): 0 type indices |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| # |
| # DEBUG-NEXT: G_ANYEXT (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_TRUNC (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| # |
| # DEBUG-NEXT: G_CONSTANT (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FCONSTANT (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_VASTART (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_VAARG (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_SEXT (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_ZEXT (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_SHL (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG:.. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_LSHR (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_ASHR (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_ICMP (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_FCMP (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_SELECT (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_UADDO (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| # |
| # DEBUG-NEXT: G_UADDE (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_USUBO (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| # |
| # DEBUG-NEXT: G_USUBE (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_SADDO (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_SADDE (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| # |
| # DEBUG-NEXT: G_SSUBO (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_SSUBE (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| # |
| # DEBUG-NEXT: G_UMULO (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_SMULO (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_UMULH (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_SMULH (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FADD (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FSUB (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FMUL (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FMA (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FDIV (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FREM (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FPOW (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FEXP (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FEXP2 (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| # |
| # DEBUG-NEXT: G_FLOG (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FLOG2 (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FLOG10 (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FNEG (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FPEXT (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_FPTRUNC (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_FPTOSI (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_FPTOUI (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_SITOFP (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_UITOFP (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_FABS (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_FCANONICALIZE (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| # |
| # DEBUG-NEXT: G_GEP (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_PTR_MASK (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_BR (opcode {{[0-9]+}}): 0 type indices |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| # |
| # DEBUG-NEXT: G_INSERT_VECTOR_ELT (opcode {{[0-9]+}}): 3 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_EXTRACT_VECTOR_ELT (opcode {{[0-9]+}}): 3 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_SHUFFLE_VECTOR (opcode {{[0-9]+}}): 3 type indices |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_CTTZ (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| # |
| # DEBUG-NEXT: G_CTTZ_ZERO_UNDEF (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| # |
| # DEBUG-NEXT: G_CTLZ (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. the first uncovered type index: 2, OK |
| # |
| # DEBUG-NEXT: G_CTLZ_ZERO_UNDEF (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| # |
| # DEBUG-NEXT: G_CTPOP (opcode {{[0-9]+}}): 2 type indices |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| # |
| # DEBUG-NEXT: G_BSWAP (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FCEIL (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_FCOS (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FSIN (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. the first uncovered type index: 1, OK |
| # |
| # DEBUG-NEXT: G_FSQRT (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected |
| # |
| # DEBUG-NEXT: G_FFLOOR (opcode {{[0-9]+}}): 1 type index |
| # DEBUG: .. type index coverage check SKIPPED: no rules defined |
| |
| # CHECK-NOT: ill-defined |
| |
| --- |
| name: dummy |
| body: | |
| bb.0: |
| ... |
