Компиляторы AdaMagic и GNAT CCG, Ada -> C, C++ Опции

[OCTAGRAM]

Был давно такой интересный компилятор у производителя 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 и Эльбрус, соответственно, научиться им пользоваться нетривиально и зависит от потребностей. Может понадобиться писать свой рантайм или не использовать те возможности языка, под которые рантайм не написан.

Для скачивания требуется регистрация на форуме.

AdaMagic.2016-07-22.7z (191 Мб)

[OCTAGRAM]

Немного о том, как установить:
Распаковать куда-нибудь, далее обозначено многоточием.
Добавить в 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 собрана так:

COMPSW: adacomp SRC -m a -config ./config -config ./config -ke -xr -gc -O none -trace -eo +mr e -translate -pB -IXIL

Здесь по идее должен быть adacgen, а не adacomp, но не везде имя поменяли, и в данном случае в файлики штампуется оригинальное имя утилиты.

А вот ключи для компиляции демки судоку, собранной средствами AppCOE:

COMPSW: adacomp SRC -m a -config ./config -config ./config -ke -xr -gc -O none -trace -eo +mr e -translate -pB -IXIL

Поскольку 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]

Такер Тефт, основоположник этого компилятора, любезно поделился файлами .inf. Там не все ключи, но судя по дате (2012й год), лучше уже ничего не будет. А внутри там дата из системы контроля версий 2008й год, так что, может быть, есть и поновее, а может быть, интересных мне ключей вроде «-cppa» и «-cppc» там никогда не было. Но это явно получше, чем брать файлы из ObjectAda Special Edition, где компилятор в машинные коды, а не в C.

Файлы распаковываются в ADA_MAGIC, то есть, в …\AdaMagic\windows

[OCTAGRAM]

В блоге AdaCore с прошлого года появляются уже разные посты про новую технологию SPARK-To-C, она же GNAT CCG, Common Code Generator, тоже транслятор в C. Коммерческим клиентам AdaCore эта технология уже доступна, можно ожидать, что в ближайшие пару месяцев выложат в открытый доступ одновременно с обычными компиляторами, как это делается каждый год.

Код

gprbuild --target=c

Технология на данный момент сильно ограничена, но это адекватно целям её применения — экзотические платформы, а это всякий embedded, под который, если портировать GNAT, то это как минимум GCC. На embedded платформах большую роль играет минимальный размер. Также требуется потратить некоторое время на портирование рантайма. CCG решает эту проблему радикально: ни одна из возможностей Ada, требующая runtime, не доступна. Нет рантайма — нет проблемы. Можно сразу писать на Аде, наслаждаясь вменяемой модульностью, но на выходе — только то, что может быть портируемым образом перенесено в C. Например, записи с массивами с длиной, заданной дискриминантом, могут иметь в своём составе только один такой массив, и он должен быть в конце записи. Нельзя возвращать строки переменной длины из функций, так как нет вторичного стека. Некоторые автоматически навешиваемые проверки, впрочем, могут присутствовать, не совсем всё урезано.

[OCTAGRAM]

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]

Сейчас, когда начинают появляться деньги, возник вопрос, а по карману ли 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++ (то же, что все остальные три ключа).

Опции adacgen (Показать/Скрыть)

