Interp.ml: support printf of long long

test/regression: add test "int32"; update test "int64"


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2201 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

5 files changed, 4189 insertions, 56 deletions

diff --git a/test/regression/Makefile b/test/regression/Makefile
index 2974444..7791794 100644
--- a/test/regression/Makefile
+++ b/test/regression/Makefile
@@ -12,7 +12,7 @@ TESTS=attribs1 bitfields1 bitfields2 bitfields3 bitfields4 \
   expr1 expr6 funptr2 initializers volatile1 volatile2 volatile3 \
   funct3 expr5 struct7 struct8 struct11 casts1 casts2 char1 \
   sizeof1 sizeof2 packedstruct1 packedstruct2 \
-  instrsel bool compar switch int64
+  instrsel bool compar switch int32 int64
 
 # Other tests: should compile to .s without errors (but expect warnings)
 EXTRAS=annot1 commaprec expr2 expr3 expr4 extern1 funct2 funptr1 init1 \
diff --git a/test/regression/Results/int32 b/test/regression/Results/int32
new file mode 100644
index 0000000..9128297
--- /dev/null
+++ b/test/regression/Results/int32
@@ -0,0 +1,3240 @@
+x = 0
+y = 0
+-x = 0
+x + y = 0
+x - y = 0
+x * y = 0
+x /u y = 0
+x %u y = 0
+x /s y = 0
+x %s y = 0
+~x = ffffffff
+x & y = 0
+x | y = 0
+x ^ y = 0
+x << i = 0
+x >>u i = 0
+x >>s i = 0
+x cmpu y = eq
+x cmps y = eq
+utod x = 0
+dtou f = 0
+stod x = 0
+dtos f = 0
+
+x = 0
+y = 1
+-x = 0
+x + y = 1
+x - y = ffffffff
+x * y = 0
+x /u y = 0
+x %u y = 0
+x /s y = 0
+x %s y = 0
+~x = ffffffff
+x & y = 0
+x | y = 1
+x ^ y = 1
+x << i = 0
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = lt
+utod x = 0
+dtou f = 0
+stod x = 0
+dtos f = 0
+
+x = 0
+y = ffffffff
+-x = 0
+x + y = ffffffff
+x - y = 1
+x * y = 0
+x /u y = 0
+x %u y = 0
+x /s y = 0
+x %s y = 0
+~x = ffffffff
+x & y = 0
+x | y = ffffffff
+x ^ y = ffffffff
+x << i = 0
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = gt
+utod x = 0
+dtou f = 0
+stod x = 0
+dtos f = 0
+
+x = 0
+y = 7fffffff
+-x = 0
+x + y = 7fffffff
+x - y = 80000001
+x * y = 0
+x /u y = 0
+x %u y = 0
+x /s y = 0
+x %s y = 0
+~x = ffffffff
+x & y = 0
+x | y = 7fffffff
+x ^ y = 7fffffff
+x << i = 0
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = lt
+utod x = 0
+dtou f = 0
+stod x = 0
+dtos f = 0
+
+x = 0
+y = 80000000
+-x = 0
+x + y = 80000000
+x - y = 80000000
+x * y = 0
+x /u y = 0
+x %u y = 0
+x /s y = 0
+x %s y = 0
+~x = ffffffff
+x & y = 0
+x | y = 80000000
+x ^ y = 80000000
+x << i = 0
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = gt
+utod x = 0
+dtou f = 0
+stod x = 0
+dtos f = 0
+
+x = 0
+y = 6255
+-x = 0
+x + y = 6255
+x - y = ffff9dab
+x * y = 0
+x /u y = 0
+x %u y = 0
+x /s y = 0
+x %s y = 0
+~x = ffffffff
+x & y = 0
+x | y = 6255
+x ^ y = 6255
+x << i = 0
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = lt
+utod x = 0
+dtou f = 0
+stod x = 0
+dtos f = 0
+
+x = 67a27166
+y = 0
+-x = 985d8e9a
+x + y = 67a27166
+x - y = 67a27166
+x * y = 0
+x /u y = 0
+x %u y = 0
+x /s y = 0
+x %s y = 0
+~x = 985d8e99
+x & y = 0
+x | y = 67a27166
+x ^ y = 67a27166
+x << i = 67a27166
+x >>u i = 67a27166
+x >>s i = 67a27166
+x cmpu y = gt
+x cmps y = gt
+utod x = 59800000
+dtou f = 2a72d
+stod x = 59800000
+dtos f = 2a72d
+
+x = 1
+y = 0
+-x = ffffffff
+x + y = 1
+x - y = 1
+x * y = 0
+x /u y = 0
+x %u y = 0
+x /s y = 0
+x %s y = 0
+~x = fffffffe
+x & y = 0
+x | y = 1
+x ^ y = 1
+x << i = 1
+x >>u i = 1
+x >>s i = 1
+x cmpu y = gt
+x cmps y = gt
+utod x = 0
+dtou f = 0
+stod x = 0
+dtos f = 0
+
+x = 1
+y = 1
+-x = ffffffff
+x + y = 2
+x - y = 0
+x * y = 1
+x /u y = 1
+x %u y = 0
+x /s y = 1
+x %s y = 0
+~x = fffffffe
+x & y = 1
+x | y = 1
+x ^ y = 0
+x << i = 2
+x >>u i = 0
+x >>s i = 0
+x cmpu y = eq
+x cmps y = eq
+utod x = 0
+dtou f = 0
+stod x = 0
+dtos f = 0
+
+x = 1
+y = ffffffff
+-x = ffffffff
+x + y = 0
+x - y = 2
+x * y = ffffffff
+x /u y = 0
+x %u y = 1
+x /s y = ffffffff
+x %s y = 0
+~x = fffffffe
+x & y = 1
+x | y = ffffffff
+x ^ y = fffffffe
+x << i = 80000000
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = gt
+utod x = 0
+dtou f = 0
+stod x = 0
+dtos f = 0
+
+x = 1
+y = 7fffffff
+-x = ffffffff
+x + y = 80000000
+x - y = 80000002
+x * y = 7fffffff
+x /u y = 0
+x %u y = 1
+x /s y = 0
+x %s y = 1
+~x = fffffffe
+x & y = 1
+x | y = 7fffffff
+x ^ y = 7ffffffe
+x << i = 80000000
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = lt
+utod x = 0
+dtou f = 0
+stod x = 0
+dtos f = 0
+
+x = 1
+y = 80000000
+-x = ffffffff
+x + y = 80000001
+x - y = 80000001
+x * y = 80000000
+x /u y = 0
+x %u y = 1
+x /s y = 0
+x %s y = 1
+~x = fffffffe
+x & y = 0
+x | y = 80000001
+x ^ y = 80000001
+x << i = 1
+x >>u i = 1
+x >>s i = 1
+x cmpu y = lt
+x cmps y = gt
+utod x = 0
+dtou f = 0
+stod x = 0
+dtos f = 0
+
+x = 1
+y = ae3d5f03
+-x = ffffffff
+x + y = ae3d5f04
+x - y = 51c2a0fe
+x * y = ae3d5f03
+x /u y = 0
+x %u y = 1
+x /s y = 0
+x %s y = 1
+~x = fffffffe
+x & y = 1
+x | y = ae3d5f03
+x ^ y = ae3d5f02
+x << i = 8
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = gt
+utod x = 0
+dtou f = 0
+stod x = 0
+dtos f = 0
+
+x = 3fb9ebc
+y = 1
+-x = fc046144
+x + y = 3fb9ebd
+x - y = 3fb9ebb
+x * y = 3fb9ebc
+x /u y = 3fb9ebc
+x %u y = 0
+x /s y = 3fb9ebc
+x %s y = 0
+~x = fc046143
+x & y = 0
+x | y = 3fb9ebd
+x ^ y = 3fb9ebd
+x << i = 7f73d78
+x >>u i = 1fdcf5e
+x >>s i = 1fdcf5e
+x cmpu y = gt
+x cmps y = gt
+utod x = e0000000
+dtou f = 1a1a
+stod x = e0000000
+dtos f = 1a1a
+
+x = ffffffff
+y = 0
+-x = 1
+x + y = ffffffff
+x - y = ffffffff
+x * y = 0
+x /u y = 0
+x %u y = 0
+x /s y = 0
+x %s y = 0
+~x = 0
+x & y = 0
+x | y = ffffffff
+x ^ y = ffffffff
+x << i = ffffffff
+x >>u i = ffffffff
+x >>s i = ffffffff
+x cmpu y = gt
+x cmps y = lt
+utod x = ffe00000
+dtou f = 68db8
+stod x = 0
+dtos f = 0
+
+x = ffffffff
+y = 1
+-x = 1
+x + y = 0
+x - y = fffffffe
+x * y = ffffffff
+x /u y = ffffffff
+x %u y = 0
+x /s y = ffffffff
+x %s y = 0
+~x = 0
+x & y = 1
+x | y = ffffffff
+x ^ y = fffffffe
+x << i = fffffffe
+x >>u i = 7fffffff
+x >>s i = ffffffff
+x cmpu y = gt
+x cmps y = lt
+utod x = ffe00000
+dtou f = 68db8
+stod x = 0
+dtos f = 0
+
+x = ffffffff
+y = ffffffff
+-x = 1
+x + y = fffffffe
+x - y = 0
+x * y = 1
+x /u y = 1
+x %u y = 0
+x /s y = 1
+x %s y = 0
+~x = 0
+x & y = ffffffff
+x | y = ffffffff
+x ^ y = 0
+x << i = 80000000
+x >>u i = 1
+x >>s i = ffffffff
+x cmpu y = eq
+x cmps y = eq
+utod x = ffe00000
+dtou f = 68db8
+stod x = 0
+dtos f = 0
+
+x = ffffffff
+y = 7fffffff
+-x = 1
+x + y = 7ffffffe
+x - y = 80000000
+x * y = 80000001
+x /u y = 2
+x %u y = 1
+x /s y = 0
+x %s y = ffffffff
+~x = 0
+x & y = 7fffffff
+x | y = ffffffff
+x ^ y = 80000000
+x << i = 80000000
+x >>u i = 1
+x >>s i = ffffffff
+x cmpu y = gt
+x cmps y = lt
+utod x = ffe00000
+dtou f = 68db8
+stod x = 0
+dtos f = 0
+
+x = ffffffff
+y = 80000000
+-x = 1
+x + y = 7fffffff
+x - y = 7fffffff
+x * y = 80000000
+x /u y = 1
+x %u y = 7fffffff
+x /s y = 0
+x %s y = ffffffff
+~x = 0
+x & y = 80000000
+x | y = ffffffff
+x ^ y = 7fffffff
+x << i = ffffffff
+x >>u i = ffffffff
+x >>s i = ffffffff
+x cmpu y = gt
+x cmps y = gt
+utod x = ffe00000
+dtou f = 68db8
+stod x = 0
+dtos f = 0
+
+x = ffffffff
+y = 964a0ae1
+-x = 1
+x + y = 964a0ae0
+x - y = 69b5f51e
+x * y = 69b5f51f
+x /u y = 1
+x %u y = 69b5f51e
+x /s y = 0
+x %s y = ffffffff
+~x = 0
+x & y = 964a0ae1
+x | y = ffffffff
+x ^ y = 69b5f51e
+x << i = fffffffe
+x >>u i = 7fffffff
+x >>s i = ffffffff
+x cmpu y = gt
+x cmps y = gt
+utod x = ffe00000
+dtou f = 68db8
+stod x = 0
+dtos f = 0
+
+x = 26b98582
+y = ffffffff
+-x = d9467a7e
+x + y = 26b98581
+x - y = 26b98583
+x * y = d9467a7e
+x /u y = 0
+x %u y = 26b98582
+x /s y = d9467a7e
+x %s y = 0
+~x = d9467a7d
+x & y = 26b98582
+x | y = ffffffff
+x ^ y = d9467a7d
+x << i = 0
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = gt
+utod x = c1000000
+dtou f = fdc9
+stod x = c1000000
+dtos f = fdc9
+
+x = 7fffffff
+y = 0
+-x = 80000001
+x + y = 7fffffff
+x - y = 7fffffff
+x * y = 0
+x /u y = 0
+x %u y = 0
+x /s y = 0
+x %s y = 0
+~x = 80000000
+x & y = 0
+x | y = 7fffffff
+x ^ y = 7fffffff
+x << i = 7fffffff
+x >>u i = 7fffffff
+x >>s i = 7fffffff
+x cmpu y = gt
+x cmps y = gt
+utod x = ffc00000
+dtou f = 346dc
+stod x = ffc00000
+dtos f = 346dc
+
+x = 7fffffff
+y = 1
+-x = 80000001
+x + y = 80000000
+x - y = 7ffffffe
+x * y = 7fffffff
+x /u y = 7fffffff
+x %u y = 0
+x /s y = 7fffffff
+x %s y = 0
+~x = 80000000
+x & y = 1
+x | y = 7fffffff
+x ^ y = 7ffffffe
+x << i = fffffffe
+x >>u i = 3fffffff
+x >>s i = 3fffffff
+x cmpu y = gt
+x cmps y = gt
+utod x = ffc00000
+dtou f = 346dc
+stod x = ffc00000
+dtos f = 346dc
+
+x = 7fffffff
+y = ffffffff
+-x = 80000001
+x + y = 7ffffffe
+x - y = 80000000
+x * y = 80000001
+x /u y = 0
+x %u y = 7fffffff
+x /s y = 80000001
+x %s y = 0
+~x = 80000000
+x & y = 7fffffff
+x | y = ffffffff
+x ^ y = 80000000
+x << i = 80000000
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = gt
+utod x = ffc00000
+dtou f = 346dc
+stod x = ffc00000
+dtos f = 346dc
+
+x = 7fffffff
+y = 7fffffff
+-x = 80000001
+x + y = fffffffe
+x - y = 0
+x * y = 1
+x /u y = 1
+x %u y = 0
+x /s y = 1
+x %s y = 0
+~x = 80000000
+x & y = 7fffffff
+x | y = 7fffffff
+x ^ y = 0
+x << i = 80000000
+x >>u i = 0
+x >>s i = 0
+x cmpu y = eq
+x cmps y = eq
+utod x = ffc00000
+dtou f = 346dc
+stod x = ffc00000
+dtos f = 346dc
+
+x = 7fffffff
+y = 80000000
+-x = 80000001
+x + y = ffffffff
+x - y = ffffffff
+x * y = 80000000
+x /u y = 0
+x %u y = 7fffffff
+x /s y = 0
+x %s y = 7fffffff
+~x = 80000000
+x & y = 0
+x | y = ffffffff
+x ^ y = ffffffff
+x << i = 7fffffff
+x >>u i = 7fffffff
+x >>s i = 7fffffff
+x cmpu y = lt
+x cmps y = gt
+utod x = ffc00000
+dtou f = 346dc
+stod x = ffc00000
+dtos f = 346dc
+
+x = 7fffffff
+y = f3d9e56f
+-x = 80000001
+x + y = 73d9e56e
+x - y = 8c261a90
+x * y = 8c261a91
+x /u y = 0
+x %u y = 7fffffff
+x /s y = fffffff6
+x %s y = 682f655
+~x = 80000000
+x & y = 73d9e56f
+x | y = ffffffff
+x ^ y = 8c261a90
+x << i = ffff8000
+x >>u i = ffff
+x >>s i = ffff
+x cmpu y = lt
+x cmps y = gt
+utod x = ffc00000
+dtou f = 346dc
+stod x = ffc00000
+dtos f = 346dc
+
+x = 3b92bf38
+y = 7fffffff
+-x = c46d40c8
+x + y = bb92bf37
+x - y = bb92bf39
+x * y = c46d40c8
+x /u y = 0
+x %u y = 3b92bf38
+x /s y = 0
+x %s y = 3b92bf38
+~x = c46d40c7
+x & y = 3b92bf38
+x | y = 7fffffff
+x ^ y = 446d40c7
+x << i = 0
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = lt
+utod x = 9c000000
+dtou f = 1866b
+stod x = 9c000000
+dtos f = 1866b
+
+x = 80000000
+y = 0
+-x = 80000000
+x + y = 80000000
+x - y = 80000000
+x * y = 0
+x /u y = 0
+x %u y = 0
+x /s y = 0
+x %s y = 0
+~x = 7fffffff
+x & y = 0
+x | y = 80000000
+x ^ y = 80000000
+x << i = 80000000
+x >>u i = 80000000
+x >>s i = 80000000
+x cmpu y = gt
+x cmps y = lt
+utod x = 0
+dtou f = 346dc
+stod x = 0
+dtos f = fffcb924
+
+x = 80000000
+y = 1
+-x = 80000000
+x + y = 80000001
+x - y = 7fffffff
+x * y = 80000000
+x /u y = 80000000
+x %u y = 0
+x /s y = 80000000
+x %s y = 0
+~x = 7fffffff
+x & y = 0
+x | y = 80000001
+x ^ y = 80000001
+x << i = 0
+x >>u i = 40000000
+x >>s i = c0000000
+x cmpu y = gt
+x cmps y = lt
+utod x = 0
+dtou f = 346dc
+stod x = 0
+dtos f = fffcb924
+
+x = 80000000
+y = ffffffff
+-x = 80000000
+x + y = 7fffffff
+x - y = 80000001
+x * y = 80000000
+x /u y = 0
+x %u y = 80000000
+x /s y = 0
+x %s y = 0
+~x = 7fffffff
+x & y = 80000000
+x | y = ffffffff
+x ^ y = 7fffffff
+x << i = 0
+x >>u i = 1
+x >>s i = ffffffff
+x cmpu y = lt
+x cmps y = lt
+utod x = 0
+dtou f = 346dc
+stod x = 0
+dtos f = fffcb924
+
+x = 80000000
+y = 7fffffff
+-x = 80000000
+x + y = ffffffff
+x - y = 1
+x * y = 80000000
+x /u y = 1
+x %u y = 1
+x /s y = ffffffff
+x %s y = ffffffff
+~x = 7fffffff
+x & y = 0
+x | y = ffffffff
+x ^ y = ffffffff
+x << i = 0
+x >>u i = 1
+x >>s i = ffffffff
+x cmpu y = gt
+x cmps y = lt
+utod x = 0
+dtou f = 346dc
+stod x = 0
+dtos f = fffcb924
+
+x = 80000000
+y = 80000000
+-x = 80000000
+x + y = 0
+x - y = 0
+x * y = 0
+x /u y = 1
+x %u y = 0
+x /s y = 1
+x %s y = 0
+~x = 7fffffff
+x & y = 80000000
+x | y = 80000000
+x ^ y = 0
+x << i = 80000000
+x >>u i = 80000000
+x >>s i = 80000000
+x cmpu y = eq
+x cmps y = eq
+utod x = 0
+dtou f = 346dc
+stod x = 0
+dtos f = fffcb924
+
+x = 80000000
+y = e7715a2d
+-x = 80000000
+x + y = 67715a2d
+x - y = 988ea5d3
+x * y = 80000000
+x /u y = 0
+x %u y = 80000000
+x /s y = 5
+x %s y = fac93d1f
+~x = 7fffffff
+x & y = 80000000
+x | y = e7715a2d
+x ^ y = 67715a2d
+x << i = 0
+x >>u i = 40000
+x >>s i = fffc0000
+x cmpu y = lt
+x cmps y = lt
+utod x = 0
+dtou f = 346dc
+stod x = 0
+dtos f = fffcb924
+
+x = 7186e15e
+y = 80000000
+-x = 8e791ea2
+x + y = f186e15e
+x - y = f186e15e
+x * y = 0
+x /u y = 0
+x %u y = 7186e15e
+x /s y = 0
+x %s y = 7186e15e
+~x = 8e791ea1
+x & y = 0
+x | y = f186e15e
+x ^ y = f186e15e
+x << i = 7186e15e
+x >>u i = 7186e15e
+x >>s i = 7186e15e
+x cmpu y = lt
+x cmps y = gt
+utod x = 57800000
+dtou f = 2e802
+stod x = 57800000
+dtos f = 2e802
+
+x = a3d2a09b
+y = 826ddd74
+-x = 5c2d5f65
+x + y = 26407e0f
+x - y = 2164c327
+x * y = 2815953c
+x /u y = 1
+x %u y = 2164c327
+x /s y = 0
+x %s y = a3d2a09b
+~x = 5c2d5f64
+x & y = 82408010
+x | y = a3fffdff
+x ^ y = 21bf7def
+x << i = 9b00000
+x >>u i = a3d
+x >>s i = fffffa3d
+x cmpu y = gt
+x cmps y = gt
+utod x = 13600000
+dtou f = 431a0
+stod x = d9400000
+dtos f = fffda3e9
+
+x = e3ad9c39
+y = bf2e60fa
+-x = 1c5263c7
+x + y = a2dbfd33
+x - y = 247f3b3f
+x * y = b5defaa
+x /u y = 1
+x %u y = 247f3b3f
+x /s y = 0
+x %s y = e3ad9c39
+~x = 1c5263c6
+x & y = a32c0038
+x | y = ffaffcfb
+x ^ y = 5c83fcc3
+x << i = e4000000
+x >>u i = 38
+x >>s i = fffffff8
+x cmpu y = gt
+x cmps y = gt
+utod x = 87200000
+dtou f = 5d41c
+stod x = c7000000
+dtos f = ffff4664
+
+x = d40abc87
+y = 14b33570
+-x = 2bf54379
+x + y = e8bdf1f7
+x - y = bf578717
+x * y = 5c1f6e10
+x /u y = a
+x %u y = 50aa627
+x /s y = fffffffe
+x %s y = fd712767
+~x = 2bf54378
+x & y = 14023400
+x | y = d4bbbdf7
+x ^ y = c0b989f7
+x << i = bc870000
+x >>u i = d40a
+x >>s i = ffffd40a
+x cmpu y = gt
+x cmps y = lt
+utod x = 90e00000
+dtou f = 56da3
+stod x = bc800000
+dtos f = fffedfeb
+
+x = e2a8dd05
+y = f177a056
+-x = 1d5722fb
+x + y = d4207d5b
+x - y = f1313caf
+x * y = 21305fae
+x /u y = 0
+x %u y = e2a8dd05
+x /s y = 2
+x %s y = ffb99c59
+~x = 1d5722fa
+x & y = e0208004
+x | y = f3fffd57
+x ^ y = 13df7d53
+x << i = 41400000
+x >>u i = 38a
+x >>s i = ffffff8a
+x cmpu y = lt
+x cmps y = lt
+utod x = a0a00000
+dtou f = 5cd6f
+stod x = fb000000
+dtos f = ffff3fb8
+
+x = 10462533
+y = bd42c32c
+-x = efb9dacd
+x + y = cd88e85f
+x - y = 53036207
+x * y = 788a3dc4
+x /u y = 0
+x %u y = 10462533
+x /s y = 0
+x %s y = 10462533
+~x = efb9dacc
+x & y = 10420120
+x | y = bd46e73f
+x ^ y = ad04e61f
+x << i = 62533000
+x >>u i = 10462
+x >>s i = 10462
+x cmpu y = lt
+x cmps y = gt
+utod x = 33000000
+dtou f = 6aa7
+stod x = 33000000
+dtos f = 6aa7
+
+x = b58be891
+y = 6469fb72
+-x = 4a74176f
+x + y = 19f5e403
+x - y = 5121ed1f
+x * y = cccbb92
+x /u y = 1
+x %u y = 5121ed1f
+x /s y = 0
+x %s y = b58be891
+~x = 4a74176e
+x & y = 2409e810
+x | y = f5ebfbf3
+x ^ y = d1e213e3
+x << i = a2440000
+x >>u i = 2d62
+x >>s i = ffffed62
+x cmpu y = gt
+x cmps y = lt
+utod x = 12200000
+dtou f = 4a5c8
+stod x = dbc00000
+dtos f = fffe1810
+
+x = c615869f
+y = 3db242a8
+-x = 39ea7961
+x + y = 3c7c947
+x - y = 886343f7
+x * y = 8635658
+x /u y = 3
+x %u y = cfebea7
+x /s y = 0
+x %s y = c615869f
+~x = 39ea7960
+x & y = 4100288
+x | y = ffb7c6bf
+x ^ y = fba7c437
+x << i = 15869f00
+x >>u i = c61586
+x >>s i = ffc61586
+x cmpu y = gt
+x cmps y = lt
+utod x = d3e00000
+dtou f = 51229
+stod x = b0800000
+dtos f = fffe8472
+
+x = b7ca4add
+y = bda88e4e
+-x = 4835b523
+x + y = 7572d92b
+x - y = fa21bc8f
+x * y = 7f316556
+x /u y = 0
+x %u y = b7ca4add
+x /s y = 1
+x %s y = fa21bc8f
+~x = 4835b522
+x & y = b5880a4c
+x | y = bfeacedf
+x ^ y = a62c493
+x << i = 92b74000
+x >>u i = 2df29
+x >>s i = fffedf29
+x cmpu y = lt
+x cmps y = lt
+utod x = 5ba00000
+dtou f = 4b47c
+stod x = 48c00000
+dtos f = fffe26c5
+
+x = fd824ccb
+y = ec092fe4
+-x = 27db335
+x + y = e98b7caf
+x - y = 11791ce7
+x * y = 8b48a9cc
+x /u y = 1
+x %u y = 11791ce7
+x /s y = 0
+x %s y = fd824ccb
+~x = 27db334
+x & y = ec000cc0
+x | y = fd8b6fef
+x ^ y = 118b632f
+x << i = d824ccb0
+x >>u i = fd824cc
+x >>s i = ffd824cc
+x cmpu y = gt
+x cmps y = gt
+utod x = 99600000
+dtou f = 67d65
+stod x = a8000000
+dtos f = ffffefad
+
+x = aaae4fe9
+y = d78e34ea
+-x = 5551b017
+x + y = 823c84d3
+x - y = d3201aff
+x * y = 6dce5efa
+x /u y = 0
+x %u y = aaae4fe9
+x /s y = 2
+x %s y = fb91e615
+~x = 5551b016
+x & y = 828e04e8
+x | y = ffae7feb
+x ^ y = 7d207b03
+x << i = b93fa400
+x >>u i = 2aab93
+x >>s i = ffeaab93
+x cmpu y = lt
+x cmps y = lt
+utod x = fd200000
+dtou f = 45e93
+stod x = 5c00000
+dtos f = fffdd0db
+
+x = a7aa3b7
+y = 423cc6e0
+-x = f5855c49
+x + y = 4cb76a97
+x - y = c83ddcd7
+x * y = 92d2ca20
+x /u y = 0
+x %u y = a7aa3b7
+x /s y = 0
+x %s y = a7aa3b7
+~x = f5855c48
+x & y = 23882a0
+x | y = 4a7ee7f7
+x ^ y = 48466557
+x << i = a7aa3b7
+x >>u i = a7aa3b7
+x >>s i = a7aa3b7
+x cmpu y = lt
+x cmps y = lt
+utod x = 6e000000
+dtou f = 44ac
+stod x = 6e000000
+dtos f = 44ac
+
+x = e7a503b5
+y = e4098b46
+-x = 185afc4b
+x + y = cbae8efb
+x - y = 39b786f
+x * y = 457f4a7e
+x /u y = 1
+x %u y = 39b786f
+x /s y = 0
+x %s y = e7a503b5
+~x = 185afc4a
+x & y = e4010304
+x | y = e7ad8bf7
+x ^ y = 3ac88f3
+x << i = e940ed40
+x >>u i = 39e940e
+x >>s i = ff9e940e
+x cmpu y = gt
+x cmps y = gt
+utod x = 76a00000
+dtou f = 5ee1b
+stod x = 4b000000
+dtos f = ffff6063
+
+x = a2fd7763
+y = db6c039c
+-x = 5d02889d
+x + y = 7e697aff
+x - y = c79173c7
+x * y = 599ee954
+x /u y = 0
+x %u y = a2fd7763
+x /s y = 2
+x %s y = ec25702b
+~x = 5d02889c
+x & y = 826c0300
+x | y = fbfd77ff
+x ^ y = 799174ff
+x << i = 30000000
+x >>u i = a
+x >>s i = fffffffa
+x cmpu y = lt
+x cmps y = lt
+utod x = ec600000
+dtou f = 42c2c
+stod x = 27400000
+dtos f = fffd9e74
+
+x = 354a3241
+y = a338ed62
+-x = cab5cdbf
+x + y = d8831fa3
+x - y = 921144df
+x * y = 782569e2
+x /u y = 0
+x %u y = 354a3241
+x /s y = 0
+x %s y = 354a3241
+~x = cab5cdbe
+x & y = 21082040
+x | y = b77aff63
+x ^ y = 9672df23
+x << i = d528c904
+x >>u i = d528c90
+x >>s i = d528c90
+x cmpu y = lt
+x cmps y = gt
+utod x = 20800000
+dtou f = 15d3d
+stod x = 20800000
+dtos f = 15d3d
+
+x = 860673cf
+y = 1adba218
+-x = 79f98c31
+x + y = a0e215e7
+x - y = 6b2ad1b7
+x * y = bdf8d968
+x /u y = 4
+x %u y = 1a97eb6f
+x /s y = fffffffc
+x %s y = f174fc2f
+~x = 79f98c30
+x & y = 2022208
+x | y = 9edff3df
+x ^ y = 9cddd1d7
+x << i = cf000000
+x >>u i = 86
+x >>s i = ffffff86
+x cmpu y = gt
+x cmps y = lt
+utod x = 79e00000
+dtou f = 36e58
+stod x = c400000
+dtos f = fffce0a1
+
+x = 4b34678d
+y = 49c6773e
+-x = b4cb9873
+x + y = 94fadecb
+x - y = 16df04f
+x * y = dee19f26
+x /u y = 1
+x %u y = 16df04f
+x /s y = 1
+x %s y = 16df04f
+~x = b4cb9872
+x & y = 4904670c
+x | y = 4bf677bf
+x ^ y = 2f210b3
+x << i = 40000000
+x >>u i = 1
+x >>s i = 1
+x cmpu y = gt
+x cmps y = gt
+utod x = e3400000
+dtou f = 1ecdc
+stod x = e3400000
+dtos f = 1ecdc
+
+x = 9f3a04fb
+y = 78b21e54
+-x = 60c5fb05
+x + y = 17ec234f
+x - y = 2687e6a7
+x * y = 2a250c5c
+x /u y = 1
+x %u y = 2687e6a7
+x /s y = 0
+x %s y = 9f3a04fb
+~x = 60c5fb04
+x & y = 18320450
+x | y = ffba1eff
+x ^ y = e7881aaf
+x << i = 4fb00000
+x >>u i = 9f3
+x >>s i = fffff9f3
+x cmpu y = gt
+x cmps y = lt
+utod x = 9f600000
+dtou f = 41381
+stod x = c1400000
+dtos f = fffd85ca
+
+x = d080ef99
+y = 730404da
+-x = 2f7f1067
+x + y = 4384f473
+x - y = 5d7ceabf
+x * y = aee6c4a
+x /u y = 1
+x %u y = 5d7ceabf
+x /s y = 0
+x %s y = d080ef99
+~x = 2f7f1066
+x & y = 50000498
+x | y = f384efdb
+x ^ y = a384eb43
+x << i = 64000000
+x >>u i = 34
+x >>s i = fffffff4
+x cmpu y = gt
+x cmps y = lt
+utod x = f3200000
+dtou f = 55673
+stod x = 33800000
+dtos f = fffec8bb
+
+x = 535156e7
+y = 3073b450
+-x = acaea919
+x + y = 83c50b37
+x - y = 22dda297
+x * y = 944a9430
+x /u y = 1
+x %u y = 22dda297
+x /s y = 1
+x %s y = 22dda297
+~x = acaea918
+x & y = 10511440
+x | y = 7373f6f7
+x ^ y = 6322e2b7
+x << i = 56e70000
+x >>u i = 5351
+x >>s i = 5351
+x cmpu y = gt
+x cmps y = gt
+utod x = b9c00000
+dtou f = 22207
+stod x = b9c00000
+dtos f = 22207
+
+x = 611fd665
+y = 3ac73236
+-x = 9ee0299b
+x + y = 9be7089b
+x - y = 2658a42f
+x * y = 3f19f34e
+x /u y = 1
+x %u y = 2658a42f
+x /s y = 1
+x %s y = 2658a42f
+~x = 9ee0299a
+x & y = 20071224
+x | y = 7bdff677
+x ^ y = 5bd8e453
+x << i = 99400000
+x >>u i = 184
+x >>s i = 184
+x cmpu y = gt
+x cmps y = gt
+utod x = 99400000
+dtou f = 27c83
+stod x = 99400000
+dtos f = 27c83
+
+x = 61465593
+y = cd3e600c
+-x = 9eb9aa6d
+x + y = 2e84b59f
+x - y = 9407f587
+x * y = 5ffd22e4
+x /u y = 0
+x %u y = 61465593
+x /s y = ffffffff
+x %s y = 2e84b59f
+~x = 9eb9aa6c
+x & y = 41064000
+x | y = ed7e759f
+x ^ y = ac78359f
+x << i = 65593000
+x >>u i = 61465
+x >>s i = 61465
+x cmpu y = lt
+x cmps y = gt
+utod x = 64c00000
+dtou f = 27d7f
+stod x = 64c00000
+dtos f = 27d7f
+
+x = e5dfe7f1
+y = 5b055b52
+-x = 1a20180f
+x + y = 40e54343
+x - y = 8ada8c9f
+x * y = 6bdff632
+x /u y = 2
+x %u y = 2fd5314d
+x /s y = 0
+x %s y = e5dfe7f1
+~x = 1a20180e
+x & y = 41054350
+x | y = ffdffff3
+x ^ y = bedabca3
+x << i = 9fc40000
+x >>u i = 3977
+x >>s i = fffff977
+x cmpu y = gt
+x cmps y = lt
+utod x = fe200000
+dtou f = 5e281
+stod x = f000000
+dtos f = ffff54c9
+
+x = 843facff
+y = cfc5dd88
+-x = 7bc05301
+x + y = 54058a87
+x - y = b479cf77
+x * y = 8b670a78
+x /u y = 0
+x %u y = 843facff
+x /s y = 2
+x %s y = e4b3f1ef
+~x = 7bc05300
+x & y = 84058c88
+x | y = cffffdff
+x ^ y = 4bfa7177
+x << i = 3facff00
+x >>u i = 843fac
+x >>s i = ff843fac
+x cmpu y = lt
+x cmps y = lt
+utod x = 9fe00000
+dtou f = 362b4
+stod x = c0400000
+dtos f = fffcd4fc
+
+x = 4b3ab03d
+y = e92f9c2e
+-x = b4c54fc3
+x + y = 346a4c6b
+x - y = 620b140f
+x * y = 2823d6f6
+x /u y = 0
+x %u y = 4b3ab03d
+x /s y = fffffffd
+x %s y = 6c984c7
+~x = b4c54fc2
+x & y = 492a902c
+x | y = eb3fbc3f
+x ^ y = a2152c13
+x << i = ac0f4000
+x >>u i = 12cea
+x >>s i = 12cea
+x cmpu y = lt
+x cmps y = gt
+utod x = f400000
+dtou f = 1ed05
+stod x = f400000
+dtos f = 1ed05
+
+x = c23cc92b
+y = 6a0fa8c4
+-x = 3dc336d5
+x + y = 2c4c71ef
+x - y = 582d2067
+x * y = 32133cec
+x /u y = 1
+x %u y = 582d2067
+x /s y = 0
+x %s y = c23cc92b
+~x = 3dc336d4
+x & y = 420c8800
+x | y = ea3fe9ef
+x ^ y = a83361ef
+x << i = 23cc92b0
+x >>u i = c23cc92
+x >>s i = fc23cc92
+x cmpu y = gt
+x cmps y = lt
+utod x = 25600000
+dtou f = 4f8f4
+stod x = 6a800000
+dtos f = fffe6b3c
+
+x = 62e07b49
+y = f4ed0ca
+-x = 9d1f84b7
+x + y = 722f4c13
+x - y = 5391aa7f
+x * y = 408a979a
+x /u y = 6
+x %u y = 707968d
+x /s y = 6
+x %s y = 707968d
+~x = 9d1f84b6
+x & y = 2405048
+x | y = 6feefbcb
+x ^ y = 6daeab83
+x << i = 81ed2400
+x >>u i = 18b81e
+x >>s i = 18b81e
+x cmpu y = gt
+x cmps y = gt
+utod x = d2400000
+dtou f = 287ff
+stod x = d2400000
+dtos f = 287ff
+
+x = 1381d617
+y = ceefdc0
+-x = ec7e29e9
+x + y = 2070d3d7
+x - y = 692d857
+x * y = f574c40
+x /u y = 1
+x %u y = 692d857
+x /s y = 1
+x %s y = 692d857
+~x = ec7e29e8
+x & y = 80d400
+x | y = 1fefffd7
+x ^ y = 1f6f2bd7
+x << i = 1381d617
+x >>u i = 1381d617
+x >>s i = 1381d617
+x cmpu y = gt
+x cmps y = gt
+utod x = 17000000
+dtou f = 7fd7
+stod x = 17000000
+dtos f = 7fd7
+
+x = 7c045515
+y = dcdf9526
+-x = 83fbaaeb
+x + y = 58e3ea3b
+x - y = 9f24bfef
+x * y = 1774da1e
+x /u y = 0
+x %u y = 7c045515
+x /s y = fffffffd
+x %s y = 12a31487
+~x = 83fbaaea
+x & y = 5c041504
+x | y = fcdfd537
+x ^ y = a0dbc033
+x << i = 1154540
+x >>u i = 1f01154
+x >>s i = 1f01154
+x cmpu y = lt
+x cmps y = gt
+utod x = 45400000
+dtou f = 32cc1
+stod x = 45400000
+dtos f = 32cc1
+
+x = cec3bfc3
+y = 4340d87c
+-x = 313c403d
+x + y = 1204983f
+x - y = 8b82e747
+x * y = 4a5d6a74
+x /u y = 3
+x %u y = 501364f
+x /s y = 0
+x %s y = cec3bfc3
+~x = 313c403c
+x & y = 42409840
+x | y = cfc3ffff
+x ^ y = 8d8367bf
+x << i = 30000000
+x >>u i = c
+x >>s i = fffffffc
+x cmpu y = gt
+x cmps y = lt
+utod x = f8600000
+dtou f = 54b0d
+stod x = 1e800000
+dtos f = fffebd55
+
+x = fe6809a1
+y = b6e4542
+-x = 197f65f
+x + y = 9d64ee3
+x - y = f2f9c45f
+x * y = af98e082
+x /u y = 16
+x %u y = 2ee15f5
+x /s y = 0
+x %s y = fe6809a1
+~x = 197f65e
+x & y = a680100
+x | y = ff6e4de3
+x ^ y = f5064ce3
+x << i = f9a02684
+x >>u i = 3f9a0268
+x >>s i = ff9a0268
+x cmpu y = gt
+x cmps y = lt
+utod x = 34200000
+dtou f = 68347
+stod x = f0000000
+dtos f = fffff58f
+
+x = 614322f
+y = 16e7f4f8
+-x = f9ebcdd1
+x + y = 1cfc2727
+x - y = ef2c3d37
+x * y = 75ce6988
+x /u y = 0
+x %u y = 614322f
+x /s y = 0
+x %s y = 614322f
+~x = f9ebcdd0
+x & y = 6043028
+x | y = 16f7f6ff
+x ^ y = 10f3c6d7
+x << i = 2f000000
+x >>u i = 6
+x >>s i = 6
+x cmpu y = lt
+x cmps y = lt
+utod x = bc000000
+dtou f = 27d6
+stod x = bc000000
+dtos f = 27d6
+
+x = 142824ed
+y = 52f2fd1e
+-x = ebd7db13
+x + y = 671b220b
+x - y = c13527cf
+x * y = db3c8cc6
+x /u y = 0
+x %u y = 142824ed
+x /s y = 0
+x %s y = 142824ed
+~x = ebd7db12
+x & y = 1020240c
+x | y = 56fafdff
+x ^ y = 46dad9f3
+x << i = 40000000
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = lt
+utod x = ed000000
+dtou f = 8419
+stod x = ed000000
+dtos f = 8419
+
+x = c08d995b
+y = fb88cf34
+-x = 3f7266a5
+x + y = bc16688f
+x - y = c504ca27
+x * y = 4d1bbb7c
+x /u y = 0
+x %u y = c08d995b
+x /s y = e
+x %s y = ff124483
+~x = 3f7266a4
+x & y = c0888910
+x | y = fb8ddf7f
+x ^ y = 3b05566f
+x << i = 95b00000
+x >>u i = c08
+x >>s i = fffffc08
+x cmpu y = lt
+x cmps y = lt
+utod x = 2b600000
+dtou f = 4edea
+stod x = 52800000
+dtos f = fffe6032
+
+x = 2e47f2f9
+y = a9ed98ba
+-x = d1b80d07
+x + y = d8358bb3
+x - y = 845a5a3f
+x * y = aa0f60ea
+x /u y = 0
+x %u y = 2e47f2f9
+x /s y = 0
+x %s y = 2e47f2f9
+~x = d1b80d06
+x & y = 284590b8
+x | y = afeffafb
+x ^ y = 87aa6a43
+x << i = e4000000
+x >>u i = b
+x >>s i = b
+x cmpu y = lt
+x cmps y = gt
+utod x = 7c800000
+dtou f = 12f4e
+stod x = 7c800000
+dtos f = 12f4e
+
+x = bcbf2147
+y = fb05a330
+-x = 4340deb9
+x + y = b7c4c477
+x - y = c1b97e17
+x * y = 59697250
+x /u y = 0
+x %u y = bcbf2147
+x /s y = d
+x %s y = fd75d7d7
+~x = 4340deb8
+x & y = b8052100
+x | y = ffbfa377
+x ^ y = 47ba8277
+x << i = 21470000
+x >>u i = bcbf
+x >>s i = ffffbcbf
+x cmpu y = lt
+x cmps y = lt
+utod x = 28e00000
+dtou f = 4d4f8
+stod x = ae400000
+dtos f = fffe4740
+
+x = effd7fc5
+y = 8d41b416
+-x = 1002803b
+x + y = 7d3f33db
+x - y = 62bbcbaf
+x * y = cfa47eee
+x /u y = 1
+x %u y = 62bbcbaf
+x /s y = 0
+x %s y = effd7fc5
+~x = 1002803a
+x & y = 8d413404
+x | y = effdffd7
+x ^ y = 62bccbd3
+x << i = f1400000
+x >>u i = 3bf
+x >>s i = ffffffbf
+x cmpu y = gt
+x cmps y = gt
+utod x = f8a00000
+dtou f = 624cc
+stod x = 3b000000
+dtos f = ffff9715
+
+x = 27d8b5f3
+y = 9fba6cec
+-x = d8274a0d
+x + y = c79322df
+x - y = 881e4907
+x * y = 48184004
+x /u y = 0
+x %u y = 27d8b5f3
+x /s y = 0
+x %s y = 27d8b5f3
+~x = d8274a0c
+x & y = 79824e0
+x | y = bffafdff
+x ^ y = b862d91f
+x << i = 8b5f3000
+x >>u i = 27d8b
+x >>s i = 27d8b
+x cmpu y = lt
+x cmps y = gt
+utod x = f9800000
+dtou f = 10523
+stod x = f9800000
+dtos f = 10523
+
+x = ccbd9751
+y = 2bd2ab32
+-x = 334268af
+x + y = f8904283
+x - y = a0eaec1f
+x * y = 5c8ca8d2
+x /u y = 4
+x %u y = 1d72ea89
+x /s y = ffffffff
+x %s y = f8904283
+~x = 334268ae
+x & y = 8908310
+x | y = efffbf73
+x ^ y = e76f3c63
+x << i = 5d440000
+x >>u i = 332f
+x >>s i = fffff32f
+x cmpu y = gt
+x cmps y = lt
+utod x = ea200000
+dtou f = 53dc9
+stod x = 57800000
+dtos f = fffeb011
+
+x = 7597035f
+y = d878e868
+-x = 8a68fca1
+x + y = 4e0febc7
+x - y = 9d1e1af7
+x * y = 5cef7698
+x /u y = 0
+x %u y = 7597035f
+x /s y = fffffffe
+x %s y = 2688d42f
+~x = 8a68fca0
+x & y = 50100048
+x | y = fdffeb7f
+x ^ y = adefeb37
+x << i = 97035f00
+x >>u i = 759703
+x >>s i = 759703
+x cmpu y = lt
+x cmps y = gt
+utod x = d7c00000
+dtou f = 302a3
+stod x = d7c00000
+dtos f = 302a3
+
+x = 6507c59d
+y = 11df9a0e
+-x = 9af83a63
+x + y = 76e75fab
+x - y = 53282b8f
+x * y = c4104096
+x /u y = 5
+x %u y = ba9c357
+x /s y = 5
+x %s y = ba9c357
+~x = 9af83a62
+x & y = 107800c
+x | y = 75dfdf9f
+x ^ y = 74d85f93
+x << i = f1674000
+x >>u i = 1941f
+x >>s i = 1941f
+x cmpu y = gt
+x cmps y = gt
+utod x = 67400000
+dtou f = 2961c
+stod x = 67400000
+dtos f = 2961c
+
+x = 44ef758b
+y = d24491a4
+-x = bb108a75
+x + y = 1734072f
+x - y = 72aae3e7
+x * y = 9e7080c
+x /u y = 0
+x %u y = 44ef758b
+x /s y = ffffffff
+x %s y = 1734072f
+~x = bb108a74
+x & y = 40441180
+x | y = d6eff5af
+x ^ y = 96abe42f
+x << i = 4ef758b0
+x >>u i = 44ef758
+x >>s i = 44ef758
+x cmpu y = lt
+x cmps y = gt
+utod x = 62c00000
+dtou f = 1c3c6
+stod x = 62c00000
+dtos f = 1c3c6
+
+x = 6df256a9
+y = b01f5caa
+-x = 920da957
+x + y = 1e11b353
+x - y = bdd2f9ff
+x * y = c889483a
+x /u y = 0
+x %u y = 6df256a9
+x /s y = ffffffff
+x %s y = 1e11b353
+~x = 920da956
+x & y = 201254a8
+x | y = fdff5eab
+x ^ y = dded0a03
+x << i = c95aa400
+x >>u i = 1b7c95
+x >>s i = 1b7c95
+x cmpu y = lt
+x cmps y = gt
+utod x = aa400000
+dtou f = 2d08b
+stod x = aa400000
+dtos f = 2d08b
+
+x = fd7c3877
+y = 83cea4a0
+-x = 283c789
+x + y = 814add17
+x - y = 79ad93d7
+x * y = 56918660
+x /u y = 1
+x %u y = 79ad93d7
+x /s y = 0
+x %s y = fd7c3877
+~x = 283c788
+x & y = 814c2020
+x | y = fffebcf7
+x ^ y = 7eb29cd7
+x << i = fd7c3877
+x >>u i = fd7c3877
+x >>s i = fd7c3877
+x cmpu y = gt
+x cmps y = gt
+utod x = ee00000
+dtou f = 67d3d
+stod x = 48000000
+dtos f = ffffef85
+
+x = af765675
+y = da9c8f06
+-x = 5089a98b
+x + y = 8a12e57b
+x - y = d4d9c76f
+x * y = 885d61be
+x /u y = 0
+x %u y = af765675
+x /s y = 2
+x %s y = fa3d3869
+~x = 5089a98a
+x & y = 8a140604
+x | y = fffedf77
+x ^ y = 75ead973
+x << i = dd959d40
+x >>u i = 2bdd959
+x >>s i = febdd959
+x cmpu y = lt
+x cmps y = lt
+utod x = cea00000
+dtou f = 47de8
+stod x = 62c00000
+dtos f = fffdf031
+
+x = 91a83823
+y = 66b21d5c
+-x = 6e57c7dd
+x + y = f85a557f
+x - y = 2af61ac7
+x * y = 61262394
+x /u y = 1
+x %u y = 2af61ac7
+x /s y = ffffffff
+x %s y = f85a557f
+~x = 6e57c7dc
+x & y = a01800
+x | y = f7ba3d7f
+x ^ y = f71a257f
+x << i = 30000000
+x >>u i = 9
+x >>s i = fffffff9
+x cmpu y = gt
+x cmps y = lt
+utod x = 4600000
+dtou f = 3ba94
+stod x = f7400000
+dtos f = fffd2cdc
+
+x = 657b9101
+y = 1b518d22
+-x = 9a846eff
+x + y = 80cd1e23
+x - y = 4a2a03df
+x * y = 8597cf22
+x /u y = 3
+x %u y = 1386e99b
+x /s y = 3
+x %s y = 1386e99b
+~x = 9a846efe
+x & y = 1518100
+x | y = 7f7b9d23
+x ^ y = 7e2a1c23
+x << i = 95ee4404
+x >>u i = 195ee440
+x >>s i = 195ee440
+x cmpu y = gt
+x cmps y = gt
+utod x = 40400000
+dtou f = 29913
+stod x = 40400000
+dtos f = 29913
+
+x = 919b208f
+y = 9a6fb7d8
+-x = 6e64df71
+x + y = 2c0ad867
+x - y = f72b68b7
+x * y = e32ab1a8
+x /u y = 0
+x %u y = 919b208f
+x /s y = 1
+x %s y = f72b68b7
+~x = 6e64df70
+x & y = 900b2088
+x | y = 9bffb7df
+x ^ y = bf49757
+x << i = 8f000000
+x >>u i = 91
+x >>s i = ffffff91
+x cmpu y = lt
+x cmps y = lt
+utod x = 11e00000
+dtou f = 3ba3e
+stod x = dc400000
+dtos f = fffd2c86
+
+x = fa4924d
+y = 748472fe
+-x = f05b6db3
+x + y = 8429054b
+x - y = 9b201f4f
+x * y = 22237266
+x /u y = 0
+x %u y = fa4924d
+x /s y = 0
+x %s y = fa4924d
+~x = f05b6db2
+x & y = 484124c
+x | y = 7fa4f2ff
+x ^ y = 7b20e0b3
+x << i = 40000000
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = lt
+utod x = 9a000000
+dtou f = 6684
+stod x = 9a000000
+dtos f = 6684
+
+x = 7ae55dbb
+y = 6d29f014
+-x = 851aa245
+x + y = e80f4dcf
+x - y = dbb6da7
+x * y = 43bda29c
+x /u y = 1
+x %u y = dbb6da7
+x /s y = 1
+x %s y = dbb6da7
+~x = 851aa244
+x & y = 68215010
+x | y = 7fedfdbf
+x ^ y = 17ccadaf
+x << i = dbb00000
+x >>u i = 7ae
+x >>s i = 7ae
+x cmpu y = gt
+x cmps y = gt
+utod x = 6ec00000
+dtou f = 32569
+stod x = 6ec00000
+dtos f = 32569
+
+x = 7bdaa659
+y = eee31c9a
+-x = 842559a7
+x + y = 6abdc2f3
+x - y = 8cf789bf
+x * y = aaa4cd8a
+x /u y = 0
+x %u y = 7bdaa659
+x /s y = fffffff9
+x %s y = 4106e8f
+~x = 842559a6
+x & y = 6ac20418
+x | y = fffbbedb
+x ^ y = 9539bac3
+x << i = 64000000
+x >>u i = 1e
+x >>s i = 1e
+x cmpu y = lt
+x cmps y = gt
+utod x = 96400000
+dtou f = 32bb0
+stod x = 96400000
+dtos f = 32bb0
+
+x = f0ec1ba7
+y = 6210210
+-x = f13e459
+x + y = f70d1db7
+x - y = eacb1997
+x * y = 61800870
+x /u y = 27
+x %u y = 1e4cb37
+x /s y = fffffffe
+x %s y = fd2e1fc7
+~x = f13e458
+x & y = 200200
+x | y = f6ed1bb7
+x ^ y = f6cd19b7
+x << i = 1ba70000
+x >>u i = f0ec
+x >>s i = fffff0ec
+x cmpu y = gt
+x cmps y = lt
+utod x = 74e00000
+dtou f = 62ae8
+stod x = b2000000
+dtos f = ffff9d30
+
+x = 9799d925
+y = f5f25f6
+-x = 686626db
+x + y = a6f8ff1b
+x - y = 883ab32f
+x * y = a9f4028e
+x /u y = 9
+x %u y = d41837f
+x /s y = fffffffa
+x %s y = f3d4bce9
+~x = 686626da
+x & y = 7190124
+x | y = 9fdffdf7
+x ^ y = 98c6fcd3
+x << i = 49400000
+x >>u i = 25e
+x >>s i = fffffe5e
+x cmpu y = gt
+x cmps y = lt
+utod x = 24a00000
+dtou f = 3e188
+stod x = b6c00000
+dtos f = fffd53d0
+
+x = 4a154653
+y = adeee9cc
+-x = b5eab9ad
+x + y = f804301f
+x - y = 9c265c87
+x * y = de1f9524
+x /u y = 0
+x %u y = 4a154653
+x /s y = 0
+x %s y = 4a154653
+~x = b5eab9ac
+x & y = 8044040
+x | y = efffefdf
+x ^ y = e7fbaf9f
+x << i = 54653000
+x >>u i = 4a154
+x >>s i = 4a154
+x cmpu y = lt
+x cmps y = gt
+utod x = 94c00000
+dtou f = 1e582
+stod x = 94c00000
+dtos f = 1e582
+
+x = 53fcf6b1
+y = 10c9eb12
+-x = ac03094f
+x + y = 64c6e1c3
+x - y = 43330b9f
+x * y = df36d372
+x /u y = 5
+x %u y = b5f57
+x /s y = 5
+x %s y = b5f57
+~x = ac03094e
+x & y = 10c8e210
+x | y = 53fdffb3
+x ^ y = 43351da3
+x << i = dac40000
+x >>u i = 14ff
+x >>s i = 14ff
+x cmpu y = gt
+x cmps y = gt
+utod x = ac400000
+dtou f = 2266c
+stod x = ac400000
+dtos f = 2266c
+
+x = 9db389bf
+y = f0836348
+-x = 624c7641
+x + y = 8e36ed07
+x - y = ad302677
+x * y = 55809ab8
+x /u y = 0
+x %u y = 9db389bf
+x /s y = 6
+x %s y = fa9f360f
+~x = 624c7640
+x & y = 90830108
+x | y = fdb3ebff
+x ^ y = 6d30eaf7
+x << i = b389bf00
+x >>u i = 9db389
+x >>s i = ff9db389
+x cmpu y = lt
+x cmps y = lt
+utod x = 37e00000
+dtou f = 40982
+stod x = 90400000
+dtos f = fffd7bcb
+
+x = a8898afd
+y = 7d3087ee
+-x = 57767503
+x + y = 25ba12eb
+x - y = 2b59030f
+x * y = d09aa236
+x /u y = 1
+x %u y = 2b59030f
+x /s y = 0
+x %s y = a8898afd
+~x = 57767502
+x & y = 280082ec
+x | y = fdb98fff
+x ^ y = d5b90d13
+x << i = 62bf4000
+x >>u i = 2a226
+x >>s i = fffea226
+x cmpu y = gt
+x cmps y = lt
+utod x = 5fa00000
+dtou f = 45086
+stod x = 40c00000
+dtos f = fffdc2ce
+
+x = 3eb251eb
+y = 94dfea84
+-x = c14dae15
+x + y = d3923c6f
+x - y = a9d26767
+x * y = 8a880b2c
+x /u y = 0
+x %u y = 3eb251eb
+x /s y = 0
+x %s y = 3eb251eb
+~x = c14dae14
+x & y = 14924080
+x | y = befffbef
+x ^ y = aa6dbb6f
+x << i = eb251eb0
+x >>u i = 3eb251e
+x >>s i = 3eb251e
+x cmpu y = lt
+x cmps y = gt
+utod x = f5800000
+dtou f = 19ae3
+stod x = f5800000
+dtos f = 19ae3
+
+x = 80bbe209
+y = 82f7d88a
+-x = 7f441df7
+x + y = 3b3ba93
+x - y = fdc4097f
+x * y = 94ae70da
+x /u y = 0
+x %u y = 80bbe209
+x /s y = 1
+x %s y = fdc4097f
+~x = 7f441df6
+x & y = 80b3c008
+x | y = 82fffa8b
+x ^ y = 24c3a83
+x << i = ef882400
+x >>u i = 202ef8
+x >>s i = ffe02ef8
+x cmpu y = lt
+x cmps y = lt
+utod x = 41200000
+dtou f = 34bab
+stod x = 7dc00000
+dtos f = fffcbdf3
+
+x = 4f01cad7
+y = 2693bb80
+-x = b0fe3529
+x + y = 75958657
+x - y = 286e0f57
+x * y = 33857880
+x /u y = 2
+x %u y = 1da53d7
+x /s y = 2
+x %s y = 1da53d7
+~x = b0fe3528
+x & y = 6018a80
+x | y = 6f93fbd7
+x ^ y = 69927157
+x << i = 4f01cad7
+x >>u i = 4f01cad7
+x >>s i = 4f01cad7
+x cmpu y = gt
+x cmps y = gt
+utod x = b5c00000
+dtou f = 205c7
+stod x = b5c00000
+dtos f = 205c7
+
+x = 205307d5
+y = 21b878e6
+-x = dfacf82b
+x + y = 420b80bb
+x - y = fe9a8eef
+x * y = c5ce15e
+x /u y = 0
+x %u y = 205307d5
+x /s y = 0
+x %s y = 205307d5
+~x = dfacf82a
+x & y = 201000c4
+x | y = 21fb7ff7
+x ^ y = 1eb7f33
+x << i = 14c1f540
+x >>u i = 814c1f
+x >>s i = 814c1f
+x cmpu y = lt
+x cmps y = lt
+utod x = ea800000
+dtou f = d3d7
+stod x = ea800000
+dtos f = d3d7
+
+x = d7c2e083
+y = 8cf7d23c
+-x = 283d1f7d
+x + y = 64bab2bf
+x - y = 4acb0e47
+x * y = b03d14b4
+x /u y = 1
+x %u y = 4acb0e47
+x /s y = 0
+x %s y = d7c2e083
+~x = 283d1f7c
+x & y = 84c2c000
+x | y = dff7f2bf
+x ^ y = 5b3532bf
+x << i = 30000000
+x >>u i = d
+x >>s i = fffffffd
+x cmpu y = gt
+x cmps y = gt
+utod x = 10600000
+dtou f = 58603
+stod x = be800000
+dtos f = fffef84b
+
+x = 4a5cc861
+y = adac502
+-x = b5a3379f
+x + y = 55378d63
+x - y = 3f82035f
+x * y = 678635c2
+x /u y = 6
+x %u y = 93c2a55
+x /s y = 6
+x %s y = 93c2a55
+~x = b5a3379e
+x & y = a58c000
+x | y = 4adecd63
+x ^ y = 40860d63
+x << i = 29732184
+x >>u i = 12973218
+x >>s i = 12973218
+x cmpu y = gt
+x cmps y = gt
+utod x = 18400000
+dtou f = 1e757
+stod x = 18400000
+dtos f = 1e757
+
+x = 92333eef
+y = ec2aeab8
+-x = 6dccc111
+x + y = 7e5e29a7
+x - y = a6085437
+x * y = 9391b1c8
+x /u y = 0
+x %u y = 92333eef
+x /s y = 5
+x %s y = f55ca957
+~x = 6dccc110
+x & y = 80222aa8
+x | y = fe3bfeff
+x ^ y = 7e19d457
+x << i = ef000000
+x >>u i = 92
+x >>s i = ffffff92
+x cmpu y = lt
+x cmps y = lt
+utod x = dde00000
+dtou f = 3be23
+stod x = 44400000
+dtos f = fffd306b
+
+x = 3701afad
+y = d1f2d8de
+-x = c8fe5053
+x + y = 8f4888b
+x - y = 650ed6cf
+x * y = 6e3a5006
+x /u y = 0
+x %u y = 3701afad
+x /s y = ffffffff
+x %s y = 8f4888b
+~x = c8fe5052
+x & y = 1100888c
+x | y = f7f3ffff
+x ^ y = e6f37773
+x << i = 40000000
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = gt
+utod x = d6800000
+dtou f = 1687d
+stod x = d6800000
+dtos f = 1687d
+
+x = 4d59521b
+y = cbcd80f4
+-x = b2a6ade5
+x + y = 1926d30f
+x - y = 818bd127
+x * y = 8acec1bc
+x /u y = 0
+x %u y = 4d59521b
+x /s y = ffffffff
+x %s y = 1926d30f
+~x = b2a6ade4
+x & y = 49490010
+x | y = cfddd2ff
+x ^ y = 8694d2ef
+x << i = 21b00000
+x >>u i = 4d5
+x >>s i = 4d5
+x cmpu y = lt
+x cmps y = gt
+utod x = 86c00000
+dtou f = 1fae9
+stod x = 86c00000
+dtos f = 1fae9
+
+x = 241109b9
+y = c8dc907a
+-x = dbeef647
+x + y = eced9a33
+x - y = 5b34793f
+x * y = a892b22a
+x /u y = 0
+x %u y = 241109b9
+x /s y = 0
+x %s y = 241109b9
+~x = dbeef646
+x & y = 100038
+x | y = ecdd99fb
+x ^ y = eccd99c3
+x << i = e4000000
+x >>u i = 9
+x >>s i = 9
+x cmpu y = lt
+x cmps y = gt
+utod x = dc800000
+dtou f = ec5d
+stod x = dc800000
+dtos f = ec5d
+
+x = 9c704607
+y = 3f7dd0f0
+-x = 638fb9f9
+x + y = dbee16f7
+x - y = 5cf27517
+x * y = cc925690
+x /u y = 2
+x %u y = 1d74a427
+x /s y = ffffffff
+x %s y = dbee16f7
+~x = 638fb9f8
+x & y = 1c704000
+x | y = bf7dd6f7
+x ^ y = a30d96f7
+x << i = 46070000
+x >>u i = 9c70
+x >>s i = ffff9c70
+x cmpu y = gt
+x cmps y = lt
+utod x = c0e00000
+dtou f = 4013c
+stod x = 7e400000
+dtos f = fffd7384
+
+x = c4ce285
+y = a39787d6
+-x = f3b31d7b
+x + y = afe46a5b
+x - y = 68b55aaf
+x * y = 1f2c7e2e
+x /u y = 0
+x %u y = c4ce285
+x /s y = 0
+x %s y = c4ce285
+~x = f3b31d7a
+x & y = 48284
+x | y = afdfe7d7
+x ^ y = afdb6553
+x << i = a1400000
+x >>u i = 31
+x >>s i = 31
+x cmpu y = lt
+x cmps y = gt
+utod x = a000000
+dtou f = 509c
+stod x = a000000
+dtos f = 509c
+
+x = 3a1406b3
+y = 8d13d6ac
+-x = c5ebf94d
+x + y = c727dd5f
+x - y = ad003007
+x * y = d9572244
+x /u y = 0
+x %u y = 3a1406b3
+x /s y = 0
+x %s y = 3a1406b3
+~x = c5ebf94c
+x & y = 81006a0
+x | y = bf17d6bf
+x ^ y = b707d01f
+x << i = 406b3000
+x >>u i = 3a140
+x >>s i = 3a140
+x cmpu y = lt
+x cmps y = gt
+utod x = 59800000
+dtou f = 17c9f
+stod x = 59800000
+dtos f = 17c9f
+
+x = d1760611
+y = bfe31af2
+-x = 2e89f9ef
+x + y = 91592103
+x - y = 1192eb1f
+x * y = e427612
+x /u y = 1
+x %u y = 1192eb1f
+x /s y = 0
+x %s y = d1760611
+~x = 2e89f9ee
+x & y = 91620210
+x | y = fff71ef3
+x ^ y = 6e951ce3
+x << i = 18440000
+x >>u i = 345d
+x >>s i = fffff45d
+x cmpu y = gt
+x cmps y = gt
+utod x = c2200000
+dtou f = 55cb9
+stod x = f7800000
+dtos f = fffecf01
+
+x = 4c2d401f
+y = 8c9d4e28
+-x = b3d2bfe1
+x + y = d8ca8e47
+x - y = bf8ff1f7
+x * y = f79e76d8
+x /u y = 0
+x %u y = 4c2d401f
+x /s y = 0
+x %s y = 4c2d401f
+~x = b3d2bfe0
+x & y = c0d4008
+x | y = ccbd4e3f
+x ^ y = c0b00e37
+x << i = 2d401f00
+x >>u i = 4c2d40
+x >>s i = 4c2d40
+x cmpu y = lt
+x cmps y = gt
+utod x = 7c00000
+dtou f = 1f33b
+stod x = 7c00000
+dtos f = 1f33b
+
+x = e518005d
+y = ac9a65ce
+-x = 1ae7ffa3
+x + y = 91b2662b
+x - y = 387d9a8f
+x * y = 8566fbd6
+x /u y = 1
+x %u y = 387d9a8f
+x /s y = 0
+x %s y = e518005d
+~x = 1ae7ffa2
+x & y = a418004c
+x | y = ed9a65df
+x ^ y = 49826593
+x << i = 174000
+x >>u i = 39460
+x >>s i = ffff9460
+x cmpu y = gt
+x cmps y = gt
+utod x = ba00000
+dtou f = 5dd63
+stod x = a3000000
+dtos f = ffff4fab
+
+x = 749d5e4b
+y = be19b364
+-x = 8b62a1b5
+x + y = 32b711af
+x - y = b683aae7
+x * y = 75ba464c
+x /u y = 0
+x %u y = 749d5e4b
+x /s y = ffffffff
+x %s y = 32b711af
+~x = 8b62a1b4
+x & y = 34191240
+x | y = fe9dff6f
+x ^ y = ca84ed2f
+x << i = 49d5e4b0
+x >>u i = 749d5e4
+x >>s i = 749d5e4
+x cmpu y = lt
+x cmps y = gt
+utod x = 92c00000
+dtou f = 2fc3f
+stod x = 92c00000
+dtos f = 2fc3f
+
+x = 3c151d69
+y = 4cd0446a
+-x = c3eae297
+x + y = 88e561d3
+x - y = ef44d8ff
+x * y = 8dde117a
+x /u y = 0
+x %u y = 3c151d69
+x /s y = 0
+x %s y = 3c151d69
+~x = c3eae296
+x & y = c100468
+x | y = 7cd55d6b
+x ^ y = 70c55903
+x << i = 5475a400
+x >>u i = f0547
+x >>s i = f0547
+x cmpu y = lt
+x cmps y = lt
+utod x = b4800000
+dtou f = 189c1
+stod x = b4800000
+dtos f = 189c1
+
+x = 5aaa8d37
+y = d0f64260
+-x = a55572c9
+x + y = 2ba0cf97
+x - y = 89b44ad7
+x * y = 5b3722a0
+x /u y = 0
+x %u y = 5aaa8d37
+x /s y = ffffffff
+x %s y = 2ba0cf97
+~x = a55572c8
+x & y = 50a20020
+x | y = dafecf77
+x ^ y = 8a5ccf57
+x << i = 5aaa8d37
+x >>u i = 5aaa8d37
+x >>s i = 5aaa8d37
+x cmpu y = lt
+x cmps y = gt
+utod x = 4dc00000
+dtou f = 25230
+stod x = 4dc00000
+dtos f = 25230
+
+x = 18f26935
+y = b2ab52c6
+-x = e70d96cb
+x + y = cb9dbbfb
+x - y = 6647166f
+x * y = 119758fe
+x /u y = 0
+x %u y = 18f26935
+x /s y = 0
+x %s y = 18f26935
+~x = e70d96ca
+x & y = 10a24004
+x | y = bafb7bf7
+x ^ y = aa593bf3
+x << i = 3c9a4d40
+x >>u i = 63c9a4
+x >>s i = 63c9a4
+x cmpu y = lt
+x cmps y = gt
+utod x = 35000000
+dtou f = a37d
+stod x = 35000000
+dtos f = a37d
+
+x = 192bb8e3
+y = 1949f71c
+-x = e6d4471d
+x + y = 3275afff
+x - y = ffe1c1c7
+x * y = d3e63dd4
+x /u y = 0
+x %u y = 192bb8e3
+x /s y = 0
+x %s y = 192bb8e3
+~x = e6d4471c
+x & y = 1909b000
+x | y = 196bffff
+x ^ y = 624fff
+x << i = 30000000
+x >>u i = 1
+x >>s i = 1
+x cmpu y = lt
+x cmps y = lt
+utod x = e3000000
+dtou f = a4f5
+stod x = e3000000
+dtos f = a4f5
+
+x = f8e3afc1
+y = 8e01ece2
+-x = 71c503f
+x + y = 86e59ca3
+x - y = 6ae1c2df
+x * y = 5cc81462
+x /u y = 1
+x %u y = 6ae1c2df
+x /s y = 0
+x %s y = f8e3afc1
+~x = 71c503e
+x & y = 8801acc0
+x | y = fee3efe3
+x ^ y = 76e24323
+x << i = e38ebf04
+x >>u i = 3e38ebf0
+x >>s i = fe38ebf0
+x cmpu y = gt
+x cmps y = gt
+utod x = f8200000
+dtou f = 65f1f
+stod x = fc000000
+dtos f = ffffd167
+
+x = bd748d4f
+y = 2ed18d98
+-x = 428b72b1
+x + y = ec461ae7
+x - y = 8ea2ffb7
+x * y = 3e8769e8
+x /u y = 4
+x %u y = 22e56ef
+x /s y = ffffffff
+x %s y = ec461ae7
+~x = 428b72b0
+x & y = 2c508d08
+x | y = bff58ddf
+x ^ y = 93a500d7
+x << i = 4f000000
+x >>u i = bd
+x >>s i = ffffffbd
+x cmpu y = gt
+x cmps y = lt
+utod x = a9e00000
+dtou f = 4d99d
+stod x = ac400000
+dtos f = fffe4be5
+
+x = af977d0d
+y = cab62ebe
+-x = 506882f3
+x + y = 7a4dabcb
+x - y = e4e14e4f
+x * y = b42525a6
+x /u y = 0
+x %u y = af977d0d
+x /s y = 1
+x %s y = e4e14e4f
+~x = 506882f2
+x & y = 8a962c0c
+x | y = efb77fbf
+x ^ y = 652153b3
+x << i = 40000000
+x >>u i = 2
+x >>s i = fffffffe
+x cmpu y = lt
+x cmps y = lt
+utod x = a1a00000
+dtou f = 47ec2
+stod x = bcc00000
+dtos f = fffdf10a
+
+x = c301767b
+y = b1ab81d4
+-x = 3cfe8985
+x + y = 74acf84f
+x - y = 1155f4a7
+x * y = 691318dc
+x /u y = 1
+x %u y = 1155f4a7
+x /s y = 0
+x %s y = c301767b
+~x = 3cfe8984
+x & y = 81010050
+x | y = f3abf7ff
+x ^ y = 72aaf7af
+x << i = 67b00000
+x >>u i = c30
+x >>s i = fffffc30
+x cmpu y = gt
+x cmps y = gt
+utod x = cf600000
+dtou f = 4fdfd
+stod x = c2800000
+dtos f = fffe7045
+
+x = 7dc31d19
+y = bad1f45a
+-x = 823ce2e7
+x + y = 38951173
+x - y = c2f128bf
+x * y = 19bd0eca
+x /u y = 0
+x %u y = 7dc31d19
+x /s y = ffffffff
+x %s y = 38951173
+~x = 823ce2e6
+x & y = 38c11418
+x | y = ffd3fd5b
+x ^ y = c712e943
+x << i = 64000000
+x >>u i = 1f
+x >>s i = 1f
+x cmpu y = lt
+x cmps y = gt
+utod x = 46400000
+dtou f = 33831
+stod x = 46400000
+dtos f = 33831
+
+x = 37e3a067
+y = f0d40fd0
+-x = c81c5f99
+x + y = 28b7b037
+x - y = 470f9097
+x * y = 24a45cb0
+x /u y = 0
+x %u y = 37e3a067
+x /s y = fffffffd
+x %s y = a5fcfd7
+~x = c81c5f98
+x & y = 30c00040
+x | y = f7f7aff7
+x ^ y = c737afb7
+x << i = a0670000
+x >>u i = 37e3
+x >>s i = 37e3
+x cmpu y = lt
+x cmps y = gt
+utod x = 33800000
+dtou f = 16e46
+stod x = 33800000
+dtos f = 16e46
+
+x = ae6e9be5
+y = e862d9b6
+-x = 5191641b
+x + y = 96d1759b
+x - y = c60bc22f
+x * y = fa71f1ce
+x /u y = 0
+x %u y = ae6e9be5
+x /s y = 3
+x %s y = f5460ec3
+~x = 5191641a
+x & y = a86299a4
+x | y = ee6edbf7
+x ^ y = 460c4253
+x << i = f9400000
+x >>u i = 2b9
+x >>s i = fffffeb9
+x cmpu y = lt
+x cmps y = lt
+utod x = 7ca00000
+dtou f = 47728
+stod x = 6c00000
+dtos f = fffde970
+
+x = f5ecf713
+y = ee61338c
+-x = a1308ed
+x + y = e44e2a9f
+x - y = 78bc387
+x * y = fb02e764
+x /u y = 1
+x %u y = 78bc387
+x /s y = 0
+x %s y = f5ecf713
+~x = a1308ec
+x & y = e4603300
+x | y = ffedf79f
+x ^ y = 1b8dc49f
+x << i = cf713000
+x >>u i = f5ecf
+x >>s i = ffff5ecf
+x cmpu y = gt
+x cmps y = gt
+utod x = e2600000
+dtou f = 64bb2
+stod x = da000000
+dtos f = ffffbdfb
+
+x = 700c571
+y = 6b163ad2
+-x = f8ff3a8f
+x + y = 72170043
+x - y = 9bea8a9f
+x * y = 1e1390b2
+x /u y = 0
+x %u y = 700c571
+x /s y = 0
+x %s y = 700c571
+~x = f8ff3a8e
+x & y = 3000050
+x | y = 6f16fff3
+x ^ y = 6c16ffa3
+x << i = 15c40000
+x >>u i = 1c0
+x >>s i = 1c0
+x cmpu y = lt
+x cmps y = lt
+utod x = c4000000
+dtou f = 2de5
+stod x = c4000000
+dtos f = 2de5
+
+x = 1c9c267f
+y = fd7ea908
+-x = e363d981
+x + y = 1a1acf87
+x - y = 1f1d7d77
+x * y = 6fcd0af8
+x /u y = 0
+x %u y = 1c9c267f
+x /s y = fffffff5
+x %s y = 10d69d7
+~x = e363d980
+x & y = 1c1c2008
+x | y = fdfeaf7f
+x ^ y = e1e28f77
+x << i = 9c267f00
+x >>u i = 1c9c26
+x >>s i = 1c9c26
+x cmpu y = lt
+x cmps y = gt
+utod x = 7f000000
+dtou f = bb7f
+stod x = 7f000000
+dtos f = bb7f
+
+x = 160b25bd
+y = 5d9533ae
+-x = e9f4da43
+x + y = 73a0596b
+x - y = b875f20f
+x * y = d4194d76
+x /u y = 0
+x %u y = 160b25bd
+x /s y = 0
+x %s y = 160b25bd
+~x = e9f4da42
+x & y = 140121ac
+x | y = 5f9f37bf
+x ^ y = 4b9e1613
+x << i = c96f4000
+x >>u i = 582c
+x >>s i = 582c
+x cmpu y = lt
+x cmps y = lt
+utod x = bd000000
+dtou f = 9076
+stod x = bd000000
+dtos f = 9076
+
+x = b7c89aab
+y = f629ec44
+-x = 48376555
+x + y = adf286ef
+x - y = c19eae67
+x * y = d741b96c
+x /u y = 0
+x %u y = b7c89aab
+x /s y = 7
+x %s y = fca324cf
+~x = 48376554
+x & y = b6088800
+x | y = f7e9feef
+x ^ y = 41e176ef
+x << i = 7c89aab0
+x >>u i = b7c89aa
+x >>s i = fb7c89aa
+x cmpu y = lt
+x cmps y = lt
+utod x = 55600000
+dtou f = 4b471
+stod x = 55400000
+dtos f = fffe26ba
+
+x = 2cd608c9
+y = cea0a04a
+-x = d329f737
+x + y = fb76a913
+x - y = 5e35687f
+x * y = f6fc2a1a
+x /u y = 0
+x %u y = 2cd608c9
+x /s y = 0
+x %s y = 2cd608c9
+~x = d329f736
+x & y = c800048
+x | y = eef6a8cb
+x ^ y = e276a883
+x << i = 58232400
+x >>u i = b3582
+x >>s i = b3582
+x cmpu y = lt
+x cmps y = gt
+utod x = 64800000
+dtou f = 125d6
+stod x = 64800000
+dtos f = 125d6
+
+x = 3f0e7f97
+y = baae3940
+-x = c0f18069
+x + y = f9bcb8d7
+x - y = 84604657
+x * y = 6caa84c0
+x /u y = 0
+x %u y = 3f0e7f97
+x /s y = 0
+x %s y = 3f0e7f97
+~x = c0f18068
+x & y = 3a0e3900
+x | y = bfae7fd7
+x ^ y = 85a046d7
+x << i = 3f0e7f97
+x >>u i = 3f0e7f97
+x >>s i = 3f0e7f97
+x cmpu y = lt
+x cmps y = gt
+utod x = cb800000
+dtou f = 19d3f
+stod x = cb800000
+dtos f = 19d3f
+
+x = 8fac7a95
+y = 49ed1ca6
+-x = 7053856b
+x + y = d999973b
+x - y = 45bf5def
+x * y = 30c89e
+x /u y = 1
+x %u y = 45bf5def
+x /s y = ffffffff
+x %s y = d999973b
+~x = 7053856a
+x & y = 9ac1884
+x | y = cfed7eb7
+x ^ y = c6416633
+x << i = eb1ea540
+x >>u i = 23eb1ea
+x >>s i = fe3eb1ea
+x cmpu y = gt
+x cmps y = lt
+utod x = 52a00000
+dtou f = 3ad94
+stod x = 5ac00000
+dtos f = fffd1fdc
+
+x = 59fac143
+y = 8ae08bfc
+-x = a6053ebd
+x + y = e4db4d3f
+x - y = cf1a3547
+x * y = f2659ef4
+x /u y = 0
+x %u y = 59fac143
+x /s y = 0
+x %s y = 59fac143
+~x = a6053ebc
+x & y = 8e08140
+x | y = dbfacbff
+x ^ y = d31a4abf
+x << i = 30000000
+x >>u i = 5
+x >>s i = 5
+x cmpu y = lt
+x cmps y = gt
+utod x = 50c00000
+dtou f = 24db0
+stod x = 50c00000
+dtos f = 24db0
+
+x = 28e84721
+y = d4bf04c2
+-x = d717b8df
+x + y = fda74be3
+x - y = 5429425f
+x * y = 6c16b02
+x /u y = 0
+x %u y = 28e84721
+x /s y = 0
+x %s y = 28e84721
+~x = d717b8de
+x & y = a80400
+x | y = fcff47e3
+x ^ y = fc5743e3
+x << i = a3a11c84
+x >>u i = a3a11c8
+x >>s i = a3a11c8
+x cmpu y = lt
+x cmps y = gt
+utod x = 90800000
+dtou f = 10c17
+stod x = 90800000
+dtos f = 10c17
+
+x = 14f70baf
+y = 611ba078
+-x = eb08f451
+x + y = 7612ac27
+x - y = b3db6b37
+x * y = c58fda08
+x /u y = 0
+x %u y = 14f70baf
+x /s y = 0
+x %s y = 14f70baf
+~x = eb08f450
+x & y = 130028
+x | y = 75ffabff
+x ^ y = 75ecabd7
+x << i = af000000
+x >>u i = 14
+x >>s i = 14
+x cmpu y = lt
+x cmps y = lt
+utod x = af000000
+dtou f = 8965
+stod x = af000000
+dtos f = 8965
+
+x = cabdfa6d
+y = fa46749e
+-x = 35420593
+x + y = c5046f0b
+x - y = d07785cf
+x * y = 2287f346
+x /u y = 0
+x %u y = cabdfa6d
+x /s y = 9
+x %s y = fe43e0df
+~x = 35420592
+x & y = ca04700c
+x | y = fafffeff
+x ^ y = 30fb8ef3
+x << i = 40000000
+x >>u i = 3
+x >>s i = ffffffff
+x cmpu y = lt
+x cmps y = lt
+utod x = 4da00000
+dtou f = 530b0
+stod x = c9800000
+dtos f = fffea2f9
+
+x = 72f5cadb
+y = 54fbf2b4
+-x = 8d0a3525
+x + y = c7f1bd8f
+x - y = 1df9d827
+x * y = ef4ea7fc
+x /u y = 1
+x %u y = 1df9d827
+x /s y = 1
+x %s y = 1df9d827
+~x = 8d0a3524
+x & y = 50f1c290
+x | y = 76fffaff
+x ^ y = 260e386f
+x << i = adb00000
+x >>u i = 72f
+x >>s i = 72f
+x cmpu y = gt
+x cmps y = gt
+utod x = b6c00000
+dtou f = 2f167
+stod x = b6c00000
+dtos f = 2f167
+
+x = cbc8e079
+y = 43bb483a
+-x = 34371f87
+x + y = f8428b3
+x - y = 880d983f
+x * y = 4e07e36a
+x /u y = 3
+x %u y = 9707cb
+x /s y = 0
+x %s y = cbc8e079
+~x = 34371f86
+x & y = 43884038
+x | y = cbfbe87b
+x ^ y = 8873a843
+x << i = e4000000
+x >>u i = 32
+x >>s i = fffffff2
+x cmpu y = gt
+x cmps y = lt
+utod x = f200000
+dtou f = 53785
+stod x = c3800000
+dtos f = fffea9ce
+
+x = 7de2ac7
+y = bfdbbeb0
+-x = f821d539
+x + y = c7b9e977
+x - y = 48026c17
+x * y = 5dba1ad0
+x /u y = 0
+x %u y = 7de2ac7
+x /s y = 0
+x %s y = 7de2ac7
+~x = f821d538
+x & y = 7da2a80
+x | y = bfdfbef7
+x ^ y = b8059477
+x << i = 2ac70000
+x >>u i = 7de
+x >>s i = 7de
+x cmpu y = lt
+x cmps y = gt
+utod x = 1c000000
+dtou f = 3390
+stod x = 1c000000
+dtos f = 3390
+
+x = 8a570545
+y = 38391b96
+-x = 75a8fabb
+x + y = c29020db
+x - y = 521de9af
+x * y = 80e85d6e
+x /u y = 2
+x %u y = 19e4ce19
+x /s y = fffffffe
+x %s y = fac93c71
+~x = 75a8faba
+x & y = 8110104
+x | y = ba7f1fd7
+x ^ y = b26e1ed3
+x << i = 51400000
+x >>u i = 229
+x >>s i = fffffe29
+x cmpu y = gt
+x cmps y = lt
+utod x = a8a00000
+dtou f = 38a9f
+stod x = aec00000
+dtos f = fffcfce8
+
diff --git a/test/regression/Results/int64 b/test/regression/Results/int64
index 15e4ecc..fff6767 100644
--- a/test/regression/Results/int64
+++ b/test/regression/Results/int64
@@ -139,6 +139,62 @@ stod x = 0
 dtos f = 0
 
 x = 0
