blob: b868394f7e3d221efc732c1ae7fcbccc032a5735 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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
|
