| ; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s |
| |
| ; PR1042 |
| define i32 @foo() { |
| ; CHECK: The unwind destination does not have an exception handling instruction |
| %A = invoke i32 @foo( ) |
| to label %L unwind label %L ; <i32> [#uses=1] |
| L: ; preds = %0, %0 |
| ret i32 %A |
| } |
| |
| ; PR1042 |
| define i32 @bar() { |
| br i1 false, label %L1, label %L2 |
| L1: ; preds = %0 |
| %A = invoke i32 @bar( ) |
| to label %L unwind label %L ; <i32> [#uses=1] |
| L2: ; preds = %0 |
| br label %L |
| L: ; preds = %L2, %L1, %L1 |
| ; CHECK: The unwind destination does not have an exception handling instruction |
| ret i32 %A |
| } |
| |
| |
| declare i32 @__gxx_personality_v0(...) |
| declare void @llvm.donothing() |
| declare void @llvm.trap() |
| declare i8 @llvm.expect.i8(i8,i8) |
| declare i32 @fn(ptr) |
| |
| define void @f1() personality ptr @__gxx_personality_v0 { |
| entry: |
| ; OK |
| invoke void @llvm.donothing() |
| to label %conta unwind label %contb |
| |
| conta: |
| ret void |
| |
| contb: |
| %0 = landingpad { ptr, i32 } |
| filter [0 x ptr] zeroinitializer |
| ret void |
| } |
| |
| define i8 @f2() personality ptr @__gxx_personality_v0 { |
| entry: |
| ; CHECK: Cannot invoke an intrinsic other than donothing, patchpoint, statepoint, coro_resume, coro_destroy or clang.arc.attachedcall |
| invoke void @llvm.trap() |
| to label %cont unwind label %lpad |
| |
| cont: |
| ret i8 3 |
| |
| lpad: |
| %0 = landingpad { ptr, i32 } |
| filter [0 x ptr] zeroinitializer |
| ret i8 2 |
| } |
| |
| define i32 @f3() { |
| entry: |
| ; CHECK: Cannot take the address of an intrinsic |
| %call = call i32 @fn(ptr @llvm.expect.i8) |
| ret i32 %call |
| } |
| |
| define void @f4() personality ptr @__gxx_personality_v0 { |
| entry: |
| invoke void @llvm.donothing() |
| to label %cont unwind label %cont |
| |
| cont: |
| ; CHECK: Block containing LandingPadInst must be jumped to only by the unwind edge of an invoke. |
| %0 = landingpad { ptr, i32 } |
| filter [0 x ptr] zeroinitializer |
| ret void |
| } |