diff options
| author | Eli Friedman <eli.friedman@gmail.com> | 2011-12-15 00:50:34 +0000 |
|---|---|---|
| committer | Eli Friedman <eli.friedman@gmail.com> | 2011-12-15 00:50:34 +0000 |
| commit | 7d1ff37118d5b3febae818676d9dd9513057fed7 (patch) | |
| tree | d78925be83234990d0122a68e5ba46952bd526fd /test | |
| parent | 7a13b72bbbadaa9274f6a58774970b9b95706330 (diff) | |
Make loop preheader insertion in LoopSimplify handle the case where the loop header is a landing pad correctly (by splitting the landingpad out of the loop header). Make some adjustments to the rest of LoopSimplify to make it clear that the rest of LoopSimplify isn't making bad assumptions about the presence of landing pads. PR11575.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@146621 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Transforms/LoopSimplify/2011-12-14-LandingpadHeader.ll | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/test/Transforms/LoopSimplify/2011-12-14-LandingpadHeader.ll b/test/Transforms/LoopSimplify/2011-12-14-LandingpadHeader.ll new file mode 100644 index 0000000000..173a582576 --- /dev/null +++ b/test/Transforms/LoopSimplify/2011-12-14-LandingpadHeader.ll @@ -0,0 +1,45 @@ +; RUN: opt < %s -loop-simplify -S | FileCheck %s +; PR11575 + +@catchtypeinfo = external unnamed_addr constant { i8*, i8*, i8* } + +define void @main() uwtable ssp { +entry: + invoke void @f1() + to label %try.cont19 unwind label %catch + +; CHECK: catch.preheader: +; CHECK-NEXT: landingpad +; CHECK: br label %catch + +; CHECK: catch.split-lp: +; CHECK-NEXT: landingpad +; CHECK: br label %catch + +catch: ; preds = %if.else, %entry + %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) + catch i8* bitcast ({ i8*, i8*, i8* }* @catchtypeinfo to i8*) + invoke void @f3() + to label %if.else unwind label %eh.resume + +if.else: ; preds = %catch + invoke void @f2() + to label %try.cont19 unwind label %catch + +try.cont19: ; preds = %if.else, %entry + ret void + +eh.resume: ; preds = %catch + %1 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) + cleanup + catch i8* bitcast ({ i8*, i8*, i8* }* @catchtypeinfo to i8*) + resume { i8*, i32 } undef +} + +declare i32 @__gxx_personality_v0(...) + +declare void @f1() + +declare void @f2() + +declare void @f3() |