[InstCombine] mark ADD with nuw if no unsigned overflow

[oota-llvm.git] / test / ExecutionEngine / 2003-01-04-ArgumentBug.ll

diff --git a/test/ExecutionEngine/2003-01-04-ArgumentBug.ll b/test/ExecutionEngine/2003-01-04-ArgumentBug.ll
index 411ac524a3b0a2d330a8263cc5a4594f6220ef03..3182193453aef431aa90b9cd2b2b290323596d20 100644 (file)
--- a/test/ExecutionEngine/2003-01-04-ArgumentBug.ll
+++ b/test/ExecutionEngine/2003-01-04-ArgumentBug.ll
@@ -1,16 +1,14 @@
-; RUN: llvm-as -f %s -o %t.bc
-; RUN: lli %t.bc > /dev/null
+; RUN: %lli %s > /dev/null
+; XFAIL: arm
 
-
-implementation   ; Functions:
-
-int %foo(int %X, int %Y, double %A) {
-       %cond212 = setne double %A, 1.000000e+00                ; <bool> [#uses=1]
-       %cast110 = cast bool %cond212 to int            ; <int> [#uses=1]
-       ret int %cast110
+define i32 @foo(i32 %X, i32 %Y, double %A) {
+       %cond212 = fcmp une double %A, 1.000000e+00             ; <i1> [#uses=1]
+       %cast110 = zext i1 %cond212 to i32              ; <i32> [#uses=1]
+       ret i32 %cast110
 }
 
-int %main() {
-       %reg212 = call int %foo( int 0, int 1, double 1.000000e+00 )            ; <int> [#uses=1]
-       ret int %reg212
+define i32 @main() {
+       %reg212 = call i32 @foo( i32 0, i32 1, double 1.000000e+00 )            ; <i32> [#uses=1]
+       ret i32 %reg212
 }
+