+y = 7fffffffffffffff
+-x = 0
+x + y = 7fffffffffffffff
+x - y = 8000000000000001
+x * y = 0
+x /u y = 0
+x %u y = 0
+x /s y = 0
+x %s y = 0
+x /u y2 = 0
+x %u y2 = 0
+x /s y3 = 0
+x %s y3 = 0
+~x = ffffffffffffffff
+x & y = 0
+x | y = 7fffffffffffffff
+x ^ y = 7fffffffffffffff
+x << i = 0
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = lt
+utod x = 0
+dtou f = 0
+stod x = 0
+dtos f = 0
+
+x = 0
+y = 8000000000000000
+-x = 0
+x + y = 8000000000000000
+x - y = 8000000000000000
+x * y = 0
+x /u y = 0
+x %u y = 0
+x /s y = 0
+x %s y = 0
+x /u y2 = 0
+x %u y2 = 0
+x /s y3 = 0
+x %s y3 = 0
+~x = ffffffffffffffff
+x & y = 0
+x | y = 8000000000000000
+x ^ y = 8000000000000000
+x << i = 0
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = gt
+utod x = 0
+dtou f = 0
+stod x = 0
+dtos f = 0
+
+x = 0
 y = 14057b7ef767814f
 -x = 0
 x + y = 14057b7ef767814f
