Остальные логические команды на Фиг. 4.19 выполняют сдвиги данных.

Команда сдвига перемещает все биты в поле данных либо вправо, либо

влево.Это можно проиллюстрировать церковной скамьей, на которой

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

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

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

такого сдвига вытесняется с нее. Команда сдвига делает в точности

то же самое, только вместо женщин и мужчин здесь выступают нули и

еденицы.

На Фиг.4.20 показаны восемь различных команд сдвига; у этих

команд имеются некоторые вариации.Сначала мы рассмотрим общие для

этих команд черты.

Как и другие логические команды, сдвиги работают с байтами и

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

операнд может быть либо регистром, либо ячейкой памяти. Все эти

команды используют байт mod=r/m для описания операнда.

ЪДДДДДДДДДДДДДїЪДДДДДДДДДДДДДДДї

ЪДДДДїі ЪДДДДДДДДДї ііЪДДДДДДДДДДї іЪДДДДї

і CY Г<ДБДґ ДАННЫЕГ<ЩАД>ґДАННЫЕГДБД>ґ CY і

АДДДДЩАДДДДДДДДДЩАДДДДДДДДДДЩАДДДДЩ

ROLROR

ЪДДДДДДДДДДДДДДДДДДДДДДДДДДїЪДДДДДДДДДДДДДДДДДДДДДДДДДДДї

іЪДДДДїЪДДДДДДДДДїііЪДДДДДДДДДДїЪДДДДї і

АДДґ CY Г<ДДДґ ДАННЫЕГ<ДДЩАДДД>ґДАННЫЕГДДД>ґ CY ГДЩ

АДДДДЩАДДДДДДДДДЩАДДДДДДДДДДЩАДДДДЩ

RCLRCR

ЪДДДДїЪДДДДДДДДДїЪДДДДДДДДДДїЪДДДДї

і CY Г<ДДДґ ДАННЫЕГ<ДДД 00 ДДД>ґДАННЫЕГДДД>ґ CY і

АДДДДЩАДДДДДДДДДЩАДДДДДДДДДДЩАДДДДЩ

SHLSHR

ЪДДДДДДДї

іі

ЪДДДДїЪДДДДДДДДДїіЪДДДБДДДДДДїЪДДДДї

і CY Г<ДДДґ ДАННЫЕГ<ДДД 0АДД>ґДАННЫЕГДДД>ґ CY і

АДДДДЩАДДДДДДДДДЩАДДДДДДДДДДЩАДДДДЩ

SALSAR

Фиг. 4.20 Операции сдвига.

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

программа указывает число битов, на которое надо сделать сдвиг; это

число и есть счетчик сдвигов. Его наиболее распространенное

значение - единица. Такой счетчик сдвигает биты операнда на одну

позицию. Однако команда может задать произвольный счетчик сдвигов,

занося его значение в регистр CL пред сдвигом. Если в команде

указано, что счетчик сдвигов надо взять из регистра CL, значение

этого регистра определяет число сдвигов битов. Число в регистре CL

может быть любым от 0 до 255, но его практически имеющие смысл

значения лежат в пределах 0 - 16. Значение 0 не вызывает сдвига, а

любое значение больше 16 сдвигает битов больше, чем содержит

операнд.

Другая общая черта команд сдвига - это установка флага

переноса. Бит, попадающий за пределы операнда, имеет специальное

место. Команды сдвига помещают последний выдвинутый из операнда бит

в флаг переноса. Если сдвиг был на один бит, то бит из дальнего

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

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

операнда. Флаг переноса имеет значение для операций повышенной

точности. Поскольку операнд операции сдвига может иметь максимум 16

бит, программа может организовать работу с данными большего размера

с помощью нескольких сдвигов и флага переноса. Программа

"разрезает" операнд на 16=битовые куски, а затем сдвигает каждую

часть на один бит каждый раз. Флаг переноса используется программой

для передачи выдвинутой информации в следующую часть сдвигаемого

операнда.

Верхние четыре команды на Фиг.4.20 - команды циклического

сдвига. На рисунке схематически представлена работа каждой команды.

Циклические сдвиги переносят появляющийся в конце операнда бит в

другой конец. Циклический сдвиг влево ROL и циклический сдвиг

вправо ROR различаются лишь направлением сдвига данных. Аналогично,

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

с переносом RCR являются зеркальным отражением друг друга. Команды

ROL и RCL различаются в трактовке флага переноса. Байтовая команда

RCL рассматривает данные как 9=битовые, причем роль девятого бита

играет флаг переноса. Если операнд - слово, команда ROL циклически

сдвигает 16 бит, а команда RCL циклически сдвигает 17 бит.

Команды снизу Фиг.4.20 не возвращают выдвигаемые из операнда

биты в свой операнд. Эти биты попадают в флаг переноса, а затем

просто исчезают. Значение, вдвигаемое в операнд, определяется типом

сдвига. В случае логического сдвига вдвигаемый бит всегда 0;

арифметический сдвиг выбирает вдвигаемый бит таким, чтобы сохранить

знак операнда.

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

