| Dan Gohman | 1880092 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -adce -disable-output |
| David Callahan | ebcf916 | 2016-12-13 16:42:18 +0000 | [diff] [blame] | 2 | ; RUN: opt < %s -adce -adce-remove-loops -disable-output |
| Chris Lattner | 1190a4d | 2004-05-04 17:00:10 +0000 | [diff] [blame] | 3 | |
| Tanya Lattner | 5640bd1 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 4 | define void @test() { |
| Chris Lattner | 1190a4d | 2004-05-04 17:00:10 +0000 | [diff] [blame] | 5 | entry: |
| Tanya Lattner | 5640bd1 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 6 | br label %UnifiedReturnBlock |
| Chris Lattner | 1190a4d | 2004-05-04 17:00:10 +0000 | [diff] [blame] | 7 | |
| Tanya Lattner | 5640bd1 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 8 | UnifiedReturnBlock: ; preds = %invoke_catch.0, %entry |
| 9 | ret void | ||||
| Chris Lattner | 1190a4d | 2004-05-04 17:00:10 +0000 | [diff] [blame] | 10 | |
| Tanya Lattner | 5640bd1 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 11 | invoke_catch.0: ; No predecessors! |
| 12 | br i1 false, label %UnifiedUnwindBlock, label %UnifiedReturnBlock | ||||
| Chris Lattner | 1190a4d | 2004-05-04 17:00:10 +0000 | [diff] [blame] | 13 | |
| Tanya Lattner | 5640bd1 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 14 | UnifiedUnwindBlock: ; preds = %invoke_catch.0 |
| Bill Wendling | 4aa2573 | 2011-09-02 22:41:11 +0000 | [diff] [blame] | 15 | unreachable |
| Chris Lattner | 1190a4d | 2004-05-04 17:00:10 +0000 | [diff] [blame] | 16 | } |
| Tanya Lattner | 5640bd1 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 17 | |