[PATCH] D153563: Use LVI to eliminate instructions during VP

[Simon Hirst via Phabricator via llvm-commits]

sehirst created this revision.
sehirst added a reviewer: bryanpkc.
Herald added a subscriber: hiraditya.
Herald added a project: All.
sehirst requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

LVI gives us a ConstantRange which we can use to determine if the results of div and shr instructions will always be zero. Similarly, we can determine if one side of max/min instructions will always be returned.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D153563

Files:
  llvm/include/llvm/IR/ConstantRange.h
  llvm/lib/IR/ConstantRange.cpp
  llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
  llvm/test/Transforms/CorrelatedValuePropagation/ashr.ll
  llvm/test/Transforms/CorrelatedValuePropagation/lshr.ll
  llvm/test/Transforms/CorrelatedValuePropagation/min-max.ll
  llvm/test/Transforms/CorrelatedValuePropagation/sdiv.ll
  llvm/test/Transforms/CorrelatedValuePropagation/udiv.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D153563.533628.patch
Type: text/x-patch
Size: 15390 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230622/49dd9d8d/attachment.bin>