stillwater-sc / universal / 23380239155

85%

master: 84%

Build Type

push

github

Committed by web-flow

Commit Message

fix(cfloat): make operator== treat +0 and -0 as equal per IEEE-754 (#606)

* fix(cfloat): handle IEEE-754 subnormal source values in convert_ieee754

Subnormal float/double inputs were silently converted to zero for
non-exact-match cfloat configurations. Normalize subnormal sources
before conversion and add subnormal-in-target handling for the
upscale path.

* fix(cfloat): clamp block shift bounds in multi-block right shift

* fix(cfloat): add round-to-nearest-even for subnormal-in-target right shifts

When a normalized subnormal source has an exponent below the target
cfloat's MIN_EXP_NORMAL, the upscale path must right-shift the
significand. Previously this truncated discarded bits; now it
extracts guard/round/sticky bits and rounds to nearest-even,
matching the existing downscale rounding logic.

Coverage Stats

34 of 47 new or added lines in 1 file covered. (72.34%)

5 existing lines in 2 files now uncovered.

44341 of 52535 relevant lines covered (84.4%)

6092274.11 hits per line