| 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*) |
| 6 | declare i64 @llvm.objectsize.i64(i8*, i1) nounwind readonly |
| 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 | } |