X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=lib%2FTransforms%2FScalar%2FCorrelatedExprs.cpp;h=cb8bd6109c131843a6a207eeec02ef6cce913208;hb=309f19391b571084ba9f6b0372e63b875ca2b869;hp=9be508d3a857c82aad602c038cf1a0d6b1b0df5e;hpb=c017d9132a6318085efbbb1ccd7894168ea20d96;p=oota-llvm.git diff --git a/lib/Transforms/Scalar/CorrelatedExprs.cpp b/lib/Transforms/Scalar/CorrelatedExprs.cpp index 9be508d3a85..cb8bd6109c1 100644 --- a/lib/Transforms/Scalar/CorrelatedExprs.cpp +++ b/lib/Transforms/Scalar/CorrelatedExprs.cpp @@ -1,12 +1,12 @@ //===- CorrelatedExprs.cpp - Pass to detect and eliminated c.e.'s ---------===// // -// Correlated Expression Elimination propogates information from conditional -// branches to blocks dominated by destinations of the branch. It propogates +// Correlated Expression Elimination propagates information from conditional +// branches to blocks dominated by destinations of the branch. It propagates // information from the condition check itself into the body of the branch, // allowing transformations like these for example: // // if (i == 7) -// ... 4*i; // constant propogation +// ... 4*i; // constant propagation // // M = i+1; N = j+1; // if (i == j) @@ -32,13 +32,13 @@ #include "llvm/Support/ConstantRange.h" #include "llvm/Support/CFG.h" #include "Support/PostOrderIterator.h" -#include "Support/StatisticReporter.h" +#include "Support/Statistic.h" #include namespace { - Statistic<>NumSetCCRemoved("cee\t\t- Number of setcc instruction eliminated"); - Statistic<>NumOperandsCann("cee\t\t- Number of operands cannonicalized"); - Statistic<>BranchRevectors("cee\t\t- Number of branches revectored"); + Statistic<> NumSetCCRemoved("cee", "Number of setcc instruction eliminated"); + Statistic<> NumOperandsCann("cee", "Number of operands cannonicalized"); + Statistic<> BranchRevectors("cee", "Number of branches revectored"); class ValueInfo; class Relation { @@ -91,7 +91,7 @@ namespace { // kept sorted by the Val field. std::vector Relationships; - // If information about this value is known or propogated from constant + // If information about this value is known or propagated from constant // expressions, this range contains the possible values this value may hold. ConstantRange Bounds; @@ -167,6 +167,9 @@ namespace { // this region. BasicBlock *getEntryBlock() const { return BB; } + // empty - return true if this region has no information known about it. + bool empty() const { return ValueMap.empty(); } + const RegionInfo &operator=(const RegionInfo &RI) { ValueMap = RI.ValueMap; return *this; @@ -174,6 +177,7 @@ namespace { // print - Output information about this region... void print(std::ostream &OS) const; + void dump() const; // Allow external access. typedef ValueMapTy::iterator iterator; @@ -191,6 +195,13 @@ namespace { if (I != ValueMap.end()) return &I->second; return 0; } + + /// removeValueInfo - Remove anything known about V from our records. This + /// works whether or not we know anything about V. + /// + void removeValueInfo(Value *V) { + ValueMap.erase(V); + } }; /// CEE - Correlated Expression Elimination @@ -204,9 +215,9 @@ namespace { // We don't modify the program, so we preserve all analyses virtual void getAnalysisUsage(AnalysisUsage &AU) const { - //AU.preservesCFG(); AU.addRequired(); AU.addRequired(); + AU.addRequiredID(BreakCriticalEdgesID); }; // print - Implement the standard print form to print out analysis @@ -231,10 +242,21 @@ namespace { bool TransformRegion(BasicBlock *BB, std::set &VisitedBlocks); - BasicBlock *isCorrelatedBranchBlock(BasicBlock *BB, RegionInfo &RI); - void PropogateBranchInfo(BranchInst *BI); - void PropogateEquality(Value *Op0, Value *Op1, RegionInfo &RI); - void PropogateRelation(Instruction::BinaryOps Opcode, Value *Op0, + bool ForwardCorrelatedEdgeDestination(TerminatorInst *TI, unsigned SuccNo, + RegionInfo &RI); + + void ForwardSuccessorTo(TerminatorInst *TI, unsigned Succ, BasicBlock *D, + RegionInfo &RI); + void ReplaceUsesOfValueInRegion(Value *Orig, Value *New, + BasicBlock *RegionDominator); + void CalculateRegionExitBlocks(BasicBlock *BB, BasicBlock *OldSucc, + std::vector &RegionExitBlocks); + void InsertRegionExitMerges(PHINode *NewPHI, Instruction *OldVal, + const std::vector &RegionExitBlocks); + + void PropagateBranchInfo(BranchInst *BI); + void PropagateEquality(Value *Op0, Value *Op1, RegionInfo &RI); + void PropagateRelation(Instruction::BinaryOps Opcode, Value *Op0, Value *Op1, RegionInfo &RI); void UpdateUsersOfValue(Value *V, RegionInfo &RI); void IncorporateInstruction(Instruction *Inst, RegionInfo &RI); @@ -307,69 +329,33 @@ bool CEE::TransformRegion(BasicBlock *BB, std::set &VisitedBlocks){ // Get the terminator of this basic block... TerminatorInst *TI = BB->getTerminator(); - // If this is a conditional branch, make sure that there is a branch target - // for each successor that can hold any information gleaned from the branch, - // by breaking any critical edges that may be laying about. - // - if (TI->getNumSuccessors() > 1) { - // If any of the successors has multiple incoming branches, add a new dummy - // destination branch that only contains an unconditional branch to the real - // target. - for (unsigned i = 0, e = TI->getNumSuccessors(); i != e; ++i) { - BasicBlock *Succ = TI->getSuccessor(i); - // If there is more than one predecessor of the destination block, break - // this critical edge by inserting a new block. This updates dominatorset - // and dominatortree information. - // - if (isCriticalEdge(TI, i)) - SplitCriticalEdge(TI, i, this); - } - } - // Loop over all of the blocks that this block is the immediate dominator for. // Because all information known in this region is also known in all of the - // blocks that are dominated by this one, we can safely propogate the + // blocks that are dominated by this one, we can safely propagate the // information down now. // DominatorTree::Node *BBN = (*DT)[BB]; - for (unsigned i = 0, e = BBN->getChildren().size(); i != e; ++i) { - BasicBlock *Dominated = BBN->getChildren()[i]->getNode(); - assert(RegionInfoMap.find(Dominated) == RegionInfoMap.end() && - "RegionInfo should be calculated in dominanace order!"); - getRegionInfo(Dominated) = RI; - } + if (!RI.empty()) // Time opt: only propagate if we can change something + for (unsigned i = 0, e = BBN->getChildren().size(); i != e; ++i) { + BasicBlock *Dominated = BBN->getChildren()[i]->getNode(); + assert(RegionInfoMap.find(Dominated) == RegionInfoMap.end() && + "RegionInfo should be calculated in dominanace order!"); + getRegionInfo(Dominated) = RI; + } // Now that all of our successors have information if they deserve it, - // propogate any information our terminator instruction finds to our + // propagate any information our terminator instruction finds to our // successors. if (BranchInst *BI = dyn_cast(TI)) if (BI->isConditional()) - PropogateBranchInfo(BI); + PropagateBranchInfo(BI); // If this is a branch to a block outside our region that simply performs // another conditional branch, one whose outcome is known inside of this // region, then vector this outgoing edge directly to the known destination. // for (unsigned i = 0, e = TI->getNumSuccessors(); i != e; ++i) - while (BasicBlock *Dest = isCorrelatedBranchBlock(TI->getSuccessor(i), RI)){ - // If there are any PHI nodes in the Dest BB, we must duplicate the entry - // in the PHI node for the old successor to now include an entry from the - // current basic block. - // - BasicBlock *OldSucc = TI->getSuccessor(i); - - // Loop over all of the PHI nodes... - for (BasicBlock::iterator I = Dest->begin(); - PHINode *PN = dyn_cast(&*I); ++I) { - // Find the entry in the PHI node for OldSucc, create a duplicate entry - // for BB now. - int BlockIndex = PN->getBasicBlockIndex(OldSucc); - assert(BlockIndex != -1 && "Block should have entry in PHI!"); - PN->addIncoming(PN->getIncomingValue(BlockIndex), BB); - } - - // Actually revector the branch now... - TI->setSuccessor(i, Dest); + while (ForwardCorrelatedEdgeDestination(TI, i, RI)) { ++BranchRevectors; Changed = true; } @@ -381,37 +367,374 @@ bool CEE::TransformRegion(BasicBlock *BB, std::set &VisitedBlocks){ return Changed; } -// If this block is a simple block not in the current region, which contains -// only a conditional branch, we determine if the outcome of the branch can be -// determined from information inside of the region. Instead of going to this -// block, we can instead go to the destination we know is the right target. +// isBlockSimpleEnoughForCheck to see if the block is simple enough for us to +// revector the conditional branch in the bottom of the block, do so now. // -BasicBlock *CEE::isCorrelatedBranchBlock(BasicBlock *BB, RegionInfo &RI) { +static bool isBlockSimpleEnough(BasicBlock *BB) { + assert(isa(BB->getTerminator())); + BranchInst *BI = cast(BB->getTerminator()); + assert(BI->isConditional()); + + // Check the common case first: empty block, or block with just a setcc. + if (BB->size() == 1 || + (BB->size() == 2 && &BB->front() == BI->getCondition() && + BI->getCondition()->use_size() == 1)) + return true; + + // Check the more complex case now... + BasicBlock::iterator I = BB->begin(); + + // FIXME: This should be reenabled once the regression with SIM is fixed! +#if 0 + // PHI Nodes are ok, just skip over them... + while (isa(*I)) ++I; +#endif + + // Accept the setcc instruction... + if (&*I == BI->getCondition()) + ++I; + + // Nothing else is acceptable here yet. We must not revector... unless we are + // at the terminator instruction. + if (&*I == BI) + return true; + + return false; +} + + +bool CEE::ForwardCorrelatedEdgeDestination(TerminatorInst *TI, unsigned SuccNo, + RegionInfo &RI) { + // If this successor is a simple block not in the current region, which + // contains only a conditional branch, we decide if the outcome of the branch + // can be determined from information inside of the region. Instead of going + // to this block, we can instead go to the destination we know is the right + // target. + // + // Check to see if we dominate the block. If so, this block will get the // condition turned to a constant anyway. // //if (DS->dominates(RI.getEntryBlock(), BB)) // return 0; - // Check to see if this is a conditional branch... - if (BranchInst *BI = dyn_cast(BB->getTerminator())) - if (BI->isConditional()) { - // Make sure that the block is either empty, or only contains a setcc. - if (BB->size() == 1 || - (BB->size() == 2 && &BB->front() == BI->getCondition() && - BI->getCondition()->use_size() == 1)) - if (SetCondInst *SCI = dyn_cast(BI->getCondition())) { - Relation::KnownResult Result = getSetCCResult(SCI, RI); - - if (Result == Relation::KnownTrue) - return BI->getSuccessor(0); - else if (Result == Relation::KnownFalse) - return BI->getSuccessor(1); - } + BasicBlock *BB = TI->getParent(); + + // Get the destination block of this edge... + BasicBlock *OldSucc = TI->getSuccessor(SuccNo); + + // Make sure that the block ends with a conditional branch and is simple + // enough for use to be able to revector over. + BranchInst *BI = dyn_cast(OldSucc->getTerminator()); + if (BI == 0 || !BI->isConditional() || !isBlockSimpleEnough(OldSucc)) + return false; + + // We can only forward the branch over the block if the block ends with a + // setcc we can determine the outcome for. + // + // FIXME: we can make this more generic. Code below already handles more + // generic case. + SetCondInst *SCI = dyn_cast(BI->getCondition()); + if (SCI == 0) return false; + + // Make a new RegionInfo structure so that we can simulate the effect of the + // PHI nodes in the block we are skipping over... + // + RegionInfo NewRI(RI); + + // Remove value information for all of the values we are simulating... to make + // sure we don't have any stale information. + for (BasicBlock::iterator I = OldSucc->begin(), E = OldSucc->end(); I!=E; ++I) + if (I->getType() != Type::VoidTy) + NewRI.removeValueInfo(I); + + // Put the newly discovered information into the RegionInfo... + for (BasicBlock::iterator I = OldSucc->begin(), E = OldSucc->end(); I!=E; ++I) + if (PHINode *PN = dyn_cast(&*I)) { + int OpNum = PN->getBasicBlockIndex(BB); + assert(OpNum != -1 && "PHI doesn't have incoming edge for predecessor!?"); + PropagateEquality(PN, PN->getIncomingValue(OpNum), NewRI); + } else if (SetCondInst *SCI = dyn_cast(&*I)) { + Relation::KnownResult Res = getSetCCResult(SCI, NewRI); + if (Res == Relation::Unknown) return false; + PropagateEquality(SCI, ConstantBool::get(Res), NewRI); + } else { + assert(isa(*I) && "Unexpected instruction type!"); } - return 0; + + // Compute the facts implied by what we have discovered... + ComputeReplacements(NewRI); + + ValueInfo &PredicateVI = NewRI.getValueInfo(BI->getCondition()); + if (PredicateVI.getReplacement() && + isa(PredicateVI.getReplacement())) { + ConstantBool *CB = cast(PredicateVI.getReplacement()); + + // Forward to the successor that corresponds to the branch we will take. + ForwardSuccessorTo(TI, SuccNo, BI->getSuccessor(!CB->getValue()), NewRI); + return true; + } + + return false; } +static Value *getReplacementOrValue(Value *V, RegionInfo &RI) { + if (const ValueInfo *VI = RI.requestValueInfo(V)) + if (Value *Repl = VI->getReplacement()) + return Repl; + return V; +} + +/// ForwardSuccessorTo - We have found that we can forward successor # 'SuccNo' +/// of Terminator 'TI' to the 'Dest' BasicBlock. This method performs the +/// mechanics of updating SSA information and revectoring the branch. +/// +void CEE::ForwardSuccessorTo(TerminatorInst *TI, unsigned SuccNo, + BasicBlock *Dest, RegionInfo &RI) { + // If there are any PHI nodes in the Dest BB, we must duplicate the entry + // in the PHI node for the old successor to now include an entry from the + // current basic block. + // + BasicBlock *OldSucc = TI->getSuccessor(SuccNo); + BasicBlock *BB = TI->getParent(); + + DEBUG(std::cerr << "Forwarding branch in basic block %" << BB->getName() + << " from block %" << OldSucc->getName() << " to block %" + << Dest->getName() << "\n"); + + DEBUG(std::cerr << "Before forwarding: " << *BB->getParent()); + + // Because we know that there cannot be critical edges in the flow graph, and + // that OldSucc has multiple outgoing edges, this means that Dest cannot have + // multiple incoming edges. + // +#ifndef NDEBUG + pred_iterator DPI = pred_begin(Dest); ++DPI; + assert(DPI == pred_end(Dest) && "Critical edge found!!"); +#endif + + // Loop over any PHI nodes in the destination, eliminating them, because they + // may only have one input. + // + while (PHINode *PN = dyn_cast(&Dest->front())) { + assert(PN->getNumIncomingValues() == 1 && "Crit edge found!"); + // Eliminate the PHI node + PN->replaceAllUsesWith(PN->getIncomingValue(0)); + Dest->getInstList().erase(PN); + } + + // If there are values defined in the "OldSucc" basic block, we need to insert + // PHI nodes in the regions we are dealing with to emulate them. This can + // insert dead phi nodes, but it is more trouble to see if they are used than + // to just blindly insert them. + // + if (DS->dominates(OldSucc, Dest)) { + // RegionExitBlocks - Find all of the blocks that are not dominated by Dest, + // but have predecessors that are. Additionally, prune down the set to only + // include blocks that are dominated by OldSucc as well. + // + std::vector RegionExitBlocks; + CalculateRegionExitBlocks(Dest, OldSucc, RegionExitBlocks); + + for (BasicBlock::iterator I = OldSucc->begin(), E = OldSucc->end(); + I != E; ++I) + if (I->getType() != Type::VoidTy) { + // Create and insert the PHI node into the top of Dest. + PHINode *NewPN = new PHINode(I->getType(), I->getName()+".fw_merge", + Dest->begin()); + // There is definitely an edge from OldSucc... add the edge now + NewPN->addIncoming(I, OldSucc); + + // There is also an edge from BB now, add the edge with the calculated + // value from the RI. + NewPN->addIncoming(getReplacementOrValue(I, RI), BB); + + // Make everything in the Dest region use the new PHI node now... + ReplaceUsesOfValueInRegion(I, NewPN, Dest); + + // Make sure that exits out of the region dominated by NewPN get PHI + // nodes that merge the values as appropriate. + InsertRegionExitMerges(NewPN, I, RegionExitBlocks); + } + } + + // If there were PHI nodes in OldSucc, we need to remove the entry for this + // edge from the PHI node, and we need to replace any references to the PHI + // node with a new value. + // + for (BasicBlock::iterator I = OldSucc->begin(); + PHINode *PN = dyn_cast(&*I); ) { + + // Get the value flowing across the old edge and remove the PHI node entry + // for this edge: we are about to remove the edge! Don't remove the PHI + // node yet though if this is the last edge into it. + Value *EdgeValue = PN->removeIncomingValue(BB, false); + + // Make sure that anything that used to use PN now refers to EdgeValue + ReplaceUsesOfValueInRegion(PN, EdgeValue, Dest); + + // If there is only one value left coming into the PHI node, replace the PHI + // node itself with the one incoming value left. + // + if (PN->getNumIncomingValues() == 1) { + assert(PN->getNumIncomingValues() == 1); + PN->replaceAllUsesWith(PN->getIncomingValue(0)); + PN->getParent()->getInstList().erase(PN); + I = OldSucc->begin(); + } else if (PN->getNumIncomingValues() == 0) { // Nuke the PHI + // If we removed the last incoming value to this PHI, nuke the PHI node + // now. + PN->replaceAllUsesWith(Constant::getNullValue(PN->getType())); + PN->getParent()->getInstList().erase(PN); + I = OldSucc->begin(); + } else { + ++I; // Otherwise, move on to the next PHI node + } + } + + // Actually revector the branch now... + TI->setSuccessor(SuccNo, Dest); + + // If we just introduced a critical edge in the flow graph, make sure to break + // it right away... + if (isCriticalEdge(TI, SuccNo)) + SplitCriticalEdge(TI, SuccNo, this); + + // Make sure that we don't introduce critical edges from oldsucc now! + for (unsigned i = 0, e = OldSucc->getTerminator()->getNumSuccessors(); + i != e; ++i) + if (isCriticalEdge(OldSucc->getTerminator(), i)) + SplitCriticalEdge(OldSucc->getTerminator(), i, this); + + // Since we invalidated the CFG, recalculate the dominator set so that it is + // useful for later processing! + // FIXME: This is much worse than it really should be! + //DS->recalculate(); + + DEBUG(std::cerr << "After forwarding: " << *BB->getParent()); +} + +/// ReplaceUsesOfValueInRegion - This method replaces all uses of Orig with uses +/// of New. It only affects instructions that are defined in basic blocks that +/// are dominated by Head. +/// +void CEE::ReplaceUsesOfValueInRegion(Value *Orig, Value *New, + BasicBlock *RegionDominator) { + assert(Orig != New && "Cannot replace value with itself"); + std::vector InstsToChange; + std::vector PHIsToChange; + InstsToChange.reserve(Orig->use_size()); + + // Loop over instructions adding them to InstsToChange vector, this allows us + // an easy way to avoid invalidating the use_iterator at a bad time. + for (Value::use_iterator I = Orig->use_begin(), E = Orig->use_end(); + I != E; ++I) + if (Instruction *User = dyn_cast(*I)) + if (DS->dominates(RegionDominator, User->getParent())) + InstsToChange.push_back(User); + else if (PHINode *PN = dyn_cast(User)) { + PHIsToChange.push_back(PN); + } + + // PHIsToChange contains PHI nodes that use Orig that do not live in blocks + // dominated by orig. If the block the value flows in from is dominated by + // RegionDominator, then we rewrite the PHI + for (unsigned i = 0, e = PHIsToChange.size(); i != e; ++i) { + PHINode *PN = PHIsToChange[i]; + for (unsigned j = 0, e = PN->getNumIncomingValues(); j != e; ++j) + if (PN->getIncomingValue(j) == Orig && + DS->dominates(RegionDominator, PN->getIncomingBlock(j))) + PN->setIncomingValue(j, New); + } + + // Loop over the InstsToChange list, replacing all uses of Orig with uses of + // New. This list contains all of the instructions in our region that use + // Orig. + for (unsigned i = 0, e = InstsToChange.size(); i != e; ++i) + if (PHINode *PN = dyn_cast(InstsToChange[i])) { + // PHINodes must be handled carefully. If the PHI node itself is in the + // region, we have to make sure to only do the replacement for incoming + // values that correspond to basic blocks in the region. + for (unsigned j = 0, e = PN->getNumIncomingValues(); j != e; ++j) + if (PN->getIncomingValue(j) == Orig && + DS->dominates(RegionDominator, PN->getIncomingBlock(j))) + PN->setIncomingValue(j, New); + + } else { + InstsToChange[i]->replaceUsesOfWith(Orig, New); + } +} + +static void CalcRegionExitBlocks(BasicBlock *Header, BasicBlock *BB, + std::set &Visited, + DominatorSet &DS, + std::vector &RegionExitBlocks) { + if (Visited.count(BB)) return; + Visited.insert(BB); + + if (DS.dominates(Header, BB)) { // Block in the region, recursively traverse + for (succ_iterator I = succ_begin(BB), E = succ_end(BB); I != E; ++I) + CalcRegionExitBlocks(Header, *I, Visited, DS, RegionExitBlocks); + } else { + // Header does not dominate this block, but we have a predecessor that does + // dominate us. Add ourself to the list. + RegionExitBlocks.push_back(BB); + } +} + +/// CalculateRegionExitBlocks - Find all of the blocks that are not dominated by +/// BB, but have predecessors that are. Additionally, prune down the set to +/// only include blocks that are dominated by OldSucc as well. +/// +void CEE::CalculateRegionExitBlocks(BasicBlock *BB, BasicBlock *OldSucc, + std::vector &RegionExitBlocks){ + std::set Visited; // Don't infinite loop + + // Recursively calculate blocks we are interested in... + CalcRegionExitBlocks(BB, BB, Visited, *DS, RegionExitBlocks); + + // Filter out blocks that are not dominated by OldSucc... + for (unsigned i = 0; i != RegionExitBlocks.size(); ) { + if (DS->dominates(OldSucc, RegionExitBlocks[i])) + ++i; // Block is ok, keep it. + else { + // Move to end of list... + std::swap(RegionExitBlocks[i], RegionExitBlocks.back()); + RegionExitBlocks.pop_back(); // Nuke the end + } + } +} + +void CEE::InsertRegionExitMerges(PHINode *BBVal, Instruction *OldVal, + const std::vector &RegionExitBlocks) { + assert(BBVal->getType() == OldVal->getType() && "Should be derived values!"); + BasicBlock *BB = BBVal->getParent(); + BasicBlock *OldSucc = OldVal->getParent(); + + // Loop over all of the blocks we have to place PHIs in, doing it. + for (unsigned i = 0, e = RegionExitBlocks.size(); i != e; ++i) { + BasicBlock *FBlock = RegionExitBlocks[i]; // Block on the frontier + + // Create the new PHI node + PHINode *NewPN = new PHINode(BBVal->getType(), + OldVal->getName()+".fw_frontier", + FBlock->begin()); + + // Add an incoming value for every predecessor of the block... + for (pred_iterator PI = pred_begin(FBlock), PE = pred_end(FBlock); + PI != PE; ++PI) { + // If the incoming edge is from the region dominated by BB, use BBVal, + // otherwise use OldVal. + NewPN->addIncoming(DS->dominates(BB, *PI) ? BBVal : OldVal, *PI); + } + + // Now make everyone dominated by this block use this new value! + ReplaceUsesOfValueInRegion(OldVal, NewPN, FBlock); + } +} + + + // BuildRankMap - This method builds the rank map data structure which gives // each instruction/value in the function a value based on how early it appears // in the function. We give constants and globals rank 0, arguments are @@ -437,33 +760,30 @@ void CEE::BuildRankMap(Function &F) { } -// PropogateBranchInfo - When this method is invoked, we need to propogate +// PropagateBranchInfo - When this method is invoked, we need to propagate // information derived from the branch condition into the true and false // branches of BI. Since we know that there aren't any critical edges in the // flow graph, this can proceed unconditionally. // -void CEE::PropogateBranchInfo(BranchInst *BI) { +void CEE::PropagateBranchInfo(BranchInst *BI) { assert(BI->isConditional() && "Must be a conditional branch!"); - BasicBlock *BB = BI->getParent(); - BasicBlock *TrueBB = BI->getSuccessor(0); - BasicBlock *FalseBB = BI->getSuccessor(1); - // Propogate information into the true block... + // Propagate information into the true block... // - PropogateEquality(BI->getCondition(), ConstantBool::True, - getRegionInfo(TrueBB)); + PropagateEquality(BI->getCondition(), ConstantBool::True, + getRegionInfo(BI->getSuccessor(0))); - // Propogate information into the false block... + // Propagate information into the false block... // - PropogateEquality(BI->getCondition(), ConstantBool::False, - getRegionInfo(FalseBB)); + PropagateEquality(BI->getCondition(), ConstantBool::False, + getRegionInfo(BI->getSuccessor(1))); } -// PropogateEquality - If we discover that two values are equal to each other in -// a specified region, propogate this knowledge recursively. +// PropagateEquality - If we discover that two values are equal to each other in +// a specified region, propagate this knowledge recursively. // -void CEE::PropogateEquality(Value *Op0, Value *Op1, RegionInfo &RI) { +void CEE::PropagateEquality(Value *Op0, Value *Op1, RegionInfo &RI) { if (Op0 == Op1) return; // Gee whiz. Are these really equal each other? if (isa(Op0)) // Make sure the constant is always Op1 @@ -491,8 +811,8 @@ void CEE::PropogateEquality(Value *Op0, Value *Op1, RegionInfo &RI) { // as well. // if (CB->getValue() && Inst->getOpcode() == Instruction::And) { - PropogateEquality(Inst->getOperand(0), CB, RI); - PropogateEquality(Inst->getOperand(1), CB, RI); + PropagateEquality(Inst->getOperand(0), CB, RI); + PropagateEquality(Inst->getOperand(1), CB, RI); } // If we know that this instruction is an OR instruction, and the result @@ -500,8 +820,8 @@ void CEE::PropogateEquality(Value *Op0, Value *Op1, RegionInfo &RI) { // as well. // if (!CB->getValue() && Inst->getOpcode() == Instruction::Or) { - PropogateEquality(Inst->getOperand(0), CB, RI); - PropogateEquality(Inst->getOperand(1), CB, RI); + PropagateEquality(Inst->getOperand(0), CB, RI); + PropagateEquality(Inst->getOperand(1), CB, RI); } // If we know that this instruction is a NOT instruction, we know that the @@ -509,48 +829,48 @@ void CEE::PropogateEquality(Value *Op0, Value *Op1, RegionInfo &RI) { // if (BinaryOperator *BOp = dyn_cast(Inst)) if (BinaryOperator::isNot(BOp)) - PropogateEquality(BinaryOperator::getNotArgument(BOp), + PropagateEquality(BinaryOperator::getNotArgument(BOp), ConstantBool::get(!CB->getValue()), RI); - // If we know the value of a SetCC instruction, propogate the information + // If we know the value of a SetCC instruction, propagate the information // about the relation into this region as well. // if (SetCondInst *SCI = dyn_cast(Inst)) { if (CB->getValue()) { // If we know the condition is true... - // Propogate info about the LHS to the RHS & RHS to LHS - PropogateRelation(SCI->getOpcode(), SCI->getOperand(0), + // Propagate info about the LHS to the RHS & RHS to LHS + PropagateRelation(SCI->getOpcode(), SCI->getOperand(0), SCI->getOperand(1), RI); - PropogateRelation(SCI->getSwappedCondition(), + PropagateRelation(SCI->getSwappedCondition(), SCI->getOperand(1), SCI->getOperand(0), RI); } else { // If we know the condition is false... // We know the opposite of the condition is true... Instruction::BinaryOps C = SCI->getInverseCondition(); - PropogateRelation(C, SCI->getOperand(0), SCI->getOperand(1), RI); - PropogateRelation(SetCondInst::getSwappedCondition(C), + PropagateRelation(C, SCI->getOperand(0), SCI->getOperand(1), RI); + PropagateRelation(SetCondInst::getSwappedCondition(C), SCI->getOperand(1), SCI->getOperand(0), RI); } } } } - // Propogate information about Op0 to Op1 & visa versa - PropogateRelation(Instruction::SetEQ, Op0, Op1, RI); - PropogateRelation(Instruction::SetEQ, Op1, Op0, RI); + // Propagate information about Op0 to Op1 & visa versa + PropagateRelation(Instruction::SetEQ, Op0, Op1, RI); + PropagateRelation(Instruction::SetEQ, Op1, Op0, RI); } -// PropogateRelation - We know that the specified relation is true in all of the -// blocks in the specified region. Propogate the information about Op0 and +// PropagateRelation - We know that the specified relation is true in all of the +// blocks in the specified region. Propagate the information about Op0 and // anything derived from it into this region. // -void CEE::PropogateRelation(Instruction::BinaryOps Opcode, Value *Op0, +void CEE::PropagateRelation(Instruction::BinaryOps Opcode, Value *Op0, Value *Op1, RegionInfo &RI) { assert(Op0->getType() == Op1->getType() && "Equal types expected!"); // Constants are already pretty well understood. We will apply information - // about the constant to Op1 in another call to PropogateRelation. + // about the constant to Op1 in another call to PropagateRelation. // if (isa(Op0)) return; @@ -576,7 +896,7 @@ void CEE::PropogateRelation(Instruction::BinaryOps Opcode, Value *Op0, } // If the information propogted is new, then we want process the uses of this - // instruction to propogate the information down to them. + // instruction to propagate the information down to them. // if (Op1R.incorporate(Opcode, VI)) UpdateUsersOfValue(Op0, RI); @@ -584,16 +904,16 @@ void CEE::PropogateRelation(Instruction::BinaryOps Opcode, Value *Op0, // UpdateUsersOfValue - The information about V in this region has been updated. -// Propogate this to all consumers of the value. +// Propagate this to all consumers of the value. // void CEE::UpdateUsersOfValue(Value *V, RegionInfo &RI) { for (Value::use_iterator I = V->use_begin(), E = V->use_end(); I != E; ++I) if (Instruction *Inst = dyn_cast(*I)) { // If this is an instruction using a value that we know something about, - // try to propogate information to the value produced by the + // try to propagate information to the value produced by the // instruction. We can only do this if it is an instruction we can - // propogate information for (a setcc for example), and we only WANT to + // propagate information for (a setcc for example), and we only WANT to // do this if the instruction dominates this region. // // If the instruction doesn't dominate this region, then it cannot be @@ -617,7 +937,7 @@ void CEE::IncorporateInstruction(Instruction *Inst, RegionInfo &RI) { // See if we can figure out a result for this instruction... Relation::KnownResult Result = getSetCCResult(SCI, RI); if (Result != Relation::Unknown) { - PropogateEquality(SCI, Result ? ConstantBool::True : ConstantBool::False, + PropagateEquality(SCI, Result ? ConstantBool::True : ConstantBool::False, RI); } } @@ -721,7 +1041,7 @@ bool CEE::SimplifyInstruction(Instruction *I, const RegionInfo &RI) { } -// SimplifySetCC - Try to simplify a setcc instruction based on information +// getSetCCResult - Try to simplify a setcc instruction based on information // inherited from a dominating setcc instruction. V is one of the operands to // the setcc instruction, and VI is the set of information known about it. We // take two cases into consideration here. If the comparison is against a @@ -984,5 +1304,7 @@ void Relation::print(std::ostream &OS) const { OS << "\n"; } +// Don't inline these methods or else we won't be able to call them from GDB! void Relation::dump() const { print(std::cerr); } void ValueInfo::dump() const { print(std::cerr, 0); } +void RegionInfo::dump() const { print(std::cerr); }