assembler. Учебник для вузов_Юров В.И_2003 -637с (862834), страница 57
Текст из файла (страница 57)
Далеемы более подробно рассмотрим каждую операцию-примитив и команды, которыеее реализуют. При этом одну из команд в каждой группе цепочечных команд (команду с операндами) мы будем рассматривать подробнее, поскольку это более общая команда в смысле ограничений, накладываемых на типы операндов.Пересылка цепочекКоманды, реализующие операцию-примитив пересылки цепочек, производят копирование элементов из одной области памяти (цепочки) в другую. Размер элементаопределяется применяемой командой. Ассемблер предоставляет в распоряжение программиста четыре команды, работающие с разными размерами элементов цепочки:MOVS адрес_приемника,адрес_источника — переслать цепочку (MOVe String);MOVSB — переслать цепочку байтов (MOVe String Byte);MOVSW — переслать цепочку слов (MOVe String Word);MOVSD — переслать цепочку двойных слов (MOVe String Double word).Команда MOVSСинтаксис команды MOVS:movs адрес_приемника,адрес_источникаКоманда копирует байт, слово или двойное слово из цепочки, адресуемой операндом адрес_источника, в цепочку, адресуемую операндом адрес_приемника.
Размер пересылаемых элементов ассемблер определяет, исходя из атрибутов идентификаторов, указывающих на области памяти приемника и источника. К примеру,если эти идентификаторы были определены директивой DB, то пересылаться будут байты, если идентификаторы были определены с помощью директивы DD, топересылке подлежат 32-разрядные элементы, то есть двойные слова. Ранее ужебыло отмечено, что для цепочечных команд с операндами, к которым относитсяи команда пересылки movs адрес_приемника,адрес_источника, не существует машинного аналога. При трансляции в зависимости от типа операндов транслятор преобразует ее в одну из трех машинных команд: MOVSB, MOVSW или MOVSD.Сама по себе команда MOVS пересылает только один элемент, исходя из его типа,и модифицирует значения регистров ESI/SI и EDI/DI.
Если перед командой написать префикс REP, то одной командой можно переслать до 64 Кбайт данных (если254Глава 12. Цепочечные командыразмер адреса в сегменте 16 бит — use!6) или до 4 Гбайт данных (если размер адресав сегменте 32 бита — use32). Число пересылаемых элементов должно быть загружено в счетчик — регистр СХ (use!6) или ЕСХ (use32). Перечислим последовательность действий, которые нужно выполнить в программе для того, чтобы переслатьцепочку элементов из одной области памяти в другую с помощью команды MOVS.В общем случае эту последовательность можно рассматривать как типовую длявыполнения любой цепочечной команды.1.
Установить значение флага DF в зависимости от того, в каком направлении будут обрабатываться элементы цепочки — в направлении возрастания или убывания адресов.2. Загрузить указатели на адреса цепочек в памяти в пары регистров DS:(E)SI и ES:3. Загрузить в регистр ЕСХ/СХ количество обрабатываемых элементов.4. Выдать команду MOVS с префиксом REP.На примере листинга 12.1 рассмотрим, как эти действия реализуются программно. В этой программе производится пересылка символов из одной строки в другую. Строки находятся в одном сегменте памяти.
Для пересылки используетсякоманда-примитив MOVS с префиксом повторения REP.Листинг 12.1 . Пересылка строк командой MOVS;prg_i2_masmmodelstack.datasourcedest.codemain:1. asmsmall256dbdb"Тестируемая с т р о к а " , ' $ ' ;строка-источник;строка-приемник19 dup (" ")assume ds:@data,es:@datamov ax,@datamov d s .
a xmov es.axeldlea si .sourcelea di ,destmov e x , 20repexi t:endmovs dest,sourcelea dx.destmov ah,09hint 21h;точка входа в программу; з а г р у з к а сегментных регистров;настройка регистров DS и ES;на адрес сегмента данных;сброс флага DF - обработка; строки от начала к концу;загрузка в si смещения;строки-источника; з а г р у з к а в DS смещения строки-приемника;для префикса rep - счетчикповторений (длина строки);пересылка строки;вывод на экран строки-приемникаmov ax,4c00hint 21hmainПересылка байтов, слов и двойных словПересылка байтов, слов и двойных слов производится командами MOVSB, MOVSWи MOVSD. Единственной отличительной особенностью этих команд от команды movsСравнение цепочек255является то, что последняя может работать с элементами цепочек любого размера — 8,16 или 32 бита.
При трансляции команда MOVS преобразуется в одну из трехкоманд: MOVSB, MOVSW или MOVSD. Ранее было показано, что решение о том, в какуюконкретно команду будет произведено преобразование, принимается транслятором, исходя из размеров элементов цепочек, адреса которых указаны в качествеоперандов команды MOVS. Что касается адресов цепочек, то для любой из четырехкоманд они должны формироваться программой явно и заранее в регистрах ESI/SIи EDI/DI.К примеру, посмотрим, как изменится программа из листинга 12.1 при использовании команды MOVSB:.datasource dbdestdb.codeASSUME dsmain:"Пересыпаемая строка$"20 DUP (?)eldlea si,sourcelea di.destmov сх,20rep movsb;строка-источник;строка-приемник:@data,es:@data;сброс флага DF — просмотр строки от начала к концу;загрузка в ES строки-источника;загрузка в DS строки-приемника;для префикса гер - длина строки;пересылка строкиКак видим, изменилась только строка с командой пересылки.
Отличие в том,что программа из листинга 12.1 может работать с цепочками элементов любой изтрех размерностей: 8,16 или 32 бита, а последний фрагмент — только с цепочкамибайтов. Далее, как мы и договорились раньше, чтобы не загромождать описания,мы будем рассматривать группы команд для операций-примитивов только на примере более общей команды, а вы будете понимать, что на самом деле можно использовать любую из трех команд в соответствующем контексте.Сравнение цепочекКоманды, реализующие операцию-примитив сравнения цепочек, производятсравнение элементов цепочки-источника с элементами цепочки-приемника.Здесь ситуация с набором команд и методами работы с ними аналогична операции-примитиву пересылки цепочек. TASM предоставляет программистучетыре команды сравнения цепочек, работающие с разными размерами элементов цепочки:ш CMPS адрес_приемника,адрес_источника — сравнить строки (CoMPare String);il CMPSB — сравнить строку байтов (CoMPare String Byte);it CMPSW — сравнить строку слов (CoMPare String Word);ii CMPSD — сравнить строку двойных слов (CoMPare String Double word).Команда CMPSСинтаксис команды CMPS:cmps адрес_приемника,адрес_источника256Глава 12.
Цепочечные командыЗдесь:адрес_источника определяет адрес цепочки-источника в сегменте данных, заранее загружаемый в пару регистров DS: ESI/SI;адрес_приемника определяет адрес цепочки-приемника, которая должна находиться в дополнительном сегменте, заранее загружаемый в пару регистровES:EDI/DI.Алгоритм работы команды CMPS заключается в последовательном выполнениивычитания (элемент цепочки-источника минус элемент цепочки-получателя) надочередными элементами обеих цепочек. Принцип выполнения вычитания командой CMPS такой же, как у команды сравнения СМР.
Она так же, как и СМР, производит вычитание элементов, не записывая при этом результата, и устанавливает флагиZF, SF и OF. После вычитания очередных элементов цепочек командой CMPS индексные регистры ESI/SI и EDI/DI автоматически изменяются в соответствии со значением флага DF на значение, равное размеру элемента сравниваемых цепочек. Чтобызаставить команду CMPS выполняться несколько раз, то есть произвести последовательное сравнение элементов цепочек, необходимо перед командой CMPS определить префикс повторения. С командой CMPS можно использовать префиксы по:вторения REP, REPE/REPZ или REPNE/REPNZ:* REP — сравнивать элементы цепочек, пока ЕСХ/СХ>0;II REPE или REPZ — сравнивать элементы цепочек до выполнения одного из двухусловий:П содержимое ЕСХ/СХ равно нулю;п в цепочках встретились разные элементы (флаг ZF стал равен нулю);REPNE или REPNZ — сравнивать элементы цепочек до выполнения одного из двухусловий:П содержимое ЕСХ/СХ равно нулю;п в цепочках встретились одинаковые элементы (флаг ZF стал равен единице).Таким образом, выбор подходящего префикса позволяет организовать болеегибкий поиск одинаковых или различающихся элементов цепочек командой CMPS.Критерий для выбора префикса — условие выхода из цикла.
Для определения конкретного условия наиболее подходящим является способ, использующий команду условного перехода JCXZ. Ее работа заключается в анализе содержимого регистра ЕСХ/СХ, и если оно равно нулю, то управление передается на метку, указаннуюв качестве операнда JCXZ. Так как в регистре ЕСХ/СХ содержится счетчик повторений для цепочечной команды, имеющей любой из префиксов повторения, то, анализируя ЕСХ/СХ, можно определить условия выхода из цикла цепочечной команды.Если значение в ЕСХ/СХ не равно нулю, то это означает, что выход произошел попричине совпадения либо несовпадения очередных элементов цепочек.
Существуетвозможность еще больше конкретизировать информацию об условии завершенияоперации сравнения. Сделать это можно с помощью команд условной передачиуправления (табл. 12.1).Сравнение цепочек257Таблица 12.1. Соответствие команд условной передачи управления условиям завершениякоманды CMPSУсловие завершения сравненияоперанд_источник > операнд_приемникоперанд_источник = операнд_приемникоперанд_источник <>операнд_приемникоперанд_источник < операнд_приемникоперанд_источник <= операнд_приемникоперанд источник >- операнд приемникСоответствующая командаусловного переходаJA или JG (операнд со знаком)JE (в том числе для операнда со знаком)JNE или JNZ (в том числе для операндасо знаком)JB или JL (операнд со знаком)JBE или JLE (операнд со знаком)JAE или JGE (операнд со знаком)Как определить местоположение очередных совпавших или несовпавших элементов в цепочках? Вспомните, что после каждой итерации цепочечная командаавтоматически осуществляет инкремент-декремент значения адреса в соответствующих индексных регистрах.