[PATCH] D135354: [LoopPredication] Insert assumes of conditions of predicated guards

[Dmitry Makogon via Phabricator via llvm-commits]

dmakogon added a comment.

In D135354#3842066 <https://reviews.llvm.org/D135354#3842066>, @mkazantsev wrote:

> Do you have an exact motivation test where another pass fails to deduct facts from the new condition?

Yeah, it is test/Transforms/LoopPredication/assumes.ll


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

https://reviews.llvm.org/D135354