Dan Gohman 0f4b285a5b Replace the original ad-hoc code for determining whether (v pred w) implies ... (x pred y) with more thorough code that does more complete canonicalization before resorting to range checks. This helps it find more cases where the canonicalized expressions match. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76671 91177308-0d34-0410-b5e6-96231b3b80d8		2009-07-21 23:03:19 +00:00
..
IPA	llvm_unreachable->llvm_unreachable(0), LLVM_UNREACHABLE->llvm_unreachable.	2009-07-14 16:55:14 +00:00
AliasAnalysis.cpp	Generalize some alias analysis logic from atomic	2009-02-14 10:56:35 +00:00
AliasAnalysisCounter.cpp	llvm_unreachable->llvm_unreachable(0), LLVM_UNREACHABLE->llvm_unreachable.	2009-07-14 16:55:14 +00:00
AliasAnalysisEvaluator.cpp	simplify logic and get rid of the assumption that operand 0 is the callee	2009-03-24 19:28:39 +00:00
AliasDebugger.cpp	Refactor my previous change to maintain the distinction between AliasAnalysis and BasicAliasAnalysis. This involves some wider changes because it	2009-02-05 23:36:27 +00:00
AliasSetTracker.cpp	llvm_unreachable->llvm_unreachable(0), LLVM_UNREACHABLE->llvm_unreachable.	2009-07-14 16:55:14 +00:00
Analysis.cpp	Expose Function::viewCFG and Function::viewCFGOnly to bindings.	2008-03-31 16:22:09 +00:00
BasicAliasAnalysis.cpp	Revert the addition of hasNoPointerOverflow to GEPOperator.	2009-07-20 17:43:30 +00:00
CaptureTracking.cpp	Revert r70876 and add a testcase (@c7) showing the problem:	2009-05-07 18:08:34 +00:00
CFGPrinter.cpp	Get rid of the global CFGOnly flag by threading a ShortNames parameters through the GraphViz rendering code.	2009-06-24 17:37:09 +00:00
CMakeLists.txt	Lexically order files in CMakeLists.txt files.	2009-07-15 21:08:16 +00:00
ConstantFolding.cpp	llvm_unreachable->llvm_unreachable(0), LLVM_UNREACHABLE->llvm_unreachable.	2009-07-14 16:55:14 +00:00
DbgInfoPrinter.cpp	Use getReturnTypeName() to print return type.	2009-06-23 22:23:13 +00:00
DebugInfo.cpp	Begin the painful process of tearing apart the rat'ss nest that is Constants.cpp and ConstantFold.cpp.	2009-07-13 04:09:18 +00:00
InstCount.cpp	llvm_unreachable->llvm_unreachable(0), LLVM_UNREACHABLE->llvm_unreachable.	2009-07-14 16:55:14 +00:00
Interval.cpp	Remove attribution from file headers, per discussion on llvmdev.	2007-12-29 20:36:04 +00:00
IntervalPartition.cpp	Tidy up several unbeseeming casts from pointer to intptr_t.	2008-09-04 17:05:41 +00:00
IVUsers.cpp	Add a newline, now that Value's operator<< doesn't print one.	2009-07-14 00:32:49 +00:00
LibCallAliasAnalysis.cpp	Expose a public interface to this pass.	2008-06-05 23:45:18 +00:00
LibCallSemantics.cpp	Add a new interface for describing the behavior of library calls. This	2008-05-07 18:21:13 +00:00
LiveValues.cpp	Delete an obsolete sentance from a comment.	2009-05-31 16:18:57 +00:00
LoopDependenceAnalysis.cpp	llvm_unreachable->llvm_unreachable(0), LLVM_UNREACHABLE->llvm_unreachable.	2009-07-14 16:55:14 +00:00
LoopInfo.cpp	Replace isTrapping with a new, similar method called	2009-07-17 04:28:42 +00:00
LoopPass.cpp	Call doInitialization(), releaseMemory(), and doFinalization() for on-the-fly passes as well.	2009-06-29 18:49:09 +00:00
LoopVR.cpp	Replace intersectWith with maximalIntersectWith. The latter guarantees that	2009-07-18 06:34:42 +00:00
Makefile	Removed trailing whitespace from Makefiles.	2009-01-09 16:44:42 +00:00
MemoryDependenceAnalysis.cpp	factor the 'optimized sort' code out into a static helper function	2009-07-13 17:20:05 +00:00
PointerTracking.cpp	Introduce a pointertracking pass.	2009-07-14 18:44:28 +00:00
PostDominators.cpp	Add newline at end of file.	2008-05-29 21:05:16 +00:00
ProfileInfo.cpp	ProfileInfo interface tweaks.	2009-07-14 06:58:59 +00:00
ProfileInfoLoader.cpp	Get rid of a static boolean.	2009-06-24 22:08:59 +00:00
ProfileInfoLoaderPass.cpp	Tidy up several unbeseeming casts from pointer to intptr_t.	2008-09-04 17:05:41 +00:00
ScalarEvolution.cpp	Replace the original ad-hoc code for determining whether (v pred w) implies	2009-07-21 23:03:19 +00:00
ScalarEvolutionExpander.cpp	Update this comment.	2009-07-20 17:44:17 +00:00
SparsePropagation.cpp	Rename getConstantInt{True|False} to get{True|False} at Chris' behest.	2009-07-21 18:03:38 +00:00
Trace.cpp	Remove attribution from file headers, per discussion on llvmdev.	2007-12-29 20:36:04 +00:00
ValueTracking.cpp	Add a new Operator class, for handling Instructions and ConstantExprs	2009-07-17 20:47:02 +00:00