llvm/Analysis at eef5da2deee6e53cff48b80718f01a0f2fe6be9a - llvm

RPCSX/llvm

mirror of https://github.com/RPCSX/llvm.git synced 2025-02-02 02:22:31 +00:00

History

Eli Friedman 10310d2d11 Fix regression from my recent GlobalsAA fix.

There are two fixes here: one, AnalyzeUsesOfPointer can't return
false until it has checked all the uses of the pointer. Two, if a
global uses another global, we have to assume the address of the
first global escapes.

Fixes https://llvm.org/bugs/show_bug.cgi?id=30707 .

Differential Revision: https://reviews.llvm.org/D25798



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

2016-10-24 21:47:44 +00:00

AliasAnalysis.cpp

…

AliasAnalysisEvaluator.cpp

Consistently use FunctionAnalysisManager

2016-08-09 00:28:15 +00:00

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

[AliasSetTracker] Add support for memcpy and memmove.

2016-10-19 19:09:03 +00:00

Analysis.cpp

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

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

AssumptionCache.cpp

Consistently use FunctionAnalysisManager

2016-08-09 00:28:15 +00:00

BasicAliasAnalysis.cpp

[BasicAA] Fix - missed alias in GEP expressions

2016-10-22 02:41:39 +00:00

BlockFrequencyInfo.cpp

Turn cl::values() (for enum) from a vararg function to using C++ variadic template

2016-10-08 19:41:06 +00:00

BlockFrequencyInfoImpl.cpp

[GraphTraits] Replace all NodeType usage with NodeRef

2016-08-22 21:09:30 +00:00

BranchProbabilityInfo.cpp

Enhance calcColdCallHeuristics for InvokeInst

2016-09-23 17:26:14 +00:00

CallGraph.cpp

Consistently use ModuleAnalysisManager

2016-08-09 00:28:38 +00:00

CallGraphSCCPass.cpp

Use StringRef in Pass/PassManager APIs (NFC)

2016-10-01 02:56:57 +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

Make some LLVM_CONSTEXPR variables const. NFC.

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

CFLGraph.h

…

CFLSteensAliasAnalysis.cpp

Consistently use FunctionAnalysisManager

2016-08-09 00:28:15 +00:00

CGSCCPassManager.cpp

Fixup r279618, instantiate *AnalysisManagerProxy<*AnalysisManager,LazyCallGraph::SCC>, instead of *AnalysisManagerProxy<*AnalysisManager,LazyCallGraph::SCC,LazyCallGraph&>, for PassID.

2016-08-30 15:47:13 +00:00

CMakeLists.txt

…

CodeMetrics.cpp

[Assumptions] Make collecting ephemeral values not quadratic in the

2016-08-18 17:51:24 +00:00

ConstantFolding.cpp

[ConstantFold] Improve the bitcast folding logic for constant vectors.

2016-09-13 14:50:47 +00:00

CostModel.cpp

…

Delinearization.cpp

…

DemandedBits.cpp

Consistently use FunctionAnalysisManager

2016-08-09 00:28:15 +00:00

DependenceAnalysis.cpp

…

DivergenceAnalysis.cpp

…

DominanceFrontier.cpp

…

DomPrinter.cpp

…

EHPersonalities.cpp

Use the range variant of find instead of unpacking begin/end

2016-08-11 22:21:41 +00:00

GlobalsModRef.cpp

Fix regression from my recent GlobalsAA fix.

2016-10-24 21:47:44 +00:00

IndirectCallPromotionAnalysis.cpp

…

InlineCost.cpp

Rename isHotFunction/isColdFunction to isFunctionEntryHot/isFunctionEntryCold. (NFC)

2016-10-10 21:47:28 +00:00

InstCount.cpp

…

InstructionSimplify.cpp

[InstSimplify] fold negation of sign-bit

2016-10-19 21:23:45 +00:00

Interval.cpp

…

IntervalPartition.cpp

…

IteratedDominanceFrontier.cpp

…

IVUsers.cpp

Consistently use LoopAnalysisManager

2016-08-09 00:28:52 +00:00

LazyBlockFrequencyInfo.cpp

…

LazyBranchProbabilityInfo.cpp

…

LazyCallGraph.cpp