.data:00648540 ; OPTDESC frontend_opts[53]
.data:00648540 frontend_opts   OPTDESC <offset aA_0, 0, 0, offset fdrv_opts.analyze_only, 0, \
.data:00648540                                         ; DATA XREF: ccmd_process_args+266↑o
.data:00648540                          offset info_options> ; "-a"
.data:00648540                 OPTDESC <offset aDs, 0, 0, offset be_flags.debug_sizeof, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aEo, 0, 0, offset fdrv_opts.emit_optim, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aKe, 0, 0, offset fdrv_opts.keep_all, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aMr, 0, offset as_exact1_0, 0, \
.data:00648540                          offset opt_recur_msg_enable, offset info_options>
.data:00648540                 OPTDESC <offset aMr_0, 0, offset as_exact1_0, 0, \
.data:00648540                          offset opt_recur_msg_disable, offset info_options>
.data:00648540                 OPTDESC <offset aM_0, 0, offset as_exact1_0, 0, offset opt_msg_enable,\
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aM_1, 0, offset as_exact1_0, 0, \
.data:00648540                          offset opt_msg_disable, offset info_options>
.data:00648540                 OPTDESC <offset aN, 0, 0, offset fdrv_opts.suppress_numeric_checks, 0,\
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aNr, 0, 0, offset fdrv_opts.no_heap_release, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aNz, 0, 0, offset fdrv_opts.init_to_nonzero, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aPed_1, 0, 0, offset fdrv_opts.verbose_warn83, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aPrl, 0, 0, offset fdrv_opts.packed_record_listing, 0,\
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aQ, 0, 0, offset fdrv_opts.quiet, 0, 0>
.data:00648540                 OPTDESC <offset aRl, 0, 0, offset fdrv_opts.record_listing, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aS_75, 0, 0, offset fdrv_opts.suppress_all, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aT_0, 0, 0, offset fdrv_opts.emit_trace, 0, 0>
.data:00648540                 OPTDESC <offset aV_0, 0, 0, offset fdrv_opts, 0, 0>
.data:00648540                 OPTDESC <offset aLate_inlines, 0, 0, \
.data:00648540                          offset fdrv_opts.allow_late_inlines, 0, offset info_options>
.data:00648540                 OPTDESC <offset aNo_inlines, 0, 0, offset fdrv_opts.suppress_inlining,\
.data:00648540                          0, offset info_options>
.data:00648540                 OPTDESC <offset aDiscard_name_1, 0, 0, offset fdrv_opts.discard_names,\
.data:00648540                          0, offset info_options>
.data:00648540                 OPTDESC <offset aSuppress_agg_0, 0, 0, \
.data:00648540                          offset fdrv_opts.suppress_aggregate_temps, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aShow_freezing, 0, 0, offset fdrv_opts.show_freezing, \
.data:00648540                          0, 0>
.data:00648540                 OPTDESC <offset a83, 0, 0, 0, offset opt_83, offset info_options>
.data:00648540                 OPTDESC <offset a2005, 0, 0, 0, offset opt_2005, offset info_options>
.data:00648540                 OPTDESC <offset aAp, 0, 0, offset fdrv_opts.new_attr_prag, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aBool_0, 0, 0, offset be_flags.braces_on_own_line, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aCap, 0, offset as_exact1_0, 0, \
.data:00648540                          offset opt_capitalization, offset info_options>
.data:00648540                 OPTDESC <offset aCppa, 0, 0, 0, offset opt_use_all_cpp_code, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aCppe, 0, 0, 0, offset opt_use_cpp_exceptions, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aCppn, 0, 0, 0, offset opt_use_cpp_namespaces, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aCppc, 0, 0, 0, offset opt_use_cpp_classes, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aTrace, 0, 0, offset be_flags.generate_trace, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aEot, 0, 0, offset fdrv_opts.emit_optim_trace, 0, 0>
.data:00648540                 OPTDESC <offset aGl, 0, 0, offset fdrv_opts.local_dbg_info, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aHm, 0, 0, offset fdrv_opts.histogram_mralloc, 0, 0>
.data:00648540                 OPTDESC <offset aHs, 0, offset as_exact1_R_0, 0, offset opt_heap_size,\
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aKc, 0, 0, offset fdrv_opts.retain_comments, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aKh, 0, 0, offset be_flags.separate_dot_h, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aKt, 0, 0, offset fdrv_opts.retain_static_trees, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aKs, 0, 0, offset fdrv_opts.no_heap_release_stmts, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aKspan, 0, 0, offset sourcepos_spanning_info_needed, \
.data:00648540                          0, offset info_options>
.data:00648540                 OPTDESC <offset aKn, 0, 0, offset fdrv_opts.no_heap_release_nested, 0,\
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aRo, 0, 0, offset fdrv_opts.read_only_library, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aPp, 0, 0, offset be_flags.pretty_print, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aSingunder, 0, 0, \
.data:00648540                          offset be_flags.use_single_underscore_separator, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aSleh, 0, 0, \
.data:00648540                          offset be_flags.suppress_lang_exception_handlers, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aSpeh, 0, 0, \
.data:00648540                          offset be_flags.suppress_propagating_exception_handlers, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aSp, 0, 0, offset fdrv_opts.speed_test, 0, 0>
.data:00648540                 OPTDESC <offset aW_6, 0, offset as_exact1_0, 0, \
.data:00648540                          offset opt_output_width, offset info_options>
.data:00648540                 OPTDESC <offset aXx, 0, 0, offset fdrv_opts.experimental, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aE, 0, offset as_exact1_R_0, 0, \
.data:00648540                          offset opt_max_error_count, offset info_options>
.data:00648540                 OPTDESC  <0>
.data:00648A38 ; ARGSCAN as_exact1_R_0
.data:00648A38 as_exact1_R_0   ARGSCAN <1, 1, 1, offset not_dash, 0>
.data:00648A38                                         ; DATA XREF: .data:frontend_opts↑o
.data:00648A48 ; ARGSCAN as_exact1_0
.data:00648A48 as_exact1_0     ARGSCAN <0, 1, 1, offset not_dash, 0>
.data:00648A48                                         ; DATA XREF: .data:frontend_opts↑o

Что касается собственно использования транслятора, удалось научиться делать некоторые трюки. Например, если просто делать объявленной процедуре 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, через сишный препроцессор всё проходит до уровня ассемблера, вся эта луковица разбирается до кочерыжки, и остаются машинные инструкции, делающие только то, что нужно.

Посмотреть можно здесь:

https://osdn.net/projects/referencing/scm/h…ments/tree/tip/

Кажется, самый сложный непортируемый трюк позади. Остаётся обычная Ada 95, на которой надо просто писать.

[OCTAGRAM]

Пытался на Эльбрусе запустить. Пока что помешала педантичность l++. Оказывается, есть кое-что, критичное для AdaMagic, что часть стандарта ISO C, но против стандарта ISO C++. void* по стандарту ISO C++ не приводится неявно к указателю на что-либо другое, а AdaMagic такой код генерит постоянно. Во всех других известных трансляторах это приведение порождает предупреждение, и это ещё если знать, как включить. В l++ это неотключаемая ошибка. Ждём как починят.

[tukva]

Кстати, исходники CCG (Common Code Generator), есть на github. Это компилятор Ады в Си на основе LLVM. Вот официальная документация

Я не пробовал собирать, но слышал, что он проходит у же почти все тесты.

[Terryknole]

давно хотел посматреть

[Terrysen]

123

[Terrysen]

123

[Terrysen]

123

[SportBKVerif]

Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top

[SportBKVerif]

Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top

[SportBKVerif]

Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top

[SportBKVerif]

Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top

[SportBKVerif]

Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top

[SportBKVerif]

Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top

[SportBKVerif]

Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top

[SportBKVerif]

Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top