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

[Sergei Kachkov via Phabricator via llvm-commits]

kachkov98 added a comment.

In D132208#3741322 <https://reviews.llvm.org/D132208#3741322>, @hiraditya wrote:

> neat! it'll be great if for loop bounds that don't overflow and can be inferred at compile time, the first version just get DCE'd.

>From the experiment, if SCEV can be proven to has NUW, IndVarSimplifyPass already handles this case and successfully widens induction variable, so it makes sence to insert only non-tirivial runtime checks.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D132208