Nikita Popov 98c50a3578 [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 llvm-svn: 359402		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