Simple and Efficient Construction of Static Single Assignment Form (2013) : Matthias Braun and Sebastian Buchwald and Sebastian Hack and Roland Lei{\ss}a and Christoph Mallon and Andreas Zwinkau DOI: https://t.co/N5O4nv57uk #SSA # #my_bibtex
@thorstenball @cfbolz @rsms Some algos explicitly support "ssa repair". Works well with the Braun algo (https://t.co/lv0JYQ9WXS). You can just "redo" the analysis, or even better, keep a list of Phis/BBs that were changed and retrace them. `tryRemoveTrivia
@Jonathan_Blow @bzogrammer @deguerre @tom_forsyth Does anyone use this approach (uses GVN to generate SSA from AST, if I understand it correctly)? https://t.co/QqQgW7v4tg Any good paper / book / lecture on def-use chains?