llvm-6502/lib/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
..
AsmWriter.cpp Internalize llvm::AssemblyWriter. It's not used outside of AsmWriter.cpp. 2015-03-17 19:53:41 +00:00
AttributeImpl.h
Attributes.cpp
AutoUpgrade.cpp [X86, AVX2] Replace inserti128 and extracti128 intrinsics with generic shuffles 2015-03-12 23:16:18 +00:00
BasicBlock.cpp
CMakeLists.txt
Comdat.cpp
ConstantFold.cpp ConstantFold: Fix big shift constant folding 2015-03-13 16:39:46 +00:00
ConstantFold.h
ConstantRange.cpp [ConstantRange] Split makeICmpRegion in two. 2015-03-18 00:41:24 +00:00
Constants.cpp [opaque pointer type] Start migrating GEP creation to explicitly specify the pointee type 2015-03-14 01:53:18 +00:00
ConstantsContext.h
Core.cpp [opaque pointer type] IRBuilder gep migration progress 2015-03-15 01:03:19 +00:00
DataLayout.cpp COFF: Let globals with private linkage reside in their own section 2015-03-17 23:54:51 +00:00
DebugInfo.cpp IR: Take advantage of -verify checks for MDExpression 2015-03-16 21:03:55 +00:00
DebugInfoMetadata.cpp
DebugLoc.cpp
DiagnosticInfo.cpp
DiagnosticPrinter.cpp
DIBuilder.cpp
Dominators.cpp
Function.cpp
GCOV.cpp llvm-cov: Warn instead of error if a .gcda has arcs from an exit block 2015-03-17 00:18:51 +00:00
Globals.cpp
GVMaterializer.cpp
InlineAsm.cpp
Instruction.cpp
Instructions.cpp
IntrinsicInst.cpp
IRBuilder.cpp
IRPrintingPasses.cpp
LegacyPassManager.cpp
LLVMBuild.txt
LLVMContext.cpp
LLVMContextImpl.cpp
LLVMContextImpl.h
Makefile
Mangler.cpp Revert "Address review comments" 2015-03-17 20:40:21 +00:00
MDBuilder.cpp
Metadata.cpp
MetadataImpl.h
MetadataTracking.cpp
Module.cpp Be lazy about loading metadata in IRObjectFile. 2015-03-13 21:54:20 +00:00
module.modulemap
Pass.cpp
PassManager.cpp
PassRegistry.cpp
Statepoint.cpp
SymbolTableListTraitsImpl.h
Type.cpp
TypeFinder.cpp Fix Value dangling reference debug output 2015-03-10 23:55:38 +00:00
Use.cpp
UseListOrder.cpp
User.cpp
Value.cpp Fix Value dangling reference debug output 2015-03-10 23:55:38 +00:00
ValueSymbolTable.cpp
ValueTypes.cpp
Verifier.cpp DebugInfo: Drop fake DW_TAG_expression 2015-03-17 21:32:46 +00:00