llvm-6502/unittests/IR
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
..
AttributesTest.cpp
CMakeLists.txt The leak detector is dead, long live asan and valgrind. 2014-12-22 13:00:36 +00:00
ConstantRangeTest.cpp [ConstantRange] Split makeICmpRegion in two. 2015-03-18 00:41:24 +00:00
ConstantsTest.cpp [opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction 2015-02-27 19:29:02 +00:00
DebugInfoTest.cpp Add missing includes. make_unique proliferated everywhere. 2015-03-01 21:28:53 +00:00
DominatorTreeTest.cpp [PM] Remove the old 'PassManager.h' header file at the top level of 2015-02-13 10:01:29 +00:00
InstructionsTest.cpp [opaque pointer type] gep API migration 2015-03-14 21:40:10 +00:00
IRBuilderTest.cpp DataLayout is mandatory, update the API to reflect it with references. 2015-03-10 02:37:25 +00:00
LegacyPassManagerTest.cpp Make DataLayout Non-Optional in the Module 2015-03-04 18:43:29 +00:00
Makefile
MDBuilderTest.cpp IR: Split Metadata from Value 2014-12-09 18:38:53 +00:00
MetadataTest.cpp AsmWriter: Handle broken metadata nodes 2015-03-16 21:21:10 +00:00
PassManagerTest.cpp [PM] Add names and debug logging for analysis passes to the new pass 2015-01-05 12:21:44 +00:00
PatternMatch.cpp [C++11] Use 'nullptr'. 2014-06-08 22:29:17 +00:00
TypeBuilderTest.cpp [C++11] Use 'nullptr'. 2014-06-08 22:29:17 +00:00
TypesTest.cpp
UserTest.cpp [cleanup] Re-sort all the #include lines in LLVM using 2015-01-14 11:23:27 +00:00
UseTest.cpp Format: Modernize using variadic templates. 2015-02-15 22:15:41 +00:00
ValueHandleTest.cpp [C++11] Use 'nullptr'. 2014-06-08 22:29:17 +00:00
ValueMapTest.cpp Support: make LLVM Mutexes STL-compatible 2014-08-23 22:49:22 +00:00
ValueTest.cpp Add unittest for extreme alignments. 2014-10-23 14:45:19 +00:00
VerifierTest.cpp Allow aliases to be unnamed_addr. 2014-06-06 01:20:28 +00:00
WaymarkTest.cpp Fix a leak found by asan. 2014-12-23 17:20:23 +00:00