stillwater-sc / universal / 23736407043
85%
master: 84%

LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Ran
Jobs 1
Files 630
Run time 2min
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
coverage: 84.341% (-0.008%) from 84.349%
23736407043

push

github

web-flow 
feat(ucalc): fixed-point steps visualization (#677)

* feat(ucalc): fixed-point steps visualization (#654)

Add fixpnt-specific step-by-step arithmetic decomposition showing:
1. Format: integer bits, fraction bits, radix point position, resolution
2. Convert to fixed-point integers (multiply by 2^rbits)
3. Integer add/subtract or multiply
4. Check overflow (Modulo wraps, Saturating clamps)
5. Multiply: shift right to realign radix point (2*rbits -> rbits)
6. Convert back to real value

Detects fixpnt types by type_tag prefix. Extracts rbits and
arithmetic mode from the tag string.

Example (overflow visible):
  fixpnt16> steps 100 + 100
    3. Add integers: 25600 + 25600 = 51200
    4. OVERFLOW: 51200 outside [-32768, 32767]
       Modulo arithmetic: wraps to -14336
    5. result: -56

Resolves #654

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

* fix(ucalc): use unsigned arithmetic for fixpnt overflow check

1LL << nbits is UB when nbits >= 64. Now uses uint64_t shifts with
explicit guards for nbits >= 64 (clamps to LLONG_MAX/MIN). Modulo
wrap also uses unsigned arithmetic to avoid signed overflow UB.

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

* fix(ucalc): use __int128 for fixpnt multiply to avoid overflow UB

a_fixed * b_fixed can overflow long long for fixpnt32 (2^31 * 2^31).
Now uses __int128 for the product and shift, with a double fallback
for platforms without __int128.

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

---------

Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

44581 of 52858 relevant lines covered (84.34%)

6103165.6 hits per line

Coverage Regressions

Lines Coverage ∆ File
3
80.8
 -0.45% include/sw/universal/number/posit1/specialized/posit_16_1.hpp
2
89.8
 -0.57% include/sw/universal/number/posito/posito_impl.hpp
Jobs
ID Job ID Ran Files Coverage
1 23736407043.1 630
84.34
 GitHub Action Run
Source Files on build 23736407043