assembler. Учебник для вузов_Юров В.И_2003 -637с (862834), страница 51
Текст из файла (страница 51)
Вместо символов «ее» указывается конкретное условие, анализируемое командой. Что касается операнда метка_перехода, то он определяет метку перехода, которая может находиться только в пределах текущего сегмента кода; межсегментной передачи управления в условных переходах не допускается. В связис этим отпадает вопрос о модификаторе, который присутствовал в синтаксисе команд безусловного перехода. В ранних моделях процессора (8086, 80186 и 80286)Все прилагаемые к книге файлы можно найти по адресу http://www.piter.com/download.
—Примеч. ред.Термины «больше или меньше» и «выше или ниже» происходят от соответствующих английскихтерминов «greater-less» и «above-below». Первые буквы этих терминов входят в состав мнемонических обозначений соответствующих команд условного перехода. Несмотря на кажущуюся синонимичность этих терминов, на самом деле они отражают тот факт, что соответствующие им командыусловного перехода анализируют разные флаги (см.
также далее пояснения в тексте).Условные переходы225команды условного перехода могли осуществлять только короткие переходы — нарасстояние от -128 до +127 байт от команды, следующей за командой условногоперехода. Начиная с процессора 80386 это ограничение снято, но, как видите, тольков пределах текущего сегмента кода.Для того чтобы принять решение о том, куда будет передано управление командой условного перехода, предварительно должно быть сформировано условие,на основании которого должно приниматься решение. Источниками такого условия могут быть:любая команда, изменяющая состояние арифметических флагов;команда СМР, сравнивающая значения двух операндов;состояние регистра ЕСХ/СХ.Обсудим эти варианты, чтобы разобраться с тем, как работают команды условного перехода.Команда сравненияКоманда сравнения СМР (СоМРаге) имеет интересный принцип работы.
Он абсолютно такой же, как у команды вычитания SUB (см. главу 8). Команда СМР так же,как и команда SUB, выполняет вычитание операндов и по результатам сравненияустанавливает флаги. Единственное, чего она не делает, — не записывает результат вычитания на место первого операнда.Синтаксис команды СМР:стр операнд_1,операнд_2Флаги, устанавливаемые командой СМР, можно анализировать специальнымикомандами условного перехода.
Прежде чем мы их рассмотрим, уделим немноговнимания мнемонике этих команд (табл. 10.1). Понимание обозначений (элементов в названии команды JCC, обозначенных нами символами «ее») при формировании названия команд условного перехода облегчит их запоминание и дальнейшеепрактическое использование.Таблица 10.1. Значение аббревиатур в названии команды jccМнемоническоеобозначениеОригинальныйтерминПереводТип операндовеEqualРавноЛюбыепNotНетЛюбыеg1GreaterБольшеЧисла со знакомLessМеньшеЧисла со знакомаAboveВыше (в смысле больше)Числа без знакаЬBelowНиже (в смысле меньше)Числа без знакаВ табл. 10.2 представлен перечень команд условного перехода для команды СМР.Не удивляйтесь тому обстоятельству, что одинаковым значениям флагов соответствуют несколько разных мнемокодов команд условного перехода (они отделеныдруг от друга косой чертой).
Разница в названии обусловлена желанием разработ8 Зак. 256Глава 10. Команды передачи управления226чиков процессора упростить использование команд условного перехода с разными группами команд. Поэтому разные названия отражают скорее разную функциональную направленность. Тем не менее, то, что эти команды реагируют на однии те же флаги, делает их абсолютно эквивалентными и равноправными в программе. Именно поэтому они сгруппированы не по названиям, а по значениям флагов(условиям), на которые они реагируют.Таблица 10.2. Перечень команд условного перехода для команды стрТипыоперандовМнемокодкоманды условного переходаКритерий условногопереходаЗначения флаговдля переходаЛюбыеЛюбыеСо знакомСо знакомСо знакомСо знакомБез знакаБез знакаБез знакаБез знакаJEоперанд_1 = операнд_2операнд_1 <> операнд_2операнд_1 < операнд_2операнд_1 <= операнд_2операнд_1 > операнд_2операнд_1 => операнд_2операнд_1 < операнд_2операнд_1 <= операнд_2операнд_1 > операнд_2опсранд_1 => операнд_2ZF=1JNEJL/JNGEJLE/JNGJG/JNLEFJGE/JNLJB/JNAEJBE/JNAJA/JNBEJAE/JNBZF = 0SF <> OFSF <> OF или ZF = 1SF = OF и ZF = 0SF = OFCF=1СР=1илигр=1CF - 0 и ZF - 0CF = 0В качестве примера применения команды CMP рассмотрим фрагмент программы, который обнуляет поле pole_m длиной п байт:.datanequ 50pole_m db.coden dup (?)xor bx.bxml: mov mem[bx],0;bx=0inc bxcmp bx,njne mlexit:Так как команды условного перехода не изменяют флагов, то после одной команды СМР вполне могут следовать несколько команд условного перехода.
Этоможет быть сделано для того, например, чтобы исследовать каждую из альтернативных ветвей: больше, меньше или равно:.datamas db dup (?).codecmp m a s [ s i ] . 5eql:je eqljl lowjg grt;сравнить; переход,•.переход,;переход,очередной элемент массива сесли элемент mas равен 5если элемент mas меньше 5если элемент mas больше 5Условные переходы227low:grt:Команды условного перехода и флагиМнемоническое обозначение некоторых команд условного перехода отражает название флага, с которым они работают, и имеет следующую структуру: первым идетсимвол «j» (jump ~ переход), вторым — либо обозначение флага, либо символ отрицания «п», после которого стоит название флага.
Такая структура команды отражает ее назначение. Если символа «п» нет, то проверяется состояние флага и,если он равен 1, производится переход на метку перехода. Если символ «п» присутствует, то проверяется состояние флага на равенство 0 и в случае успеха производится переход на метку перехода.
Мнемокоды команд, названия флагов и условия переходов приведены в табл. 10.3. Эти команды можно использовать послелюбых команд, изменяющих указанные флаги.Таблица 10.3. Команды условного перехода и флагиНазваниефлагаНомер битав регистреeflags/flagsКомандаусловногопереходаЗначение флагадля осуществленияпереходаПереноса CFЧетности PFНуля ZFЗнака SFПереполнения OFПереноса CFЧетности PFНуля ZFЗнака SFПереполнения OF1JCCF=12JPPF=16JZZF=17JSSF=111JOOF-11JNCCF = 02JNPPF = 06JNZZF = 07jnssf-011JNOOF = 0Если внимательно посмотреть на табл. 10.2 и 10.3, видно, что многие командыусловного перехода в них эквивалентны, так как в них анализируются одинаковыефлаги.В листинге 10.1 приведен пример программы, производящей в строке символов длиной п байт замену строчных букв английского алфавита прописными.
Дляосмысленного рассмотрения этого примера вспомним ASCII-коды, соответствующие этим буквам (см. главу 6). Строчные и прописные буквы в таблице ASCII упорядочены по алфавиту. Строчным буквам соответствует диапазон кодов 61h-7ah,прописным — 41h-5ah. Для того чтобы понять идею, лежащую в основе алгоритмапреобразования, достаточно сравнить представления соответствующих прописныхи строчных букв в двоичном виде:228Глава 10. Команды передачи управленияa-01100001...z-0111 1010А - 0100 0001...Z - 0101 1010Как видно из приведенного двоичного представления, для выполнения преобразования между строчными и прописными буквами достаточно всего лишь инвертировать 5-й бит.Листинг 10.1. Смена регистра символов<1> ;prg_l0_ l. asmsmall<2> model<3> .stack 100h<4> .dataколичество символов в strokaequ 10<5> n<6> stroka db "acvfgrndup"<7> .code<8> start:<9>mov ax,@datamov ds.axxor ax,axmov cx,n;адрес stroka в bxlea bx,stroka;очередной символ из stroka в alml: mov al,[bx]cmp al,61h;убедиться, что код символа не меньше 61h;если меньше, то не обрабатыватьjb next;и перейти к следующему символуcmp al,7ah[убедиться, что код символа не больше 7ah;если больше, то не обрабатыватьja next;и перейти к следующему символу<20><21>and al.llOlllllb инвертировать 5-й бит;символ - на его место в stroka<22>mov [bx],al<23>next:;адресовать следующий символ<24>inc bx;уменьшить значение счетчика в сх<25>dec ex;если сх не 0, то переход на ml<26>jnz ml<27>exit:<28>mov ax,4c00h;возврат управления операционной системе<29>int 21h<30>end startОбратите внимание на строку 25 листинга.
Команда DEC уменьшает значениерегистра СХ на 1. Когда это значение станет равным 0, процессор по результатуоперации декремента установит флаг ZF. Команда в строке 26 анализирует состояние этого флага и, пока он не равен 1 (см. табл. 10.3), передает управление на метку ml. Заметьте, что на место этой команды можно было бы поставить команду JNE(см. табл.
10.2). Но для анализа регистра СХ в системе команд процессора есть специальная команда, которую мы сейчас и рассмотрим.Команды условного перехода и регистр ЕСХ/СХАрхитектура процессора предполагает специфическое использование многих регистров. К примеру, регистр EAX/AX/AL используется как аккумулятор, а регистрыЕВР/ВР, ESP/SP — для работы со стеком. Регистр ЕСХ/СХ тоже имеет определенноефункциональное назначение — он выполняет функции счетчика в командахуправления циклами и при работе с цепочками символов.
Возможно, что функционально команды условного перехода, связанные с регистром ЕСХ/СХ, правильнеебыло бы отнести к этой группе команд.Организация циклов229Синтаксис команд JCXZ (Jump if ex is Zero — переход, если СХ ноль) и J ECXZ (JumpEqual ecx Zero — переход, если ЕСХ ноль) таков:j c x z / j e c x z метка_переходаЭти команды очень удобно использовать при организации цикла и при работес цепочками символов. В этой главе мы разберемся со средствами организации циклов в программах на языке ассемблера и покажем работу команд JCXZ/JECXZ. Глава 12 будет посвящена цепочечным командам, где мы еще раз вернемся к командам JCXZ/JECXZ. Нужно отметить свойственное им ограничение. В отличие от другихкоманд условной передачи управления, команды JCXZ/J ECXZ могут адресовать только короткие переходы — на -128 байт или на +127 байт от следующей за ней команды.Установка байта по условиюПри рассмотрении команд условного перехода логично упомянуть еще об одной команде — SETcc.
Данная команда впервые появилась в процессоре 1386.Ее формат:SETcc операнд!Команда устанавливает байт операнд! после проверки модификатора ее, задающего условие, аналогично тому, как это делается в командах условного перехода.Фактически, модификатор ее обозначает флаг, который нужно проверить (см. приложение). В качестве операнда используется либо один из 8-разрядных регистров(AL, АН, BL, BH, CL, CH, DL, DH), либо адрес ячейки памяти размером в байт. Алгоритмработы команды заключается в том, что значение операнда устанавливается порезультатам проверки условия, заданного модификатором се:в операнд! = 0 — если условие ложно;я операнд! = 1 — если условие истинно.К примеру, в следующем фрагменте байт по адресу rez будет установлен в 0:mov ах,0crop ax,1setebyte ptr rezОрганизация цикловЦикл, как известно, представляет собой важную алгоритмическую структуру, безкоторой не обходится, наверное, ни одна программа.
Организовать циклическоевыполнение некоторого фрагмента программы можно, к примеру, используя команды условной передачи управления или команду безусловного перехода JMP.Например, подсчитаем количество нулевых байтов в области mas (листинг 10.2).Листинг 10.2. Подсчет числа нулевых элементов<1> ;prg_10_2.asm<2> model small<3> .stack 100h<4> .data<5> len equ 10;количество элементов в mas<6> mas db 1,0,9,8,0,7,8,0,2,0<7> .codeпродолжение ifr230Глава 10. Команды передачи управленияЛистинг 10.2 (продолжение)<8> s t a r t :<9>raovax @data<10>mov ds axmov ex len<12>xor ax ax<13>xor si<14>cycl:<15>jcxz exit<16>cmp m a s [ s i ] , 0<17>jne ml<18>inc al<19>ml:<20>inc si<21>dec сх<22>jmp cycl<23>exit:<24>mov ax,4c00h<25>int 21h<26>end s t a r t;длину поля mas в сх;проверка сх на 0, если 0, то выход;сравнить очередной элемент mas с 0;если не равно 0, то на ml;в al - счетчик нулевых элементов;перейти к следующему элементууменьшить сх на 1;возврат управления операционной системеЦикл в листинге 10.2 организован тремя командами, JCXZ, DEC и JMP (строки 15,21 и 22).
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
