Следующий класс команд - логические команды.Эти команды, точно

так же, как и арифметические команды, преобразуют данные, но делают

это не арифметически.В то время как команды сложения и вычитания

связаны со школьной арифметикой, логические команды работают со

значениями 0 и 1, которые использует ЭВМ.В общем случае, эти

команды позволяют программе выполнять битовые операции.

Четырьмя основными логическими командами являются AND (и), OR

(или), XOR (исключающее или), NOT (не). Существуют и другие

логические функции, состоящие из этих четырех функций, но в

микропроцессоре 8088 для них нет соответствующих команд. Эти четыре

команды работают непосредственно с нулями и единицами двоичного

кода.

Простейшая функция выполняется командой NOT. Эта команда

основывается на определении единицы и нуля, как истины (TRUE) и лжи

(FALSE) соответственно. Предложение NOT TRUE (не истина) - это

FALSE (ложь), а предложение NOT FALSE (не ложь) - это TRUE

(истина). Команда NOT инвертирует все биты числа данных. Иначе

говоря, команда NOT эквивалентна вычитанию данных из величины,

состоящей из всех единиц. Фиг. 4.17 показывает, как оператор NOT

действует на единственный бит.

ЗначениеNOT(Значение)

-------------------------------------

0 1

1 0

------------------------------------- Фиг. 4.17 Операция NOT

Остальные три логические функции имеют два операнда.На

Фиг.4.18 показаны результаты действий, произведенных каждой

функцией над парой бит.

XYX AND YX OR YX XOR Y

-----------------------------------------------------

00000

01011

10011

11110

-----------------------------------------------------

Фиг. 4.18 Логические операции

Поскольку микропроцессор 8088 работает с байтами или словами,

он повторяет результаты таблицы с каждым битом операнда.Например,

байтовая команда выполняет логическое И со значениями нулевого бита

обеих операндов а помещает результат в бит 0 результата.Затем эта

команда повторяет функцию И с битами от первого до седьмого.В

результате получается побитовая функция И над отдельными битами

операндов.

Функция AND равна 1 только тогда, когда оба операнда равны 1. В

терминах истинности, результат есть истина только тогда, когда и X,

и Y истинны. Функция OR дает 1, если хотя бы один из операндов

равен 1. Результат есть истина, если либо X, либо Y являются

истинными. Результат функции XOR равен 1, только если один из

операндов равен 1, а другой равен 0. Если же оба операнда равны 0,

или оба равны 1, то результат равен 0. Функция исключающее ИЛИ в

точности соответствует сложению, у которого игнорируется перенос.

Фиг. 4.19 иллюстрирует логические команды микропроцессора

8088. Команде NOT требуется один операнд, а ее форма идентична

команде NEG. Остальные логические команды копируют синтаксис команд

сложения и вычитания.

Когда микропроцессор 8088 делает логическую операцию, он

устанавливает флаги в соответствии с результатом. Так как операция

не арифметическая, флаги переноса и переполнения всегда

устанавливаются равными 0. Флаг дополнительного переноса после

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

флаги (знак, нуль) правильно отражают результат операции.

Исключение представляет команда NOT, которая не изменяет ни одного

флага.

Microsoft (R) Macro Assembler Version 5.00 1/1/80 04:01:15

Фиг. 4.19 Логические командыPage 1-1

PAGE,132

TITLEФиг. 4.19 Логические команды

0000CODESEGMENT

ASSUMECS:CODE,DS:CODE

0000EXBYTELABELBYTE

0000EXWORDLABELWORD

000022 06 0000 R ANDAL, EXBYTE; AL <- AL and [EXBYTE]

000481 E3 9FEFANDBX, 1001111111101111B; BX <- BX and 9FEFH

000880 26 0000 R 03ANDEXBYTE, 00000011B; [EXBYTE] <- [EXBYTE] and 3

000D08 2E 0000 R OREXBYTE, CH; [EXBYTE] <- [EXBYTE] or CH

00110B 16 0000 R ORDX, EXWORD; DX <- DX or [EXWORD]

00150D FFF9ORAX, 0FFF9H; AX <- AX or 0FFF9H

001833 1E 0000 R XORBX, EXWORD; BX <- BX xor [EXWORD]

001C30 1E 0000 R XOREXBYTE, BL; [EXBYTE] <- [EXBYTE] xor BL

002034 EFXORAL, 0EFH; AL <- AL xor 0EFH

0022F7 D1NOTCX; CX <- not CX

0024F6 16 0000 R NOTEXBYTE; [EXBYTE] <- not [EXBYTE]

