imported>Meinichselbst: Parameter fix

2025-09-17T22:03:34Z

Parameter fix

Neue Seite

Die '''Phi-Funktion''' (φ-Funktion) ist ein Konstrukt im [[Compilerbau]].

Bei der internen Darstellung von [[Programmcode]] in der [[Zwischencode#Static Single Assignment|Static-Single-Assignment-Darstellung]] wird jede Variable nur einmal geschrieben. Da so in alternativen Zweigen verschiedene Variablen geschrieben werden, muss nach der Vereinigung des Kontrollflusses (z. B. nach einem if/then/else) das Problem gelöst werden, dass späterer Code nur auf eine Variable zugreifen kann.

Gelöst wird das Problem über die Phi-Funktion, die ihre Parameter abhängig vom tatsächlich genommenen Kontrollfluss als Ergebnis zurückgibt.

Sie ist keine deterministische Funktion, da ihr Ergebnis von nicht parametrisierten [[Wirkung (Informatik)|Nebeneffekten]] abhängt. Aus dem Ausdruck <code>phi(a_1, a_2) </code> allein lässt sich nicht folgern, ob das Ergebnis <code>a_1</code> oder <code>a_2</code> ist.

== Beispiel ==
Der Code-Block
<syntaxhighlight lang="C">
if (c)
a = b + d;
else
a = e + f;
x = 2 * a;
</syntaxhighlight>

wird in der SSA-Form mit Hilfe der Phi-Funktion zu:

<syntaxhighlight lang="C">
if (c_1)
a_1 = b_1 + d_1;
else
a_2 = e_1 + f_1;
x_1 = 2 * phi(a_1, a_2);
</syntaxhighlight>

== Literatur ==
* {{cite book |author=Appel, Andrew W.
|title=Modern Compiler Implementation in ML
|publisher=Cambridge University Press |year=1999 |isbn=0-521-58274-1 |language=en }}
* {{cite book |author=Cooper, Keith D.; and Torczon, Linda
|title=Engineering a Compiler
|publisher=Morgan Kaufmann |year=2003 |isbn=1-55860-698-X |language=en }}
* {{cite book |author=Muchnick, Steven S.
|title=Advanced Compiler Design and Implementation
|publisher=Morgan Kaufmann |year=1997 |isbn=1-55860-320-4 |language=en }}

[[Kategorie:Compilerbau]]

Phi-Funktion (Compilerbau) - Versionsgeschichte

imported>Meinichselbst: Parameter fix