Редактирование: 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>

<div>__TOC__</div>

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

Промежуточный язык предоставляется 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". Поскольку строка не является [https://ru.wikipedia.org/wiki/Объект_первого_класса объектом первого класса] (им является только указатель), она определяется вне тела функции. Комментарии начинаются с символа <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]

== Сравнение с LLVM ==
QBE и LLVM являются компиляторами, использующими представление SSA. В этом документе объясняется, почему LLVM не делает QBE лишним. Очевидно, что все следующее предвзято, потому что написано мной (разработчиком).
<pre>Both QBE and LLVM are compiler backends using an SSA representation. This document will explain why LLVM does not make QBE a redundant project. Obviously, everything following is biased, because written by me.</pre>

==== Объем ====

QBE — проект гораздо меньшего масштаба с отличными от LLVM целями.
<pre>QBE is a much smaller scale project with different goals than LLVM.</pre>
*QBE предназначен для для любительской разработки своего языка.
<pre>QBE is for amateur language designers.</pre>

Он не затрагивает все проблемы, возникающие при разработке языка промышленного уровня. Если вы "играете" с какими-то идеями разработки языка, использование LLVM будет походить на таскание вашего рюкзака с грузовиком, а использование QBE будет больше похоже на катание на велосипеде.
<pre>It does not address all the problems faced when conceiving an industry-grade language. If you are toying with some language ideas, using LLVM will be like hauling your backpack with a truck, but using QBE will feel more like riding a bicycle.</pre>

*QBE — это первые 70%, а не последние 30%.
<pre>QBE is about the first 70%, not the last 30%.</pre>

