Дополнительные команды сдвига

Система команд последних моделей микропроцессоров Intel, начиная с i80386, содержит дополнительные команды сдвига, расширяющие возможности, рассмотренные нами ранее.

Это — команды сдвигов двойной точности:

операнд_1,операнд_2,счетчик_сдвигов — сдвиг влево двойной точности.

Команда shld производит замену путем сдвига битов операнда операнд_1 влево, заполняя его биты справа значениями битов, вытесняемых из операнд_2 согласно схеме на рис. 5. Количество сдвигаемых бит определяется значением счетчик_сдвигов, которое может лежать в диапазоне 0...31. Это значение может задаваться непосредственным операндом или содержаться в регистре cl. Значение операнд_2 не изменяется.

Рис. 5. Схема работы команды shld

операнд_1,операнд_2,счетчик_сдвигов — сдвиг вправо двойной точности.

Команда производит замену путем сдвига битов операнда операнд_1 вправо, заполняя его биты слева значениями битов, вытесняемых из операнд_2 согласно схеме на рис. 6. Количество сдвигаемых бит определяется значением счетчик_сдвигов, которое может лежать в диапазоне 0...31. Это значение может задаваться непосредственным операндом или содержаться в регистре cl. Значение операнд_2 не изменяется.

Рис. 6. Схема работы команды shrd

Как мы отметили, команды shld и shrd осуществляют сдвиги до 32 разрядов, но за счет особенностей задания операндов и алгоритма работы эти команды можно использовать для работы с полями длиной до 64 бит.

Например, рассмотрим, как можно осуществить сдвиг влево на 16 бит поля из 64 бит.

;... .data pole_l dd 0b21187f5h1 pole_h dd 45ff6711h .code ;... .386 mov cl,16 ;загрузка счетчика сдвига в cl mov eax,pole_h shld pole_l,eax,cl shl pole_h,cl ;pole_l=87f50000h, pole_h=6711b211h

Команды циклического сдвига

К командам циклического сдвига относятся команды, сохраняющие значения сдвигаемых бит. Есть два типа команд циклического сдвига:

команды простого циклического сдвига;

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

К командам простого циклического сдвига относятся:

операнд,счетчик_сдвигов (Rotate Left) — циклический сдвиг влево.

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

операнд,счетчик_сдвигов (Rotate Right) — циклический сдвиг вправо.

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

Рис. 3. Схема работы команд простого циклического сдвига

Как видно из рис. 3, команды простого циклического сдвига в процессе своей работы осуществляют одно полезное действие, а именно: циклически сдвигаемый бит не только вдвигается в операнд с другого конца, но и одновременно его значение становиться значением флага cf.

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

... mov eax,ffff0000h mov cl,16 rol eax,cl

Команды циклического сдвига через флаг переноса cf

отличаются от команд простого циклического сдвига тем, что сдвигаемый бит не сразу попадает в операнд с другого его конца, а записывается сначала в флаг переноса cf. Лишь следующее исполнение данной команды сдвига (при условии, что она выполняется в цикле) приводит к помещению выдвинутого ранее бита с другого конца операнда (см. рис. 4).

К командам циклического сдвига через флаг переноса cf относятся следующие:

операнд,счетчик_сдвигов (Rotate through Carry Left) — циклический сдвиг влево через перенос.

Содержимое операнда сдвигается влево на количество бит, определяемое операндом счетчик_сдвигов. Сдвигаемые биты поочередно становятся значением флага переноса cf.

операнд,счетчик_сдвигов (Rotate through Carry Right) — циклический сдвиг вправо через перенос.

Содержимое операнда сдвигается вправо на количество бит, определяемое операндом счетчик_сдвигов. Сдвигаемые биты поочередно становятся значением флага переноса cf.

Рис. 4. Команды циклического сдвига через флаг переноса cf

Из рис. 4 видно, что при сдвиге через флаг переноса появляется промежуточный элемент, с помощью которого, в частности, можно производить подмену циклически сдвигаемых битов, в частности, рассогласование

битовых последовательностей.

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

Команды линейного сдвига

К командам этого типа относятся команды, осуществляющие сдвиг по следующему алгоритму:

