[PATCH] D65147: [SimplifyCFG] FoldTwoEntryPHINode(): don't bailout on i1 PHI's if we can hoist a 'not' from incoming values

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

To be noted, i'm fixing this function in particular because it is the pass that folds the case witout `not`, in `-O3`
(`llvm/test/Transforms/PhaseOrdering/unsigned-multiply-overflow-check.ll`, `will_not_overflow()`).
I suppose the alternative approach would be to teach some other pass that it is okay to hoist this `@llvm.umul.with.overflow` here.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D65147/new/

https://reviews.llvm.org/D65147