; RUN: llvm-as %s -o - | llvm-dis > %t.ll
; RUN: diff %t.ll %s.out

; test 17 bits
;
%b = constant i17 add(i17 131071, i17 1)
%c = constant i17 add(i17 131071, i17 131071)
%d = constant i17 add(i17 131064, i17 8)
%e = constant i17 sub(i17 0 , i17 1)
%f = constant i17 sub(i17 0 , i17 131071)
%g = constant i17 sub(i17 2 , i17 131071)

%h = constant i17 shl(i17 1 , i8 17)
%i = constant i17 shl(i17 1 , i8 16)
%j = constant i17 lshr(i17 131071 , i8 16)
%k = constant i17 lshr(i17 131071 , i8 17)
%l = constant i17 ashr(i17 131071 , i8 16)
%m = constant i17 ashr(i17 131071 , i8 17)

%n = constant i17 mul(i17 131071, i17 2) 
%q = constant i17 sdiv(i17 -1,    i17 65535)
%r = constant i17 udiv(i17 -1,    i17 65535)
%s = constant i17 srem(i17  1,    i17 131070)
%t = constant i17 urem(i17 131071,i17 -1)
%o = constant i17 trunc( i18 131072  to i17 )
%p = constant i17 trunc( i18 131071  to i17 )