stillwater-sc / universal
85%
master: 84%

LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Repo Added
Files 600
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: SELECT
CHANGE BRANCH
x

coverage: 85.211% (-0.02%) from 85.234%
30683503007

push

github

web-flow 
fix(quire): size cfloat quire radix_point from smallest normal LSB (#1202) (#1288)

* fix(quire): size cfloat quire radix_point from smallest normal LSB (#1202)

quire_traits<cfloat>::radix_point was derived from |min value scale| in the
no-subnormals branch (bias-1), which is the scale of the smallest normal's
MSB (hidden bit). But that value carries fbits fraction bits below it, down
to 2^(1-bias-fbits), so its square needs 2*(bias+fbits-1) fraction bits.
The old no-subnormals radix_point (2*(bias-1)) was 2*fbits short, so the
quire truncated products of small-but-normal operands: an "exact" cfloat<16,5>
dot floored at ~2^-28 (rel err ~1e-9, worse than accumulating in double), and
cfloat<8,2> had radix_point 0 (no fraction bits at all).

The smallest representable magnitude's LSB is at scale (1-bias-fbits) in BOTH
subnormal modes -- without subnormals the smallest normal's fraction reaches
exactly as low as the smallest subnormal -- so radix_point does not depend on
hasSubnormals. Unify abs_min_scale = bias + fbits - 1 (guarded for the
degenerate bias+fbits==0 case), matching the native float/double
specializations and the file's own documented examples (cfloat<8,3>=12,
cfloat<32,8>=298, which the buggy code contradicted at 4 and 252).

Regression (static/quire/api/cfloat.cpp TestExactDotSmallNormals): an exact
quire dot over near-minpos NORMAL operands is bit-exact vs an independent
double oracle for cfloat<8,2> and cfloat<16,5> in BOTH subnormal modes, plus
static_asserts on the documented radix_point values. Fails on pre-fix headers
(cfloat<8,2> delivered 8 vs exact 10.37; cfloat<16,5> ~1e-9 off), passes with
the fix.

Verified gcc AND clang: full static/quire/api suite (quire_traits, cfloat,
cfloat_fdp, aggregator_fdp, api, fixpnt_fdp, lns_fdp) PASS; the larger
no-subnormals cfloat quire introduces no regressions.

Resolves #1202

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

* docs(quire): refresh stale cfloat quire geom... (continued)

41699 of 48936 relevant lines covered (85.21%)

7271654.87 hits per line

Relevant lines Covered
48936 RELEVANT LINES 41699 COVERED LINES
7271654.87 HITS PER LINE
Source Files on Ravenwater-patch-1

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
30683503007 main fix(quire): size cfloat quire radix_point from smallest normal LSB (#1202) (#1288) * fix(quire): size cfloat quire radix_point from smallest normal LSB (#1202) quire_traits<cfloat>::radix_point was derived from |min value scale| in the no-subnor... push web-flow github
85.21
30682390934 fix/issue-1202-cfloat-quire-radixpoint Merge cd33c2b88 into 5ef368710 Pull #1288 web-flow github
85.23
30681506242 main fix(cfloat): clear -Wsign-conversion in cfloat + blocktriple (#1282) (#1287) * fix(cfloat/blocktriple): clear -Wsign-conversion (#1282) Sub-issue of Epic #1279. Six sites, all value-preserving: blocktriple.hpp roundingDecision (299-300): `shift... push web-flow github
85.23
30680358775 fix/issue-1282-sign-conversion-cfloat Merge 9e17299c1 into 31569157c Pull #1287 web-flow github
85.23
30679913360 fix/issue-1282-sign-conversion-cfloat Merge 9104aa0e9 into 31569157c Pull #1287 web-flow github
85.21
30672084664 main fix(internal): clear -Wsign-conversion in blockbinary + blocksignificand (#1280) (#1285) * fix(internal): clear -Wsign-conversion in blockbinary + blocksignificand (#1280) Sub-issue of Epic #1279. All fixes are value-preserving; each casts a val... push web-flow github
85.23
30672136635 main fix(posit): clear -Wsign-conversion in posit_impl convert_ (#1281) (#1286) Sub-issue of Epic #1279. Four sites in the posit encode/rounding path (convert_), all value-preserving: - `exponent = e % (1ull << es)`: the signed scale `e` was already ... push web-flow github
85.23
30670440874 fix/issue-1280-sign-conversion-blocks Merge 8c44fe4ed into 228a57c15 Pull #1285 web-flow github
85.25
30669076423 fix/issue-1281-sign-conversion-posit Merge a1a7b2c7c into 228a57c15 Pull #1286 web-flow github
85.23
30667833245 fix/issue-1280-sign-conversion-blocks Merge 5f3ba16ab into 228a57c15 Pull #1285 web-flow github
85.25
See All Builds (1081)