blob: ee5da3169427439c534ba6c5a08d77339831f246 [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"
David Majnemer8a1c45d2015-12-12 05:38:55 +000018#include "llvm/Analysis/CFG.h"
David Majnemer70497c62015-12-02 23:06:39 +000019#include "llvm/Analysis/EHPersonalities.h"
Reid Klecknerfe4d4912015-05-28 22:00:24 +000020#include "llvm/CodeGen/MachineModuleInfo.h"
Reid Kleckner0738a9c2015-05-05 17:44:16 +000021#include "llvm/CodeGen/Passes.h"
22#include "llvm/CodeGen/WinEHFuncInfo.h"
23#include "llvm/IR/Dominators.h"
24#include "llvm/IR/Function.h"
25#include "llvm/IR/IRBuilder.h"
26#include "llvm/IR/Instructions.h"
27#include "llvm/IR/IntrinsicInst.h"
28#include "llvm/IR/Module.h"
29#include "llvm/IR/PatternMatch.h"
30#include "llvm/Pass.h"
31#include "llvm/Support/Debug.h"
32#include "llvm/Support/raw_ostream.h"
33#include "llvm/Transforms/Utils/BasicBlockUtils.h"
34#include "llvm/Transforms/Utils/Cloning.h"
35#include "llvm/Transforms/Utils/Local.h"
36
37using namespace llvm;
38using namespace llvm::PatternMatch;
39
40#define DEBUG_TYPE "winehstate"
41
David Majnemer0ad363e2015-08-18 19:07:12 +000042namespace llvm { void initializeWinEHStatePassPass(PassRegistry &); }
43
Reid Kleckner0738a9c2015-05-05 17:44:16 +000044namespace {
45class WinEHStatePass : public FunctionPass {
46public:
47 static char ID; // Pass identification, replacement for typeid.
48
David Majnemer0ad363e2015-08-18 19:07:12 +000049 WinEHStatePass() : FunctionPass(ID) {
50 initializeWinEHStatePassPass(*PassRegistry::getPassRegistry());
51 }
Reid Kleckner0738a9c2015-05-05 17:44:16 +000052
53 bool runOnFunction(Function &Fn) override;
54
55 bool doInitialization(Module &M) override;
56
57 bool doFinalization(Module &M) override;
58
59 void getAnalysisUsage(AnalysisUsage &AU) const override;
60
61 const char *getPassName() const override {
62 return "Windows 32-bit x86 EH state insertion";
63 }
64
65private:
66 void emitExceptionRegistrationRecord(Function *F);
67
Reid Kleckner2bc93ca2015-06-10 01:02:30 +000068 void linkExceptionRegistration(IRBuilder<> &Builder, Function *Handler);
Reid Klecknerfe4d4912015-05-28 22:00:24 +000069 void unlinkExceptionRegistration(IRBuilder<> &Builder);
Reid Klecknerc20276d2015-11-17 21:10:25 +000070 void addStateStores(Function &F, WinEHFuncInfo &FuncInfo);
Reid Klecknerfe4d4912015-05-28 22:00:24 +000071 void insertStateNumberStore(Value *ParentRegNode, Instruction *IP, int State);
Reid Kleckner0738a9c2015-05-05 17:44:16 +000072
Reid Kleckner2632f0d2015-05-20 23:08:04 +000073 Value *emitEHLSDA(IRBuilder<> &Builder, Function *F);
74
75 Function *generateLSDAInEAXThunk(Function *ParentFunc);
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
David Majnemer0ad363e2015-08-18 19:07:12 +0000114INITIALIZE_PASS(WinEHStatePass, "x86-winehstate",
115 "Insert stores for EH state numbers", false, false)
116
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000117bool WinEHStatePass::doInitialization(Module &M) {
118 TheModule = &M;
Reid Kleckner60381792015-07-07 22:25:32 +0000119 FrameEscape = Intrinsic::getDeclaration(TheModule, Intrinsic::localescape);
120 FrameRecover = Intrinsic::getDeclaration(TheModule, Intrinsic::localrecover);
Reid Klecknerb7403332015-06-08 22:43:32 +0000121 FrameAddress = Intrinsic::getDeclaration(TheModule, Intrinsic::frameaddress);
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000122 return false;
123}
124
125bool WinEHStatePass::doFinalization(Module &M) {
126 assert(TheModule == &M);
127 TheModule = nullptr;
Reid Klecknere6531a552015-05-29 22:57:46 +0000128 EHLinkRegistrationTy = nullptr;
129 CXXEHRegistrationTy = nullptr;
130 SEHRegistrationTy = nullptr;
Reid Klecknerb7403332015-06-08 22:43:32 +0000131 FrameEscape = nullptr;
132 FrameRecover = nullptr;
133 FrameAddress = nullptr;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000134 return false;
135}
136
137void WinEHStatePass::getAnalysisUsage(AnalysisUsage &AU) const {
138 // This pass should only insert a stack allocation, memory accesses, and
Reid Kleckner60381792015-07-07 22:25:32 +0000139 // localrecovers.
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000140 AU.setPreservesCFG();
141}
142
143bool WinEHStatePass::runOnFunction(Function &F) {
Joseph Tremoulet2afea542015-10-06 20:28:16 +0000144 // Check the personality. Do nothing if this personality doesn't use funclets.
David Majnemer7fddecc2015-06-17 20:52:32 +0000145 if (!F.hasPersonalityFn())
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000146 return false;
147 PersonalityFn =
David Majnemer7fddecc2015-06-17 20:52:32 +0000148 dyn_cast<Function>(F.getPersonalityFn()->stripPointerCasts());
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000149 if (!PersonalityFn)
150 return false;
151 Personality = classifyEHPersonality(PersonalityFn);
Joseph Tremoulet2afea542015-10-06 20:28:16 +0000152 if (!isFuncletEHPersonality(Personality))
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000153 return false;
154
Reid Kleckner84ebff42015-09-16 17:19:44 +0000155 // Skip this function if there are no EH pads and we aren't using IR-level
156 // outlining.
David Majnemerbfa5b982015-10-10 00:04:29 +0000157 bool HasPads = false;
158 for (BasicBlock &BB : F) {
159 if (BB.isEHPad()) {
160 HasPads = true;
161 break;
Reid Kleckner84ebff42015-09-16 17:19:44 +0000162 }
Reid Kleckner84ebff42015-09-16 17:19:44 +0000163 }
David Majnemerbfa5b982015-10-10 00:04:29 +0000164 if (!HasPads)
165 return false;
Reid Kleckner84ebff42015-09-16 17:19:44 +0000166
Reid Kleckner173a7252015-05-29 21:58:11 +0000167 // Disable frame pointer elimination in this function.
168 // FIXME: Do the nested handlers need to keep the parent ebp in ebp, or can we
169 // use an arbitrary register?
170 F.addFnAttr("no-frame-pointer-elim", "true");
171
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000172 emitExceptionRegistrationRecord(&F);
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000173
Reid Klecknerc20276d2015-11-17 21:10:25 +0000174 // The state numbers calculated here in IR must agree with what we calculate
175 // later on for the MachineFunction. In particular, if an IR pass deletes an
176 // unreachable EH pad after this point before machine CFG construction, we
177 // will be in trouble. If this assumption is ever broken, we should turn the
178 // numbers into an immutable analysis pass.
179 WinEHFuncInfo FuncInfo;
180 addStateStores(F, FuncInfo);
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000181
182 // Reset per-function state.
183 PersonalityFn = nullptr;
184 Personality = EHPersonality::Unknown;
185 return true;
186}
187
188/// Get the common EH registration subobject:
Reid Kleckner2632f0d2015-05-20 23:08:04 +0000189/// typedef _EXCEPTION_DISPOSITION (*PEXCEPTION_ROUTINE)(
190/// _EXCEPTION_RECORD *, void *, _CONTEXT *, void *);
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000191/// struct EHRegistrationNode {
192/// EHRegistrationNode *Next;
Reid Kleckner2632f0d2015-05-20 23:08:04 +0000193/// PEXCEPTION_ROUTINE Handler;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000194/// };
Reid Klecknere6531a552015-05-29 22:57:46 +0000195Type *WinEHStatePass::getEHLinkRegistrationType() {
196 if (EHLinkRegistrationTy)
197 return EHLinkRegistrationTy;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000198 LLVMContext &Context = TheModule->getContext();
Reid Klecknere6531a552015-05-29 22:57:46 +0000199 EHLinkRegistrationTy = StructType::create(Context, "EHRegistrationNode");
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000200 Type *FieldTys[] = {
Reid Klecknere6531a552015-05-29 22:57:46 +0000201 EHLinkRegistrationTy->getPointerTo(0), // EHRegistrationNode *Next
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000202 Type::getInt8PtrTy(Context) // EXCEPTION_DISPOSITION (*Handler)(...)
203 };
Reid Klecknere6531a552015-05-29 22:57:46 +0000204 EHLinkRegistrationTy->setBody(FieldTys, false);
205 return EHLinkRegistrationTy;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000206}
207
208/// The __CxxFrameHandler3 registration node:
209/// struct CXXExceptionRegistration {
210/// void *SavedESP;
211/// EHRegistrationNode SubRecord;
212/// int32_t TryLevel;
213/// };
Reid Klecknere6531a552015-05-29 22:57:46 +0000214Type *WinEHStatePass::getCXXEHRegistrationType() {
215 if (CXXEHRegistrationTy)
216 return CXXEHRegistrationTy;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000217 LLVMContext &Context = TheModule->getContext();
218 Type *FieldTys[] = {
219 Type::getInt8PtrTy(Context), // void *SavedESP
Reid Klecknere6531a552015-05-29 22:57:46 +0000220 getEHLinkRegistrationType(), // EHRegistrationNode SubRecord
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000221 Type::getInt32Ty(Context) // int32_t TryLevel
222 };
Reid Klecknere6531a552015-05-29 22:57:46 +0000223 CXXEHRegistrationTy =
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000224 StructType::create(FieldTys, "CXXExceptionRegistration");
Reid Klecknere6531a552015-05-29 22:57:46 +0000225 return CXXEHRegistrationTy;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000226}
227
Reid Klecknere6531a552015-05-29 22:57:46 +0000228/// The _except_handler3/4 registration node:
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000229/// struct EH4ExceptionRegistration {
230/// void *SavedESP;
231/// _EXCEPTION_POINTERS *ExceptionPointers;
232/// EHRegistrationNode SubRecord;
233/// int32_t EncodedScopeTable;
234/// int32_t TryLevel;
235/// };
Reid Klecknere6531a552015-05-29 22:57:46 +0000236Type *WinEHStatePass::getSEHRegistrationType() {
237 if (SEHRegistrationTy)
238 return SEHRegistrationTy;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000239 LLVMContext &Context = TheModule->getContext();
240 Type *FieldTys[] = {
241 Type::getInt8PtrTy(Context), // void *SavedESP
242 Type::getInt8PtrTy(Context), // void *ExceptionPointers
Reid Klecknere6531a552015-05-29 22:57:46 +0000243 getEHLinkRegistrationType(), // EHRegistrationNode SubRecord
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000244 Type::getInt32Ty(Context), // int32_t EncodedScopeTable
245 Type::getInt32Ty(Context) // int32_t TryLevel
246 };
Reid Klecknere6531a552015-05-29 22:57:46 +0000247 SEHRegistrationTy = StructType::create(FieldTys, "SEHExceptionRegistration");
248 return SEHRegistrationTy;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000249}
250
251// Emit an exception registration record. These are stack allocations with the
252// common subobject of two pointers: the previous registration record (the old
253// fs:00) and the personality function for the current frame. The data before
254// and after that is personality function specific.
255void WinEHStatePass::emitExceptionRegistrationRecord(Function *F) {
256 assert(Personality == EHPersonality::MSVC_CXX ||
257 Personality == EHPersonality::MSVC_X86SEH);
258
259 StringRef PersonalityName = PersonalityFn->getName();
260 IRBuilder<> Builder(&F->getEntryBlock(), F->getEntryBlock().begin());
261 Type *Int8PtrType = Builder.getInt8PtrTy();
Reid Klecknere6531a552015-05-29 22:57:46 +0000262 if (Personality == EHPersonality::MSVC_CXX) {
263 RegNodeTy = getCXXEHRegistrationType();
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000264 RegNode = Builder.CreateAlloca(RegNodeTy);
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000265 // SavedESP = llvm.stacksave()
266 Value *SP = Builder.CreateCall(
David Blaikieff6409d2015-05-18 22:13:54 +0000267 Intrinsic::getDeclaration(TheModule, Intrinsic::stacksave), {});
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000268 Builder.CreateStore(SP, Builder.CreateStructGEP(RegNodeTy, RegNode, 0));
269 // TryLevel = -1
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000270 StateFieldIndex = 2;
Duncan P. N. Exon Smithd77de642015-10-19 21:48:29 +0000271 insertStateNumberStore(RegNode, &*Builder.GetInsertPoint(), -1);
Reid Kleckner2632f0d2015-05-20 23:08:04 +0000272 // Handler = __ehhandler$F
273 Function *Trampoline = generateLSDAInEAXThunk(F);
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000274 Link = Builder.CreateStructGEP(RegNodeTy, RegNode, 1);
275 linkExceptionRegistration(Builder, Trampoline);
Reid Klecknere6531a552015-05-29 22:57:46 +0000276 } else if (Personality == EHPersonality::MSVC_X86SEH) {
277 // If _except_handler4 is in use, some additional guard checks and prologue
278 // stuff is required.
279 bool UseStackGuard = (PersonalityName == "_except_handler4");
280 RegNodeTy = getSEHRegistrationType();
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000281 RegNode = Builder.CreateAlloca(RegNodeTy);
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000282 // SavedESP = llvm.stacksave()
283 Value *SP = Builder.CreateCall(
David Blaikieff6409d2015-05-18 22:13:54 +0000284 Intrinsic::getDeclaration(TheModule, Intrinsic::stacksave), {});
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000285 Builder.CreateStore(SP, Builder.CreateStructGEP(RegNodeTy, RegNode, 0));
Reid Klecknere6531a552015-05-29 22:57:46 +0000286 // TryLevel = -2 / -1
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000287 StateFieldIndex = 4;
Duncan P. N. Exon Smithd77de642015-10-19 21:48:29 +0000288 insertStateNumberStore(RegNode, &*Builder.GetInsertPoint(),
Reid Klecknere6531a552015-05-29 22:57:46 +0000289 UseStackGuard ? -2 : -1);
Reid Kleckner2632f0d2015-05-20 23:08:04 +0000290 // ScopeTable = llvm.x86.seh.lsda(F)
291 Value *FI8 = Builder.CreateBitCast(F, Int8PtrType);
292 Value *LSDA = Builder.CreateCall(
293 Intrinsic::getDeclaration(TheModule, Intrinsic::x86_seh_lsda), FI8);
Reid Klecknere6531a552015-05-29 22:57:46 +0000294 Type *Int32Ty = Type::getInt32Ty(TheModule->getContext());
295 LSDA = Builder.CreatePtrToInt(LSDA, Int32Ty);
296 // If using _except_handler4, xor the address of the table with
297 // __security_cookie.
298 if (UseStackGuard) {
299 Value *Cookie =
300 TheModule->getOrInsertGlobal("__security_cookie", Int32Ty);
301 Value *Val = Builder.CreateLoad(Int32Ty, Cookie);
302 LSDA = Builder.CreateXor(LSDA, Val);
303 }
304 Builder.CreateStore(LSDA, Builder.CreateStructGEP(RegNodeTy, RegNode, 3));
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000305 Link = Builder.CreateStructGEP(RegNodeTy, RegNode, 2);
306 linkExceptionRegistration(Builder, PersonalityFn);
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000307 } else {
308 llvm_unreachable("unexpected personality function");
309 }
310
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000311 // Insert an unlink before all returns.
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000312 for (BasicBlock &BB : *F) {
313 TerminatorInst *T = BB.getTerminator();
314 if (!isa<ReturnInst>(T))
315 continue;
316 Builder.SetInsertPoint(T);
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000317 unlinkExceptionRegistration(Builder);
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000318 }
319}
320
Reid Kleckner2632f0d2015-05-20 23:08:04 +0000321Value *WinEHStatePass::emitEHLSDA(IRBuilder<> &Builder, Function *F) {
322 Value *FI8 = Builder.CreateBitCast(F, Type::getInt8PtrTy(F->getContext()));
323 return Builder.CreateCall(
324 Intrinsic::getDeclaration(TheModule, Intrinsic::x86_seh_lsda), FI8);
325}
326
327/// Generate a thunk that puts the LSDA of ParentFunc in EAX and then calls
328/// PersonalityFn, forwarding the parameters passed to PEXCEPTION_ROUTINE:
329/// typedef _EXCEPTION_DISPOSITION (*PEXCEPTION_ROUTINE)(
330/// _EXCEPTION_RECORD *, void *, _CONTEXT *, void *);
331/// We essentially want this code:
332/// movl $lsda, %eax
333/// jmpl ___CxxFrameHandler3
334Function *WinEHStatePass::generateLSDAInEAXThunk(Function *ParentFunc) {
335 LLVMContext &Context = ParentFunc->getContext();
336 Type *Int32Ty = Type::getInt32Ty(Context);
337 Type *Int8PtrType = Type::getInt8PtrTy(Context);
338 Type *ArgTys[5] = {Int8PtrType, Int8PtrType, Int8PtrType, Int8PtrType,
339 Int8PtrType};
340 FunctionType *TrampolineTy =
341 FunctionType::get(Int32Ty, makeArrayRef(&ArgTys[0], 4),
342 /*isVarArg=*/false);
343 FunctionType *TargetFuncTy =
344 FunctionType::get(Int32Ty, makeArrayRef(&ArgTys[0], 5),
345 /*isVarArg=*/false);
Reid Kleckner5f4dd922015-07-13 17:55:14 +0000346 Function *Trampoline =
347 Function::Create(TrampolineTy, GlobalValue::InternalLinkage,
348 Twine("__ehhandler$") + GlobalValue::getRealLinkageName(
349 ParentFunc->getName()),
350 TheModule);
Reid Kleckner2632f0d2015-05-20 23:08:04 +0000351 BasicBlock *EntryBB = BasicBlock::Create(Context, "entry", Trampoline);
352 IRBuilder<> Builder(EntryBB);
353 Value *LSDA = emitEHLSDA(Builder, ParentFunc);
354 Value *CastPersonality =
355 Builder.CreateBitCast(PersonalityFn, TargetFuncTy->getPointerTo());
356 auto AI = Trampoline->arg_begin();
Duncan P. N. Exon Smithd77de642015-10-19 21:48:29 +0000357 Value *Args[5] = {LSDA, &*AI++, &*AI++, &*AI++, &*AI++};
Reid Kleckner2632f0d2015-05-20 23:08:04 +0000358 CallInst *Call = Builder.CreateCall(CastPersonality, Args);
359 // Can't use musttail due to prototype mismatch, but we can use tail.
360 Call->setTailCall(true);
361 // Set inreg so we pass it in EAX.
362 Call->addAttribute(1, Attribute::InReg);
363 Builder.CreateRet(Call);
364 return Trampoline;
365}
366
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000367void WinEHStatePass::linkExceptionRegistration(IRBuilder<> &Builder,
Reid Kleckner2bc93ca2015-06-10 01:02:30 +0000368 Function *Handler) {
369 // Emit the .safeseh directive for this function.
370 Handler->addFnAttr("safeseh");
371
Reid Klecknere6531a552015-05-29 22:57:46 +0000372 Type *LinkTy = getEHLinkRegistrationType();
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000373 // Handler = Handler
Reid Kleckner2bc93ca2015-06-10 01:02:30 +0000374 Value *HandlerI8 = Builder.CreateBitCast(Handler, Builder.getInt8PtrTy());
375 Builder.CreateStore(HandlerI8, Builder.CreateStructGEP(LinkTy, Link, 1));
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000376 // Next = [fs:00]
377 Constant *FSZero =
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000378 Constant::getNullValue(LinkTy->getPointerTo()->getPointerTo(257));
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000379 Value *Next = Builder.CreateLoad(FSZero);
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000380 Builder.CreateStore(Next, Builder.CreateStructGEP(LinkTy, Link, 0));
381 // [fs:00] = Link
382 Builder.CreateStore(Link, FSZero);
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000383}
384
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000385void WinEHStatePass::unlinkExceptionRegistration(IRBuilder<> &Builder) {
386 // Clone Link into the current BB for better address mode folding.
387 if (auto *GEP = dyn_cast<GetElementPtrInst>(Link)) {
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000388 GEP = cast<GetElementPtrInst>(GEP->clone());
389 Builder.Insert(GEP);
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000390 Link = GEP;
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000391 }
Reid Klecknere6531a552015-05-29 22:57:46 +0000392 Type *LinkTy = getEHLinkRegistrationType();
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000393 // [fs:00] = Link->Next
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000394 Value *Next =
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000395 Builder.CreateLoad(Builder.CreateStructGEP(LinkTy, Link, 0));
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000396 Constant *FSZero =
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000397 Constant::getNullValue(LinkTy->getPointerTo()->getPointerTo(257));
Reid Kleckner0738a9c2015-05-05 17:44:16 +0000398 Builder.CreateStore(Next, FSZero);
399}
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000400
Reid Klecknerc20276d2015-11-17 21:10:25 +0000401void WinEHStatePass::addStateStores(Function &F, WinEHFuncInfo &FuncInfo) {
402 // Mark the registration node. The backend needs to know which alloca it is so
403 // that it can recover the original frame pointer.
404 IRBuilder<> Builder(RegNode->getParent(), std::next(RegNode->getIterator()));
405 Value *RegNodeI8 = Builder.CreateBitCast(RegNode, Builder.getInt8PtrTy());
406 Builder.CreateCall(
407 Intrinsic::getDeclaration(TheModule, Intrinsic::x86_seh_ehregnode),
408 {RegNodeI8});
Reid Kleckner14e77352015-10-09 23:34:53 +0000409
Reid Klecknerc20276d2015-11-17 21:10:25 +0000410 // Calculate state numbers.
411 if (isAsynchronousEHPersonality(Personality))
412 calculateSEHStateNumbers(&F, FuncInfo);
413 else
414 calculateWinCXXEHStateNumbers(&F, FuncInfo);
Reid Kleckner14e77352015-10-09 23:34:53 +0000415
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000416 // Iterate all the instructions and emit state number stores.
David Majnemer8a1c45d2015-12-12 05:38:55 +0000417 DenseMap<BasicBlock *, ColorVector> BlockColors = colorEHFunclets(F);
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000418 for (BasicBlock &BB : F) {
David Majnemer8a1c45d2015-12-12 05:38:55 +0000419 // Figure out what state we should assign calls in this block.
420 int BaseState = -1;
421 auto &BBColors = BlockColors[&BB];
422
423 assert(BBColors.size() == 1 &&
424 "multi-color BB not removed by preparation");
425 BasicBlock *FuncletEntryBB = BBColors.front();
426 if (auto *FuncletPad =
427 dyn_cast<FuncletPadInst>(FuncletEntryBB->getFirstNonPHI())) {
David Majnemerf2bb7102016-01-29 05:33:15 +0000428 // We do not support nesting funclets within cleanuppads.
429 if (isa<CleanupPadInst>(FuncletPad))
430 continue;
431
David Majnemer8a1c45d2015-12-12 05:38:55 +0000432 auto BaseStateI = FuncInfo.FuncletBaseStateMap.find(FuncletPad);
433 if (BaseStateI != FuncInfo.FuncletBaseStateMap.end())
434 BaseState = BaseStateI->second;
435 }
436
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000437 for (Instruction &I : BB) {
438 if (auto *CI = dyn_cast<CallInst>(&I)) {
439 // Possibly throwing call instructions have no actions to take after
440 // an unwind. Ensure they are in the -1 state.
441 if (CI->doesNotThrow())
442 continue;
David Majnemer8a1c45d2015-12-12 05:38:55 +0000443 insertStateNumberStore(RegNode, CI, BaseState);
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000444 } else if (auto *II = dyn_cast<InvokeInst>(&I)) {
445 // Look up the state number of the landingpad this unwinds to.
David Majnemer8a1c45d2015-12-12 05:38:55 +0000446 assert(FuncInfo.InvokeStateMap.count(II) && "invoke has no state!");
447 int State = FuncInfo.InvokeStateMap[II];
Reid Klecknerc20276d2015-11-17 21:10:25 +0000448 insertStateNumberStore(RegNode, II, State);
Reid Klecknerfe4d4912015-05-28 22:00:24 +0000449 }
450 }
451 }
452}
453
454void WinEHStatePass::insertStateNumberStore(Value *ParentRegNode,
455 Instruction *IP, int State) {
456 IRBuilder<> Builder(IP);
457 Value *StateField =
458 Builder.CreateStructGEP(RegNodeTy, ParentRegNode, StateFieldIndex);
459 Builder.CreateStore(Builder.getInt32(State), StateField);
460}