Остальные логические команды на Фиг. 4.19 выполняют сдвиги данных.  Команда сдвига перемещает все биты в поле данных либо вправо, либо  влево. Это можно проиллюстрировать церковной скамьей, на которой  сидят мужчины и женщины.  Каждый раз, когда приходит новый человек  и садится на край скамьи, остальные сидящие на ней сдвигаются на  одно место. Если скамья уже заполнена, то крайний в результате  такого сдвига вытесняется с нее. Команда сдвига делает в точности  то же самое, только вместо женщин и мужчин здесь выступают нули и  единицы.

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

Как и другие логические команды, сдвиги работают с байтами и  словами. Каждая команда указывает единственный операнд. Этот  операнд может быть либо регистром, либо ячейкой памяти. Все эти  команды используют байт mod=r/m для описания операнда.

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

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

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

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

             ROL                      ROR

 

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

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

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

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

             RCL                        RCR

 

 

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

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

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

             SHL                      SHR

                              ЪДДДДДДДї

                              і      і

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

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

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

             SAL                      SAR

Фиг. 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.

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

  PUSH DX

  MOVDX,9

  IMUL DX

  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 Примеры инструкций сдвига

          0000                   CODE   SEGMENT

                                        ASSUME CS:CODE,DS:CODE

 

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

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

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

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

 

          0000                   MUL9   PROC    NEAR

 

          0000  51                          PUSH    CX              ; Сохранение регистра CX в стеке

          0001  50                          PUSH    AX              ; Временное сохранение AX

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

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

          0006  8B C8                  MOV     CX, AX         ; CX <- AX * 8

          0008  58                          POP     AX              ; Восстановление AX

          0009  03 C1                  ADD     AX, CX         ; AX <- исходное значение * 9

          000B  59                          POP     CX              ;

          000C  C3                           RET

          000D                   MUL9   ENDP

 

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

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

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

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

 

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

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

          0011  D3 C3                  ROL     BX, CL         ; Сдвиг маски

          0013  23 C3                  AND     AX, BX         ; Выделение требуемого разряда

          0015  5B                          POP     BX              ; Восстановление регистра BX

          0016  C3                           RET

 

          0017                   CODE   ENDS

                                        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.