Nikita Popov 3547a7e64e [ConstantRange] Add makeExactNoWrapRegion() ...

I got confused on the terminology, and the change in D60598 was not
correct. I was thinking of "exact" in terms of the result being
non-approximate. However, the relevant distinction here is whether
the result is

 * Largest range such that:
   Forall Y in Other: Forall X in Result: X BinOp Y does not wrap.
   (makeGuaranteedNoWrapRegion)
 * Smallest range such that:
   Forall Y in Other: Forall X not in Result: X BinOp Y wraps.
   (A hypothetical makeAllowedNoWrapRegion)
 * Both. (makeExactNoWrapRegion)

I'm adding a separate makeExactNoWrapRegion method accepting a
single APInt (same as makeExactICmpRegion) and using it in the
places where the guarantee is relevant.

Differential Revision: https://reviews.llvm.org/D60960

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@359402 91177308-0d34-0410-b5e6-96231b3b80d8

2019-04-28 15:40:56 +00:00

..

llvm

[ConstantRange] Add makeExactNoWrapRegion()

2019-04-28 15:40:56 +00:00

llvm-c

[LLVM-C] Deprecate the LLVMValueRef-returning metadata creation functions

2019-04-24 17:05:08 +00:00