| Chris Lattner | e54242d | 2009-09-11 17:02:12 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -simplifycfg -S | not grep br | 
| Chris Lattner | d777677 | 2004-04-09 23:50:29 +0000 | [diff] [blame] | 2 |  | 
| Tanya Lattner | baa370b | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 3 | define i32 @test(i1 %C, i32 %V1, i32 %V2) { | 
| Chris Lattner | d777677 | 2004-04-09 23:50:29 +0000 | [diff] [blame] | 4 | entry: | 
| Tanya Lattner | baa370b | 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] | 
| Chris Lattner | d777677 | 2004-04-09 23:50:29 +0000 | [diff] [blame] | 8 | br label %Cont | 
| Tanya Lattner | baa370b | 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 | 
| Chris Lattner | d777677 | 2004-04-09 23:50:29 +0000 | [diff] [blame] | 13 | } | 
|  | 14 |  |