stillwater-sc / universal / 28136296907

85%

master: 84%

Build Type

push

github

Committed by web-flow

Commit Message

feat(efloat): implement core multiplication/division engines and standard regression tests (#1103)

* feat(efloat): implement core multiplication/division engines and standard regression tests (#1090)

Implement constexpr-compatible static multiply_limbs (reversing inputs for LSB-first
long multiplication, then reversing the product back) and static divide_limbs (bit-by-bit
restoring division) to support MSB-first limb layouts.

Implement constexpr operator*=, operator/=, and their scalar double equivalents
in efloat_impl.hpp, handling all special cases (NaN, Inf, Zero math rules),
exponent math, and precision limits.

Refactor all underlying limb helpers (shift_right, grow_for_shift, align_sizes,
add_limbs, subtract_limbs, and normalize) to cleanly and consistently use the native
MSB-first layout, which simplifies trailing-zero truncation to pop_back() and resolves
all historical fuzzer offsets.

Add comprehensive standard-conforming regression tests for multiplication.cpp
and division.cpp, testing algebraic invariants, special values, and fuzzing
strict invariants (commutativity, identity, self-division, zero-product).

Resolves #1090
Relates to Epic #1101

* fix(efloat): resolve compile-time constexpr.cpp failures and multiplication typos

Correct the static assertion inside constexpr.cpp to expect isnan() for
constexpr division on 0/0, which matches our correct mathematical implementation.

Correct the expected product value of 123456 * 654321 inside multiplication.cpp
to the true exact product 80779853376.0, resolving the limb expansion test failure.

Relates to #1090, #1103

Coverage Stats

104 of 117 new or added lines in 1 file covered. (88.89%)

29 existing lines in 3 files now uncovered.

48350 of 57102 relevant lines covered (84.67%)

6727761.38 hits per line