blob: 9190d0be9e4d78b73aa2dae187b4099b669ae55b [file] [log] [blame]
Reid Kleckner0738a9c2015-05-05 17:44:16 +00001//===-- X86WinEHState - Insert EH state updates for win32 exceptions ------===//
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// All functions using an MSVC EH personality use an explicitly updated state
11// number stored in an exception registration stack object. The registration
12// object is linked into a thread-local chain of registrations stored at fs:00.
13// This pass adds the registration object and EH state updates.
14//
15//===----------------------------------------------------------------------===//
16
17#include "X86.h"
18#include "llvm/Analysis/LibCallSemantics.h"
Reid Klecknerfe4d4912015-05-28 22:00:24 +000019#include "llvm/CodeGen/MachineModuleInfo.h"
Reid Kleckner0738a9c2015-05-05 17:44:16 +000020#include "llvm/CodeGen/Passes.h"
21#include "llvm/CodeGen/WinEHFuncInfo.h"
22#include "llvm/IR/Dominators.h"
23#include "llvm/IR/Function.h"
24#include "llvm/IR/IRBuilder.h"
25#include "llvm/IR/Instructions.h"
26#include "llvm/IR/IntrinsicInst.h"
27#include "llvm/IR/Module.h"
28#include "llvm/IR/PatternMatch.h"
29#include "llvm/Pass.h"
30#include "llvm/Support/Debug.h"
31#include "llvm/Support/raw_ostream.h"
32#include "llvm/Transforms/Utils/BasicBlockUtils.h"
33#include "llvm/Transforms/Utils/Cloning.h"
34#include "llvm/Transforms/Utils/Local.h"
35
36using namespace llvm;
37using namespace llvm::PatternMatch;
38
39#define DEBUG_TYPE "winehstate"
40
41namespace {
42class WinEHStatePass : public FunctionPass {
43public:
44 static char ID; // Pass identification, replacement for typeid.
45
46 WinEHStatePass() : FunctionPass(ID) {}
47
48 bool runOnFunction(Function &Fn) override;
49
50 bool doInitialization(Module &M) override;
51
52 bool doFinalization(Module &M) override;
53
54 void getAnalysisUsage(AnalysisUsage &AU) const override;
55
56 const char *getPassName() const override {
57 return "Windows 32-bit x86 EH state insertion";
58 }
59
60private:
61 void emitExceptionRegistrationRecord(Function *F);
62
Reid Kleckner2bc93ca2015-06-10 01:02:30 +000063 void linkExceptionRegistration(IRBuilder<> &Builder, Function *Handler);
Reid Klecknerfe4d4912015-05-28 22:00:24 +000064 void unlinkExceptionRegistration(IRBuilder<> &Builder);
65 void addCXXStateStores(Function &F, MachineModuleInfo &MMI);
Reid Klecknerf12c0302015-06-09 21:42:19 +000066 void addSEHStateStores(Function &F, MachineModuleInfo &MMI);
Reid Klecknerfe4d4912015-05-28 22:00:24 +000067 void addCXXStateStoresToFunclet(Value *ParentRegNode, WinEHFuncInfo &FuncInfo,
68 Function &F, int BaseState);
69 void insertStateNumberStore(Value *ParentRegNode, Instruction *IP, int State);
Reid Kleckner0738a9c2015-05-05 17:44:16 +000070
Reid Kleckner2632f0d2015-05-20 23:08:04 +000071 Value *emitEHLSDA(IRBuilder<> &Builder, Function *F);
72
73 Function *generateLSDAInEAXThunk(Function *ParentFunc);
74
Reid Klecknerfe4d4912015-05-28 22:00:24 +000075 int escapeRegNode(Function &F);
76
Reid Kleckner0738a9c2015-05-05 17:44:16 +000077 // Module-level type getters.
Reid Klecknere6531a552015-05-29 22:57:46 +000078 Type *getEHLinkRegistrationType();
79 Type *getSEHRegistrationType();
80 Type *getCXXEHRegistrationType();
Reid Kleckner0738a9c2015-05-05 17:44:16 +000081
82 // Per-module data.
83 Module *TheModule = nullptr;
Reid Klecknere6531a552015-05-29 22:57:46 +000084 StructType *EHLinkRegistrationTy = nullptr;
85 StructType *CXXEHRegistrationTy = nullptr;
86 StructType *SEHRegistrationTy = nullptr;
Reid Klecknerb7403332015-06-08 22:43:32 +000087 Function *FrameRecover = nullptr;
88 Function *FrameAddress = nullptr;
89 Function *FrameEscape = nullptr;
Reid Kleckner0738a9c2015-05-05 17:44:16 +000090
91 // Per-function state
92 EHPersonality Personality = EHPersonality::Unknown;
93 Function *PersonalityFn = nullptr;
Reid Klecknerfe4d4912015-05-28 22:00:24 +000094
95 /// The stack allocation containing all EH data, including the link in the
96 /// fs:00 chain and the current state.
97 AllocaInst *RegNode = nullptr;
98
99 /// Struct type of RegNode. Used for GEPing.
100 Type *RegNodeTy = nullptr;
101
102 /// The index of the state field of RegNode.
103 int StateFieldIndex = ~0U;
104
105 /// The linked list node subobject inside of RegNode.
106 Value *Link = nullptr;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000107};
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000108}
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000109
110FunctionPass *llvm::createX86WinEHStatePass() { return new WinEHStatePass(); }
111
112char WinEHStatePass::ID = 0;
113
114bool WinEHStatePass::doInitialization(Module &M) {
115 TheModule = &M;
Reid Kleckner60381792015-07-07 22:25:32 +0000116 FrameEscape = Intrinsic::getDeclaration(TheModule, Intrinsic::localescape);
117 FrameRecover = Intrinsic::getDeclaration(TheModule, Intrinsic::localrecover);
Reid Klecknerb7403332015-06-08 22:43:32 +0000118 FrameAddress = Intrinsic::getDeclaration(TheModule, Intrinsic::frameaddress);
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000119 return false;
120}
121
122bool WinEHStatePass::doFinalization(Module &M) {
123 assert(TheModule == &M);
124 TheModule = nullptr;
Reid Klecknere6531a552015-05-29 22:57:46 +0000125 EHLinkRegistrationTy = nullptr;
126 CXXEHRegistrationTy = nullptr;
127 SEHRegistrationTy = nullptr;
Reid Klecknerb7403332015-06-08 22:43:32 +0000128 FrameEscape = nullptr;
129 FrameRecover = nullptr;
130 FrameAddress = nullptr;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000131 return false;
132}
133
134void WinEHStatePass::getAnalysisUsage(AnalysisUsage &AU) const {
135 // This pass should only insert a stack allocation, memory accesses, and
Reid Kleckner60381792015-07-07 22:25:32 +0000136 // localrecovers.
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000137 AU.setPreservesCFG();
138}
139
140bool WinEHStatePass::runOnFunction(Function &F) {
Reid Kleckner2632f0d2015-05-20 23:08:04 +0000141 // If this is an outlined handler, don't do anything. We'll do state insertion
142 // for it in the parent.
143 StringRef WinEHParentName =
144 F.getFnAttribute("wineh-parent").getValueAsString();
145 if (WinEHParentName != F.getName() && !WinEHParentName.empty())
146 return false;
147
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000148 // Check the personality. Do nothing if this is not an MSVC personality.
David Majnemer7fddecc2015-06-17 20:52:32 +0000149 if (!F.hasPersonalityFn())
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000150 return false;
151 PersonalityFn =
David Majnemer7fddecc2015-06-17 20:52:32 +0000152 dyn_cast<Function>(F.getPersonalityFn()->stripPointerCasts());
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000153 if (!PersonalityFn)
154 return false;
155 Personality = classifyEHPersonality(PersonalityFn);
156 if (!isMSVCEHPersonality(Personality))
157 return false;
158
Reid Kleckner173a7252015-05-29 21:58:11 +0000159 // Disable frame pointer elimination in this function.
160 // FIXME: Do the nested handlers need to keep the parent ebp in ebp, or can we
161 // use an arbitrary register?
162 F.addFnAttr("no-frame-pointer-elim", "true");
163
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000164 emitExceptionRegistrationRecord(&F);
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000165
166 auto *MMIPtr = getAnalysisIfAvailable<MachineModuleInfo>();
167 assert(MMIPtr && "MachineModuleInfo should always be available");
168 MachineModuleInfo &MMI = *MMIPtr;
Reid Klecknerf12c0302015-06-09 21:42:19 +0000169 switch (Personality) {
170 default: llvm_unreachable("unexpected personality function");
171 case EHPersonality::MSVC_CXX: addCXXStateStores(F, MMI); break;
172 case EHPersonality::MSVC_X86SEH: addSEHStateStores(F, MMI); break;
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000173 }
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000174
175 // Reset per-function state.
176 PersonalityFn = nullptr;
177 Personality = EHPersonality::Unknown;
178 return true;
179}
180
181/// Get the common EH registration subobject:
Reid Kleckner2632f0d2015-05-20 23:08:04 +0000182/// typedef _EXCEPTION_DISPOSITION (*PEXCEPTION_ROUTINE)(
183/// _EXCEPTION_RECORD *, void *, _CONTEXT *, void *);
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000184/// struct EHRegistrationNode {
185/// EHRegistrationNode *Next;
Reid Kleckner2632f0d2015-05-20 23:08:04 +0000186/// PEXCEPTION_ROUTINE Handler;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000187/// };
Reid Klecknere6531a552015-05-29 22:57:46 +0000188Type *WinEHStatePass::getEHLinkRegistrationType() {
189 if (EHLinkRegistrationTy)
190 return EHLinkRegistrationTy;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000191 LLVMContext &Context = TheModule->getContext();
Reid Klecknere6531a552015-05-29 22:57:46 +0000192 EHLinkRegistrationTy = StructType::create(Context, "EHRegistrationNode");
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000193 Type *FieldTys[] = {
Reid Klecknere6531a552015-05-29 22:57:46 +0000194 EHLinkRegistrationTy->getPointerTo(0), // EHRegistrationNode *Next
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000195 Type::getInt8PtrTy(Context) // EXCEPTION_DISPOSITION (*Handler)(...)
196 };
Reid Klecknere6531a552015-05-29 22:57:46 +0000197 EHLinkRegistrationTy->setBody(FieldTys, false);
198 return EHLinkRegistrationTy;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000199}
200
201/// The __CxxFrameHandler3 registration node:
202/// struct CXXExceptionRegistration {
203/// void *SavedESP;
204/// EHRegistrationNode SubRecord;
205/// int32_t TryLevel;
206/// };
Reid Klecknere6531a552015-05-29 22:57:46 +0000207Type *WinEHStatePass::getCXXEHRegistrationType() {
208 if (CXXEHRegistrationTy)
209 return CXXEHRegistrationTy;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000210 LLVMContext &Context = TheModule->getContext();
211 Type *FieldTys[] = {
212 Type::getInt8PtrTy(Context), // void *SavedESP
Reid Klecknere6531a552015-05-29 22:57:46 +0000213 getEHLinkRegistrationType(), // EHRegistrationNode SubRecord
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000214 Type::getInt32Ty(Context) // int32_t TryLevel
215 };
Reid Klecknere6531a552015-05-29 22:57:46 +0000216 CXXEHRegistrationTy =
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000217 StructType::create(FieldTys, "CXXExceptionRegistration");
Reid Klecknere6531a552015-05-29 22:57:46 +0000218 return CXXEHRegistrationTy;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000219}
220
Reid Klecknere6531a552015-05-29 22:57:46 +0000221/// The _except_handler3/4 registration node:
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000222/// struct EH4ExceptionRegistration {
223/// void *SavedESP;
224/// _EXCEPTION_POINTERS *ExceptionPointers;
225/// EHRegistrationNode SubRecord;
226/// int32_t EncodedScopeTable;
227/// int32_t TryLevel;
228/// };
Reid Klecknere6531a552015-05-29 22:57:46 +0000229Type *WinEHStatePass::getSEHRegistrationType() {
230 if (SEHRegistrationTy)
231 return SEHRegistrationTy;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000232 LLVMContext &Context = TheModule->getContext();
233 Type *FieldTys[] = {
234 Type::getInt8PtrTy(Context), // void *SavedESP
235 Type::getInt8PtrTy(Context), // void *ExceptionPointers
Reid Klecknere6531a552015-05-29 22:57:46 +0000236 getEHLinkRegistrationType(), // EHRegistrationNode SubRecord
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000237 Type::getInt32Ty(Context), // int32_t EncodedScopeTable
238 Type::getInt32Ty(Context) // int32_t TryLevel
239 };
Reid Klecknere6531a552015-05-29 22:57:46 +0000240 SEHRegistrationTy = StructType::create(FieldTys, "SEHExceptionRegistration");
241 return SEHRegistrationTy;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000242}
243
244// Emit an exception registration record. These are stack allocations with the
245// common subobject of two pointers: the previous registration record (the old
246// fs:00) and the personality function for the current frame. The data before
247// and after that is personality function specific.
248void WinEHStatePass::emitExceptionRegistrationRecord(Function *F) {
249 assert(Personality == EHPersonality::MSVC_CXX ||
250 Personality == EHPersonality::MSVC_X86SEH);
251
252 StringRef PersonalityName = PersonalityFn->getName();
253 IRBuilder<> Builder(&F->getEntryBlock(), F->getEntryBlock().begin());
254 Type *Int8PtrType = Builder.getInt8PtrTy();
Reid Klecknere6531a552015-05-29 22:57:46 +0000255 if (Personality == EHPersonality::MSVC_CXX) {
256 RegNodeTy = getCXXEHRegistrationType();
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000257 RegNode = Builder.CreateAlloca(RegNodeTy);
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000258 // SavedESP = llvm.stacksave()
259 Value *SP = Builder.CreateCall(
David Blaikieff6409d2015-05-18 22:13:54 +0000260 Intrinsic::getDeclaration(TheModule, Intrinsic::stacksave), {});
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000261 Builder.CreateStore(SP, Builder.CreateStructGEP(RegNodeTy, RegNode, 0));
262 // TryLevel = -1
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000263 StateFieldIndex = 2;
264 insertStateNumberStore(RegNode, Builder.GetInsertPoint(), -1);
Reid Kleckner2632f0d2015-05-20 23:08:04 +0000265 // Handler = __ehhandler$F
266 Function *Trampoline = generateLSDAInEAXThunk(F);
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000267 Link = Builder.CreateStructGEP(RegNodeTy, RegNode, 1);
268 linkExceptionRegistration(Builder, Trampoline);
Reid Klecknere6531a552015-05-29 22:57:46 +0000269 } else if (Personality == EHPersonality::MSVC_X86SEH) {
270 // If _except_handler4 is in use, some additional guard checks and prologue
271 // stuff is required.
272 bool UseStackGuard = (PersonalityName == "_except_handler4");
273 RegNodeTy = getSEHRegistrationType();
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000274 RegNode = Builder.CreateAlloca(RegNodeTy);
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000275 // SavedESP = llvm.stacksave()
276 Value *SP = Builder.CreateCall(
David Blaikieff6409d2015-05-18 22:13:54 +0000277 Intrinsic::getDeclaration(TheModule, Intrinsic::stacksave), {});
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000278 Builder.CreateStore(SP, Builder.CreateStructGEP(RegNodeTy, RegNode, 0));
Reid Klecknere6531a552015-05-29 22:57:46 +0000279 // TryLevel = -2 / -1
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000280 StateFieldIndex = 4;
Reid Klecknere6531a552015-05-29 22:57:46 +0000281 insertStateNumberStore(RegNode, Builder.GetInsertPoint(),
282 UseStackGuard ? -2 : -1);
Reid Kleckner2632f0d2015-05-20 23:08:04 +0000283 // ScopeTable = llvm.x86.seh.lsda(F)
284 Value *FI8 = Builder.CreateBitCast(F, Int8PtrType);
285 Value *LSDA = Builder.CreateCall(
286 Intrinsic::getDeclaration(TheModule, Intrinsic::x86_seh_lsda), FI8);
Reid Klecknere6531a552015-05-29 22:57:46 +0000287 Type *Int32Ty = Type::getInt32Ty(TheModule->getContext());
288 LSDA = Builder.CreatePtrToInt(LSDA, Int32Ty);
289 // If using _except_handler4, xor the address of the table with
290 // __security_cookie.
291 if (UseStackGuard) {
292 Value *Cookie =
293 TheModule->getOrInsertGlobal("__security_cookie", Int32Ty);
294 Value *Val = Builder.CreateLoad(Int32Ty, Cookie);
295 LSDA = Builder.CreateXor(LSDA, Val);
296 }
297 Builder.CreateStore(LSDA, Builder.CreateStructGEP(RegNodeTy, RegNode, 3));
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000298 Link = Builder.CreateStructGEP(RegNodeTy, RegNode, 2);
299 linkExceptionRegistration(Builder, PersonalityFn);
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000300 } else {
301 llvm_unreachable("unexpected personality function");
302 }
303
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000304 // Insert an unlink before all returns.
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000305 for (BasicBlock &BB : *F) {
306 TerminatorInst *T = BB.getTerminator();
307 if (!isa<ReturnInst>(T))
308 continue;
309 Builder.SetInsertPoint(T);
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000310 unlinkExceptionRegistration(Builder);
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000311 }
312}
313
Reid Kleckner2632f0d2015-05-20 23:08:04 +0000314Value *WinEHStatePass::emitEHLSDA(IRBuilder<> &Builder, Function *F) {
315 Value *FI8 = Builder.CreateBitCast(F, Type::getInt8PtrTy(F->getContext()));
316 return Builder.CreateCall(
317 Intrinsic::getDeclaration(TheModule, Intrinsic::x86_seh_lsda), FI8);
318}
319
320/// Generate a thunk that puts the LSDA of ParentFunc in EAX and then calls
321/// PersonalityFn, forwarding the parameters passed to PEXCEPTION_ROUTINE:
322/// typedef _EXCEPTION_DISPOSITION (*PEXCEPTION_ROUTINE)(
323/// _EXCEPTION_RECORD *, void *, _CONTEXT *, void *);
324/// We essentially want this code:
325/// movl $lsda, %eax
326/// jmpl ___CxxFrameHandler3
327Function *WinEHStatePass::generateLSDAInEAXThunk(Function *ParentFunc) {
328 LLVMContext &Context = ParentFunc->getContext();
329 Type *Int32Ty = Type::getInt32Ty(Context);
330 Type *Int8PtrType = Type::getInt8PtrTy(Context);
331 Type *ArgTys[5] = {Int8PtrType, Int8PtrType, Int8PtrType, Int8PtrType,
332 Int8PtrType};
333 FunctionType *TrampolineTy =
334 FunctionType::get(Int32Ty, makeArrayRef(&ArgTys[0], 4),
335 /*isVarArg=*/false);
336 FunctionType *TargetFuncTy =
337 FunctionType::get(Int32Ty, makeArrayRef(&ArgTys[0], 5),
338 /*isVarArg=*/false);
Reid Kleckner5f4dd922015-07-13 17:55:14 +0000339 Function *Trampoline =
340 Function::Create(TrampolineTy, GlobalValue::InternalLinkage,
341 Twine("__ehhandler$") + GlobalValue::getRealLinkageName(
342 ParentFunc->getName()),
343 TheModule);
Reid Kleckner2632f0d2015-05-20 23:08:04 +0000344 BasicBlock *EntryBB = BasicBlock::Create(Context, "entry", Trampoline);
345 IRBuilder<> Builder(EntryBB);
346 Value *LSDA = emitEHLSDA(Builder, ParentFunc);
347 Value *CastPersonality =
348 Builder.CreateBitCast(PersonalityFn, TargetFuncTy->getPointerTo());
349 auto AI = Trampoline->arg_begin();
350 Value *Args[5] = {LSDA, AI++, AI++, AI++, AI++};
351 CallInst *Call = Builder.CreateCall(CastPersonality, Args);
352 // Can't use musttail due to prototype mismatch, but we can use tail.
353 Call->setTailCall(true);
354 // Set inreg so we pass it in EAX.
355 Call->addAttribute(1, Attribute::InReg);
356 Builder.CreateRet(Call);
357 return Trampoline;
358}
359
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000360void WinEHStatePass::linkExceptionRegistration(IRBuilder<> &Builder,
Reid Kleckner2bc93ca2015-06-10 01:02:30 +0000361 Function *Handler) {
362 // Emit the .safeseh directive for this function.
363 Handler->addFnAttr("safeseh");
364
Reid Klecknere6531a552015-05-29 22:57:46 +0000365 Type *LinkTy = getEHLinkRegistrationType();
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000366 // Handler = Handler
Reid Kleckner2bc93ca2015-06-10 01:02:30 +0000367 Value *HandlerI8 = Builder.CreateBitCast(Handler, Builder.getInt8PtrTy());
368 Builder.CreateStore(HandlerI8, Builder.CreateStructGEP(LinkTy, Link, 1));
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000369 // Next = [fs:00]
370 Constant *FSZero =
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000371 Constant::getNullValue(LinkTy->getPointerTo()->getPointerTo(257));
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000372 Value *Next = Builder.CreateLoad(FSZero);
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000373 Builder.CreateStore(Next, Builder.CreateStructGEP(LinkTy, Link, 0));
374 // [fs:00] = Link
375 Builder.CreateStore(Link, FSZero);
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000376}
377
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000378void WinEHStatePass::unlinkExceptionRegistration(IRBuilder<> &Builder) {
379 // Clone Link into the current BB for better address mode folding.
380 if (auto *GEP = dyn_cast<GetElementPtrInst>(Link)) {
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000381 GEP = cast<GetElementPtrInst>(GEP->clone());
382 Builder.Insert(GEP);
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000383 Link = GEP;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000384 }
Reid Klecknere6531a552015-05-29 22:57:46 +0000385 Type *LinkTy = getEHLinkRegistrationType();
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000386 // [fs:00] = Link->Next
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000387 Value *Next =
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000388 Builder.CreateLoad(Builder.CreateStructGEP(LinkTy, Link, 0));
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000389 Constant *FSZero =
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000390 Constant::getNullValue(LinkTy->getPointerTo()->getPointerTo(257));
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000391 Builder.CreateStore(Next, FSZero);
392}
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000393
394void WinEHStatePass::addCXXStateStores(Function &F, MachineModuleInfo &MMI) {
395 WinEHFuncInfo &FuncInfo = MMI.getWinEHFuncInfo(&F);
396 calculateWinCXXEHStateNumbers(&F, FuncInfo);
397
398 // The base state for the parent is -1.
399 addCXXStateStoresToFunclet(RegNode, FuncInfo, F, -1);
400
401 // Set up RegNodeEscapeIndex
402 int RegNodeEscapeIndex = escapeRegNode(F);
Reid Kleckner399a2fe2015-06-30 22:46:59 +0000403 FuncInfo.EHRegNodeEscapeIndex = RegNodeEscapeIndex;
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000404
405 // Only insert stores in catch handlers.
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000406 Constant *FI8 =
407 ConstantExpr::getBitCast(&F, Type::getInt8PtrTy(TheModule->getContext()));
408 for (auto P : FuncInfo.HandlerBaseState) {
409 Function *Handler = const_cast<Function *>(P.first);
410 int BaseState = P.second;
411 IRBuilder<> Builder(&Handler->getEntryBlock(),
412 Handler->getEntryBlock().begin());
413 // FIXME: Find and reuse such a call if present.
414 Value *ParentFP = Builder.CreateCall(FrameAddress, {Builder.getInt32(1)});
415 Value *RecoveredRegNode = Builder.CreateCall(
416 FrameRecover, {FI8, ParentFP, Builder.getInt32(RegNodeEscapeIndex)});
417 RecoveredRegNode =
418 Builder.CreateBitCast(RecoveredRegNode, RegNodeTy->getPointerTo(0));
419 addCXXStateStoresToFunclet(RecoveredRegNode, FuncInfo, *Handler, BaseState);
420 }
421}
422
423/// Escape RegNode so that we can access it from child handlers. Find the call
Reid Kleckner60381792015-07-07 22:25:32 +0000424/// to localescape, if any, in the entry block and append RegNode to the list
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000425/// of arguments.
426int WinEHStatePass::escapeRegNode(Function &F) {
Reid Kleckner60381792015-07-07 22:25:32 +0000427 // Find the call to localescape and extract its arguments.
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000428 IntrinsicInst *EscapeCall = nullptr;
429 for (Instruction &I : F.getEntryBlock()) {
430 IntrinsicInst *II = dyn_cast<IntrinsicInst>(&I);
Reid Kleckner60381792015-07-07 22:25:32 +0000431 if (II && II->getIntrinsicID() == Intrinsic::localescape) {
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000432 EscapeCall = II;
433 break;
434 }
435 }
436 SmallVector<Value *, 8> Args;
437 if (EscapeCall) {
438 auto Ops = EscapeCall->arg_operands();
439 Args.append(Ops.begin(), Ops.end());
440 }
441 Args.push_back(RegNode);
442
443 // Replace the call (if it exists) with new one. Otherwise, insert at the end
444 // of the entry block.
Reid Kleckner85a24502015-07-10 00:08:49 +0000445 Instruction *InsertPt = EscapeCall;
446 if (!EscapeCall)
447 InsertPt = F.getEntryBlock().getTerminator();
448 IRBuilder<> Builder(&F.getEntryBlock(), InsertPt);
Reid Klecknerb7403332015-06-08 22:43:32 +0000449 Builder.CreateCall(FrameEscape, Args);
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000450 if (EscapeCall)
451 EscapeCall->eraseFromParent();
452 return Args.size() - 1;
453}
454
455void WinEHStatePass::addCXXStateStoresToFunclet(Value *ParentRegNode,
456 WinEHFuncInfo &FuncInfo,
457 Function &F, int BaseState) {
458 // Iterate all the instructions and emit state number stores.
459 for (BasicBlock &BB : F) {
460 for (Instruction &I : BB) {
461 if (auto *CI = dyn_cast<CallInst>(&I)) {
462 // Possibly throwing call instructions have no actions to take after
463 // an unwind. Ensure they are in the -1 state.
464 if (CI->doesNotThrow())
465 continue;
466 insertStateNumberStore(ParentRegNode, CI, BaseState);
467 } else if (auto *II = dyn_cast<InvokeInst>(&I)) {
468 // Look up the state number of the landingpad this unwinds to.
469 LandingPadInst *LPI = II->getUnwindDest()->getLandingPadInst();
470 // FIXME: Why does this assertion fail?
471 //assert(FuncInfo.LandingPadStateMap.count(LPI) && "LP has no state!");
472 int State = FuncInfo.LandingPadStateMap[LPI];
473 insertStateNumberStore(ParentRegNode, II, State);
474 }
475 }
476 }
477}
478
Reid Klecknerf12c0302015-06-09 21:42:19 +0000479/// Assign every distinct landingpad a unique state number for SEH. Unlike C++
480/// EH, we can use this very simple algorithm while C++ EH cannot because catch
481/// handlers aren't outlined and the runtime doesn't have to figure out which
482/// catch handler frame to unwind to.
483/// FIXME: __finally blocks are outlined, so this approach may break down there.
484void WinEHStatePass::addSEHStateStores(Function &F, MachineModuleInfo &MMI) {
485 WinEHFuncInfo &FuncInfo = MMI.getWinEHFuncInfo(&F);
486
Reid Klecknera9d62532015-06-11 22:32:23 +0000487 // Remember and return the index that we used. We save it in WinEHFuncInfo so
Reid Kleckner399a2fe2015-06-30 22:46:59 +0000488 // that we can lower llvm.x86.seh.recoverfp later in filter functions without
489 // too much trouble.
Reid Klecknera9d62532015-06-11 22:32:23 +0000490 int RegNodeEscapeIndex = escapeRegNode(F);
491 FuncInfo.EHRegNodeEscapeIndex = RegNodeEscapeIndex;
492
Reid Klecknerf12c0302015-06-09 21:42:19 +0000493 // Iterate all the instructions and emit state number stores.
494 int CurState = 0;
Reid Kleckner673de152015-06-10 01:34:54 +0000495 SmallPtrSet<BasicBlock *, 4> ExceptBlocks;
Reid Klecknerf12c0302015-06-09 21:42:19 +0000496 for (BasicBlock &BB : F) {
497 for (auto I = BB.begin(), E = BB.end(); I != E; ++I) {
498 if (auto *CI = dyn_cast<CallInst>(I)) {
499 auto *Intrin = dyn_cast<IntrinsicInst>(CI);
500 if (Intrin) {
Reid Klecknerf12c0302015-06-09 21:42:19 +0000501 // Calls that "don't throw" are considered to be able to throw asynch
502 // exceptions, but intrinsics cannot.
503 continue;
504 }
505 insertStateNumberStore(RegNode, CI, -1);
506 } else if (auto *II = dyn_cast<InvokeInst>(I)) {
507 // Look up the state number of the landingpad this unwinds to.
508 LandingPadInst *LPI = II->getUnwindDest()->getLandingPadInst();
509 auto InsertionPair =
Reid Kleckner81d1cc02015-06-11 23:37:18 +0000510 FuncInfo.LandingPadStateMap.insert(std::make_pair(LPI, CurState));
Reid Klecknerf12c0302015-06-09 21:42:19 +0000511 auto Iter = InsertionPair.first;
512 int &State = Iter->second;
513 bool Inserted = InsertionPair.second;
514 if (Inserted) {
515 // Each action consumes a state number.
516 auto *EHActions = cast<IntrinsicInst>(LPI->getNextNode());
517 SmallVector<std::unique_ptr<ActionHandler>, 4> ActionList;
518 parseEHActions(EHActions, ActionList);
519 assert(!ActionList.empty());
520 CurState += ActionList.size();
521 State += ActionList.size() - 1;
Reid Kleckner673de152015-06-10 01:34:54 +0000522
523 // Remember all the __except block targets.
524 for (auto &Handler : ActionList) {
525 if (auto *CH = dyn_cast<CatchHandler>(Handler.get())) {
526 auto *BA = cast<BlockAddress>(CH->getHandlerBlockOrFunc());
Reid Klecknered012db2015-07-08 18:08:52 +0000527#ifndef NDEBUG
528 for (BasicBlock *Pred : predecessors(BA->getBasicBlock()))
529 assert(Pred->isLandingPad() &&
530 "WinEHPrepare failed to split block");
531#endif
Reid Kleckner673de152015-06-10 01:34:54 +0000532 ExceptBlocks.insert(BA->getBasicBlock());
533 }
534 }
Reid Klecknerf12c0302015-06-09 21:42:19 +0000535 }
536 insertStateNumberStore(RegNode, II, State);
537 }
538 }
539 }
Reid Kleckner673de152015-06-10 01:34:54 +0000540
Reid Kleckner399a2fe2015-06-30 22:46:59 +0000541 // Insert llvm.x86.seh.restoreframe() into each __except block.
542 Function *RestoreFrame =
543 Intrinsic::getDeclaration(TheModule, Intrinsic::x86_seh_restoreframe);
Reid Kleckner673de152015-06-10 01:34:54 +0000544 for (BasicBlock *ExceptBB : ExceptBlocks) {
545 IRBuilder<> Builder(ExceptBB->begin());
Reid Kleckner399a2fe2015-06-30 22:46:59 +0000546 Builder.CreateCall(RestoreFrame, {});
Reid Kleckner673de152015-06-10 01:34:54 +0000547 }
Reid Klecknerf12c0302015-06-09 21:42:19 +0000548}
549
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000550void WinEHStatePass::insertStateNumberStore(Value *ParentRegNode,
551 Instruction *IP, int State) {
552 IRBuilder<> Builder(IP);
553 Value *StateField =
554 Builder.CreateStructGEP(RegNodeTy, ParentRegNode, StateFieldIndex);
555 Builder.CreateStore(Builder.getInt32(State), StateField);
556}