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

..

AliasAnalysis.h

Correct a comment: since AccessArguments is now

2009-02-13 17:36:13 +00:00

AliasSetTracker.h

Tidy up #includes.

2009-07-16 15:32:28 +00:00

CallGraph.h

introduce typedef for complicated vector, and use it too

2009-01-17 00:09:08 +00:00

CaptureTracking.h

BasicAliasAnalysis and FunctionAttrs were both

2009-01-18 12:19:30 +00:00

CFGPrinter.h

Don't attribute in file headers anymore. See llvmdev for the

2007-12-29 19:59:42 +00:00

ConstantFolding.h

"LLVMContext* " --> "LLVMContext *"

2009-07-06 23:00:19 +00:00

ConstantsScanner.h

Tidy up #includes, deleting a bunch of unnecessary #includes.

2009-01-05 17:59:02 +00:00

DebugInfo.h

Match declaration to definition.

2009-07-12 22:46:08 +00:00

DominatorInternals.h

Tidy up #includes, deleting a bunch of unnecessary #includes.

2009-01-05 17:59:02 +00:00

Dominators.h

Fix a bunch of other places that used operator[] to test whether

2009-07-02 00:17:47 +00:00

FindUsedTypes.h

Tidy up #includes, deleting a bunch of unnecessary #includes.

2009-01-05 17:59:02 +00:00

Interval.h

Don't attribute in file headers anymore. See llvmdev for the

2007-12-29 19:59:42 +00:00

IntervalIterator.h

Don't attribute in file headers anymore. See llvmdev for the

2007-12-29 19:59:42 +00:00

IntervalPartition.h

Tidy up several unbeseeming casts from pointer to intptr_t.

2008-09-04 17:05:41 +00:00

IVUsers.h

Match declaration to definition.

2009-07-12 23:50:34 +00:00

LibCallAliasAnalysis.h

More MSVC fixes -- class/struct conflicts.

2009-05-12 21:55:29 +00:00

LibCallSemantics.h

Revert 51775.

2008-05-30 22:47:19 +00:00

LiveValues.h

Add a liveness analysis pass for LLVM IR values. This computes

2009-03-19 17:29:04 +00:00

LoopDependenceAnalysis.h

Use AA to check objects before LDA.

2009-07-01 21:45:23 +00:00

LoopInfo.h

Add an isLoopSimplifyForm() predicate, following the example of

2009-07-16 16:16:23 +00:00

LoopPass.h

Move the ConstantInt uniquing table into LLVMContextImpl. This exposed a number of issues in

2009-07-16 18:04:31 +00:00

LoopVR.h

Forward-declare Loop and LoopInfo instead of #including LoopInfo.h.

2009-07-13 22:19:41 +00:00

MemoryDependenceAnalysis.h

now that you can put a PointerIntPair in a SmallPtrSet, remove some

2009-03-29 00:24:04 +00:00

Passes.h

Scaffolding for LDA pass.

2009-06-24 21:29:13 +00:00

PointerTracking.h

Introduce a pointertracking pass.

2009-07-14 18:44:28 +00:00

PostDominators.h

Tidy up several unbeseeming casts from pointer to intptr_t.

2008-09-04 17:05:41 +00:00

ProfileInfo.h

ProfileInfo interface tweaks.

2009-07-14 06:58:59 +00:00

ProfileInfoLoader.h

Get rid of a static boolean.

2009-06-24 22:08:59 +00:00

ProfileInfoTypes.h

Don't attribute in file headers anymore. See llvmdev for the

2007-12-29 19:59:42 +00:00

ScalarEvolution.h

Replace the original ad-hoc code for determining whether (v pred w) implies

2009-07-21 23:03:19 +00:00

ScalarEvolutionExpander.h

Forward-declare Loop and LoopInfo instead of #including LoopInfo.h.

2009-07-13 22:19:41 +00:00

ScalarEvolutionExpressions.h

llvm_unreachable->llvm_unreachable(0), LLVM_UNREACHABLE->llvm_unreachable.

2009-07-14 16:55:14 +00:00

SparsePropagation.h

"LLVMContext* " --> "LLVMContext *"

2009-07-06 23:00:19 +00:00

Trace.h

Tidy up #includes.

2009-07-16 15:32:28 +00:00

ValueTracking.h

Finish LLVMContext-ing lib/Analysis. This required pushing LLVMContext's through the ValueTracking API.

2009-07-06 22:37:39 +00:00

Verifier.h

Don't attribute in file headers anymore. See llvmdev for the

2007-12-29 19:59:42 +00:00