6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-08-09 11:25:55 +00:00
Code Issues Projects Releases Wiki Activity

When folding addressing modes in CodeGenPrepare, attempt to look through PHI nodes

Browse Source 
if all the operands of the PHI are equivalent.  This allows CodeGenPrepare to undo
unprofitable PRE transforms.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@119853 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Owen Anderson
2010-11-19 22:15:03 +00:00
parent 2aeb6121a1
commit d2f4174fcc
1 changed files with 29 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

32
lib/Transforms/Scalar/CodeGenPrepare.cpp
View File

@@ -618,6 +618,32 @@ static bool IsNonLocalValue(Value *V, BasicBlock *BB) {
bool CodeGenPrepare::OptimizeMemoryInst(Instruction *MemoryInst, Value *Addr, bool CodeGenPrepare::OptimizeMemoryInst(Instruction *MemoryInst, Value *Addr,
const Type *AccessTy, const Type *AccessTy,
DenseMap<Value*,Value*> &SunkAddrs) { DenseMap<Value*,Value*> &SunkAddrs) {
// Try to collapse single-value PHI nodes. This is necessary to undo
// unprofitable PRE transformations.
Value *Repl = Addr;
if (isa<PHINode>(Addr) && MemoryInst->hasOneUse()) {
PHINode *P = cast<PHINode>(Addr);
Instruction *Consensus = 0;
unsigned NumUses = 0;
for (unsigned i = 0, e = P->getNumIncomingValues(); i != e; ++i) {
Instruction *Incoming = dyn_cast<Instruction>(P->getIncomingValue(i));
if (!Incoming || (Consensus && !Incoming->isIdenticalTo(Consensus))) {
Consensus = 0;
break;
}
if (!Consensus || Incoming->isIdenticalTo(Consensus)) {
if (Incoming->getNumUses() > NumUses) {
Consensus = Incoming;
NumUses = Incoming->getNumUses();
}
continue;
}
}
if (Consensus) Addr = Consensus;
}
// Figure out what addressing mode will be built up for this operation. // Figure out what addressing mode will be built up for this operation.
SmallVector<Instruction*, 16> AddrModeInsts; SmallVector<Instruction*, 16> AddrModeInsts;
ExtAddrMode AddrMode = AddressingModeMatcher::Match(Addr, AccessTy,MemoryInst, ExtAddrMode AddrMode = AddressingModeMatcher::Match(Addr, AccessTy,MemoryInst,
@@ -725,10 +751,10 @@ bool CodeGenPrepare::OptimizeMemoryInst(Instruction *MemoryInst, Value *Addr,
SunkAddr = new IntToPtrInst(Result, Addr->getType(), "sunkaddr",InsertPt); SunkAddr = new IntToPtrInst(Result, Addr->getType(), "sunkaddr",InsertPt);
} }
MemoryInst->replaceUsesOfWith(Addr, SunkAddr); MemoryInst->replaceUsesOfWith(Repl, SunkAddr);
if (Addr->use_empty()) { if (Repl->use_empty()) {
RecursivelyDeleteTriviallyDeadInstructions(Addr); RecursivelyDeleteTriviallyDeadInstructions(Repl);
// This address is now available for reassignment, so erase the table entry; // This address is now available for reassignment, so erase the table entry;
// we don't want to match some completely different instruction. // we don't want to match some completely different instruction.
SunkAddrs[Addr] = 0; SunkAddrs[Addr] = 0;