|  | ; 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 , i17 17) | 
|  | @i = constant i17 shl(i17 1 , i17 16) | 
|  | @j = constant i17 lshr(i17 131071 , i17 16) | 
|  | @l = constant i17 ashr(i17 131071 , i17 16) | 
|  |  | 
|  | @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 ) | 
|  | @v = constant i17 srem(i17  -1,    i17 15) |