llvm/Analysis at 18ebd48960afe9a4e694dac3ba0ee1002044d297 - llvm

RPCS3/llvm

mirror of https://github.com/RPCS3/llvm.git synced 2025-01-19 08:24:12 +00:00

History

Manman Ren 9e81c3bdb2 TBAA: handle scalar TBAA format and struct-path aware TBAA format.

Remove the command line argument "struct-path-tbaa" since we should not depend
on command line argument to decide which format the IR file is using. Instead,
we check the first operand of the tbaa tag node, if it is a MDNode, we treat
it as struct-path aware TBAA format, otherwise, we treat it as scalar TBAA
format.

When clang starts to use struct-path aware TBAA format no matter whether
struct-path-tbaa is no, and we can auto-upgrade existing bc files, the support
for scalar TBAA format can be dropped.

Existing testing cases are updated to use the struct-path aware TBAA format.


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

2013-09-27 18:34:27 +00:00

IPA

Disable inlining between sanitized and non-sanitized functions.

2013-08-08 08:22:39 +00:00

AliasAnalysis.cpp

Reimplement isPotentiallyReachable to make nocapture deduction much stronger.

2013-07-27 01:24:00 +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

In AliasSetTracker, do not change the alias set to "mod/ref" when adding

2013-09-12 20:15:50 +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

Remove trailing spaces.

2013-08-24 14:16:00 +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

CFG.cpp

Add some constantness.

2013-08-20 23:04:15 +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

Also update CMakeLists.txt for r187283.

2013-07-27 01:25:51 +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

Fix a constant folding address space place I missed.

2013-09-17 23:23:16 +00:00

CostModel.cpp

Move variable into assert to avoid unused variable warning.

2013-09-17 21:13:57 +00:00

DependenceAnalysis.cpp

Remove extraneous semicolon.

2013-08-06 16:40:40 +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

Teach MemoryBuiltins and InstructionSimplify that operator new never returns NULL.

2013-09-24 16:37:51 +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

Fix lint assert on integer vector division

2013-08-26 23:29:33 +00:00

LLVMBuild.txt

…

Loads.cpp

Change GetPointerBaseWithConstantOffset's DataLayout argument from a

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

LoopInfo.cpp

Add 'const' qualifiers to static const char* variables.

2013-07-16 01:17:10 +00:00

LoopPass.cpp

Comment: try to clarify loop iteration order.

2013-07-20 23:10:31 +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

MemoryBuiltins: Remove posix_memalign from the list and replace it with a TODO.

2013-09-24 17:49:08 +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

Use SmallVectorImpl& instead of SmallVector to avoid repeating small vector size.

2013-07-14 04:42:23 +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

Reorder headers according to lint.

2013-08-21 21:14:19 +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

Teach ScalarEvolution about pointer address spaces

2013-09-10 19:55:24 +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

Teach ScalarEvolution about pointer address spaces

2013-09-10 19:55:24 +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

Costmodel: Add support for horizontal vector reductions

2013-09-17 18:06:50 +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

TBAA: handle scalar TBAA format and struct-path aware TBAA format.

2013-09-27 18:34:27 +00:00

ValueTracking.cpp

Teach MemoryBuiltins and InstructionSimplify that operator new never returns NULL.

2013-09-24 16:37:51 +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))

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