| Nuno Lopes | ec9653b | 2012-06-28 22:30:12 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s | FileCheck %s |
| 2 | |
| 3 | declare i32 @__gxx_personality_v0(...) |
| 4 | declare void @__cxa_call_unexpected(i8*) |
| 5 | declare void @llvm.donothing() readnone |
| 6 | |
| 7 | ; CHECK: f1 |
| David Majnemer | 7fddecc | 2015-06-17 20:52:32 +0000 | [diff] [blame] | 8 | define void @f1() nounwind uwtable ssp personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) { |
| Nuno Lopes | ec9653b | 2012-06-28 22:30:12 +0000 | [diff] [blame] | 9 | entry: |
| Benjamin Kramer | 2f47a3f | 2012-08-17 12:28:26 +0000 | [diff] [blame] | 10 | ; CHECK-NOT: donothing |
| Nuno Lopes | ec9653b | 2012-06-28 22:30:12 +0000 | [diff] [blame] | 11 | invoke void @llvm.donothing() |
| 12 | to label %invoke.cont unwind label %lpad |
| 13 | |
| 14 | invoke.cont: |
| 15 | ret void |
| 16 | |
| 17 | lpad: |
| David Majnemer | 7fddecc | 2015-06-17 20:52:32 +0000 | [diff] [blame] | 18 | %0 = landingpad { i8*, i32 } |
| Nuno Lopes | ec9653b | 2012-06-28 22:30:12 +0000 | [diff] [blame] | 19 | filter [0 x i8*] zeroinitializer |
| 20 | %1 = extractvalue { i8*, i32 } %0, 0 |
| 21 | tail call void @__cxa_call_unexpected(i8* %1) noreturn nounwind |
| 22 | unreachable |
| 23 | } |
| 24 | |
| 25 | ; CHECK: f2 |
| 26 | define void @f2() nounwind { |
| 27 | entry: |
| Benjamin Kramer | 2f47a3f | 2012-08-17 12:28:26 +0000 | [diff] [blame] | 28 | ; CHECK-NOT: donothing |
| Nuno Lopes | ec9653b | 2012-06-28 22:30:12 +0000 | [diff] [blame] | 29 | call void @llvm.donothing() |
| 30 | ret void |
| 31 | } |