stillwater-sc / universal / 28295959931

85%

master: 84%

Build Type

push

github

Committed by web-flow

Commit Message

feat(efloat): implement Tier-1 mathematical library and integer constructors (#1122)

* feat(efloat): implement Tier-1 mathematical library and integer ctors (#1092)

Introduce bootstrap correctly rounded square root (sqrt.hpp), natural exponentiation
(exponent.hpp), and natural logarithm (logarithm.hpp) under standard repository math/
categories.

Expose master mathlib.hpp including these Tier-1 headers, and activate the uncommented
include inside efloat.hpp.

Fix restoring division overflow bit-loss: in divide_limbs(), insert a leading zero limb
'0u' at index 0 of dvd and div before the loop, providing an overflow buffer that preserves
all shifted bits. This completely fixes division on non-power-of-2 numbers, allowing
Newton-Raphson to correctly converge.

Fix integer constructor empty stubs: implement convert_signed() and convert_unsigned() by
properly delegating to convert_ieee754(static_cast<double>(v)) instead of leaving
non-zero integer constructed objects as Zero.

Create math.cpp inside elastic/efloat/math/ to verify all Tier-1 math functions (sqrt, exp,
log) and their corresponding exceptional limits and status flags.

Resolves #1092
Relates to Epic #1101, PR #1107

* fix(efloat): resolve CodeRabbit review comments on mathlib Tier-1

1. Fix integer constructors: replace the double-casting convert_signed and convert_unsigned
   with 100% exact, lossless 64-bit integer bit-packing directly into efloat's limbs,
   preventing float-precision truncation above 2^53.

2. Fix exp() range overflow: add a defensive check (x.scale() >= 17) to return +/-inf/0.0 and
   raise overflow/underflow flags before the study-reduction int64_t cast, avoiding UB.

3. Fix log() and sqrt() double narrowing: derive initial guesses (seeds) for the Newton solvers
   directly from efloat's own scale/exponent information instead of double, enabling exact
   conversions on infinite exponent ranges (e.g. 2^2000 and 2^-2000) without underflowing/overflowing
   to zero/inf.
... (continued)

Coverage Stats

91 of 106 new or added lines in 4 files covered. (85.85%)

12 existing lines in 3 files now uncovered.

48694 of 57534 relevant lines covered (84.64%)

6757305.64 hits per line