Пакет MADPascal + MADAssembler

1) Хороший вопрос - самому интересно сравнить. И если с мад-паскалем всё просто - на выходе получается уже готовый asm текст, который можно посмотреть в любом редакторе, то с дельта-паскалем, как понимаю, надо выдернуть объектный файл и дизассемблировать (например с помощью IDA Pro).

2) Как понял из предварительного поверхностного изучения mads - это многопроходной ассемблер + линковщик в одном флаконе. Но вот по поводу того чтобы сразу на выходе получить FIL-файл, идея хорошая, но пока не разбирался (в том числе и потому, что формат FILфайла ещё не изучал :-) ).

3) В самом паскале импорт внешних библиотек возможно только либо на уровне модулей паскаля (uses), либо на уровне ресурсного  .asm файла в формате мад-ассемблера, который будет скомпилирован и объединён с паскаль-программой.

Вообще - с одной стороны мад-паскаль создаёт несколько громоздкий код (особенно это касается условий if-then-else). С другой стороны в итоговом файле остаются только те функции, что используются в паскаль программе. Причём всё "лишнее" удаляется настолько радикально, что иногда это приводит к сложностям с вызовом процедур в ассемблерных вставках - т.к. мад-паскаль не проверяет код в ассемблерной вставке, то, если процедура вызывается только из ассемблера - она будет удалена.
Зато есть возможность привязать переменную к фиксированной ячейке памяти (ключевое слово absolute) - удобно для размещения переменной в ZeroPage или мапить на адреса ввода-вывода.
Из встроенного ассемблера можно вызывать любую паскаль процедуру и использовать переменные из раздела var.
Есть перегрузка процедур. Реализованы объекты и указатели, а также процедуры-обработчики прерывания - на выходе формируется код возврата не rts, а rti. Ну и т.д. (http://mads.atari8.info/doc/madpascal.html)

Мад-ассемблер - макро-ассемблер под 6502(65816) с широкими возможностями (не буду подробно расписывать - посмотреть можно здесь http://mads.atari8.info/mads_eng.html ). Есть возможность объединять библиотеки с CC65. :-)
Единственное, синтаксис несколько отличается от ассемблера школьницы, в частности в командах с неявным использования регистра A типа "LSR A" - в mads будет "LSR @", двоичные данные не ":", а "%" и ещё несколько различий, но, думаю, можно быстро адаптировать существующий код.

> Как он организует стек параметров процедур ? На аппаратном стеке или создаёт свой ?
Стек программный на базе ячеек в ZP + регистр X. Используется только для передачи параметров, которые копируются в локальные переменные. Память под внутренние переменные выделяется статически, так что, по идее, рекурсия должна работать только если не используются локальные переменные (факториал точно работает :-) ).
Выглядит передача параметров так:

   187 802D B5 70 8D 7D 82        mva :STACKORIGIN,x Z
   188 8032 B5 80 8D 7E 82        mva :STACKORIGIN+STACKWIDTH,x Z+1
   189 8037 CA                dex                        ; sub bx, 1

где макрос MWA A B = LDA A + STA B
STACKORIGIN - адрес начала стека
STACKWIDTH - размер стека в 32х битных ячейках (т.е. полный размер стека в байтах = STACKWIDTH*4)
регистр X - указатель на вершину стека

на мой взгляд более или менее адекватно сделано. Как результат <" integer a, b; a := a + b; "> компилируется в нормальную конструкцию:

   219 8066 AD 7F 82            lda A
   220 8069 18 6D 81 82            add B
   221 806D 8D 83 82            sta C
   222 8070 AD 80 82            lda A+1
   223 8073 6D 82 82            adc B+1
   224 8076 8D 84 82            sta C+1

(add=clc+adc)

Кстати, из-за того что локальные переменные статические, есть формальная возможность к ним обратится из ассемблерной вставки из любого места программы.

Вообще оптимизации кода иногда неплохо реализованы - например конструкцию вида "a: word; b,c:byte; a:=b*256+c" преобразует в "lda b; sta a+1; lda c; sta a".

> Что насчёт стандартных процедур (writeln, readln)? Они реализованы или всё сам ?
Реализованы, но не для АГАТа. :-) - поэтому ещё не использовал их и, уверен, что придётся реализовывать их самому.

> :) прикольно, он FPCшкой собирается ?
Точно (а также дельфями 7 и выше) и mads тоже на паскале написан.

Кстати, сами разрабы адекватно реагируют на выявленные ошибки: когда им написал по поводу ошибки с возвратом значения указателя из процедуры, уже на след. день выложили исправленную версию компилятора https://atariage.com/forums/topic/24091 … l/page/13/