очередной “выдвигаемый” бит устанавливает флаг cf;

бит, вводимый в операнд с другого конца, имеет значение 0;

при сдвиге очередного бита он переходит во флаг cf, при этом значение предыдущего сдвинутого бита теряется!

Команды линейного сдвига делятся на два подтипа:

команды логического линейного сдвига;

команды арифметического линейного сдвига.

К командам логического линейного сдвига относятся следующие:

операнд,счетчик_сдвигов (Shift Logical Left) - логический сдвиг влево.

Содержимое операнда сдвигается влево на количество битов, определяемое значением счетчик_сдвигов. Справа (в позицию младшего бита) вписываются нули;

операнд,счетчик_сдвигов (Shift Logical Right) — логический сдвиг вправо.

Содержимое операнда сдвигается вправо на количество битов, определяемое значением счетчик_сдвигов. Слева (в позицию старшего, знакового бита) вписываются нули. На рис. 1 показан принцип работы этих команд.

Рис. 1. Схема работы команд линейного логического сдвига

Ниже показан фрагмент программы, который выполняет преобразование двух неупакованных BCD-чисел в слове памяти bcd_dig в упакованное BCD-число в регистре al.

... bcd_dig dw 0905h ;описание неупакованного BCD-числа 95 ... mov ax,bcd_dig ;пересылка shl ah,4 ;сдвиг влево add al,ah ;сложение для получения результата: al=95h

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

операнд,счетчик_сдвигов (Shift Arithmetic Left) —

арифметический сдвиг влево.

Содержимое операнда сдвигается влево на количество битов, определяемое значением счетчик_сдвигов. Справа (в позицию младшего бита) вписываются нули. Команда sal не сохраняет знака, но устанавливает флаг cf в случае смены знака очередным выдвигаемым битом. В остальном команда sal полностью аналогична команде shl;

операнд,счетчик_сдвигов (Shift Arithmetic Right) — арифметический сдвиг вправо.

Содержимое операнда сдвигается вправо на количество битов, определяемое значением счетчик_сдвигов. Слева в операнд вписываются нули. Команда sar сохраняет знак, восстанавливая его после сдвига каждого очередного бита.

На рис. 2 показан принцип работы команд линейного арифметического сдвига.

Рис. 2. Схема работы команд линейного арифметического сдвига

Команды сдвига

Команды этой группы также обеспечивают манипуляции над отдельными битами операндов, но иным способом, чем логические команды, рассмотренные выше.

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

Все команды сдвига имеют одинаковую структуру:

коп операнд,счетчик_сдвигов

Количество сдвигаемых разрядов —

счетчик_сдвигов — располагается, как видите, на месте второго операнда и может задаваться двумя способами:

статически, что предполагает задание фиксированного значения с помощью непосредственного операнда;

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

Исходя из размерности регистра cl, понятно, что значение счетчика сдвигов может лежать в диапазоне от 0 до 255. Но на самом деле это не совсем так.

В целях оптимизации микропроцессор воспринимает только значение пяти младших битов счетчика, то есть значение лежит в диапазоне от 0 до 31.

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

Все команды сдвига устанавливают флаг переноса cf.

По мере сдвига битов за пределы операнда они сначала попадают на флаг переноса, устанавливая его равным значению очередного бита, оказавшегося за пределами операнда. Куда этот бит попадет дальше, зависит от типа команды сдвига и алгоритма программы.

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

Логические данные

Теоретической базой для логической обработки данных является формальная логика.

Существует несколько систем логики. Одна из наиболее известных — это исчисление высказываний. Высказывание — это любое утверждение, о котором можно сказать, что оно либо истинно,

либо ложно.

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

Исчисление высказываний очень гармонично сочетается с принципами работы компьютера и основными методами его программирования. Все аппаратные компоненты компьютера построены на логических микросхемах. Система представления информации в компьютере на самом нижнем уровне основана на понятии бита. Бит, имея всего два состояния: 0 (ложно) и 1 (истинно), — естественным образом вписывается в исчисление высказываний.

Согласно теории, над высказываниями (над битами) могут выполняться следующие логические операции:

