From fe8a84e1212f14fa05626abe03dd91cdc9dcc3db Mon Sep 17 00:00:00 2001 From: xleroy Date: Sat, 20 Apr 2013 08:18:30 +0000 Subject: 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 --- test/regression/Results/int64 | 890 +++++++++++++++++++++++++++++++++++++++--- 1 file changed, 837 insertions(+), 53 deletions(-) (limited to 'test/regression/Results/int64') diff --git a/test/regression/Results/int64 b/test/regression/Results/int64 index 15e4eccb..fff67677 100644 --- a/test/regression/Results/int64 +++ b/test/regression/Results/int64 @@ -138,6 +138,62 @@ dtou f = 0 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 @@ -334,6 +390,62 @@ dtou f = 0 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 @@ -530,6 +642,62 @@ dtou f = 68db8bac710cb 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 @@ -726,6 +894,62 @@ dtou f = 346dc 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 @@ -922,6 +1146,62 @@ dtou f = 346dc 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 @@ -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 + -- cgit