QBE пытается точно определить в многочисленной литературе о компиляции те оптимизации, которые дают вам 70% производительности в 10% кода в полномасштабных компиляторах.
<pre>It attempts to pinpoint, in the extremely vast compilation literature, the optimizations that get you 70% of the performance in 10% of the code of full blown compilers.</pre>
Например, распространение копий в форме [https://ru.wikipedia.org/wiki/SSA SSA] реализовано в 160 строках кода в QBE!
<pre>For example, copy propagation on SSA form is implemented in 160 lines of code in QBE!</pre>

*QBE чрезвычайно открыт, прост и удобен в изучении.
<pre>QBE is extremely hackable.</pre>

Во-первых, QBE есть и останется небольшим проектом (менее 8 KLOC, прим. 1 KLOCK (Kilo Lines Of Code) = 1000 строк кода.). Во-вторых, он реализован на простом C99 без каких-либо зависимостей. В-третьих, он может выводить промежуточный язык и отладочную информацию в едином формате после каждого прохода.
<pre>First, it is, and will remain, a small project (less than 8 kloc). Second, it is programmed in non-fancy C99 without any dependencies. Third, it is able to dump the IL and debug information in a uniform format after each pass.</pre>

==== Особенности ====
LLVM определенно содержит больше функций, но в QBE есть интересных несколько вещей.
<pre>LLVM is definitely more packed with features, but there are a few things provided in QBE to consider.</pre>

*LLVM НЕ обеспечивает вам полную совместимость с Си.
<pre>LLVM does NOT provide full C compatibility for you.</pre>

В техническом плане, любой язык, который обеспечивает хорошую совместимость с Си и использует [https://ru.wikipedia.org/wiki/Low_Level_Virtual_Machine LLVM] в качестве платформы, должен переопределять большие куски [https://ru.wikipedia.org/wiki/Двоичный_интерфейс_приложений ABI] в своем интерфейсе! Эта хорошо известная проблема в сообществе [https://ru.wikipedia.org/wiki/Low_Level_Virtual_Machine LLVM] вызывает много дублирования и ошибок. Реализация полного Си [https://ru.wikipedia.org/wiki/Двоичный_интерфейс_приложений ABI] (с возможностью передавать структуры как аргументы и возвращать их из функций) невероятно сложна, и не слишком весела. QBE предоставляет вам операции промежуточного языка для вызова (и вызывается с) без лишних проблем. Кроме того, реализация [https://ru.wikipedia.org/wiki/Двоичный_интерфейс_приложений ABI] в QBE была тщательно протестирована путем [https://ru.wikipedia.org/wiki/Фаззинг фаззинга] и испытаний вручную.
<pre>In more technical terms, any language that provides good C compatibility and uses LLVM as a backend needs to reimplement large chunks of the ABI in its frontend! This well known issue in the LLVM community causes a great deal of duplication and bugs. Implementing a complete C ABI (with struct arguments and returns) is incredibly tricky, and not really a lot of fun. QBE provides you with IL operations to call in (and be called by) C with no pain. Moreover the ABI implementation in QBE has been thoroughly tested by fuzzing and manual tests.</pre>

*LLVM IL более загроможден операциями памяти.
<pre>LLVM IL is more cluttered with memory operations.</pre>

Реализация создания [https://ru.wikipedia.org/wiki/SSA SSA] сложна. Чтобы уберечь своих пользователей от необходимости его реализации, [https://ru.wikipedia.org/wiki/Low_Level_Virtual_Machine LLVM] предоставляет части стека. Это означает, что одно увеличение на 1 переменной <code>v</code> будет состоять из трех инструкций [https://ru.wikipedia.org/wiki/Low_Level_Virtual_Machine LLVM]: одна выгрузка, одно добавление и одно сохранение. QBE предоставляет простые типы переменных, отличные от [https://ru.wikipedia.org/wiki/SSA SSA], поэтому увеличение <code>v</code> выполняется просто с помощью одной команды <code>%v = w add% v, 1</code>. Это может показаться поверхностным преимуществом, но уменьшение количества команд втрое упрощает для разработчиков выявление ошибок в сгенерированном коде.
<pre>Implementing SSA construction is hard. To save its users from having to implement it, LLVM provides stack slots. This means that one increment of a variable v will be composed of three LLVM instructions: one load, one add, and one store. QBE provides simple non-SSA temporaries, so incrementing v is simply done with one instruction %v =w add %v, 1. This could seem cosmetic, but dividing the size of the IL by three makes it easier for the frontend writers to spot bugs in the generated code.</pre>

*LLVM IL более загроможден с объявлениями и преобразованиями типов.
<pre>LLVM IL is more cluttered with type annotations and casts.</pre>

Для улучшения оптимизации и корректности [https://ru.wikipedia.org/wiki/Low_Level_Virtual_Machine LLVM] имеет сложные типы промежуточного представления. Тем не менее, только несколько типов представляют [https://ru.wikipedia.org/wiki/Объект_первого_класса объекты первого класса], и многие операции исходных языков требуют компиляции приведения типов. Поскольку QBE реализует гораздо более простое использование типов, промежуточное представление получается более читаемым и коротким. Разумеется, можно выносить вопрос о корректности QBE, но помните, что на практике большое количество преобразований, необходимых в ILL LLVM, подрывает общую эффективность системы типов.
<pre>For the sake of advanced optimizations and correctness, LLVM has complex IL types. However, only a few types are really first class and many operations of source languages require casts to be compiled. Because QBE makes a much lighter use of types, the IL is more readable and shorter. It can of course be argued back that the correctness of QBE is jeoparadized, but remember that, in practice, the large amount of casts necessary in LLVM IL is undermining the overall effectiveness of the type system.</pre>

== Проекты, использующие QBE ==

*Интерфейс учебника включен в дистрибутив в каталоге <code>minic/</code>. В менее чем 1000 строк он компилирует упрощенный Си. Небольшие контрольные показатели также предоставляются.
*Амбициозный [http://git.suckless.org/scc/ Си компилятор].
*Два интерфейса для [https://github.com/andrewchambers/qmbfc brainfuck] и [https://github.com/andrewchambers/qc Си] были написаны в Myrddin Эндрю Чэмберсом.
*Свидетельством хорошей архитектуры QBE является компилятор [https://github.com/BeRo1985/pacc PACC] от Бенжамина Россо; он повторно использует как архитектуру IL, так и множество возможностей QBE.
*Некоторая текущая работа над компилятором [http://myrlang.org/ Myrddin] направлена на использование QBE в качестве backend.