[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 mailing list