stillwater-sc / universal / 21833272337

85%

master: 85%

Build Type

push

github

Committed by web-flow

Commit Message

V3.95: Block formats and CI compile caches (#502)

* Incrementing SEMVER to v3.95.1

* axpy/gemm/gemv now protect against out-of-bound requests

* Don't push a Docker image if the build failed in some way

* protecting against div by 0 when input sample vector is empty

* areal enhancement of integer assignment

old implementation did a conversion to double, which loses information
for integer values > 2^53.

Now using a constexpr guarded path to pick up the information bits
if the areal is big enough to hold them.

* The new test file static/areal/conversion/integer_conversion.cpp covers:

  1. VerifySmallIntegerConversion — powers of 2, small odd integers, and signed integers within the type's representable range; tests both the
  double-delegation path (fbits < 53) and the native path (fbits >= 53)
  2. VerifyLargeUnsignedIntegerConversion — values beyond 2^53 (2^53+1, 2^54+1, 2^53+3, large powers of 2, UINT64_MAX) with verification that the ubit is
  correctly set when bits are truncated and clear when representation is exact
  3. VerifyLargeSignedIntegerConversion — -(2^53+1), INT64_MIN, INT64_MIN+1, INT64_MAX with sign bit and ubit verification
  4. VerifyIntegerDoubleConsistency — verifies bit-for-bit agreement between the integer assignment path and the double assignment path for integers up to
  2^53 (where both should produce identical results)

* Replaced the duplicated union-based type-punning in to_binary() with:

  1. #include <universal/utility/bit_cast.hpp> — the project's own portable sw::bit_cast backport (constexpr on C++20 compilers, memcpy-based fallback
  otherwise)
  2. print_scalar_bits() helper — a single template function that handles float (via sw::bit_cast<uint32_t>), double (via sw::bit_cast<uint64_t>), and a
  streaming fallback for other scalar types
  3. to_binary() now calls print_scalar_bits() twice (for v.lo() and v.hi()), eliminating the four duplicated union/loop blocks

  This removes undefined behavior (union typ... (continued)

Run Details

1056 of 1113 new or added lines in 16 files covered. (94.88%)

2 existing lines in 1 file now uncovered.

35738 of 42132 relevant lines covered (84.82%)

6273224.38 hits per line