0028F7 06 0000 R 0003TESTEXWORD, 0003H; Установка флагов по [EXWORD] and 3

002E84 E0TESTAH, AL; Установка флагов по (AH and AL)

0030A9 0002TESTAX, 02H; Установка флагов по (AX and 2)

0033D1 C1ROLCX, 1; Циклический сдвиг влево на 1

0035D3 0E 0000 R ROREXWORD, CL; Циклический сдвиг вправо на CL

0039D0 16 0000 R RCLEXBYTE, 1; Циклический сдвиг с переносом

; влево на 1

003DD3 DBRCRBX, CL; Циклический сдвиг с переносом

; вправо на CL

003FD1 E0SHLAX, 1; Сдвиг логический влево на 1

0041D1 E0SALAX, 1; Сдвиг арифметический влево на 1

0043D3 EBSHRBX, CL; Сдвиг логический вправо на CL

0045D0 3E 0000 R SAREXBYTE, 1; Сдвиг арифметический вправо на 1

0049CODEENDS

END

Фиг. 4.19 Логические команды

Первоочередное назначение логических операций в микропроцессоре

8088 - работа с битами. Самой малой единицей данных, с которой

может работать этот микропроцессор, является байт. Ни одна из

арифметических команд не может непосредственно выделить или

изменить единственный бит, а логические команды позволяют программе

обрабатывать отдельные биты.

Почему интересны однобитовые операции? Во многих случаях

программа должна хранить значение индикатора - истина - ложь. Этот

бит может означать, что печатающее устройство занято, что нажата

регистровая клавиша, или что инициализация программы выполнена. В

таких случаях расточительно отводить байт для хранения

единственного бита информации. Программа может объединить несколько

таких битов в одном байте, если у нее есть способ выделения

отдельных битов для их проверки и установки. Такое объединение

однобитовых флагов очень широко используется в устройствах

ввода=вывода, которые имеют различные адреса. Устройству

ввода=вывода гораздо проще работать с разными битами по одному

адресу, чем распознавать многие адреса.

Логические команды могут выделить отдельные биты в байте или

слове так, что они могут быть установлены, сброшены, проверены. Для

выделения битов эти команды используют маску. Значение маски

используется командой побитно. Чтобы установить какой=либо один

бит, нужно использовать команду OR. В этом случае все значения

маски - нули, кроме единицы на месте устанавливаемого бита. Команда

OR над маской и другим операндом устанавливает 1 в выбранном бите,

а другие биты результата оставляют неизменными. Аналогично,

оператор AND может сбросить единственный бит. В маске все разряды

единичные, кроме сбрасываемого бита. Этот бит сбросится в 0, а

остальные останутся без изменений.

Программисты не используют функцию исключающее или столь же

часто, как команды AND и OR, но она тоже бывает полезна. Команда

может выполнить взаимное дополнение одного бита с данными. Запишите

маску для команды XOR так, чтобы на месте инвертируемого бита была

1, а на всех других местах 0. Когда команда XOR выполнится, биты,

соответствовавшие нулям, останутся без изменений, а биты,

соответствовавшие единицам маски, инвертируются. Если начальное

значение бита было 0, 1 XOR 0 дает 1, дополнение к 0, а если

начальное значение было 1, 1 XOR 1 дает 0, дополнение к 1.

Последняя логическая команда - TEST (проверка). Эта команда

идентична команде AND, за исключением того, что она не записывает

результат, но устанавливает флаги в соответствии с ним, т.е.

команда TEST соответствует команде AND, как команда CMP

соответствует команде SUB. Эта команда проверяет заданный бит, или

набор битов внутри байта или слова.

Как работает команда проверки? Предположим, программа хочет

проверить младший значащий бит байта, бит 0. Программа порождает

маску 01H либо в регистре, либо как непосредственное значение.

Команда TEST (или AND) дает результат с гарантированными нулями по

всем позициям, за исключением бита 0; значение бита 0 отражает

значение оригинала. Если нулевой бит оригинала содержит 0, то бит

остается нулевым. Если он сначала единичен, результат ненулевой, и

флаг нуля сбрасывается; если же бит 0, результат нулевой, и флаг

нуля устанавливается. Таким образом, программа может проверить

единственный бит, выполняя команды TEST и AND с маской, которая

имеет единственную единицу на месте проверяемого бита; регистр

флагов отразит состояние этого единственного бита. Команда TEST

проверяет заданный бит без разрушения других битов, поскольку эта

команда не изменяет поле результата.