1 //===-- X86WinEHState - Insert EH state updates for win32 exceptions ------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
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.
15 //===----------------------------------------------------------------------===//
18 #include "llvm/ADT/PostOrderIterator.h"
19 #include "llvm/Analysis/CFG.h"
20 #include "llvm/Analysis/EHPersonalities.h"
21 #include "llvm/CodeGen/MachineModuleInfo.h"
22 #include "llvm/CodeGen/WinEHFuncInfo.h"
23 #include "llvm/IR/CallSite.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/Pass.h"
30 #include "llvm/Support/Debug.h"
35 #define DEBUG_TYPE "winehstate"
38 void initializeWinEHStatePassPass(PassRegistry &);
42 const int OverdefinedState = INT_MIN;
44 class WinEHStatePass : public FunctionPass {
46 static char ID; // Pass identification, replacement for typeid.
48 WinEHStatePass() : FunctionPass(ID) {
49 initializeWinEHStatePassPass(*PassRegistry::getPassRegistry());
52 bool runOnFunction(Function &Fn) override;
54 bool doInitialization(Module &M) override;
56 bool doFinalization(Module &M) override;
58 void getAnalysisUsage(AnalysisUsage &AU) const override;
60 StringRef getPassName() const override {
61 return "Windows 32-bit x86 EH state insertion";
65 void emitExceptionRegistrationRecord(Function *F);
67 void linkExceptionRegistration(IRBuilder<> &Builder, Function *Handler);
68 void unlinkExceptionRegistration(IRBuilder<> &Builder);
69 void addStateStores(Function &F, WinEHFuncInfo &FuncInfo);
70 void insertStateNumberStore(Instruction *IP, int State);
72 Value *emitEHLSDA(IRBuilder<> &Builder, Function *F);
74 Function *generateLSDAInEAXThunk(Function *ParentFunc);
76 bool isStateStoreNeeded(EHPersonality Personality, CallSite CS);
77 void rewriteSetJmpCallSite(IRBuilder<> &Builder, Function &F, CallSite CS,
79 int getBaseStateForBB(DenseMap<BasicBlock *, ColorVector> &BlockColors,
80 WinEHFuncInfo &FuncInfo, BasicBlock *BB);
81 int getStateForCallSite(DenseMap<BasicBlock *, ColorVector> &BlockColors,
82 WinEHFuncInfo &FuncInfo, CallSite CS);
84 // Module-level type getters.
85 Type *getEHLinkRegistrationType();
86 Type *getSEHRegistrationType();
87 Type *getCXXEHRegistrationType();
90 Module *TheModule = nullptr;
91 StructType *EHLinkRegistrationTy = nullptr;
92 StructType *CXXEHRegistrationTy = nullptr;
93 StructType *SEHRegistrationTy = nullptr;
94 Constant *SetJmp3 = nullptr;
95 Constant *CxxLongjmpUnwind = nullptr;
98 EHPersonality Personality = EHPersonality::Unknown;
99 Function *PersonalityFn = nullptr;
100 bool UseStackGuard = false;
102 Constant *SehLongjmpUnwind = nullptr;
103 Constant *Cookie = nullptr;
105 /// The stack allocation containing all EH data, including the link in the
106 /// fs:00 chain and the current state.
107 AllocaInst *RegNode = nullptr;
109 // The allocation containing the EH security guard.
110 AllocaInst *EHGuardNode = nullptr;
112 /// The index of the state field of RegNode.
113 int StateFieldIndex = ~0U;
115 /// The linked list node subobject inside of RegNode.
116 Value *Link = nullptr;
120 FunctionPass *llvm::createX86WinEHStatePass() { return new WinEHStatePass(); }
122 char WinEHStatePass::ID = 0;
124 INITIALIZE_PASS(WinEHStatePass, "x86-winehstate",
125 "Insert stores for EH state numbers", false, false)
127 bool WinEHStatePass::doInitialization(Module &M) {
132 bool WinEHStatePass::doFinalization(Module &M) {
133 assert(TheModule == &M);
135 EHLinkRegistrationTy = nullptr;
136 CXXEHRegistrationTy = nullptr;
137 SEHRegistrationTy = nullptr;
139 CxxLongjmpUnwind = nullptr;
140 SehLongjmpUnwind = nullptr;
145 void WinEHStatePass::getAnalysisUsage(AnalysisUsage &AU) const {
146 // This pass should only insert a stack allocation, memory accesses, and
148 AU.setPreservesCFG();
151 bool WinEHStatePass::runOnFunction(Function &F) {
152 // Check the personality. Do nothing if this personality doesn't use funclets.
153 if (!F.hasPersonalityFn())
156 dyn_cast<Function>(F.getPersonalityFn()->stripPointerCasts());
159 Personality = classifyEHPersonality(PersonalityFn);
160 if (!isFuncletEHPersonality(Personality))
163 // Skip this function if there are no EH pads and we aren't using IR-level
165 bool HasPads = false;
166 for (BasicBlock &BB : F) {
175 Type *Int8PtrType = Type::getInt8PtrTy(TheModule->getContext());
176 SetJmp3 = TheModule->getOrInsertFunction(
177 "_setjmp3", FunctionType::get(
178 Type::getInt32Ty(TheModule->getContext()),
179 {Int8PtrType, Type::getInt32Ty(TheModule->getContext())},
182 // Disable frame pointer elimination in this function.
183 // FIXME: Do the nested handlers need to keep the parent ebp in ebp, or can we
184 // use an arbitrary register?
185 F.addFnAttr("no-frame-pointer-elim", "true");
187 emitExceptionRegistrationRecord(&F);
189 // The state numbers calculated here in IR must agree with what we calculate
190 // later on for the MachineFunction. In particular, if an IR pass deletes an
191 // unreachable EH pad after this point before machine CFG construction, we
192 // will be in trouble. If this assumption is ever broken, we should turn the
193 // numbers into an immutable analysis pass.
194 WinEHFuncInfo FuncInfo;
195 addStateStores(F, FuncInfo);
197 // Reset per-function state.
198 PersonalityFn = nullptr;
199 Personality = EHPersonality::Unknown;
200 UseStackGuard = false;
202 EHGuardNode = nullptr;
207 /// Get the common EH registration subobject:
208 /// typedef _EXCEPTION_DISPOSITION (*PEXCEPTION_ROUTINE)(
209 /// _EXCEPTION_RECORD *, void *, _CONTEXT *, void *);
210 /// struct EHRegistrationNode {
211 /// EHRegistrationNode *Next;
212 /// PEXCEPTION_ROUTINE Handler;
214 Type *WinEHStatePass::getEHLinkRegistrationType() {
215 if (EHLinkRegistrationTy)
216 return EHLinkRegistrationTy;
217 LLVMContext &Context = TheModule->getContext();
218 EHLinkRegistrationTy = StructType::create(Context, "EHRegistrationNode");
220 EHLinkRegistrationTy->getPointerTo(0), // EHRegistrationNode *Next
221 Type::getInt8PtrTy(Context) // EXCEPTION_DISPOSITION (*Handler)(...)
223 EHLinkRegistrationTy->setBody(FieldTys, false);
224 return EHLinkRegistrationTy;
227 /// The __CxxFrameHandler3 registration node:
228 /// struct CXXExceptionRegistration {
230 /// EHRegistrationNode SubRecord;
231 /// int32_t TryLevel;
233 Type *WinEHStatePass::getCXXEHRegistrationType() {
234 if (CXXEHRegistrationTy)
235 return CXXEHRegistrationTy;
236 LLVMContext &Context = TheModule->getContext();
238 Type::getInt8PtrTy(Context), // void *SavedESP
239 getEHLinkRegistrationType(), // EHRegistrationNode SubRecord
240 Type::getInt32Ty(Context) // int32_t TryLevel
242 CXXEHRegistrationTy =
243 StructType::create(FieldTys, "CXXExceptionRegistration");
244 return CXXEHRegistrationTy;
247 /// The _except_handler3/4 registration node:
248 /// struct EH4ExceptionRegistration {
250 /// _EXCEPTION_POINTERS *ExceptionPointers;
251 /// EHRegistrationNode SubRecord;
252 /// int32_t EncodedScopeTable;
253 /// int32_t TryLevel;
255 Type *WinEHStatePass::getSEHRegistrationType() {
256 if (SEHRegistrationTy)
257 return SEHRegistrationTy;
258 LLVMContext &Context = TheModule->getContext();
260 Type::getInt8PtrTy(Context), // void *SavedESP
261 Type::getInt8PtrTy(Context), // void *ExceptionPointers
262 getEHLinkRegistrationType(), // EHRegistrationNode SubRecord
263 Type::getInt32Ty(Context), // int32_t EncodedScopeTable
264 Type::getInt32Ty(Context) // int32_t TryLevel
266 SEHRegistrationTy = StructType::create(FieldTys, "SEHExceptionRegistration");
267 return SEHRegistrationTy;
270 // Emit an exception registration record. These are stack allocations with the
271 // common subobject of two pointers: the previous registration record (the old
272 // fs:00) and the personality function for the current frame. The data before
273 // and after that is personality function specific.
274 void WinEHStatePass::emitExceptionRegistrationRecord(Function *F) {
275 assert(Personality == EHPersonality::MSVC_CXX ||
276 Personality == EHPersonality::MSVC_X86SEH);
278 // Struct type of RegNode. Used for GEPing.
281 IRBuilder<> Builder(&F->getEntryBlock(), F->getEntryBlock().begin());
282 Type *Int8PtrType = Builder.getInt8PtrTy();
283 Type *Int32Ty = Builder.getInt32Ty();
284 Type *VoidTy = Builder.getVoidTy();
286 if (Personality == EHPersonality::MSVC_CXX) {
287 RegNodeTy = getCXXEHRegistrationType();
288 RegNode = Builder.CreateAlloca(RegNodeTy);
289 // SavedESP = llvm.stacksave()
290 Value *SP = Builder.CreateCall(
291 Intrinsic::getDeclaration(TheModule, Intrinsic::stacksave), {});
292 Builder.CreateStore(SP, Builder.CreateStructGEP(RegNodeTy, RegNode, 0));
295 ParentBaseState = -1;
296 insertStateNumberStore(&*Builder.GetInsertPoint(), ParentBaseState);
297 // Handler = __ehhandler$F
298 Function *Trampoline = generateLSDAInEAXThunk(F);
299 Link = Builder.CreateStructGEP(RegNodeTy, RegNode, 1);
300 linkExceptionRegistration(Builder, Trampoline);
302 CxxLongjmpUnwind = TheModule->getOrInsertFunction(
303 "__CxxLongjmpUnwind",
304 FunctionType::get(VoidTy, Int8PtrType, /*isVarArg=*/false));
305 cast<Function>(CxxLongjmpUnwind->stripPointerCasts())
306 ->setCallingConv(CallingConv::X86_StdCall);
307 } else if (Personality == EHPersonality::MSVC_X86SEH) {
308 // If _except_handler4 is in use, some additional guard checks and prologue
309 // stuff is required.
310 StringRef PersonalityName = PersonalityFn->getName();
311 UseStackGuard = (PersonalityName == "_except_handler4");
313 // Allocate local structures.
314 RegNodeTy = getSEHRegistrationType();
315 RegNode = Builder.CreateAlloca(RegNodeTy);
317 EHGuardNode = Builder.CreateAlloca(Int32Ty);
319 // SavedESP = llvm.stacksave()
320 Value *SP = Builder.CreateCall(
321 Intrinsic::getDeclaration(TheModule, Intrinsic::stacksave), {});
322 Builder.CreateStore(SP, Builder.CreateStructGEP(RegNodeTy, RegNode, 0));
323 // TryLevel = -2 / -1
325 ParentBaseState = UseStackGuard ? -2 : -1;
326 insertStateNumberStore(&*Builder.GetInsertPoint(), ParentBaseState);
327 // ScopeTable = llvm.x86.seh.lsda(F)
328 Value *LSDA = emitEHLSDA(Builder, F);
329 LSDA = Builder.CreatePtrToInt(LSDA, Int32Ty);
330 // If using _except_handler4, xor the address of the table with
331 // __security_cookie.
333 Cookie = TheModule->getOrInsertGlobal("__security_cookie", Int32Ty);
334 Value *Val = Builder.CreateLoad(Int32Ty, Cookie, "cookie");
335 LSDA = Builder.CreateXor(LSDA, Val);
337 Builder.CreateStore(LSDA, Builder.CreateStructGEP(RegNodeTy, RegNode, 3));
339 // If using _except_handler4, the EHGuard contains: FramePtr xor Cookie.
341 Value *Val = Builder.CreateLoad(Int32Ty, Cookie);
342 Value *FrameAddr = Builder.CreateCall(
343 Intrinsic::getDeclaration(TheModule, Intrinsic::frameaddress),
344 Builder.getInt32(0), "frameaddr");
345 Value *FrameAddrI32 = Builder.CreatePtrToInt(FrameAddr, Int32Ty);
346 FrameAddrI32 = Builder.CreateXor(FrameAddrI32, Val);
347 Builder.CreateStore(FrameAddrI32, EHGuardNode);
350 // Register the exception handler.
351 Link = Builder.CreateStructGEP(RegNodeTy, RegNode, 2);
352 linkExceptionRegistration(Builder, PersonalityFn);
354 SehLongjmpUnwind = TheModule->getOrInsertFunction(
355 UseStackGuard ? "_seh_longjmp_unwind4" : "_seh_longjmp_unwind",
356 FunctionType::get(Type::getVoidTy(TheModule->getContext()), Int8PtrType,
357 /*isVarArg=*/false));
358 cast<Function>(SehLongjmpUnwind->stripPointerCasts())
359 ->setCallingConv(CallingConv::X86_StdCall);
361 llvm_unreachable("unexpected personality function");
364 // Insert an unlink before all returns.
365 for (BasicBlock &BB : *F) {
366 TerminatorInst *T = BB.getTerminator();
367 if (!isa<ReturnInst>(T))
369 Builder.SetInsertPoint(T);
370 unlinkExceptionRegistration(Builder);
374 Value *WinEHStatePass::emitEHLSDA(IRBuilder<> &Builder, Function *F) {
375 Value *FI8 = Builder.CreateBitCast(F, Type::getInt8PtrTy(F->getContext()));
376 return Builder.CreateCall(
377 Intrinsic::getDeclaration(TheModule, Intrinsic::x86_seh_lsda), FI8);
380 /// Generate a thunk that puts the LSDA of ParentFunc in EAX and then calls
381 /// PersonalityFn, forwarding the parameters passed to PEXCEPTION_ROUTINE:
382 /// typedef _EXCEPTION_DISPOSITION (*PEXCEPTION_ROUTINE)(
383 /// _EXCEPTION_RECORD *, void *, _CONTEXT *, void *);
384 /// We essentially want this code:
386 /// jmpl ___CxxFrameHandler3
387 Function *WinEHStatePass::generateLSDAInEAXThunk(Function *ParentFunc) {
388 LLVMContext &Context = ParentFunc->getContext();
389 Type *Int32Ty = Type::getInt32Ty(Context);
390 Type *Int8PtrType = Type::getInt8PtrTy(Context);
391 Type *ArgTys[5] = {Int8PtrType, Int8PtrType, Int8PtrType, Int8PtrType,
393 FunctionType *TrampolineTy =
394 FunctionType::get(Int32Ty, makeArrayRef(&ArgTys[0], 4),
396 FunctionType *TargetFuncTy =
397 FunctionType::get(Int32Ty, makeArrayRef(&ArgTys[0], 5),
399 Function *Trampoline =
400 Function::Create(TrampolineTy, GlobalValue::InternalLinkage,
401 Twine("__ehhandler$") + GlobalValue::dropLLVMManglingEscape(
402 ParentFunc->getName()),
404 if (auto *C = ParentFunc->getComdat())
405 Trampoline->setComdat(C);
406 BasicBlock *EntryBB = BasicBlock::Create(Context, "entry", Trampoline);
407 IRBuilder<> Builder(EntryBB);
408 Value *LSDA = emitEHLSDA(Builder, ParentFunc);
409 Value *CastPersonality =
410 Builder.CreateBitCast(PersonalityFn, TargetFuncTy->getPointerTo());
411 auto AI = Trampoline->arg_begin();
412 Value *Args[5] = {LSDA, &*AI++, &*AI++, &*AI++, &*AI++};
413 CallInst *Call = Builder.CreateCall(CastPersonality, Args);
414 // Can't use musttail due to prototype mismatch, but we can use tail.
415 Call->setTailCall(true);
416 // Set inreg so we pass it in EAX.
417 Call->addParamAttr(0, Attribute::InReg);
418 Builder.CreateRet(Call);
422 void WinEHStatePass::linkExceptionRegistration(IRBuilder<> &Builder,
424 // Emit the .safeseh directive for this function.
425 Handler->addFnAttr("safeseh");
427 Type *LinkTy = getEHLinkRegistrationType();
429 Value *HandlerI8 = Builder.CreateBitCast(Handler, Builder.getInt8PtrTy());
430 Builder.CreateStore(HandlerI8, Builder.CreateStructGEP(LinkTy, Link, 1));
433 Constant::getNullValue(LinkTy->getPointerTo()->getPointerTo(257));
434 Value *Next = Builder.CreateLoad(FSZero);
435 Builder.CreateStore(Next, Builder.CreateStructGEP(LinkTy, Link, 0));
437 Builder.CreateStore(Link, FSZero);
440 void WinEHStatePass::unlinkExceptionRegistration(IRBuilder<> &Builder) {
441 // Clone Link into the current BB for better address mode folding.
442 if (auto *GEP = dyn_cast<GetElementPtrInst>(Link)) {
443 GEP = cast<GetElementPtrInst>(GEP->clone());
447 Type *LinkTy = getEHLinkRegistrationType();
448 // [fs:00] = Link->Next
450 Builder.CreateLoad(Builder.CreateStructGEP(LinkTy, Link, 0));
452 Constant::getNullValue(LinkTy->getPointerTo()->getPointerTo(257));
453 Builder.CreateStore(Next, FSZero);
456 // Calls to setjmp(p) are lowered to _setjmp3(p, 0) by the frontend.
457 // The idea behind _setjmp3 is that it takes an optional number of personality
458 // specific parameters to indicate how to restore the personality-specific frame
459 // state when longjmp is initiated. Typically, the current TryLevel is saved.
460 void WinEHStatePass::rewriteSetJmpCallSite(IRBuilder<> &Builder, Function &F,
461 CallSite CS, Value *State) {
462 // Don't rewrite calls with a weird number of arguments.
463 if (CS.getNumArgOperands() != 2)
466 Instruction *Inst = CS.getInstruction();
468 SmallVector<OperandBundleDef, 1> OpBundles;
469 CS.getOperandBundlesAsDefs(OpBundles);
471 SmallVector<Value *, 3> OptionalArgs;
472 if (Personality == EHPersonality::MSVC_CXX) {
473 OptionalArgs.push_back(CxxLongjmpUnwind);
474 OptionalArgs.push_back(State);
475 OptionalArgs.push_back(emitEHLSDA(Builder, &F));
476 } else if (Personality == EHPersonality::MSVC_X86SEH) {
477 OptionalArgs.push_back(SehLongjmpUnwind);
478 OptionalArgs.push_back(State);
480 OptionalArgs.push_back(Cookie);
482 llvm_unreachable("unhandled personality!");
485 SmallVector<Value *, 5> Args;
487 Builder.CreateBitCast(CS.getArgOperand(0), Builder.getInt8PtrTy()));
488 Args.push_back(Builder.getInt32(OptionalArgs.size()));
489 Args.append(OptionalArgs.begin(), OptionalArgs.end());
493 auto *CI = cast<CallInst>(Inst);
494 CallInst *NewCI = Builder.CreateCall(SetJmp3, Args, OpBundles);
495 NewCI->setTailCallKind(CI->getTailCallKind());
498 auto *II = cast<InvokeInst>(Inst);
499 NewCS = Builder.CreateInvoke(
500 SetJmp3, II->getNormalDest(), II->getUnwindDest(), Args, OpBundles);
502 NewCS.setCallingConv(CS.getCallingConv());
503 NewCS.setAttributes(CS.getAttributes());
504 NewCS->setDebugLoc(CS->getDebugLoc());
506 Instruction *NewInst = NewCS.getInstruction();
507 NewInst->takeName(Inst);
508 Inst->replaceAllUsesWith(NewInst);
509 Inst->eraseFromParent();
512 // Figure out what state we should assign calls in this block.
513 int WinEHStatePass::getBaseStateForBB(
514 DenseMap<BasicBlock *, ColorVector> &BlockColors, WinEHFuncInfo &FuncInfo,
516 int BaseState = ParentBaseState;
517 auto &BBColors = BlockColors[BB];
519 assert(BBColors.size() == 1 && "multi-color BB not removed by preparation");
520 BasicBlock *FuncletEntryBB = BBColors.front();
521 if (auto *FuncletPad =
522 dyn_cast<FuncletPadInst>(FuncletEntryBB->getFirstNonPHI())) {
523 auto BaseStateI = FuncInfo.FuncletBaseStateMap.find(FuncletPad);
524 if (BaseStateI != FuncInfo.FuncletBaseStateMap.end())
525 BaseState = BaseStateI->second;
531 // Calculate the state a call-site is in.
532 int WinEHStatePass::getStateForCallSite(
533 DenseMap<BasicBlock *, ColorVector> &BlockColors, WinEHFuncInfo &FuncInfo,
535 if (auto *II = dyn_cast<InvokeInst>(CS.getInstruction())) {
536 // Look up the state number of the EH pad this unwinds to.
537 assert(FuncInfo.InvokeStateMap.count(II) && "invoke has no state!");
538 return FuncInfo.InvokeStateMap[II];
540 // Possibly throwing call instructions have no actions to take after
541 // an unwind. Ensure they are in the -1 state.
542 return getBaseStateForBB(BlockColors, FuncInfo, CS.getParent());
545 // Calculate the intersection of all the FinalStates for a BasicBlock's
547 static int getPredState(DenseMap<BasicBlock *, int> &FinalStates, Function &F,
548 int ParentBaseState, BasicBlock *BB) {
549 // The entry block has no predecessors but we know that the prologue always
550 // sets us up with a fixed state.
551 if (&F.getEntryBlock() == BB)
552 return ParentBaseState;
554 // This is an EH Pad, conservatively report this basic block as overdefined.
556 return OverdefinedState;
558 int CommonState = OverdefinedState;
559 for (BasicBlock *PredBB : predecessors(BB)) {
560 // We didn't manage to get a state for one of these predecessors,
561 // conservatively report this basic block as overdefined.
562 auto PredEndState = FinalStates.find(PredBB);
563 if (PredEndState == FinalStates.end())
564 return OverdefinedState;
566 // This code is reachable via exceptional control flow,
567 // conservatively report this basic block as overdefined.
568 if (isa<CatchReturnInst>(PredBB->getTerminator()))
569 return OverdefinedState;
571 int PredState = PredEndState->second;
572 assert(PredState != OverdefinedState &&
573 "overdefined BBs shouldn't be in FinalStates");
574 if (CommonState == OverdefinedState)
575 CommonState = PredState;
577 // At least two predecessors have different FinalStates,
578 // conservatively report this basic block as overdefined.
579 if (CommonState != PredState)
580 return OverdefinedState;
586 // Calculate the intersection of all the InitialStates for a BasicBlock's
588 static int getSuccState(DenseMap<BasicBlock *, int> &InitialStates, Function &F,
589 int ParentBaseState, BasicBlock *BB) {
590 // This block rejoins normal control flow,
591 // conservatively report this basic block as overdefined.
592 if (isa<CatchReturnInst>(BB->getTerminator()))
593 return OverdefinedState;
595 int CommonState = OverdefinedState;
596 for (BasicBlock *SuccBB : successors(BB)) {
597 // We didn't manage to get a state for one of these predecessors,
598 // conservatively report this basic block as overdefined.
599 auto SuccStartState = InitialStates.find(SuccBB);
600 if (SuccStartState == InitialStates.end())
601 return OverdefinedState;
603 // This is an EH Pad, conservatively report this basic block as overdefined.
604 if (SuccBB->isEHPad())
605 return OverdefinedState;
607 int SuccState = SuccStartState->second;
608 assert(SuccState != OverdefinedState &&
609 "overdefined BBs shouldn't be in FinalStates");
610 if (CommonState == OverdefinedState)
611 CommonState = SuccState;
613 // At least two successors have different InitialStates,
614 // conservatively report this basic block as overdefined.
615 if (CommonState != SuccState)
616 return OverdefinedState;
622 bool WinEHStatePass::isStateStoreNeeded(EHPersonality Personality,
627 // If the function touches memory, it needs a state store.
628 if (isAsynchronousEHPersonality(Personality))
629 return !CS.doesNotAccessMemory();
631 // If the function throws, it needs a state store.
632 return !CS.doesNotThrow();
635 void WinEHStatePass::addStateStores(Function &F, WinEHFuncInfo &FuncInfo) {
636 // Mark the registration node. The backend needs to know which alloca it is so
637 // that it can recover the original frame pointer.
638 IRBuilder<> Builder(RegNode->getNextNode());
639 Value *RegNodeI8 = Builder.CreateBitCast(RegNode, Builder.getInt8PtrTy());
641 Intrinsic::getDeclaration(TheModule, Intrinsic::x86_seh_ehregnode),
645 IRBuilder<> Builder(EHGuardNode->getNextNode());
646 Value *EHGuardNodeI8 =
647 Builder.CreateBitCast(EHGuardNode, Builder.getInt8PtrTy());
649 Intrinsic::getDeclaration(TheModule, Intrinsic::x86_seh_ehguard),
653 // Calculate state numbers.
654 if (isAsynchronousEHPersonality(Personality))
655 calculateSEHStateNumbers(&F, FuncInfo);
657 calculateWinCXXEHStateNumbers(&F, FuncInfo);
659 // Iterate all the instructions and emit state number stores.
660 DenseMap<BasicBlock *, ColorVector> BlockColors = colorEHFunclets(F);
661 ReversePostOrderTraversal<Function *> RPOT(&F);
663 // InitialStates yields the state of the first call-site for a BasicBlock.
664 DenseMap<BasicBlock *, int> InitialStates;
665 // FinalStates yields the state of the last call-site for a BasicBlock.
666 DenseMap<BasicBlock *, int> FinalStates;
667 // Worklist used to revisit BasicBlocks with indeterminate
668 // Initial/Final-States.
669 std::deque<BasicBlock *> Worklist;
670 // Fill in InitialStates and FinalStates for BasicBlocks with call-sites.
671 for (BasicBlock *BB : RPOT) {
672 int InitialState = OverdefinedState;
674 if (&F.getEntryBlock() == BB)
675 InitialState = FinalState = ParentBaseState;
676 for (Instruction &I : *BB) {
678 if (!isStateStoreNeeded(Personality, CS))
681 int State = getStateForCallSite(BlockColors, FuncInfo, CS);
682 if (InitialState == OverdefinedState)
683 InitialState = State;
686 // No call-sites in this basic block? That's OK, we will come back to these
688 if (InitialState == OverdefinedState) {
689 Worklist.push_back(BB);
692 DEBUG(dbgs() << "X86WinEHState: " << BB->getName()
693 << " InitialState=" << InitialState << '\n');
694 DEBUG(dbgs() << "X86WinEHState: " << BB->getName()
695 << " FinalState=" << FinalState << '\n');
696 InitialStates.insert({BB, InitialState});
697 FinalStates.insert({BB, FinalState});
700 // Try to fill-in InitialStates and FinalStates which have no call-sites.
701 while (!Worklist.empty()) {
702 BasicBlock *BB = Worklist.front();
703 Worklist.pop_front();
704 // This BasicBlock has already been figured out, nothing more we can do.
705 if (InitialStates.count(BB) != 0)
708 int PredState = getPredState(FinalStates, F, ParentBaseState, BB);
709 if (PredState == OverdefinedState)
712 // We successfully inferred this BasicBlock's state via it's predecessors;
713 // enqueue it's successors to see if we can infer their states.
714 InitialStates.insert({BB, PredState});
715 FinalStates.insert({BB, PredState});
716 for (BasicBlock *SuccBB : successors(BB))
717 Worklist.push_back(SuccBB);
720 // Try to hoist stores from successors.
721 for (BasicBlock *BB : RPOT) {
722 int SuccState = getSuccState(InitialStates, F, ParentBaseState, BB);
723 if (SuccState == OverdefinedState)
726 // Update our FinalState to reflect the common InitialState of our
728 FinalStates.insert({BB, SuccState});
731 // Finally, insert state stores before call-sites which transition us to a new
733 for (BasicBlock *BB : RPOT) {
734 auto &BBColors = BlockColors[BB];
735 BasicBlock *FuncletEntryBB = BBColors.front();
736 if (isa<CleanupPadInst>(FuncletEntryBB->getFirstNonPHI()))
739 int PrevState = getPredState(FinalStates, F, ParentBaseState, BB);
740 DEBUG(dbgs() << "X86WinEHState: " << BB->getName()
741 << " PrevState=" << PrevState << '\n');
743 for (Instruction &I : *BB) {
745 if (!isStateStoreNeeded(Personality, CS))
748 int State = getStateForCallSite(BlockColors, FuncInfo, CS);
749 if (State != PrevState)
750 insertStateNumberStore(&I, State);
754 // We might have hoisted a state store into this block, emit it now.
755 auto EndState = FinalStates.find(BB);
756 if (EndState != FinalStates.end())
757 if (EndState->second != PrevState)
758 insertStateNumberStore(BB->getTerminator(), EndState->second);
761 SmallVector<CallSite, 1> SetJmp3CallSites;
762 for (BasicBlock *BB : RPOT) {
763 for (Instruction &I : *BB) {
767 if (CS.getCalledValue()->stripPointerCasts() !=
768 SetJmp3->stripPointerCasts())
771 SetJmp3CallSites.push_back(CS);
775 for (CallSite CS : SetJmp3CallSites) {
776 auto &BBColors = BlockColors[CS->getParent()];
777 BasicBlock *FuncletEntryBB = BBColors.front();
778 bool InCleanup = isa<CleanupPadInst>(FuncletEntryBB->getFirstNonPHI());
780 IRBuilder<> Builder(CS.getInstruction());
784 Builder.CreateStructGEP(nullptr, RegNode, StateFieldIndex);
785 State = Builder.CreateLoad(StateField);
787 State = Builder.getInt32(getStateForCallSite(BlockColors, FuncInfo, CS));
789 rewriteSetJmpCallSite(Builder, F, CS, State);
793 void WinEHStatePass::insertStateNumberStore(Instruction *IP, int State) {
794 IRBuilder<> Builder(IP);
796 Builder.CreateStructGEP(nullptr, RegNode, StateFieldIndex);
797 Builder.CreateStore(Builder.getInt32(State), StateField);