blob: 69d1b0866f8a582df2713b20a7a92e7c28428a3e [file] [log] [blame]
Gabor Greif5edf2102008-05-20 22:07:21 +00001; RUN: llvm-as %s -f -o %t.bc
Tanya Lattnere9789ef2004-11-06 23:32:43 +00002; RUN: lli %t.bc > /dev/null
3
Chris Lattner1405ec02002-10-25 23:01:51 +00004; test phi node
Tanya Lattnerceca1942008-03-10 07:21:50 +00005@Y = global i32 6 ; <i32*> [#uses=1]
Chris Lattner0907c162002-12-13 10:12:50 +00006
Tanya Lattnerceca1942008-03-10 07:21:50 +00007define void @blah(i32* %X) {
8; <label>:0
Chris Lattner0907c162002-12-13 10:12:50 +00009 br label %T
Tanya Lattnerceca1942008-03-10 07:21:50 +000010T: ; preds = %Dead, %0
11 phi i32* [ %X, %0 ], [ @Y, %Dead ] ; <i32*>:1 [#uses=0]
Chris Lattner0907c162002-12-13 10:12:50 +000012 ret void
Tanya Lattnerceca1942008-03-10 07:21:50 +000013Dead: ; No predecessors!
Chris Lattner0907c162002-12-13 10:12:50 +000014 br label %T
15}
16
Tanya Lattnerceca1942008-03-10 07:21:50 +000017define i32 @test(i1 %C) {
18; <label>:0
19 br i1 %C, label %T, label %T
20T: ; preds = %0, %0
21 %X = phi i32 [ 123, %0 ], [ 123, %0 ] ; <i32> [#uses=1]
22 ret i32 %X
Chris Lattner315bad02002-12-15 20:52:08 +000023}
24
Tanya Lattnerceca1942008-03-10 07:21:50 +000025define i32 @main() {
26; <label>:0
Chris Lattner1405ec02002-10-25 23:01:51 +000027 br label %Test
Tanya Lattnerceca1942008-03-10 07:21:50 +000028Test: ; preds = %Dead, %0
29 %X = phi i32 [ 0, %0 ], [ %Y, %Dead ] ; <i32> [#uses=1]
30 ret i32 %X
31Dead: ; No predecessors!
32 %Y = ashr i32 12, 4 ; <i32> [#uses=1]
Chris Lattner275c6372002-11-02 19:45:30 +000033 br label %Test
Chris Lattner1405ec02002-10-25 23:01:51 +000034}
Tanya Lattnerceca1942008-03-10 07:21:50 +000035