llvm-mirror/test/Integer/a31.ll
Reid Spencer ffa19b617d Fix incorrect test cases for srem. The definition of srem is a remainder so
that the sign of the result follows the sign of the divisor.

llvm-svn: 35301
2007-03-24 21:55:26 +00:00

26 lines
932 B
LLVM

; RUN: llvm-as %s -o - | llvm-dis > %t.ll
; RUN: diff %t.ll %s.out
; test 31 bits
;
@b = constant i31 add(i31 2147483647, i31 1)
@c = constant i31 add(i31 2147483647, i31 2147483647)
@d = constant i31 add(i31 2147483640, i31 8)
@e = constant i31 sub(i31 0 , i31 1)
@f = constant i31 sub(i31 0 , i31 2147483647)
@g = constant i31 sub(i31 2 , i31 2147483647)
@h = constant i31 shl(i31 1 , i31 31)
@i = constant i31 shl(i31 1 , i31 30)
@j = constant i31 lshr(i31 2147483647 , i31 30)
@l = constant i31 ashr(i31 2147483647 , i31 30)
@n = constant i31 mul(i31 2147483647, i31 2)
@q = constant i31 sdiv(i31 -1, i31 1073741823)
@r = constant i31 udiv(i31 -1, i31 1073741823)
@s = constant i31 srem(i31 1, i31 2147483646)
@t = constant i31 urem(i31 2147483647,i31 -1)
@o = constant i31 trunc( i32 2147483648 to i31 )
@p = constant i31 trunc( i32 2147483647 to i31 )
@u = constant i31 srem(i31 -3, i31 17)