llvm-project

Files

Nick Lewycky c2ec0725ce Extend 'readonly' and 'readnone' to work on function arguments as well as

functions. Make the function attributes pass add it to known library functions
and when it can deduce it.

llvm-svn: 185735

2013-07-06 00:29:58 +00:00

IPA

This patch breaks up Wrap.h so that it does not have to include all of

2013-05-01 20:59:00 +00:00

AliasAnalysis.cpp

Make BasicAliasAnalysis recognize the fact a noalias argument cannot alias another argument, even if the other argument is not itself marked noalias.

2013-05-28 08:17:48 +00:00

AliasAnalysisCounter.cpp

Use the new script to sort the includes of every file under lib.

2012-12-03 16:50:05 +00:00

AliasAnalysisEvaluator.cpp

Support in AAEvaluator to print alias queries of loads/stores with TBAA tags.

2013-03-22 22:34:41 +00:00

AliasDebugger.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

AliasSetTracker.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

Analysis.cpp

This patch breaks up Wrap.h so that it does not have to include all of

2013-05-01 20:59:00 +00:00

BasicAliasAnalysis.cpp

Make BasicAliasAnalysis recognize the fact a noalias argument cannot alias another argument, even if the other argument is not itself marked noalias.

2013-05-28 08:17:48 +00:00

BlockFrequencyInfo.cpp

BlockFrequency: Bump up the entry frequency a bit.

2013-06-25 13:34:40 +00:00

BranchProbabilityInfo.cpp

Use SmallVectorImpl::iterator/const_iterator instead of SmallVector to avoid specifying the vector size.

2013-07-04 01:31:24 +00:00

CaptureTracking.cpp

Extend 'readonly' and 'readnone' to work on function arguments as well as

2013-07-06 00:29:58 +00:00

CFGPrinter.cpp

Use the new script to sort the includes of every file under lib.

2012-12-03 16:50:05 +00:00

CMakeLists.txt

Remove -print-dbginfo as it is unused & bitrotten.

2013-03-08 18:17:46 +00:00

CodeMetrics.cpp

Begin fleshing out an interface in TTI for modelling the costs of

2013-01-22 11:26:02 +00:00

ConstantFolding.cpp

ConstantFolding: ComputeMaskedBits wants the scalar size for vectors.

2013-04-19 16:56:24 +00:00

CostModel.cpp

CostModel: Add parameter to instruction cost to further classify operand values

2013-04-04 23:26:21 +00:00

DependenceAnalysis.cpp

(no commit message)

2013-06-28 18:44:48 +00:00

DominanceFrontier.cpp

Use the new script to sort the includes of every file under lib.

2012-12-03 16:50:05 +00:00

DomPrinter.cpp

…

InstCount.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

InstructionSimplify.cpp

InstructionSimplify.cpp: Fix a ligature, "fi", to get rid of utf8 in comment.

2013-04-08 23:05:21 +00:00

Interval.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

IntervalPartition.cpp

…

IVUsers.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

LazyValueInfo.cpp

Use SmallVectorImpl::iterator/const_iterator instead of SmallVector to avoid specifying the vector size.

2013-07-04 01:31:24 +00:00

LibCallAliasAnalysis.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

LibCallSemantics.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

Lint.cpp

Change GetPointerBaseWithConstantOffset's DataLayout argument from a

2013-01-31 02:00:45 +00:00

LLVMBuild.txt

…

Loads.cpp

Change GetPointerBaseWithConstantOffset's DataLayout argument from a

2013-01-31 02:00:45 +00:00

LoopInfo.cpp

Add support for llvm.vectorizer metadata

2013-05-28 20:00:34 +00:00

LoopPass.cpp

Enable the new LoopInfo algorithm by default.

2012-06-26 04:11:38 +00:00

Makefile

…

MemDepPrinter.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

MemoryBuiltins.cpp

Added support for the Builtin attribute.

2013-06-27 00:25:01 +00:00

MemoryDependenceAnalysis.cpp

Fix xemacs mode line, don't put them in .cpp files (just header files). No

2013-06-10 23:10:59 +00:00

ModuleDebugInfoPrinter.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

NoAliasAnalysis.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

PathNumbering.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

PathProfileInfo.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

PathProfileVerifier.cpp

Build fixes for STLPort + GCC

2013-03-29 18:48:45 +00:00

PHITransAddr.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

PostDominators.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

ProfileDataLoader.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

ProfileDataLoaderPass.cpp

Revert "Add LLVMContext::emitWarning methods and use them. <rdar://problem/12867368>"

2013-02-08 21:48:29 +00:00

ProfileEstimatorPass.cpp

Use SmallVectorImpl::iterator/const_iterator instead of SmallVector to avoid specifying the vector size.

2013-07-04 01:31:24 +00:00

ProfileInfo.cpp

Build fixes for STLPort + GCC

2013-03-29 18:48:45 +00:00

ProfileInfoLoader.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

ProfileInfoLoaderPass.cpp

Revert "Add LLVMContext::emitWarning methods and use them. <rdar://problem/12867368>"

2013-02-08 21:48:29 +00:00

ProfileVerifierPass.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

PtrUseVisitor.cpp

Hoist the GEP constant address offset computation to a common home on

2012-12-11 10:29:10 +00:00

README.txt

…

RegionInfo.cpp

RegionInfo: Do not crash if unreachable block is found

2013-05-03 15:48:34 +00:00

RegionPass.cpp

Remove the the block_node_iterator of Region, replace it by the block_iterator.

2012-08-27 13:49:24 +00:00

RegionPrinter.cpp

Use the new script to sort the includes of every file under lib.

2012-12-03 16:50:05 +00:00

ScalarEvolution.cpp

Use SmallVectorImpl::iterator/const_iterator instead of SmallVector to avoid specifying the vector size.

2013-07-03 15:07:05 +00:00

ScalarEvolutionAliasAnalysis.cpp

Use the new script to sort the includes of every file under lib.

2012-12-03 16:50:05 +00:00

ScalarEvolutionExpander.cpp

SCEVExpander fix. RAUW needs to update the InsertedExpressions cache.

2013-01-14 21:00:37 +00:00

ScalarEvolutionNormalization.cpp

…

SparsePropagation.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

TargetTransformInfo.cpp

Loop Strength Reduce: Scaling factor cost.

2013-05-31 21:29:03 +00:00

Trace.cpp

Move all of the header files which are involved in modelling the LLVM IR

2013-01-02 11:36:10 +00:00

TypeBasedAliasAnalysis.cpp

Struct-path aware TBAA: change the format of TBAAStructType node.

2013-04-27 00:26:11 +00:00

ValueTracking.cpp

ValueTracking: Teach isKnownToBeAPowerOfTwo about (ADD X, (XOR X, Y)) where X is a power of two

2013-06-29 23:44:53 +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))

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