@@ -335,6 +391,62 @@ stod x = 3ff0000000000000
 dtos f = 0
 
 x = 1
+y = 7fffffffffffffff
+-x = ffffffffffffffff
+x + y = 8000000000000000
+x - y = 8000000000000002
+x * y = 7fffffffffffffff
+x /u y = 0
+x %u y = 1
+x /s y = 0
+x %s y = 1
+x /u y2 = 0
+x %u y2 = 1
+x /s y3 = 0
+x %s y3 = 1
+~x = fffffffffffffffe
+x & y = 1
+x | y = 7fffffffffffffff
+x ^ y = 7ffffffffffffffe
+x << i = 8000000000000000
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = lt
+utod x = 3ff0000000000000
+dtou f = 0
+stod x = 3ff0000000000000
+dtos f = 0
+
+x = 1
+y = 8000000000000000
+-x = ffffffffffffffff
+x + y = 8000000000000001
+x - y = 8000000000000001
+x * y = 8000000000000000
+x /u y = 0
+x %u y = 1
+x /s y = 0
+x %s y = 1
+x /u y2 = 0
+x %u y2 = 1
+x /s y3 = 0
+x %s y3 = 1
+~x = fffffffffffffffe
+x & y = 0
+x | y = 8000000000000001
+x ^ y = 8000000000000001
+x << i = 1
+x >>u i = 1
+x >>s i = 1
+x cmpu y = lt
+x cmps y = gt
+utod x = 3ff0000000000000
+dtou f = 0
+stod x = 3ff0000000000000
+dtos f = 0
+
+x = 1
 y = 9af678222e728119
 -x = ffffffffffffffff
 x + y = 9af678222e72811a
