Dan Gohman | b1e1e82 | 2009-09-08 16:50:01 +0000 | [diff] [blame] | 1 | ; RUN: opt %s -inline -prune-eh -disable-output |
Devang Patel | 28c531c | 2009-03-31 17:36:12 +0000 | [diff] [blame] | 2 | define void @f2() { |
3 | invoke void @f6() | ||||
4 | to label %ok1 unwind label %lpad1 | ||||
5 | |||||
6 | ok1: | ||||
7 | ret void | ||||
8 | |||||
9 | lpad1: | ||||
10 | invoke void @f4() | ||||
11 | to label %ok2 unwind label %lpad2 | ||||
12 | |||||
13 | ok2: | ||||
14 | call void @f8() | ||||
15 | unreachable | ||||
16 | |||||
17 | lpad2: | ||||
18 | unreachable | ||||
19 | } | ||||
20 | |||||
21 | declare void @f3() | ||||
22 | |||||
23 | define void @f4() { | ||||
24 | call void @f3() | ||||
25 | ret void | ||||
26 | } | ||||
27 | |||||
28 | declare void @f6() nounwind | ||||
29 | |||||
30 | declare void @f8() | ||||
31 |