Get the latest tech news
Ways to generate SSA
Static Single Assignment is a program representation where each “variable” (though this term can be misleading) is assigned exactly once. Mostly the variables aren’t variables at all, but instead names for values—for expressions. SSA is used a lot in compilers. I’m making this page to catalog the papers I have found interesting and leave a couple of comments on them.
Also in 1995, Cliff Click and Michael Paleczny publish A Simple Graph-Based Intermediate Representation(PDF), which has become known as the Sea of Nodes IR. In 2013, my former coworker Matthias Braun and his labmates write Simple and Efficient Construction of Static Single Assignment Form(PDF), which describes converting to SSA from an AST and building the CFG on the fly. windmill, lost copy SCCP liveness DCE chordal https://arxiv.org/abs/2011.05608 SSI and e-SSA and sparseness GVN and CSE and hash consing load/store forwarding mem2reg SROA and memory ssa eager constant folding / smart constructors points-to and CFA flattening tuples webs (see Muchnick’s 1997 Advanced compiler design and implementation) RVSDG and co e-graphs
Or read this on Hacker News
