+++
title = "Keeping φ functions around"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["2e1b1"]
forwardlinks = ["2e1b1b"]
zettelid = "2e1b1a"
+++

One possibility is to actually keep φ nodes around in gated-SSA, because
that means that with code where the predicates cannot be found, or in
irreducible loops, the gated-SSA generation will not fail. However, this
does mean that sometimes one will have code that contains φ functions,
instead of just the pure GSA functions.