llvm/Analysis at e4957d5a3e1177e16dc99a8f762e4163d7211873 - llvm

RPCSX/llvm

mirror of https://github.com/RPCSX/llvm.git synced 2025-01-14 00:23:44 +00:00

History

Jonas Paulsson 43d439da88 [LoopVectorizer, TTI] New method supportsEfficientVectorElementLoadStore()

Since SystemZ supports vector element load/store instructions, there is no
need for extracts/inserts if a vector load/store gets scalarized.

This patch lets Target specify that it supports such instructions by means of
a new TTI hook that defaults to false.

The use for this is in the LoopVectorizer getScalarizationOverhead() method,
which will with this patch produce a smaller sum for a vector load/store on
SystemZ.

New test: test/Transforms/LoopVectorize/SystemZ/load-store-scalarization-cost.ll

Review: Adam Nemet
https://reviews.llvm.org/D30680

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

2017-04-12 12:41:37 +00:00

AliasAnalysis.cpp

AliasAnalysis: Be less conservative about volatile than atomic.

2017-04-07 01:28:36 +00:00

AliasAnalysisEvaluator.cpp

…

AliasAnalysisSummary.cpp

Update a comment.

2016-08-25 01:29:55 +00:00

AliasAnalysisSummary.h

Make some LLVM_CONSTEXPR variables const. NFC.

2016-08-25 01:05:08 +00:00

AliasSetTracker.cpp

Use a WeakVH for UnknownInstructions in AliasSetTracker

2017-03-11 01:15:48 +00:00

Analysis.cpp

MemorySSA: Move to Analysis, from Transforms/Utils. It's used as

2017-04-11 20:06:36 +00:00

AssumptionCache.cpp

AssumptionCache: Disable the verifier by default, move it behind a hidden cl::opt and verify from releaseMemory().

2017-02-15 21:10:09 +00:00

BasicAliasAnalysis.cpp

Let llvm.objectsize be conservative with null pointers

2017-03-21 20:08:59 +00:00

BlockFrequencyInfo.cpp

[PGO] internal option cleanups

2017-02-02 21:29:17 +00:00

BlockFrequencyInfoImpl.cpp

Cleanup dump() functions.

2017-01-28 02:02:38 +00:00

BranchProbabilityInfo.cpp

[BPI] Refactor post domination calculation and simple fix for ColdCall

2017-04-12 05:42:14 +00:00

CallGraph.cpp

Cleanup dump() functions.

2017-01-28 02:02:38 +00:00

CallGraphSCCPass.cpp

Implement getPassName() for IR printing passes.

2017-03-10 07:09:20 +00:00

CallPrinter.cpp

…

CaptureTracking.cpp

…

CFG.cpp

…

CFGPrinter.cpp

[PM] Port CFGViewer and CFGPrinter to the new Pass Manager

2016-09-15 18:35:27 +00:00

CFLAndersAliasAnalysis.cpp

Apply clang-tidy's performance-unnecessary-value-param to LLVM.

2017-01-13 14:39:03 +00:00

CFLGraph.h

…

CFLSteensAliasAnalysis.cpp

[PM] Change the static object whose address is used to uniquely identify

2016-11-23 17:53:26 +00:00

CGSCCPassManager.cpp

[PM/LCG] Teach the LazyCallGraph how to replace a function without

2017-02-09 23:24:13 +00:00

CMakeLists.txt

MemorySSA: Move to Analysis, from Transforms/Utils. It's used as

2017-04-11 20:06:36 +00:00

CodeMetrics.cpp

Revert @llvm.assume with operator bundles (r289755-r289757)

2016-12-19 08:22:17 +00:00

ConstantFolding.cpp

[ConstantFolding] Use Intrinsic::not_intrinsic instead of 0 for readability. NFCI

2017-04-07 21:36:32 +00:00

CostModel.cpp

[SystemZ] TargetTransformInfo cost functions implemented.

2017-04-12 11:49:08 +00:00

Delinearization.cpp

…

DemandedBits.cpp

Revert @llvm.assume with operator bundles (r289755-r289757)

2016-12-19 08:22:17 +00:00

DependenceAnalysis.cpp

Cleanup dump() functions.

2017-01-28 02:02:38 +00:00

DivergenceAnalysis.cpp

…

DominanceFrontier.cpp

[PM] Introduce an analysis set used to preserve all analyses over

2017-01-15 06:32:49 +00:00

DomPrinter.cpp

…

EHPersonalities.cpp

[tsan] Add support for C++ exceptions into TSan (call __tsan_func_exit during unwinding), LLVM part

2016-11-14 21:41:13 +00:00

GlobalsModRef.cpp

[PM] Change the static object whose address is used to uniquely identify

2016-11-23 17:53:26 +00:00

IndirectCallPromotionAnalysis.cpp

…

InlineCost.cpp

[IR] Redesign the case iterator in SwitchInst to actually be an iterator

2017-04-12 07:27:28 +00:00

InstCount.cpp

…

InstructionSimplify.cpp

InstSimplify: A shuffle of a splat is always the splat itself

2017-04-11 21:37:02 +00:00

Interval.cpp

…

IntervalPartition.cpp

…

IteratedDominanceFrontier.cpp

Drop graph_ prefix

2017-02-09 20:37:46 +00:00

IVUsers.cpp

[PM] Separate the LoopAnalysisManager from the LoopPassManager and move

2017-01-11 09:43:56 +00:00

LazyBlockFrequencyInfo.cpp

[LazyBFI] Fix typos

2017-02-14 17:21:12 +00:00

LazyBranchProbabilityInfo.cpp

…

LazyCallGraph.cpp

