+++
title = "When are phi functions executed"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8a2"]
forwardlinks = []
zettelid = "3a8a3"
+++

Phi functions are executed directly after a `Inop` instruction that
leads to a branching instruction, otherwise the standard execution of
RTL instructions is performed. This means that it is much easier to
define the semantics of the execution of the phi instructions, as these
only have to be performed after an `Inop` instruction.