Операции сдвига и поворота



Операции сдвига и поворота


    Остальные логические команды на Фиг. 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
      MOV     DX,9
      IMUL    DX
      POP     DX
 
      Кроме того, умножение на 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.




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