Был давно такой интересный компилятор у производителя SofCheck. 5 лет назад SofCheck и AdaCore слились, а компилятор куда-то потерялся. У AdaCore его даже не купить. Он, конечно, поддерживает более старый стандарт Ada 95 с подмножеством Ada 2005, но иногда даже и такой компилятор может пригодиться.
Этот компилятор неожиданно был найден у другого производителя, который у адаистов вообще не на слуху: MapuSoft. У них можно запросить демку и скачать, потом они впаривают какой-то AppCOE на базе Eclipse, а если оно не нужно, то приходится распаковывать архив из архива из архива. Я постарался вытащить из AppCOE собственно AdaMagic и отбросить шелуху. Не имея представления о том, как он должен был выглядеть, возможно, не во всём корректно. И некоторых файлов вроде adabgen.inf и adacgen.inf просто нет.
Замечание от 13 июня 2018: нет, всё же IDE полезно иметь, см. тему дальше.
Таким образом, это компилятор Ada -> C, C++, запускается он на Windows и Linux, а через эмуляторы — и на других платформах. Сценарий использования из коробки — это Ada -> C, C++ -> GCC, но в GCC есть GNAT, который лучше, а AdaMagic интерес, как я понимаю, представляет, когда нужно собирать под платформы, не поддерживаемые GNAT, вроде Asm.js и Эльбрус, соответственно, научиться им пользоваться нетривиально и зависит от потребностей. Может понадобиться писать свой рантайм или не использовать те возможности языка, под которые рантайм не написан.
Немного о том, как установить: Распаковать куда-нибудь, далее обозначено многоточием. Добавить в PATH …\AdaMagic\windows\bin Установить переменную среды ADA_MAGIC=…\AdaMagic\windows Подредактировать …\AdaMagic\windows\SITE\rts_path и …\AdaMagic\windows\SITE\config
Дальше тяжело без документации. В PDF мало. Решал эту проблему. Вот, что удалось выяснить:
AdaMagic умел работать в 3х режимах, промежуточное представление, которое нужно компилировать дальше в машинный код собственными усилиями, либо в C/C++, либо в Java. И всё это — AdaMagic. Один поставщик (Intermetrics, AverStar, SofCheck) раздавал лицензии разным компаниям под разные условия, и когда мы берём чей-то компилятор, это адаптация AdaMagic.
Вот у MapuSoft именно второй сценарий, а у ObjectAda — первый и третий, но нет второго. ObjectAda однажды устроил раздачу бесплатных версий своего компилятора (ObjectAda 7.2 Special Edition), я себе такой сохранил, впрочем, в Интернете ещё можно найти, архив называется oa71sped.zip , и вот он пригодился. Свет проливается на то, как всё устроено. В частности, обнаруживается, что adacgen.exe — это переименованный adacomp.exe, а adabgen.exe — это переименованный adabuild.exe. А ещё в ObjectAda можно найти adacomp.inf и adabuild.inf, и если их переименовать и положить в …\AdaMagic\windows , то утилиты командной строки перестают ругаться. Правда, справка не вполне подходит. Так, в ObjectAda есть ключ -asm, что имеет смысл для компилятора для Windows, но не имеет смысла для конвертера в C/C++. Более правильная «документация» нашлась здесь: http://www.ada-auth.org/cpl/reports/ACATR048.txt Это отчёт на проверку соответствия стандарту языка Ада 95, а заодно он включает искомую документацию, хоть и старую, но сойдёт. Кстати, там всплывают ещё одни возможные имена: adacsrc и adacbuild, соответственно. Также частично удалось восстановить смысл новых ключей, глядя в код AppCOE.
Итого ключи adacgen (как представляющей наибольший интерес утилиты) получаются:
Сильно не понятные ключи(Показать/Скрыть)
-0 -of -21060 -21061 -21062 -21065L
Относительно понятные ключи(Показать/Скрыть)
-double-size-%s -c++ -eh -av -lc Generate continuous source listing interspersed with messages. -lp Paginated source listing. -le Generate continuous source listing interspersed with messages only if errors exist. -lf -lr Generate source listing only for source lines with messages. Available in conjunction with -lc or -le. -lx Generate a cross-reference listing. -pl Page length. -pw Page width. -nh -chip +bw Enable BackEnd warnings. -c Frontend only, don't run the BackEnd. -f Force generation of .c despite any errors. -g Generate information for symbolic debugger. -ga Generate Ada debugging information. -gc Generate CodeView debugging information. -h Print a short usage message. The message also prints if a tool is invoked with no parameters. -help -ldf -nonr Force nr off. -noxr Do not save cross-reference information for the browser. -no_be_default -ns -O Call the optimizer with optimizing level: all, 3, 2, 1, 0, none. The default is to use level 3 optimization. -xr Save xref info for the Browser (default). -0 Identifies executable version numbers (default). -of Read options from specified "file". -ki Keep the info file. -kil -ne Don't re-exec adacomp process on failure. -nle -pB Pass "option" to the Back End. -sr (Search and Register) Enable automatic registration of source files. -T Print timing information on compiler phases. -noeo Turns off emitter optimizations. -config -xd Override default ADA_MAGIC environment variable if exists. -xL Override default lister. -xX Override default xref lister. -b -standard.ol -line_limit -translate -a Analyzer only, don't run the Emitter or BackEnd. -ds -eo Turns on emitter optimizations (default). -ke Keep intermediate files. -m msg_kind Suppresses the display of any messages of msg_kind for the current invocation of the compiler. +m msg_kind Enables the display of any messages of msg_kind for the current invocation of the compiler. -mr msg_kind Suppresses the display of any messages of msg_kind for any recursive invocations of the compiler. +mr msg_kind Enables the display of any messages of msg_kind for any recursive invocations of the compiler.
The valid values for msg_kind: a - all messages d - implementation-dependent warning messages e - error messages i - information messages n - nyi messages w - general warning messages r - redundant messages
By default, all messages except information and redundant messages are displayed. For recursive invocations, no messages are displayed by default. For convenience, "-m a" will suppress all messages *except* errors.
-N Suppress numeric checks. -nr No "current heap" releases (just keep allocating, never releasing). -nz Initialize all heap memory to a non-zero value. (In hex, the non-zero value is BAD1BAD1 so it is easy to spot in the debugger, and causes a Bus Error on the Sparc when dereferenced.) -ped -prl Record layout listing for packed record types only. -q Quiet mode -- suppress all inessential messages. -rl Record layout listing for all record types. -s Suppress checks in object code. -t Trace each declaration and statement passed to the emitter. -v Provide verbose output as the tool executes. -late_inlines Allow pragma Inline to be specified after a specless subprogram body (for compatibility with Ada 83). -no_inlines -discard_names -suppress_aggregate_temps -show_freezing -83 Identify Ada 95 incompatibilities in Ada 83 source. No code is generated. -2005 -ap -bool Place "{" and "}" on their own line. -cap -cppa -cppe Use C++ exceptions and namespaces. -cppn C++ output. -cppc -trace -eot -gl -hm -hs -kc comment -kh header -kt -ks -kspan -kn -ro -pp -singunder -sleh Suppress language exceptions at runtime. -speh -sp -w Limit on the length of generated C source line. -xx -e Report only the first <n> errors. The default is 50 errors.
Также оказалось полезно, что компилятор запоминает, с какими ключами собирались файлы, и пишет в файлы info. Например, Ada RTL для Windows собрана так:
Поскольку AppCOE ставить не хочется, вот так вот и достаётся оттуда информация.
Экспериментировал с emscripten. Собралось 287 из 325 файлов Ada RTL. Остальное нужно портировать вручную. Там всякие функции получения системного времени, аргументов командной строки и т. п.
Так как заморачиваться этим на первых порах не хочется, хотелось предоставить какую-нибудь заглушку, чтоб компилятор сам не вызывался, и чтоб можно было с неполным рантаймом собирать. Оттранслировать в C++ и не дать автоматически транслировать дальше. Посмотреть в исходник, что там вызывается и написать заглушки.
Нашёл, как это делать: Сначала каждый исходник нужно обработать adareg:
adareg Hello_World_2.ads
Звёздочки (adareg *.ads *.adb) тоже понимаются.
Потом конвертировать:
adacgen -c -cppn -cppe -ke -ki Hello_World_2.ads
Это сконвертирует исходник Ada в C++. Так нужно и для тел, и для спецификаций сделать. Чтобы в C, надо убрать "-cppn -cppe". Чтобы убрать проверки, можно добавить -s. Это уже становится не Ada, но всё ещё хотя бы язык с нормальной системой типов и модулей. Всё это нужно, чтобы хоть что-то запустить на момент, пока рантайм ещё не портирован и даже заглушек ещё нет.
OCTAGRAM
14.02.2017 6:56
Такер Тефт, основоположник этого компилятора, любезно поделился файлами .inf. Там не все ключи, но судя по дате (2012й год), лучше уже ничего не будет. А внутри там дата из системы контроля версий 2008й год, так что, может быть, есть и поновее, а может быть, интересных мне ключей вроде «-cppa» и «-cppc» там никогда не было. Но это явно получше, чем брать файлы из ObjectAda Special Edition, где компилятор в машинные коды, а не в C.
Файлы распаковываются в ADA_MAGIC, то есть, в …\AdaMagic\windows
OCTAGRAM
8.04.2018 6:15
В блоге AdaCore с прошлого года появляются уже разные посты про новую технологию SPARK-To-C, она же GNAT CCG, Common Code Generator, тоже транслятор в C. Коммерческим клиентам AdaCore эта технология уже доступна, можно ожидать, что в ближайшие пару месяцев выложат в открытый доступ одновременно с обычными компиляторами, как это делается каждый год.
Код
gprbuild --target=c
Технология на данный момент сильно ограничена, но это адекватно целям её применения — экзотические платформы, а это всякий embedded, под который, если портировать GNAT, то это как минимум GCC. На embedded платформах большую роль играет минимальный размер. Также требуется потратить некоторое время на портирование рантайма. CCG решает эту проблему радикально: ни одна из возможностей Ada, требующая runtime, не доступна. Нет рантайма — нет проблемы. Можно сразу писать на Аде, наслаждаясь вменяемой модульностью, но на выходе — только то, что может быть портируемым образом перенесено в C. Например, записи с массивами с длиной, заданной дискриминантом, могут иметь в своём составе только один такой массив, и он должен быть в конце записи. Нельзя возвращать строки переменной длины из функций, так как нет вторичного стека. Некоторые автоматически навешиваемые проверки, впрочем, могут присутствовать, не совсем всё урезано.
OCTAGRAM
13.06.2018 7:25
AdaMagic продолжает развиваться, только по второму кругу (и потом каждый раз) повторять все действия не было желания, поэтому на этот раз совершенно другой подход. Ну а ещё раньше видеомонтажом диск был забит под завязку, а сейчас всё черновое удалено, так что поставил, посмотрел в действии IDE. Раньше IDE вырезалась, а теперь — наоборот, это способ по умолчанию.
Получить рабочее IDE для AdaMagic — тоже не плохо. Почему бы и нет.
Скачать IDE нужно самостоятельно, сейчас появилась 64-битная, но качать нужно 32-битную версию. И дальше по инструкциям в README.txt. IDE в комплект не входит, соответственно, обновлять на каждый выпуск теперь не нужно. Изменения не столь значительные, комплексные числа добавились в библиотеку, а в компиляторе — целочисленные константы, которые на Аде были записаны в двоичном виде, в C переделываются в шестнадцатеричный вид для совместимости с каким-то компилятором C. Пока это не сильно отличается от прошлой версии, но как знать, вдруг что-то действительно полезное появится в будущем, по новому способу обновляться заметно проще.
Кстати, напишите, кто знает, Remote Update Sites URL для AppCOE. По умолчанию никаких Update Site не настроено. В документации ни на одном скриншоте URL не показан. Тот URL, что указан в features, не работает (404). Может быть, с evaluation их дают? Это чтоб ну совсем легко обновляться.
GNAT CCG, к сожалению, не настолько хорош, как мог бы быть. RAII и многие другие возможности Ады там отсутствуют. И он до сих пор не выпущен. Наверное, к ежегодному Make with Ada, регистрация на который начинается 16 октября 2018 г., а не летом, как было раньше, должны выпустить в общий доступ. Учитывая, сколько AdaCore пиарят эту разработку в блогах и учитывая их стремление пробиться в сегмент embedded (и конкурс, и CCG лежат в этом русле), этого логично ожидать.
OCTAGRAM
25.06.2019 22:44
Сейчас, когда начинают появляться деньги, возник вопрос, а по карману ли AdaMagic (aka AdaChanger)? Delphi по карману, GNAT Developer по карману, даже, может быть, с iOS всякими, если действительно захотеть.
Ответ от производителя получил
Цитата
I am sorry but we are not selling this product into Russia at this time. I will let you know if that changes.
Даже при желании мы на их финансовое состояние не повлияем никак. Можно не париться.
Тем временем обнаружил, что в adacgen.exe всё это время была довольно исчерпывающая информация, но IDA её не подхватывала, потому что плагин для чтения информации требует очень редкую msvcp100d.dll, с буквой d на конце, что значит debug, а debug версии этих библиотек не входят в состав перераспространяемых пакетов визуалки, вот и нет этого файла. После того, как скачал и подложил этот файлик, наступило прозрение. Там есть типы данных с именами полей, локальные переменные, и в IDA видно, что в таком-то регистре такая-то локальная переменная. Смысл всех ключей стал более менее понятен. В частности, загадочный -cppa банально значит включить всё, что связано с C++ (то же, что все остальные три ключа).
Что касается собственно использования транслятора, удалось научиться делать некоторые трюки. Например, если просто делать объявленной процедуре pragma Import, то она и в Си выводе импортируется при помощи extern, но, возможно, под другим именем, ведь в Си нельзя одно от другого отвязать. А если написать Import с соглашением Intrinsic, то в Си не выводится extern, а транслятор начинает верить, что такая фунция всё же существует и генерирует код, ссылающийся на неё. Но если это всё же не настоящий intrinsic, то к тому, чтобы он появился, надо предпринять усилия. Написав pragma Import с оглашением Intrinsic для типа, можно дополнительным параметром указать строку "#include", которая будет вставляться в сишный вывод каждого модуля, зависящего от того, где такой хитрый тип объявлен. Сам тип использовать не обязательно, он может в private быть спрятан. Что-то другое, кроме #include, не работает, но и этого достаточно. Через эту щель удалось, например, подцепиться к atomic intrinsic для счётчиков ссылок. С ними возникла проблема, что AdaMagic указатели приводит к void*, а у этих atomic instrinsic поведение определяется именно тем, какой указатель передаётся. То есть, перегрузка по типу аргумента, не смотря на то, что в Си такого нет. Решилось тем, что я завернул atomic intrinsic в макрос, приводящий обратно к нужному типу. И написал для сишного макроса адское строго типизированное объявление. Строго типизированное объявление для того, что по сути является сишным макросом. Это ли не чудо. Используя этот трюк, я реализовал System.Atomic_Counters с тем же API, как в GNAT. Работает. Посмотрел все промежуточные файлы. Через AdaMagic, через сишный препроцессор всё проходит до уровня ассемблера, вся эта луковица разбирается до кочерыжки, и остаются машинные инструкции, делающие только то, что нужно.
Кажется, самый сложный непортируемый трюк позади. Остаётся обычная Ada 95, на которой надо просто писать.
OCTAGRAM
23.06.2020 16:46
Пытался на Эльбрусе запустить. Пока что помешала педантичность l++. Оказывается, есть кое-что, критичное для AdaMagic, что часть стандарта ISO C, но против стандарта ISO C++. void* по стандарту ISO C++ не приводится неявно к указателю на что-либо другое, а AdaMagic такой код генерит постоянно. Во всех других известных трансляторах это приведение порождает предупреждение, и это ещё если знать, как включить. В l++ это неотключаемая ошибка. Ждём как починят.
tukva
27.03.2021 16:00
Кстати, исходники CCG (Common Code Generator), есть на github. Это компилятор Ады в Си на основе LLVM. Вот официальная документация
Я не пробовал собирать, но слышал, что он проходит у же почти все тесты.
Terryknole
23.04.2021 2:48
давно хотел посматреть
Terrysen
25.04.2021 20:04
123
Terrysen
26.04.2021 2:30
123
Terrysen
26.04.2021 8:31
123
SportBKVerif
27.05.2021 7:53
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top
SportBKVerif
27.05.2021 7:53
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top
SportBKVerif
27.05.2021 7:54
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top
SportBKVerif
27.05.2021 7:55
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top
SportBKVerif
27.05.2021 7:55
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top
SportBKVerif
27.05.2021 7:56
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top
SportBKVerif
27.05.2021 7:56
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top
SportBKVerif
27.05.2021 7:57
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top
SportBKVerif
27.05.2021 7:58
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top