llvm-6502/unittests
Sanjoy Das da5f3a3ca5 [ConstantRange] Split makeICmpRegion in two.
Summary:
This change splits `makeICmpRegion` into `makeAllowedICmpRegion` and
`makeSatisfyingICmpRegion` with slightly different contracts.  The first
one is useful for determining what values some expression //may// take,
given that a certain `icmp` evaluates to true.  The second one is useful
for determining what values are guaranteed to //satisfy// a given
`icmp`.

Reviewers: nlewycky

Reviewed By: nlewycky

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D8345

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@232575 91177308-0d34-0410-b5e6-96231b3b80d8
2015-03-18 00:41:24 +00:00
..
ADT Teach Twine to support SmallString. 2015-03-17 09:51:17 +00:00
Analysis [PM] Remove the old 'PassManager.h' header file at the top level of 2015-02-13 10:01:29 +00:00
Bitcode
CodeGen
DebugInfo Fix -Woverflow warning in unittest. 2015-03-05 14:43:15 +00:00
ExecutionEngine Add missing includes. make_unique proliferated everywhere. 2015-03-01 21:28:53 +00:00
IR [ConstantRange] Split makeICmpRegion in two. 2015-03-18 00:41:24 +00:00
LineEditor
Linker
MC
Option
ProfileData InstrProf: Don't combine expansion regions with code regions 2015-02-18 19:01:06 +00:00
Support Don't treat .foo as two path components in path::iterators 2015-03-10 00:04:29 +00:00
Transforms MapMetadata: Allow unresolved metadata if it won't change 2015-03-17 01:14:40 +00:00
CMakeLists.txt InstrProf: Add some unit tests for CoverageMapping 2015-02-04 00:15:12 +00:00
Makefile InstrProf: Add some unit tests for CoverageMapping 2015-02-04 00:15:12 +00:00
Makefile.unittest