Здесь собраны эталонные примеры вычислений с плавающей точкой, результаты которых будут сверяться с кастомной программной эмуляцией плавающей точки для AVR из этого репозитория.
Идея в том, что в качестве эталонной реализации мы берем аппаратную реализацию IEEE 754 на декстопе, вычисляем референсные результаты и сверяем их с результатами, которые возвращает наша кастомная программная эмуляция.
Нумерация примеров перекрестная: примеру с номером 1 в этом репозитории соответствует пример с номером 1 в Float32AVR и пример с номером 1 в майндмапе с анализом возможных кейсов (добавить ссылку).
Единственный момент - Float32AVR не поддерживает inf, nan и денормализованные числа, поэтому в примерах, в которых аппаратная реализация плавающей точки возвращает inf или nan, Float32AVR выбросит исключение, а там, где возвращается денормализованное число - вернет ноль.