[PATCH] D28934: Write a new SSAUpdater
Matthias Braun via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Fri Jan 20 17:58:29 PST 2017
MatzeB added a comment.
> My understanding, BTW (not verified), is that with one additional recursive simplification function above, the only difference between this and minimal form should be in irreducible control flow.
Yep we proved that in the paper. (Of course proving it correct doesn't replace testing :)
More information about the llvm-commits