lib/CodeGen/DwarfEHPrepare.cpp

   1 //===-- DwarfEHPrepare - Prepare exception handling for code generation ---===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This pass mulches exception handling code into a form adapted to code
  11 // generation. Required if using dwarf exception handling.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #define DEBUG_TYPE "dwarfehprepare"
  16 #include "llvm/CodeGen/Passes.h"
  17 #include "llvm/ADT/Statistic.h"
  18 #include "llvm/Analysis/Dominators.h"
  19 #include "llvm/IR/Function.h"
  20 #include "llvm/IR/Instructions.h"
  21 #include "llvm/IR/IntrinsicInst.h"
  22 #include "llvm/IR/Module.h"
  23 #include "llvm/MC/MCAsmInfo.h"
  24 #include "llvm/Pass.h"
  25 #include "llvm/Support/CallSite.h"
  26 #include "llvm/Target/TargetLowering.h"
  27 #include "llvm/Transforms/Utils/BasicBlockUtils.h"
  28 #include "llvm/Transforms/Utils/SSAUpdater.h"
  29 using namespace llvm;
  30
  31 STATISTIC(NumResumesLowered, "Number of resume calls lowered");
  32
  33 namespace {
  34   class DwarfEHPrepare : public FunctionPass {
  35     const TargetLoweringBase *TLI;
  36
  37     // RewindFunction - _Unwind_Resume or the target equivalent.
  38     Constant *RewindFunction;
  39
  40     bool InsertUnwindResumeCalls(Function &Fn);
  41     Value *GetExceptionObject(ResumeInst *RI);
  42
  43   public:
  44     static char ID; // Pass identification, replacement for typeid.
  45     DwarfEHPrepare(const TargetMachine *TM) :
  46       FunctionPass(ID), TLI(TM->getTargetLowering()), RewindFunction(0) {
  47         initializeDominatorTreePass(*PassRegistry::getPassRegistry());
  48       }
  49
  50     virtual bool runOnFunction(Function &Fn);
  51
  52     virtual void getAnalysisUsage(AnalysisUsage &AU) const { }
  53
  54     const char *getPassName() const {
  55       return "Exception handling preparation";
  56     }
  57   };
  58 } // end anonymous namespace
  59
  60 char DwarfEHPrepare::ID = 0;
  61
  62 FunctionPass *llvm::createDwarfEHPass(const TargetMachine *tm) {
  63   return new DwarfEHPrepare(tm);
  64 }
  65
  66 /// GetExceptionObject - Return the exception object from the value passed into
  67 /// the 'resume' instruction (typically an aggregate). Clean up any dead
  68 /// instructions, including the 'resume' instruction.
  69 Value *DwarfEHPrepare::GetExceptionObject(ResumeInst *RI) {
  70   Value *V = RI->getOperand(0);
  71   Value *ExnObj = 0;
  72   InsertValueInst *SelIVI = dyn_cast<InsertValueInst>(V);
  73   LoadInst *SelLoad = 0;
  74   InsertValueInst *ExcIVI = 0;
  75   bool EraseIVIs = false;
  76
  77   if (SelIVI) {
  78     if (SelIVI->getNumIndices() == 1 && *SelIVI->idx_begin() == 1) {
  79       ExcIVI = dyn_cast<InsertValueInst>(SelIVI->getOperand(0));
  80       if (ExcIVI && isa<UndefValue>(ExcIVI->getOperand(0)) &&
  81           ExcIVI->getNumIndices() == 1 && *ExcIVI->idx_begin() == 0) {
  82         ExnObj = ExcIVI->getOperand(1);
  83         SelLoad = dyn_cast<LoadInst>(SelIVI->getOperand(1));
  84         EraseIVIs = true;
  85       }
  86     }
  87   }
  88
  89   if (!ExnObj)
  90     ExnObj = ExtractValueInst::Create(RI->getOperand(0), 0, "exn.obj", RI);
  91
  92   RI->eraseFromParent();
  93
  94   if (EraseIVIs) {
  95     if (SelIVI->getNumUses() == 0)
  96       SelIVI->eraseFromParent();
  97     if (ExcIVI->getNumUses() == 0)
  98       ExcIVI->eraseFromParent();
  99     if (SelLoad && SelLoad->getNumUses() == 0)
 100       SelLoad->eraseFromParent();
 101   }
 102
 103   return ExnObj;
 104 }
 105
 106 /// InsertUnwindResumeCalls - Convert the ResumeInsts that are still present
 107 /// into calls to the appropriate _Unwind_Resume function.
 108 bool DwarfEHPrepare::InsertUnwindResumeCalls(Function &Fn) {
 109   bool UsesNewEH = false;
 110   SmallVector<ResumeInst*, 16> Resumes;
 111   for (Function::iterator I = Fn.begin(), E = Fn.end(); I != E; ++I) {
 112     TerminatorInst *TI = I->getTerminator();
 113     if (ResumeInst *RI = dyn_cast<ResumeInst>(TI))
 114       Resumes.push_back(RI);
 115     else if (InvokeInst *II = dyn_cast<InvokeInst>(TI))
 116       UsesNewEH = II->getUnwindDest()->isLandingPad();
 117   }
 118
 119   if (Resumes.empty())
 120     return UsesNewEH;
 121
 122   // Find the rewind function if we didn't already.
 123   if (!RewindFunction) {
 124     LLVMContext &Ctx = Resumes[0]->getContext();
 125     FunctionType *FTy = FunctionType::get(Type::getVoidTy(Ctx),
 126                                           Type::getInt8PtrTy(Ctx), false);
 127     const char *RewindName = TLI->getLibcallName(RTLIB::UNWIND_RESUME);
 128     RewindFunction = Fn.getParent()->getOrInsertFunction(RewindName, FTy);
 129   }
 130
 131   // Create the basic block where the _Unwind_Resume call will live.
 132   LLVMContext &Ctx = Fn.getContext();
 133   unsigned ResumesSize = Resumes.size();
 134
 135   if (ResumesSize == 1) {
 136     // Instead of creating a new BB and PHI node, just append the call to
 137     // _Unwind_Resume to the end of the single resume block.
 138     ResumeInst *RI = Resumes.front();
 139     BasicBlock *UnwindBB = RI->getParent();
 140     Value *ExnObj = GetExceptionObject(RI);
 141
 142     // Call the _Unwind_Resume function.
 143     CallInst *CI = CallInst::Create(RewindFunction, ExnObj, "", UnwindBB);
 144     CI->setCallingConv(TLI->getLibcallCallingConv(RTLIB::UNWIND_RESUME));
 145
 146     // We never expect _Unwind_Resume to return.
 147     new UnreachableInst(Ctx, UnwindBB);
 148     return true;
 149   }
 150
 151   BasicBlock *UnwindBB = BasicBlock::Create(Ctx, "unwind_resume", &Fn);
 152   PHINode *PN = PHINode::Create(Type::getInt8PtrTy(Ctx), ResumesSize,
 153                                 "exn.obj", UnwindBB);
 154
 155   // Extract the exception object from the ResumeInst and add it to the PHI node
 156   // that feeds the _Unwind_Resume call.
 157   for (SmallVectorImpl<ResumeInst*>::iterator
 158          I = Resumes.begin(), E = Resumes.end(); I != E; ++I) {
 159     ResumeInst *RI = *I;
 160     BasicBlock *Parent = RI->getParent();
 161     BranchInst::Create(UnwindBB, Parent);
 162
 163     Value *ExnObj = GetExceptionObject(RI);
 164     PN->addIncoming(ExnObj, Parent);
 165
 166     ++NumResumesLowered;
 167   }
 168
 169   // Call the function.
 170   CallInst *CI = CallInst::Create(RewindFunction, PN, "", UnwindBB);
 171   CI->setCallingConv(TLI->getLibcallCallingConv(RTLIB::UNWIND_RESUME));
 172
 173   // We never expect _Unwind_Resume to return.
 174   new UnreachableInst(Ctx, UnwindBB);
 175   return true;
 176 }
 177
 178 bool DwarfEHPrepare::runOnFunction(Function &Fn) {
 179   bool Changed = InsertUnwindResumeCalls(Fn);
 180   return Changed;
 181 }