логических команд? Сдвиг числа на одну позицию (бит) эквивалентен

умножению или делению этого числа на 2. В десятичной системе

счисления, добавление нуля в конце числа умножает его на 10. В

двоичной арифметике добавление 0 в конце умножает число на 2. Так

как ЭВМ не может добавить другой бит в конце операнда, операция

сдвига действует аналогично. Команда сдвига влево перемещает все

биты влево на одну позицию, а в младшую позицию помещает 0. Таким

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

больше единицы, число умножается на 2, возведенное в степень,

равную содержимому счетчика сдвигов. Например, сдвиг влево на 3

бита эквивалентен умножению на 8.

Сдвиг числа вправо - это то же самое деление на 2. Сдвинутый

операнд - частное, а флаг переноса - остаток. Если счетчик сдвигов

больше 1, операнд по=прежнему есть частное, а остаток теряется.

Таким образом, команды сдвига делают эффективным умножение и

деление на степень 2. Фактически, воэможность замены умножения

сдвигом становится хорошим выходом в ситуациях, когда необходимо

исключить умножение, даже если множитель не есть степень 2.

При арифметическом сдвиге вместо деления на 2 отрицательного

числа возникает следующая проблема. Если команда вдвигает 0 в

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

арифметического сдвига вправо SAR решает эту проблему путем

восстановления значения старшего бита во время сдвига. Поэтому

отрицательное число остается отрицательным, а положительное -

положительным. Эта проблема не возникает в случае сдвига влево,

поскольку бит знака находится у операнда слева. Из=за этого команды

логического сдвига влево SHL и арифметического сдвига влево SAL

идентичны.

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

на флаг переполнения так же, как и на флаг переноса. Флаг

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

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

переполнения только в случае, если в результате операции изменился

знак числа. Если старший бит не изменился, флаг переполнения

сбрасывается, т.е. флаг переполнения показывает, дает ли

подразумеваемое сдвигом умножение или деление правильный результат

в дополнительном коде.

На Фиг. 4.21 приведены два примера команд сдвига. Первый пример

демонстрирует умножение на число с помощью команд сдвига влево. В

примере выполняется умножение на 9, не являющееся степенью 2.

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

умножить число на 8. Затем программа складывает полученное значение

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

умноженному на 9.

Недостатки этого метода очевидны. Он требует много больше

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

PUSHDX

MOVDX,9

IMULDX

POPDX

Кроме того, умножение на 9 с помощью сдвига дает 16=битовый

результат, а не 32=битовый, как команда IMUL.

Все же в программе умножение с помощью сдвига может оказаться

желательным в некоторых случаях. В первую очередь, его преимущество

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

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

Фиг. 4.21, метод сдвига работает примерно на 25% быстрее. Выигрыш

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

от умножения целых чисел на 9. Умножения на степень 2 могут дать и

больший выигрыш в скорости выполнения.

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

Фиг. 4.21 Примеры инструкций сдвига Page 1-1

PAGE,132

TITLEФиг. 4.21 Примеры инструкций сдвига

0000CODESEGMENT

ASSUMECS:CODE,DS:CODE

;--------------------------------------------------

; Эта программа умножает число, заданное в регистре AX

; на 9 без использования команды умножения

;--------------------------------------------------

0000MUL9PROCNEAR

000051PUSHCX; Сохранение регистра CX в стеке

000150PUSHAX; Временное сохранение AX

0002B1 03MOVCL, 3; Будем сдвигать регистр AX на 3 разряда,

0004D3 F8SARAX, CL;тем самым уножая на 8

00068B C8MOVCX, AX; CX <- AX * 8

000858POPAX; Восстановление AX

000903 C1ADDAX, CX; AX <- исходное значение * 9

000B59POPCX;

000CC3RET

000DMUL9ENDP

;--------------------------------------------------

; Эта программа программа выделяет один бит в

; регистре AX, номер которого задан в регистре CL

;--------------------------------------------------

000D53PUSHBX; Сохранение регистра BX в стеке

000EBB 0001MOVBX, 1; Создание маски (1 в разряде 0 регистра BX)

0011D3 C3ROLBX, CL; Сдвиг маски

001323 C3ANDAX, BX; Выделение требуемого разряда

00155BPOPBX; Восстановление регистра BX

0016C3RET

0017CODEENDS

END

Фиг. 4.21 Примеры сдвига

Второй пример на Фиг. 4.21 показывает, как использовать сдвиг

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

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

AX, а регистр CL содержит номер бита, выбираемого из регистра AX:

если содержимое регистра CL равно 8, из регистра AX выбирается бит

8. Программа сдвигает маску в регистре BX на указанную в регистре

CL позицию, а команда AND изолирует выбранный бит.

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

CL должно быть в диапазоне 0 - 15. Можно было бы использовать

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

регистре CL; команда AND CL, 0FH гарантирует, что число в регистре

CL находится в пределах 0 - 15. Вы можете изменить этот пример так,

чтобы выделить более одного бита из слова. Можно было бы выделить

тетраду из 16=битового слова, заменив значение маски в регистре BX.