Описание:

Команды сравнения вещественных значений FCOMI, FCOMIP, FUCOMI, FUCOMIP сравнивают вершину стека с операндом-источником, который может быть регистром или операндом в памяти (коротким или длинным вещественным). По результатам сравнения устанавливаются не биты условий C0, C2, C3 регистра SW, а соответствующие флаги регистра EFLAGS (см. таблицу 6.142.).

Таблица 6.142. Соответствие между битами C0..C3 регистра SW
и битами регистра EFLAGS

Команды FCOMIP и FUCOMIP, кроме этого, выталкивают из стека верхний элемент (ST).

Отличия между командами FCOMI, FCOMIP и командами неупорядоченного сравнения FUCOMI, FUCOMIP заключаются в работе с операндами QNaN. FCOMI и FCOMIP генерируют исключение #IA и устанавливают флаги в значение "несравнимо" (ZF = 1, PF = 1, CF = 1), если любой операнд команды NaN (SNaN или QNaN) или представлен в неподдерживаемом формате. Команды FUCOMI и FUCOMIP делают то же самое, кроме генерации исключения #IA для случая с операндами QNaN.

Если исключение #I не замаскировано, то флаги не устанавливаются перед вызовом обработчика исключений.

Флаг C1 регистра SW устанавливается равным 0 в случае возникновения стековой ошибки #IS.

Знак нуля игнорируется, так что -0.0 равен +0.0.

Операция:

CASE (relation of operands) OF

  ST(0) > ST(i): ZF, PF, CF = 000;

  ST(0) < ST(i): ZF, PF, CF = 001;

  ST(0) = ST(i): ZF, PF, CF = 100;

ESAC;

IF Команда FCOMI или FCOMIP

THEN

  IF ST(0) or ST(i) = NaN or unsupported format

  THEN

     #IA

     IF FPUControlWord.IM = 1

     THEN

        ZF, PF, CF = 111;

     FI;

  FI;

FI;

IF Команда FUCOMI или FUCOMIP

THEN

  IF ST(0) or ST(i) = QNaN, but not SNaN or unsupported format

  THEN

     ZF, PF, CF = 111;

  ELSE (* ST(0) или ST(i) в неподдерживаемом формате или SNaN *)

     #IA;

     IF FPUControlWord.IM = 1

     THEN

        ZF, PF, CF = 111;

     FI;

  FI;

FI;

IF Команды FCOMIP или FUCOMIP

THEN

  PopRegisterStack;

FI;