[PATCH] D35025: [SimplifyCFG] Move a portion of an if statement that should already be implied to an assert

[Chad Rosier via Phabricator via llvm-commits]

mcrosier accepted this revision.
mcrosier added a comment.
This revision is now accepted and ready to land.

LGTM.  My guess is that this was a very old check due to ill-formed IR, but the code has changed over the years and in it's current state your assumption seems correct.


https://reviews.llvm.org/D35025