@@ -531,6 +643,62 @@ stod x = bff0000000000000
 dtos f = 0
 
 x = ffffffffffffffff
+y = 7fffffffffffffff
+-x = 1
+x + y = 7ffffffffffffffe
+x - y = 8000000000000000
+x * y = 8000000000000001
+x /u y = 2
+x %u y = 1
+x /s y = 0
+x %s y = ffffffffffffffff
+x /u y2 = 200000004
+x %u y2 = 3
+x /s y3 = 0
+x %s y3 = ffffffffffffffff
+~x = 0
+x & y = 7fffffffffffffff
+x | y = ffffffffffffffff
+x ^ y = 8000000000000000
+x << i = 8000000000000000
+x >>u i = 1
+x >>s i = ffffffffffffffff
+x cmpu y = gt
+x cmps y = lt
+utod x = 43f0000000000000
+dtou f = 68db8bac710cb
+stod x = bff0000000000000
+dtos f = 0
+
+x = ffffffffffffffff
+y = 8000000000000000
+-x = 1
+x + y = 7fffffffffffffff
+x - y = 7fffffffffffffff
+x * y = 8000000000000000
+x /u y = 1
+x %u y = 7fffffffffffffff
+x /s y = 0
+x %s y = ffffffffffffffff
+x /u y2 = 1ffffffff
+x %u y2 = 7fffffff
+x /s y3 = 0
+x %s y3 = ffffffffffffffff
+~x = 0
+x & y = 8000000000000000
+x | y = ffffffffffffffff
+x ^ y = 7fffffffffffffff
+x << i = ffffffffffffffff
+x >>u i = ffffffffffffffff
+x >>s i = ffffffffffffffff
+x cmpu y = gt
+x cmps y = gt
+utod x = 43f0000000000000
+dtou f = 68db8bac710cb
+stod x = bff0000000000000
+dtos f = 0
+
+x = ffffffffffffffff
 y = 62354cda6226d1f3
 -x = 1
 x + y = 62354cda6226d1f2
