diff options
author | Daniel Sanders <daniel_l_sanders@apple.com> | 2018-09-25 17:59:02 +0000 |
---|---|---|
committer | Daniel Sanders <daniel_l_sanders@apple.com> | 2018-09-25 17:59:02 +0000 |
commit | c38849ca46c562f5f6f1850ff75de32d406fedfb (patch) | |
tree | 1b9bbc5e75dfd808b6b35a4ea28d7e7ff4dfb2ff /test/TableGen | |
parent | 0d75a2849cb904fca6995372bd8917fc700e083b (diff) | |
download | llvm-c38849ca46c562f5f6f1850ff75de32d406fedfb.tar.gz |
[globalisel][tblgen] Table optimization should consider the C++ code in C++ predicates
This fixes PR39045
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@342997 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/TableGen')
-rw-r--r-- | test/TableGen/GlobalISelEmitter-PR39045.td | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/test/TableGen/GlobalISelEmitter-PR39045.td b/test/TableGen/GlobalISelEmitter-PR39045.td new file mode 100644 index 00000000000..c5d7bd81ae6 --- /dev/null +++ b/test/TableGen/GlobalISelEmitter-PR39045.td @@ -0,0 +1,45 @@ +// RUN: llvm-tblgen -gen-global-isel -I %p/../../include %s -o %t +// RUN: FileCheck %s < %t + +// Both predicates should be tested +// CHECK-DAG: GIM_CheckCxxInsnPredicate, /*MI*/0, /*FnId*/GIPFP_MI_Predicate_pat_frag_b, +// CHECK-DAG: GIM_CheckCxxInsnPredicate, /*MI*/0, /*FnId*/GIPFP_MI_Predicate_pat_frag_a, + +include "llvm/Target/Target.td" + +def MyTargetISA : InstrInfo; +def MyTarget : Target { let InstructionSet = MyTargetISA; } + + +def pat_frag_a : PatFrag <(ops node:$ptr), (load node:$ptr), [{}]> { + let PredicateCode = [{ return isInstA(MI); }]; + let GISelPredicateCode = [{ return isInstA(MI); }]; +} + +def pat_frag_b : PatFrag <(ops node:$ptr), (load node:$ptr), [{}]> { + let PredicateCode = [{ return isInstB(MI); }]; + let GISelPredicateCode = [{ return isInstB(MI); }]; +} + +def R0 : Register<"r0"> { let Namespace = "MyTarget"; } +def GPR32 : RegisterClass<"MyTarget", [i32], 32, (add R0)>; + +def inst_a : Instruction { + let OutOperandList = (outs GPR32:$dst); + let InOperandList = (ins GPR32:$src); +} +def inst_b : Instruction { + let OutOperandList = (outs GPR32:$dst); + let InOperandList = (ins GPR32:$src); +} + +def : Pat < + (pat_frag_a GPR32:$src), + (inst_a GPR32:$src) +>; + +def : Pat < + (pat_frag_b GPR32:$src), + (inst_b GPR32:$src) +>; + |