[PATCH] D62447: [LVI][CVP] Add support for saturating add/sub

[Nikita Popov via Phabricator via llvm-commits]

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

Adds support for the `uadd.sat` family of intrinsics in LVI, based on ConstantRange methods from D60946 <https://reviews.llvm.org/D60946>.


Repository:
  rL LLVM

https://reviews.llvm.org/D62447

Files:
  llvm/lib/Analysis/LazyValueInfo.cpp
  llvm/test/Transforms/CorrelatedValuePropagation/basic.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D62447.201397.patch
Type: text/x-patch
Size: 3985 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190525/f773fe23/attachment.bin>