12_Макросредства языка Ассемблер (В.Г. Баула - Введение в архитектуру ЭВМ и системы программирования), страница 7

Другими словами, первый операнд макрокоманды SumMas может быть формата m8 илиm16, а второй – формата m16,r16 или i16. Сумма должна возвращаться на регистре ax (т.е. нашемакроопределение – в некотором смысле функция). Допускается, чтобы второй параметр был опущен, в этом случае по умолчанию будем считать, что в нашем массиве 100 элементов (т.е. предположим, что массивы такой длины наиболее часто встречаются в нашей программе, и нам просто леньзадавать в этом случае второй параметр макрокоманды).

Для простоты изложения наше макроопределение не будет сохранять, а затем восстанавливать используемые регистры, а переполнение при1Исключение составляют некоторые стандартные процедуры и функции Паскаля. Например, стандартная функция abs(X) может принимать параметр как целого, так и вещественного типов, выдавая, соответственно, целый или вещественный результат. Конечно, надо понимать, что в этом случае есть две разные функции с одним именем function abs(x:real):real; и function abs(x:integer):integer; , иПаскаль-машина просто выбирает, какую из них вызвать, в соответствие с типом фактического параметра.

Такие функции называются в языках программирования полиморфными (т.е. "много формовыми", а точнее былобы назвать их "много смысловыми"). Заметим, что в объектно-ориентированных языках программист можетписать и свои собственные полиморфные процедуры и функции.2Замечание для продвинутых читателей. В стандарте Паскаля можно попытаться сделать элементы такогомассива записями с вариантами, в Турбо-Паскале – использовать так называемые безтиповые массивы. Однаково всех этих случаях, даже если не принимать во внимание отсутствие контроля типов и следующее отсюдазначительное понижение надёжности программы, нам придётся передавать в функцию дополнительный параметр, задающий тип элемента массива, а внутри функции будет по существу находиться оператор case, разветвляющий вычисление по разным типам данных.

Не спасают здесь положение и объектно-ориентированныеязыки, всё равно придётся реализовать в программе несколько функций с одинаковым именем, компиляторлишь автоматически выберет одну из них, соответствующую типу элементов массива, переданного как фактический параметр.18сложении будем игнорировать. Кроме того, не будем проверять допустимость типа второго параметра, например, передачу в качестве второго параметра короткого регистра r8 или какой-нибудь меткипрограммы (Вы должны уже представлять, как можно сделать такую проверку на допустимость параметра). Ниже показан возможный вариант такого макроопределения.SumMas macro X,NLocal K,Lifb <X>%out Нет массива!.errexitmendififb <N>%out Берём длину=100movcx,100elsemovcx,NendifK=type Xif K LT 1 or K GT 2%out Плохой тип массива!.errexitmendifleabx,Xxordx,dx; Сумма:=0if K EQ byteL:moval,[bx]cbwadddx,axelseL:adddx,[bx]endifaddbx,Kloop Lmovax,dxendmКак видим, наше макроопределение настраивается на тип переданного массива и оставляет вмакрорасширении только команды, предназначенные для работы с элементами массива именно этоготребуемого типа.

Заметьте также, что вся эта работа по настройке на нужный тип параметров производится до начала счёта (на этапе компиляции),1 то есть на машинном языке получается эффективнаяпрограмма, настроенная на нужный тип данных и не содержащая никаких лишних команд.В качестве ещё одного примера рассмотрим следующую задачу. Пусть программисту на Ассемблере необходимо много раз вызывать различные процедуры и функции со стандартным соглашениемо связях, передавая им каждый раз достаточно большое количество параметров.

Естественно, программист хочет автоматизировать процесс вызова, написав макроопределение, которое позволяет вызывать процедуры и функции почти так же компактно, как и в языках высокого уровня. Например,пусть в Паскале есть описание процедуры с заголовкомProcedure P(var X:Mas; N:integer; var Y:integer);Такую процедуру в Паскале можно, например, вызвать оператором процедуры P(X,400,Y) . ВАссемблере для фактических параметров, описанных, например, так:Xdw400 dup (?)Ydw?1Такая настройка оказалась возможна только потому, что компилятор Ассемблера и Макропроцессор работают "рука об руку", поочерёдно обрабатывая в программе предложение за предложением.

Именно поэтомупри выполнении оператора type X внутри макроопределения компилятору, а, следовательно, и макропроцессору, уже известен тип имени фактического параметра, описанного где-то выше в тексте программы. Болееподробно как это делается, мы узнаем в главе, посвящённой схеме работы компилятора с Ассемблера.19вызов такой процедуры со стандартным соглашением о связях, как мы знаем, будет, например, производится последовательностью команд:movpushmovpushmovpushcallax,offset Xaxax,400axax,offset YaxPДля автоматизации вызова процедур напишем такое макроопределение:CallProc macro Name,Paramirpi,<Param>movax,ipush axendmcall NameendmВот теперь вызов нашей процедуры на Ассемблере можно производить одной макрокомандойCallProc P,<offset X,400,offset Y>Разумеется, это выглядит не так красиво, как в Паскале, но здесь уж ничего не поделаешь.

