| Nuno Lopes | 3769fe1 | 2012-06-25 17:11:47 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -simplifycfg -S | FileCheck %s |
| 2 | target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" |
| 3 | |
| 4 | declare i32 @__gxx_personality_v0(...) |
| 5 | declare void @__cxa_call_unexpected(i8*) |
| Nuno Lopes | 7f71f5f | 2012-06-28 22:32:27 +0000 | [diff] [blame^] | 6 | declare i32 @read_only() nounwind readonly |
| Nuno Lopes | 3769fe1 | 2012-06-25 17:11:47 +0000 | [diff] [blame] | 7 | |
| 8 | |
| 9 | ; CHECK: @f1 |
| 10 | define i8* @f1() nounwind uwtable ssp { |
| 11 | entry: |
| 12 | ; CHECK: call void @llvm.trap() |
| 13 | ; CHECK: unreachable |
| 14 | %call = invoke noalias i8* undef() |
| 15 | to label %invoke.cont unwind label %lpad |
| 16 | |
| 17 | invoke.cont: |
| 18 | ret i8* %call |
| 19 | |
| 20 | lpad: |
| 21 | %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) |
| 22 | filter [0 x i8*] zeroinitializer |
| 23 | %1 = extractvalue { i8*, i32 } %0, 0 |
| 24 | tail call void @__cxa_call_unexpected(i8* %1) noreturn nounwind |
| 25 | unreachable |
| 26 | } |
| 27 | |
| 28 | ; CHECK: @f2 |
| 29 | define i8* @f2() nounwind uwtable ssp { |
| 30 | entry: |
| 31 | ; CHECK: call void @llvm.trap() |
| 32 | ; CHECK: unreachable |
| 33 | %call = invoke noalias i8* null() |
| 34 | to label %invoke.cont unwind label %lpad |
| 35 | |
| 36 | invoke.cont: |
| 37 | ret i8* %call |
| 38 | |
| 39 | lpad: |
| 40 | %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) |
| 41 | filter [0 x i8*] zeroinitializer |
| 42 | %1 = extractvalue { i8*, i32 } %0, 0 |
| 43 | tail call void @__cxa_call_unexpected(i8* %1) noreturn nounwind |
| 44 | unreachable |
| 45 | } |
| Nuno Lopes | 7f71f5f | 2012-06-28 22:32:27 +0000 | [diff] [blame^] | 46 | |
| 47 | ; CHECK: @f3 |
| 48 | define i32 @f3() nounwind uwtable ssp { |
| 49 | ; CHECK-NEXT: entry |
| 50 | entry: |
| 51 | ; CHECK-NEXT: ret i32 3 |
| 52 | %call = invoke i32 @read_only() |
| 53 | to label %invoke.cont unwind label %lpad |
| 54 | |
| 55 | invoke.cont: |
| 56 | ret i32 3 |
| 57 | |
| 58 | lpad: |
| 59 | %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) |
| 60 | filter [0 x i8*] zeroinitializer |
| 61 | %1 = extractvalue { i8*, i32 } %0, 0 |
| 62 | tail call void @__cxa_call_unexpected(i8* %1) noreturn nounwind |
| 63 | unreachable |
| 64 | } |
| 65 | |
| 66 | ; CHECK: @f4 |
| 67 | define i32 @f4() nounwind uwtable ssp { |
| 68 | ; CHECK-NEXT: entry |
| 69 | entry: |
| 70 | ; CHECK-NEXT: call i32 @read_only() |
| 71 | %call = invoke i32 @read_only() |
| 72 | to label %invoke.cont unwind label %lpad |
| 73 | |
| 74 | invoke.cont: |
| 75 | ; CHECK-NEXT: ret i32 %call |
| 76 | ret i32 %call |
| 77 | |
| 78 | lpad: |
| 79 | %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) |
| 80 | filter [0 x i8*] zeroinitializer |
| 81 | %1 = extractvalue { i8*, i32 } %0, 0 |
| 82 | tail call void @__cxa_call_unexpected(i8* %1) noreturn nounwind |
| 83 | unreachable |
| 84 | } |