stillwater-sc / universal
84%
master: 84%

LAST BUILD BRANCH: feat/issue-725-bfloat16-constexpr
DEFAULT BRANCH: master
Repo Added
Files 633
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: main
CHANGE BRANCH
x

coverage: 84.371% (+0.004%) from 84.367%
24881139213

push

github

web-flow 
feat(posit): enable constexpr IEEE-754 construction (Phase 2 of #713) (#717)

* feat(posit): enable constexpr IEEE-754 construction (Phase 2 of #713)

Phase 2 completes constexpr posit construction from numeric literals.
Float, double, and (where supported) long double inputs can now be used
in constant expressions:

  constexpr posit<32, 2> pi(3.14);     // now works
  constexpr posit<32, 2> npi(-3.14);   // now works
  constexpr posit<8,  0> pi8(3.14);    // now works
  constexpr posit<64, 3> big(1.0e100); // now works

Implementation:

1. encode_positive_with_scale_and_fraction(scale, frac, num_fbits, sat):
   Generalizes the integer-only encoder from Phase 1 to accept a separate
   scale and fraction-bit width. Handles negative scale via Euclidean
   division so the regime/exponent split works for sub-1.0 values. Handles
   negative regime (k<0) with the proper "(-k) zeros + 1 terminator"
   layout. encode_positive_uint64 is now a thin wrapper that derives
   scale = find_msb(v) - 1.

2. convert_ieee754 rewritten:
   - extractFields() (bit-cast based, BIT_CAST_CONSTEXPR) replaces frexp
   - Raw-exponent NaN/Inf check (rawExp == eallset) replaces std::isnan
     and std::isinf
   - Subnormals normalized via find_msb on rawFrac to produce a 1.frac'
     representation with scale = msb_pos - bias - fbits
   - For nbits <= 64: route to encode_positive_with_scale_and_fraction
     (sign applied via uint64 two's complement)
   - For nbits > 64: route to convert_<>() with a blocksignificand
     (convert_<>() became constexpr in PR #716)
   - Function marked BIT_CAST_CONSTEXPR (constexpr where __builtin_bit_cast
     is constexpr - gcc, clang, MSVC modern)

Tests:
- static/tapered/posit/api/api.cpp gets a "constexpr IEEE-754 construction"
  block covering posit<{8,16,32,64},{0,1,2,3}> from float and double, plus
  a subnormal float case (1e-40f) that exercises find_msb normalization.

Cross-compiler regression validation (gcc-13 + clang-18, -std=c++20):
... (continued)

96 of 100 new or added lines in 1 file covered. (96.0%)

12 existing lines in 2 files now uncovered.

44942 of 53267 relevant lines covered (84.37%)

6452764.52 hits per line

Relevant lines Covered
53267 RELEVANT LINES 44942 COVERED LINES
6452764.52 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
24881139213 main feat(posit): enable constexpr IEEE-754 construction (Phase 2 of #713) (#717) * feat(posit): enable constexpr IEEE-754 construction (Phase 2 of #713) Phase 2 completes constexpr posit construction from numeric literals. Float, double, and (where ... push web-flow github
84.37
24864610179 main feat(blockbinary): promote arithmetic operators to constexpr (PR 2 of #713) (#716) * feat(blockbinary): promote arithmetic operators to constexpr (PR 2 of #713) Mark blockbinary's arithmetic and bitwise operators constexpr so that posit convert_... push web-flow github
84.37
24863021025 main feat(posit): enable constexpr integer construction (Phase 1 of #713) (#714) * feat(posit): enable constexpr integer construction (Phase 1 of #713) Adds true constexpr integer-to-posit conversion via uint64_t shift/mask, bypassing the previous do... push web-flow github
84.39
24585301926 main fix(tools): guard <bit> header include for MSVC without /Zc:__cplusplus (#711) * fix(native): guard <bit> include for MSVC without /Zc:__cplusplus The <bit> include in utility/bit_cast.hpp was gated behind __cplusplus >= 202002L, which fails on ... push web-flow github
84.37
24527319924 main fix(cmake): clean up stale install config and orphan files (#709) * cleaning up bad cmake config state * fix(cmake): clean up stale install config and orphan files Installed universal-config.cmake was globally forcing CMAKE_CXX_STANDARD, breaki... push web-flow github
84.36
24350825956 main feat(edecimal): adding an performance test (#707) push web-flow github
84.39
24248240237 main feat(bisection): promote storage to blockbinary for nbits > 64 (#706) * feat(bisection): promote storage to blockbinary for nbits > 64 Replace int64_t storage with a dual-path design: using bits_type = conditional_t<(nbits <= 64), int64_t, ... push web-flow github
84.37
24223726910 main feat(bisection): validation suite and documentation (#705) * feat(bisection): validation suite and documentation Add comprehensive validation tests and documentation for the bisection coding framework, closing the final sub-issue of Epic #687. ... push web-flow github
84.35
24209459485 main feat(bisection): template AuxReal for high-precision interval bisection (#703) * feat(bisection): template AuxReal for high-precision interval bisection Parameterize bisection<G, R, nbits, bt, AuxReal = double> so the interval bisection pipeline... push web-flow github
84.37
24088222519 main ci: allow 'bisection' as a conventional commit scope (#702) Add 'bisection' to the allowed scopes list so PRs touching the bisection coding framework (Epic #687, sub-issues #688-#693) can use the natural scope tag instead of falling back to 'tool... push web-flow github
84.34
See All Builds (390)