Ну, иуж для совсем любителей красоты и языка Паскаль предложим такой вызов этой процедуры:CallProc P,<var X,400,var Y>Этот вызов обеспечивается макроопределением с именем CallProc, внутри которого описановспомогательное макроопределение с именем InStack:CallProc macro Name,Param;; Вспомогательное макроопределениеInStack macro X,Yifb <Y>; нет varmov ax,Xelselea ax,Yendifpush axendm;; Основное макроопределениеirp i,<Param>InStack iendmcall NameendmСамостоятельно разберите, как работает это макроопределение и как его можно изменить дляобеспечения контроля правильности передаваемых ему фактических параметров.Как бы то ни было, главная наша цель достигнута, теперь вызов процедуры стал производиться водно предложение Ассемблера с хорошо понятным смыслом.

Заметим, что пустой список фактических параметров можно, как и в Паскале, полностью опускать, напримерCallProc FПосмотрим теперь, как разработчик нашего макроопределения сможет проконтролировать, что вкачестве первого параметра передано непустое имя некоторой процедуры (вообще говоря, метки).Проще всего проверить, что переданный параметр не пустой, как мы уже знаем, это можно выполнить, используя условный макрооператорifb <Name>%out Пустое имя процедуры.errexitm20endifНесколько сложнее обстоит дело, если наш программист захочет проверить, что в качестве первого параметра передано именно имя, а не какая-нибудь другая строка символов, скажем такая, как[bp+6].

Поставленную задачу можно решить, например, с помощью такого фрагмента на Макроассемблере:Nom=1; Первый символ в имениirpc i,<Name>Err=1; Признак ошибки в очередном символе имениif Nom EQ 1irpc j,<abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOQPRSTUVWXYZ_?@#$>ifidn <i>,<j>Err=0exitmendifendmelseirpc j,<abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOQPRSTUVWXYZ_?@#$0123456789>ifidn <i>,<j>Err=0exitmendifendmendifif Err EQ 1exitm; Выход из цикла irpcendifNom=Nom+1; Номер символа в имениendmif Err EQ 1%out Плохой Nom символ в имени Name.errexitm; Выход из макроопределенияendifДля анализа символов фактического параметра на принадлежность заданному множеству символов мы использовали макроцикл irpc.

Выполнение этого макроцикла очень похоже на выполнениемакроцикла irp, за исключением того, что параметру цикла каждый раз присваивается очереднойодин символ из строки, символы которой и являются списком цикла. В нашем примере в списке цикла мы указали в первом операторе irpc все символы, с которых может начинаться имя в Ассемблере (как и в Паскале, это латинские буквы и некоторые символы, приравнивающиеся к буквам). Вовтором операторе irpc из нашего примера мы просто добавили к этим символам ещё и 10 цифр. Заметим, что, как уже отмечалось ранее, каждое предложение Ассемблера надо записывать в однустроку, мы разбили каждый из макроциклов irpc на две строки исключительно для удобства чтениянашего примера, что, конечно же, будет классифицировано программой Ассемблера как синтаксическая ошибка.Итак, теперь мы убедились, что в качестве первого параметра наше макроопределение получилонекоторое имя.

Но является ли полученное нами имя именно именем процедуры или, в общемслучае, именем (меткой) команды? Чтобы выяснить это, в наше макроопределение можно вставитьпроверку типа полученного имени, например, так:if type Name NE near and type Name NE far%out Name не метка команды!.errexitmendif21Некоторые характеристики имени можно получить также, применив к этому имени одноместныйоператор Ассемблера .type. Результатом работы этого оператора является целое значение в формате байта (i8), при этом каждый бит в этом байте, если он установлен в "1", указывает на наличиенекоторой характеристики имени.

Ниже приведены номера некоторых битов в байте, которое этотоператор вырабатывает, будучи применённым к своему имени-операнду (напомним, что биты в байтенумеруются справа-налево, начиная с нуля):.type <имя> =0157-имяимяимяимякоманды или процедуры,переменной,как-то определено,описано в extrn.Так, например, для имени, описанного в Ассемблере какXdw?оператор .type X=00100010b=3410. Полностью про этот оператор нужно прочитать, например,в учебнике по Ассемблеру [5].В заключение нашего краткого знакомство с возможностью макросредств языка Ассемблер разберём пример, когда макрокоманда используется не в сегменте команд, а, например, в сегменте данных.