pub mod frac_part {
use core::num::NonZero;
#[inline]
pub const fn u8(val: NonZero<u8>) -> i32 {
let val = val.get();
if val > 25 {
-1
} else if val > 2 {
-2
} else {
-3
}
}
#[inline]
pub const fn u16(val: NonZero<u16>) -> i32 {
let val = val.get();
if val > 6553 {
-1
} else if val > 655 {
-2
} else if val > 65 {
-3
} else if val > 6 {
-4
} else {
-5
}
}
pub const fn u32(val: NonZero<u32>) -> i32 {
const MAX: u32 = u32::MAX;
let mut val = val.get();
if val <= MAX / 100_000_000 {
val *= 100_000_000;
if val > MAX / 10 {
-9
} else {
debug_assert!(val > MAX / 100);
-10
}
} else {
greater_equal_m8_u32(val)
}
}
pub const fn u64(val: NonZero<u64>) -> i32 {
const MAX: u64 = u64::MAX;
let mut val = val.get();
let mut log = 0;
if val <= MAX / 10_000_000_000_000_000 {
val *= 10_000_000_000_000_000;
log += -16;
} else {
if val <= MAX / 100_000_000 {
val *= 100_000_000;
log += -8;
}
if val <= MAX / 10_000 {
val *= 10_000;
log += -4;
}
}
log + if val > MAX / 10 {
-1
} else if val > MAX / 100 {
-2
} else if val > MAX / 1000 {
-3
} else {
debug_assert!(val > MAX / 10_000);
-4
}
}
pub const fn u128(val: NonZero<u128>) -> i32 {
const MAX: u128 = u128::MAX;
let mut val = val.get();
let mut log = 0;
if val <= MAX / 100_000_000_000_000_000_000_000_000_000_000 {
val *= 100_000_000_000_000_000_000_000_000_000_000;
return -32 + greater_equal_m8_u32((val >> 96) as u32);
}
if val <= MAX / 10_000_000_000_000_000 {
val *= 10_000_000_000_000_000;
log += -16;
}
if val <= MAX / 100_000_000 {
val *= 100_000_000;
log += -8;
}
if log == -24 {
return -24 + greater_equal_m8_u64((val >> 64) as u64);
}
if val <= MAX / 10_000 {
val *= 10_000;
log += -4;
}
log + if val > MAX / 10 {
-1
} else if val > MAX / 100 {
-2
} else if val > MAX / 1000 {
-3
} else {
debug_assert!(val > MAX / 10_000);
-4
}
}
const fn greater_equal_m8_u32(mut val: u32) -> i32 {
const MAX: u32 = u32::MAX;
debug_assert!(val > MAX / 100_000_000);
let mut log = 0;
if val <= MAX / 10_000 {
val *= 10_000;
log += -4;
}
log + if val > MAX / 10 {
-1
} else if val > MAX / 100 {
-2
} else if val > MAX / 1000 {
-3
} else {
debug_assert!(val > MAX / 10_000);
-4
}
}
const fn greater_equal_m8_u64(mut val: u64) -> i32 {
const MAX: u64 = u64::MAX;
debug_assert!(val > MAX / 100_000_000);
let mut log = 0;
if val <= MAX / 10_000 {
val *= 10_000;
log += -4;
}
log + if val > MAX / 10 {
-1
} else if val > MAX / 100 {
-2
} else if val > MAX / 1000 {
-3
} else {
debug_assert!(val > MAX / 10_000);
-4
}
}
}
#[cfg(test)]
mod tests {
use crate::log;
use crate::log::Base;
use crate::log10;
use core::num::NonZero;
const DEC: Base = match Base::new(10) {
Some(s) => s,
None => unreachable!(),
};
macro_rules! check_loop {
($T:ident) => {
for i in 0..=$T::MAX.ilog10() as i32 {
let p = (10 as $T).pow(i as u32);
let nz = NonZero::<$T>::new(p).unwrap();
if i > 0 {
let nz_m1 = NonZero::<$T>::new(p - 1).unwrap();
assert_eq!((p - 1).ilog10() as i32, i - 1);
assert_eq!(log::int_part::$T(nz_m1, DEC), i - 1);
}
assert_eq!(p.ilog10() as i32, i);
assert_eq!(log::int_part::$T(nz, DEC), i);
let nz_p1 = NonZero::<$T>::new(p + 1).unwrap();
assert_eq!((p + 1).ilog10() as i32, i);
assert_eq!(log::int_part::$T(nz_p1, DEC), i);
}
for i in 0..-log10::frac_part::$T(NonZero::<$T>::new(1).unwrap()) {
let p = <$T>::MAX / (10 as $T).pow(i as u32);
let nz = NonZero::<$T>::new(p).unwrap();
if p > 1 {
let nz_m1 = NonZero::<$T>::new(p - 1).unwrap();
assert_eq!(log10::frac_part::$T(nz_m1), -1 - i);
assert_eq!(log::frac_part::$T(nz_m1, DEC), -1 - i);
}
assert_eq!(log10::frac_part::$T(nz), -1 - i);
assert_eq!(log::frac_part::$T(nz, DEC), -1 - i);
if i > 0 {
let nz_p1 = NonZero::<$T>::new(p + 1).unwrap();
assert_eq!(log10::frac_part::$T(nz_p1), -i);
assert_eq!(log::frac_part::$T(nz_p1, DEC), -i);
}
}
};
}
#[test]
fn log10_u8() {
let one = NonZero::<u8>::new(1).unwrap();
assert_eq!(1u8.ilog10(), 0);
assert_eq!(log::int_part::u8(one, DEC), 0);
assert_eq!(u8::MAX.ilog10(), 2);
assert_eq!(log::int_part::u8(NonZero::<u8>::MAX, DEC), 2);
assert_eq!(log10::frac_part::u8(one), -3);
assert_eq!(log::frac_part::u8(one, DEC), -3);
assert_eq!(log10::frac_part::u8(NonZero::<u8>::MAX), -1);
assert_eq!(log::frac_part::u8(NonZero::<u8>::MAX, DEC), -1);
check_loop! { u8 }
}
#[test]
fn log10_u16() {
let one = NonZero::<u16>::new(1).unwrap();
assert_eq!(1u16.ilog10(), 0);
assert_eq!(log::int_part::u16(one, DEC), 0);
assert_eq!(u16::MAX.ilog10(), 4);
assert_eq!(log::int_part::u16(NonZero::<u16>::MAX, DEC), 4);
assert_eq!(log10::frac_part::u16(one), -5);
assert_eq!(log::frac_part::u16(one, DEC), -5);
assert_eq!(log10::frac_part::u16(NonZero::<u16>::MAX), -1);
assert_eq!(log::frac_part::u16(NonZero::<u16>::MAX, DEC), -1);
check_loop! { u16 }
}
#[test]
fn log10_u32() {
let one = NonZero::<u32>::new(1).unwrap();
assert_eq!(1u32.ilog10(), 0);
assert_eq!(log::int_part::u32(NonZero::<u32>::new(1).unwrap(), DEC), 0);
assert_eq!(u32::MAX.ilog10(), 9);
assert_eq!(log::int_part::u32(NonZero::<u32>::MAX, DEC), 9);
assert_eq!(log10::frac_part::u32(one), -10);
assert_eq!(log::frac_part::u32(one, DEC), -10);
assert_eq!(log10::frac_part::u32(NonZero::<u32>::MAX), -1);
assert_eq!(log::frac_part::u32(NonZero::<u32>::MAX, DEC), -1);
check_loop! { u32 }
}
#[test]
fn log10_u64() {
let one = NonZero::<u64>::new(1).unwrap();
assert_eq!(1u64.ilog10(), 0);
assert_eq!(log::int_part::u64(one, DEC), 0);
assert_eq!(u64::MAX.ilog10(), 19);
assert_eq!(log::int_part::u64(NonZero::<u64>::MAX, DEC), 19);
assert_eq!(log10::frac_part::u64(one), -20);
assert_eq!(log::frac_part::u64(one, DEC), -20);
assert_eq!(log10::frac_part::u64(NonZero::<u64>::MAX), -1);
assert_eq!(log::frac_part::u64(NonZero::<u64>::MAX, DEC), -1);
check_loop! { u64 }
}
#[test]
fn log10_u128() {
let one = NonZero::<u128>::new(1).unwrap();
assert_eq!(1u128.ilog10(), 0);
assert_eq!(log::int_part::u128(one, DEC), 0);
assert_eq!(u128::MAX.ilog10(), 38);
assert_eq!(log::int_part::u128(NonZero::<u128>::MAX, DEC), 38);
assert_eq!(log10::frac_part::u128(one), -39);
assert_eq!(log::frac_part::u128(one, DEC), -39);
assert_eq!(log10::frac_part::u128(NonZero::<u128>::MAX), -1);
assert_eq!(log::frac_part::u128(NonZero::<u128>::MAX, DEC), -1);
check_loop! { u128 }
}
}