Skip to content
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.

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

NaN-Boxing tests #393

Closed
davidharrishmc opened this issue Jan 8, 2025 · 1 comment
Closed

NaN-Boxing tests #393

davidharrishmc opened this issue Jan 8, 2025 · 1 comment

Comments

@davidharrishmc
Copy link
Collaborator

davidharrishmc commented Jan 8, 2025

D should have a basic 64-bit NaN-boxing of 32-bit operands test for every .s instruction checking:

  • Well-NaN-boxed inputs
  • Badly NaN-boxed on each input
    Also D should test flw for the various corners of single-precision numbers to ensure they are NaN-boxed into double-precision registers.

Similarly, Zf should have the same tests for 32-bit boxing of 16-bit operands, and ZfD should have the same test for 64-bit boxing of 16-bit operands. Both should test flh across corners.

@coreyqh
Copy link
Contributor

coreyqh commented Jan 30, 2025

Additionally, current improperly NaNBoxed argument coverpoints and tests only exercise fs1, not fs2 or fs3 where applicable.

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

No branches or pull requests

2 participants