acb41f5d

Команды сравнений чисел


В процессорах 8086/80286/80386 команды условных переходов выполняются в соответствии с установкой отдельных битов регистра флагов процессора. В арифметическом сопроцессоре существуют специальные команды сравнений, по результатам выполнения которых устанавливаются биты кодов условий в регистре состояния:



FCOM Сравнение
FICOM Целочисленное сравнение
FCOMP Сравнение и извлечение из стека
FICOMP Целочисленное сравнение и извлечение из стека
FCOMPP Сравнение и двойное извлечение из стека
FTST Сравнение операнда с нулем
FXAM Анализ операнда

Команда FCOM вычитает содержимое операнда, размещенного в оперативной памяти, из верхушки стека ST(0). Результат вычитания никуда не записывается и указатель верхушки стека ST не изменяется.

Обозначим операнд команды сравнения как "x". В следующей таблице приведем значения битов кодов условия после выполнения команды "FCOM x":

C3 C0 Условие
0 0 ST(0) > x
0 1 ST(0) < x
1 0 ST(0) = x
1 1 ST(0) и x не сравнимы.

Последняя комбинация возникает при попытке сравнения нечисел, неопределенностей или бесконечностей, а также в некоторых других случаях.

Команда FICOM работает с 16- или 32-битовыми числами, в остальном она аналогична команде FCOM.

Команды FCOMP и FICOMP аналогичны, соответственно, командам FCOM и FICOM, за исключением того, что после выполнения операнд извлекается из стека.

Команда FCOMPP выполняет те же действия, что и FCOM, но она после выполнения извлекает из стека оба операнда, участвовавших в сравнении.

Для сравнения операнда с нулем предназначена команда FTST. После ее выполнения коды условий устанавливаются в соответствии со следующей таблицей:

C3 C0 Условие
0 0 ST(0) > 0
0 1 ST(0) < 0
1 0 ST(0) = 0
1 1 ST(0) и 0 не сравнимы.

Команда FXAM анализирует содержимое ST(0). После ее выполнения устанавливаются коды условий, по которым можно судить о знаке числа, о его конечности или бесконечности, нормализованности и т.д.


Бит C1 содержит знак анализируемого числа:

C1 Знак числа
0 положительное число;
1 отрицательное число.
С помощью бита C0 можно определить, является число конечным или бесконечным:

C0 Конечность/бесконечность числа
0 конечное число;
1 бесконечное число.
Для конечных чисел дальнейшая классификация может проводиться по содержимому кодов условий C2 и C3:

C3 C2 Описание числа
0 0 Ненормализованное число
0 1 Нормализованное число
1 0 Нулевое число
1 1 Число денормализовано
Аналогично, для бесконечных чисел коды условий C2 и C3 имеют следующее значение:

C3 C2 Описание числа
0 0 Нечисло
0 1 Бесконечное число
1 0 Пустое число
1 1 Пустое число
С помощью команды "FSTSW AX" программа может переписать содержимое регистра состояния сопроцессора в регистр AX центрального процессора. Далее содержимое регистра AH можно переписать в регистр флагов центрального процессора при помощи команды SAHF. Биты кодов условий сопроцессора отображаются на регистр флагов центрального процессора таким образом, что для анализа кодов условий можно использовать команды условных переходов:

---T-T-T-T-T-T-T--¬ ¦B ¦C3¦ ¦ST¦ ¦C2¦C1¦C0¦ L--+--+--+--+--+--+--+---

---T-T-T-T-T-T-T--¬ ¦SF¦ZF¦ ¦AF¦ ¦PF¦ ¦CF¦ L--+--+--+--+--+--+--+---

Например, в следующем фрагменте программы выполняется переход к метке error, если операнды несравнимы:

fcom fstsw ax sahf je error


Содержание раздела