Бесконечность

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

Или программист может закодировать бесконечность, или она может быть создана модулем обработки операций с плавающей точкой как маскируемый ответ на исключение переполнения или деления на ноль. Обратите внимание, что в зависимости от режима округления, маскируемый ответ может повлечь за собой наибольшее допустимое значение, представимое в принимающем формате, а не бесконечность.

К бесконечностям можно приписывать знак, поэтому возможно сравнение с бесконечностью. Бесконечность всегда интерпретируется в афинном смысле, то есть -oo < (любое конечное число) < +oo. Арифметические операции с бесконечностью всегда точны и не дают исключительных ситуаций, за исключением недопустимых операций, указанных в Таблице 16-4.

Таблица 16-4. Бесконечные Операнды и Результат +---------------------------------------------------------------+| Операция | Операнды | Результат |+------------------+--------------------+-----------------------|| FLD,FBLD | ёoo | *oo || FST,FSTP,FRNDINT | ёoo | *oo || FCHS | +oo | -oo || | -oo | +oo || FABS | ёoo | +oo || Сложение | +oo плюс +oo | +oo || | -oo плюс -oo | -oo || | +oo плюс -oo | Недопустимая Операция || | -oo плюс +oo | Недопустимая Операция || | ёoo плюс ёX | *oo || | ёX плюс ёoo | *oo || Вычитание | +oo минус -oo | +oo || | -oo минус +oo | -oo || | +oo минус +oo | Недопустимая Операция || | -oo минус -oo | Недопустимая Операция || | ёoo минус ёX | *oo || | ёX минус ёoo | -*oo || Умножение | ёoo x ёoo | (+)oo || | ёoo x ёY, ёY x ёoo | (+)oo || | +0 x ёoo, ёoo x ё0 | Недопустимая Операция || Деление | ёoo / ёoo | Недопустимая Операция || | ёoo / ёX | (+)oo || | ёX / ёoo | (+)0 || | ёoo / ё0 | (+)oo || FPREM, FPREM1 | ёoo rem ёoo | Недопустимая Операция || | ёoo rem ёX | Недопустимая Операция || | ёX rem ёoo | $X, Q = 0 || FSQRT | -oo | Недопустимая Операция || | +oo | +oo || Сравнение | +oo : +oo | +oo = +oo || | -oo : -oo | -oo = -oo || | +oo : -oo | +oo > -oo || | -oo : +oo | -oo < +oo || | +oo : ёX | +oo > X || | -oo : ёX | -oo < X || | ёX : +oo | X < +oo || | ёX : -oo | X > -oo || | +oo | +oo > 0 || FTST | -oo | -oo < 0 || FSCALE | ёoo масштабир. -oo | Недопустимая Операция || | ёoo масштабир. +oo | *oo || | ёoo масштабир. ёX | *oo || | ё0 масштабир. -oo | ё0(1) || | ё0 масштабир. oo | Недопустимая Операция || | ёY масштабир. +oo | #oo || | ёY масштабир. -oo | #0 || FXTRACT | ёoo | ST=*oo, ST(1)=+oo || FXAM | +oo | C0=C2=1; C1=C3=0 || | -oo | C0=C1=C2=1; C3=0 || | | || FPATAN | ёoo / ёX | *Пи/2 || | ёY / +oo | #0 || | ёY / -oo | #Пи || | ёoo / +oo | *Пи/4 || | ёoo / -oo | *3Пи/4 || | ёoo / ё0 | *Пи/2 || | +0 / +oo | +0 || | +0 / -oo | +Пи || | -0 / +oo | -0 || | -0 / -oo | -Пи || F2XM1 | +oo | +oo || | -oo | -1 || FYL2X | ёoo x log(1) | Недопустимая Операция || | ёoo x log(X>1) | *oo || | ёoo x log(0<X<1) | -*oo || | ёY x log(+oo) | #oo || | ё0 x log(+oo) | Недопустимая Операция || | ёY x log(-oo) | Недопустимая Операция || FYL2XP1 | ёoo x log(1) | Недопустимая Операция || | ёoo x log(X>0) | *oo || | ёoo x log(-1<X<0) | -*oo || | ёY x log(+oo) | #oo || | ё0 x log(+oo) | Недопустимая Операция || | ёY x log(-oo) | Недопустимая Операция || | | |+---------------------------------------------------------------+ X нулевой или ненулевой положительный операнд.Y ненулевой положительный операнд.* знак изначального бесконечного операнда.-* дополнение знака изначального бесконечного операнда.$ знак изначального операнда.(+) исключительное ИЛИ знаков операндов.# знак изначального операнда Y.1 знак изначального нулевого операнда.