Описание тега subnormal-numbers

0 ответов

Если FLT_HAS_SUBNORM равен 0, то должно ли преобразование (с плавающей запятой)1E-45 возвращать 0x1p-149?

Простой вопрос: если 0, то вернется ли преобразование? Причина вопроса: ISO / IEC 9899:2011 (E) определяет поведение / только WRT операций с плавающей точкой . Согласно H.2.3.2 (операции с плавающей запятой) преобразование между точностями с плавающ…
08 апр '21 в 13:15
0 ответов

Если FLT_HAS_SUBNORM равен -1, тогда 1.0f / FLT_MAX должен давать субнормальное число или приводить к неопределенному поведению (UB)?

Вопрос: если FLT_HAS_SUBNORM равно -1, тогда будет 1.0f / FLT_MAX производят субнормальное число? ISO / IEC 9899:2011 (E): -1 неопределимая 25 Характеристика как неопределимая предназначена, если операции с плавающей запятой не интерпретируют послед…
08 апр '21 в 12:55
2 ответа

IEEE 754: обоснование формата: субнормальные и нормальные числа

Может кто-нибудь уточнить: Почему именно формат субнормальных чисел ±(0.F) × 2^-126 и нет ±(1.F) × 2^-127? Почему именно формат нормальных чисел такой: ±(1.F) × 2^exp а не, скажем, ±(11.F) × 2^exp, или, скажем, ±(10.F) × 2^exp?
0 ответов

HAS_SUBNORM равен 0: FTZ (очистка до нуля) должна выполняться до обнаружения крошечности или после обнаружения крошечности?

Рассмотреть возможность 1.1754944E-38f - 1.1754945E-38f (оба нормальные). Если HAS_SUBNORM is 1, то ответ (субнормальный) и никаких исключений не возникает. Если HAS_SUBNORM is 0, то ответ -0.0f (субнормальный -1E-45fбыл сброшен до нуля). Вопрос: по…
0 ответов

FLT_HAS_SUBNORM равен 0: какой fpclassify(<subnormal>) должен возвращать: FP_SUBNORMAL или FP_ZERO, или вести к UB?

Последующий вопрос для: FLT_HAS_SUBNORM равен 0: приводит ли выполнение fpclassify() с вручную построенным субнормальным к UB или приводит к тому, что WDB возвращает FP_SUBNORMAL? Если наличие субнормальных чисел необязательно (HAS_SUBNORM), то поче…
1 ответ

HAS_SUBNORM равен 0: "субнормальные результаты" определяются до округления или после округления?

C11, 5.2.4.2.2 Характеристики плавающих типов <float.h>, 10, сноска 26: Отсутствующая характеристика предназначена, если никакие операции с плавающей запятой не приводят к субнормальным результатам из не субнормальных входных данных, даже если…
13 июл '21 в 11:36
0 ответов

Поддерживает ли Redshift числа с плавающей запятой IEEE 754?

Недавно я столкнулся с ошибкой переполнения при попытке загрузить данные из столбца в базе данных postgres в DOUBLE PRECISIONстолбец в AWS Redshift: Переполнение, 2,8079240261080252e-316 (двойной допустимый диапазон от 2,225074e-308 до 1,797693e+308…
0 ответов

Денормализованные числа в стандарте IEEE std с плавающей запятой

Что я считаю правильным, так это то, что в случае с одной плавающей запятой и в обычном случае наименьшее значение будет (в значении абс.) 1,0 × 2 -126 Но в денормальном случае (когда показатель степени равен 000...0) меньшее значение может быть пре…
1 ответ

Как неявная 1 хранится и дифференцируется с 0 для субнормальных значений?

Я думаю, что понимаю, почему мы рассматриваем это как неявную 1 и нормализуем, как представлены значения и все такое. Моя единственная проблема заключалась в том, какова машинная сторона, например, как различаются неявные 1 и 0, когда значение считы…
0 ответов

Как обычно представляется 0.0 при отсутствии субнормальностей?

Включение субнормальных чисел в IEEE 754 было спорным решением. В форматах с плавающей запятой без субнормальных чисел, но со «скрытыми» 1 битами, как обычно представляется/был 0? Был ли для него зарезервирован весь binade или 0x00000000 в самом мла…
17 фев '23 в 15:13
1 ответ

FPCR.FIZ=1: для каких инструкций с плавающей запятой входные данные не обнуляются?

Справочное руководство по архитектуре Arm для архитектуры A-профиля (выпуск Ia) (выделено автором): СИЗ, бит [0] Когда FEAT_AFP реализован: 0b1 Денормализованные входные данные одинарной и двойной точности для большинства инструкций с плавающей запя…
0 ответов

Почему .NET говорит, что субнормальные числа никогда не являются степенями 2?

Начиная с .NET 7 (с 2022 года) существует статический метод .double.IsPow2 . Кто решил, что никогда не следует рассматривать сверхнормальные числа как степени двойки? Например, если я попробую этот код: double exp = -1000.0; while (true) { double po…