@@ -727,6 +895,62 @@ stod x = 41dfffffffc00000
 dtos f = 346dc
 
 x = 7fffffff
+y = 7fffffffffffffff
+-x = ffffffff80000001
+x + y = 800000007ffffffe
+x - y = 8000000080000000
+x * y = 7fffffff80000001
+x /u y = 0
+x %u y = 7fffffff
+x /s y = 0
+x %s y = 7fffffff
+x /u y2 = 1
+x %u y2 = 0
+x /s y3 = 1
+x %s y3 = 0
+~x = ffffffff80000000
+x & y = 7fffffff
+x | y = 7fffffffffffffff
+x ^ y = 7fffffff80000000
+x << i = 8000000000000000
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = lt
+utod x = 41dfffffffc00000
+dtou f = 346dc
+stod x = 41dfffffffc00000
+dtos f = 346dc
+
+x = 7fffffff
+y = 8000000000000000
+-x = ffffffff80000001
+x + y = 800000007fffffff
+x - y = 800000007fffffff
+x * y = 8000000000000000
+x /u y = 0
+x %u y = 7fffffff
+x /s y = 0
+x %s y = 7fffffff
+x /u y2 = 0
+x %u y2 = 7fffffff
+x /s y3 = 0
+x %s y3 = 7fffffff
+~x = ffffffff80000000
+x & y = 0
+x | y = 800000007fffffff
+x ^ y = 800000007fffffff
+x << i = 7fffffff
+x >>u i = 7fffffff
+x >>s i = 7fffffff
+x cmpu y = lt
+x cmps y = gt
+utod x = 41dfffffffc00000
+dtou f = 346dc
+stod x = 41dfffffffc00000
+dtos f = 346dc
+
+x = 7fffffff
 y = 144093704fadba5d
 -x = ffffffff80000001
 x + y = 14409370cfadba5c
