реально или нет максимально приблизить синтаксис Delphi к masm с помощью макросов
Наверное, имеется в виду приблизить синтаксис MASM к Delphi всё-таки, т.е. с помощью макросов сделать Delphi-подобный синтаксис в MASM (не наоборот же)?
Полноценно - нет, но частично можно. Я бы, скорее, оценил процентов в 10, чем в 90, к тому же это будет извращённо выглядящий Delphi-код
Проблема №1. Вызов макроса начинается с идентификатора. Т.е. нельзя написать A := B, если A - это переменная, а не макрос. Создавать макросы внутри макросов можно, но тогда придётся каждую переменную описывать как макрос только лишь ради реализации вещей типа присваивания. Либо писать так: . A := B, где точка - это макрос (его можно назвать @, _ или буквой, к примеру).
Аналогично проблематично создать макрос, который будет выполнять операции вида Inc(A). Тут либо, опять же, писать . Inc(A), либо что-то другое выдумывать.
Проблема №2. Макросы в MASM реализованы через клоаку макаки. Уверен, что вы изрядно намучаетесь при попытке разбора синтаксиса, отделении и распознавании идентификаторов, переменных и операторов друг от друга. Особенно если вы захотите поддерживать варианты с пробелами и без (например Inc ( A ) и Inc(A) или . A := B, . A:= B и . A:=B).
Можно создавать макросы-функции, но это всё равно не насколько сильно упростит задачу.
Проблема №3. Даже если вы это реализуете, всё будет нереально жутко тормозить.
Про невозможность использования точки с запятой для отделения конструкций я уж не говорю – это и так понятно, я думаю.
Поэтому проще написать интерпретатор, который будет конвертировать исходник в asm-код.
Можно, конечно, вместо MASM посмотреть в сторону fasmg (именно g!), но эту идею я бы тоже не спешил называть разумной.
Автор: kin01 05.09.18, 12:32
Спасибо за детальное разьяснение. про присваивание тоже потом подумал. Макросы в масм наоборот всегда казались мощным инструментом :-)
Автор: Jin X 05.09.18, 20:32
kin01, они мощные, но не настолько, как в fasm/fasmg или NASM (ИМХО). И там есть немало геморных вещей. Например, может пройти много времени, прежде чем вы начнёте понимать, когда препроцессор интерпретирует параметр макроса как просто идентификатор, а когда как его значение (особенно при использовании вложенных конструкций с irp'ами, процентами). Довольно занятно отлаживать код, который должен соединять имена идентификаторов (к примеру, чтобы макрос при обращении MyMacro ABC, DEF создал идентификатор ABC_DEF). Ну и ещё множество интересных моментов можно придумать.
Я намучился с этим, когда делал Полезные макросы (xmacro). И одна из причин, по которой я не доделал следующую версию (хотя новых фишек там очень много).
Добавлено
Правда, в xmacro я делал так, чтобы макросы работали и в MASM, и в TASM – там тоже есть некоторые "забавные" отличия (например, в TASM параметры можно разделять пробелом).
Автор: Qraizer 05.09.18, 21:38
На MASMовых макросах, однако, был наверчен сумасшедший фреймворк для писанины 386 и VxD под Win3X и Win9x. Тогда было всё грустно с Cями под ядерный программинг, поэтому MS наворотила вокруг ассемблера почти C.
Автор: Jin X 06.09.18, 05:33
Qraizer, что за фреймворк? Есть ссылка?
Поскольку MS является автором MASM'а, они, по логике, должны знать его синтаксис досконально. Но я не говорю, что в нём нельзя разобраться, просто это может оказаться сложнее, чем кажется. Хотя, авторы UASM'а всё же разобрались, раз сделали совместимый в MASM ассемблер. Но в любом случае я почти уверен, что проще самому написать анализатор на нормальном языке, чем на языке макросов MASM. И работать это будет быстрее.
На самом деле MASM очень плохо документирован, и видно MS совсем не относится к нему как к продукту (что вполне очевидно). Хотя уже в MSDN 2002 был внесён раздел MASM Reference, и всё равно – вы не найдёте лучше описания чем в MASM32 by Hutch.
Когда вы прочтете, то воскликните: «Да, зачем мне такой ML?». Есть NASM и FASM – главная надежда мира ассемблерщиков. Однако и теперь ML всё ещё выигрывает у них по удобству эксплуатации, большей частью видимо благодаря Хатчу, и многим замечательным людям, поддерживающим MASM32. Кто знает, может после этой статьи кто-то воскликнет: «Я знаю, какой должен быть компилятор мечты асмовцев!». И напишет новый компилятор. (Автор шутит ?)
Qraizer, ну это совсем не "почти С"
Последний исходник - это уже C, а всё выше – наворочено, конечно, но похоже на FreshLib для fasm.
Добавлено
Вообще, знаете что я скажу?
NASM - хорошая штука, хорошо сделана.
Однако у fasm есть много прикольных штук, от которых не хочется отказываться (типа virtual, if used, match, load/store и пр., чего нет у NASM).
Тем не менее, в fasm есть тоже много того, что лично мне не нравится (нельзя использовать include или equ в if-конструкциях, только в match; многое чего реализовано макросами, из-за чего возникает множество неудобств; нет встроенных удобных средства для переключения с секции на секцию с автоматической группировкой: .code -> .data -> .code -> .data и т.д.).
Хоть реально бери и свой ассемблер пиши
Автор: Qraizer 06.09.18, 20:09
Ну, ты не увидел даже четверти возможности юзаных тут макросов. Там дохрена параметров, включая декларативных. Конечно, полноценной C-грамматики там нет, но её и не надо при наличии такого количества сахара. А так... функции вообще можно на уровне C пользовать, с кучей дополнительных декларативных фишек, оптимизирующих и вызываемый, и вызывающий код, прототипирование, заголовки, параметры, аргументы, прологи, эпилоги, возвраты... В этих примерах ты ещё не видел IF/ELSE, WHILE итп, я их просто не пользовал, как-то не комильфо было, в ассемблере-то.
Добавлено
Качни и посмотри DDK сам, если интересно. Этим макросным сахаром там столько всего низкоуровневого приправлено... ведь работа идёт ни много ни мало с контекстами виртуальных машин, событийно управляемым исполнительным real-time окружением на приоритетах и далеко не такой дружелюбной, как WDM, ядерной архитектурой VxD. Например, вон те Push_Client_State и Pop_Client_State работают с контекстом пользовательского уровня и фактически исполняют роль монитора виртуального x86. На вот, в довесок в последнему примеру, C-функция, собственно вызывающая пользовательский обработчик события:
