| Tanya Lattner | b46665e | 2008-03-18 03:45:45 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis | not grep br |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
| Tanya Lattner | b46665e | 2008-03-18 03:45:45 +0000 | [diff] [blame^] | 3 | define i32 @test(i1 %C, i32 %V1, i32 %V2) { |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | entry: |
| Tanya Lattner | b46665e | 2008-03-18 03:45:45 +0000 | [diff] [blame^] | 5 | br i1 %C, label %then, label %Cont |
| 6 | then: ; preds = %entry |
| 7 | %V3 = or i32 %V2, %V1 ; <i32> [#uses=1] |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 8 | br label %Cont |
| Tanya Lattner | b46665e | 2008-03-18 03:45:45 +0000 | [diff] [blame^] | 9 | Cont: ; preds = %then, %entry |
| 10 | %V4 = phi i32 [ %V1, %entry ], [ %V3, %then ] ; <i32> [#uses=0] |
| 11 | call i32 @test( i1 false, i32 0, i32 0 ) ; <i32>:0 [#uses=0] |
| 12 | ret i32 %V1 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 13 | } |
| 14 | |