Редактирование: Инструкция Phi

 PHI := %IDENT '=' BASETY 'phi' ( @IDENT VAL ),

Прежде всего, инструкции phi НЕ нужны при написании программ на [[QBE]]. Одним из решений, позволяющим избежать использования формы [https://ru.wikipedia.org/wiki/SSA SSA], является использование переменных, выделенных стеком, для всех переменных исходной программы, и выполнения присваиваний и иницализаций с использованием операций [[Память | памяти]]. Это то, что обычно делают пользователи [https://ru.wikipedia.org/wiki/Low_Level_Virtual_Machine LLVM].
<pre>First and foremost, phi instructions are NOT necessary when writing a frontend to QBE. One solution to avoid having to deal with SSA form is to use stack allocated variables for all source program variables and perform assignments and lookups using Memory operations. This is what LLVM users typically do.</pre>

Другое решение - просто исправить код, который не находится в форме [https://ru.wikipedia.org/wiki/SSA SSA]! В отличие от [https://ru.wikipedia.org/wiki/Low_Level_Virtual_Machine LLVM], [[QBE]] может фиксировать программы не в форме [https://ru.wikipedia.org/wiki/SSA SSA], не требуя шаблона загрузки и хранения в памяти. Например, приведенная ниже программа будет правильно скомпилирована [[QBE]].
<pre>Another solution is to simply emit code that is not in SSA form! Contrary to LLVM, QBE is able to fixup programs not in SSA form without requiring the boilerplate of loading and storing in memory. For example, the following program will be correctly compiled by QBE.</pre>

 @start
         %x =w copy 100
         %s =w copy 0
 @loop
         %s =w add %s, %x
         %x =w sub %x, 1
         jnz %x, @loop, @end
 @end
         ret %s

Теперь, если вы хотите знать, что такое phi-инструкции и как их использовать в [[QBE]], читайте далее.
<pre>Now, if you want to know what phi instructions are and how to use them in QBE, you can read the following.</pre>

Инструкции Phi относятся к форме [https://ru.wikipedia.org/wiki/SSA SSA]. В значениях формы [https://ru.wikipedia.org/wiki/SSA SSA] могут быть назначены только один раз, без phi-инструкций это требование слишком велико, чтобы представлять множество программ. Например, рассмотрим следующую программу на C.
<pre>Phi instructions are specific to SSA form. In SSA form values can only be assigned once, without phi instructions, this requirement is too strong to represent many programs. For example consider the following C program.</pre>

 <strong>Пример 1.</strong>
 int f(int x) {
         int y;
         if (x)
                 y = 1;
         else
                 y = 2;
         return y;
 }

Переменная <strong>y</strong> переприсваивается дважды, решение для ее перевода в форму [https://ru.wikipedia.org/wiki/SSA SSA] заключается в вставке phi-инструкции.
<pre>The variable y is assigned twice, the solution to translate it in SSA form is to insert a phi instruction.</pre>

 <strong>Пример 2.</strong>
 @ifstmt
         jnz %x, @ift, @iff
 @ift
         jmp @retstmt
 @iff
         jmp @retstmt
 @retstmt
         %y =w phi @ift 1, @iff 2
         ret %y

Phi-инструкции возвращают один из аргументов в зависимости от того, откуда было передано управление. В примере 2 <strong>%y</strong> устанавливается в 1, если ветвь @ift занята, и 2 в противном случае.
<pre>Phi instructions return one of their arguments depending on where the control came from. In the example, %y is set to 1 if the @ift branch is taken, or it is set to 2 otherwise.</pre>

Важное замечание о инструкциях phi состоит в том, что [[QBE]] предполагает, что если переменная определена с помощью phi, она учитывает все инварианты [https://ru.wikipedia.org/wiki/SSA SSA]. Поэтому очень важно не использовать инструкции phi, если вы не знаете точно, что делаете.
<pre>An important remark about phi instructions is that QBE assumes that if a variable is defined by a phi it respects all the SSA invariants. So it is critical to not use phi instructions unless you know exactly what you are doing.</pre>


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