diff options
author | Craig Topper <craig.topper@sifive.com> | 2023-11-17 16:44:24 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-17 16:44:24 -0800 |
commit | d5ab48e583c843393a86a4e166007688baeb1263 (patch) | |
tree | 0918f6eece2c4732db637b48bdbc1a897fb180b4 | |
parent | 813aaf39f94609a46f38f1e3a15a763a2cc0d2cf (diff) | |
download | llvm-d5ab48e583c843393a86a4e166007688baeb1263.zip llvm-d5ab48e583c843393a86a4e166007688baeb1263.tar.gz llvm-d5ab48e583c843393a86a4e166007688baeb1263.tar.bz2 |
[AArch64] Simplify legalizer info for G_JUMP_TABLE and G_BRJT. (#71962)
Remove s64 as a valid type for G_JUMP_TABLE since I think it is always a
pointer?
Replace custom predicate for G_BRJT with a legalFor that checks 2 types.
-rw-r--r-- | llvm/lib/Target/AArch64/GISel/AArch64LegalizerInfo.cpp | 6 | ||||
-rw-r--r-- | llvm/test/CodeGen/AArch64/GlobalISel/legalizer-info-validation.mir | 4 |
2 files changed, 4 insertions, 6 deletions
diff --git a/llvm/lib/Target/AArch64/GISel/AArch64LegalizerInfo.cpp b/llvm/lib/Target/AArch64/GISel/AArch64LegalizerInfo.cpp index b197b41..000fd64 100644 --- a/llvm/lib/Target/AArch64/GISel/AArch64LegalizerInfo.cpp +++ b/llvm/lib/Target/AArch64/GISel/AArch64LegalizerInfo.cpp @@ -930,11 +930,9 @@ AArch64LegalizerInfo::AArch64LegalizerInfo(const AArch64Subtarget &ST) getActionDefinitionsBuilder(G_CONCAT_VECTORS) .legalFor({{v4s32, v2s32}, {v8s16, v4s16}, {v16s8, v8s8}}); - getActionDefinitionsBuilder(G_JUMP_TABLE).legalFor({{p0}, {s64}}); + getActionDefinitionsBuilder(G_JUMP_TABLE).legalFor({p0}); - getActionDefinitionsBuilder(G_BRJT).legalIf([=](const LegalityQuery &Query) { - return Query.Types[0] == p0 && Query.Types[1] == s64; - }); + getActionDefinitionsBuilder(G_BRJT).legalFor({{p0, s64}}); getActionDefinitionsBuilder({G_DYN_STACKALLOC, G_STACKSAVE, diff --git a/llvm/test/CodeGen/AArch64/GlobalISel/legalizer-info-validation.mir b/llvm/test/CodeGen/AArch64/GlobalISel/legalizer-info-validation.mir index 2ea8cff..4fa6cd0 100644 --- a/llvm/test/CodeGen/AArch64/GlobalISel/legalizer-info-validation.mir +++ b/llvm/test/CodeGen/AArch64/GlobalISel/legalizer-info-validation.mir @@ -597,8 +597,8 @@ # DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined # DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined # DEBUG-NEXT: G_BRJT (opcode {{[0-9]+}}): 2 type indices -# DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected -# DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected +# DEBUG-NEXT: .. the first uncovered type index: 2, OK +# DEBUG-NEXT: .. the first uncovered imm index: 0, OK # DEBUG-NEXT: G_INSERT_VECTOR_ELT (opcode {{[0-9]+}}): 3 type indices, 0 imm indices # DEBUG-NEXT: .. type index coverage check SKIPPED: user-defined predicate detected # DEBUG-NEXT: .. imm index coverage check SKIPPED: user-defined predicate detected |