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 | |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 4 | @A = global i32 0 ; <i32*> [#uses=1] |
Chris Lattner | 547eaef | 2003-10-18 23:54:45 +0000 | [diff] [blame] | 5 | |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 6 | define i32 @main() { |
| 7 | %Ret = call i32 @test( i1 true, i32 0 ) ; <i32> [#uses=1] |
| 8 | ret i32 %Ret |
Chris Lattner | 547eaef | 2003-10-18 23:54:45 +0000 | [diff] [blame] | 9 | } |
| 10 | |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 11 | define i32 @test(i1 %c, i32 %A) { |
| 12 | br i1 %c, label %Taken1, label %NotTaken |
| 13 | Cont: ; preds = %Taken1, %NotTaken |
| 14 | %V = phi i32 [ 0, %NotTaken ], [ sub (i32 ptrtoint (i32* @A to i32), i32 1234), %Taken1 ] ; <i32> [#uses=0] |
| 15 | ret i32 0 |
| 16 | NotTaken: ; preds = %0 |
| 17 | br label %Cont |
| 18 | Taken1: ; preds = %0 |
| 19 | %B = icmp eq i32 %A, 0 ; <i1> [#uses=1] |
| 20 | br i1 %B, label %Cont, label %ExitError |
| 21 | ExitError: ; preds = %Taken1 |
| 22 | ret i32 12 |
Chris Lattner | 547eaef | 2003-10-18 23:54:45 +0000 | [diff] [blame] | 23 | } |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 24 | |