summaryrefslogtreecommitdiffstats
path: root/content/zettel/3a8d.md
diff options
context:
space:
mode:
Diffstat (limited to 'content/zettel/3a8d.md')
-rw-r--r--content/zettel/3a8d.md13
1 files changed, 13 insertions, 0 deletions
diff --git a/content/zettel/3a8d.md b/content/zettel/3a8d.md
new file mode 100644
index 0000000..f03cbfa
--- /dev/null
+++ b/content/zettel/3a8d.md
@@ -0,0 +1,13 @@
++++
+title = "Register definition"
+author = "Yann Herklotz"
+tags = []
+categories = []
+backlinks = ["3a8c"]
+forwardlinks = ["3a8e"]
+zettelid = "3a8d"
++++
+
+CompCertSSA redefines the instructions and registers to act on SSA
+registers instead, which are a combination of names and indices, which
+thereby create a new register every time an assignment is performed.