2003-11-06 19:46:29 +00:00
|
|
|
//===- DemoteRegToStack.cpp - Move a virtual register to the stack --------===//
|
2002-12-10 13:07:58 +00:00
|
|
|
//
|
2003-10-20 19:43:21 +00:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file was developed by the LLVM research group and is distributed under
|
|
|
|
// the University of Illinois Open Source License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
2003-05-29 15:12:27 +00:00
|
|
|
// This file provide the function DemoteRegToStack(). This function takes a
|
|
|
|
// virtual register computed by an Instruction& X and replaces it with a slot in
|
|
|
|
// the stack frame, allocated via alloca. It returns the pointer to the
|
|
|
|
// AllocaInst inserted.
|
|
|
|
//
|
2002-12-10 13:07:58 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "llvm/Transforms/Utils/DemoteRegToStack.h"
|
|
|
|
#include "llvm/Function.h"
|
|
|
|
#include "llvm/iMemory.h"
|
|
|
|
#include "llvm/iPHINode.h"
|
|
|
|
#include "llvm/iTerminators.h"
|
|
|
|
#include "llvm/Type.h"
|
|
|
|
#include "Support/hash_set"
|
|
|
|
|
|
|
|
typedef hash_set<PHINode*> PhiSet;
|
|
|
|
typedef hash_set<PHINode*>::iterator PhiSetIterator;
|
|
|
|
|
|
|
|
// Helper function to push a phi *and* all its operands to the worklist!
|
|
|
|
// Do not push an instruction if it is already in the result set of Phis to go.
|
2003-11-06 19:46:29 +00:00
|
|
|
inline void PushOperandsOnWorkList(std::vector<Instruction*>& workList,
|
2003-05-29 15:12:27 +00:00
|
|
|
PhiSet& phisToGo, PHINode* phiN) {
|
|
|
|
for (User::op_iterator OI = phiN->op_begin(), OE = phiN->op_end();
|
2003-11-06 19:46:29 +00:00
|
|
|
OI != OE; ++OI) {
|
|
|
|
Instruction* opI = cast<Instruction>(OI);
|
|
|
|
if (!isa<PHINode>(opI) || !phisToGo.count(cast<PHINode>(opI)))
|
|
|
|
workList.push_back(opI);
|
|
|
|
}
|
2002-12-10 13:07:58 +00:00
|
|
|
}
|
|
|
|
|
2003-09-20 14:36:23 +00:00
|
|
|
static void FindPhis(Instruction& X, PhiSet& phisToGo) {
|
2003-11-06 19:46:29 +00:00
|
|
|
std::vector<Instruction*> workList;
|
|
|
|
workList.push_back(&X);
|
2002-12-10 13:07:58 +00:00
|
|
|
|
|
|
|
// Handle the case that X itself is a Phi!
|
2003-09-20 14:36:23 +00:00
|
|
|
if (PHINode* phiX = dyn_cast<PHINode>(&X)) {
|
|
|
|
phisToGo.insert(phiX);
|
|
|
|
PushOperandsOnWorkList(workList, phisToGo, phiX);
|
|
|
|
}
|
2002-12-10 13:07:58 +00:00
|
|
|
|
|
|
|
// Now use a worklist to find all phis reachable from X, and
|
|
|
|
// (recursively) all phis reachable from operands of such phis.
|
2003-11-06 19:46:29 +00:00
|
|
|
while (!workList.empty()) {
|
|
|
|
Instruction *I = workList.back();
|
|
|
|
workList.pop_back();
|
|
|
|
for (Value::use_iterator UI = I->use_begin(), E = I->use_end(); UI!=E; ++UI)
|
2003-09-20 14:36:23 +00:00
|
|
|
if (PHINode* phiN = dyn_cast<PHINode>(*UI))
|
|
|
|
if (phisToGo.find(phiN) == phisToGo.end()) {
|
|
|
|
// Seeing this phi for the first time: it must go!
|
|
|
|
phisToGo.insert(phiN);
|
2003-11-06 19:46:29 +00:00
|
|
|
workList.push_back(phiN);
|
2003-09-20 14:36:23 +00:00
|
|
|
PushOperandsOnWorkList(workList, phisToGo, phiN);
|
|
|
|
}
|
|
|
|
}
|
2002-12-10 13:07:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
// Insert loads before all uses of I, except uses in Phis
|
|
|
|
// since all such Phis *must* be deleted.
|
2003-09-20 14:36:23 +00:00
|
|
|
static void LoadBeforeUses(Instruction* def, AllocaInst* XSlot) {
|
|
|
|
for (unsigned nPhis = 0; def->use_size() - nPhis > 0; ) {
|
2002-12-10 13:07:58 +00:00
|
|
|
Instruction* useI = cast<Instruction>(def->use_back());
|
2003-09-20 14:36:23 +00:00
|
|
|
if (!isa<PHINode>(useI)) {
|
|
|
|
LoadInst* loadI =
|
|
|
|
new LoadInst(XSlot, std::string("Load")+XSlot->getName(), useI);
|
|
|
|
useI->replaceUsesOfWith(def, loadI);
|
|
|
|
} else
|
2002-12-10 13:07:58 +00:00
|
|
|
++nPhis;
|
2003-09-20 14:36:23 +00:00
|
|
|
}
|
2002-12-10 13:07:58 +00:00
|
|
|
}
|
|
|
|
|
2003-09-20 14:36:23 +00:00
|
|
|
static void AddLoadsAndStores(AllocaInst* XSlot, Instruction& X,
|
|
|
|
PhiSet& phisToGo) {
|
|
|
|
for (PhiSetIterator PI=phisToGo.begin(), PE=phisToGo.end(); PI != PE; ++PI) {
|
|
|
|
PHINode* pn = *PI;
|
|
|
|
|
|
|
|
// First, insert loads before all uses except uses in Phis.
|
|
|
|
// Do this first because new stores will appear as uses also!
|
|
|
|
LoadBeforeUses(pn, XSlot);
|
|
|
|
|
|
|
|
// For every incoming operand of the Phi, insert a store either
|
|
|
|
// just after the instruction defining the value or just before the
|
|
|
|
// predecessor of the Phi if the value is a formal, not an instruction.
|
|
|
|
//
|
|
|
|
for (unsigned i=0, N=pn->getNumIncomingValues(); i < N; ++i) {
|
|
|
|
Value* phiOp = pn->getIncomingValue(i);
|
|
|
|
if (phiOp != &X &&
|
2003-11-06 19:46:29 +00:00
|
|
|
(!isa<PHINode>(phiOp) || !phisToGo.count(cast<PHINode>(phiOp)))) {
|
2003-09-20 14:36:23 +00:00
|
|
|
// This operand is not a phi that will be deleted: need to store.
|
|
|
|
assert(!isa<TerminatorInst>(phiOp));
|
|
|
|
|
|
|
|
Instruction* storeBefore;
|
|
|
|
if (Instruction* I = dyn_cast<Instruction>(phiOp)) {
|
|
|
|
// phiOp is an instruction, store its result right after it.
|
|
|
|
assert(I->getNext() && "Non-terminator without successor?");
|
|
|
|
storeBefore = I->getNext();
|
|
|
|
} else {
|
|
|
|
// If not, it must be a formal: store it at the end of the
|
|
|
|
// predecessor block of the Phi (*not* at function entry!).
|
|
|
|
storeBefore = pn->getIncomingBlock(i)->getTerminator();
|
2002-12-10 13:07:58 +00:00
|
|
|
}
|
2003-09-20 14:36:23 +00:00
|
|
|
|
|
|
|
// Create instr. to store the value of phiOp before `insertBefore'
|
|
|
|
StoreInst* storeI = new StoreInst(phiOp, XSlot, storeBefore);
|
|
|
|
}
|
2002-12-10 13:07:58 +00:00
|
|
|
}
|
2003-09-20 14:36:23 +00:00
|
|
|
}
|
2002-12-10 13:07:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------------
|
|
|
|
// function DemoteRegToStack()
|
|
|
|
//
|
|
|
|
// This function takes a virtual register computed by an
|
|
|
|
// Instruction& X and replaces it with a slot in the stack frame,
|
|
|
|
// allocated via alloca. It has to:
|
|
|
|
// (1) Identify all Phi operations that have X as an operand and
|
|
|
|
// transitively other Phis that use such Phis;
|
|
|
|
// (2) Store all values merged with X via Phi operations to the stack slot;
|
|
|
|
// (3) Load the value from the stack slot just before any use of X or any
|
|
|
|
// of the Phis that were eliminated; and
|
|
|
|
// (4) Delete all the Phis, which should all now be dead.
|
|
|
|
//
|
|
|
|
// Returns the pointer to the alloca inserted to create a stack slot for X.
|
2003-11-06 19:46:29 +00:00
|
|
|
//
|
2003-09-20 14:36:23 +00:00
|
|
|
AllocaInst* DemoteRegToStack(Instruction& X) {
|
2002-12-10 13:07:58 +00:00
|
|
|
if (X.getType() == Type::VoidTy)
|
2003-11-06 19:46:29 +00:00
|
|
|
return 0; // nothing to do!
|
2002-12-10 13:07:58 +00:00
|
|
|
|
|
|
|
// Find all Phis involving X or recursively using such Phis or Phis
|
|
|
|
// involving operands of such Phis (essentially all Phis in the "web" of X)
|
|
|
|
PhiSet phisToGo;
|
|
|
|
FindPhis(X, phisToGo);
|
|
|
|
|
|
|
|
// Create a stack slot to hold X
|
2003-11-06 19:46:29 +00:00
|
|
|
Function* parentFunc = X.getParent()->getParent();
|
|
|
|
AllocaInst *XSlot = new AllocaInst(X.getType(), 0, X.getName(),
|
|
|
|
parentFunc->getEntryBlock().begin());
|
|
|
|
|
2002-12-10 13:07:58 +00:00
|
|
|
|
|
|
|
// Insert loads before all uses of X and (*only then*) insert store after X
|
|
|
|
assert(X.getNext() && "Non-terminator (since non-void) with no successor?");
|
|
|
|
LoadBeforeUses(&X, XSlot);
|
|
|
|
StoreInst* storeI = new StoreInst(&X, XSlot, X.getNext());
|
|
|
|
|
|
|
|
// Do the same for all the phis that will be deleted
|
|
|
|
AddLoadsAndStores(XSlot, X, phisToGo);
|
|
|
|
|
|
|
|
// Delete the phis and return the alloca instruction
|
2003-11-06 19:46:29 +00:00
|
|
|
for (PhiSetIterator PI = phisToGo.begin(), E = phisToGo.end(); PI != E; ++PI)
|
|
|
|
(*PI)->getParent()->getInstList().erase(*PI);
|
|
|
|
|
2002-12-10 13:07:58 +00:00
|
|
|
return XSlot;
|
|
|
|
}
|