RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2025-04-03 16:51:42 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[GlobalISel] Print the matched patterns using an action.

Browse Source 
This lets us split out PatternToMatch from the top-level RuleMatcher,
where it doesn't really belong.  That, in turn, lets us eventually
generate RuleMatchers from non-SelectionDAG sources.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@294076 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Ahmed Bougacha 2017-02-04 00:47:08 +00:00
parent 3ebe403844
commit f2992531eb
2 changed files with 18 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/TableGen/GlobalISelEmitter.td
View File

@ -34,6 +34,7 @@ class I<dag OOps, dag IOps, list<dag> Pat>
// CHECK-NEXT: (((MRI.getType(I.getOperand(2).getReg()) == (LLT::scalar(32))) && // CHECK-NEXT: (((MRI.getType(I.getOperand(2).getReg()) == (LLT::scalar(32))) &&
// CHECK-NEXT: ((&RBI.getRegBankFromRegClass(MyTarget::GPR32RegClass) == RBI.getRegBank(I.getOperand(2).getReg(), MRI, TRI)))))) { // CHECK-NEXT: ((&RBI.getRegBankFromRegClass(MyTarget::GPR32RegClass) == RBI.getRegBank(I.getOperand(2).getReg(), MRI, TRI)))))) {
// CHECK-NEXT: // (add:i32 GPR32:i32:$src1, GPR32:i32:$src2) => (ADD:i32 GPR32:i32:$src1, GPR32:i32:$src2)
// CHECK-NEXT: I.setDesc(TII.get(MyTarget::ADD)); // CHECK-NEXT: I.setDesc(TII.get(MyTarget::ADD));
// CHECK-NEXT: constrainSelectedInstRegOperands(I, TII, TRI, RBI); // CHECK-NEXT: constrainSelectedInstRegOperands(I, TII, TRI, RBI);
// CHECK-NEXT: return true; // CHECK-NEXT: return true;
@ -47,6 +48,7 @@ def ADD : I<(outs GPR32:$dst), (ins GPR32:$src1, GPR32:$src2),
// CHECK: if ((I.getOpcode() == TargetOpcode::G_BR) && // CHECK: if ((I.getOpcode() == TargetOpcode::G_BR) &&
// CHECK-NEXT: (((I.getOperand(0).isMBB())))) { // CHECK-NEXT: (((I.getOperand(0).isMBB())))) {
// CHECK-NEXT: // (br (bb:Other):$target) => (BR (bb:Other):$target)
// CHECK-NEXT: I.setDesc(TII.get(MyTarget::BR)); // CHECK-NEXT: I.setDesc(TII.get(MyTarget::BR));
// CHECK-NEXT: constrainSelectedInstRegOperands(I, TII, TRI, RBI); // CHECK-NEXT: constrainSelectedInstRegOperands(I, TII, TRI, RBI);
// CHECK-NEXT: return true; // CHECK-NEXT: return true;

24
utils/TableGen/GlobalISelEmitter.cpp
View File

@ -291,6 +291,19 @@ public:
virtual void emitCxxActionStmts(raw_ostream &OS) const = 0; virtual void emitCxxActionStmts(raw_ostream &OS) const = 0;
}; };
/// Generates a comment describing the matched rule being acted upon.
class DebugCommentAction : public MatchAction {
private:
const PatternToMatch &P;
public:
DebugCommentAction(const PatternToMatch &P) : P(P) {}
virtual void emitCxxActionStmts(raw_ostream &OS) const {
OS << "// " << *P.getSrcPattern() << " => " << *P.getDstPattern();
}
};
class MutateOpcodeAction : public MatchAction { class MutateOpcodeAction : public MatchAction {
private: private:
const CodeGenInstruction *I; const CodeGenInstruction *I;
@ -310,14 +323,11 @@ public:
/// support multiple positions to support div/rem fusion or load-multiple /// support multiple positions to support div/rem fusion or load-multiple
/// instructions. /// instructions.
class RuleMatcher { class RuleMatcher {
const PatternToMatch &P;
std::vector<std::unique_ptr<InstructionMatcher>> Matchers; std::vector<std::unique_ptr<InstructionMatcher>> Matchers;
std::vector<std::unique_ptr<MatchAction>> Actions; std::vector<std::unique_ptr<MatchAction>> Actions;
public: public:
RuleMatcher() {}
RuleMatcher(const PatternToMatch &P) : P(P) {}
InstructionMatcher &addInstructionMatcher() { InstructionMatcher &addInstructionMatcher() {
Matchers.emplace_back(new InstructionMatcher()); Matchers.emplace_back(new InstructionMatcher());
@ -334,9 +344,6 @@ public:
if (Matchers.empty()) if (Matchers.empty())
llvm_unreachable("Unexpected empty matcher!"); llvm_unreachable("Unexpected empty matcher!");
OS << " // Src: " << *P.getSrcPattern() << "\n"
<< " // Dst: " << *P.getDstPattern() << "\n";
// The representation supports rules that require multiple roots such as: // The representation supports rules that require multiple roots such as:
// %ptr(p0) = ... // %ptr(p0) = ...
// %elt0(s32) = G_LOAD %ptr // %elt0(s32) = G_LOAD %ptr
@ -385,7 +392,8 @@ Optional<GlobalISelEmitter::SkipReason>
GlobalISelEmitter::runOnPattern(const PatternToMatch &P, raw_ostream &OS) { GlobalISelEmitter::runOnPattern(const PatternToMatch &P, raw_ostream &OS) {
// Keep track of the matchers and actions to emit. // Keep track of the matchers and actions to emit.
RuleMatcher M(P); RuleMatcher M;
M.addAction<DebugCommentAction>(P);
// First, analyze the whole pattern. // First, analyze the whole pattern.
// If the entire pattern has a predicate (e.g., target features), ignore it. // If the entire pattern has a predicate (e.g., target features), ignore it.