llvm-6502

mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-11-06 05:06:45 +00:00

History

Chris Lattner 6b0dc92043 progress making the world safe to ConstantDataVector. While we're at it, allow PatternMatch's "neg" pattern to match integer vector negations, and enhance ComputeNumSigned bits to handle shl of vectors. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@149082 91177308-0d34-0410-b5e6-96231b3b80d8		2012-01-26 21:37:55 +00:00
..
IPA	LLVMBuild: Remove trailing newline, which irked me.	2011-12-12 19:48:00 +00:00
AliasAnalysis.cpp
AliasAnalysisCounter.cpp	Remove unnecessary default cases in switches that cover all enum values.	2012-01-10 16:47:17 +00:00
AliasAnalysisEvaluator.cpp	Remove unnecessary default cases in switches that cover all enum values.	2012-01-10 16:47:17 +00:00
AliasDebugger.cpp
AliasSetTracker.cpp
Analysis.cpp
BasicAliasAnalysis.cpp	Refactor code to use new attribute getters on CallSite for NoCapture and ByVal.	2011-11-20 19:09:04 +00:00
BlockFrequencyInfo.cpp	Add some constantness to BranchProbabilityInfo and BlockFrequnencyInfo.	2011-12-20 20:03:10 +00:00
BranchProbabilityInfo.cpp	Make the unreachable probability much much heavier. The previous	2011-12-22 09:26:37 +00:00
CaptureTracking.cpp	Move includes to the .cpp file.	2012-01-17 22:16:31 +00:00
CFGPrinter.cpp	Remove all remaining uses of Value::getNameStr().	2011-11-15 16:27:03 +00:00
CMakeLists.txt	build/CMake: Finish removal of add_llvm_library_dependencies.	2011-11-29 19:25:30 +00:00
ConstantFolding.cpp	progress making the world safe to ConstantDataVector. While	2012-01-26 21:37:55 +00:00
DbgInfoPrinter.cpp
DebugInfo.cpp	Don't avoid recursing for pointer types, just reference types. Expand on	2012-01-11 00:01:29 +00:00
DIBuilder.cpp	Cleanup these asserts to follow common LLVM style and coding	2012-01-10 18:18:52 +00:00
DominanceFrontier.cpp	Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch	2011-12-20 02:50:00 +00:00
DomPrinter.cpp
InlineCost.cpp	Use precomputed BB size instead of BB->size().	2012-01-25 18:54:13 +00:00
InstCount.cpp
InstructionSimplify.cpp	PatternMatch: Introduce a matcher for instructions with the "exact" bit. Use it to simplify a few matchers.	2012-01-01 17:55:30 +00:00
Interval.cpp
IntervalPartition.cpp
IVUsers.cpp	Put all IVUsers in the processed set. Allow querying IVUsers with isIVUserOrOperand.	2012-01-06 21:41:55 +00:00
LazyValueInfo.cpp	Remove dead code.	2012-01-18 10:10:28 +00:00
LibCallAliasAnalysis.cpp
LibCallSemantics.cpp
Lint.cpp	Fix a few more places where TargetData/TargetLibraryInfo is not being passed.	2011-12-02 01:26:24 +00:00
LLVMBuild.txt	LLVMBuild: Introduce a common section which currently has a list of the	2011-12-12 22:45:54 +00:00
Loads.cpp
LoopDependenceAnalysis.cpp	More dead code removal (using -Wunreachable-code)	2012-01-20 21:51:11 +00:00
LoopInfo.cpp	Move Instruction::isSafeToSpeculativelyExecute out of VMCore and	2011-12-14 23:49:11 +00:00
LoopPass.cpp
Makefile
MemDepPrinter.cpp	Fix a stupid typo in MemDepPrinter.	2011-12-14 02:54:39 +00:00
MemoryBuiltins.cpp	Validate the return type when checking if a function is malloc.	2011-11-23 17:58:47 +00:00
MemoryDependenceAnalysis.cpp	More dead code removal (using -Wunreachable-code)	2012-01-20 21:51:11 +00:00
ModuleDebugInfoPrinter.cpp
NoAliasAnalysis.cpp
PathNumbering.cpp
PathProfileInfo.cpp
PathProfileVerifier.cpp	Remove all remaining uses of Value::getNameStr().	2011-11-15 16:27:03 +00:00
PHITransAddr.cpp	More dead code removal (using -Wunreachable-code)	2012-01-20 21:51:11 +00:00
PostDominators.cpp
ProfileEstimatorPass.cpp	Remove all remaining uses of Value::getNameStr().	2011-11-15 16:27:03 +00:00
ProfileInfo.cpp
ProfileInfoLoader.cpp
ProfileInfoLoaderPass.cpp	Remove all remaining uses of Value::getNameStr().	2011-11-15 16:27:03 +00:00
ProfileVerifierPass.cpp	Move code into anonymous namespaces.	2011-11-26 23:01:57 +00:00
README.txt
RegionInfo.cpp	Missed some users of Value::getNameStr.	2011-11-15 18:30:06 +00:00
RegionPass.cpp
RegionPrinter.cpp
ScalarEvolution.cpp	switch SCEV to use the new ConstantFoldLoadThroughGEPIndices function	2012-01-24 05:49:24 +00:00
ScalarEvolutionAliasAnalysis.cpp
ScalarEvolutionExpander.cpp	More dead code removal (using -Wunreachable-code)	2012-01-20 21:51:11 +00:00
ScalarEvolutionNormalization.cpp	More dead code removal (using -Wunreachable-code)	2012-01-20 21:51:11 +00:00
SparsePropagation.cpp	Remove all remaining uses of Value::getNameStr().	2011-11-15 16:27:03 +00:00
Trace.cpp	Remove all remaining uses of Value::getNameStr().	2011-11-15 16:27:03 +00:00
TypeBasedAliasAnalysis.cpp
ValueTracking.cpp	progress making the world safe to ConstantDataVector. While	2012-01-26 21:37:55 +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))

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