llvm-6502

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

History

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

a pointer value has potentially become escaping.  Implementations can choose to either fall back to
conservative responses for that value, or may recompute their analysis to accomodate the change.


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

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

IPA

Add spliceFunction to the CallGraph interface. This allows users to efficiently

2011-01-03 03:19:35 +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

…

AliasAnalysisEvaluator.cpp

…

AliasDebugger.cpp

…

AliasSetTracker.cpp

…

Analysis.cpp

…

BasicAliasAnalysis.cpp

fix rdar://8813415 - a miscompilation of 164.gzip that loop-idiom

2011-01-03 21:03:33 +00:00

CaptureTracking.cpp

…

CFGPrinter.cpp

…

CMakeLists.txt

…

ConstantFolding.cpp

Change all self assignments X=X to (void)X, so that we can turn on a

2010-12-23 00:58:24 +00:00

DbgInfoPrinter.cpp

…

DebugInfo.cpp

…

DIBuilder.cpp

…

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

Revert commit 122654 at the request of Chris, who reckons that instsimplify

2011-01-01 20:08:02 +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

…

LibCallAliasAnalysis.cpp

…

LibCallSemantics.cpp

…

Lint.cpp

…

LiveValues.cpp

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

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

Loads.cpp

…

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

Change all self assignments X=X to (void)X, so that we can turn on a

2010-12-23 00:58:24 +00:00

ModuleDebugInfoPrinter.cpp

…

NoAliasAnalysis.cpp

…

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

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

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

RegionPass.cpp

…

RegionPrinter.cpp

…

ScalarEvolution.cpp

…

ScalarEvolutionAliasAnalysis.cpp

…

ScalarEvolutionExpander.cpp

…

ScalarEvolutionNormalization.cpp

…

SparsePropagation.cpp

…

Trace.cpp

…

TypeBasedAliasAnalysis.cpp

…

ValueTracking.cpp

move isBytewiseValue out to ValueTracking.h/cpp

2010-12-26 20:15:01 +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))

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