@@ -923,6 +1147,62 @@ stod x = 41e0000000000000
 dtos f = 346dc
 
 x = 80000000
+y = 7fffffffffffffff
+-x = ffffffff80000000
+x + y = 800000007fffffff
+x - y = 8000000080000001
+x * y = ffffffff80000000
+x /u y = 0
+x %u y = 80000000
+x /s y = 0
+x %s y = 80000000
+x /u y2 = 1
+x %u y2 = 1
+x /s y3 = 1
+x %s y3 = 1
+~x = ffffffff7fffffff
+x & y = 80000000
+x | y = 7fffffffffffffff
+x ^ y = 7fffffff7fffffff
+x << i = 0
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = lt
+utod x = 41e0000000000000
+dtou f = 346dc
+stod x = 41e0000000000000
+dtos f = 346dc
+
+x = 80000000
+y = 8000000000000000
+-x = ffffffff80000000
+x + y = 8000000080000000
+x - y = 8000000080000000
+x * y = 0
+x /u y = 0
+x %u y = 80000000
+x /s y = 0
+x %s y = 80000000
+x /u y2 = 1
+x %u y2 = 0
+x /s y3 = ffffffffffffffff
+x %s y3 = 0
+~x = ffffffff7fffffff
+x & y = 0
+x | y = 8000000080000000
+x ^ y = 8000000080000000
+x << i = 80000000
+x >>u i = 80000000
+x >>s i = 80000000
+x cmpu y = lt
+x cmps y = gt
+utod x = 41e0000000000000
+dtou f = 346dc
+stod x = 41e0000000000000
+dtos f = 346dc
+
+x = 80000000
 y = 7b985bc1e7bce4d7
 -x = ffffffff80000000
 x + y = 7b985bc267bce4d7
