From 965bf6a3cebe04300f9826017e1258c12dc21222 Mon Sep 17 00:00:00 2001 From: Igor Laevsky Date: Wed, 10 Jun 2015 13:24:00 +0000 Subject: [PATCH] [Statepoints] Add test case to check that statepoint is marked with Throwable attribute. Differential Revision: http://reviews.llvm.org/D10215 llvm-svn: 239473 --- .../SimplifyCFG/statepoint-invoke-unwind.ll | 24 ++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 llvm/test/Transforms/SimplifyCFG/statepoint-invoke-unwind.ll diff --git a/llvm/test/Transforms/SimplifyCFG/statepoint-invoke-unwind.ll b/llvm/test/Transforms/SimplifyCFG/statepoint-invoke-unwind.ll new file mode 100644 index 0000000..8df74ed --- /dev/null +++ b/llvm/test/Transforms/SimplifyCFG/statepoint-invoke-unwind.ll @@ -0,0 +1,24 @@ +; RUN: opt < %s -simplifycfg -S | FileCheck %s +; Test that statepoint intrinsic is marked with Throwable attribute and it is +; not optimized into call + +declare i64 addrspace(1)* @gc_call() +declare i32 @llvm.experimental.gc.statepoint.p0f_p1i64f(i64, i32, i64 addrspace(1)* ()*, i32, i32, ...) +declare i32* @fake_personality_function() + +define i32 @test() gc "statepoint-example" { +; CHECK-LABEL: test +entry: + ; CHECK-LABEL: entry: + ; CHECK-NEXT: %sp = invoke i32 (i64, i32, i64 addrspace(1)* ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_p1i64f + %sp = invoke i32 (i64, i32, i64 addrspace(1)* ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_p1i64f(i64 0, i32 0, i64 addrspace(1)* ()* @gc_call, i32 0, i32 0, i32 0, i32 0) + to label %normal unwind label %exception + +exception: + %lpad = landingpad { i8*, i32 } personality i32* ()* @fake_personality_function + cleanup + ret i32 0 + +normal: + ret i32 1 +} -- 2.7.4