[LCG] Fix EXPENSIVE_CHECKS typo. NFC

2017-02-28 18:34:55 +00:00

LazyValueInfo.cpp

[IR] Redesign the case iterator in SwitchInst to actually be an iterator

2017-04-12 07:27:28 +00:00

Lint.cpp

Revert @llvm.assume with operator bundles (r289755-r289757)

2016-12-19 08:22:17 +00:00

LLVMBuild.txt

Restore "[ThinLTO] Prevent exporting of locals used/defined in module level asm"

2016-11-14 17:12:32 +00:00

Loads.cpp

Extract FindAvailablePtrLoadStore out of FindAvailableLoadedValue. NFCI

2017-03-19 15:27:52 +00:00

LoopAccessAnalysis.cpp

[LAA] Correctly return a half-open range in expandBounds

2017-04-05 09:24:26 +00:00

LoopAnalysisManager.cpp

Revert r293017 and fix the actual underlying issue.

2017-02-07 01:50:48 +00:00

LoopInfo.cpp

Make VerifyDomInfo and VerifyLoopInfo global variables

2017-01-24 05:52:07 +00:00

LoopPass.cpp

Implement getPassName() for IR printing passes.

2017-03-10 07:09:20 +00:00

LoopUnrollAnalyzer.cpp

…

MemDepPrinter.cpp

…

MemDerefPrinter.cpp

…

MemoryBuiltins.cpp

Let llvm.objectsize be conservative with null pointers

2017-03-21 20:08:59 +00:00

MemoryDependenceAnalysis.cpp

[Devirtualization] MemDep returns non-local !invariant.group dependencies

2017-01-12 11:33:58 +00:00

MemoryLocation.cpp

[Analysis] Add LibFunc_ prefix to enums in TargetLibraryInfo. (NFC)

2017-01-23 23:16:46 +00:00

MemorySSA.cpp

MemorySSA: Move to Analysis, from Transforms/Utils. It's used as

2017-04-11 20:06:36 +00:00

MemorySSAUpdater.cpp

MemorySSA: Move to Analysis, from Transforms/Utils. It's used as

2017-04-11 20:06:36 +00:00

ModuleDebugInfoPrinter.cpp

[IR] Remove the DIExpression field from DIGlobalVariable.

2016-12-20 02:09:43 +00:00

ModuleSummaryAnalysis.cpp

ModuleSummaryAnalysis: Use a more precise #include. NFC.

2017-03-31 00:08:24 +00:00

ObjCARCAliasAnalysis.cpp

…

ObjCARCAnalysisUtils.cpp

…

ObjCARCInstKind.cpp

Create llvm.addressofreturnaddress intrinsic

2016-10-12 22:13:19 +00:00

OptimizationDiagnosticInfo.cpp

[ORE] Remove ORE.emit{{.+}} functions

2017-02-23 21:32:53 +00:00

OrderedBasicBlock.cpp

…

PHITransAddr.cpp

Revert @llvm.assume with operator bundles (r289755-r289757)

2016-12-19 08:22:17 +00:00

PostDominators.cpp

[PM] Introduce an analysis set used to preserve all analyses over

2017-01-15 06:32:49 +00:00

ProfileSummaryInfo.cpp

Use isFunctionHotInCallGraph to set the function section prefix.

2017-03-23 23:14:11 +00:00

PtrUseVisitor.cpp

…

README.txt

…

RegionInfo.cpp

[PM] Introduce an analysis set used to preserve all analyses over

2017-01-15 06:32:49 +00:00

RegionPass.cpp

Implement getPassName() for IR printing passes.

2017-03-10 07:09:20 +00:00

RegionPrinter.cpp

…

ScalarEvolution.cpp

[APInt] Move isMask and isShiftedMask out of APIntOps and into the APInt class. Implement them without memory allocation for multiword

2017-04-03 16:34:59 +00:00

ScalarEvolutionAliasAnalysis.cpp

[PM] Change the static object whose address is used to uniquely identify

2016-11-23 17:53:26 +00:00

ScalarEvolutionExpander.cpp

Revert @llvm.assume with operator bundles (r289755-r289757)

2016-12-19 08:22:17 +00:00

ScalarEvolutionNormalization.cpp

…

ScopedNoAliasAA.cpp

[PM] Change the static object whose address is used to uniquely identify

2016-11-23 17:53:26 +00:00

SparsePropagation.cpp

[IR] Redesign the case iterator in SwitchInst to actually be an iterator

2017-04-12 07:27:28 +00:00

StratifiedSets.h

Do a sweep over move ctors and remove those that are identical to the default.

2016-10-20 12:20:28 +00:00

TargetLibraryInfo.cpp

[Analysis] Add LibFunc_ prefix to enums in TargetLibraryInfo. (NFC)

2017-01-23 23:16:46 +00:00

TargetTransformInfo.cpp

[LoopVectorizer, TTI] New method supportsEfficientVectorElementLoadStore()

2017-04-12 12:41:37 +00:00

Trace.cpp

…

TypeBasedAliasAnalysis.cpp

[TBAA] Don't generate invalid TBAA when merging nodes

2016-12-11 20:07:25 +00:00

TypeMetadataUtils.cpp

Analysis: Add appropriate const qualification to functions in TypeMetadataUtils.cpp. NFC.

2017-01-27 22:55:30 +00:00

ValueTracking.cpp

[APInt] Remove shift functions from APIntOps namespace. Replace the few users with the APInt class methods. NFCI

2017-03-31 20:01:16 +00:00

VectorUtils.cpp

[LV] Move interleaved access helper functions to VectorUtils (NFC)

2017-02-01 17:45:46 +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))

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