llvm-65816/lib/Analysis
2014-07-04 22:48:00 -04:00
..
IPA Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
AliasAnalysis.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
AliasAnalysisCounter.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
AliasAnalysisEvaluator.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
AliasDebugger.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
AliasSetTracker.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
Analysis.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
BasicAliasAnalysis.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
BlockFrequencyInfo.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
BranchProbabilityInfo.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
CaptureTracking.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
CFG.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
CFGPrinter.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
CMakeLists.txt Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
CodeMetrics.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
ConstantFolding.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
CostModel.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
Delinearization.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
DependenceAnalysis.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
DominanceFrontier.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
DomPrinter.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
InstCount.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
InstructionSimplify.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
Interval.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
IntervalPartition.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
IVUsers.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
LazyValueInfo.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
LibCallAliasAnalysis.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
LibCallSemantics.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
Lint.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
LLVMBuild.txt Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
Loads.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
LoopInfo.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
LoopPass.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
Makefile Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
MemDepPrinter.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
MemoryBuiltins.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
MemoryDependenceAnalysis.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
ModuleDebugInfoPrinter.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
NoAliasAnalysis.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
PHITransAddr.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
PostDominators.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
PtrUseVisitor.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
README.txt Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
RegionInfo.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
RegionPass.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
RegionPrinter.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
ScalarEvolution.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
ScalarEvolutionAliasAnalysis.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
ScalarEvolutionExpander.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
ScalarEvolutionNormalization.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
SparsePropagation.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
TargetTransformInfo.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
Trace.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
TypeBasedAliasAnalysis.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00
ValueTracking.cpp Initial commit with LLVM 3.4.1, cfe 3.4.1 and compiler-rt 3.4 2014-07-04 22:48:00 -04:00

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))

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