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

В процессорах 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


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

---

---