[PATCH] D141129: [InstCombine] Use KnownBits for lshr/add -> (a + b < a)

[Pierre van Houtryve via Phabricator via llvm-commits]

Pierre-vh created this revision.
Pierre-vh added reviewers: spatel, arsenm, foad, nikic, lebedev.ri.
Herald added a subscriber: hiraditya.
Herald added a project: All.
Pierre-vh requested review of this revision.
Herald added subscribers: llvm-commits, wdng.
Herald added a project: LLVM.

Split from D138814 <https://reviews.llvm.org/D138814>; This patch allows any value for the add operands as long
as they have the right amount of leading zeroes.

Depends on D138814 <https://reviews.llvm.org/D138814>


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D141129

Files:
  llvm/include/llvm/Analysis/ValueTracking.h
  llvm/include/llvm/Transforms/InstCombine/InstCombiner.h
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/lib/Transforms/InstCombine/InstCombineShifts.cpp
  llvm/test/Transforms/InstCombine/pr34349.ll
  llvm/test/Transforms/InstCombine/shift-add.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D141129.486839.patch
Type: text/x-patch
Size: 7450 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230106/a4df5d1f/attachment.bin>