@@ -978,61 +1258,509 @@ dtou f = 2ed3ba0c0e099
 stod x = 43dc94ba4ddb9159
 dtos f = 2ed3ba0c0e099
 
-x = a220229ec164ffe1
-y = 5d7d4da4cb0e1adc
--x = 5ddfdd613e9b001f
-x + y = ff9d70438c731abd
-x - y = 44a2d4f9f656e505
-x * y = 52b323a3de16bf5c
+x = 7fffffffffffffff
+y = 0
+-x = 8000000000000001
+x + y = 7fffffffffffffff
+x - y = 7fffffffffffffff
+x * y = 0
+x /u y = 0
+x %u y = 0
+x /s y = 0
+x %s y = 0
+x /u y2 = 0
+x %u y2 = 0
+x /s y3 = 0
+x %s y3 = 0
+~x = 8000000000000000
+x & y = 0
+x | y = 7fffffffffffffff
+x ^ y = 7fffffffffffffff
+x << i = 7fffffffffffffff
+x >>u i = 7fffffffffffffff
+x >>s i = 7fffffffffffffff
+x cmpu y = gt
+x cmps y = gt
+utod x = 43e0000000000000
+dtou f = 346dc5d638865
+stod x = 43e0000000000000
+dtos f = 346dc5d638865
+
+x = 7fffffffffffffff
+y = 1
+-x = 8000000000000001
+x + y = 8000000000000000
+x - y = 7ffffffffffffffe
+x * y = 7fffffffffffffff
+x /u y = 7fffffffffffffff
+x %u y = 0
+x /s y = 7fffffffffffffff
+x %s y = 0
+x /u y2 = 0
+x %u y2 = 0
+x /s y3 = 0
+x %s y3 = 0
+~x = 8000000000000000
+x & y = 1
+x | y = 7fffffffffffffff
+x ^ y = 7ffffffffffffffe
+x << i = fffffffffffffffe
+x >>u i = 3fffffffffffffff
+x >>s i = 3fffffffffffffff
+x cmpu y = gt
+x cmps y = gt
+utod x = 43e0000000000000
+dtou f = 346dc5d638865
+stod x = 43e0000000000000
+dtos f = 346dc5d638865
+
+x = 7fffffffffffffff
+y = ffffffffffffffff
+-x = 8000000000000001
+x + y = 7ffffffffffffffe
+x - y = 8000000000000000
+x * y = 8000000000000001
+x /u y = 0
+x %u y = 7fffffffffffffff
+x /s y = 8000000000000001
+x %s y = 0
+x /u y2 = 80000000
+x %u y2 = 7fffffff
+x /s y3 = 8000000000000001
+x %s y3 = 0
+~x = 8000000000000000
+x & y = 7fffffffffffffff
+x | y = ffffffffffffffff
+x ^ y = 8000000000000000
+x << i = 8000000000000000
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = gt
+utod x = 43e0000000000000
+dtou f = 346dc5d638865
+stod x = 43e0000000000000
+dtos f = 346dc5d638865
+
+x = 7fffffffffffffff
+y = 7fffffff
+-x = 8000000000000001
+x + y = 800000007ffffffe
+x - y = 7fffffff80000000
+x * y = 7fffffff80000001
+x /u y = 100000002
+x %u y = 1
+x /s y = 100000002
+x %s y = 1
+x /u y2 = 0
+x %u y2 = 0
+x /s y3 = 0
+x %s y3 = 0
+~x = 8000000000000000
+x & y = 7fffffff
+x | y = 7fffffffffffffff
+x ^ y = 7fffffff80000000
+x << i = 8000000000000000
+x >>u i = 0
+x >>s i = 0
+x cmpu y = gt
+x cmps y = gt
+utod x = 43e0000000000000
+dtou f = 346dc5d638865
+stod x = 43e0000000000000
+dtos f = 346dc5d638865
+
+x = 7fffffffffffffff
+y = 80000000
+-x = 8000000000000001
+x + y = 800000007fffffff
+x - y = 7fffffff7fffffff
+x * y = ffffffff80000000
+x /u y = ffffffff
+x %u y = 7fffffff
+x /s y = ffffffff
+x %s y = 7fffffff
+x /u y2 = 0
+x %u y2 = 0
+x /s y3 = 0
+x %s y3 = 0
+~x = 8000000000000000
+x & y = 80000000
+x | y = 7fffffffffffffff
+x ^ y = 7fffffff7fffffff
+x << i = 7fffffffffffffff
+x >>u i = 7fffffffffffffff
+x >>s i = 7fffffffffffffff
+x cmpu y = gt
+x cmps y = gt
+utod x = 43e0000000000000
+dtou f = 346dc5d638865
+stod x = 43e0000000000000
+dtos f = 346dc5d638865
+
+x = 7fffffffffffffff
+y = 7fffffffffffffff
+-x = 8000000000000001
+x + y = fffffffffffffffe
+x - y = 0
+x * y = 1
+x /u y = 1
+x %u y = 0
+x /s y = 1
+x %s y = 0
+x /u y2 = 100000002
+x %u y2 = 1
+x /s y3 = 100000002
+x %s y3 = 1
+~x = 8000000000000000
+x & y = 7fffffffffffffff
+x | y = 7fffffffffffffff
+x ^ y = 0
+x << i = 8000000000000000
+x >>u i = 0
+x >>s i = 0
+x cmpu y = eq
+x cmps y = eq
+utod x = 43e0000000000000
+dtou f = 346dc5d638865
+stod x = 43e0000000000000
+dtos f = 346dc5d638865
+
+x = 7fffffffffffffff
+y = 8000000000000000
+-x = 8000000000000001
+x + y = ffffffffffffffff
+x - y = ffffffffffffffff
+x * y = 8000000000000000
+x /u y = 0
+x %u y = 7fffffffffffffff
+x /s y = 0
+x %s y = 7fffffffffffffff
+x /u y2 = ffffffff
+x %u y2 = 7fffffff
+x /s y3 = ffffffff00000001
+x %s y3 = 7fffffff
+~x = 8000000000000000
+x & y = 0
+x | y = ffffffffffffffff
+x ^ y = ffffffffffffffff
+x << i = 7fffffffffffffff
+x >>u i = 7fffffffffffffff
+x >>s i = 7fffffffffffffff
+x cmpu y = lt
+x cmps y = gt
+utod x = 43e0000000000000
+dtou f = 346dc5d638865
+stod x = 43e0000000000000
+dtos f = 346dc5d638865
+
+x = 7fffffffffffffff
+y = a220229ec164ffe1
+-x = 8000000000000001
+x + y = 2220229ec164ffe0
+x - y = dddfdd613e9b001e
+x * y = dddfdd613e9b001f
+x /u y = 0
+x %u y = 7fffffffffffffff
+x /s y = ffffffffffffffff
+x %s y = 2220229ec164ffe0
+x /u y2 = ca1d702e
+x %u y2 = 372ea79b
+x /s y3 = fffffffea2f0285c
+x %s y3 = 46eadf37
+~x = 8000000000000000
+x & y = 2220229ec164ffe1
+x | y = ffffffffffffffff
+x ^ y = dddfdd613e9b001e
+x << i = fffffffe00000000
+x >>u i = 3fffffff
+x >>s i = 3fffffff
+x cmpu y = lt
+x cmps y = gt
+utod x = 43e0000000000000
+dtou f = 346dc5d638865
+stod x = 43e0000000000000
+dtos f = 346dc5d638865
+
+x = 5d7d4da4cb0e1adc
+y = 7fffffffffffffff
+-x = a282b25b34f1e524
+x + y = dd7d4da4cb0e1adb
+x - y = dd7d4da4cb0e1add
+x * y = a282b25b34f1e524
+x /u y = 0
+x %u y = 5d7d4da4cb0e1adc
+x /s y = 0
+x %s y = 5d7d4da4cb0e1adc
+x /u y2 = bafa9b4b
+x %u y2 = 608b627
+x /s y3 = bafa9b4b
+x %s y3 = 608b627
+~x = a282b25b34f1e523
+x & y = 5d7d4da4cb0e1adc
+x | y = 7fffffffffffffff
+x ^ y = 2282b25b34f1e523
+x << i = 0
+x >>u i = 0
+x >>s i = 0
+x cmpu y = lt
+x cmps y = lt
+utod x = 43d75f536932c387
+dtou f = 264b14be61190
+stod x = 43d75f536932c387
+dtos f = 264b14be61190
+
+x = 8000000000000000
+y = 0
+-x = 8000000000000000
+x + y = 8000000000000000
+x - y = 8000000000000000
+x * y = 0
+x /u y = 0
+x %u y = 0
+x /s y = 0
+x %s y = 0
+x /u y2 = 0
+x %u y2 = 0
+x /s y3 = 0
+x %s y3 = 0
+~x = 7fffffffffffffff
+x & y = 0
+x | y = 8000000000000000
+x ^ y = 8000000000000000
+x << i = 8000000000000000
+x >>u i = 8000000000000000
+x >>s i = 8000000000000000
+x cmpu y = gt
+x cmps y = lt
+utod x = 43e0000000000000
+dtou f = 346dc5d638865
+stod x = c3e0000000000000
+dtos f = fffcb923a29c779b
+
+x = 8000000000000000
+y = 1
+-x = 8000000000000000
+x + y = 8000000000000001
+x - y = 7fffffffffffffff
+x * y = 8000000000000000
+x /u y = 8000000000000000
+x %u y = 0
+x /s y = 8000000000000000
+x %s y = 0
+x /u y2 = 0
+x %u y2 = 0
+x /s y3 = 0
+x %s y3 = 0
+~x = 7fffffffffffffff
+x & y = 0
+x | y = 8000000000000001
+x ^ y = 8000000000000001
+x << i = 0
+x >>u i = 4000000000000000
+x >>s i = c000000000000000
+x cmpu y = gt
+x cmps y = lt
+utod x = 43e0000000000000
+dtou f = 346dc5d638865
+stod x = c3e0000000000000
+dtos f = fffcb923a29c779b
+
+x = 8000000000000000
+y = ffffffffffffffff
+-x = 8000000000000000
+x + y = 7fffffffffffffff
+x - y = 8000000000000001
+x * y = 8000000000000000
+x /u y = 0
+x %u y = 8000000000000000
+x /s y = 0
+x %s y = 0
+x /u y2 = 80000000
+x %u y2 = 80000000
+x /s y3 = 0
+x %s y3 = 0
+~x = 7fffffffffffffff
+x & y = 8000000000000000
+x | y = ffffffffffffffff
+x ^ y = 7fffffffffffffff
+x << i = 0
+x >>u i = 1
+x >>s i = ffffffffffffffff
+x cmpu y = lt
+x cmps y = lt
+utod x = 43e0000000000000
+dtou f = 346dc5d638865
+stod x = c3e0000000000000
+dtos f = fffcb923a29c779b
+
+x = 8000000000000000
+y = 7fffffff
+-x = 8000000000000000
+x + y = 800000007fffffff
+x - y = 7fffffff80000001
+x * y = 8000000000000000
+x /u y = 100000002
+x %u y = 2
+x /s y = fffffffefffffffe
+x %s y = fffffffffffffffe
+x /u y2 = 0
+x %u y2 = 0
+x /s y3 = 0
+x %s y3 = 0
+~x = 7fffffffffffffff
+x & y = 0
+x | y = 800000007fffffff
+x ^ y = 800000007fffffff
+x << i = 0
+x >>u i = 1
+x >>s i = ffffffffffffffff
+x cmpu y = gt
+x cmps y = lt
+utod x = 43e0000000000000
+dtou f = 346dc5d638865
+stod x = c3e0000000000000
+dtos f = fffcb923a29c779b
+
+x = 8000000000000000
+y = 80000000
+-x = 8000000000000000
+x + y = 8000000080000000
+x - y = 7fffffff80000000
+x * y = 0
+x /u y = 100000000
+x %u y = 0
+x /s y = ffffffff00000000
+x %s y = 0
+x /u y2 = 0
+x %u y2 = 0
+x /s y3 = 0
+x %s y3 = 0
+~x = 7fffffffffffffff
+x & y = 0
+x | y = 8000000080000000
+x ^ y = 8000000080000000
+x << i = 8000000000000000
+x >>u i = 8000000000000000
+x >>s i = 8000000000000000
+x cmpu y = gt
+x cmps y = lt
+utod x = 43e0000000000000
+dtou f = 346dc5d638865
+stod x = c3e0000000000000
+dtos f = fffcb923a29c779b
+
+x = 8000000000000000
+y = 7fffffffffffffff
+-x = 8000000000000000
+x + y = ffffffffffffffff
+x - y = 1
+x * y = 8000000000000000
 x /u y = 1