отрицание (логическое НЕ) — логическая операция над одним операндом, результатом которой является величина, обратная значению исходного операнда.

Эта операция однозначно характеризуется следующей таблицей истинности (табл. 1).

Таблица 1. Таблица истинности для логического отрицания

Значение операнда	0	1
Результат операции	1	0

логическое сложение (логическое включающее ИЛИ) — логическая операция над двумя операндами, результатом которой является “истина” (1), если один или оба операнда имеют значение “истина” (1), и “ложь” (0) — если оба операнда имеют значение “ложь” (0).

Эта операция описывается с помощью следующей таблицы истинности (табл. 2).

Таблица 2. Таблица истинности для логического включающего ИЛИ

Значение операнда 1	0	1	1
Значение операнда 2	1	0	1
Результат операции	1	1	1

логическое умножение (логическое И) — логическая операция над двумя операндами, результатом которой является “истина” (1) только в том случае, если оба операнда имеют значение “истина” (1). Во всех остальных случаях значение операции “ложь” (0).

Эта операция описывается с помощью следующей таблицы истинности (табл.3).

Таблица 3. Таблица истинности для логического И

Значение операнда 1	0	1	1
Значение операнда 2	1	0	1
Результат операции	0	0	1

логическое исключающее сложение (логическое исключающее ИЛИ) — логическая операция над двумя операндами, результатом которой является “истина” (1), если только один из двух операндов имеет значение “истина” (1), и ложь (0), если оба операнда имеют значение “ложь” (0) или “истина” (1).

Эта операция описывается с помощью следующей таблицы истинности(табл. 4).

Таблица 4. Таблица истинности для логического исключающего ИЛИ

Значение операнда 1	0	1	1
Значение операнда 2	1	0	1
Результат операции	1	1	0

Система команд микропроцессора содержит пять команд, поддерживающих данные операции. Эти команды выполняют логические операции над битами операндов. Размерность операндов, естественно, должна быть одинакова. Например, если размерность операндов равна слову (16 бит), то логическая операция выполняется сначала над нулевыми битами операндов и ее результат записывается на место бита 0 результата. Далее команда последовательно повторяет эти действия над всеми битами с первого до пятнадцатого. Возможные варианты размерности операндов для каждой команды приведены в “Справочнике команд”.

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

Наряду со средствами арифметических вычислений, система команд микропроцессора имеет также средства логического преобразования данных. Под логическими понимаются такие преобразования данных, в основе которых лежат правила формальной логики.

Формальная логика работает на уровне утверждений истинно

и ложно. Для микропроцессора это, как правило, означает 1

и 0 соответственно.

Для компьютера язык нулей и единиц является родным, но минимальной единицей данных, с которой работают машинные команды, является байт. Однако, на системном уровне часто необходимо иметь возможность работать на предельно низком уровне — на уровне бит.

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

В связи с последним напомню, что операнд команды ассемблера в общем случае может представлять собой выражение, которое, в свою очередь, является комбинаций операторов и операндов. Среди этих операторов могут быть и операторы, реализующие логические операции над объектами выражения.

Перед подробным рассмотрением этих средств давайте посмотрим, что же представляют собой сами логические данные и какие операции над ними производятся.

or eax,10b ;установить 1-й бит в регистре eax

Для сброса определенных разрядов (бит) в 0

применяется команда

and операнд_1,операнд_2.

В этой команде операнд_2, выполняющий роль маски, должен содержать нулевые биты на месте тех разрядов, которые должны быть установлены в 0 в операнд_1.

and eax,fffffffdh ;сбросить в 0 1-й бит в регистре eax

Команда xor операнд_1,операнд_2 применяется:

для выяснения того, какие биты в операнд_1 и операнд_2 различаются;

для инвертирования состояния заданных бит в операнд_1.

xor eax,10b ;инвертировать 1-й бит в регистре eax jz mes ;переход, если 1-й бит в al был единичным

Интересующие нас биты маски (операнд_2) при выполнении команды xor должны быть единичными, остальные — нулевыми.

Для проверки состояния заданных бит применяется команда

test операнд_1,операнд_2 (проверить операнд_1).

