[PATCH] D132208: [LoopIntWrapPredication] Loop Integer Wrapping Predication Pass

[Sergei Kachkov via Phabricator via llvm-commits]

kachkov98 added a comment.

In D132208#3748455 <https://reviews.llvm.org/D132208#3748455>, @xbolva00 wrote:

> Isn;t this pattern handled by LoopFlatten? cc @SjoerdMeijer

Yes, it's a very similar pattern, but the goal of this pass is different: the insertion of runtime overflow check to simplify code under condition when this doesn't happen. Even after LoopFlatten the resulted SCEV can't be proven to not overflow at compile-time.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D132208