llvm-6502

mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-03-04 21:31:03 +00:00

History

Dan Gohman 615da1a9bc Teach BasicAA to return PartialAlias in cases where both pointers

are pointing to the same object, one pointer is accessing the entire
object, and the other is access has a non-zero size. This prevents
TBAA from kicking in and saying NoAlias in such cases.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123775 91177308-0d34-0410-b5e6-96231b3b80d8

2011-01-18 21:16:06 +00:00

IPA

Use the new addEscapingValue callback to update GlobalsModRef when GVN adds PHIs of GEPs. For the moment,

2011-01-03 23:51:43 +00:00

AliasAnalysis.cpp

Stub out a new updating interface to AliasAnalysis, allowing stateful analyses to be informed when

2011-01-03 21:38:41 +00:00

AliasAnalysisCounter.cpp

Teach AliasAnalysisCounter about PartialAlias.

2010-12-10 19:53:05 +00:00

AliasAnalysisEvaluator.cpp

…

AliasDebugger.cpp

…

AliasSetTracker.cpp

…

Analysis.cpp

Move DominanceFrontier from VMCore to Analysis.

2011-01-18 06:06:27 +00:00

BasicAliasAnalysis.cpp

Teach BasicAA to return PartialAlias in cases where both pointers

2011-01-18 21:16:06 +00:00

CaptureTracking.cpp

…

CFGPrinter.cpp

…

CMakeLists.txt

Move DominanceFrontier from VMCore to Analysis.

2011-01-18 06:06:27 +00:00

ConstantFolding.cpp

fix PR8983, a broken assertion.

2011-01-16 03:43:53 +00:00

DbgInfoPrinter.cpp

…

DebugInfo.cpp

…

DIBuilder.cpp

…

DominanceFrontier.cpp

Move DominanceFrontier from VMCore to Analysis.

2011-01-18 06:06:27 +00:00

DomPrinter.cpp

split dom frontier handling stuff out to its own DominanceFrontier header,

2011-01-02 22:09:33 +00:00

InlineCost.cpp

…

InstCount.cpp

…

InstructionSimplify.cpp

For completeness, generalize the (X + Y) - Y -> X transform and add X - (X + 1) -> -1.

2011-01-18 11:50:19 +00:00

Interval.cpp

…

IntervalPartition.cpp

…

IVUsers.cpp

split dom frontier handling stuff out to its own DominanceFrontier header,

2011-01-02 22:09:33 +00:00

LazyValueInfo.cpp

Teach LazyValueInfo that allocas aren't NULL. Over all of llvm-test, this saves

2011-01-15 09:16:12 +00:00

LibCallAliasAnalysis.cpp

…

LibCallSemantics.cpp

…

Lint.cpp

Move Value::getUnderlyingObject to be a standalone

2010-12-15 20:02:24 +00:00

LiveValues.cpp

split dom frontier handling stuff out to its own DominanceFrontier header,

2011-01-02 22:09:33 +00:00

Loads.cpp

Move Value::getUnderlyingObject to be a standalone

2010-12-15 20:02:24 +00:00

LoopDependenceAnalysis.cpp

split dom frontier handling stuff out to its own DominanceFrontier header,

2011-01-02 22:09:33 +00:00

LoopInfo.cpp

…

LoopPass.cpp

…

Makefile

…

MemDepPrinter.cpp

…

MemoryBuiltins.cpp

…

MemoryDependenceAnalysis.cpp

Revert r123207: "Turn on memdep's verifyRemoved() in an attempt to smoke out the cause of our gcc bootstrap miscompare."

2011-01-11 04:05:39 +00:00

ModuleDebugInfoPrinter.cpp

…

NoAliasAnalysis.cpp

Use the new addEscapingValue callback to update GlobalsModRef when GVN adds PHIs of GEPs. For the moment,

2011-01-03 23:51:43 +00:00

PHITransAddr.cpp

split dom frontier handling stuff out to its own DominanceFrontier header,

2011-01-02 22:09:33 +00:00

PostDominators.cpp

split dom frontier handling stuff out to its own DominanceFrontier header,

2011-01-02 22:09:33 +00:00

ProfileEstimatorPass.cpp

…

ProfileInfo.cpp

…

ProfileInfoLoader.cpp

…

ProfileInfoLoaderPass.cpp

…

ProfileVerifierPass.cpp

…

README.txt

…

RegionInfo.cpp

Add single entry / single exit accessors.

2011-01-13 23:18:04 +00:00

RegionPass.cpp

Remove useless dynamic_cast<>().

2010-12-12 21:58:28 +00:00

RegionPrinter.cpp

…

ScalarEvolution.cpp

some comment improvements.

2011-01-11 17:11:59 +00:00

ScalarEvolutionAliasAnalysis.cpp

…

ScalarEvolutionExpander.cpp

…

ScalarEvolutionNormalization.cpp

…

SparsePropagation.cpp

…

Trace.cpp

…

TypeBasedAliasAnalysis.cpp

Update a comment.

2010-12-16 02:55:10 +00:00

ValueTracking.cpp

fix an off-by-one bug that caused a crash analyzing

2011-01-04 18:19:15 +00:00

README.txt

Analysis Opportunities:

//===---------------------------------------------------------------------===//

In test/Transforms/LoopStrengthReduce/quadradic-exit-value.ll, the
ScalarEvolution expression for %r is this:

  {1,+,3,+,2}<loop>

Outside the loop, this could be evaluated simply as (%n * %n), however
ScalarEvolution currently evaluates it as

  (-2 + (2 * (trunc i65 (((zext i64 (-2 + %n) to i65) * (zext i64 (-1 + %n) to i65)) /u 2) to i64)) + (3 * %n))

In addition to being much more complicated, it involves i65 arithmetic,
which is very inefficient when expanded into code.

//===---------------------------------------------------------------------===//

In formatValue in test/CodeGen/X86/lsr-delayed-fold.ll,

ScalarEvolution is forming this expression:

((trunc i64 (-1 * %arg5) to i32) + (trunc i64 %arg5 to i32) + (-1 * (trunc i64 undef to i32)))

This could be folded to

(-1 * (trunc i64 undef to i32))

//===---------------------------------------------------------------------===//