15 Commits

Author	SHA1	Message	Date
Krystine Sherwin	9dd5c3a6a4	symfpu: Run pre-commit	2026-07-15 14:56:11 +12:00
Krystine Sherwin	e6bd07a49a	tests/symfpu: Switch to generate_mk.py	2026-07-15 14:50:33 +12:00
Krystine Sherwin	613d95b909	symfpu: Test comparisons	2026-07-15 14:50:30 +12:00
Krystine Sherwin	4134436a9f	tests/symfpu: Extra muladd tests ... Switch inputs back to `anyseq`, and add coverage for muladd with constant multiplier output and varying addend (also an assertion). Use an `ifdef` to control clocked properties (because of the assertion, it's no longer just covers that are clocked).	2026-07-15 14:50:29 +12:00
Krystine Sherwin	b66c0dcc97	tests/symfpu: Testing sqrt ... Coverage supports `sqrt`, including new general rounding detection instead of just inf/ebmin/zero (since they aren't possible with `sqrt`). More `sqrt` assertions, as well as the addition of `altsqrt` verification. Some adjustments of macros.	2026-07-15 14:50:29 +12:00
Krystine Sherwin	db676a2eae	symfpu: Add altdiv	2026-07-15 14:50:28 +12:00
Krystine Sherwin	3f22dabb8d	tests/symfpu: Add cover checks ... Include mask/map for abc inputs (and switch to `anyconst` instead of `anyseq`). Add false divide check for mantissa. Covers aren't currently being tested by anything (and have to be removed for `sat`), but I've been using it locally with SBY to confirm that the different edge cases are able to be verified (e.g. when verifying HardFloat against symfpu while using the masked inputs to reduce solver time).	2026-07-15 14:50:28 +12:00
Krystine Sherwin	b818e1c8ca	Fix tininess when rounding to ebmin	2026-07-15 14:50:28 +12:00
Krystine Sherwin	5751023b6c	tests/symfpu: UF to ebmin is valid	2026-07-15 14:50:27 +12:00
Krystine Sherwin	70dad5a06e	Don't raise DZ when left is inf	2026-07-15 14:50:27 +12:00
Krystine Sherwin	717f7c5d3a	symfpu: Dynamic rounding mode	2026-07-15 14:50:27 +12:00
Krystine Sherwin	2dcaa944bf	symfpu: floatWithStatusFlags ... Now with verified muladd exceptions.	2026-07-15 14:50:26 +12:00
Krystine Sherwin	e44aeda246	symfpu: Verifying rounding modes ... Works for everything but muladd. Which I saw coming, but am still frustrated by.	2026-07-15 14:50:26 +12:00
Krystine Sherwin	2b39569477	symfpu: Configurable rounding modes ... Including tests, but currently only testing rounding modes on multiply. Also missing the ...01 case.	2026-07-15 14:50:25 +12:00
Krystine Sherwin	1347790f4d	symfpu: Add flags ... Use symfpu fork. Add tests for symfpu properties and extra edge case checking for flags.	2026-07-15 14:50:25 +12:00