[llvm-commits] [llvm] r139035 - /llvm/trunk/lib/VMCore/AutoUpgrade.cpp
Bill Wendling
isanbard at gmail.com
Fri Sep 2 14:17:08 PDT 2011
Author: void
Date: Fri Sep 2 16:17:08 2011
New Revision: 139035
URL: http://llvm.org/viewvc/llvm-project?rev=139035&view=rev
Log:
No need to get fancy inserting a PHI node when the values are stored in stack
slots. This fixes a bug where the number of nodes coming into the PHI node may
not equal the number of predecessors. E.g., two or more landingpad instructions
may require a PHI before reaching the eh.exception and eh.selector instructions.
Modified:
llvm/trunk/lib/VMCore/AutoUpgrade.cpp
Modified: llvm/trunk/lib/VMCore/AutoUpgrade.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/VMCore/AutoUpgrade.cpp?rev=139035&r1=139034&r2=139035&view=diff
==============================================================================
--- llvm/trunk/lib/VMCore/AutoUpgrade.cpp (original)
+++ llvm/trunk/lib/VMCore/AutoUpgrade.cpp Fri Sep 2 16:17:08 2011
@@ -414,12 +414,6 @@
// This map stores the slots where the exception object and selector value are
// stored within a function.
DenseMap<Function*, std::pair<Value*, Value*> > FnToLPadSlotMap;
-
- // This maps the old intrinsic calls (eh.exception & eh.selector) to the new
- // landingpad instruction(s).
- DenseMap<std::pair<CallInst*, CallInst*>,
- SmallVector<std::pair<Value*, Value*>, 8> > OldExnToNewExnMap;
-
SmallPtrSet<Instruction*, 32> DeadInsts;
for (DenseMap<InvokeInst*, std::pair<Value*, Value*> >::iterator
I = InvokeToIntrinsicsMap.begin(), E = InvokeToIntrinsicsMap.end();
@@ -476,48 +470,26 @@
TransferClausesToLandingPadInst(LPI, Sel);
- OldExnToNewExnMap[std::make_pair(Exn, Sel)].
- push_back(std::make_pair(LPExn, LPSel));
-
DeadInsts.insert(Exn);
DeadInsts.insert(Sel);
}
- // Replace the old intrinsic calls with the new (possibly PHI'ed) values.
- for (DenseMap<std::pair<CallInst*, CallInst*>,
- SmallVector<std::pair<Value*, Value*>, 8> >::iterator
- I = OldExnToNewExnMap.begin(), E = OldExnToNewExnMap.end();
+ // Replace the old intrinsic calls with the values from the landingpad
+ // instruction(s). These values were stored in allocas for us to use here.
+ for (DenseMap<InvokeInst*, std::pair<Value*, Value*> >::iterator
+ I = InvokeToIntrinsicsMap.begin(), E = InvokeToIntrinsicsMap.end();
I != E; ++I) {
- std::pair<CallInst*, CallInst*> OldExnSel = I->first;
- CallInst *Exn = OldExnSel.first;
- CallInst *Sel = OldExnSel.second;
- SmallVector<std::pair<Value*, Value*>, 8> &LPExnSel = I->second;
- unsigned Size = LPExnSel.size();
- Value *LPExn = LPExnSel[0].first;
- Value *LPSel = LPExnSel[0].second;
-
- if (Size != 1) {
- BasicBlock *Parent = Exn->getParent();
- IRBuilder<> Builder(Context);
- Builder.SetInsertPoint(Parent, Parent->getFirstInsertionPt());
-
- PHINode *PN = Builder.CreatePHI(Exn->getType(), Size, "exn.phi");
- for (SmallVector<std::pair<Value*, Value*>, 8>::iterator
- II = LPExnSel.begin(), IE = LPExnSel.end(); II != IE; ++II)
- PN->addIncoming(II->first, cast<Instruction>(II->first)->getParent());
-
- LPExn = PN;
-
- Parent = Sel->getParent();
- Builder.SetInsertPoint(Parent, Parent->getFirstInsertionPt());
-
- PN = Builder.CreatePHI(Sel->getType(), Size, "sel.phi");
- for (SmallVector<std::pair<Value*, Value*>, 8>::iterator
- II = LPExnSel.begin(), IE = LPExnSel.end(); II != IE; ++II)
- PN->addIncoming(II->second, cast<Instruction>(II->second)->getParent());
+ std::pair<Value*, Value*> EHIntrinsics = I->second;
+ CallInst *Exn = cast<CallInst>(EHIntrinsics.first);
+ CallInst *Sel = cast<CallInst>(EHIntrinsics.second);
+ BasicBlock *Parent = Exn->getParent();
- LPSel = PN;
- }
+ std::pair<Value*,Value*> ExnSelSlots = FnToLPadSlotMap[Parent->getParent()];
+
+ IRBuilder<> Builder(Context);
+ Builder.SetInsertPoint(Parent, Parent->getFirstInsertionPt());
+ LoadInst *LPExn = Builder.CreateLoad(ExnSelSlots.first, "exn.load");
+ LoadInst *LPSel = Builder.CreateLoad(ExnSelSlots.second, "sel.load");
Exn->replaceAllUsesWith(LPExn);
Sel->replaceAllUsesWith(LPSel);
More information about the llvm-commits
mailing list