lundi 8 février 2021

Open source test suite for testing correctness of raising floating-point exceptions

Is there any open source test suite for testing correctness of raising floating-point exceptions?

For example, tests that test correctness of raising of floating-point exceptions such as FE_DIVBYZERO, FE_INEXACT, FE_INVALID, FE_OVERFLOW, FE_UNDERFLOW (or their combinations) as a result of floating-point operations such as x/0.0, NaN/NaN, etc.

Reason of the question: Before start writing this suite "from scratch" it is recommended to look for existing suites, and if they are exist, try to integrate them (possibly after some adaptation, especially for support trapping on floating-point exceptions: since the API is not standardized).

For instance, I've looked at Berkeley TestFloat's source code, but have not found such tests.

Aucun commentaire:

Enregistrer un commentaire