1242 lines
63 KiB
Rust
1242 lines
63 KiB
Rust
use std::mem::MaybeUninit;
|
|
use std::{fmt, str};
|
|
|
|
use core::num::flt2dec::{decode, DecodableFloat, Decoded, FullDecoded};
|
|
use core::num::flt2dec::{round_up, Formatted, Part, Sign, MAX_SIG_DIGITS};
|
|
use core::num::flt2dec::{
|
|
to_exact_exp_str, to_exact_fixed_str, to_shortest_exp_str, to_shortest_str,
|
|
};
|
|
|
|
pub use test::Bencher;
|
|
|
|
mod estimator;
|
|
mod strategy {
|
|
mod dragon;
|
|
mod grisu;
|
|
}
|
|
mod random;
|
|
|
|
pub fn decode_finite<T: DecodableFloat>(v: T) -> Decoded {
|
|
match decode(v).1 {
|
|
FullDecoded::Finite(decoded) => decoded,
|
|
full_decoded => panic!("expected finite, got {:?} instead", full_decoded),
|
|
}
|
|
}
|
|
|
|
macro_rules! check_shortest {
|
|
($f:ident($v:expr) => $buf:expr, $exp:expr) => (
|
|
check_shortest!($f($v) => $buf, $exp;
|
|
"shortest mismatch for v={v}: actual {actual:?}, expected {expected:?}",
|
|
v = stringify!($v))
|
|
);
|
|
|
|
($f:ident{$($k:ident: $v:expr),+} => $buf:expr, $exp:expr) => (
|
|
check_shortest!($f{$($k: $v),+} => $buf, $exp;
|
|
"shortest mismatch for {v:?}: actual {actual:?}, expected {expected:?}",
|
|
v = Decoded { $($k: $v),+ })
|
|
);
|
|
|
|
($f:ident($v:expr) => $buf:expr, $exp:expr; $fmt:expr, $($key:ident = $val:expr),*) => ({
|
|
let mut buf = [MaybeUninit::new(b'_'); MAX_SIG_DIGITS];
|
|
let (buf, k) = $f(&decode_finite($v), &mut buf);
|
|
assert!((buf, k) == ($buf, $exp),
|
|
$fmt, actual = (str::from_utf8(buf).unwrap(), k),
|
|
expected = (str::from_utf8($buf).unwrap(), $exp),
|
|
$($key = $val),*);
|
|
});
|
|
|
|
($f:ident{$($k:ident: $v:expr),+} => $buf:expr, $exp:expr;
|
|
$fmt:expr, $($key:ident = $val:expr),*) => ({
|
|
let mut buf = [MaybeUninit::new(b'_'); MAX_SIG_DIGITS];
|
|
let (buf, k) = $f(&Decoded { $($k: $v),+ }, &mut buf);
|
|
assert!((buf, k) == ($buf, $exp),
|
|
$fmt, actual = (str::from_utf8(buf).unwrap(), k),
|
|
expected = (str::from_utf8($buf).unwrap(), $exp),
|
|
$($key = $val),*);
|
|
})
|
|
}
|
|
|
|
macro_rules! try_exact {
|
|
($f:ident($decoded:expr) => $buf:expr, $expected:expr, $expectedk:expr;
|
|
$fmt:expr, $($key:ident = $val:expr),*) => ({
|
|
let (buf, k) = $f($decoded, &mut $buf[..$expected.len()], i16::MIN);
|
|
assert!((buf, k) == ($expected, $expectedk),
|
|
$fmt, actual = (str::from_utf8(buf).unwrap(), k),
|
|
expected = (str::from_utf8($expected).unwrap(), $expectedk),
|
|
$($key = $val),*);
|
|
})
|
|
}
|
|
|
|
macro_rules! try_fixed {
|
|
($f:ident($decoded:expr) => $buf:expr, $request:expr, $expected:expr, $expectedk:expr;
|
|
$fmt:expr, $($key:ident = $val:expr),*) => ({
|
|
let (buf, k) = $f($decoded, &mut $buf[..], $request);
|
|
assert!((buf, k) == ($expected, $expectedk),
|
|
$fmt, actual = (str::from_utf8(buf).unwrap(), k),
|
|
expected = (str::from_utf8($expected).unwrap(), $expectedk),
|
|
$($key = $val),*);
|
|
})
|
|
}
|
|
|
|
fn ldexp_f32(a: f32, b: i32) -> f32 {
|
|
ldexp_f64(a as f64, b) as f32
|
|
}
|
|
|
|
fn ldexp_f64(a: f64, b: i32) -> f64 {
|
|
extern "C" {
|
|
fn ldexp(x: f64, n: i32) -> f64;
|
|
}
|
|
// SAFETY: assuming a correct `ldexp` has been supplied, the given arguments cannot possibly
|
|
// cause undefined behavior
|
|
unsafe { ldexp(a, b) }
|
|
}
|
|
|
|
fn check_exact<F, T>(mut f: F, v: T, vstr: &str, expected: &[u8], expectedk: i16)
|
|
where
|
|
T: DecodableFloat,
|
|
F: for<'a> FnMut(&Decoded, &'a mut [MaybeUninit<u8>], i16) -> (&'a [u8], i16),
|
|
{
|
|
// use a large enough buffer
|
|
let mut buf = [MaybeUninit::new(b'_'); 1024];
|
|
let mut expected_ = [b'_'; 1024];
|
|
|
|
let decoded = decode_finite(v);
|
|
let cut = expected.iter().position(|&c| c == b' ');
|
|
|
|
// check significant digits
|
|
for i in 1..cut.unwrap_or(expected.len() - 1) {
|
|
expected_[..i].copy_from_slice(&expected[..i]);
|
|
let mut expectedk_ = expectedk;
|
|
if expected[i] >= b'5' {
|
|
// check if this is a rounding-to-even case.
|
|
// we avoid rounding ...x5000... (with infinite zeroes) to ...(x+1) when x is even.
|
|
if !(i + 1 < expected.len()
|
|
&& expected[i - 1] & 1 == 0
|
|
&& expected[i] == b'5'
|
|
&& expected[i + 1] == b' ')
|
|
{
|
|
// if this returns true, expected_[..i] is all `9`s and being rounded up.
|
|
// we should always return `100..00` (`i` digits) instead, since that's
|
|
// what we can came up with `i` digits anyway. `round_up` assumes that
|
|
// the adjustment to the length is done by caller, which we simply ignore.
|
|
if let Some(_) = round_up(&mut expected_[..i]) {
|
|
expectedk_ += 1;
|
|
}
|
|
}
|
|
}
|
|
|
|
try_exact!(f(&decoded) => &mut buf, &expected_[..i], expectedk_;
|
|
"exact sigdigit mismatch for v={v}, i={i}: \
|
|
actual {actual:?}, expected {expected:?}",
|
|
v = vstr, i = i);
|
|
try_fixed!(f(&decoded) => &mut buf, expectedk_ - i as i16, &expected_[..i], expectedk_;
|
|
"fixed sigdigit mismatch for v={v}, i={i}: \
|
|
actual {actual:?}, expected {expected:?}",
|
|
v = vstr, i = i);
|
|
}
|
|
|
|
// check exact rounding for zero- and negative-width cases
|
|
let start;
|
|
if expected[0] >= b'5' {
|
|
try_fixed!(f(&decoded) => &mut buf, expectedk, b"1", expectedk + 1;
|
|
"zero-width rounding-up mismatch for v={v}: \
|
|
actual {actual:?}, expected {expected:?}",
|
|
v = vstr);
|
|
start = 1;
|
|
} else {
|
|
start = 0;
|
|
}
|
|
for i in start..-10 {
|
|
try_fixed!(f(&decoded) => &mut buf, expectedk - i, b"", expectedk;
|
|
"rounding-down mismatch for v={v}, i={i}: \
|
|
actual {actual:?}, expected {expected:?}",
|
|
v = vstr, i = -i);
|
|
}
|
|
|
|
// check infinite zero digits
|
|
if let Some(cut) = cut {
|
|
for i in cut..expected.len() - 1 {
|
|
expected_[..cut].copy_from_slice(&expected[..cut]);
|
|
for c in &mut expected_[cut..i] {
|
|
*c = b'0';
|
|
}
|
|
|
|
try_exact!(f(&decoded) => &mut buf, &expected_[..i], expectedk;
|
|
"exact infzero mismatch for v={v}, i={i}: \
|
|
actual {actual:?}, expected {expected:?}",
|
|
v = vstr, i = i);
|
|
try_fixed!(f(&decoded) => &mut buf, expectedk - i as i16, &expected_[..i], expectedk;
|
|
"fixed infzero mismatch for v={v}, i={i}: \
|
|
actual {actual:?}, expected {expected:?}",
|
|
v = vstr, i = i);
|
|
}
|
|
}
|
|
}
|
|
|
|
trait TestableFloat: DecodableFloat + fmt::Display {
|
|
/// Returns `x * 2^exp`. Almost same to `std::{f32,f64}::ldexp`.
|
|
/// This is used for testing.
|
|
fn ldexpi(f: i64, exp: isize) -> Self;
|
|
}
|
|
|
|
impl TestableFloat for f32 {
|
|
fn ldexpi(f: i64, exp: isize) -> Self {
|
|
f as Self * (exp as Self).exp2()
|
|
}
|
|
}
|
|
|
|
impl TestableFloat for f64 {
|
|
fn ldexpi(f: i64, exp: isize) -> Self {
|
|
f as Self * (exp as Self).exp2()
|
|
}
|
|
}
|
|
|
|
fn check_exact_one<F, T>(mut f: F, x: i64, e: isize, tstr: &str, expected: &[u8], expectedk: i16)
|
|
where
|
|
T: TestableFloat,
|
|
F: for<'a> FnMut(&Decoded, &'a mut [MaybeUninit<u8>], i16) -> (&'a [u8], i16),
|
|
{
|
|
// use a large enough buffer
|
|
let mut buf = [MaybeUninit::new(b'_'); 1024];
|
|
let v: T = TestableFloat::ldexpi(x, e);
|
|
let decoded = decode_finite(v);
|
|
|
|
try_exact!(f(&decoded) => &mut buf, &expected, expectedk;
|
|
"exact mismatch for v={x}p{e}{t}: actual {actual:?}, expected {expected:?}",
|
|
x = x, e = e, t = tstr);
|
|
try_fixed!(f(&decoded) => &mut buf, expectedk - expected.len() as i16, &expected, expectedk;
|
|
"fixed mismatch for v={x}p{e}{t}: actual {actual:?}, expected {expected:?}",
|
|
x = x, e = e, t = tstr);
|
|
}
|
|
|
|
macro_rules! check_exact {
|
|
($f:ident($v:expr) => $buf:expr, $exp:expr) => {
|
|
check_exact(|d, b, k| $f(d, b, k), $v, stringify!($v), $buf, $exp)
|
|
};
|
|
}
|
|
|
|
macro_rules! check_exact_one {
|
|
($f:ident($x:expr, $e:expr; $t:ty) => $buf:expr, $exp:expr) => {
|
|
check_exact_one::<_, $t>(|d, b, k| $f(d, b, k), $x, $e, stringify!($t), $buf, $exp)
|
|
};
|
|
}
|
|
|
|
// in the following comments, three numbers are spaced by 1 ulp apart,
|
|
// and the second one is being formatted.
|
|
//
|
|
// some tests are derived from [1].
|
|
//
|
|
// [1] Vern Paxson, A Program for Testing IEEE Decimal-Binary Conversion
|
|
// ftp://ftp.ee.lbl.gov/testbase-report.ps.Z
|
|
|
|
pub fn f32_shortest_sanity_test<F>(mut f: F)
|
|
where
|
|
F: for<'a> FnMut(&Decoded, &'a mut [MaybeUninit<u8>]) -> (&'a [u8], i16),
|
|
{
|
|
// 0.0999999940395355224609375
|
|
// 0.100000001490116119384765625
|
|
// 0.10000000894069671630859375
|
|
check_shortest!(f(0.1f32) => b"1", 0);
|
|
|
|
// 0.333333313465118408203125
|
|
// 0.3333333432674407958984375 (1/3 in the default rounding)
|
|
// 0.33333337306976318359375
|
|
check_shortest!(f(1.0f32/3.0) => b"33333334", 0);
|
|
|
|
// 10^1 * 0.31415917873382568359375
|
|
// 10^1 * 0.31415920257568359375
|
|
// 10^1 * 0.31415922641754150390625
|
|
check_shortest!(f(3.141592f32) => b"3141592", 1);
|
|
|
|
// 10^18 * 0.31415916243714048
|
|
// 10^18 * 0.314159196796878848
|
|
// 10^18 * 0.314159231156617216
|
|
check_shortest!(f(3.141592e17f32) => b"3141592", 18);
|
|
|
|
// regression test for decoders
|
|
// 10^8 * 0.3355443
|
|
// 10^8 * 0.33554432
|
|
// 10^8 * 0.33554436
|
|
check_shortest!(f(ldexp_f32(1.0, 25)) => b"33554432", 8);
|
|
|
|
// 10^39 * 0.340282326356119256160033759537265639424
|
|
// 10^39 * 0.34028234663852885981170418348451692544
|
|
// 10^39 * 0.340282366920938463463374607431768211456
|
|
check_shortest!(f(f32::MAX) => b"34028235", 39);
|
|
|
|
// 10^-37 * 0.1175494210692441075487029444849287348827...
|
|
// 10^-37 * 0.1175494350822287507968736537222245677818...
|
|
// 10^-37 * 0.1175494490952133940450443629595204006810...
|
|
check_shortest!(f(f32::MIN_POSITIVE) => b"11754944", -37);
|
|
|
|
// 10^-44 * 0
|
|
// 10^-44 * 0.1401298464324817070923729583289916131280...
|
|
// 10^-44 * 0.2802596928649634141847459166579832262560...
|
|
let minf32 = ldexp_f32(1.0, -149);
|
|
check_shortest!(f(minf32) => b"1", -44);
|
|
}
|
|
|
|
pub fn f32_exact_sanity_test<F>(mut f: F)
|
|
where
|
|
F: for<'a> FnMut(&Decoded, &'a mut [MaybeUninit<u8>], i16) -> (&'a [u8], i16),
|
|
{
|
|
let minf32 = ldexp_f32(1.0, -149);
|
|
|
|
check_exact!(f(0.1f32) => b"100000001490116119384765625 ", 0);
|
|
check_exact!(f(0.5f32) => b"5 ", 0);
|
|
check_exact!(f(1.0f32/3.0) => b"3333333432674407958984375 ", 0);
|
|
check_exact!(f(3.141592f32) => b"31415920257568359375 ", 1);
|
|
check_exact!(f(3.141592e17f32) => b"314159196796878848 ", 18);
|
|
check_exact!(f(f32::MAX) => b"34028234663852885981170418348451692544 ", 39);
|
|
check_exact!(f(f32::MIN_POSITIVE) => b"1175494350822287507968736537222245677818", -37);
|
|
check_exact!(f(minf32) => b"1401298464324817070923729583289916131280", -44);
|
|
|
|
// [1], Table 16: Stress Inputs for Converting 24-bit Binary to Decimal, < 1/2 ULP
|
|
check_exact_one!(f(12676506, -102; f32) => b"2", -23);
|
|
check_exact_one!(f(12676506, -103; f32) => b"12", -23);
|
|
check_exact_one!(f(15445013, 86; f32) => b"119", 34);
|
|
check_exact_one!(f(13734123, -138; f32) => b"3941", -34);
|
|
check_exact_one!(f(12428269, -130; f32) => b"91308", -32);
|
|
check_exact_one!(f(15334037, -146; f32) => b"171900", -36);
|
|
check_exact_one!(f(11518287, -41; f32) => b"5237910", -5);
|
|
check_exact_one!(f(12584953, -145; f32) => b"28216440", -36);
|
|
check_exact_one!(f(15961084, -125; f32) => b"375243281", -30);
|
|
check_exact_one!(f(14915817, -146; f32) => b"1672120916", -36);
|
|
check_exact_one!(f(10845484, -102; f32) => b"21388945814", -23);
|
|
check_exact_one!(f(16431059, -61; f32) => b"712583594561", -11);
|
|
|
|
// [1], Table 17: Stress Inputs for Converting 24-bit Binary to Decimal, > 1/2 ULP
|
|
check_exact_one!(f(16093626, 69; f32) => b"1", 29);
|
|
check_exact_one!(f( 9983778, 25; f32) => b"34", 15);
|
|
check_exact_one!(f(12745034, 104; f32) => b"259", 39);
|
|
check_exact_one!(f(12706553, 72; f32) => b"6001", 29);
|
|
check_exact_one!(f(11005028, 45; f32) => b"38721", 21);
|
|
check_exact_one!(f(15059547, 71; f32) => b"355584", 29);
|
|
check_exact_one!(f(16015691, -99; f32) => b"2526831", -22);
|
|
check_exact_one!(f( 8667859, 56; f32) => b"62458507", 24);
|
|
check_exact_one!(f(14855922, -82; f32) => b"307213267", -17);
|
|
check_exact_one!(f(14855922, -83; f32) => b"1536066333", -17);
|
|
check_exact_one!(f(10144164, -110; f32) => b"78147796834", -26);
|
|
check_exact_one!(f(13248074, 95; f32) => b"524810279937", 36);
|
|
}
|
|
|
|
pub fn f64_shortest_sanity_test<F>(mut f: F)
|
|
where
|
|
F: for<'a> FnMut(&Decoded, &'a mut [MaybeUninit<u8>]) -> (&'a [u8], i16),
|
|
{
|
|
// 0.0999999999999999777955395074968691915273...
|
|
// 0.1000000000000000055511151231257827021181...
|
|
// 0.1000000000000000333066907387546962127089...
|
|
check_shortest!(f(0.1f64) => b"1", 0);
|
|
|
|
// this example is explicitly mentioned in the paper.
|
|
// 10^3 * 0.0999999999999999857891452847979962825775...
|
|
// 10^3 * 0.1 (exact)
|
|
// 10^3 * 0.1000000000000000142108547152020037174224...
|
|
check_shortest!(f(100.0f64) => b"1", 3);
|
|
|
|
// 0.3333333333333332593184650249895639717578...
|
|
// 0.3333333333333333148296162562473909929394... (1/3 in the default rounding)
|
|
// 0.3333333333333333703407674875052180141210...
|
|
check_shortest!(f(1.0f64/3.0) => b"3333333333333333", 0);
|
|
|
|
// explicit test case for equally closest representations.
|
|
// Dragon has its own tie-breaking rule; Grisu should fall back.
|
|
// 10^1 * 0.1000007629394531027955395074968691915273...
|
|
// 10^1 * 0.100000762939453125 (exact)
|
|
// 10^1 * 0.1000007629394531472044604925031308084726...
|
|
check_shortest!(f(1.00000762939453125f64) => b"10000076293945313", 1);
|
|
|
|
// 10^1 * 0.3141591999999999718085064159822650253772...
|
|
// 10^1 * 0.3141592000000000162174274009885266423225...
|
|
// 10^1 * 0.3141592000000000606263483859947882592678...
|
|
check_shortest!(f(3.141592f64) => b"3141592", 1);
|
|
|
|
// 10^18 * 0.314159199999999936
|
|
// 10^18 * 0.3141592 (exact)
|
|
// 10^18 * 0.314159200000000064
|
|
check_shortest!(f(3.141592e17f64) => b"3141592", 18);
|
|
|
|
// regression test for decoders
|
|
// 10^20 * 0.18446744073709549568
|
|
// 10^20 * 0.18446744073709551616
|
|
// 10^20 * 0.18446744073709555712
|
|
check_shortest!(f(ldexp_f64(1.0, 64)) => b"18446744073709552", 20);
|
|
|
|
// pathological case: high = 10^23 (exact). tie breaking should always prefer that.
|
|
// 10^24 * 0.099999999999999974834176
|
|
// 10^24 * 0.099999999999999991611392
|
|
// 10^24 * 0.100000000000000008388608
|
|
check_shortest!(f(1.0e23f64) => b"1", 24);
|
|
|
|
// 10^309 * 0.1797693134862315508561243283845062402343...
|
|
// 10^309 * 0.1797693134862315708145274237317043567980...
|
|
// 10^309 * 0.1797693134862315907729305190789024733617...
|
|
check_shortest!(f(f64::MAX) => b"17976931348623157", 309);
|
|
|
|
// 10^-307 * 0.2225073858507200889024586876085859887650...
|
|
// 10^-307 * 0.2225073858507201383090232717332404064219...
|
|
// 10^-307 * 0.2225073858507201877155878558578948240788...
|
|
check_shortest!(f(f64::MIN_POSITIVE) => b"22250738585072014", -307);
|
|
|
|
// 10^-323 * 0
|
|
// 10^-323 * 0.4940656458412465441765687928682213723650...
|
|
// 10^-323 * 0.9881312916824930883531375857364427447301...
|
|
let minf64 = ldexp_f64(1.0, -1074);
|
|
check_shortest!(f(minf64) => b"5", -323);
|
|
}
|
|
|
|
pub fn f64_exact_sanity_test<F>(mut f: F)
|
|
where
|
|
F: for<'a> FnMut(&Decoded, &'a mut [MaybeUninit<u8>], i16) -> (&'a [u8], i16),
|
|
{
|
|
let minf64 = ldexp_f64(1.0, -1074);
|
|
|
|
check_exact!(f(0.1f64) => b"1000000000000000055511151231257827021181", 0);
|
|
check_exact!(f(0.45f64) => b"4500000000000000111022302462515654042363", 0);
|
|
check_exact!(f(0.5f64) => b"5 ", 0);
|
|
check_exact!(f(0.95f64) => b"9499999999999999555910790149937383830547", 0);
|
|
check_exact!(f(100.0f64) => b"1 ", 3);
|
|
check_exact!(f(999.5f64) => b"9995000000000000000000000000000000000000", 3);
|
|
check_exact!(f(1.0f64/3.0) => b"3333333333333333148296162562473909929394", 0);
|
|
check_exact!(f(3.141592f64) => b"3141592000000000162174274009885266423225", 1);
|
|
check_exact!(f(3.141592e17f64) => b"3141592 ", 18);
|
|
check_exact!(f(1.0e23f64) => b"99999999999999991611392 ", 23);
|
|
check_exact!(f(f64::MAX) => b"1797693134862315708145274237317043567980", 309);
|
|
check_exact!(f(f64::MIN_POSITIVE) => b"2225073858507201383090232717332404064219", -307);
|
|
check_exact!(f(minf64) => b"4940656458412465441765687928682213723650\
|
|
5980261432476442558568250067550727020875\
|
|
1865299836361635992379796564695445717730\
|
|
9266567103559397963987747960107818781263\
|
|
0071319031140452784581716784898210368871\
|
|
8636056998730723050006387409153564984387\
|
|
3124733972731696151400317153853980741262\
|
|
3856559117102665855668676818703956031062\
|
|
4931945271591492455329305456544401127480\
|
|
1297099995419319894090804165633245247571\
|
|
4786901472678015935523861155013480352649\
|
|
3472019379026810710749170333222684475333\
|
|
5720832431936092382893458368060106011506\
|
|
1698097530783422773183292479049825247307\
|
|
7637592724787465608477820373446969953364\
|
|
7017972677717585125660551199131504891101\
|
|
4510378627381672509558373897335989936648\
|
|
0994116420570263709027924276754456522908\
|
|
7538682506419718265533447265625 ", -323);
|
|
|
|
// [1], Table 3: Stress Inputs for Converting 53-bit Binary to Decimal, < 1/2 ULP
|
|
check_exact_one!(f(8511030020275656, -342; f64) => b"9", -87);
|
|
check_exact_one!(f(5201988407066741, -824; f64) => b"46", -232);
|
|
check_exact_one!(f(6406892948269899, 237; f64) => b"141", 88);
|
|
check_exact_one!(f(8431154198732492, 72; f64) => b"3981", 38);
|
|
check_exact_one!(f(6475049196144587, 99; f64) => b"41040", 46);
|
|
check_exact_one!(f(8274307542972842, 726; f64) => b"292084", 235);
|
|
check_exact_one!(f(5381065484265332, -456; f64) => b"2891946", -121);
|
|
check_exact_one!(f(6761728585499734, -1057; f64) => b"43787718", -302);
|
|
check_exact_one!(f(7976538478610756, 376; f64) => b"122770163", 130);
|
|
check_exact_one!(f(5982403858958067, 377; f64) => b"1841552452", 130);
|
|
check_exact_one!(f(5536995190630837, 93; f64) => b"54835744350", 44);
|
|
check_exact_one!(f(7225450889282194, 710; f64) => b"389190181146", 230);
|
|
check_exact_one!(f(7225450889282194, 709; f64) => b"1945950905732", 230);
|
|
check_exact_one!(f(8703372741147379, 117; f64) => b"14460958381605", 52);
|
|
check_exact_one!(f(8944262675275217, -1001; f64) => b"417367747458531", -285);
|
|
check_exact_one!(f(7459803696087692, -707; f64) => b"1107950772878888", -196);
|
|
check_exact_one!(f(6080469016670379, -381; f64) => b"12345501366327440", -98);
|
|
check_exact_one!(f(8385515147034757, 721; f64) => b"925031711960365024", 233);
|
|
check_exact_one!(f(7514216811389786, -828; f64) => b"4198047150284889840", -233);
|
|
check_exact_one!(f(8397297803260511, -345; f64) => b"11716315319786511046", -87);
|
|
check_exact_one!(f(6733459239310543, 202; f64) => b"432810072844612493629", 77);
|
|
check_exact_one!(f(8091450587292794, -473; f64) => b"3317710118160031081518", -126);
|
|
|
|
// [1], Table 4: Stress Inputs for Converting 53-bit Binary to Decimal, > 1/2 ULP
|
|
check_exact_one!(f(6567258882077402, 952; f64) => b"3", 303);
|
|
check_exact_one!(f(6712731423444934, 535; f64) => b"76", 177);
|
|
check_exact_one!(f(6712731423444934, 534; f64) => b"378", 177);
|
|
check_exact_one!(f(5298405411573037, -957; f64) => b"4350", -272);
|
|
check_exact_one!(f(5137311167659507, -144; f64) => b"23037", -27);
|
|
check_exact_one!(f(6722280709661868, 363; f64) => b"126301", 126);
|
|
check_exact_one!(f(5344436398034927, -169; f64) => b"7142211", -35);
|
|
check_exact_one!(f(8369123604277281, -853; f64) => b"13934574", -240);
|
|
check_exact_one!(f(8995822108487663, -780; f64) => b"141463449", -218);
|
|
check_exact_one!(f(8942832835564782, -383; f64) => b"4539277920", -99);
|
|
check_exact_one!(f(8942832835564782, -384; f64) => b"22696389598", -99);
|
|
check_exact_one!(f(8942832835564782, -385; f64) => b"113481947988", -99);
|
|
check_exact_one!(f(6965949469487146, -249; f64) => b"7700366561890", -59);
|
|
check_exact_one!(f(6965949469487146, -250; f64) => b"38501832809448", -59);
|
|
check_exact_one!(f(6965949469487146, -251; f64) => b"192509164047238", -59);
|
|
check_exact_one!(f(7487252720986826, 548; f64) => b"6898586531774201", 181);
|
|
check_exact_one!(f(5592117679628511, 164; f64) => b"13076622631878654", 66);
|
|
check_exact_one!(f(8887055249355788, 665; f64) => b"136052020756121240", 217);
|
|
check_exact_one!(f(6994187472632449, 690; f64) => b"3592810217475959676", 224);
|
|
check_exact_one!(f(8797576579012143, 588; f64) => b"89125197712484551899", 193);
|
|
check_exact_one!(f(7363326733505337, 272; f64) => b"558769757362301140950", 98);
|
|
check_exact_one!(f(8549497411294502, -448; f64) => b"1176257830728540379990", -118);
|
|
}
|
|
|
|
pub fn more_shortest_sanity_test<F>(mut f: F)
|
|
where
|
|
F: for<'a> FnMut(&Decoded, &'a mut [MaybeUninit<u8>]) -> (&'a [u8], i16),
|
|
{
|
|
check_shortest!(f{mant: 99_999_999_999_999_999, minus: 1, plus: 1,
|
|
exp: 0, inclusive: true} => b"1", 18);
|
|
check_shortest!(f{mant: 99_999_999_999_999_999, minus: 1, plus: 1,
|
|
exp: 0, inclusive: false} => b"99999999999999999", 17);
|
|
}
|
|
|
|
fn to_string_with_parts<F>(mut f: F) -> String
|
|
where
|
|
F: for<'a> FnMut(&'a mut [MaybeUninit<u8>], &'a mut [MaybeUninit<Part<'a>>]) -> Formatted<'a>,
|
|
{
|
|
let mut buf = [MaybeUninit::new(0); 1024];
|
|
let mut parts = [MaybeUninit::new(Part::Zero(0)); 16];
|
|
let formatted = f(&mut buf, &mut parts);
|
|
let mut ret = vec![0; formatted.len()];
|
|
assert_eq!(formatted.write(&mut ret), Some(ret.len()));
|
|
String::from_utf8(ret).unwrap()
|
|
}
|
|
|
|
pub fn to_shortest_str_test<F>(mut f_: F)
|
|
where
|
|
F: for<'a> FnMut(&Decoded, &'a mut [MaybeUninit<u8>]) -> (&'a [u8], i16),
|
|
{
|
|
use core::num::flt2dec::Sign::*;
|
|
|
|
fn to_string<T, F>(f: &mut F, v: T, sign: Sign, frac_digits: usize) -> String
|
|
where
|
|
T: DecodableFloat,
|
|
F: for<'a> FnMut(&Decoded, &'a mut [MaybeUninit<u8>]) -> (&'a [u8], i16),
|
|
{
|
|
to_string_with_parts(|buf, parts| {
|
|
to_shortest_str(|d, b| f(d, b), v, sign, frac_digits, buf, parts)
|
|
})
|
|
}
|
|
|
|
let f = &mut f_;
|
|
|
|
assert_eq!(to_string(f, 0.0, Minus, 0), "0");
|
|
assert_eq!(to_string(f, 0.0, MinusRaw, 0), "0");
|
|
assert_eq!(to_string(f, 0.0, MinusPlus, 0), "+0");
|
|
assert_eq!(to_string(f, 0.0, MinusPlusRaw, 0), "+0");
|
|
assert_eq!(to_string(f, -0.0, Minus, 0), "0");
|
|
assert_eq!(to_string(f, -0.0, MinusRaw, 0), "-0");
|
|
assert_eq!(to_string(f, -0.0, MinusPlus, 0), "+0");
|
|
assert_eq!(to_string(f, -0.0, MinusPlusRaw, 0), "-0");
|
|
assert_eq!(to_string(f, 0.0, Minus, 1), "0.0");
|
|
assert_eq!(to_string(f, 0.0, MinusRaw, 1), "0.0");
|
|
assert_eq!(to_string(f, 0.0, MinusPlus, 1), "+0.0");
|
|
assert_eq!(to_string(f, 0.0, MinusPlusRaw, 1), "+0.0");
|
|
assert_eq!(to_string(f, -0.0, Minus, 8), "0.00000000");
|
|
assert_eq!(to_string(f, -0.0, MinusRaw, 8), "-0.00000000");
|
|
assert_eq!(to_string(f, -0.0, MinusPlus, 8), "+0.00000000");
|
|
assert_eq!(to_string(f, -0.0, MinusPlusRaw, 8), "-0.00000000");
|
|
|
|
assert_eq!(to_string(f, 1.0 / 0.0, Minus, 0), "inf");
|
|
assert_eq!(to_string(f, 1.0 / 0.0, MinusRaw, 0), "inf");
|
|
assert_eq!(to_string(f, 1.0 / 0.0, MinusPlus, 0), "+inf");
|
|
assert_eq!(to_string(f, 1.0 / 0.0, MinusPlusRaw, 0), "+inf");
|
|
assert_eq!(to_string(f, 0.0 / 0.0, Minus, 0), "NaN");
|
|
assert_eq!(to_string(f, 0.0 / 0.0, MinusRaw, 1), "NaN");
|
|
assert_eq!(to_string(f, 0.0 / 0.0, MinusPlus, 8), "NaN");
|
|
assert_eq!(to_string(f, 0.0 / 0.0, MinusPlusRaw, 64), "NaN");
|
|
assert_eq!(to_string(f, -1.0 / 0.0, Minus, 0), "-inf");
|
|
assert_eq!(to_string(f, -1.0 / 0.0, MinusRaw, 1), "-inf");
|
|
assert_eq!(to_string(f, -1.0 / 0.0, MinusPlus, 8), "-inf");
|
|
assert_eq!(to_string(f, -1.0 / 0.0, MinusPlusRaw, 64), "-inf");
|
|
|
|
assert_eq!(to_string(f, 3.14, Minus, 0), "3.14");
|
|
assert_eq!(to_string(f, 3.14, MinusRaw, 0), "3.14");
|
|
assert_eq!(to_string(f, 3.14, MinusPlus, 0), "+3.14");
|
|
assert_eq!(to_string(f, 3.14, MinusPlusRaw, 0), "+3.14");
|
|
assert_eq!(to_string(f, -3.14, Minus, 0), "-3.14");
|
|
assert_eq!(to_string(f, -3.14, MinusRaw, 0), "-3.14");
|
|
assert_eq!(to_string(f, -3.14, MinusPlus, 0), "-3.14");
|
|
assert_eq!(to_string(f, -3.14, MinusPlusRaw, 0), "-3.14");
|
|
assert_eq!(to_string(f, 3.14, Minus, 1), "3.14");
|
|
assert_eq!(to_string(f, 3.14, MinusRaw, 2), "3.14");
|
|
assert_eq!(to_string(f, 3.14, MinusPlus, 3), "+3.140");
|
|
assert_eq!(to_string(f, 3.14, MinusPlusRaw, 4), "+3.1400");
|
|
assert_eq!(to_string(f, -3.14, Minus, 8), "-3.14000000");
|
|
assert_eq!(to_string(f, -3.14, MinusRaw, 8), "-3.14000000");
|
|
assert_eq!(to_string(f, -3.14, MinusPlus, 8), "-3.14000000");
|
|
assert_eq!(to_string(f, -3.14, MinusPlusRaw, 8), "-3.14000000");
|
|
|
|
assert_eq!(to_string(f, 7.5e-11, Minus, 0), "0.000000000075");
|
|
assert_eq!(to_string(f, 7.5e-11, Minus, 3), "0.000000000075");
|
|
assert_eq!(to_string(f, 7.5e-11, Minus, 12), "0.000000000075");
|
|
assert_eq!(to_string(f, 7.5e-11, Minus, 13), "0.0000000000750");
|
|
|
|
assert_eq!(to_string(f, 1.9971e20, Minus, 0), "199710000000000000000");
|
|
assert_eq!(to_string(f, 1.9971e20, Minus, 1), "199710000000000000000.0");
|
|
assert_eq!(to_string(f, 1.9971e20, Minus, 8), "199710000000000000000.00000000");
|
|
|
|
assert_eq!(to_string(f, f32::MAX, Minus, 0), format!("34028235{:0>31}", ""));
|
|
assert_eq!(to_string(f, f32::MAX, Minus, 1), format!("34028235{:0>31}.0", ""));
|
|
assert_eq!(to_string(f, f32::MAX, Minus, 8), format!("34028235{:0>31}.00000000", ""));
|
|
|
|
let minf32 = ldexp_f32(1.0, -149);
|
|
assert_eq!(to_string(f, minf32, Minus, 0), format!("0.{:0>44}1", ""));
|
|
assert_eq!(to_string(f, minf32, Minus, 45), format!("0.{:0>44}1", ""));
|
|
assert_eq!(to_string(f, minf32, Minus, 46), format!("0.{:0>44}10", ""));
|
|
|
|
assert_eq!(to_string(f, f64::MAX, Minus, 0), format!("17976931348623157{:0>292}", ""));
|
|
assert_eq!(to_string(f, f64::MAX, Minus, 1), format!("17976931348623157{:0>292}.0", ""));
|
|
assert_eq!(to_string(f, f64::MAX, Minus, 8), format!("17976931348623157{:0>292}.00000000", ""));
|
|
|
|
let minf64 = ldexp_f64(1.0, -1074);
|
|
assert_eq!(to_string(f, minf64, Minus, 0), format!("0.{:0>323}5", ""));
|
|
assert_eq!(to_string(f, minf64, Minus, 324), format!("0.{:0>323}5", ""));
|
|
assert_eq!(to_string(f, minf64, Minus, 325), format!("0.{:0>323}50", ""));
|
|
|
|
if cfg!(miri) {
|
|
// Miri is too slow
|
|
return;
|
|
}
|
|
|
|
// very large output
|
|
assert_eq!(to_string(f, 1.1, Minus, 80000), format!("1.1{:0>79999}", ""));
|
|
}
|
|
|
|
pub fn to_shortest_exp_str_test<F>(mut f_: F)
|
|
where
|
|
F: for<'a> FnMut(&Decoded, &'a mut [MaybeUninit<u8>]) -> (&'a [u8], i16),
|
|
{
|
|
use core::num::flt2dec::Sign::*;
|
|
|
|
fn to_string<T, F>(f: &mut F, v: T, sign: Sign, exp_bounds: (i16, i16), upper: bool) -> String
|
|
where
|
|
T: DecodableFloat,
|
|
F: for<'a> FnMut(&Decoded, &'a mut [MaybeUninit<u8>]) -> (&'a [u8], i16),
|
|
{
|
|
to_string_with_parts(|buf, parts| {
|
|
to_shortest_exp_str(|d, b| f(d, b), v, sign, exp_bounds, upper, buf, parts)
|
|
})
|
|
}
|
|
|
|
let f = &mut f_;
|
|
|
|
assert_eq!(to_string(f, 0.0, Minus, (-4, 16), false), "0");
|
|
assert_eq!(to_string(f, 0.0, MinusRaw, (-4, 16), false), "0");
|
|
assert_eq!(to_string(f, 0.0, MinusPlus, (-4, 16), false), "+0");
|
|
assert_eq!(to_string(f, 0.0, MinusPlusRaw, (-4, 16), false), "+0");
|
|
assert_eq!(to_string(f, -0.0, Minus, (-4, 16), false), "0");
|
|
assert_eq!(to_string(f, -0.0, MinusRaw, (-4, 16), false), "-0");
|
|
assert_eq!(to_string(f, -0.0, MinusPlus, (-4, 16), false), "+0");
|
|
assert_eq!(to_string(f, -0.0, MinusPlusRaw, (-4, 16), false), "-0");
|
|
assert_eq!(to_string(f, 0.0, Minus, (0, 0), true), "0E0");
|
|
assert_eq!(to_string(f, 0.0, MinusRaw, (0, 0), false), "0e0");
|
|
assert_eq!(to_string(f, 0.0, MinusPlus, (-9, -5), true), "+0E0");
|
|
assert_eq!(to_string(f, 0.0, MinusPlusRaw, (5, 9), false), "+0e0");
|
|
assert_eq!(to_string(f, -0.0, Minus, (0, 0), true), "0E0");
|
|
assert_eq!(to_string(f, -0.0, MinusRaw, (0, 0), false), "-0e0");
|
|
assert_eq!(to_string(f, -0.0, MinusPlus, (-9, -5), true), "+0E0");
|
|
assert_eq!(to_string(f, -0.0, MinusPlusRaw, (5, 9), false), "-0e0");
|
|
|
|
assert_eq!(to_string(f, 1.0 / 0.0, Minus, (-4, 16), false), "inf");
|
|
assert_eq!(to_string(f, 1.0 / 0.0, MinusRaw, (-4, 16), true), "inf");
|
|
assert_eq!(to_string(f, 1.0 / 0.0, MinusPlus, (-4, 16), false), "+inf");
|
|
assert_eq!(to_string(f, 1.0 / 0.0, MinusPlusRaw, (-4, 16), true), "+inf");
|
|
assert_eq!(to_string(f, 0.0 / 0.0, Minus, (0, 0), false), "NaN");
|
|
assert_eq!(to_string(f, 0.0 / 0.0, MinusRaw, (0, 0), true), "NaN");
|
|
assert_eq!(to_string(f, 0.0 / 0.0, MinusPlus, (-9, -5), false), "NaN");
|
|
assert_eq!(to_string(f, 0.0 / 0.0, MinusPlusRaw, (5, 9), true), "NaN");
|
|
assert_eq!(to_string(f, -1.0 / 0.0, Minus, (0, 0), false), "-inf");
|
|
assert_eq!(to_string(f, -1.0 / 0.0, MinusRaw, (0, 0), true), "-inf");
|
|
assert_eq!(to_string(f, -1.0 / 0.0, MinusPlus, (-9, -5), false), "-inf");
|
|
assert_eq!(to_string(f, -1.0 / 0.0, MinusPlusRaw, (5, 9), true), "-inf");
|
|
|
|
assert_eq!(to_string(f, 3.14, Minus, (-4, 16), false), "3.14");
|
|
assert_eq!(to_string(f, 3.14, MinusRaw, (-4, 16), false), "3.14");
|
|
assert_eq!(to_string(f, 3.14, MinusPlus, (-4, 16), false), "+3.14");
|
|
assert_eq!(to_string(f, 3.14, MinusPlusRaw, (-4, 16), false), "+3.14");
|
|
assert_eq!(to_string(f, -3.14, Minus, (-4, 16), false), "-3.14");
|
|
assert_eq!(to_string(f, -3.14, MinusRaw, (-4, 16), false), "-3.14");
|
|
assert_eq!(to_string(f, -3.14, MinusPlus, (-4, 16), false), "-3.14");
|
|
assert_eq!(to_string(f, -3.14, MinusPlusRaw, (-4, 16), false), "-3.14");
|
|
assert_eq!(to_string(f, 3.14, Minus, (0, 0), true), "3.14E0");
|
|
assert_eq!(to_string(f, 3.14, MinusRaw, (0, 0), false), "3.14e0");
|
|
assert_eq!(to_string(f, 3.14, MinusPlus, (-9, -5), true), "+3.14E0");
|
|
assert_eq!(to_string(f, 3.14, MinusPlusRaw, (5, 9), false), "+3.14e0");
|
|
assert_eq!(to_string(f, -3.14, Minus, (0, 0), true), "-3.14E0");
|
|
assert_eq!(to_string(f, -3.14, MinusRaw, (0, 0), false), "-3.14e0");
|
|
assert_eq!(to_string(f, -3.14, MinusPlus, (-9, -5), true), "-3.14E0");
|
|
assert_eq!(to_string(f, -3.14, MinusPlusRaw, (5, 9), false), "-3.14e0");
|
|
|
|
assert_eq!(to_string(f, 0.1, Minus, (-4, 16), false), "0.1");
|
|
assert_eq!(to_string(f, 0.1, MinusRaw, (-4, 16), false), "0.1");
|
|
assert_eq!(to_string(f, 0.1, MinusPlus, (-4, 16), false), "+0.1");
|
|
assert_eq!(to_string(f, 0.1, MinusPlusRaw, (-4, 16), false), "+0.1");
|
|
assert_eq!(to_string(f, -0.1, Minus, (-4, 16), false), "-0.1");
|
|
assert_eq!(to_string(f, -0.1, MinusRaw, (-4, 16), false), "-0.1");
|
|
assert_eq!(to_string(f, -0.1, MinusPlus, (-4, 16), false), "-0.1");
|
|
assert_eq!(to_string(f, -0.1, MinusPlusRaw, (-4, 16), false), "-0.1");
|
|
assert_eq!(to_string(f, 0.1, Minus, (0, 0), true), "1E-1");
|
|
assert_eq!(to_string(f, 0.1, MinusRaw, (0, 0), false), "1e-1");
|
|
assert_eq!(to_string(f, 0.1, MinusPlus, (-9, -5), true), "+1E-1");
|
|
assert_eq!(to_string(f, 0.1, MinusPlusRaw, (5, 9), false), "+1e-1");
|
|
assert_eq!(to_string(f, -0.1, Minus, (0, 0), true), "-1E-1");
|
|
assert_eq!(to_string(f, -0.1, MinusRaw, (0, 0), false), "-1e-1");
|
|
assert_eq!(to_string(f, -0.1, MinusPlus, (-9, -5), true), "-1E-1");
|
|
assert_eq!(to_string(f, -0.1, MinusPlusRaw, (5, 9), false), "-1e-1");
|
|
|
|
assert_eq!(to_string(f, 7.5e-11, Minus, (-4, 16), false), "7.5e-11");
|
|
assert_eq!(to_string(f, 7.5e-11, Minus, (-11, 10), false), "0.000000000075");
|
|
assert_eq!(to_string(f, 7.5e-11, Minus, (-10, 11), false), "7.5e-11");
|
|
|
|
assert_eq!(to_string(f, 1.9971e20, Minus, (-4, 16), false), "1.9971e20");
|
|
assert_eq!(to_string(f, 1.9971e20, Minus, (-20, 21), false), "199710000000000000000");
|
|
assert_eq!(to_string(f, 1.9971e20, Minus, (-21, 20), false), "1.9971e20");
|
|
|
|
// the true value of 1.0e23f64 is less than 10^23, but that shouldn't matter here
|
|
assert_eq!(to_string(f, 1.0e23, Minus, (22, 23), false), "1e23");
|
|
assert_eq!(to_string(f, 1.0e23, Minus, (23, 24), false), "100000000000000000000000");
|
|
assert_eq!(to_string(f, 1.0e23, Minus, (24, 25), false), "1e23");
|
|
|
|
assert_eq!(to_string(f, f32::MAX, Minus, (-4, 16), false), "3.4028235e38");
|
|
assert_eq!(to_string(f, f32::MAX, Minus, (-39, 38), false), "3.4028235e38");
|
|
assert_eq!(to_string(f, f32::MAX, Minus, (-38, 39), false), format!("34028235{:0>31}", ""));
|
|
|
|
let minf32 = ldexp_f32(1.0, -149);
|
|
assert_eq!(to_string(f, minf32, Minus, (-4, 16), false), "1e-45");
|
|
assert_eq!(to_string(f, minf32, Minus, (-44, 45), false), "1e-45");
|
|
assert_eq!(to_string(f, minf32, Minus, (-45, 44), false), format!("0.{:0>44}1", ""));
|
|
|
|
assert_eq!(to_string(f, f64::MAX, Minus, (-4, 16), false), "1.7976931348623157e308");
|
|
assert_eq!(
|
|
to_string(f, f64::MAX, Minus, (-308, 309), false),
|
|
format!("17976931348623157{:0>292}", "")
|
|
);
|
|
assert_eq!(to_string(f, f64::MAX, Minus, (-309, 308), false), "1.7976931348623157e308");
|
|
|
|
let minf64 = ldexp_f64(1.0, -1074);
|
|
assert_eq!(to_string(f, minf64, Minus, (-4, 16), false), "5e-324");
|
|
assert_eq!(to_string(f, minf64, Minus, (-324, 323), false), format!("0.{:0>323}5", ""));
|
|
assert_eq!(to_string(f, minf64, Minus, (-323, 324), false), "5e-324");
|
|
|
|
assert_eq!(to_string(f, 1.1, Minus, (i16::MIN, i16::MAX), false), "1.1");
|
|
}
|
|
|
|
pub fn to_exact_exp_str_test<F>(mut f_: F)
|
|
where
|
|
F: for<'a> FnMut(&Decoded, &'a mut [MaybeUninit<u8>], i16) -> (&'a [u8], i16),
|
|
{
|
|
use core::num::flt2dec::Sign::*;
|
|
|
|
fn to_string<T, F>(f: &mut F, v: T, sign: Sign, ndigits: usize, upper: bool) -> String
|
|
where
|
|
T: DecodableFloat,
|
|
F: for<'a> FnMut(&Decoded, &'a mut [MaybeUninit<u8>], i16) -> (&'a [u8], i16),
|
|
{
|
|
to_string_with_parts(|buf, parts| {
|
|
to_exact_exp_str(|d, b, l| f(d, b, l), v, sign, ndigits, upper, buf, parts)
|
|
})
|
|
}
|
|
|
|
let f = &mut f_;
|
|
|
|
assert_eq!(to_string(f, 0.0, Minus, 1, true), "0E0");
|
|
assert_eq!(to_string(f, 0.0, MinusRaw, 1, false), "0e0");
|
|
assert_eq!(to_string(f, 0.0, MinusPlus, 1, true), "+0E0");
|
|
assert_eq!(to_string(f, 0.0, MinusPlusRaw, 1, false), "+0e0");
|
|
assert_eq!(to_string(f, -0.0, Minus, 1, true), "0E0");
|
|
assert_eq!(to_string(f, -0.0, MinusRaw, 1, false), "-0e0");
|
|
assert_eq!(to_string(f, -0.0, MinusPlus, 1, true), "+0E0");
|
|
assert_eq!(to_string(f, -0.0, MinusPlusRaw, 1, false), "-0e0");
|
|
assert_eq!(to_string(f, 0.0, Minus, 2, true), "0.0E0");
|
|
assert_eq!(to_string(f, 0.0, MinusRaw, 2, false), "0.0e0");
|
|
assert_eq!(to_string(f, 0.0, MinusPlus, 2, true), "+0.0E0");
|
|
assert_eq!(to_string(f, 0.0, MinusPlusRaw, 2, false), "+0.0e0");
|
|
assert_eq!(to_string(f, -0.0, Minus, 8, true), "0.0000000E0");
|
|
assert_eq!(to_string(f, -0.0, MinusRaw, 8, false), "-0.0000000e0");
|
|
assert_eq!(to_string(f, -0.0, MinusPlus, 8, true), "+0.0000000E0");
|
|
assert_eq!(to_string(f, -0.0, MinusPlusRaw, 8, false), "-0.0000000e0");
|
|
|
|
assert_eq!(to_string(f, 1.0 / 0.0, Minus, 1, false), "inf");
|
|
assert_eq!(to_string(f, 1.0 / 0.0, MinusRaw, 1, true), "inf");
|
|
assert_eq!(to_string(f, 1.0 / 0.0, MinusPlus, 1, false), "+inf");
|
|
assert_eq!(to_string(f, 1.0 / 0.0, MinusPlusRaw, 1, true), "+inf");
|
|
assert_eq!(to_string(f, 0.0 / 0.0, Minus, 8, false), "NaN");
|
|
assert_eq!(to_string(f, 0.0 / 0.0, MinusRaw, 8, true), "NaN");
|
|
assert_eq!(to_string(f, 0.0 / 0.0, MinusPlus, 8, false), "NaN");
|
|
assert_eq!(to_string(f, 0.0 / 0.0, MinusPlusRaw, 8, true), "NaN");
|
|
assert_eq!(to_string(f, -1.0 / 0.0, Minus, 64, false), "-inf");
|
|
assert_eq!(to_string(f, -1.0 / 0.0, MinusRaw, 64, true), "-inf");
|
|
assert_eq!(to_string(f, -1.0 / 0.0, MinusPlus, 64, false), "-inf");
|
|
assert_eq!(to_string(f, -1.0 / 0.0, MinusPlusRaw, 64, true), "-inf");
|
|
|
|
assert_eq!(to_string(f, 3.14, Minus, 1, true), "3E0");
|
|
assert_eq!(to_string(f, 3.14, MinusRaw, 1, false), "3e0");
|
|
assert_eq!(to_string(f, 3.14, MinusPlus, 1, true), "+3E0");
|
|
assert_eq!(to_string(f, 3.14, MinusPlusRaw, 1, false), "+3e0");
|
|
assert_eq!(to_string(f, -3.14, Minus, 2, true), "-3.1E0");
|
|
assert_eq!(to_string(f, -3.14, MinusRaw, 2, false), "-3.1e0");
|
|
assert_eq!(to_string(f, -3.14, MinusPlus, 2, true), "-3.1E0");
|
|
assert_eq!(to_string(f, -3.14, MinusPlusRaw, 2, false), "-3.1e0");
|
|
assert_eq!(to_string(f, 3.14, Minus, 3, true), "3.14E0");
|
|
assert_eq!(to_string(f, 3.14, MinusRaw, 3, false), "3.14e0");
|
|
assert_eq!(to_string(f, 3.14, MinusPlus, 3, true), "+3.14E0");
|
|
assert_eq!(to_string(f, 3.14, MinusPlusRaw, 3, false), "+3.14e0");
|
|
assert_eq!(to_string(f, -3.14, Minus, 4, true), "-3.140E0");
|
|
assert_eq!(to_string(f, -3.14, MinusRaw, 4, false), "-3.140e0");
|
|
assert_eq!(to_string(f, -3.14, MinusPlus, 4, true), "-3.140E0");
|
|
assert_eq!(to_string(f, -3.14, MinusPlusRaw, 4, false), "-3.140e0");
|
|
|
|
assert_eq!(to_string(f, 0.195, Minus, 1, false), "2e-1");
|
|
assert_eq!(to_string(f, 0.195, MinusRaw, 1, true), "2E-1");
|
|
assert_eq!(to_string(f, 0.195, MinusPlus, 1, false), "+2e-1");
|
|
assert_eq!(to_string(f, 0.195, MinusPlusRaw, 1, true), "+2E-1");
|
|
assert_eq!(to_string(f, -0.195, Minus, 2, false), "-2.0e-1");
|
|
assert_eq!(to_string(f, -0.195, MinusRaw, 2, true), "-2.0E-1");
|
|
assert_eq!(to_string(f, -0.195, MinusPlus, 2, false), "-2.0e-1");
|
|
assert_eq!(to_string(f, -0.195, MinusPlusRaw, 2, true), "-2.0E-1");
|
|
assert_eq!(to_string(f, 0.195, Minus, 3, false), "1.95e-1");
|
|
assert_eq!(to_string(f, 0.195, MinusRaw, 3, true), "1.95E-1");
|
|
assert_eq!(to_string(f, 0.195, MinusPlus, 3, false), "+1.95e-1");
|
|
assert_eq!(to_string(f, 0.195, MinusPlusRaw, 3, true), "+1.95E-1");
|
|
assert_eq!(to_string(f, -0.195, Minus, 4, false), "-1.950e-1");
|
|
assert_eq!(to_string(f, -0.195, MinusRaw, 4, true), "-1.950E-1");
|
|
assert_eq!(to_string(f, -0.195, MinusPlus, 4, false), "-1.950e-1");
|
|
assert_eq!(to_string(f, -0.195, MinusPlusRaw, 4, true), "-1.950E-1");
|
|
|
|
assert_eq!(to_string(f, 9.5, Minus, 1, false), "1e1");
|
|
assert_eq!(to_string(f, 9.5, Minus, 2, false), "9.5e0");
|
|
assert_eq!(to_string(f, 9.5, Minus, 3, false), "9.50e0");
|
|
assert_eq!(to_string(f, 9.5, Minus, 30, false), "9.50000000000000000000000000000e0");
|
|
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 1, false), "1e25");
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 2, false), "1.0e25");
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 15, false), "1.00000000000000e25");
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 16, false), "1.000000000000000e25");
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 17, false), "1.0000000000000001e25");
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 18, false), "1.00000000000000009e25");
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 19, false), "1.000000000000000091e25");
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 20, false), "1.0000000000000000906e25");
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 21, false), "1.00000000000000009060e25");
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 22, false), "1.000000000000000090597e25");
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 23, false), "1.0000000000000000905970e25");
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 24, false), "1.00000000000000009059697e25");
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 25, false), "1.000000000000000090596966e25");
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 26, false), "1.0000000000000000905969664e25");
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 27, false), "1.00000000000000009059696640e25");
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 30, false), "1.00000000000000009059696640000e25");
|
|
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 1, false), "1e-6");
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 2, false), "1.0e-6");
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 16, false), "1.000000000000000e-6");
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 17, false), "9.9999999999999995e-7");
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 18, false), "9.99999999999999955e-7");
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 19, false), "9.999999999999999547e-7");
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 20, false), "9.9999999999999995475e-7");
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 30, false), "9.99999999999999954748111825886e-7");
|
|
assert_eq!(
|
|
to_string(f, 1.0e-6, Minus, 40, false),
|
|
"9.999999999999999547481118258862586856139e-7"
|
|
);
|
|
assert_eq!(
|
|
to_string(f, 1.0e-6, Minus, 50, false),
|
|
"9.9999999999999995474811182588625868561393872369081e-7"
|
|
);
|
|
assert_eq!(
|
|
to_string(f, 1.0e-6, Minus, 60, false),
|
|
"9.99999999999999954748111825886258685613938723690807819366455e-7"
|
|
);
|
|
assert_eq!(
|
|
to_string(f, 1.0e-6, Minus, 70, false),
|
|
"9.999999999999999547481118258862586856139387236908078193664550781250000e-7"
|
|
);
|
|
|
|
assert_eq!(to_string(f, f32::MAX, Minus, 1, false), "3e38");
|
|
assert_eq!(to_string(f, f32::MAX, Minus, 2, false), "3.4e38");
|
|
assert_eq!(to_string(f, f32::MAX, Minus, 4, false), "3.403e38");
|
|
assert_eq!(to_string(f, f32::MAX, Minus, 8, false), "3.4028235e38");
|
|
assert_eq!(to_string(f, f32::MAX, Minus, 16, false), "3.402823466385289e38");
|
|
assert_eq!(to_string(f, f32::MAX, Minus, 32, false), "3.4028234663852885981170418348452e38");
|
|
assert_eq!(
|
|
to_string(f, f32::MAX, Minus, 64, false),
|
|
"3.402823466385288598117041834845169254400000000000000000000000000e38"
|
|
);
|
|
|
|
let minf32 = ldexp_f32(1.0, -149);
|
|
assert_eq!(to_string(f, minf32, Minus, 1, false), "1e-45");
|
|
assert_eq!(to_string(f, minf32, Minus, 2, false), "1.4e-45");
|
|
assert_eq!(to_string(f, minf32, Minus, 4, false), "1.401e-45");
|
|
assert_eq!(to_string(f, minf32, Minus, 8, false), "1.4012985e-45");
|
|
assert_eq!(to_string(f, minf32, Minus, 16, false), "1.401298464324817e-45");
|
|
assert_eq!(to_string(f, minf32, Minus, 32, false), "1.4012984643248170709237295832899e-45");
|
|
assert_eq!(
|
|
to_string(f, minf32, Minus, 64, false),
|
|
"1.401298464324817070923729583289916131280261941876515771757068284e-45"
|
|
);
|
|
assert_eq!(
|
|
to_string(f, minf32, Minus, 128, false),
|
|
"1.401298464324817070923729583289916131280261941876515771757068283\
|
|
8897910826858606014866381883621215820312500000000000000000000000e-45"
|
|
);
|
|
|
|
if cfg!(miri) {
|
|
// Miri is too slow
|
|
return;
|
|
}
|
|
|
|
assert_eq!(to_string(f, f64::MAX, Minus, 1, false), "2e308");
|
|
assert_eq!(to_string(f, f64::MAX, Minus, 2, false), "1.8e308");
|
|
assert_eq!(to_string(f, f64::MAX, Minus, 4, false), "1.798e308");
|
|
assert_eq!(to_string(f, f64::MAX, Minus, 8, false), "1.7976931e308");
|
|
assert_eq!(to_string(f, f64::MAX, Minus, 16, false), "1.797693134862316e308");
|
|
assert_eq!(to_string(f, f64::MAX, Minus, 32, false), "1.7976931348623157081452742373170e308");
|
|
assert_eq!(
|
|
to_string(f, f64::MAX, Minus, 64, false),
|
|
"1.797693134862315708145274237317043567980705675258449965989174768e308"
|
|
);
|
|
assert_eq!(
|
|
to_string(f, f64::MAX, Minus, 128, false),
|
|
"1.797693134862315708145274237317043567980705675258449965989174768\
|
|
0315726078002853876058955863276687817154045895351438246423432133e308"
|
|
);
|
|
assert_eq!(
|
|
to_string(f, f64::MAX, Minus, 256, false),
|
|
"1.797693134862315708145274237317043567980705675258449965989174768\
|
|
0315726078002853876058955863276687817154045895351438246423432132\
|
|
6889464182768467546703537516986049910576551282076245490090389328\
|
|
9440758685084551339423045832369032229481658085593321233482747978e308"
|
|
);
|
|
assert_eq!(
|
|
to_string(f, f64::MAX, Minus, 512, false),
|
|
"1.797693134862315708145274237317043567980705675258449965989174768\
|
|
0315726078002853876058955863276687817154045895351438246423432132\
|
|
6889464182768467546703537516986049910576551282076245490090389328\
|
|
9440758685084551339423045832369032229481658085593321233482747978\
|
|
2620414472316873817718091929988125040402618412485836800000000000\
|
|
0000000000000000000000000000000000000000000000000000000000000000\
|
|
0000000000000000000000000000000000000000000000000000000000000000\
|
|
0000000000000000000000000000000000000000000000000000000000000000e308"
|
|
);
|
|
|
|
// okay, this is becoming tough. fortunately for us, this is almost the worst case.
|
|
let minf64 = ldexp_f64(1.0, -1074);
|
|
assert_eq!(to_string(f, minf64, Minus, 1, false), "5e-324");
|
|
assert_eq!(to_string(f, minf64, Minus, 2, false), "4.9e-324");
|
|
assert_eq!(to_string(f, minf64, Minus, 4, false), "4.941e-324");
|
|
assert_eq!(to_string(f, minf64, Minus, 8, false), "4.9406565e-324");
|
|
assert_eq!(to_string(f, minf64, Minus, 16, false), "4.940656458412465e-324");
|
|
assert_eq!(to_string(f, minf64, Minus, 32, false), "4.9406564584124654417656879286822e-324");
|
|
assert_eq!(
|
|
to_string(f, minf64, Minus, 64, false),
|
|
"4.940656458412465441765687928682213723650598026143247644255856825e-324"
|
|
);
|
|
assert_eq!(
|
|
to_string(f, minf64, Minus, 128, false),
|
|
"4.940656458412465441765687928682213723650598026143247644255856825\
|
|
0067550727020875186529983636163599237979656469544571773092665671e-324"
|
|
);
|
|
assert_eq!(
|
|
to_string(f, minf64, Minus, 256, false),
|
|
"4.940656458412465441765687928682213723650598026143247644255856825\
|
|
0067550727020875186529983636163599237979656469544571773092665671\
|
|
0355939796398774796010781878126300713190311404527845817167848982\
|
|
1036887186360569987307230500063874091535649843873124733972731696e-324"
|
|
);
|
|
assert_eq!(
|
|
to_string(f, minf64, Minus, 512, false),
|
|
"4.940656458412465441765687928682213723650598026143247644255856825\
|
|
0067550727020875186529983636163599237979656469544571773092665671\
|
|
0355939796398774796010781878126300713190311404527845817167848982\
|
|
1036887186360569987307230500063874091535649843873124733972731696\
|
|
1514003171538539807412623856559117102665855668676818703956031062\
|
|
4931945271591492455329305456544401127480129709999541931989409080\
|
|
4165633245247571478690147267801593552386115501348035264934720193\
|
|
7902681071074917033322268447533357208324319360923828934583680601e-324"
|
|
);
|
|
assert_eq!(
|
|
to_string(f, minf64, Minus, 1024, false),
|
|
"4.940656458412465441765687928682213723650598026143247644255856825\
|
|
0067550727020875186529983636163599237979656469544571773092665671\
|
|
0355939796398774796010781878126300713190311404527845817167848982\
|
|
1036887186360569987307230500063874091535649843873124733972731696\
|
|
1514003171538539807412623856559117102665855668676818703956031062\
|
|
4931945271591492455329305456544401127480129709999541931989409080\
|
|
4165633245247571478690147267801593552386115501348035264934720193\
|
|
7902681071074917033322268447533357208324319360923828934583680601\
|
|
0601150616980975307834227731832924790498252473077637592724787465\
|
|
6084778203734469699533647017972677717585125660551199131504891101\
|
|
4510378627381672509558373897335989936648099411642057026370902792\
|
|
4276754456522908753868250641971826553344726562500000000000000000\
|
|
0000000000000000000000000000000000000000000000000000000000000000\
|
|
0000000000000000000000000000000000000000000000000000000000000000\
|
|
0000000000000000000000000000000000000000000000000000000000000000\
|
|
0000000000000000000000000000000000000000000000000000000000000000e-324"
|
|
);
|
|
|
|
// very large output
|
|
assert_eq!(to_string(f, 0.0, Minus, 80000, false), format!("0.{:0>79999}e0", ""));
|
|
assert_eq!(to_string(f, 1.0e1, Minus, 80000, false), format!("1.{:0>79999}e1", ""));
|
|
assert_eq!(to_string(f, 1.0e0, Minus, 80000, false), format!("1.{:0>79999}e0", ""));
|
|
assert_eq!(
|
|
to_string(f, 1.0e-1, Minus, 80000, false),
|
|
format!(
|
|
"1.000000000000000055511151231257827021181583404541015625{:0>79945}\
|
|
e-1",
|
|
""
|
|
)
|
|
);
|
|
assert_eq!(
|
|
to_string(f, 1.0e-20, Minus, 80000, false),
|
|
format!(
|
|
"9.999999999999999451532714542095716517295037027873924471077157760\
|
|
66783064379706047475337982177734375{:0>79901}e-21",
|
|
""
|
|
)
|
|
);
|
|
}
|
|
|
|
pub fn to_exact_fixed_str_test<F>(mut f_: F)
|
|
where
|
|
F: for<'a> FnMut(&Decoded, &'a mut [MaybeUninit<u8>], i16) -> (&'a [u8], i16),
|
|
{
|
|
use core::num::flt2dec::Sign::*;
|
|
|
|
fn to_string<T, F>(f: &mut F, v: T, sign: Sign, frac_digits: usize) -> String
|
|
where
|
|
T: DecodableFloat,
|
|
F: for<'a> FnMut(&Decoded, &'a mut [MaybeUninit<u8>], i16) -> (&'a [u8], i16),
|
|
{
|
|
to_string_with_parts(|buf, parts| {
|
|
to_exact_fixed_str(|d, b, l| f(d, b, l), v, sign, frac_digits, buf, parts)
|
|
})
|
|
}
|
|
|
|
let f = &mut f_;
|
|
|
|
assert_eq!(to_string(f, 0.0, Minus, 0), "0");
|
|
assert_eq!(to_string(f, 0.0, MinusRaw, 0), "0");
|
|
assert_eq!(to_string(f, 0.0, MinusPlus, 0), "+0");
|
|
assert_eq!(to_string(f, 0.0, MinusPlusRaw, 0), "+0");
|
|
assert_eq!(to_string(f, -0.0, Minus, 0), "0");
|
|
assert_eq!(to_string(f, -0.0, MinusRaw, 0), "-0");
|
|
assert_eq!(to_string(f, -0.0, MinusPlus, 0), "+0");
|
|
assert_eq!(to_string(f, -0.0, MinusPlusRaw, 0), "-0");
|
|
assert_eq!(to_string(f, 0.0, Minus, 1), "0.0");
|
|
assert_eq!(to_string(f, 0.0, MinusRaw, 1), "0.0");
|
|
assert_eq!(to_string(f, 0.0, MinusPlus, 1), "+0.0");
|
|
assert_eq!(to_string(f, 0.0, MinusPlusRaw, 1), "+0.0");
|
|
assert_eq!(to_string(f, -0.0, Minus, 8), "0.00000000");
|
|
assert_eq!(to_string(f, -0.0, MinusRaw, 8), "-0.00000000");
|
|
assert_eq!(to_string(f, -0.0, MinusPlus, 8), "+0.00000000");
|
|
assert_eq!(to_string(f, -0.0, MinusPlusRaw, 8), "-0.00000000");
|
|
|
|
assert_eq!(to_string(f, 1.0 / 0.0, Minus, 0), "inf");
|
|
assert_eq!(to_string(f, 1.0 / 0.0, MinusRaw, 1), "inf");
|
|
assert_eq!(to_string(f, 1.0 / 0.0, MinusPlus, 8), "+inf");
|
|
assert_eq!(to_string(f, 1.0 / 0.0, MinusPlusRaw, 64), "+inf");
|
|
assert_eq!(to_string(f, 0.0 / 0.0, Minus, 0), "NaN");
|
|
assert_eq!(to_string(f, 0.0 / 0.0, MinusRaw, 1), "NaN");
|
|
assert_eq!(to_string(f, 0.0 / 0.0, MinusPlus, 8), "NaN");
|
|
assert_eq!(to_string(f, 0.0 / 0.0, MinusPlusRaw, 64), "NaN");
|
|
assert_eq!(to_string(f, -1.0 / 0.0, Minus, 0), "-inf");
|
|
assert_eq!(to_string(f, -1.0 / 0.0, MinusRaw, 1), "-inf");
|
|
assert_eq!(to_string(f, -1.0 / 0.0, MinusPlus, 8), "-inf");
|
|
assert_eq!(to_string(f, -1.0 / 0.0, MinusPlusRaw, 64), "-inf");
|
|
|
|
assert_eq!(to_string(f, 3.14, Minus, 0), "3");
|
|
assert_eq!(to_string(f, 3.14, MinusRaw, 0), "3");
|
|
assert_eq!(to_string(f, 3.14, MinusPlus, 0), "+3");
|
|
assert_eq!(to_string(f, 3.14, MinusPlusRaw, 0), "+3");
|
|
assert_eq!(to_string(f, -3.14, Minus, 0), "-3");
|
|
assert_eq!(to_string(f, -3.14, MinusRaw, 0), "-3");
|
|
assert_eq!(to_string(f, -3.14, MinusPlus, 0), "-3");
|
|
assert_eq!(to_string(f, -3.14, MinusPlusRaw, 0), "-3");
|
|
assert_eq!(to_string(f, 3.14, Minus, 1), "3.1");
|
|
assert_eq!(to_string(f, 3.14, MinusRaw, 2), "3.14");
|
|
assert_eq!(to_string(f, 3.14, MinusPlus, 3), "+3.140");
|
|
assert_eq!(to_string(f, 3.14, MinusPlusRaw, 4), "+3.1400");
|
|
assert_eq!(to_string(f, -3.14, Minus, 8), "-3.14000000");
|
|
assert_eq!(to_string(f, -3.14, MinusRaw, 8), "-3.14000000");
|
|
assert_eq!(to_string(f, -3.14, MinusPlus, 8), "-3.14000000");
|
|
assert_eq!(to_string(f, -3.14, MinusPlusRaw, 8), "-3.14000000");
|
|
|
|
assert_eq!(to_string(f, 0.195, Minus, 0), "0");
|
|
assert_eq!(to_string(f, 0.195, MinusRaw, 0), "0");
|
|
assert_eq!(to_string(f, 0.195, MinusPlus, 0), "+0");
|
|
assert_eq!(to_string(f, 0.195, MinusPlusRaw, 0), "+0");
|
|
assert_eq!(to_string(f, -0.195, Minus, 0), "-0");
|
|
assert_eq!(to_string(f, -0.195, MinusRaw, 0), "-0");
|
|
assert_eq!(to_string(f, -0.195, MinusPlus, 0), "-0");
|
|
assert_eq!(to_string(f, -0.195, MinusPlusRaw, 0), "-0");
|
|
assert_eq!(to_string(f, 0.195, Minus, 1), "0.2");
|
|
assert_eq!(to_string(f, 0.195, MinusRaw, 2), "0.20");
|
|
assert_eq!(to_string(f, 0.195, MinusPlus, 3), "+0.195");
|
|
assert_eq!(to_string(f, 0.195, MinusPlusRaw, 4), "+0.1950");
|
|
assert_eq!(to_string(f, -0.195, Minus, 5), "-0.19500");
|
|
assert_eq!(to_string(f, -0.195, MinusRaw, 6), "-0.195000");
|
|
assert_eq!(to_string(f, -0.195, MinusPlus, 7), "-0.1950000");
|
|
assert_eq!(to_string(f, -0.195, MinusPlusRaw, 8), "-0.19500000");
|
|
|
|
assert_eq!(to_string(f, 999.5, Minus, 0), "1000");
|
|
assert_eq!(to_string(f, 999.5, Minus, 1), "999.5");
|
|
assert_eq!(to_string(f, 999.5, Minus, 2), "999.50");
|
|
assert_eq!(to_string(f, 999.5, Minus, 3), "999.500");
|
|
assert_eq!(to_string(f, 999.5, Minus, 30), "999.500000000000000000000000000000");
|
|
|
|
assert_eq!(to_string(f, 0.5, Minus, 0), "1");
|
|
assert_eq!(to_string(f, 0.5, Minus, 1), "0.5");
|
|
assert_eq!(to_string(f, 0.5, Minus, 2), "0.50");
|
|
assert_eq!(to_string(f, 0.5, Minus, 3), "0.500");
|
|
|
|
assert_eq!(to_string(f, 0.95, Minus, 0), "1");
|
|
assert_eq!(to_string(f, 0.95, Minus, 1), "0.9"); // because it really is less than 0.95
|
|
assert_eq!(to_string(f, 0.95, Minus, 2), "0.95");
|
|
assert_eq!(to_string(f, 0.95, Minus, 3), "0.950");
|
|
assert_eq!(to_string(f, 0.95, Minus, 10), "0.9500000000");
|
|
assert_eq!(to_string(f, 0.95, Minus, 30), "0.949999999999999955591079014994");
|
|
|
|
assert_eq!(to_string(f, 0.095, Minus, 0), "0");
|
|
assert_eq!(to_string(f, 0.095, Minus, 1), "0.1");
|
|
assert_eq!(to_string(f, 0.095, Minus, 2), "0.10");
|
|
assert_eq!(to_string(f, 0.095, Minus, 3), "0.095");
|
|
assert_eq!(to_string(f, 0.095, Minus, 4), "0.0950");
|
|
assert_eq!(to_string(f, 0.095, Minus, 10), "0.0950000000");
|
|
assert_eq!(to_string(f, 0.095, Minus, 30), "0.095000000000000001110223024625");
|
|
|
|
assert_eq!(to_string(f, 0.0095, Minus, 0), "0");
|
|
assert_eq!(to_string(f, 0.0095, Minus, 1), "0.0");
|
|
assert_eq!(to_string(f, 0.0095, Minus, 2), "0.01");
|
|
assert_eq!(to_string(f, 0.0095, Minus, 3), "0.009"); // really is less than 0.0095
|
|
assert_eq!(to_string(f, 0.0095, Minus, 4), "0.0095");
|
|
assert_eq!(to_string(f, 0.0095, Minus, 5), "0.00950");
|
|
assert_eq!(to_string(f, 0.0095, Minus, 10), "0.0095000000");
|
|
assert_eq!(to_string(f, 0.0095, Minus, 30), "0.009499999999999999764077607267");
|
|
|
|
assert_eq!(to_string(f, 7.5e-11, Minus, 0), "0");
|
|
assert_eq!(to_string(f, 7.5e-11, Minus, 3), "0.000");
|
|
assert_eq!(to_string(f, 7.5e-11, Minus, 10), "0.0000000001");
|
|
assert_eq!(to_string(f, 7.5e-11, Minus, 11), "0.00000000007"); // ditto
|
|
assert_eq!(to_string(f, 7.5e-11, Minus, 12), "0.000000000075");
|
|
assert_eq!(to_string(f, 7.5e-11, Minus, 13), "0.0000000000750");
|
|
assert_eq!(to_string(f, 7.5e-11, Minus, 20), "0.00000000007500000000");
|
|
assert_eq!(to_string(f, 7.5e-11, Minus, 30), "0.000000000074999999999999999501");
|
|
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 0), "10000000000000000905969664");
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 1), "10000000000000000905969664.0");
|
|
assert_eq!(to_string(f, 1.0e25, Minus, 3), "10000000000000000905969664.000");
|
|
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 0), "0");
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 3), "0.000");
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 6), "0.000001");
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 9), "0.000001000");
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 12), "0.000001000000");
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 22), "0.0000010000000000000000");
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 23), "0.00000099999999999999995");
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 24), "0.000000999999999999999955");
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 25), "0.0000009999999999999999547");
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 35), "0.00000099999999999999995474811182589");
|
|
assert_eq!(to_string(f, 1.0e-6, Minus, 45), "0.000000999999999999999954748111825886258685614");
|
|
assert_eq!(
|
|
to_string(f, 1.0e-6, Minus, 55),
|
|
"0.0000009999999999999999547481118258862586856139387236908"
|
|
);
|
|
assert_eq!(
|
|
to_string(f, 1.0e-6, Minus, 65),
|
|
"0.00000099999999999999995474811182588625868561393872369080781936646"
|
|
);
|
|
assert_eq!(
|
|
to_string(f, 1.0e-6, Minus, 75),
|
|
"0.000000999999999999999954748111825886258685613938723690807819366455078125000"
|
|
);
|
|
|
|
assert_eq!(to_string(f, f32::MAX, Minus, 0), "340282346638528859811704183484516925440");
|
|
assert_eq!(to_string(f, f32::MAX, Minus, 1), "340282346638528859811704183484516925440.0");
|
|
assert_eq!(to_string(f, f32::MAX, Minus, 2), "340282346638528859811704183484516925440.00");
|
|
|
|
if cfg!(miri) {
|
|
// Miri is too slow
|
|
return;
|
|
}
|
|
|
|
let minf32 = ldexp_f32(1.0, -149);
|
|
assert_eq!(to_string(f, minf32, Minus, 0), "0");
|
|
assert_eq!(to_string(f, minf32, Minus, 1), "0.0");
|
|
assert_eq!(to_string(f, minf32, Minus, 2), "0.00");
|
|
assert_eq!(to_string(f, minf32, Minus, 4), "0.0000");
|
|
assert_eq!(to_string(f, minf32, Minus, 8), "0.00000000");
|
|
assert_eq!(to_string(f, minf32, Minus, 16), "0.0000000000000000");
|
|
assert_eq!(to_string(f, minf32, Minus, 32), "0.00000000000000000000000000000000");
|
|
assert_eq!(
|
|
to_string(f, minf32, Minus, 64),
|
|
"0.0000000000000000000000000000000000000000000014012984643248170709"
|
|
);
|
|
assert_eq!(
|
|
to_string(f, minf32, Minus, 128),
|
|
"0.0000000000000000000000000000000000000000000014012984643248170709\
|
|
2372958328991613128026194187651577175706828388979108268586060149"
|
|
);
|
|
assert_eq!(
|
|
to_string(f, minf32, Minus, 256),
|
|
"0.0000000000000000000000000000000000000000000014012984643248170709\
|
|
2372958328991613128026194187651577175706828388979108268586060148\
|
|
6638188362121582031250000000000000000000000000000000000000000000\
|
|
0000000000000000000000000000000000000000000000000000000000000000"
|
|
);
|
|
|
|
assert_eq!(
|
|
to_string(f, f64::MAX, Minus, 0),
|
|
"1797693134862315708145274237317043567980705675258449965989174768\
|
|
0315726078002853876058955863276687817154045895351438246423432132\
|
|
6889464182768467546703537516986049910576551282076245490090389328\
|
|
9440758685084551339423045832369032229481658085593321233482747978\
|
|
26204144723168738177180919299881250404026184124858368"
|
|
);
|
|
assert_eq!(
|
|
to_string(f, f64::MAX, Minus, 10),
|
|
"1797693134862315708145274237317043567980705675258449965989174768\
|
|
0315726078002853876058955863276687817154045895351438246423432132\
|
|
6889464182768467546703537516986049910576551282076245490090389328\
|
|
9440758685084551339423045832369032229481658085593321233482747978\
|
|
26204144723168738177180919299881250404026184124858368.0000000000"
|
|
);
|
|
|
|
let minf64 = ldexp_f64(1.0, -1074);
|
|
assert_eq!(to_string(f, minf64, Minus, 0), "0");
|
|
assert_eq!(to_string(f, minf64, Minus, 1), "0.0");
|
|
assert_eq!(to_string(f, minf64, Minus, 10), "0.0000000000");
|
|
assert_eq!(
|
|
to_string(f, minf64, Minus, 100),
|
|
"0.0000000000000000000000000000000000000000000000000000000000000000\
|
|
000000000000000000000000000000000000"
|
|
);
|
|
assert_eq!(
|
|
to_string(f, minf64, Minus, 1000),
|
|
"0.0000000000000000000000000000000000000000000000000000000000000000\
|
|
0000000000000000000000000000000000000000000000000000000000000000\
|
|
0000000000000000000000000000000000000000000000000000000000000000\
|
|
0000000000000000000000000000000000000000000000000000000000000000\
|
|
0000000000000000000000000000000000000000000000000000000000000000\
|
|
0004940656458412465441765687928682213723650598026143247644255856\
|
|
8250067550727020875186529983636163599237979656469544571773092665\
|
|
6710355939796398774796010781878126300713190311404527845817167848\
|
|
9821036887186360569987307230500063874091535649843873124733972731\
|
|
6961514003171538539807412623856559117102665855668676818703956031\
|
|
0624931945271591492455329305456544401127480129709999541931989409\
|
|
0804165633245247571478690147267801593552386115501348035264934720\
|
|
1937902681071074917033322268447533357208324319360923828934583680\
|
|
6010601150616980975307834227731832924790498252473077637592724787\
|
|
4656084778203734469699533647017972677717585125660551199131504891\
|
|
1014510378627381672509558373897335989937"
|
|
);
|
|
|
|
// very large output
|
|
assert_eq!(to_string(f, 0.0, Minus, 80000), format!("0.{:0>80000}", ""));
|
|
assert_eq!(to_string(f, 1.0e1, Minus, 80000), format!("10.{:0>80000}", ""));
|
|
assert_eq!(to_string(f, 1.0e0, Minus, 80000), format!("1.{:0>80000}", ""));
|
|
assert_eq!(
|
|
to_string(f, 1.0e-1, Minus, 80000),
|
|
format!("0.1000000000000000055511151231257827021181583404541015625{:0>79945}", "")
|
|
);
|
|
assert_eq!(
|
|
to_string(f, 1.0e-20, Minus, 80000),
|
|
format!(
|
|
"0.0000000000000000000099999999999999994515327145420957165172950370\
|
|
2787392447107715776066783064379706047475337982177734375{:0>79881}",
|
|
""
|
|
)
|
|
);
|
|
}
|