mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 19:23:23 +01:00
Teach TableGen to pre-calculate register enum values when creating the
CodeGenRegister entries. Use this information to more intelligently build the literal register entires in the DAGISel matcher table. Specifically, use a single-byte OPC_EmitRegister entry for registers with a value of less than 256 and OPC_EmitRegister2 entry for registers with a larger value. rdar://9066491 llvm-svn: 127456
This commit is contained in:
parent
2cd24b852f
commit
c7548fce48
@ -148,12 +148,8 @@ void DAGISelEmitter::run(raw_ostream &OS) {
|
|||||||
Matcher *TheMatcher = new ScopeMatcher(&PatternMatchers[0],
|
Matcher *TheMatcher = new ScopeMatcher(&PatternMatchers[0],
|
||||||
PatternMatchers.size());
|
PatternMatchers.size());
|
||||||
|
|
||||||
CodeGenTarget Target(Records);
|
|
||||||
const std::vector<CodeGenRegister> &Registers = Target.getRegisters();
|
|
||||||
bool useEmitRegister2 = Registers.size() > 255;
|
|
||||||
|
|
||||||
TheMatcher = OptimizeMatcher(TheMatcher, CGP);
|
TheMatcher = OptimizeMatcher(TheMatcher, CGP);
|
||||||
//Matcher->dump();
|
//Matcher->dump();
|
||||||
EmitMatcherTable(TheMatcher, CGP, useEmitRegister2, OS);
|
EmitMatcherTable(TheMatcher, CGP, OS);
|
||||||
delete TheMatcher;
|
delete TheMatcher;
|
||||||
}
|
}
|
||||||
|
@ -17,6 +17,7 @@
|
|||||||
#include "llvm/Support/Casting.h"
|
#include "llvm/Support/Casting.h"
|
||||||
|
|
||||||
namespace llvm {
|
namespace llvm {
|
||||||
|
struct CodeGenRegister;
|
||||||
class CodeGenDAGPatterns;
|
class CodeGenDAGPatterns;
|
||||||
class Matcher;
|
class Matcher;
|
||||||
class PatternToMatch;
|
class PatternToMatch;
|
||||||
@ -29,7 +30,7 @@ Matcher *ConvertPatternToMatcher(const PatternToMatch &Pattern,unsigned Variant,
|
|||||||
const CodeGenDAGPatterns &CGP);
|
const CodeGenDAGPatterns &CGP);
|
||||||
Matcher *OptimizeMatcher(Matcher *Matcher, const CodeGenDAGPatterns &CGP);
|
Matcher *OptimizeMatcher(Matcher *Matcher, const CodeGenDAGPatterns &CGP);
|
||||||
void EmitMatcherTable(const Matcher *Matcher, const CodeGenDAGPatterns &CGP,
|
void EmitMatcherTable(const Matcher *Matcher, const CodeGenDAGPatterns &CGP,
|
||||||
bool useEmitRegister2, raw_ostream &OS);
|
raw_ostream &OS);
|
||||||
|
|
||||||
|
|
||||||
/// Matcher - Base class for all the the DAG ISel Matcher representation
|
/// Matcher - Base class for all the the DAG ISel Matcher representation
|
||||||
@ -816,13 +817,13 @@ private:
|
|||||||
class EmitRegisterMatcher : public Matcher {
|
class EmitRegisterMatcher : public Matcher {
|
||||||
/// Reg - The def for the register that we're emitting. If this is null, then
|
/// Reg - The def for the register that we're emitting. If this is null, then
|
||||||
/// this is a reference to zero_reg.
|
/// this is a reference to zero_reg.
|
||||||
Record *Reg;
|
const CodeGenRegister *Reg;
|
||||||
MVT::SimpleValueType VT;
|
MVT::SimpleValueType VT;
|
||||||
public:
|
public:
|
||||||
EmitRegisterMatcher(Record *reg, MVT::SimpleValueType vt)
|
EmitRegisterMatcher(const CodeGenRegister *reg, MVT::SimpleValueType vt)
|
||||||
: Matcher(EmitRegister), Reg(reg), VT(vt) {}
|
: Matcher(EmitRegister), Reg(reg), VT(vt) {}
|
||||||
|
|
||||||
Record *getReg() const { return Reg; }
|
const CodeGenRegister *getReg() const { return Reg; }
|
||||||
MVT::SimpleValueType getVT() const { return VT; }
|
MVT::SimpleValueType getVT() const { return VT; }
|
||||||
|
|
||||||
static inline bool classof(const Matcher *N) {
|
static inline bool classof(const Matcher *N) {
|
||||||
|
@ -43,11 +43,9 @@ class MatcherTableEmitter {
|
|||||||
DenseMap<Record*, unsigned> NodeXFormMap;
|
DenseMap<Record*, unsigned> NodeXFormMap;
|
||||||
std::vector<Record*> NodeXForms;
|
std::vector<Record*> NodeXForms;
|
||||||
|
|
||||||
bool useEmitRegister2;
|
|
||||||
|
|
||||||
public:
|
public:
|
||||||
MatcherTableEmitter(const CodeGenDAGPatterns &cgp, bool _useEmitRegister2)
|
MatcherTableEmitter(const CodeGenDAGPatterns &cgp)
|
||||||
: CGP(cgp), useEmitRegister2(_useEmitRegister2) {}
|
: CGP(cgp) {}
|
||||||
|
|
||||||
unsigned EmitMatcherList(const Matcher *N, unsigned Indent,
|
unsigned EmitMatcherList(const Matcher *N, unsigned Indent,
|
||||||
unsigned StartIdx, formatted_raw_ostream &OS);
|
unsigned StartIdx, formatted_raw_ostream &OS);
|
||||||
@ -431,25 +429,20 @@ EmitMatcher(const Matcher *N, unsigned Indent, unsigned CurrentIdx,
|
|||||||
return 3;
|
return 3;
|
||||||
}
|
}
|
||||||
|
|
||||||
case Matcher::EmitRegister:
|
case Matcher::EmitRegister: {
|
||||||
if (useEmitRegister2) {
|
const EmitRegisterMatcher *Matcher = cast<EmitRegisterMatcher>(N);
|
||||||
OS << "OPC_EmitRegister2, "
|
const CodeGenRegister *Reg = Matcher->getReg();
|
||||||
<< getEnumName(cast<EmitRegisterMatcher>(N)->getVT()) << ", ";
|
// If the enum value of the register is larger than one byte can handle,
|
||||||
if (Record *R = cast<EmitRegisterMatcher>(N)->getReg())
|
// use EmitRegister2.
|
||||||
OS << "TARGET_VAL(" << getQualifiedName(R) << "),\n";
|
if (Reg && Reg->EnumValue > 255) {
|
||||||
else {
|
OS << "OPC_EmitRegister2, " << getEnumName(Matcher->getVT()) << ", ";
|
||||||
OS << "TARGET_VAL(0) ";
|
OS << "TARGET_VAL(" << getQualifiedName(Reg->TheDef) << "),\n";
|
||||||
if (!OmitComments)
|
|
||||||
OS << "/*zero_reg*/";
|
|
||||||
OS << ",\n";
|
|
||||||
}
|
|
||||||
return 4;
|
return 4;
|
||||||
} else {
|
} else {
|
||||||
OS << "OPC_EmitRegister, "
|
OS << "OPC_EmitRegister, " << getEnumName(Matcher->getVT()) << ", ";
|
||||||
<< getEnumName(cast<EmitRegisterMatcher>(N)->getVT()) << ", ";
|
if (Reg) {
|
||||||
if (Record *R = cast<EmitRegisterMatcher>(N)->getReg())
|
OS << getQualifiedName(Reg->TheDef) << ",\n";
|
||||||
OS << getQualifiedName(R) << ",\n";
|
} else {
|
||||||
else {
|
|
||||||
OS << "0 ";
|
OS << "0 ";
|
||||||
if (!OmitComments)
|
if (!OmitComments)
|
||||||
OS << "/*zero_reg*/";
|
OS << "/*zero_reg*/";
|
||||||
@ -457,6 +450,7 @@ EmitMatcher(const Matcher *N, unsigned Indent, unsigned CurrentIdx,
|
|||||||
}
|
}
|
||||||
return 3;
|
return 3;
|
||||||
}
|
}
|
||||||
|
}
|
||||||
|
|
||||||
case Matcher::EmitConvertToTarget:
|
case Matcher::EmitConvertToTarget:
|
||||||
OS << "OPC_EmitConvertToTarget, "
|
OS << "OPC_EmitConvertToTarget, "
|
||||||
@ -800,14 +794,13 @@ void MatcherTableEmitter::EmitHistogram(const Matcher *M,
|
|||||||
|
|
||||||
void llvm::EmitMatcherTable(const Matcher *TheMatcher,
|
void llvm::EmitMatcherTable(const Matcher *TheMatcher,
|
||||||
const CodeGenDAGPatterns &CGP,
|
const CodeGenDAGPatterns &CGP,
|
||||||
bool useEmitRegister2,
|
|
||||||
raw_ostream &O) {
|
raw_ostream &O) {
|
||||||
formatted_raw_ostream OS(O);
|
formatted_raw_ostream OS(O);
|
||||||
|
|
||||||
OS << "// The main instruction selector code.\n";
|
OS << "// The main instruction selector code.\n";
|
||||||
OS << "SDNode *SelectCode(SDNode *N) {\n";
|
OS << "SDNode *SelectCode(SDNode *N) {\n";
|
||||||
|
|
||||||
MatcherTableEmitter MatcherEmitter(CGP, useEmitRegister2);
|
MatcherTableEmitter MatcherEmitter(CGP);
|
||||||
|
|
||||||
OS << " // Some target values are emitted as 2 bytes, TARGET_VAL handles\n";
|
OS << " // Some target values are emitted as 2 bytes, TARGET_VAL handles\n";
|
||||||
OS << " // this.\n";
|
OS << " // this.\n";
|
||||||
|
@ -9,7 +9,9 @@
|
|||||||
|
|
||||||
#include "DAGISelMatcher.h"
|
#include "DAGISelMatcher.h"
|
||||||
#include "CodeGenDAGPatterns.h"
|
#include "CodeGenDAGPatterns.h"
|
||||||
|
#include "CodeGenRegisters.h"
|
||||||
#include "Record.h"
|
#include "Record.h"
|
||||||
|
#include "llvm/ADT/DenseMap.h"
|
||||||
#include "llvm/ADT/SmallVector.h"
|
#include "llvm/ADT/SmallVector.h"
|
||||||
#include "llvm/ADT/StringMap.h"
|
#include "llvm/ADT/StringMap.h"
|
||||||
#include <utility>
|
#include <utility>
|
||||||
@ -91,6 +93,10 @@ namespace {
|
|||||||
/// CurPredicate - As we emit matcher nodes, this points to the latest check
|
/// CurPredicate - As we emit matcher nodes, this points to the latest check
|
||||||
/// which should have future checks stuck into its Next position.
|
/// which should have future checks stuck into its Next position.
|
||||||
Matcher *CurPredicate;
|
Matcher *CurPredicate;
|
||||||
|
|
||||||
|
/// RegisterDefMap - A map of register record definitions to the
|
||||||
|
/// corresponding target CodeGenRegister entry.
|
||||||
|
DenseMap<const Record *, const CodeGenRegister *> RegisterDefMap;
|
||||||
public:
|
public:
|
||||||
MatcherGen(const PatternToMatch &pattern, const CodeGenDAGPatterns &cgp);
|
MatcherGen(const PatternToMatch &pattern, const CodeGenDAGPatterns &cgp);
|
||||||
|
|
||||||
@ -159,6 +165,12 @@ MatcherGen::MatcherGen(const PatternToMatch &pattern,
|
|||||||
|
|
||||||
// If there are types that are manifestly known, infer them.
|
// If there are types that are manifestly known, infer them.
|
||||||
InferPossibleTypes();
|
InferPossibleTypes();
|
||||||
|
|
||||||
|
// Populate the map from records to CodeGenRegister entries.
|
||||||
|
const CodeGenTarget &CGT = CGP.getTargetInfo();
|
||||||
|
const std::vector<CodeGenRegister> &Registers = CGT.getRegisters();
|
||||||
|
for (unsigned i = 0, e = Registers.size(); i != e; ++i)
|
||||||
|
RegisterDefMap[Registers[i].TheDef] = &Registers[i];
|
||||||
}
|
}
|
||||||
|
|
||||||
/// InferPossibleTypes - As we emit the pattern, we end up generating type
|
/// InferPossibleTypes - As we emit the pattern, we end up generating type
|
||||||
@ -578,7 +590,8 @@ void MatcherGen::EmitResultLeafAsOperand(const TreePatternNode *N,
|
|||||||
// If this is an explicit register reference, handle it.
|
// If this is an explicit register reference, handle it.
|
||||||
if (DefInit *DI = dynamic_cast<DefInit*>(N->getLeafValue())) {
|
if (DefInit *DI = dynamic_cast<DefInit*>(N->getLeafValue())) {
|
||||||
if (DI->getDef()->isSubClassOf("Register")) {
|
if (DI->getDef()->isSubClassOf("Register")) {
|
||||||
AddMatcher(new EmitRegisterMatcher(DI->getDef(), N->getType(0)));
|
AddMatcher(new EmitRegisterMatcher(RegisterDefMap[DI->getDef()],
|
||||||
|
N->getType(0)));
|
||||||
ResultOps.push_back(NextRecordedOperandNo++);
|
ResultOps.push_back(NextRecordedOperandNo++);
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user