-x %u y = 44a2d4f9f656e505
+x %u y = 1
 x /s y = ffffffffffffffff
-x %s y = ff9d70438c731abd
-x /u y2 = 1bbf1cb77
-x %u y2 = c30dca5
-x /s y3 = fffffffefef21c87
-x %s y3 = ffffffffa2cb1e65
-~x = 5ddfdd613e9b001e
-x & y = 200084c1041ac0
-x | y = ff7d6fbecb6efffd
-x ^ y = ff5d6f3a0a6ae53d
-x << i = ec164ffe10000000
-x >>u i = a220229ec
-x >>s i = fffffffa220229ec
-x cmpu y = gt
-x cmps y = lt
-utod x = 43e4440453d82ca0
-dtou f = 42681802c45c2
-stod x = c3d777f7584fa6c0
-dtos f = fffd98c8c56534f8
-
-x = c73aa0d9a415dfb
-y = 18e9107ab99b8b6e
--x = f38c55f265bea205
-x + y = 255cba8853dce969
-x - y = f38a9992e0a5d28d
-x * y = 9c3790b61016aada
-x /u y = 0
-x %u y = c73aa0d9a415dfb
-x /s y = 0
-x %s y = c73aa0d9a415dfb
-x /u y2 = 7ff714a4
-x %u y2 = 3f347d3
-x /s y3 = 7ff714a4
-x %s y3 = 3f347d3
-~x = f38c55f265bea204
-x & y = 86100089801096a
-x | y = 1cfbba7fbbdbdfff
-x ^ y = 149aba7723dad695
-x << i = 577ec00000000000
-x >>u i = 31ce
-x >>s i = 31ce
-x cmpu y = lt
-x cmps y = lt
-utod x = 43a8e7541b3482bc
-dtou f = 519aad330d8d
-stod x = 43a8e7541b3482bc
-dtos f = 519aad330d8d
+x %s y = ffffffffffffffff
+x /u y2 = 100000002
+x %u y2 = 2
+x /s y3 = fffffffefffffffe
+x %s y3 = fffffffffffffffe
+~x = 7fffffffffffffff
+x & y = 0
+x | y = ffffffffffffffff
+x ^ y = ffffffffffffffff
+x << i = 0
+x >>u i = 1
+x >>s i = ffffffffffffffff
+x cmpu y = gt
+x cmps y = lt
+utod x = 43e0000000000000
+dtou f = 346dc5d638865
+stod x = c3e0000000000000
+dtos f = fffcb923a29c779b
+
+x = 8000000000000000
+y = 8000000000000000
+-x = 8000000000000000
+x + y = 0
+x - y = 0
+x * y = 0
+x /u y = 1
+x %u y = 0
+x /s y = 1
+x %s y = 0
+x /u y2 = 100000000
+x %u y2 = 0
+x /s y3 = 100000000
+x %s y3 = 0
+~x = 7fffffffffffffff
+x & y = 8000000000000000
+x | y = 8000000000000000
+x ^ y = 0
+x << i = 8000000000000000
+x >>u i = 8000000000000000
+x >>s i = 8000000000000000
+x cmpu y = eq
+x cmps y = eq
+utod x = 43e0000000000000
+dtou f = 346dc5d638865
+stod x = c3e0000000000000
+dtos f = fffcb923a29c779b
+
+x = 8000000000000000
+y = c73aa0d9a415dfb
+-x = 8000000000000000
+x + y = 8c73aa0d9a415dfb
+x - y = 738c55f265bea205
+x * y = 8000000000000000
+x /u y = a
+x %u y = 37b5b77f9725432
+x /s y = fffffffffffffff6
+x %s y = fc84a488068dabce
+x /u y2 = a4795a4ab
+x %u y2 = 13c1551
+x /s y3 = fffffff5b86a5b55
+x %s y3 = fffffffffec3eaaf
+~x = 7fffffffffffffff
+x & y = 0
+x | y = 8c73aa0d9a415dfb
+x ^ y = 8c73aa0d9a415dfb
+x << i = 0
+x >>u i = 10
+x >>s i = fffffffffffffff0
+x cmpu y = gt
+x cmps y = lt
+utod x = 43e0000000000000
+dtou f = 346dc5d638865
+stod x = c3e0000000000000
+dtos f = fffcb923a29c779b
+
+x = 18e9107ab99b8b6e
+y = 8000000000000000
+-x = e716ef8546647492
+x + y = 98e9107ab99b8b6e
+x - y = 98e9107ab99b8b6e
+x * y = 0
+x /u y = 0
+x %u y = 18e9107ab99b8b6e
+x /s y = 0
+x %s y = 18e9107ab99b8b6e
+x /u y2 = 31d220f5
+x %u y2 = 399b8b6e
+x /s y3 = ffffffffce2ddf0b
+x %s y3 = 399b8b6e
+~x = e716ef8546647491
+x & y = 0
+x | y = 98e9107ab99b8b6e
+x ^ y = 98e9107ab99b8b6e
+x << i = 18e9107ab99b8b6e
+x >>u i = 18e9107ab99b8b6e
+x >>s i = 18e9107ab99b8b6e
+x cmpu y = lt
+x cmps y = gt
+utod x = 43b8e9107ab99b8b
+dtou f = a340baa47edc
+stod x = 43b8e9107ab99b8b
+dtos f = a340baa47edc
 
 x = e9bcd26890f095a5
 y = 329cb23ce0f7aa50
@@ -3778,3 +4506,59 @@ dtou f = 32e67b027dfed
 stod x = 43df112c944566c7
 dtos f = 32e67b027dfed
 
+x = 9a9aa1d3b5dd2669
+y = 1674a822c7258c4
+-x = 65655e2c4a22d997
+x + y = 9c01ec55e24f7f2d
+x - y = 99335751896acda5
+x * y = 1e34870269478064
+x /u y = 6e
+x %u y = 389de49cbb0231
+x /s y = ffffffffffffffb8
+x %s y = ffa7967036061d89
+x /u y2 = 6e285728ab
+x %u y2 = c1193
+x /s y3 = ffffffb7c1013ab9
+x %s y3 = fffffffffed4da77
+~x = 65655e2c4a22d996
+x & y = 2008224500040
+x | y = 9bffebd3bdff7eed
+x ^ y = 9bfdeb5199af7ead
+x << i = a9aa1d3b5dd26690
+x >>u i = 9a9aa1d3b5dd266
+x >>s i = f9a9aa1d3b5dd266
+x cmpu y = gt
+x cmps y = lt
+utod x = 43e353543a76bba5
+dtou f = 3f5368608c070
+stod x = c3d959578b1288b6
+dtos f = fffd677dcb41afa6
+
+x = d6d263c95b9e57c3
+y = e51588d59845ab96
+-x = 292d9c36a461a83d
+x + y = bbe7ec9ef3e40359
+x - y = f1bcdaf3c358ac2d
+x * y = d6f74b36e2f5ad42
+x /u y = 0
+x %u y = d6d263c95b9e57c3
+x /s y = 1
+x %s y = f1bcdaf3c358ac2d
+x /u y2 = f00fdea7
+x %u y2 = 896e5ed0
+x /s y3 = 187a673b8
+x %s y3 = fffffffffa8e4fab
+~x = 292d9c36a461a83c
+x & y = c41000c118040382
+x | y = f7d7ebdddbdfffd7
+x ^ y = 33c7eb1cc3dbfc55
+x << i = f256e795f0c00000
+x >>u i = 35b498f256e
+x >>s i = ffffff5b498f256e
+x cmpu y = lt
+x cmps y = lt
+utod x = 43eada4c792b73cb
+dtou f = 57fdb3ba1ae09
+stod x = c3c496ce1b5230d4
+dtos f = fffef22280da9d3f
+
diff --git a/test/regression/int32.c b/test/regression/int32.c
new file mode 100644
index 0000000..254d0f8
--- /dev/null
+++ b/test/regression/int32.c
@@ -0,0 +1,107 @@
+/* Semi-random testing of 32-bit integer operations */
+
+#include <stdio.h>
+
+typedef unsigned int u32;
+typedef signed int s32;
+
+static u32 rnd32(void)
+{
+  static u32 seed = 0;
+  seed = seed * 69069 + 25173;
+  return seed;
+}
+
+static inline u32 safe_udiv32(u32 x, u32 y)
+{
+  if (y == 0) return 0; else return x / y;
+}
+
+static inline u32 safe_umod32(u32 x, u32 y)
+{
+  if (y == 0) return 0; else return x % y;
+}
+
+static inline s32 safe_sdiv32(s32 x, s32 y)
+{
+  if (y == 0 || (y == -1 && x == (-1 << 31))) return 0; else return x / y;
+}
+
+static inline s32 safe_smod32(s32 x, s32 y)
+{
+  if (y == 0 || (y == -1 && x == (-1 << 31))) return 0; else return x % y;
+}
+
+static void test1(u32 x, u32 y)
+{
+  int i;
+  double f;
+
+  printf("x = %x\n", x);
+  printf("y = %x\n", y);
+  printf("-x = %x\n", -x);
+  printf("x + y = %x\n", x + y);
+  printf("x - y = %x\n", x - y);
+  printf("x * y = %x\n", x * y);
+  printf("x /u y = %x\n", safe_udiv32(x, y));
+  printf("x %%u y = %x\n", safe_umod32(x, y));
+  printf("x /s y = %x\n", safe_sdiv32(x, y));
+  printf("x %%s y = %x\n", safe_smod32(x, y));
+  printf("~x = %x\n", ~x);
+  printf("x & y = %x\n", x & y);
+  printf("x | y = %x\n", x | y);
+  printf("x ^ y = %x\n", x ^ y);
+  i = y & 31;
+  printf("x << i = %x\n", x << i);
+  printf("x >>u i = %x\n", x >> i);
+  printf("x >>s i = %x\n", (s32) x >> i);
+  printf("x cmpu y = %s\n",
+         x == y ? "eq" : x < y ? "lt" : "gt");
+  printf("x cmps y = %s\n",
+         x == y ? "eq" : (s32)x < (s32)y ? "lt" : "gt");
+  f = (double) x;
+  printf("utod x = %x\n", *((u32*) &f));
+  f = f * 0.0001;
+  printf("dtou f = %x\n", (u32) f);
+  f = (double) ((s32) x);
+  printf("stod x = %x\n", *((u32*) &f));
+  f = f * 0.0001;
+  printf("dtos f = %x\n", (s32) f);
+  printf("\n");
+}
+
+u32 special_values[] = {
+  0,
+  1,
+  -1,
+  0x7FFFFFFFU,
+  0x80000000U,
+};
+
+#define NUM_SPECIAL_VALUES (sizeof(special_values) / sizeof(u32))
+
+int main()
+{
+  int i, j;
+  u32 x, y;
+
+  for (i = 0; i < NUM_SPECIAL_VALUES; i++) {
+    for (j = 0; j < NUM_SPECIAL_VALUES; j++) {
+      test1(special_values[i], special_values[j]);
+    }
+    test1(special_values[i], rnd32());
+    test1(rnd32(), special_values[i]);
+  }
+  for (i = 0; i < 100; i++) {
+    x = rnd32(); y = rnd32();
+    test1(x, y);
+  }
+  return 0;
+}
+
+
+
+
+
+
+
diff --git a/test/regression/int64.c b/test/regression/int64.c
index 55a4f88..c0b6e56 100644
--- a/test/regression/int64.c
+++ b/test/regression/int64.c
@@ -88,13 +88,15 @@ u64 special_values[] = {
   0x8000000000000000LLU
 };
 
+#define NUM_SPECIAL_VALUES (sizeof(special_values) / sizeof(u64))
+
 int main()
 {
   int i, j;
   u64 x, y;
 
-  for (i = 0; i <= 4; i++) {
-    for (j = 0; j <= 4; j++) {
+  for (i = 0; i < NUM_SPECIAL_VALUES; i++) {
+    for (j = 0; j < NUM_SPECIAL_VALUES; j++) {
       test1(special_values[i], special_values[j]);
     }
     test1(special_values[i], rnd64());