forked from OSchip/llvm-project
7182d36f66
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 llvm-svn: 232575 |
||
|---|---|---|
| .. | ||
| AttributesTest.cpp | ||
| CMakeLists.txt | ||
| ConstantRangeTest.cpp | ||
| ConstantsTest.cpp | ||
| DebugInfoTest.cpp | ||
| DominatorTreeTest.cpp | ||
| IRBuilderTest.cpp | ||
| InstructionsTest.cpp | ||
| LegacyPassManagerTest.cpp | ||
| MDBuilderTest.cpp | ||
| Makefile | ||
| MetadataTest.cpp | ||
| PassManagerTest.cpp | ||
| PatternMatch.cpp | ||
| TypeBuilderTest.cpp | ||
| TypesTest.cpp | ||
| UseTest.cpp | ||
| UserTest.cpp | ||
| ValueHandleTest.cpp | ||
| ValueMapTest.cpp | ||
| ValueTest.cpp | ||
| VerifierTest.cpp | ||
| WaymarkTest.cpp | ||