Все интересные bfloat16

[vak]

Про интересные значения float я уже писал, а вот аналогичный список всех "особенных" 16-битных чисел с плавающей точкой. Формат bfloat16 смотрите в другом моём посте.

bfloat16.txt

Особо выдающиеся экземпляры:

Знак Экспонента Мантисса
   0 00000000 0000000   = 0.0
   1 00000000 0000000   = -0.0
   0 00000000 0000001   = 9.1835496e-41 денормализованное
   0 00000000 1000000   = 5.8774718e-39 денормализованное
   0 00000000 1111111   = 1.1663108e-38 денормализованное
   0 00000001 0000000   = 1.1754944e-38
   0 01111111 0000000   = 1.0
   0 01111111 0000001   = 1.0078125
   0 01111111 1000000   = 1.5
   0 01111111 1111111   = 1.9921875
   0 10000000 0000000   = 2.0
   0 10000000 0000001   = 2.015625
   0 10000000 1000000   = 3.0
   0 10000000 1111111   = 3.984375
   0 11111110 0000000   = 1.7014118e+38
   0 11111110 1111111   = 3.3895314e+38
   0 11111111 0000000   = inf
   1 11111111 0000000   = -inf
   0 11111111 0000001   = nan
   0 11111111 1000000   = nan
   0 11111111 1111111   = nan

Comments

[juan_gandhi]

Как забавно.

[vak]

А главное - на умножение таких чисел нужно не намного больше хардвера, чем на перемножение целых байтов.

[dijifi]

Минус ноль!
Он мне крови попортил.
В некоторых стандартных интерфейсах булево значение можно задавать и булевым, и целым, и плавающим. Ноль — ложь, всё остальное — правда. И вот казалось бы, что нужно проверять только на битовый расклад из всех нулей, но нет! Минус ноль портит фундаментальную симметрию.
На самом деле кровь портит не битик, а два человека спорящих до хрипоты каждый день месяцами за этот битик.

[vak]

Булево значение как плавающее число это прикольно. А если NaN попадётся? Он ведь ни true ни false.

[dijifi]

Стандарт говорит — если не ноль, то true:

The uniform variable will be set to false if the input value is 0 or 0.0f, and it will be set to true otherwise.

[bowhill]

А, по идее, должно быть наоборот. Но поскольку у нас jz, то есть то, что есть.