[LCG] Add the necessary functionality to the LazyCallGraph to support inlining.

2016-10-12 07:59:56 +00:00

LazyValueInfo.cpp

[LVI] Fix a bug with a guard being the very first instruction in a BB not taken into account

2016-10-21 15:02:21 +00:00

Lint.cpp

Fix some Clang-tidy modernize-use-using and Include What You Use warnings.

2016-08-13 00:50:41 +00:00

LLVMBuild.txt

…

Loads.cpp

[Loads] Properly populate the visited set in isDereferenceableAndAlignedPointer

2016-08-31 03:22:32 +00:00

LoopAccessAnalysis.cpp

[LAA, LV] Port to new streaming interface for opt remarks. Update LV

2016-09-30 00:01:30 +00:00

LoopInfo.cpp

[LCSSA] Implement linear algorithm for the isRecursivelyLCSSAForm

2016-10-11 13:37:22 +00:00

LoopPass.cpp

Consistently use LoopAnalysisManager

2016-08-09 00:28:52 +00:00

LoopPassManager.cpp

…

LoopUnrollAnalyzer.cpp

…

MemDepPrinter.cpp

…

MemDerefPrinter.cpp

…

MemoryBuiltins.cpp

Make some LLVM_CONSTEXPR variables const. NFC.

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

MemoryDependenceAnalysis.cpp

Test commit access (NFC)

2016-10-06 10:58:41 +00:00

MemoryLocation.cpp

…

ModuleDebugInfoPrinter.cpp

Re-commit "Use StringRef in Support/Darf APIs (NFC)"

2016-10-05 05:59:29 +00:00

ModuleSummaryAnalysis.cpp

[ThinLTO] Record calls to aliases

2016-10-08 16:11:42 +00:00

ObjCARCAliasAnalysis.cpp

Consistently use FunctionAnalysisManager

2016-08-09 00:28:15 +00:00

ObjCARCAnalysisUtils.cpp

…

ObjCARCInstKind.cpp

Create llvm.addressofreturnaddress intrinsic

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

OptimizationDiagnosticInfo.cpp

Don't filter diagnostics written as YAML to the output file

2016-10-04 18:13:45 +00:00

OrderedBasicBlock.cpp

…

PHITransAddr.cpp

Use the range variant of find instead of unpacking begin/end

2016-08-11 22:21:41 +00:00

PostDominators.cpp

…

ProfileSummaryInfo.cpp

Tune isHotFunction/isColdFunction

2016-10-11 05:19:00 +00:00

PtrUseVisitor.cpp

…

README.txt

…

RegionInfo.cpp

Turn cl::values() (for enum) from a vararg function to using C++ variadic template

2016-10-08 19:41:06 +00:00

RegionPass.cpp

…

RegionPrinter.cpp

…

ScalarEvolution.cpp

[LoopUnroll] Keep the loop test only on the first iteration of max-or-zero loops

2016-10-21 11:08:48 +00:00

ScalarEvolutionAliasAnalysis.cpp

Consistently use FunctionAnalysisManager

2016-08-09 00:28:15 +00:00

ScalarEvolutionExpander.cpp

Create a getelementptr instead of sub expr for ValueOffsetPair if the

2016-09-14 04:39:50 +00:00

ScalarEvolutionNormalization.cpp

…

ScopedNoAliasAA.cpp

[ScopedNoAliasAA] collectMDInDomain should be a free function

2016-08-15 03:56:06 +00:00

SparsePropagation.cpp

…

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

Turn cl::values() (for enum) from a vararg function to using C++ variadic template

2016-10-08 19:41:06 +00:00

TargetTransformInfo.cpp

[ARM] Don't convert switches to lookup tables of pointers with ROPI/RWPI

2016-10-07 08:48:24 +00:00

Trace.cpp

…

TypeBasedAliasAnalysis.cpp

Consistently use FunctionAnalysisManager

2016-08-09 00:28:15 +00:00

TypeMetadataUtils.cpp

…

ValueTracking.cpp

Analysis: Move llvm::getConstantRangeFromMetadata to IR library.

2016-10-21 19:59:26 +00:00

VectorUtils.cpp

Add handling of !invariant.load to PropagateMetadata.

2016-09-11 01:39:08 +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))

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