Редактирование: QBE

<strong>QBE IL (QBE intermediate language)</strong> - промежуточный язык, является языком более высокого уровня, чем язык ассемблера. Он сглаживает большинство проблем базового оборудования и позволяет использовать бесконечное количество временных конструкций. Этот более высокий уровень абстракции позволяет сторонним программистам сосредоточиться на проблемах разработки языка.
<pre>The intermediate language (IL) is a higher-level language than the machine's assembly language. It smoothes most of the irregularities of the underlying hardware and allows an infinite number of temporaries to be used. This higher abstraction level allows frontend programmers to focus on language design issues.<pre>


=Входные файлы

Промежуточный язык предоставляется QBE в виде текста. Как правило, один файл создается для каждой программы с входного языка интерфейса. IL-файл представляет собой последовательность определений для данных, функций и типов. После обработки QBE полученный файл может быть собран и связан с использованием стандартного инструментального ПО (например, [https://ru.wikipedia.org/wiki/GNU_Binutils GNU binutils]).
<pre>The intermediate language is provided to QBE as text. Usually, one file is generated per each compilation unit from the frontend input language. An IL file is a sequence of Definitions for data, functions, and types. Once processed by QBE, the resulting file can be assembled and linked using a standard toolchain (e.g., GNU binutils).</pre>

Ниже приведено полное содержимое IL-файла "Hello World", в котором определена функция, выводящая на экран "hello world". Поскольку строка не является объектом штатным объектом (только указатель) языка, она определяется вне тела функции. Комментарии начинаются с символа <strong>#</strong> и заканчиваются концом строки.
<pre>Here is a complete "Hello World" IL file which defines a function that prints to the screen. Since the string is not a first class object (only the pointer is) it is defined outside the function's body. Comments start with a # character and finish with the end of the line.</pre>

 # Объявление константной строки "hello world"
 data $str = { b "hello world", b 0 }

 function w $main() {
 @start
         # Вызов функции puts с аргументом $str.
         %r =w call $puts(l $str)
         ret 0
 }

Если вы прочитали ссылку про язык [https://ru.wikipedia.org/wiki/Low_Level_Virtual_Machine LLVM], вы можете понять вышеприведенный код. В сравнении, QBE предоставляет гораздо более простое использование типов и синтаксиса.
<pre>If you have read the LLVM language reference, you might recognize the example above. In comparison, QBE makes a much lighter use of types and the syntax is terser.</pre>

=Запись БНФ

Синтаксис языка, который Вы сможете найти в разделах данной Wiki (и в оригинальной документации), описан с использованием [https://ru.wikipedia.org/wiki/Форма_Бэкуса_—_Наура БНФ]. Различные используемые конструкции [https://ru.wikipedia.org/wiki/Форма_Бэкуса_—_Наура БНФ] перечислены ниже.

Ключевые слова заключены в кавычки;
... | ... выражает дизъюнкции;
[ ... ] обозначает некоторый синтаксис как необязательный;
( ... ), обозначает разделенный запятыми список прилагаемого синтаксиса;
...* и ...+ используются для произвольных обозначений и для повторений соответственно.

Символы

Промежуточный язык изобилует разными символами, все пользовательские имена выделяются символьным префиксом. Это делается для предотвращения конфликтов ключевых слов, а также для быстрого определения области видимости и характера идентификаторов.
<pre>The intermediate language makes heavy use of sigils, all user-defined names are prefixed with a sigil. This is to avoid keyword conflicts, and also to quickly spot the scope and nature of identifiers.</pre>

<code>:</code> используется для определенных пользователем [[Составные типы данных | составных типов данных]]
<code>$</code> используется для глобальных переменных (представленных в виде указателя)
<code>%</code> используется для переменных внутри [[Функции | функций]]
<code>@</code> используется для обозначения меток [[Блоки | блоков]]

В этом синтаксисе [https://ru.wikipedia.org/wiki/Форма_Бэкуса_—_Наура БНФ] мы используем <code>?IDENT</code> для обозначения идентификатора, начинающегося с символа <code>?</code>.


----
Источник: [http://c9x.me/compile/doc/il.html#Basic-Concepts c9x.me]