diff options
author | 2013-04-20 08:18:30 +0000 | |
---|---|---|
committer | 2013-04-20 08:18:30 +0000 | |
commit | fe8a84e1212f14fa05626abe03dd91cdc9dcc3db (patch) | |
tree | 0eb2cfe24015fdc9d9e443f7ef3c660961b147b0 | |
parent | 255cee09b71255051c2b40eae0c88bffce1f6f32 (diff) |
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
-rw-r--r-- | driver/Interp.ml | 12 | ||||
-rw-r--r-- | test/regression/Makefile | 2 | ||||
-rw-r--r-- | test/regression/Results/int32 | 3240 | ||||
-rw-r--r-- | test/regression/Results/int64 | 890 | ||||
-rw-r--r-- | test/regression/int32.c | 107 | ||||
-rw-r--r-- | test/regression/int64.c | 6 |
6 files changed, 4197 insertions, 60 deletions
diff --git a/driver/Interp.ml b/driver/Interp.ml index 4f50514..a3ebe80 100644 --- a/driver/Interp.ml +++ b/driver/Interp.ml @@ -294,16 +294,17 @@ let extract_string ge m id ofs = (* Emulation of printf *) -(* All ISO C 99 formats except size modifiers [ll] (long long) and [L] - (long double) *) +(* All ISO C 99 formats except size modifier [L] (long double) *) let re_conversion = Str.regexp - "%[-+0# ]*[0-9]*\\(\\.[0-9]*\\)?\\([lhjzt]\\|hh\\)?\\([aAcdeEfgGinopsuxX%]\\)" + "%[-+0# ]*[0-9]*\\(\\.[0-9]*\\)?\\([lhjzt]\\|hh\\|ll\\)?\\([aAcdeEfgGinopsuxX%]\\)" external format_float: string -> caml_float -> string = "caml_format_float" external format_int32: string -> int32 -> string = "caml_int32_format" +external format_int64: string -> int64 -> string + = "caml_int64_format" let do_printf ge m fmt args = @@ -337,6 +338,9 @@ let do_printf ge m fmt args = | EVfloat f :: args', ('f'|'e'|'E'|'g'|'G'|'a') -> Buffer.add_string b (format_float pat (camlfloat_of_coqfloat f)); scan pos' args' + | EVlong i :: args', ('d'|'i'|'u'|'o'|'x'|'X') -> + Buffer.add_string b (format_int64 pat (camlint64_of_coqint i)); + scan pos' args' | EVptr_global(id, ofs) :: args', 's' -> Buffer.add_string b (match extract_string ge m id ofs with @@ -354,7 +358,7 @@ let do_printf ge m fmt args = (* Implementing external functions *) -let re_stub = Str.regexp "\\$[if]*$" +let re_stub = Str.regexp "\\$[ifl]*$" let chop_stub name = Str.replace_first re_stub "" name 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()); |