Skip to content

B13 Coverage w/ Fixes to Some Handling of Subnorms#110

Merged
coreyqh merged 4 commits into
coreyqh:mainfrom
fourth-bit:b13-coverage
May 8, 2026
Merged

B13 Coverage w/ Fixes to Some Handling of Subnorms#110
coreyqh merged 4 commits into
coreyqh:mainfrom
fourth-bit:b13-coverage

Conversation

@fourth-bit
Copy link
Copy Markdown
Contributor

B13: @AngelaZzzzz check out this coverage when you have the chance. Let me know if there is anything you think should change. The one note that I have for you is that I do not believe d=-1 is an impossible case for m-1 leading zeros (as 0b11 - 0b10 = 0b01, I'm not sure if there was another reason for this, so correct me if I'm wrong). Currently, when placing a try-except around the code that is throwing an error, this is giving a result of 96% coverage.

Subnormal Handling: In coverfloat.cpp, the handling of trivial rounding results for subnormals was incorrect in its handling of the exponents. Now we correctly label the exponent (and in the F32 case, actually report rounding info).

@coreyqh coreyqh merged commit 59bc53c into coreyqh:main May 8, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants