| Dan Gohman | f2f6ce6 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -simplifycfg -S | not grep call |
| Chris Lattner | be8d170 | 2004-05-01 22:36:24 +0000 | [diff] [blame] | 2 | |
| Tanya Lattner | f04d8d1 | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 3 | declare void @bar() |
| Chris Lattner | be8d170 | 2004-05-01 22:36:24 +0000 | [diff] [blame] | 4 | |
| Tanya Lattner | f04d8d1 | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 5 | define void @test(i32 %X, i32 %Y) { |
| Chris Lattner | be8d170 | 2004-05-01 22:36:24 +0000 | [diff] [blame] | 6 | entry: |
| Tanya Lattner | f04d8d1 | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 7 | %tmp.2 = icmp slt i32 %X, %Y ; <i1> [#uses=2] |
| 8 | br i1 %tmp.2, label %shortcirc_next, label %UnifiedReturnBlock |
| Chris Lattner | be8d170 | 2004-05-01 22:36:24 +0000 | [diff] [blame] | 9 | shortcirc_next: ; preds = %entry |
| Tanya Lattner | f04d8d1 | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 10 | br i1 %tmp.2, label %UnifiedReturnBlock, label %then |
| Chris Lattner | be8d170 | 2004-05-01 22:36:24 +0000 | [diff] [blame] | 11 | then: ; preds = %shortcirc_next |
| Tanya Lattner | f04d8d1 | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 12 | call void @bar( ) |
| Chris Lattner | be8d170 | 2004-05-01 22:36:24 +0000 | [diff] [blame] | 13 | ret void |
| Tanya Lattner | f04d8d1 | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 14 | UnifiedReturnBlock: ; preds = %shortcirc_next, %entry |
| 15 | ret void |
| Chris Lattner | be8d170 | 2004-05-01 22:36:24 +0000 | [diff] [blame] | 16 | } |
| 17 | |