+++ title = "Constructing gated-SSA" author = "Yann Herklotz" tags = [] categories = [] backlinks = ["3a8g1", "2e1b"] forwardlinks = ["2e1b2", "2e1b1a"] zettelid = "2e1b1" +++ There are multiple ways to construct gated SSA, either directly from a CFG, or, which is a bit more inefficient, going to SSA first and then transforming that to gated-SSA.