stillwater-sc / universal / 25087156079

84%

master: 84%

Build Type

push

github

Committed by web-flow

Commit Message

feat(areal): full constexpr support across all operators (#792)

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

Brings the areal type (faithful floating-point with uncertainty bit)
to fully constexpr across construction, arithmetic, comparison, and
unary negation. Part of the umbrella effort tracked in #723.

Changes in include/sw/universal/number/areal/areal_impl.hpp:

- Unary operator-(): mark constexpr noexcept (line 777). Body was
  already a single bit-mask XOR; just needed the marker.

- operator++ prefix and postfix (lines 960, 997): mark constexpr.
  Bodies were already constexpr-clean integer arithmetic on the block
  storage; just needed the markers.

- operator-- prefix (line 1002): was an unimplemented stub returning
  *this with no decrement. Implement as the symmetric inverse of
  operator++ -- a borrow-on-zero decrement on block storage with the
  modulo wrap-around (000...000 -> 111...111). Promote postfix to
  constexpr in the same patch.

- Free convert(blocktriple, areal, bool) (line 1977): mark constexpr.
  This is the keystone of the arithmetic constexpr promotion -- every
  compound arithmetic operator routes through it. Body uses src.at()
  and target setters that were already constexpr (PR #716 work on
  blockbinary; blocktriple::at was already constexpr).

- Compound arithmetic operators +=, -=, *=, /= and their double
  overloads (lines 783, 826, 829, 837, 840, 890, 893, 953): mark
  constexpr. Each routes through normalize<Op> -> blocktriple::<op> ->
  free convert(); all three building blocks are now constexpr.

- Comparison operators == and != (lines 2140, 2149): mark constexpr.
  Bodies were already constexpr-clean (block-by-block array compare).

- Comparison operator< family (lines 2151-2157): refactor and promote.
  The prior implementation was (lhs - rhs).isneg() which routes
  through arithmetic. Replace with a direct sign-magnitude bit
  comparison that is constexpr-clean, faster, and avoids the
  const... (continued)

Coverage Stats

15 of 15 new or added lines in 1 file covered. (100.0%)

20 existing lines in 3 files now uncovered.

45709 of 54230 relevant lines covered (84.29%)

6239999.12 hits per line