diff options
Diffstat (limited to 'content/zettel/3a8g.md')
| -rw-r--r-- | content/zettel/3a8g.md | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/content/zettel/3a8g.md b/content/zettel/3a8g.md new file mode 100644 index 0000000..b868394 --- /dev/null +++ b/content/zettel/3a8g.md @@ -0,0 +1,17 @@ ++++ +title = "CompCertGSA " +author = "Yann Herklotz" +tags = [] +categories = [] +backlinks = ["3a8f", "3a8e3", "2f1"] +forwardlinks = ["2e1b", "3a8", "3a8g1"] +zettelid = "3a8g" ++++ + +This version of CompCert introduces gated-SSA ([\#2e1b]) into +CompCertSSA ([\#3a8]). The translation goes from SSA to GSA, and then +GSA gets deconstructed into either SSA or RTL, depending on which will +be easier to implement. + + [\#2e1b]: /zettel/2e1b + [\#3a8]: /zettel/3a8 |