Тесты FPU

[vak]

Кто занимается реализацией арифметики с плавающей точкой, понимает ценность тестов, покрывающих все возможные ситуации и особые случаи. Вот пара полезных ссылок по теме.

Собственно тестовые данные: test_suite.zip

Статья с подробным описанием: "Floating-Point Test-Suite for IEEE" (PDF)

Переложу к себе на Гитхаб для сохранности.

Comments

[juan_gandhi]

О, это ценная вещь.

[vak]

Я провёл пару нескучных лет в MIPS, занимаясь верификацией FPU. Хорошие тесты на вес золота.

[juan_gandhi]

Я когда-то в Форт-Инфо навалял эмулятор FPU, на форте. Выяснилось, что он быстрее на 40%, чем библиотека от Борланда, накатанная на ассемблере. Ну и точнее... и точнее, чем FPU тоже. А потому что с помощью макросов можно очень очень эффективный код набацать, такой руками не сделаешь. Чтобы помнил, что в каком регистре, и не перебрасывал бы. Сорсы же выглядели просто почти математическим текстом - синус (ну этот сегмент, первые сколько-то там градусов) - через ряд.

Можно было бы и еще сильно ускорить, но там память, а она дорога была в те поры.

[ircicq]

Контр-пример для Intel FDIV bug
https://en.wikipedia.org/wiki/Pentium_FDIV_bug
не нашёл в этих тестах:

4195835 / 3145727

[spamsink]

Тест B20, с разными вариантами паттернов "промежуточных результатов", скорее всего, покрывает это.