[PATCH] D28934: Write a new SSAUpdater

[Matthias Braun via Phabricator via llvm-commits]

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 :)


https://reviews.llvm.org/D28934