diff options
Diffstat (limited to 'llvm/test/Transforms/CodeExtractor/inline_eh_1.ll')
| -rw-r--r-- | llvm/test/Transforms/CodeExtractor/inline_eh_1.ll | 56 |
1 files changed, 56 insertions, 0 deletions
diff --git a/llvm/test/Transforms/CodeExtractor/inline_eh_1.ll b/llvm/test/Transforms/CodeExtractor/inline_eh_1.ll new file mode 100644 index 00000000000..31e35839644 --- /dev/null +++ b/llvm/test/Transforms/CodeExtractor/inline_eh_1.ll @@ -0,0 +1,56 @@ +; RUN: opt < %s -skip-partial-inlining-cost-analysis -partial-inliner -S | FileCheck %s +; RUN: opt < %s -skip-partial-inlining-cost-analysis -passes=partial-inliner -S | FileCheck %s + +declare dso_local void @bar() +declare dso_local i32 @__CxxFrameHandler3(...) + +define internal void @callee(i1 %cond) personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) { +entry: + br i1 %cond, label %if.then, label %if.end + +if.then: + invoke void @bar() + to label %invoke.cont unwind label %ehcleanup + +invoke.cont: + br label %try.cont + +ehcleanup: + %0 = cleanuppad within none [] + cleanupret from %0 unwind label %catch.dispatch + +catch.dispatch: + %1 = catchswitch within none [label %catch] unwind to caller + +catch: + %2 = catchpad within %1 [i8* null, i32 64, i8* null] + catchret from %2 to label %catchret.dest + +catchret.dest: + br label %try.cont + +try.cont: + br label %if.end + +if.end: + ret void +} + +define internal void @caller(i1 %cond) { +; CHECK-LABEL: define {{.*}} @caller +entry: +; CHECK: entry: +; CHECK-NEXT: br i1 +; CHECK: codeRepl.i: +; CHECK-NEXT: call void @callee.1_{{.*}}() + call void @callee(i1 %cond) + ret void +} + +; CHECK-LABEL: define {{.*}} @callee.1_{{.*}}() personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) +; CHECK: invoke void @bar() +; CHECK: cleanuppad +; CHECK-NEXT: cleanupret +; CHECK: catchswitch +; CHECK: catchpad +; CHECK-NEXT: catchret |
