summaryrefslogtreecommitdiffstats
path: root/content/zettel/2e1b1a.md
diff options
context:
space:
mode:
Diffstat (limited to 'content/zettel/2e1b1a.md')
-rw-r--r--content/zettel/2e1b1a.md15
1 files changed, 15 insertions, 0 deletions
diff --git a/content/zettel/2e1b1a.md b/content/zettel/2e1b1a.md
new file mode 100644
index 0000000..1e684fe
--- /dev/null
+++ b/content/zettel/2e1b1a.md
@@ -0,0 +1,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.