+++
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