assembler. Учебник для вузов_Юров В.И_2003 -637с (862834), страница 65
Текст из файла (страница 65)
При этом обратите внимание на то обстоятельство, что мы нигде явно не просчитываем расположение битов. Поэтому, если понадобится изменить размер элемента или его начальное значение, то достаточнолишь внести изменения в экземпляр записи или в описание ее типа. Функциональную часть программы, работающую с этой записью, трогать не нужно.Дополнительные возможности обработкиПонимая важность типа данных «запись» для эффективного программирования,разработчики транслятора TASM, начиная с версии 3.0, включили в систему егокоманд две дополнительные команды на правах директив. Последнее означает, чтоэти команды внешне имеют формат обычных команд ассемблера, но после трансляции они приводятся к одной или нескольким машинным командам.
Введениеэтих команд в язык TASM повышает наглядность работы с записями, оптимизирует код и уменьшает размер программы. Эти команды позволяют скрыть от программиста действия по выделению и установке отдельных полей записи (см. ранее).Для установки значения некоторого поля записи используется команда SETFIELDс синтаксисом:s e t f i e l d имя_элемента_записи приемник,регистр_источникДля выборки значения некоторого поля записи используется команда GETFIELDс синтаксисом:g e t f i e l d имя_элемента_записи регистр_приемник,источникРабота команды SETFIELD заключается в следующем.
Местоположение записиопределяется операндом приемник, который может представлять собой имя регистра или адрес памяти. Операнд имя_элемента_записи определяет элемент записи,с которым ведется работа (по сути, если вы были внимательны, он определяет смещение элемента в записи относительно младшего разряда). Новое значение, в ко-Записи291торое необходимо установить указанный элемент записи, должно содержатьсяв операнде регистр_источник. Обрабатывая данную команду, транслятор генерирует последовательность команд, которые выполняют следующие действия.1. Сдвиг содержимого операнда регистр_источник влево на количество разрядов,соответствующее расположению элемента в записи.2.
Выполнение логической операции OR над операндами п р и е м н и к и регистр_источник. Результат операции помещается в операнд приемник.Важно отметить, что SETFIELD не производит предварительной очистки элемента, в результате после логического сложения командой OR возможно наложениестарого содержимого элемента и нового устанавливаемого значения.
Поэтому требуется предварительно подготовить поле в записи путем его обнуления.Действие команды GETFIELD обратно действию SETFIELD. В качестве операндаисточник может быть указан либо регистр, либо адрес памяти. В регистр, указанный операндом регистр_приемник, помещается результат работы команды — значение элемента записи. Интересная особенность связана с операндом регистр_приемник. Команда GETFIELD всегда использует 16-разрядный регистр, даже если выукажете в этой команде имя 8-разрядного регистра.В качестве примера применения команд SETFIELD и GETFIELD рассмотрим листинг 13.8.Листинг 13.8. Работа с полями записи;prg_13_8.asmmasmmodelsmallstack256iotest record 11:1,12:2=11,13:1,14:2=11,15:2=00.dataflagiotest <>.codemain:mov ax,@datamov ds.axmov al.flagmov bl,3setfield 15 al.blxor Ы,Ыg e t f i e l d 15 b l . a lmov Ы , 1s e t f i e l d 14 a l .
b ls e t f i e l d 15 a l . b lexi t:mov ax,4c00hint 21hend mainстандартный выход;конец программыВ листинге 13.8 демонстрируется порядок извлечения и установки некоторыхполей записи. Результат работы команд SETFIELD и GETFIELD удобнее всего изучатьв отладчике. При установке значений полей не производится их предварительнаяочистка. Это сделано специально. Для такого рода операций лучше использоватьнекоторые универсальные механизмы, иначе велик риск внесения ошибок, которые трудно обнаружить и исправить.
В качестве такого механизма можно предложить макрокоманды, к рассмотрению которых мы и приступим в следующей главе.292Глава 13. Сложные структуры данныхВ заключение хотелось бы привести еще один пример использования записей.Это описание регистра EFLAGS. Для удобства мы разбили описание на три части:II eflags_l_7 — младший байт регистра EFLAGS/FLAGS;я eflags_8_15 — второй байт регистра EFLAGS/FLAGS;т eflags_h — старшая половина регистра EFLAGS.eflags_l_7 recordSf7:l=0,zf6:l=0,c5:l=0,af4:l=0,c3:l=0,pf2:l=0,cl:=l,cf0:l=0eflags_l_15 recordcl5:l=0,ntl4:l=0,iopl:2=0,ofll:l=0,df10:1=0,if9:1=1,tf8:1=0eflagsjirecord c:13=0,ac!8:1=0,vrnl?:1=0,rf16:1=0К этому описанию стоит вернуться после изучения материала следующей главы, посвященного макрокомандам.
Возможно, что для работы с регистром флаговвам захочется разработать соответствующую макрокоманду. Подобная хорошопротестированная макрокоманда в будущем поможет вам избежать многих трудно обнаруживаемых ошибок.Итоги9 TASM поддерживает несколько дополнительных типов данных, значительнорасширяющих возможности базовых директив резервирования и инициализации данных. По сути, эти типы заимствованы из языков высокого уровня и призваны облегчить разработку прикладных программ на ассемблере.- Практическое использование дополнительных типов данных требует повышенного внимания и отражает специфику программирования на языке ассемблера.Понятия массива и индексации массива весьма условны, и логическая интерпретация области памяти, отведенной под массив, определяется алгоритмомобработки.» Тип структуры в языке ассемблера позволяет создать совокупность логическивзаимосвязанных разнотипных данных и рассматривать их как отдельныйобъект.
Это очень удобно, когда в программе необходимо иметь несколько таких объектов. В этом случае обычно организуют массив структур.is Основное достоинство объединений — в возможности «плюрализма суждений»о типе одной и той же области памяти.в Записи в языке ассемблера расширяют возможности логических команд дляработы на уровне битов, что подчеркивает значение ассемблера как языка системного программирования.Глава 14Макросредства языкаассемблераПонятие о макросредствах языка ассемблераПсевдооператоры EQU и =Макрокоманды и макродирективыДирективы условной компиляцииДирективы генерации ошибок пользователяДирективы управления листингомЯзык ассемблера не относится к простым языкам программирования.
По истечении некоторого времени после начала программирования на ассемблере становятся видны свойственные этому языку проблемы. Перечислим некоторые из них:ж плохая читаемость исходных текстов программы — спустя некоторое время принедостаточном комментировании могут возникнуть проблемы с пониманиемособенностей алгоритма, лежащего в основе программы;ii ограниченность набора команд;* полная или почти полная повторяемость некоторых фрагментов программы;9 необходимость включения в каждую новую программу одних и тех же фрагментов кода и т.
д.При написании программы на машинном языке данные проблемы были быпринципиально неразрешимы. Но язык ассемблера, являясь символическим представлением машинного языка, в то же время предоставляет ряд средств более высокого уровня для их решения. Основной целью, которая при этом преследуется,294Глава 14. Макросредства языка ассемблераявляется повышение удобства написания программ. В общем случае эта цель достигается за счет:Ш расширения набора директив;« введения некоторых дополнительных команд, не имеющих аналогов в системекоманд процессора (за примером далеко ходить не нужно — это рассмотренныев главе 13 команды SETFIELD и GETFIELD, которые скрывают от программиста рутинные действия и генерируют наиболее эффективный код);ii введения сложных типов данных.Однако этот перечень исчерпывает все глобальные направления, по которымразвивается транслятор от версии к версии.
Что же делать программисту для решения его локальной задачи, для адаптации процесса разработки к нуждам определенной проблемной области? Для этого разработчики компиляторов ассемблера включают в язык и постоянно совершенствуют аппарат макросредств. Этотаппарат является очень мощным и важным. В общем случае есть смысл говорить отом, что транслятор ассемблера состоит из двух частей — непосредственно транслятора, формирующего объектный модуль, и макроассемблера (рис. 14.1).
Если вызнакомы с языком С или C++, то, конечно, знаете используемый в нем механизмпрепроцессорной обработки. Основные принципы его работы аналогичны принципам работы макроассемблера. Для тех, кто ничего раньше не слышал об этоммеханизме, поясню его суть. Основная идея — использование подстановок, когдаопределенным образом организованная символьная последовательность заменяется другой символьной последовательностью. Создаваемая последовательностьможет описывать как данные, так и программные коды. Главное здесь то, что навходе макроассемблера текст программы может быть весьма далеким по виду отассемблера, но на выходе обязательно будет текст на чистом ассемблере, содержащем символические аналоги машинных команд процессора.
Таким образом, обработка программы на ассемблере с использованием макросредств неявно осуществляется транслятором в две фазы. На первой фазе работает часть компилятора,Исходная программана ассемблере(содержит макросы)ТрансляторTASM.EXE1-я фаза трансляции:макроассемблер(макрогенератор)Исходная*программаво внутреннемпредставлениикомпилятора(уже без макросов)Ф2-я фаза трансляции:ассемблер| Объектный модульРис. 14.1. Макроассемблер в общей схеме трансляции программы для компилятора TASMПсевдооператоры EQU и =295называемая макроассемблером, основные функции которого мы описали ранее.Во второй фазе трансляции участвует непосредственно ассемблер, задачей которого является формирование объектного кода, содержащего текст исходной программы в машинном виде.Далее мы обсудим основной набор макросредств компилятора TASM. Отметим, что большинство этих средств доступно и в компиляторе MASM фирмыMicrosoft.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
