summaryrefslogtreecommitdiffstats
path: root/content/zettel/2e1b1a.md
blob: 1e684fe5c048a30166686a5ec41084219444b494 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
+++
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.