[PATCH] D71011: [ConstantRange] Add `shlWithNoWrap()` method

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri created this revision.
lebedev.ri added reviewers: reames, nikic, efriedma, spatel, sanjoy.
lebedev.ri added a project: LLVM.
Herald added a subscriber: hiraditya.
lebedev.ri added parent revisions: D71010: [ConstantRange] Add `getClosestToZero()` method - what value[s] are closest to signed zero?, D70043: [ConstantRange] Add `mulWithNoWrap()` method.

This modelling isn't precise, much like the baseline `shl()` modelling,
so only conservative-correctness exaustive tests are performed.
Also, pending resolution of disscussion in D70043 <https://reviews.llvm.org/D70043> whether or not
we should bother to ensure production of empty-set ranges for all-overflow inputs i've gone ahead with presumption that we will want that.

So all in all this is pretty similar to `ConstantRange::mulWithNoWrap()` modelling in D70043 <https://reviews.llvm.org/D70043>.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D71011

Files:
  llvm/include/llvm/IR/ConstantRange.h
  llvm/lib/IR/ConstantRange.cpp
  llvm/unittests/IR/ConstantRangeTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D71011.232108.patch
Type: text/x-patch
Size: 4816 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20191204/83727319/attachment.bin>