[PATCH] D62463: [ValueTracking][ConstantRange] Distinguish low/high always overflow

[Nikita Popov via Phabricator via llvm-commits]

nikic created this revision.
nikic added reviewers: lebedev.ri, spatel.
Herald added subscribers: llvm-commits, hiraditya.
Herald added a project: LLVM.

In order to fold an always overflowing signed saturating add/sub, we need to know in which direction the always overflow occurs. This patch splits up AlwaysOverflows into AlwaysOverflowsLow and AlwaysOverflowsHigh to pass through this information (but it is not used yet).


Repository:
  rL LLVM

https://reviews.llvm.org/D62463

Files:
  llvm/include/llvm/Analysis/ValueTracking.h
  llvm/include/llvm/IR/ConstantRange.h
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/lib/IR/ConstantRange.cpp
  llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
  llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
  llvm/unittests/IR/ConstantRangeTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D62463.201446.patch
Type: text/x-patch
Size: 13597 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190526/c589cc9e/attachment.bin>