12_Макросредства языка Ассемблер (975809), страница 3
Текст из файла (страница 3)
Затем, после замены формальных параметров на фактические, Макропроцессор построит следующее макрорасширение:mov ax,Aadd ax,Bmov C,axЭто макрорасширение и будет подставлено в текст нашей программы вместо макрокомандыSum C,A,B (произойдёт макроподстановка полученного макрорасширения на место макрокоманды).Программист доволен: теперь исходный текст его программы значительно сократился, и программа стала более понятной.
Таким образом, можно приблизить уровень языка Ассемблер (как мыговорили, это язык низкого уровня) к языку высокого уровня (например, Паскалю). В этом, как мыуже говорили, и состоит одно из назначений механизма макроопределений и макрокоманд – поднятьуровень языка, в котором они используются. Кроме того, можно заметить, что с помощью макрокоманд мы как бы меняем архитектуру нашего компьютера, например, у нас появилась трёхадреснаякоманда сложения, которой нет в языке машины.Далее, однако, программист может заметить, что некоторые вызовы макрокоманды Sum работают не совсем хорошо. Например, на место макрокоманды с допустимым форматом параметровSum C,ax,B; формат m16,r16,m16будет подставлено макрорасширениеmov ax,axadd ax,Bmov C,ax1Любопытно отметить, что такой команды не было и в нашей учебной трёхадресной машине УМ-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.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
