Команды сравнений чисел
12.4.3. Команды сравнений чисел
В процессорах 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
