llvm/Analysis at 0cb27bba3d068d4d04c60829734f2e6d87548fc2 - llvm

RPCSX/llvm

mirror of https://github.com/RPCSX/llvm.git synced 2025-02-11 07:15:26 +00:00

History

Sanjoy Das 0f49a66c42 [SCEV] Move towards a verifier without false positives

This change reboots SCEV's current (off by default) verification logic
to avoid false failures.  Instead of stringifying trip counts, it maps
old and new trip counts to the same ScalarEvolution "universe" and
asks ScalarEvolution to compute the difference between them.  If the
difference comes out to be a non-zero constant, then (barring some
corner cases) we *know* we messed up.

I've not yet enabled this by default since it hits an exponential time
issue in SCEV, but once I fix that, I'll flip it on by default in
EXPENSIVE_CHECKS builds.

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

2017-04-23 23:04:45 +00:00

AliasAnalysis.cpp

[IR] Make paramHasAttr to use arg indices instead of attr indices

2017-04-14 20:19:02 +00:00

AliasAnalysisEvaluator.cpp

…

AliasAnalysisSummary.cpp

…

AliasAnalysisSummary.h

…

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

Add a getPointerOperandType() helper to LoadInst and StoreInst; NFC

2017-04-18 22:00:54 +00:00

BlockFrequencyInfo.cpp

…

BlockFrequencyInfoImpl.cpp

…

BranchProbabilityInfo.cpp

[BPI] NFC: reorder ifs to bail out earlier

2017-04-17 06:39:47 +00:00

CallGraph.cpp

…

CallGraphSCCPass.cpp

Implement getPassName() for IR printing passes.

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

CallPrinter.cpp

…

CaptureTracking.cpp

…

CFG.cpp

…

CFGPrinter.cpp

…

CFLAndersAliasAnalysis.cpp

…

CFLGraph.h

[MemoryBuiltins] Add isMallocOrCallocLikeFn so BasicAA can check for both at the same time

2017-04-18 21:43:46 +00:00

CFLSteensAliasAnalysis.cpp

…

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

…

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

[Analysis] Support bitreverse in -demanded-bits pass

2017-04-13 16:44:25 +00:00

DependenceAnalysis.cpp

…

DivergenceAnalysis.cpp

…

DominanceFrontier.cpp

…

DomPrinter.cpp

…

EHPersonalities.cpp

…

GlobalsModRef.cpp

…

IndirectCallPromotionAnalysis.cpp

…

InlineCost.cpp

Remove a repeated comment line. NFC.

2017-04-21 23:12:16 +00:00

InstCount.cpp

…

InstructionSimplify.cpp

[APInt] Rename getSignBit to getSignMask

2017-04-20 16:56:25 +00:00

Interval.cpp

…

IntervalPartition.cpp

…

IteratedDominanceFrontier.cpp

Drop graph_ prefix

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

IVUsers.cpp

Tighten the API for ScalarEvolutionNormalization

2017-04-14 15:49:59 +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

…

LLVMBuild.txt

…

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

…

LoopPass.cpp

Implement getPassName() for IR printing passes.

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

LoopUnrollAnalyzer.cpp

…

MemDepPrinter.cpp

…

MemDerefPrinter.cpp

…

MemoryBuiltins.cpp

[MemoryBuiltins] Add isMallocOrCallocLikeFn so BasicAA can check for both at the same time

2017-04-18 21:43:46 +00:00

MemoryDependenceAnalysis.cpp

…

MemoryLocation.cpp

…

MemorySSA.cpp

MemorySSA: Stop tracking def-or-use blocks.

2017-04-16 19:45:51 +00:00

MemorySSAUpdater.cpp

[MSSA] Clean up the updater a bit. NFC

2017-04-21 04:54:52 +00:00

ModuleDebugInfoPrinter.cpp

…

ModuleSummaryAnalysis.cpp

ModuleSummaryAnalysis: Use a more precise #include. NFC.

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

ObjCARCAliasAnalysis.cpp

…

ObjCARCAnalysisUtils.cpp

…

ObjCARCInstKind.cpp

…

OptimizationDiagnosticInfo.cpp

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

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

OrderedBasicBlock.cpp

…

PHITransAddr.cpp

…

PostDominators.cpp

…

ProfileSummaryInfo.cpp

Use isFunctionHotInCallGraph to set the function section prefix.

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

PtrUseVisitor.cpp

…

README.txt

…

RegionInfo.cpp

…

RegionPass.cpp

Implement getPassName() for IR printing passes.

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

RegionPrinter.cpp

…

ScalarEvolution.cpp

[SCEV] Move towards a verifier without false positives

2017-04-23 23:04:45 +00:00

ScalarEvolutionAliasAnalysis.cpp

…

ScalarEvolutionExpander.cpp

Tighten the API for ScalarEvolutionNormalization

2017-04-14 15:49:59 +00:00

ScalarEvolutionNormalization.cpp

Rewrite SCEV Normalization using SCEVRewriteVisitor; NFC

2017-04-14 17:42:10 +00:00

ScopedNoAliasAA.cpp

…

SparsePropagation.cpp

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

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

StratifiedSets.h

…

TargetLibraryInfo.cpp

…

TargetTransformInfo.cpp

[LoopVectorizer, TTI] New method supportsEfficientVectorElementLoadStore()

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

Trace.cpp

…

TypeBasedAliasAnalysis.cpp

…

TypeMetadataUtils.cpp

…

ValueTracking.cpp

[ValueTracking] Use APInt::setAllBits and APInt::intersects to simplify some code. NFC

2017-04-21 16:43:32 +00:00

VectorUtils.cpp

…

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))

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