; 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)
+@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)
+@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)
-%o = constant i17 trunc( i18 131072 to i17 )
-%p = constant i17 trunc( i18 131071 to i17 )
+@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)