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


https://reviews.llvm.org/D28934





More information about the llvm-commits mailing list