Talk:Global value numbering

Questionable assertion: GVN depends on SSA

edit

Modern compilers, generally speaking, do global variable numbering on the SSA form of the program, but the Alpern and Kildall papers predate the introduction of SSA. (If memory serves, they dealt on the 'value webs' that are the transitive closures of ud- and du-chains, which is the same information as managed in SSA, but packaged in a much less convenient form). — Preceding unsigned comment added by Ke9tv (talkcontribs) 21:10, 19 January 2017 (UTC)Reply