blob: c5bdfd513edca46cd33bc4a65c7fd449e4f62440 [file] [log] [blame]
Eli Bendersky4c647582012-01-16 08:56:09 +00001; RUN: %lli %s > /dev/null
Tanya Lattner2acf9b02004-11-06 23:32:43 +00002
Chris Lattnera8179522002-10-25 23:01:51 +00003; test phi node
Tanya Lattner5f4b3552008-03-10 07:21:50 +00004@Y = global i32 6 ; <i32*> [#uses=1]
Chris Lattner62ccf912002-12-13 10:12:50 +00005
Tanya Lattner5f4b3552008-03-10 07:21:50 +00006define void @blah(i32* %X) {
7; <label>:0
Chris Lattner62ccf912002-12-13 10:12:50 +00008 br label %T
Tanya Lattner5f4b3552008-03-10 07:21:50 +00009T: ; preds = %Dead, %0
10 phi i32* [ %X, %0 ], [ @Y, %Dead ] ; <i32*>:1 [#uses=0]
Chris Lattner62ccf912002-12-13 10:12:50 +000011 ret void
Tanya Lattner5f4b3552008-03-10 07:21:50 +000012Dead: ; No predecessors!
Chris Lattner62ccf912002-12-13 10:12:50 +000013 br label %T
14}
15
Tanya Lattner5f4b3552008-03-10 07:21:50 +000016define i32 @test(i1 %C) {
17; <label>:0
18 br i1 %C, label %T, label %T
19T: ; preds = %0, %0
20 %X = phi i32 [ 123, %0 ], [ 123, %0 ] ; <i32> [#uses=1]
21 ret i32 %X
Chris Lattner22213f02002-12-15 20:52:08 +000022}
23
Tanya Lattner5f4b3552008-03-10 07:21:50 +000024define i32 @main() {
25; <label>:0
Chris Lattnera8179522002-10-25 23:01:51 +000026 br label %Test
Tanya Lattner5f4b3552008-03-10 07:21:50 +000027Test: ; preds = %Dead, %0
28 %X = phi i32 [ 0, %0 ], [ %Y, %Dead ] ; <i32> [#uses=1]
29 ret i32 %X
30Dead: ; No predecessors!
31 %Y = ashr i32 12, 4 ; <i32> [#uses=1]
Chris Lattner856c0852002-11-02 19:45:30 +000032 br label %Test
Chris Lattnera8179522002-10-25 23:01:51 +000033}
Tanya Lattner5f4b3552008-03-10 07:21:50 +000034