Dan Gohman | f2f6ce6 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -simplifycfg -S | \ |
Chandler Carruth | 1de43ed | 2012-07-02 19:09:46 +0000 | [diff] [blame^] | 2 | ; RUN: not grep "br label" |
Reid Spencer | 9aafdcf | 2007-04-15 09:21:47 +0000 | [diff] [blame] | 3 | |
Tanya Lattner | f04d8d1 | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 4 | define void @test(i1 %C) { |
| 5 | br i1 %C, label %A, label %B |
| 6 | A: ; preds = %0 |
| 7 | call void @test( i1 %C ) |
| 8 | br label %X |
| 9 | B: ; preds = %0 |
| 10 | call void @test( i1 %C ) |
| 11 | br label %X |
| 12 | X: ; preds = %B, %A |
Bill Wendling | 47e208b | 2011-09-02 22:41:11 +0000 | [diff] [blame] | 13 | ret void |
Chris Lattner | c6c9db2 | 2004-07-20 01:17:19 +0000 | [diff] [blame] | 14 | } |
Tanya Lattner | f04d8d1 | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 15 | |