| Dan Gohman | 1880092 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -simplifycfg -S | \ |
| Reid Spencer | a551c04 | 2007-04-15 09:21:47 +0000 | [diff] [blame] | 2 | ; RUN: not grep {br label} |
| 3 | |
| Tanya Lattner | baa370b | 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 | 4aa2573 | 2011-09-02 22:41:11 +0000 | [diff] [blame^] | 13 | ret void |
| Chris Lattner | d4cecb9 | 2004-07-20 01:17:19 +0000 | [diff] [blame] | 14 | } |
| Tanya Lattner | baa370b | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 15 | |