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

1 files changed, 837 insertions, 53 deletions

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
+