6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-04-06 09:44:39 +00:00
Code Issues Projects Releases Wiki Activity

[RewriteStatepointsForGC] Use idomatic mechanisms for debug tracing [NFC]

Browse Source 
Deleting much of the code using trace-rewrite-statepoints and use idiomatic DEBUG statements instead.  This includes adding operator<< to a helper class.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@243054 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Philip Reames 2015-07-23 22:25:26 +00:00
parent 99d1c88279
commit 173e222715
1 changed files with 22 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
lib/Transforms/Scalar/RewriteStatepointsForGC.cpp
View File

@ -546,13 +546,10 @@ static Value *findBaseDefiningValueCached(Value *I, DefiningValueMapTy &Cache) {
Value *&Cached = Cache[I];
if (!Cached) {
Cached = findBaseDefiningValue(I);
DEBUG(dbgs() << "fBDV-cached: " << I->getName() << " -> "
<< Cached->getName() << "\n");
}
assert(Cache[I] != nullptr);
if (TraceLSP) {
dbgs() << "fBDV-cached: " << I->getName() << " -> " << Cached->getName()
<< "\n";
}
return Cached;
}
@ -612,9 +609,12 @@ public:
bool operator!=(const PhiState &other) const { return !(*this == other); }
void dump() {
errs() << status << " (" << base << " - "
<< (base ? base->getName() : "nullptr") << "): ";
LLVM_DUMP_METHOD
void dump() const { print(dbgs()); dbgs() << '\n'; }
void print(raw_ostream &OS) const {
OS << status << " (" << base << " - "
<< (base ? base->getName() : "nullptr") << "): ";
}
private:
@ -622,6 +622,12 @@ private:
Value *base; // non null only if status == base
};
inline raw_ostream &operator<<(raw_ostream &OS, const PhiState &State) {
State.print(OS);
return OS;
}
typedef DenseMap<Value *, PhiState> ConflictStateMapTy;
// Values of type PhiState form a lattice, and this is a helper
// class that implementes the meet operation. The meat of the meet
@ -646,7 +652,10 @@ private:
static PhiState meet(PhiState LHS, PhiState RHS) {
assert((pureMeet(LHS, RHS) == pureMeet(RHS, LHS)) &&
"math is wrong: meet does not commute!");
return pureMeet(LHS, RHS);
PhiState Result = pureMeet(LHS, RHS);
DEBUG(dbgs() << "meet of " << LHS << " with " << RHS
<< " produced " << Result << "\n");
return Result;
}
static PhiState pureMeet(const PhiState &stateA, const PhiState &stateB) {
@ -754,12 +763,8 @@ static Value *findBasePointer(Value *I, DefiningValueMapTy &cache) {
if (TraceLSP) {
errs() << "States after initialization:\n";
for (auto Pair : states) {
Instruction *v = cast<Instruction>(Pair.first);
PhiState state = Pair.second;
state.dump();
v->dump();
}
for (auto Pair : states)
dbgs() << " " << Pair.second << " for " << Pair.first << "\n";
}
// TODO: come back and revisit the state transitions around inputs which
@ -815,12 +820,8 @@ static Value *findBasePointer(Value *I, DefiningValueMapTy &cache) {
if (TraceLSP) {
errs() << "States after meet iteration:\n";
for (auto Pair : states) {
Instruction *v = cast<Instruction>(Pair.first);
PhiState state = Pair.second;
state.dump();
v->dump();
}
for (auto Pair : states)
dbgs() << " " << Pair.second << " for " << Pair.first << "\n";
}
// Insert Phis for all conflicts