| Dan Gohman | f2f6ce6 | 2009-09-11 18:01:28 +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 | |||||