Проверяемые биты операнд_1 в маске (операнд_2) должны иметь единичное значение. Алгоритм работы команды test подобен алгоритму команды and, но он не меняет значения операнд_1.

Результатом команды является установка значения флага нуля zf:

если zf = 0, то в результате логического умножения получился нулевой результат, то есть один единичный бит маски, который не совпал с соответствующим единичным битом операнд_1;

если zf = 1, то в результате логического умножения получился ненулевой результат, то есть хотя бы один единичный бит маски совпал с соответствующим единичным битом операнд_1.

test eax,00000010h jz m1 ;переход, если 4-й бит равен 1

<

Как видно из примера, для реакции на результат команды test целесообразно использовать команду перехода метка (Jump if Not Zero) — переход, если флаг нуля zf ненулевой, или команду с обратным действием — метка (Jump if Zero) — переход, если флаг нуля zf = 0.

Следующие две команды позволяют осуществить поиск первого установленного в 1 бита операнда. Поиск можно произвести как с начала так и от конца операнда:

операнд_1,операнд_2 (Bit Scaning Forward) - сканирование битов вперед.

Команда просматривает (сканирует) биты операнд_2 от младшего к старшему (от бита 0 до старшего бита) в поисках первого бита, установленного в 1. Если таковой обнаруживается, в операнд_1 заносится номер этого бита в виде целочисленного значения. Если все биты операнд_2 равны 0, то флаг нуля zf устанавливается в 1, в противном случае флаг zf сбрасывается в 0.

mov al,02h bsf bx,al ;bx=1 jz m1 ;переход, если al=00h ...

операнд_1,операнд_2 (Bit Scaning Reset) — сканирование битов в обратном порядке.

Команда просматривает (сканирует) биты операнд_2 от старшего к младшему (от старшего бита к биту 0) в поисках первого бита, установленного в 1. Если таковой обнаруживается, в операнд_1 заносится номер этого бита в виде целочисленного значения.

При этом важно, что позиция первого единичного бита слева отсчитывается все равно относительно бита 0. Если все биты операнд_2 равны 0, то флаг нуля zf устанавливается в 1, в противном случае флаг zf сбрасывается в 0.

Листинг 1 демонстрирует пример применения команд bsr и bsf. Введите код и исследуйте работу программы в отладчике (в частности, обратите внимание на то, как меняется содержимое регистра bx после команд bsf и bsr).

Листинг 1 Сканирование битов ;prg_9_1.asm masm model small stack 256 .data ;сегмент данных .code ;сегмент кода main: ;точка входа в программу mov ax,@data mov ds,ax ;... .486 ;это обязательно xor ax,ax mov al,02h bsf bx,ax ;bx=1 jz m1 ;переход, если al=00h bsr bx,ax m1: ;... mov ax,4c00h ;стандартный выход int 21h end main

В последних моделях микропроцессоров Intel в группе логических команд появилось еще несколько команд, которые позволяют осуществить доступ к одному конкретному биту операнда. Операнд может находиться как в памяти, так и в регистре общего назначения. Положение бита задается смещением бита относительно младшего бита операнда. Значение смещения может задаваться как в виде непосредственного значения, так и содержаться в регистре общего назначения. В качестве значения смещения вы можете использовать результаты работы команд bsr и bsf. Все команды присваивают значение выбранного бита флагу cf.

операнд,смещение_бита (Bit Test) — проверка бита.

Команда переносит значение бита в флаг cf.

bt ax,5 ;проверить значение бита 5 jnc m1 ;переход, если бит = 0

<

операнд,смещение_бита (Bit Test and Set) — проверка и установка бита.

Команда переносит значение бита в флаг cf и затем устанавливает проверяемый бит в 1.

mov ax,10 bts pole,ax ;проверить и установить 10-й бит в pole jсm1 ;переход, если проверяемый бит был равен 1

операнд,смещение_бита (Bit Test and Reset) — проверка и сброс бита.

Команда переносит значение бита в флаг cf и затем устанавливает этот бит в 0.

операнд,смещение_бита (Bit Test and Convert) — проверка и инвертирование бита.

Команда переносит значение бита в флаг cf и затем инвертирует значение этого бита.