Gabor Greif | 5edf210 | 2008-05-20 22:07:21 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as %s -f -o %t.bc |
Tanya Lattner | e9789ef | 2004-11-06 23:32:43 +0000 | [diff] [blame] | 2 | ; RUN: lli %t.bc > /dev/null |
| 3 | |
Chris Lattner | 1405ec0 | 2002-10-25 23:01:51 +0000 | [diff] [blame] | 4 | ; test phi node |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 5 | @Y = global i32 6 ; <i32*> [#uses=1] |
Chris Lattner | 0907c16 | 2002-12-13 10:12:50 +0000 | [diff] [blame] | 6 | |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 7 | define void @blah(i32* %X) { |
| 8 | ; <label>:0 |
Chris Lattner | 0907c16 | 2002-12-13 10:12:50 +0000 | [diff] [blame] | 9 | br label %T |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 10 | T: ; preds = %Dead, %0 |
| 11 | phi i32* [ %X, %0 ], [ @Y, %Dead ] ; <i32*>:1 [#uses=0] |
Chris Lattner | 0907c16 | 2002-12-13 10:12:50 +0000 | [diff] [blame] | 12 | ret void |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 13 | Dead: ; No predecessors! |
Chris Lattner | 0907c16 | 2002-12-13 10:12:50 +0000 | [diff] [blame] | 14 | br label %T |
| 15 | } |
| 16 | |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 17 | define i32 @test(i1 %C) { |
| 18 | ; <label>:0 |
| 19 | br i1 %C, label %T, label %T |
| 20 | T: ; preds = %0, %0 |
| 21 | %X = phi i32 [ 123, %0 ], [ 123, %0 ] ; <i32> [#uses=1] |
| 22 | ret i32 %X |
Chris Lattner | 315bad0 | 2002-12-15 20:52:08 +0000 | [diff] [blame] | 23 | } |
| 24 | |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 25 | define i32 @main() { |
| 26 | ; <label>:0 |
Chris Lattner | 1405ec0 | 2002-10-25 23:01:51 +0000 | [diff] [blame] | 27 | br label %Test |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 28 | Test: ; preds = %Dead, %0 |
| 29 | %X = phi i32 [ 0, %0 ], [ %Y, %Dead ] ; <i32> [#uses=1] |
| 30 | ret i32 %X |
| 31 | Dead: ; No predecessors! |
| 32 | %Y = ashr i32 12, 4 ; <i32> [#uses=1] |
Chris Lattner | 275c637 | 2002-11-02 19:45:30 +0000 | [diff] [blame] | 33 | br label %Test |
Chris Lattner | 1405ec0 | 2002-10-25 23:01:51 +0000 | [diff] [blame] | 34 | } |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 35 | |