| Bill Wendling | 12e5adb | 2012-03-13 20:04:21 +0000 | [diff] [blame] | 1 | //===- SjLjEHPrepare.cpp - Eliminate Invoke & Unwind instructions ---------===// | 
| Jim Grosbach | 486be66 | 2009-08-17 16:41:22 +0000 | [diff] [blame] | 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 transformation is designed for use by code generators which use SjLj | 
|  | 11 | // based exception handling. | 
|  | 12 | // | 
|  | 13 | //===----------------------------------------------------------------------===// | 
|  | 14 |  | 
| David Majnemer | 693f131 | 2016-02-19 04:46:48 +0000 | [diff] [blame] | 15 | #include "llvm/CodeGen/Passes.h" | 
| Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 16 | #include "llvm/ADT/SetVector.h" | 
|  | 17 | #include "llvm/ADT/SmallPtrSet.h" | 
|  | 18 | #include "llvm/ADT/SmallVector.h" | 
|  | 19 | #include "llvm/ADT/Statistic.h" | 
| Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 20 | #include "llvm/IR/Constants.h" | 
|  | 21 | #include "llvm/IR/DataLayout.h" | 
|  | 22 | #include "llvm/IR/DerivedTypes.h" | 
|  | 23 | #include "llvm/IR/IRBuilder.h" | 
|  | 24 | #include "llvm/IR/Instructions.h" | 
|  | 25 | #include "llvm/IR/Intrinsics.h" | 
| Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 26 | #include "llvm/IR/Module.h" | 
| Jim Grosbach | 486be66 | 2009-08-17 16:41:22 +0000 | [diff] [blame] | 27 | #include "llvm/Pass.h" | 
| Chandler Carruth | aafe091 | 2012-06-29 12:38:19 +0000 | [diff] [blame] | 28 | #include "llvm/Support/Debug.h" | 
|  | 29 | #include "llvm/Support/raw_ostream.h" | 
| Chandler Carruth | aafe091 | 2012-06-29 12:38:19 +0000 | [diff] [blame] | 30 | #include "llvm/Transforms/Utils/Local.h" | 
| Jim Grosbach | 486be66 | 2009-08-17 16:41:22 +0000 | [diff] [blame] | 31 | using namespace llvm; | 
|  | 32 |  | 
| Chandler Carruth | 1b9dde0 | 2014-04-22 02:02:50 +0000 | [diff] [blame] | 33 | #define DEBUG_TYPE "sjljehprepare" | 
|  | 34 |  | 
| Jim Grosbach | 486be66 | 2009-08-17 16:41:22 +0000 | [diff] [blame] | 35 | STATISTIC(NumInvokes, "Number of invokes replaced"); | 
| Jim Grosbach | 486be66 | 2009-08-17 16:41:22 +0000 | [diff] [blame] | 36 | STATISTIC(NumSpilled, "Number of registers live across unwind edges"); | 
|  | 37 |  | 
|  | 38 | namespace { | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 39 | class SjLjEHPrepare : public FunctionPass { | 
| David Blaikie | 4e5d47f4 | 2015-04-04 21:07:10 +0000 | [diff] [blame] | 40 | Type *doubleUnderDataTy; | 
|  | 41 | Type *doubleUnderJBufTy; | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 42 | Type *FunctionContextTy; | 
|  | 43 | Constant *RegisterFn; | 
|  | 44 | Constant *UnregisterFn; | 
| Matthias Braun | 3cd00c1 | 2015-07-16 22:34:16 +0000 | [diff] [blame] | 45 | Constant *BuiltinSetupDispatchFn; | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 46 | Constant *FrameAddrFn; | 
|  | 47 | Constant *StackAddrFn; | 
|  | 48 | Constant *StackRestoreFn; | 
|  | 49 | Constant *LSDAAddrFn; | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 50 | Constant *CallSiteFn; | 
|  | 51 | Constant *FuncCtxFn; | 
|  | 52 | AllocaInst *FuncCtx; | 
| Jim Grosbach | 486be66 | 2009-08-17 16:41:22 +0000 | [diff] [blame] | 53 |  | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 54 | public: | 
|  | 55 | static char ID; // Pass identification, replacement for typeid | 
| Mehdi Amini | f50daed | 2015-07-08 01:00:31 +0000 | [diff] [blame] | 56 | explicit SjLjEHPrepare() : FunctionPass(ID) {} | 
| Craig Topper | 4584cd5 | 2014-03-07 09:26:03 +0000 | [diff] [blame] | 57 | bool doInitialization(Module &M) override; | 
|  | 58 | bool runOnFunction(Function &F) override; | 
| Jim Grosbach | 486be66 | 2009-08-17 16:41:22 +0000 | [diff] [blame] | 59 |  | 
| Craig Topper | 4584cd5 | 2014-03-07 09:26:03 +0000 | [diff] [blame] | 60 | void getAnalysisUsage(AnalysisUsage &AU) const override {} | 
|  | 61 | const char *getPassName() const override { | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 62 | return "SJLJ Exception Handling preparation"; | 
|  | 63 | } | 
|  | 64 |  | 
|  | 65 | private: | 
|  | 66 | bool setupEntryBlockAndCallSites(Function &F); | 
|  | 67 | void substituteLPadValues(LandingPadInst *LPI, Value *ExnVal, Value *SelVal); | 
|  | 68 | Value *setupFunctionContext(Function &F, ArrayRef<LandingPadInst *> LPads); | 
|  | 69 | void lowerIncomingArguments(Function &F); | 
|  | 70 | void lowerAcrossUnwindEdges(Function &F, ArrayRef<InvokeInst *> Invokes); | 
|  | 71 | void insertCallSiteStore(Instruction *I, int Number); | 
|  | 72 | }; | 
| Jim Grosbach | 486be66 | 2009-08-17 16:41:22 +0000 | [diff] [blame] | 73 | } // end anonymous namespace | 
|  | 74 |  | 
| Bill Wendling | 12e5adb | 2012-03-13 20:04:21 +0000 | [diff] [blame] | 75 | char SjLjEHPrepare::ID = 0; | 
| Reid Kleckner | c16b107 | 2015-07-09 21:48:40 +0000 | [diff] [blame] | 76 | INITIALIZE_PASS(SjLjEHPrepare, "sjljehprepare", "Prepare SjLj exceptions", | 
|  | 77 | false, false) | 
| Jim Grosbach | 486be66 | 2009-08-17 16:41:22 +0000 | [diff] [blame] | 78 |  | 
| Bill Wendling | 12e5adb | 2012-03-13 20:04:21 +0000 | [diff] [blame] | 79 | // Public Interface To the SjLjEHPrepare pass. | 
| Mehdi Amini | f50daed | 2015-07-08 01:00:31 +0000 | [diff] [blame] | 80 | FunctionPass *llvm::createSjLjEHPreparePass() { return new SjLjEHPrepare(); } | 
| Jim Grosbach | 1b0436b | 2009-08-23 18:13:48 +0000 | [diff] [blame] | 81 | // doInitialization - Set up decalarations and types needed to process | 
|  | 82 | // exceptions. | 
| Bill Wendling | 12e5adb | 2012-03-13 20:04:21 +0000 | [diff] [blame] | 83 | bool SjLjEHPrepare::doInitialization(Module &M) { | 
| Jim Grosbach | 486be66 | 2009-08-17 16:41:22 +0000 | [diff] [blame] | 84 | // Build the function context structure. | 
|  | 85 | // builtin_setjmp uses a five word jbuf | 
| Jay Foad | b804a2b | 2011-07-12 14:06:48 +0000 | [diff] [blame] | 86 | Type *VoidPtrTy = Type::getInt8PtrTy(M.getContext()); | 
|  | 87 | Type *Int32Ty = Type::getInt32Ty(M.getContext()); | 
| David Blaikie | 4e5d47f4 | 2015-04-04 21:07:10 +0000 | [diff] [blame] | 88 | doubleUnderDataTy = ArrayType::get(Int32Ty, 4); | 
|  | 89 | doubleUnderJBufTy = ArrayType::get(VoidPtrTy, 5); | 
|  | 90 | FunctionContextTy = StructType::get(VoidPtrTy,         // __prev | 
|  | 91 | Int32Ty,           // call_site | 
|  | 92 | doubleUnderDataTy, // __data | 
|  | 93 | VoidPtrTy,         // __personality | 
|  | 94 | VoidPtrTy,         // __lsda | 
|  | 95 | doubleUnderJBufTy, // __jbuf | 
| Reid Kleckner | 971c3ea | 2014-11-13 22:55:19 +0000 | [diff] [blame] | 96 | nullptr); | 
| Jim Grosbach | 486be66 | 2009-08-17 16:41:22 +0000 | [diff] [blame] | 97 |  | 
|  | 98 | return true; | 
|  | 99 | } | 
|  | 100 |  | 
| Jim Grosbach | 1201f29 | 2010-03-04 22:07:46 +0000 | [diff] [blame] | 101 | /// insertCallSiteStore - Insert a store of the call-site value to the | 
|  | 102 | /// function context | 
| Bill Wendling | 12e5adb | 2012-03-13 20:04:21 +0000 | [diff] [blame] | 103 | void SjLjEHPrepare::insertCallSiteStore(Instruction *I, int Number) { | 
| Bill Wendling | 7717e9f | 2012-01-27 02:02:24 +0000 | [diff] [blame] | 104 | IRBuilder<> Builder(I); | 
|  | 105 |  | 
|  | 106 | // Get a reference to the call_site field. | 
|  | 107 | Type *Int32Ty = Type::getInt32Ty(I->getContext()); | 
|  | 108 | Value *Zero = ConstantInt::get(Int32Ty, 0); | 
|  | 109 | Value *One = ConstantInt::get(Int32Ty, 1); | 
|  | 110 | Value *Idxs[2] = { Zero, One }; | 
| David Blaikie | 68d535c | 2015-03-24 22:38:16 +0000 | [diff] [blame] | 111 | Value *CallSite = | 
|  | 112 | Builder.CreateGEP(FunctionContextTy, FuncCtx, Idxs, "call_site"); | 
| Bill Wendling | 7717e9f | 2012-01-27 02:02:24 +0000 | [diff] [blame] | 113 |  | 
|  | 114 | // Insert a store of the call-site number | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 115 | ConstantInt *CallSiteNoC = | 
|  | 116 | ConstantInt::get(Type::getInt32Ty(I->getContext()), Number); | 
|  | 117 | Builder.CreateStore(CallSiteNoC, CallSite, true /*volatile*/); | 
| Jim Grosbach | 1201f29 | 2010-03-04 22:07:46 +0000 | [diff] [blame] | 118 | } | 
|  | 119 |  | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 120 | /// MarkBlocksLiveIn - Insert BB and all of its predecessors into LiveBBs until | 
| Jim Grosbach | 486be66 | 2009-08-17 16:41:22 +0000 | [diff] [blame] | 121 | /// we reach blocks we've already seen. | 
| Chad Rosier | 1a9c17e | 2012-03-16 01:04:00 +0000 | [diff] [blame] | 122 | static void MarkBlocksLiveIn(BasicBlock *BB, | 
| Craig Topper | 71b7b68 | 2014-08-21 05:55:13 +0000 | [diff] [blame] | 123 | SmallPtrSetImpl<BasicBlock *> &LiveBBs) { | 
| David Blaikie | 70573dc | 2014-11-19 07:49:26 +0000 | [diff] [blame] | 124 | if (!LiveBBs.insert(BB).second) | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 125 | return; // already been here. | 
| Jim Grosbach | 486be66 | 2009-08-17 16:41:22 +0000 | [diff] [blame] | 126 |  | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 127 | for (BasicBlock *PredBB : predecessors(BB)) | 
|  | 128 | MarkBlocksLiveIn(PredBB, LiveBBs); | 
| Jim Grosbach | 486be66 | 2009-08-17 16:41:22 +0000 | [diff] [blame] | 129 | } | 
|  | 130 |  | 
| Bill Wendling | b108aae | 2011-12-14 22:45:33 +0000 | [diff] [blame] | 131 | /// substituteLPadValues - Substitute the values returned by the landingpad | 
|  | 132 | /// instruction with those returned by the personality function. | 
| Bill Wendling | 12e5adb | 2012-03-13 20:04:21 +0000 | [diff] [blame] | 133 | void SjLjEHPrepare::substituteLPadValues(LandingPadInst *LPI, Value *ExnVal, | 
|  | 134 | Value *SelVal) { | 
| Chandler Carruth | cdf4788 | 2014-03-09 03:16:01 +0000 | [diff] [blame] | 135 | SmallVector<Value *, 8> UseWorkList(LPI->user_begin(), LPI->user_end()); | 
| Bill Wendling | b108aae | 2011-12-14 22:45:33 +0000 | [diff] [blame] | 136 | while (!UseWorkList.empty()) { | 
|  | 137 | Value *Val = UseWorkList.pop_back_val(); | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 138 | auto *EVI = dyn_cast<ExtractValueInst>(Val); | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 139 | if (!EVI) | 
|  | 140 | continue; | 
|  | 141 | if (EVI->getNumIndices() != 1) | 
|  | 142 | continue; | 
| Bill Wendling | b108aae | 2011-12-14 22:45:33 +0000 | [diff] [blame] | 143 | if (*EVI->idx_begin() == 0) | 
|  | 144 | EVI->replaceAllUsesWith(ExnVal); | 
|  | 145 | else if (*EVI->idx_begin() == 1) | 
|  | 146 | EVI->replaceAllUsesWith(SelVal); | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 147 | if (EVI->use_empty()) | 
| Bill Wendling | b108aae | 2011-12-14 22:45:33 +0000 | [diff] [blame] | 148 | EVI->eraseFromParent(); | 
|  | 149 | } | 
|  | 150 |  | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 151 | if (LPI->use_empty()) | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 152 | return; | 
| Bill Wendling | b108aae | 2011-12-14 22:45:33 +0000 | [diff] [blame] | 153 |  | 
|  | 154 | // There are still some uses of LPI. Construct an aggregate with the exception | 
|  | 155 | // values and replace the LPI with that aggregate. | 
|  | 156 | Type *LPadType = LPI->getType(); | 
|  | 157 | Value *LPadVal = UndefValue::get(LPadType); | 
| Duncan P. N. Exon Smith | f1ff53e | 2015-10-09 22:56:24 +0000 | [diff] [blame] | 158 | auto *SelI = cast<Instruction>(SelVal); | 
|  | 159 | IRBuilder<> Builder(SelI->getParent(), std::next(SelI->getIterator())); | 
| Bill Wendling | b108aae | 2011-12-14 22:45:33 +0000 | [diff] [blame] | 160 | LPadVal = Builder.CreateInsertValue(LPadVal, ExnVal, 0, "lpad.val"); | 
|  | 161 | LPadVal = Builder.CreateInsertValue(LPadVal, SelVal, 1, "lpad.val"); | 
|  | 162 |  | 
|  | 163 | LPI->replaceAllUsesWith(LPadVal); | 
|  | 164 | } | 
|  | 165 |  | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 166 | /// setupFunctionContext - Allocate the function context on the stack and fill | 
|  | 167 | /// it with all of the data that we know at this point. | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 168 | Value *SjLjEHPrepare::setupFunctionContext(Function &F, | 
|  | 169 | ArrayRef<LandingPadInst *> LPads) { | 
| Duncan P. N. Exon Smith | f1ff53e | 2015-10-09 22:56:24 +0000 | [diff] [blame] | 170 | BasicBlock *EntryBB = &F.front(); | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 171 |  | 
|  | 172 | // Create an alloca for the incoming jump buffer ptr and the new jump buffer | 
|  | 173 | // that needs to be restored on all exits from the function. This is an alloca | 
|  | 174 | // because the value needs to be added to the global context list. | 
| Mehdi Amini | f50daed | 2015-07-08 01:00:31 +0000 | [diff] [blame] | 175 | auto &DL = F.getParent()->getDataLayout(); | 
|  | 176 | unsigned Align = DL.getPrefTypeAlignment(FunctionContextTy); | 
| Craig Topper | c0196b1 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 177 | FuncCtx = new AllocaInst(FunctionContextTy, nullptr, Align, "fn_context", | 
| Duncan P. N. Exon Smith | f1ff53e | 2015-10-09 22:56:24 +0000 | [diff] [blame] | 178 | &EntryBB->front()); | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 179 |  | 
|  | 180 | // Fill in the function context structure. | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 181 | for (LandingPadInst *LPI : LPads) { | 
| Duncan P. N. Exon Smith | f1ff53e | 2015-10-09 22:56:24 +0000 | [diff] [blame] | 182 | IRBuilder<> Builder(LPI->getParent(), | 
|  | 183 | LPI->getParent()->getFirstInsertionPt()); | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 184 |  | 
| Bill Wendling | 7717e9f | 2012-01-27 02:02:24 +0000 | [diff] [blame] | 185 | // Reference the __data field. | 
| David Blaikie | 4e5d47f4 | 2015-04-04 21:07:10 +0000 | [diff] [blame] | 186 | Value *FCData = | 
|  | 187 | Builder.CreateConstGEP2_32(FunctionContextTy, FuncCtx, 0, 2, "__data"); | 
| Bill Wendling | 7717e9f | 2012-01-27 02:02:24 +0000 | [diff] [blame] | 188 |  | 
|  | 189 | // The exception values come back in context->__data[0]. | 
| David Blaikie | 4e5d47f4 | 2015-04-04 21:07:10 +0000 | [diff] [blame] | 190 | Value *ExceptionAddr = Builder.CreateConstGEP2_32(doubleUnderDataTy, FCData, | 
|  | 191 | 0, 0, "exception_gep"); | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 192 | Value *ExnVal = Builder.CreateLoad(ExceptionAddr, true, "exn_val"); | 
| Benjamin Kramer | 8d9890a | 2012-09-03 12:27:43 +0000 | [diff] [blame] | 193 | ExnVal = Builder.CreateIntToPtr(ExnVal, Builder.getInt8PtrTy()); | 
| Bill Wendling | 7717e9f | 2012-01-27 02:02:24 +0000 | [diff] [blame] | 194 |  | 
| David Blaikie | 4e5d47f4 | 2015-04-04 21:07:10 +0000 | [diff] [blame] | 195 | Value *SelectorAddr = Builder.CreateConstGEP2_32(doubleUnderDataTy, FCData, | 
|  | 196 | 0, 1, "exn_selector_gep"); | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 197 | Value *SelVal = Builder.CreateLoad(SelectorAddr, true, "exn_selector_val"); | 
|  | 198 |  | 
| Bill Wendling | b108aae | 2011-12-14 22:45:33 +0000 | [diff] [blame] | 199 | substituteLPadValues(LPI, ExnVal, SelVal); | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 200 | } | 
|  | 201 |  | 
|  | 202 | // Personality function | 
| Benjamin Kramer | 8d9890a | 2012-09-03 12:27:43 +0000 | [diff] [blame] | 203 | IRBuilder<> Builder(EntryBB->getTerminator()); | 
| David Majnemer | bd1b8c0 | 2016-02-19 03:13:40 +0000 | [diff] [blame] | 204 | Value *PersonalityFn = F.getPersonalityFn(); | 
| David Blaikie | 4e5d47f4 | 2015-04-04 21:07:10 +0000 | [diff] [blame] | 205 | Value *PersonalityFieldPtr = Builder.CreateConstGEP2_32( | 
|  | 206 | FunctionContextTy, FuncCtx, 0, 3, "pers_fn_gep"); | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 207 | Builder.CreateStore( | 
|  | 208 | Builder.CreateBitCast(PersonalityFn, Builder.getInt8PtrTy()), | 
|  | 209 | PersonalityFieldPtr, /*isVolatile=*/true); | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 210 |  | 
|  | 211 | // LSDA address | 
| David Blaikie | ff6409d | 2015-05-18 22:13:54 +0000 | [diff] [blame] | 212 | Value *LSDA = Builder.CreateCall(LSDAAddrFn, {}, "lsda_addr"); | 
| David Blaikie | 4e5d47f4 | 2015-04-04 21:07:10 +0000 | [diff] [blame] | 213 | Value *LSDAFieldPtr = | 
|  | 214 | Builder.CreateConstGEP2_32(FunctionContextTy, FuncCtx, 0, 4, "lsda_gep"); | 
| Benjamin Kramer | 8d9890a | 2012-09-03 12:27:43 +0000 | [diff] [blame] | 215 | Builder.CreateStore(LSDA, LSDAFieldPtr, /*isVolatile=*/true); | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 216 |  | 
| Bill Wendling | 6f3e73d | 2011-10-03 21:15:28 +0000 | [diff] [blame] | 217 | return FuncCtx; | 
| Bill Wendling | 899da52 | 2011-09-28 21:56:53 +0000 | [diff] [blame] | 218 | } | 
|  | 219 |  | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 220 | /// lowerIncomingArguments - To avoid having to handle incoming arguments | 
|  | 221 | /// specially, we lower each arg to a copy instruction in the entry block. This | 
|  | 222 | /// ensures that the argument value itself cannot be live out of the entry | 
|  | 223 | /// block. | 
| Bill Wendling | 12e5adb | 2012-03-13 20:04:21 +0000 | [diff] [blame] | 224 | void SjLjEHPrepare::lowerIncomingArguments(Function &F) { | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 225 | BasicBlock::iterator AfterAllocaInsPt = F.begin()->begin(); | 
|  | 226 | while (isa<AllocaInst>(AfterAllocaInsPt) && | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 227 | cast<AllocaInst>(AfterAllocaInsPt)->isStaticAlloca()) | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 228 | ++AfterAllocaInsPt; | 
| Duncan P. N. Exon Smith | f1ff53e | 2015-10-09 22:56:24 +0000 | [diff] [blame] | 229 | assert(AfterAllocaInsPt != F.front().end()); | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 230 |  | 
| Duncan P. N. Exon Smith | f1ff53e | 2015-10-09 22:56:24 +0000 | [diff] [blame] | 231 | for (auto &AI : F.args()) { | 
|  | 232 | Type *Ty = AI.getType(); | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 233 |  | 
| Bill Wendling | c80b6c9 | 2014-07-14 18:21:11 +0000 | [diff] [blame] | 234 | // Use 'select i8 true, %arg, undef' to simulate a 'no-op' instruction. | 
|  | 235 | Value *TrueValue = ConstantInt::getTrue(F.getContext()); | 
|  | 236 | Value *UndefValue = UndefValue::get(Ty); | 
| Duncan P. N. Exon Smith | f1ff53e | 2015-10-09 22:56:24 +0000 | [diff] [blame] | 237 | Instruction *SI = SelectInst::Create( | 
|  | 238 | TrueValue, &AI, UndefValue, AI.getName() + ".tmp", &*AfterAllocaInsPt); | 
|  | 239 | AI.replaceAllUsesWith(SI); | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 240 |  | 
| Bill Wendling | c80b6c9 | 2014-07-14 18:21:11 +0000 | [diff] [blame] | 241 | // Reset the operand, because it  was clobbered by the RAUW above. | 
| Duncan P. N. Exon Smith | f1ff53e | 2015-10-09 22:56:24 +0000 | [diff] [blame] | 242 | SI->setOperand(1, &AI); | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 243 | } | 
|  | 244 | } | 
|  | 245 |  | 
|  | 246 | /// lowerAcrossUnwindEdges - Find all variables which are alive across an unwind | 
|  | 247 | /// edge and spill them. | 
| Bill Wendling | 12e5adb | 2012-03-13 20:04:21 +0000 | [diff] [blame] | 248 | void SjLjEHPrepare::lowerAcrossUnwindEdges(Function &F, | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 249 | ArrayRef<InvokeInst *> Invokes) { | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 250 | // Finally, scan the code looking for instructions with bad live ranges. | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 251 | for (BasicBlock &BB : F) { | 
|  | 252 | for (Instruction &Inst : BB) { | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 253 | // Ignore obvious cases we don't have to handle. In particular, most | 
|  | 254 | // instructions either have no uses or only have a single use inside the | 
|  | 255 | // current block. Ignore them quickly. | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 256 | if (Inst.use_empty()) | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 257 | continue; | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 258 | if (Inst.hasOneUse() && | 
|  | 259 | cast<Instruction>(Inst.user_back())->getParent() == &BB && | 
|  | 260 | !isa<PHINode>(Inst.user_back())) | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 261 | continue; | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 262 |  | 
|  | 263 | // If this is an alloca in the entry block, it's not a real register | 
|  | 264 | // value. | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 265 | if (auto *AI = dyn_cast<AllocaInst>(&Inst)) | 
|  | 266 | if (AI->isStaticAlloca()) | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 267 | continue; | 
|  | 268 |  | 
|  | 269 | // Avoid iterator invalidation by copying users to a temporary vector. | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 270 | SmallVector<Instruction *, 16> Users; | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 271 | for (User *U : Inst.users()) { | 
| Chandler Carruth | cdf4788 | 2014-03-09 03:16:01 +0000 | [diff] [blame] | 272 | Instruction *UI = cast<Instruction>(U); | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 273 | if (UI->getParent() != &BB || isa<PHINode>(UI)) | 
| Chandler Carruth | cdf4788 | 2014-03-09 03:16:01 +0000 | [diff] [blame] | 274 | Users.push_back(UI); | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 275 | } | 
|  | 276 |  | 
|  | 277 | // Find all of the blocks that this value is live in. | 
| Matthias Braun | b30f2f51 | 2016-01-30 01:24:31 +0000 | [diff] [blame] | 278 | SmallPtrSet<BasicBlock *, 32> LiveBBs; | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 279 | LiveBBs.insert(&BB); | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 280 | while (!Users.empty()) { | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 281 | Instruction *U = Users.pop_back_val(); | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 282 |  | 
| Chad Rosier | 1a9c17e | 2012-03-16 01:04:00 +0000 | [diff] [blame] | 283 | if (!isa<PHINode>(U)) { | 
|  | 284 | MarkBlocksLiveIn(U->getParent(), LiveBBs); | 
|  | 285 | } else { | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 286 | // Uses for a PHI node occur in their predecessor block. | 
| Chad Rosier | 1a9c17e | 2012-03-16 01:04:00 +0000 | [diff] [blame] | 287 | PHINode *PN = cast<PHINode>(U); | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 288 | for (unsigned i = 0, e = PN->getNumIncomingValues(); i != e; ++i) | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 289 | if (PN->getIncomingValue(i) == &Inst) | 
| Chad Rosier | 1a9c17e | 2012-03-16 01:04:00 +0000 | [diff] [blame] | 290 | MarkBlocksLiveIn(PN->getIncomingBlock(i), LiveBBs); | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 291 | } | 
|  | 292 | } | 
|  | 293 |  | 
| Chad Rosier | 1a9c17e | 2012-03-16 01:04:00 +0000 | [diff] [blame] | 294 | // Now that we know all of the blocks that this thing is live in, see if | 
|  | 295 | // it includes any of the unwind locations. | 
|  | 296 | bool NeedsSpill = false; | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 297 | for (InvokeInst *Invoke : Invokes) { | 
|  | 298 | BasicBlock *UnwindBlock = Invoke->getUnwindDest(); | 
|  | 299 | if (UnwindBlock != &BB && LiveBBs.count(UnwindBlock)) { | 
|  | 300 | DEBUG(dbgs() << "SJLJ Spill: " << Inst << " around " | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 301 | << UnwindBlock->getName() << "\n"); | 
| Chad Rosier | 1a9c17e | 2012-03-16 01:04:00 +0000 | [diff] [blame] | 302 | NeedsSpill = true; | 
|  | 303 | break; | 
| Bill Wendling | d7c0aae | 2012-03-14 07:28:01 +0000 | [diff] [blame] | 304 | } | 
| Bill Wendling | 5ad9140 | 2012-03-12 20:19:41 +0000 | [diff] [blame] | 305 | } | 
| Bill Wendling | b1c4308 | 2011-10-21 22:08:56 +0000 | [diff] [blame] | 306 |  | 
| Chad Rosier | 1a9c17e | 2012-03-16 01:04:00 +0000 | [diff] [blame] | 307 | // If we decided we need a spill, do it. | 
|  | 308 | // FIXME: Spilling this way is overkill, as it forces all uses of | 
|  | 309 | // the value to be reloaded from the stack slot, even those that aren't | 
|  | 310 | // in the unwind blocks. We should be more selective. | 
|  | 311 | if (NeedsSpill) { | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 312 | DemoteRegToStack(Inst, true); | 
| Chad Rosier | 1a9c17e | 2012-03-16 01:04:00 +0000 | [diff] [blame] | 313 | ++NumSpilled; | 
|  | 314 | } | 
| Bill Wendling | d7c0aae | 2012-03-14 07:28:01 +0000 | [diff] [blame] | 315 | } | 
|  | 316 | } | 
|  | 317 |  | 
| Bill Wendling | b1c4308 | 2011-10-21 22:08:56 +0000 | [diff] [blame] | 318 | // Go through the landing pads and remove any PHIs there. | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 319 | for (InvokeInst *Invoke : Invokes) { | 
|  | 320 | BasicBlock *UnwindBlock = Invoke->getUnwindDest(); | 
| Bill Wendling | b1c4308 | 2011-10-21 22:08:56 +0000 | [diff] [blame] | 321 | LandingPadInst *LPI = UnwindBlock->getLandingPadInst(); | 
|  | 322 |  | 
|  | 323 | // Place PHIs into a set to avoid invalidating the iterator. | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 324 | SmallPtrSet<PHINode *, 8> PHIsToDemote; | 
|  | 325 | for (BasicBlock::iterator PN = UnwindBlock->begin(); isa<PHINode>(PN); ++PN) | 
| Bill Wendling | b1c4308 | 2011-10-21 22:08:56 +0000 | [diff] [blame] | 326 | PHIsToDemote.insert(cast<PHINode>(PN)); | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 327 | if (PHIsToDemote.empty()) | 
|  | 328 | continue; | 
| Bill Wendling | b1c4308 | 2011-10-21 22:08:56 +0000 | [diff] [blame] | 329 |  | 
|  | 330 | // Demote the PHIs to the stack. | 
| Craig Topper | 4627679 | 2014-08-24 23:23:06 +0000 | [diff] [blame] | 331 | for (PHINode *PN : PHIsToDemote) | 
|  | 332 | DemotePHIToStack(PN); | 
| Bill Wendling | b1c4308 | 2011-10-21 22:08:56 +0000 | [diff] [blame] | 333 |  | 
|  | 334 | // Move the landingpad instruction back to the top of the landing pad block. | 
| Duncan P. N. Exon Smith | f1ff53e | 2015-10-09 22:56:24 +0000 | [diff] [blame] | 335 | LPI->moveBefore(&UnwindBlock->front()); | 
| Bill Wendling | b1c4308 | 2011-10-21 22:08:56 +0000 | [diff] [blame] | 336 | } | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 337 | } | 
|  | 338 |  | 
| Bill Wendling | 899da52 | 2011-09-28 21:56:53 +0000 | [diff] [blame] | 339 | /// setupEntryBlockAndCallSites - Setup the entry block by creating and filling | 
|  | 340 | /// the function context and marking the call sites with the appropriate | 
|  | 341 | /// values. These values are used by the DWARF EH emitter. | 
| Bill Wendling | 12e5adb | 2012-03-13 20:04:21 +0000 | [diff] [blame] | 342 | bool SjLjEHPrepare::setupEntryBlockAndCallSites(Function &F) { | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 343 | SmallVector<ReturnInst *, 16> Returns; | 
|  | 344 | SmallVector<InvokeInst *, 16> Invokes; | 
|  | 345 | SmallSetVector<LandingPadInst *, 16> LPads; | 
| Bill Wendling | 899da52 | 2011-09-28 21:56:53 +0000 | [diff] [blame] | 346 |  | 
|  | 347 | // Look through the terminators of the basic blocks to find invokes. | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 348 | for (BasicBlock &BB : F) | 
|  | 349 | if (auto *II = dyn_cast<InvokeInst>(BB.getTerminator())) { | 
| Bill Wendling | 2d915e2 | 2013-03-08 02:21:08 +0000 | [diff] [blame] | 350 | if (Function *Callee = II->getCalledFunction()) | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 351 | if (Callee->getIntrinsicID() == Intrinsic::donothing) { | 
| Bill Wendling | 2d915e2 | 2013-03-08 02:21:08 +0000 | [diff] [blame] | 352 | // Remove the NOP invoke. | 
|  | 353 | BranchInst::Create(II->getNormalDest(), II); | 
|  | 354 | II->eraseFromParent(); | 
|  | 355 | continue; | 
|  | 356 | } | 
|  | 357 |  | 
| Bill Wendling | 899da52 | 2011-09-28 21:56:53 +0000 | [diff] [blame] | 358 | Invokes.push_back(II); | 
| Bob Wilson | cca9aa5 | 2011-11-16 07:57:21 +0000 | [diff] [blame] | 359 | LPads.insert(II->getUnwindDest()->getLandingPadInst()); | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 360 | } else if (auto *RI = dyn_cast<ReturnInst>(BB.getTerminator())) { | 
| Bill Wendling | 899da52 | 2011-09-28 21:56:53 +0000 | [diff] [blame] | 361 | Returns.push_back(RI); | 
|  | 362 | } | 
|  | 363 |  | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 364 | if (Invokes.empty()) | 
|  | 365 | return false; | 
| Bill Wendling | 899da52 | 2011-09-28 21:56:53 +0000 | [diff] [blame] | 366 |  | 
| Bill Wendling | 38f86c5 | 2011-10-24 17:12:36 +0000 | [diff] [blame] | 367 | NumInvokes += Invokes.size(); | 
|  | 368 |  | 
| Bill Wendling | e9574be | 2011-10-08 00:56:47 +0000 | [diff] [blame] | 369 | lowerIncomingArguments(F); | 
|  | 370 | lowerAcrossUnwindEdges(F, Invokes); | 
|  | 371 |  | 
| Bob Wilson | cca9aa5 | 2011-11-16 07:57:21 +0000 | [diff] [blame] | 372 | Value *FuncCtx = | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 373 | setupFunctionContext(F, makeArrayRef(LPads.begin(), LPads.end())); | 
| Duncan P. N. Exon Smith | f1ff53e | 2015-10-09 22:56:24 +0000 | [diff] [blame] | 374 | BasicBlock *EntryBB = &F.front(); | 
| Benjamin Kramer | 8d9890a | 2012-09-03 12:27:43 +0000 | [diff] [blame] | 375 | IRBuilder<> Builder(EntryBB->getTerminator()); | 
| Bill Wendling | 6f3e73d | 2011-10-03 21:15:28 +0000 | [diff] [blame] | 376 |  | 
|  | 377 | // Get a reference to the jump buffer. | 
| David Blaikie | 4e5d47f4 | 2015-04-04 21:07:10 +0000 | [diff] [blame] | 378 | Value *JBufPtr = | 
|  | 379 | Builder.CreateConstGEP2_32(FunctionContextTy, FuncCtx, 0, 5, "jbuf_gep"); | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 380 |  | 
| Bill Wendling | 6f3e73d | 2011-10-03 21:15:28 +0000 | [diff] [blame] | 381 | // Save the frame pointer. | 
| David Blaikie | 4e5d47f4 | 2015-04-04 21:07:10 +0000 | [diff] [blame] | 382 | Value *FramePtr = Builder.CreateConstGEP2_32(doubleUnderJBufTy, JBufPtr, 0, 0, | 
|  | 383 | "jbuf_fp_gep"); | 
| Bill Wendling | 6f3e73d | 2011-10-03 21:15:28 +0000 | [diff] [blame] | 384 |  | 
| Benjamin Kramer | 8d9890a | 2012-09-03 12:27:43 +0000 | [diff] [blame] | 385 | Value *Val = Builder.CreateCall(FrameAddrFn, Builder.getInt32(0), "fp"); | 
|  | 386 | Builder.CreateStore(Val, FramePtr, /*isVolatile=*/true); | 
| Bill Wendling | 6f3e73d | 2011-10-03 21:15:28 +0000 | [diff] [blame] | 387 |  | 
|  | 388 | // Save the stack pointer. | 
| David Blaikie | 4e5d47f4 | 2015-04-04 21:07:10 +0000 | [diff] [blame] | 389 | Value *StackPtr = Builder.CreateConstGEP2_32(doubleUnderJBufTy, JBufPtr, 0, 2, | 
|  | 390 | "jbuf_sp_gep"); | 
| Bill Wendling | 6f3e73d | 2011-10-03 21:15:28 +0000 | [diff] [blame] | 391 |  | 
| David Blaikie | ff6409d | 2015-05-18 22:13:54 +0000 | [diff] [blame] | 392 | Val = Builder.CreateCall(StackAddrFn, {}, "sp"); | 
| Benjamin Kramer | 8d9890a | 2012-09-03 12:27:43 +0000 | [diff] [blame] | 393 | Builder.CreateStore(Val, StackPtr, /*isVolatile=*/true); | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 394 |  | 
| Matthias Braun | 3cd00c1 | 2015-07-16 22:34:16 +0000 | [diff] [blame] | 395 | // Call the setup_dispatch instrinsic. It fills in the rest of the jmpbuf. | 
|  | 396 | Builder.CreateCall(BuiltinSetupDispatchFn, {}); | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 397 |  | 
| Bill Wendling | 899da52 | 2011-09-28 21:56:53 +0000 | [diff] [blame] | 398 | // Store a pointer to the function context so that the back-end will know | 
|  | 399 | // where to look for it. | 
| Benjamin Kramer | 8d9890a | 2012-09-03 12:27:43 +0000 | [diff] [blame] | 400 | Value *FuncCtxArg = Builder.CreateBitCast(FuncCtx, Builder.getInt8PtrTy()); | 
|  | 401 | Builder.CreateCall(FuncCtxFn, FuncCtxArg); | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 402 |  | 
|  | 403 | // At this point, we are all set up, update the invoke instructions to mark | 
| Bill Wendling | db16335 | 2011-10-05 22:04:08 +0000 | [diff] [blame] | 404 | // their call_site values. | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 405 | for (unsigned I = 0, E = Invokes.size(); I != E; ++I) { | 
| Bill Wendling | 7717e9f | 2012-01-27 02:02:24 +0000 | [diff] [blame] | 406 | insertCallSiteStore(Invokes[I], I + 1); | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 407 |  | 
|  | 408 | ConstantInt *CallSiteNum = | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 409 | ConstantInt::get(Type::getInt32Ty(F.getContext()), I + 1); | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 410 |  | 
|  | 411 | // Record the call site value for the back end so it stays associated with | 
|  | 412 | // the invoke. | 
|  | 413 | CallInst::Create(CallSiteFn, CallSiteNum, "", Invokes[I]); | 
|  | 414 | } | 
|  | 415 |  | 
|  | 416 | // Mark call instructions that aren't nounwind as no-action (call_site == | 
|  | 417 | // -1). Skip the entry block, as prior to then, no function context has been | 
|  | 418 | // created for this function and any unexpected exceptions thrown will go | 
|  | 419 | // directly to the caller's context, which is what we want anyway, so no need | 
|  | 420 | // to do anything here. | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 421 | for (BasicBlock &BB : F) { | 
| Duncan P. N. Exon Smith | e9bc579 | 2016-02-21 20:39:50 +0000 | [diff] [blame] | 422 | if (&BB == &F.front()) | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 423 | continue; | 
|  | 424 | for (Instruction &I : BB) | 
|  | 425 | if (I.mayThrow()) | 
|  | 426 | insertCallSiteStore(&I, -1); | 
|  | 427 | } | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 428 |  | 
| Bill Wendling | 899da52 | 2011-09-28 21:56:53 +0000 | [diff] [blame] | 429 | // Register the function context and make sure it's known to not throw | 
| Bill Wendling | 8faa30e | 2013-09-23 20:57:47 +0000 | [diff] [blame] | 430 | CallInst *Register = | 
|  | 431 | CallInst::Create(RegisterFn, FuncCtx, "", EntryBB->getTerminator()); | 
| Bill Wendling | 899da52 | 2011-09-28 21:56:53 +0000 | [diff] [blame] | 432 | Register->setDoesNotThrow(); | 
|  | 433 |  | 
| Bob Wilson | 643e63c | 2011-11-16 07:12:00 +0000 | [diff] [blame] | 434 | // Following any allocas not in the entry block, update the saved SP in the | 
|  | 435 | // jmpbuf to the new value. | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 436 | for (BasicBlock &BB : F) { | 
| Duncan P. N. Exon Smith | e9bc579 | 2016-02-21 20:39:50 +0000 | [diff] [blame] | 437 | if (&BB == &F.front()) | 
| Bob Wilson | 643e63c | 2011-11-16 07:12:00 +0000 | [diff] [blame] | 438 | continue; | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 439 | for (Instruction &I : BB) { | 
|  | 440 | if (auto *CI = dyn_cast<CallInst>(&I)) { | 
| Bob Wilson | 643e63c | 2011-11-16 07:12:00 +0000 | [diff] [blame] | 441 | if (CI->getCalledFunction() != StackRestoreFn) | 
|  | 442 | continue; | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 443 | } else if (!isa<AllocaInst>(&I)) { | 
| Bob Wilson | 643e63c | 2011-11-16 07:12:00 +0000 | [diff] [blame] | 444 | continue; | 
|  | 445 | } | 
|  | 446 | Instruction *StackAddr = CallInst::Create(StackAddrFn, "sp"); | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 447 | StackAddr->insertAfter(&I); | 
| Bob Wilson | 643e63c | 2011-11-16 07:12:00 +0000 | [diff] [blame] | 448 | Instruction *StoreStackAddr = new StoreInst(StackAddr, StackPtr, true); | 
|  | 449 | StoreStackAddr->insertAfter(StackAddr); | 
|  | 450 | } | 
|  | 451 | } | 
|  | 452 |  | 
| Bill Wendling | 899da52 | 2011-09-28 21:56:53 +0000 | [diff] [blame] | 453 | // Finally, for any returns from this function, if this function contains an | 
|  | 454 | // invoke, add a call to unregister the function context. | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 455 | for (ReturnInst *Return : Returns) | 
|  | 456 | CallInst::Create(UnregisterFn, FuncCtx, "", Return); | 
| Bill Wendling | 899da52 | 2011-09-28 21:56:53 +0000 | [diff] [blame] | 457 |  | 
| Bill Wendling | 2e76ca9 | 2011-09-28 03:14:05 +0000 | [diff] [blame] | 458 | return true; | 
|  | 459 | } | 
|  | 460 |  | 
| Bill Wendling | 12e5adb | 2012-03-13 20:04:21 +0000 | [diff] [blame] | 461 | bool SjLjEHPrepare::runOnFunction(Function &F) { | 
| David Majnemer | bd1b8c0 | 2016-02-19 03:13:40 +0000 | [diff] [blame] | 462 | Module &M = *F.getParent(); | 
|  | 463 | RegisterFn = M.getOrInsertFunction( | 
|  | 464 | "_Unwind_SjLj_Register", Type::getVoidTy(M.getContext()), | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 465 | PointerType::getUnqual(FunctionContextTy), nullptr); | 
| David Majnemer | bd1b8c0 | 2016-02-19 03:13:40 +0000 | [diff] [blame] | 466 | UnregisterFn = M.getOrInsertFunction( | 
|  | 467 | "_Unwind_SjLj_Unregister", Type::getVoidTy(M.getContext()), | 
| David Majnemer | b61fd7f | 2016-02-19 04:46:06 +0000 | [diff] [blame] | 468 | PointerType::getUnqual(FunctionContextTy), nullptr); | 
| David Majnemer | bd1b8c0 | 2016-02-19 03:13:40 +0000 | [diff] [blame] | 469 | FrameAddrFn = Intrinsic::getDeclaration(&M, Intrinsic::frameaddress); | 
|  | 470 | StackAddrFn = Intrinsic::getDeclaration(&M, Intrinsic::stacksave); | 
|  | 471 | StackRestoreFn = Intrinsic::getDeclaration(&M, Intrinsic::stackrestore); | 
|  | 472 | BuiltinSetupDispatchFn = | 
|  | 473 | Intrinsic::getDeclaration(&M, Intrinsic::eh_sjlj_setup_dispatch); | 
|  | 474 | LSDAAddrFn = Intrinsic::getDeclaration(&M, Intrinsic::eh_sjlj_lsda); | 
|  | 475 | CallSiteFn = Intrinsic::getDeclaration(&M, Intrinsic::eh_sjlj_callsite); | 
|  | 476 | FuncCtxFn = Intrinsic::getDeclaration(&M, Intrinsic::eh_sjlj_functioncontext); | 
|  | 477 |  | 
| Bill Wendling | 38f86c5 | 2011-10-24 17:12:36 +0000 | [diff] [blame] | 478 | bool Res = setupEntryBlockAndCallSites(F); | 
| Jim Grosbach | 486be66 | 2009-08-17 16:41:22 +0000 | [diff] [blame] | 479 | return Res; | 
|  | 480 | } |