stillwater-sc / universal / 25288593758

84%

master: 84%

Build Type

push

github

Committed by web-flow

Commit Message

feat(dfixpnt): full constexpr support across all operators (#803)

* feat(dfixpnt): full constexpr support across all operators

Promotes dfixpnt (decimal fixed-point) to fully constexpr across
construction, arithmetic (+, -, *, /, +=, -=, *=, /=), increment/
decrement (++/--), comparison (==, !=, <, >, <=, >=), unary negation,
and conversion-out (operator int/long/long long/unsigned long long/
float/double).  First static-storage-tier extension under Epic #723
beyond the cascade trio + dd/qd.

The work spans two files: the underlying blockdecimal storage and
dfixpnt itself.

blockdecimal changes (internal/blockdecimal/blockdecimal.hpp):
  - Constructors taking int/long/long long/unsigned long long: marked
    constexpr.  Added member-initializer list (_negative{false},
    _block{}) so the constexpr constructor body can safely call
    convert_unsigned/convert_signed on a fully-initialized object.
    The trivial default constructor (= default) is untouched.
  - Assignment operators for native integer types: marked constexpr.
  - Conversion-out operators (long long, unsigned long long, int,
    long, unsigned int, unsigned long, float, double): marked constexpr.
  - Digit access (digit, setdigit) and queries (iszero, sign, isneg,
    ispos): marked constexpr.  assert() calls replaced with
    "caller-enforced precondition" comments since C++20 assert is not
    constexpr-clean.
  - Modifiers (clear, setsign, setbits, maxval): marked constexpr.
  - Conversion (to_uint64, to_long_long, to_double): marked constexpr.
  - Unary negation, +=, -=, *=, /=, %=, <<=, >>=: marked constexpr.
  - operator/= and operator%=: std::cerr divide-by-zero diagnostic
    guarded under !std::is_constant_evaluated() so the function is
    fully constexpr-callable when the THROW configuration is off.
  - shift_left, shift_right: marked constexpr.
  - Free comparison operators (==, !=, <, >, <=, >=): marked constexpr.
    operator<= rebuilt as operator< || operator==, operato... (continued)

Coverage Stats

80 of 84 new or added lines in 2 files covered. (95.24%)

13 existing lines in 3 files now uncovered.

45775 of 54361 relevant lines covered (84.21%)

6512789.94 hits per line