diff options
| author | David Majnemer <david.majnemer@gmail.com> | 2015-03-27 04:17:07 +0000 |
|---|---|---|
| committer | David Majnemer <david.majnemer@gmail.com> | 2015-03-27 04:17:07 +0000 |
| commit | b919dd693facc577c2da6d2916981e8d9247556c (patch) | |
| tree | e5641b6973523d6c9aca06664edccedf17da9a04 /llvm/lib/IR/Verifier.cpp | |
| parent | 46863e556555fe431dfcff374872933832bb0405 (diff) | |
| download | bcm5719-llvm-b919dd693facc577c2da6d2916981e8d9247556c.tar.gz bcm5719-llvm-b919dd693facc577c2da6d2916981e8d9247556c.zip | |
WinEH: Create a parent frame alloca for HandlerType xdata tables
We don't have any logic to emit those tables yet, so the SDAG lowering
of this intrinsic is just a stub. We can see the intrinsic in the
prepared IR, though.
llvm-svn: 233354
Diffstat (limited to 'llvm/lib/IR/Verifier.cpp')
| -rw-r--r-- | llvm/lib/IR/Verifier.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp index fcf48c452e2..248d1279eaf 100644 --- a/llvm/lib/IR/Verifier.cpp +++ b/llvm/lib/IR/Verifier.cpp @@ -2909,6 +2909,13 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) { break; } + case Intrinsic::eh_parentframe: { + auto *AI = dyn_cast<AllocaInst>(CI.getArgOperand(0)->stripPointerCasts()); + Assert(AI && AI->isStaticAlloca(), + "llvm.eh.parentframe requires a static alloca", &CI); + break; + } + case Intrinsic::eh_unwindhelp: { auto *AI = dyn_cast<AllocaInst>(CI.getArgOperand(0)->stripPointerCasts()); Assert(AI && AI->isStaticAlloca(), |
