New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Floating-point coverage issues #52

Closed

davidharrishmc opened this issue Sep 9, 2024 · 1 comment

Collaborator

davidharrishmc commented Sep 9, 2024

Floating-point coverage is just starting and has many open issues that will need to be flushed out. This is a place to start documenting them:

No fp_fclass coverpoint has been written yet. We need a coverpoint to check that all of the possible results of fclass have been hit.
cp_fs1_corners and similar coverpoints are written assuming 32-bit floats. There will need to be different versions for 64 and 16-bit floats, as well as associated cross-coverage. I don't yet know how 32-bit floats NaN-boxed in a 64-bit value will be interpreted by the cp_fs1_corner points.

Collaborator Author

davidharrishmc commented Nov 14, 2024

FPU progress has been made. All coverpoints written.

davidharrishmc closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment