+++
title = "Deconstructing GSA"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8g1"]
forwardlinks = ["3a8g3", "3a8g2a"]
zettelid = "3a8g2"
+++

After generating GSA, one problem is deconstructing the GSA into SSA
again, so that compilation can take place again. The main issue with
this translation is the conversion of the eta functions, as they will be
required to be transformed into various move instructions, which will
need to be added to the control-flow graph. However, there are various
SSA restrictions that need to be respected.