Chapter_12 (1110564), страница 3
Текст из файла (страница 3)
операнды команды могли быть только адресами (в нашей теперешней терминологии m16). В то же время наша новая макрокоманды допускает смешанную адресацию, когда второй и третий операнды могут быть прямыми, регистровыми или непосредственными (m16,r16 илиi16).6Первая команда в этом макрорасширении, хотя и не влияет на правильность алгоритма, но явнолишняя и портит всю картину. Естественно (так как истинный программист ценит в программах красоту ☺), что нам хотелось бы убрать из макрорасширения первую команду, если второй операндмакрокоманды является регистром ax.
Другими словами, мы бы хотели делать условную макрогенерацию и давать Макропроцессору указания вида "если выполняется такое-то условие, то вставляйв макрорасширение вот эти предложения Ассемблера, а иначе – не вставляй". На языке Паскаль такиеуказания мы записывали в виде условных операторов. Ясно, что и в макроязыке (а, как мы говорили, это тоже алгоритмический язык) тоже должны допускаться аналогичные условные макрооператоры.В Макроассемблере условные макрооператоры принадлежат к средствам так называемой условной компиляции.
Легко понять смысл этого названия, если вспомнить, что при выполнении такихмакрооператоров меняется вид компилируемой программы на Ассемблере, в ней появляются (или непоявляются) те или иные группы предложений. Мы изучим только самые употребительные макрооператоры, которые будем использовать в наших примерах, для полного изучения этой темы необходимо обратиться, например, к учебнику [5].Итак, мы хотим вставить в наше макроопределение условный макрооператор с таким смыслом:"Если второй фактический параметр X не идентичен(не совпадает) с именем регистра ax, то тогда необходимовставить в макрорасширение предложение mov ax,X ".На Макроассемблере наше макроопределение с именем Sum в этом случае будет иметь такойвид:Sum macro Z,X,Yifdif <X>,<ax>mov ax,Xendifadd ax,Ymov Z,axendmПоясним работу этого условного макрооператора с именем ifdif (if different).
Так как его аргументы – строки символов, т.е. он проверяет совпадение или несовпадение двух строк текста, то надокак-то задать эти строки. В качестве ограничителей строки в Макроассемблере выбраны угловыескобки, так что выражение <ax> эквивалентно записи 'ax' в Паскале. Таким образом, семантикунашего условного макрооператора на языке Паскаль можно записать какif X<>'ax' thenВставить в макрорасширение mov ax,XПроверьте, что теперь Макропроцессор для макрокоманды Sum C,ax,B не будет вставлять вмакрорасширение ненужной команды mov ax,ax .Изучая дальше наше макроопределение можно заметить, что и на место, например, макрокомандыSum ax,ax,13с допустимыми форматами операндов r16,r16,i16 подставится макрорасширениеadd ax,13mov ax,axс лишней последней строкой, что тоже некрасиво.
Чтобы это исправить, нам придётся снова изменить наше макроопределение, например, так:Sum macro Z,X,Yifdif <X>,<ax>mov ax,Xendifadd ax,Yifdif <Z>,<ax>mov ax,Zendifendm7Вот теперь на место макрокомандыSum ax,ax,13будет подставляться ну о-о-очень хорошее макрорасширениеadd ax,13Дальнейшее изучение работы нашего макроопределения, однако, выявит новую неприятность:макрокомандаSum ax,Y,axс допустимыми форматами операндов r16,m16,r16 порождает неправильное макрорасширениеmov ax,Yadd ax,axЛегко понять, что это, конечно, не то же самое, что ax:=Y+ax. Как можно заметить, источникнеприятности здесь состоит в том, что третий параметр нашей макрокоманды испортился до того, какмы его использовали по назначению.
С этой проблемой тоже можно справиться, снова усложнив наше макроопределение, например, так:Sum macro Z,X,Yifidn <ax>,<Y>add ax,Xelseifdif <ax>,<X>mov ax,Xendifadd ax,Yendififdif <Z>,<ax>mov Z,axendifendmВ новой версии нашего макроопределения мы использовали вложенные условные макрооператоры.
Первый из них с именем ifidn (if identical) сравнивает свои аргументы-строки текста и вырабатывает значение true, если они идентичны (равны). Как и в условном операторе языка Паскаль, вусловном макрооператоре может присутствовать ветвь else, которая выполняется, если при сравнении строк получается значение false. Обязательно проверьте, что для нашего последнего примеравызова макрокоманды Sum ax,Y,ax сейчас тоже получается правильное макрорасширение.Не нужно, конечно, думать, что теперь мы написали идеальное макроопределение и все проблемы решены.
Первая неприятность, которая нас подстерегает, связана с самим механизмом сравнениястрок на равенство и неравенство в условных макрооператорах. Рассмотрим, например, что будет,если записать в нашей программе макрокомандуSum AX,X,YНа её место будет подставлено макрорасширениеmov ax,Xadd ax,Ymov AX,axс совершенно лишней последней строкой.
Причина здесь в том, что Макропроцессор, естественно,считает строки текста <AX> и <ax> не идентичными, так как полагает внутри строки текста большие и маленькие буквы различными, со всеми вытекающими отсюда последствиями. В то же времяслужебные имена регистров AX и ax в языке Ассемблера, как мы знаем, считаются идентичными, иу нас нет причин ограничивать пользователя в написании таких имён, как ему захочется. С этой проблемой нам придётся что-то делать…Другая трудность подстерегает нас, если мы попытаемся использовать в нашей программе, например, такую макрокомандуSum ax,bx,dlПосле обработки этой макрокоманды будет построено макрорасширениеmov ax,bxadd ax,dl8Это макрорасширение Макропроцессор "со спокойной совестью" подставит на место нашей макрокоманды.
Конечно, позже, на следующем этапе, когда Ассемблер будет анализировать синтаксическую правильность этих предложений Ассемблера, для команды add ax,dl зафиксируется ошибка – несоответствие типов операндов. Это очень важный момент – ошибка зафиксирована не при обработке Макропроцессором неправильной макрокоманды Sum ax,bx,dl , как происходит припроверке синтаксической правильности обычных команд Ассемблера, а позже, и уже при анализе немакрокоманды, а макрорасширения. В этом отношении наша макрокоманда уступает обычным командам Ассемблера, так как по аварийной диагностике будет труднее определить место и характерошибки.
Нам бы, конечно, хотелось, чтобы диагностика об ошибке (и лучше на русском языке) выдавалась уже на этапе обработки макрокоманды Макропроцессором. Например, для неправильной макрокомандыSum ax,bx,dlДля программиста много лучше получить диагностику*** У Sum плохой тип третьего параметра,чем такую диагностику:add ax,dlASM(329): error 31: Operand types must matchИтак, мы обратили внимание на две трудности, которые, как Вы догадываетесь, можно преодолеть, снова усложнив наше макроопределение.
Мы, однако, сделаем это не на примере простой макрокоманды Sum для суммирования двух чисел, а на примерах других, более сложных, задач.Рассмотрим теперь типичный ход мыслей программиста. Когда у него может возникнуть необходимость в написании новой макрокоманды? Например, во многих программах необходимо выдаватьмногочисленные диагностические сообщения. Как мы знаем, для того, чтобы в нашем Ассемблеревыполнить вывод текстовой строки, расположенной в сегменте данных, например,Tdb'Строка для вывода$'необходимо загрузить адрес начала этой строки на регистр dx и выполнить макрокоманду outstr:mov dx,offset ToutstrЯсно, что это не совсем то, что хотелось бы программисту, ему было бы много удобнее выводитьстроку текста, например, так (текстовые строки в Ассемблере можно заключать как в двойные кавычки, так и в апострофы):outtxt "Строка для вывода"Осознав такую потребность, программист решает написать новое, своё собственное, макроопределение, которое позволяет именно так выводить текстовые строки.
Проще всего построить новоемакроопределение outtxt на базе уже существующего макроопределения outstr, например, так:outtxt macro Xlocal L,TjmpLTdbXdb'$'L:push ds; запоминание dspush cspopds; ds:=cspush dx; сохранение dxmovdx,offset Toutstrpopdx; восстановление dxpopds; восстановление dsendmВ этом макроопределении мы использовали новое для нас макросредство – директивуlocal L,TЭта директива обязана стоять в самом начале макроопределения, она объявляет имена L и T локальными именами макроопределения outtxt. Как и локальные имена, например, в языке Паскаль,они не видны извне макроопределения, которое в этом смысле играет роль блока, следовательно, в9других частях этого программного модуля также могут использоваться эти имена.
Директива localдля Макропроцессора имеет следующий смысл. При каждом входе в макроопределение локальныеимена, перечисленные в этой директиве, получают новые уникальные значения. Обычно Макропроцессор выполняет это совсем просто: при первом входе в макроопределение заменяет локальныеимена L и T, например, на имена ??0001 и ??0002, при втором входе – на имена ??0003 и??0004 и т.д. Учтите, что в Ассемблере символ ? относится к буквам и может входить в имена, хотяпрограммисту и не рекомендуется использовать такие имена, чтобы не конфликтовать с именами,автоматически порождаемыми Макропроцессором.Например, для макрокомандыouttxt 'Привет!'будет построено макрорасширениеjmp??0001db'Привет!'db'$'??0001: push ds; запоминание dspush cspopds; ds:=cspush dx; сохранение dxmovdx,offset ??0002outstrpopdx; восстановление dxpopds; восстановление ds??0002Назначение директивы local становится понятным, когда мы рассмотрим, что будет, если этудирективу убрать из нашего макроопределения.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
