Casting: assert that pointer arguments to isa<> are non-null.
[oota-llvm.git] / test / ExecutionEngine / 2003-10-18-PHINode-ConstantExpr-CondCode-Failure.ll
1 ; RUN: %lli %s > /dev/null
2 ; XFAIL: arm
3
4 @A = global i32 0               ; <i32*> [#uses=1]
5
6 define i32 @main() {
7         %Ret = call i32 @test( i1 true, i32 0 )         ; <i32> [#uses=1]
8         ret i32 %Ret
9 }
10
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
23 }
24