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
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
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
MetadataTest.cpp	AsmWriter: Handle broken metadata nodes	2015-03-16 21:21:10 +00:00
PassManagerTest.cpp
PatternMatch.cpp
TypeBuilderTest.cpp
TypesTest.cpp
UserTest.cpp
UseTest.cpp
ValueHandleTest.cpp
ValueMapTest.cpp
ValueTest.cpp
VerifierTest.cpp
WaymarkTest.cpp