stillwater-sc / universal / 32250968883
86%
master: 84%

LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Ran
Jobs 1
Files 620
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: 85.363% (-0.004%) from 85.367%
32250968883

push

github

web-flow 
feat(takum): generate encoding tables for the logarithmic takum (#1348)

The last unchecked task on #1297: education coverage for takum_log.  Everything
else on that epic -- the shared codec, the type itself, numeric_limits, traits,
manipulators, mathlib, constant tables, cross-conversion, the five regression
suites and the ucalc registration -- has landed; the table generator knew only
about the linear variant.

table.hpp's generator is now templated on the takum type, with GenerateTakumTable
kept as a wrapper so every existing caller is untouched, and GenerateTakumLogTable
added alongside it.

The last column differs by design.  A linear takum's value is (1 + f) * 2^c, so
its base-2 scale is the natural companion column; a logarithmic takum's value is
sqrt(e)^l, and l -- what the encoding actually carries -- is printed instead.
takum_log::scale() exists and is base 2 for library-wide consistency, but it is a
converted quantity and would be the less honest column here.

One implementation note: the column selection has to be if constexpr rather than a
ternary.  Both arms of a ternary are compiled, and only one variant has each
accessor, so the ternary form broke the linear generator.

education/tables/takum_logs.cpp emits the same seven configurations takums.cpp
does, so the two files line up row for row.  Read side by side they are the
clearest statement of what #1297 argued: identical bit layout, identical sign,
direction, regime and characteristic columns, and entirely different values.

    takum<6,3>      #1  0b0.0.000.1.  char -191  scale -191  3.18618e-58
    takum_log<6,3>  #1  0b0.0.000.1.  char -191      l -191  3.34871e-42

Closes #1297

Co-authored-by: Claude Opus 5 <noreply@anthropic.com>

43046 of 50427 relevant lines covered (85.36%)

6898524.35 hits per line

Coverage Regressions

Lines Coverage ∆ File
10
31.43
 -3.57% include/sw/universal/verification/test_suite_randoms.hpp
Jobs
ID Job ID Ran Files Coverage
1 32250968883.1 620
85.36
 GitHub Action Run
Source Files on build 32250968883