[PATCH] [ConstantRange] Add an exact version of makeICmpRegion.

[Sanjoy Das]

Hi nlewycky,

`makeExactICmpRegion` operates only on singleton sets and always returns
an exact result.  An alternate formulation of this change is to modify
the contract for `makeICmpRegion` to guarantee an exact result when `CR`
happens to be a singleton set.  Given that we're adding a somewhat
subtle postcondition, I decided to go with something more explicit than
that.

http://reviews.llvm.org/D8345

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

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D8345.21994.patch
Type: text/x-patch
Size: 4162 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150315/27f3d29b/attachment.bin>