| Daniel Dunbar | 46a2716 | 2010-11-13 00:28:01 +0000 | [diff] [blame] | 1 | ; RUN: lli %s > /dev/null |
| Tanya Lattner | e9789ef | 2004-11-06 23:32:43 +0000 | [diff] [blame] | 2 | |
| Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 3 | @A = global i32 0 ; <i32*> [#uses=1] |
| Chris Lattner | 547eaef | 2003-10-18 23:54:45 +0000 | [diff] [blame] | 4 | |
| Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 5 | define i32 @main() { |
| 6 | %Ret = call i32 @test( i1 true, i32 0 ) ; <i32> [#uses=1] |
| 7 | ret i32 %Ret |
| Chris Lattner | 547eaef | 2003-10-18 23:54:45 +0000 | [diff] [blame] | 8 | } |
| 9 | |
| Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 10 | define i32 @test(i1 %c, i32 %A) { |
| 11 | br i1 %c, label %Taken1, label %NotTaken |
| 12 | Cont: ; preds = %Taken1, %NotTaken |
| 13 | %V = phi i32 [ 0, %NotTaken ], [ sub (i32 ptrtoint (i32* @A to i32), i32 1234), %Taken1 ] ; <i32> [#uses=0] |
| 14 | ret i32 0 |
| 15 | NotTaken: ; preds = %0 |
| 16 | br label %Cont |
| 17 | Taken1: ; preds = %0 |
| 18 | %B = icmp eq i32 %A, 0 ; <i1> [#uses=1] |
| 19 | br i1 %B, label %Cont, label %ExitError |
| 20 | ExitError: ; preds = %Taken1 |
| 21 | ret i32 12 |
| Chris Lattner | 547eaef | 2003-10-18 23:54:45 +0000 | [diff] [blame] | 22 | } |
| Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 23 | |