llvm-6502

mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-19 17:33:29 +00:00

History

Chris Lattner 4034e14985 teach GVN to widen integer loads when they are overaligned, when doing an wider load would allow elimination of subsequent loads, and when the wider load is still a native integer type. This eliminates a ton of loads on various benchmarks involving struct fields, though it is somewhat hobbled by clang not being very aggressive about field alignment. This is yet another step along the way towards resolving PR6627. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@130390 91177308-0d34-0410-b5e6-96231b3b80d8		2011-04-28 07:29:08 +00:00
..
IPA	Fix a ton of comment typos found by codespell. Patch by	2011-04-15 05:18:47 +00:00
AliasAnalysis.cpp	When analyzing functions known to only access argument pointees,	2011-04-27 18:39:03 +00:00
AliasAnalysisCounter.cpp
AliasAnalysisEvaluator.cpp
AliasDebugger.cpp
AliasSetTracker.cpp
Analysis.cpp
BasicAliasAnalysis.cpp	Teach BasicAA about arm.neon.vld1 and vst1.	2011-04-27 20:44:28 +00:00
CaptureTracking.cpp
CFGPrinter.cpp
CMakeLists.txt
ConstantFolding.cpp
DbgInfoPrinter.cpp
DebugInfo.cpp
DIBuilder.cpp	Fix an off by one error while accessing complex address element of a DIVariable.	2011-04-26 18:24:39 +00:00
DominanceFrontier.cpp
DomPrinter.cpp
InlineCost.cpp	Fix a ton of comment typos found by codespell. Patch by	2011-04-15 05:18:47 +00:00
InstCount.cpp
InstructionSimplify.cpp
Interval.cpp
IntervalPartition.cpp
IVUsers.cpp
LazyValueInfo.cpp	Remove unused STL header includes.	2011-04-23 19:53:52 +00:00
LibCallAliasAnalysis.cpp
LibCallSemantics.cpp
Lint.cpp
Loads.cpp
LoopDependenceAnalysis.cpp
LoopInfo.cpp
LoopPass.cpp
Makefile
MemDepPrinter.cpp
MemoryBuiltins.cpp
MemoryDependenceAnalysis.cpp	teach GVN to widen integer loads when they are overaligned, when doing an	2011-04-28 07:29:08 +00:00
ModuleDebugInfoPrinter.cpp
NoAliasAnalysis.cpp
PathNumbering.cpp	Remove unused STL header includes.	2011-04-23 19:53:52 +00:00
PathProfileInfo.cpp
PathProfileVerifier.cpp	Fix a ton of comment typos found by codespell. Patch by	2011-04-15 05:18:47 +00:00
PHITransAddr.cpp
PostDominators.cpp
ProfileEstimatorPass.cpp	Fix a ton of comment typos found by codespell. Patch by	2011-04-15 05:18:47 +00:00
ProfileInfo.cpp	Fix a ton of comment typos found by codespell. Patch by	2011-04-15 05:18:47 +00:00
ProfileInfoLoader.cpp	Remove unused STL header includes.	2011-04-23 19:53:52 +00:00
ProfileInfoLoaderPass.cpp
ProfileVerifierPass.cpp
README.txt
RegionInfo.cpp
RegionPass.cpp
RegionPrinter.cpp
ScalarEvolution.cpp	Corrects an old, old typo in a case that doesn't seem to be reached in practice.	2011-04-27 18:17:36 +00:00
ScalarEvolutionAliasAnalysis.cpp
ScalarEvolutionExpander.cpp
ScalarEvolutionNormalization.cpp
SparsePropagation.cpp
Trace.cpp
TypeBasedAliasAnalysis.cpp	Fix a ton of comment typos found by codespell. Patch by	2011-04-15 05:18:47 +00:00
ValueTracking.cpp	Fix a ton of comment typos found by codespell. Patch by	2011-04-15 05:18:47 +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))

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