RPCS3/llvm
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm.git synced 2026-07-21 03:05:26 -04:00
Code Issues Packages Projects Releases 10 Wiki Activity
Files
8ddcd41f4c3c4e91973c59d0cb9ccf6ea6beae38
llvm/lib/Analysis
T
History
Florian Hahn 8ddcd41f4c Revert [DSE] Preserve basic block ordering using OrderedBasicBlock. 
This reverts r357208 (git commit c0bfd37d385c93711ef3a349599dba20e6b101ef)

This causes a buildbot failure:  http://lab.llvm.org:8011/builders/clang-with-thin-lto-ubuntu/builds/16124

FAILED: lib/IR/CMakeFiles/LLVMCore.dir/IRBuilder.cpp.o
/home/buildslave/ps4-buildslave1/clang-with-thin-lto-ubuntu/install/stage2/bin/clang++   -DGTEST_HAS_RTTI=0 -D_DEBUG -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Ilib/IR -I/home/buildslave/ps4-buildslave1/clang-with-thin-lto-ubuntu/llvm.src/lib/IR -Iinclude -I/home/buildslave/ps4-buildslave1/clang-with-thin-lto-ubuntu/llvm.src/include -fPIC -fvisibility-inlines-hidden -Werror -Werror=date-time -Werror=unguarded-availability-new -std=c++11 -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initializers -pedantic -Wno-long-long -Wimplicit-fallthrough -Wcovered-switch-default -Wno-noexcept-type -Wnon-virtual-dtor -Wdelete-non-virtual-dtor -Wstring-conversion -fdiagnostics-color -ffunction-sections -fdata-sections -flto=thin -O3    -UNDEBUG  -fno-exceptions -fno-rtti -MD -MT lib/IR/CMakeFiles/LLVMCore.dir/IRBuilder.cpp.o -MF lib/IR/CMakeFiles/LLVMCore.dir/IRBuilder.cpp.o.d -o lib/IR/CMakeFiles/LLVMCore.dir/IRBuilder.cpp.o -c /home/buildslave/ps4-buildslave1/clang-with-thin-lto-ubuntu/llvm.src/lib/IR/IRBuilder.cpp
clang-9: /home/buildslave/ps4-buildslave1/clang-with-thin-lto-ubuntu/llvm.src/lib/Analysis/OrderedBasicBlock.cpp:38: bool llvm::OrderedBasicBlock::comesBefore(const llvm::Instruction *, const llvm::Instruction *): Assertion `!(LastInstFound == BB->end() && NextInstPos != 0) && "Instruction supposed to be in NumberedInsts"' failed.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@357211 91177308-0d34-0410-b5e6-96231b3b80d8
2019-03-28 20:36:24 +00:00
..
AliasAnalysis.cpp
[AliasAnalysis] Second prototype to cache BasicAA / anyAA state.
2019-03-22 17:22:19 +00:00
AliasAnalysisEvaluator.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
AliasAnalysisSummary.cpp
Move CFLGraph and the AA summary code over to the new CallBase
2019-02-11 09:25:41 +00:00
AliasAnalysisSummary.h
Move CFLGraph and the AA summary code over to the new CallBase
2019-02-11 09:25:41 +00:00
AliasSetTracker.cpp
[LICM/MSSA] Add promotion to scalars by building an AliasSetTracker with MemorySSA.
2019-02-06 20:25:17 +00:00
Analysis.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
AssumptionCache.cpp
[CodeExtractor] Update function's assumption cache after extracting blocks from it
2019-02-08 06:55:18 +00:00
BasicAliasAnalysis.cpp
[AliasAnalysis] Second prototype to cache BasicAA / anyAA state.
2019-03-22 17:22:19 +00:00
BlockFrequencyInfo.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
BlockFrequencyInfoImpl.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
BranchProbabilityInfo.cpp
[BPI] Look through bitcasts in calcZeroHeuristic
2019-02-15 11:50:21 +00:00
CallGraph.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
CallGraphSCCPass.cpp
Fix IR/Analysis layering issue with OptBisect
2019-02-28 04:00:55 +00:00
CallPrinter.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
CaptureTracking.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
CFG.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
CFGPrinter.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
CFLAndersAliasAnalysis.cpp
[AliasAnalysis] Second prototype to cache BasicAA / anyAA state.
2019-03-22 17:22:19 +00:00
CFLGraph.h
Move CFLGraph and the AA summary code over to the new CallBase
2019-02-11 09:25:41 +00:00
CFLSteensAliasAnalysis.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
CGSCCPassManager.cpp
[NewPM] Fix a nasty bug with analysis invalidation in the new PM.
2019-03-28 00:51:36 +00:00
CMakeLists.txt
Move DomTreeUpdater from IR to Analysis
2019-02-06 02:52:52 +00:00
CmpInstAnalysis.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
CodeMetrics.cpp
Remove CallSite from the CodeMetrics analysis, moving it to the new
2019-02-11 09:03:32 +00:00
ConstantFolding.cpp
[ConstantFolding] Fix GetConstantFoldFPValue to avoid cast overflow.
2019-03-22 16:37:37 +00:00
CostModel.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
Delinearization.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
DemandedBits.cpp
[DemandedBits] Remove some redundancy in the work list
2019-03-03 14:50:01 +00:00
DependenceAnalysis.cpp
[DA][NewPM] Handle transitive dependencies in the new-pm version of DA
2019-02-03 12:25:41 +00:00
DivergenceAnalysis.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
DominanceFrontier.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
DomPrinter.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
DomTreeUpdater.cpp
[DTU] Refine the interface and logic of applyUpdates
2019-02-22 13:48:38 +00:00
EHPersonalities.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
GlobalsModRef.cpp
[AliasAnalysis] Second prototype to cache BasicAA / anyAA state.
2019-03-22 17:22:19 +00:00
GuardUtils.cpp
[NFC] Add function to parse widenable conditional branches
2019-01-22 11:21:32 +00:00
IndirectCallPromotionAnalysis.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
InlineCost.cpp
Revert "[INLINER] allow inlining of address taken blocks"
2019-02-14 23:42:21 +00:00
InstCount.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
InstructionPrecedenceTracking.cpp
Make widenable condition transparent for MemoryWriteTracking
2019-02-14 11:10:29 +00:00
InstructionSimplify.cpp
[InstSimplify] SimplifyICmpInst - icmp eq/ne %X, undef -> undef
2019-03-19 14:08:23 +00:00
Interval.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
IntervalPartition.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
IteratedDominanceFrontier.cpp
[IDF] Delete a redundant J-edge test
2019-03-07 11:42:59 +00:00
IVDescriptors.cpp
Reland "Relax constraints for reduction vectorization"
2019-03-12 01:31:44 +00:00
IVUsers.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
LazyBlockFrequencyInfo.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
LazyBranchProbabilityInfo.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
LazyCallGraph.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
LazyValueInfo.cpp
[ConstantRange] Add getFull() + getEmpty() named constructors; NFC
2019-03-24 09:34:40 +00:00
LegacyDivergenceAnalysis.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
Lint.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
LLVMBuild.txt
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
Loads.cpp
[Analysis] Fix isSafeToLoadUnconditionally handling of volatile.
2019-01-24 21:31:13 +00:00
LoopAccessAnalysis.cpp
[NFC] fix trivial typos in comments
2019-02-05 08:30:48 +00:00
LoopAnalysisManager.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
LoopInfo.cpp
Refactor setAlreadyUnrolled() and setAlreadyVectorized().
2019-02-11 19:45:44 +00:00
LoopPass.cpp
Fix IR/Analysis layering issue with OptBisect
2019-02-28 04:00:55 +00:00
LoopUnrollAnalyzer.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
MemDepPrinter.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
MemDerefPrinter.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
MemoryBuiltins.cpp
Add a 'dynamic' parameter to the objectsize intrinsic
2019-01-30 20:34:35 +00:00
MemoryDependenceAnalysis.cpp
[MemDepAnalysis] Allow caller to pass in an OrderedBasicBlock.
2019-03-28 19:17:31 +00:00
MemoryLocation.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
MemorySSA.cpp
Fix the build with GCC 4.8 after r356783
2019-03-25 09:27:42 +00:00
MemorySSAUpdater.cpp
[MemorySSA] Make insertDef insert corresponding phi nodes.
2019-02-27 22:20:22 +00:00
ModuleDebugInfoPrinter.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
ModuleSummaryAnalysis.cpp
[ThinLTO] Restructure AliasSummary to contain ValueInfo of Aliasee
2019-03-15 15:11:38 +00:00
MustExecute.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
ObjCARCAliasAnalysis.cpp
[AliasAnalysis] Second prototype to cache BasicAA / anyAA state.
2019-03-22 17:22:19 +00:00
ObjCARCAnalysisUtils.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
ObjCARCInstKind.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
OptimizationRemarkEmitter.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
OrderedBasicBlock.cpp
Revert [DSE] Preserve basic block ordering using OrderedBasicBlock.
2019-03-28 20:36:24 +00:00
OrderedInstructions.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
PHITransAddr.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
PhiValues.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
PostDominators.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
ProfileSummaryInfo.cpp
[PGO] Context sensitive PGO (part 2)
2019-02-28 19:55:07 +00:00
PtrUseVisitor.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
README.txt
When checking whether the special handling for an addrec increment which
2010-04-26 21:46:36 +00:00
RegionInfo.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
RegionPass.cpp
[RegionPass] Fix forgotten "!".
2019-03-08 21:03:06 +00:00
RegionPrinter.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
ScalarEvolution.cpp
[ConstantRange] Add getFull() + getEmpty() named constructors; NFC
2019-03-24 09:34:40 +00:00
ScalarEvolutionAliasAnalysis.cpp
[AliasAnalysis] Second prototype to cache BasicAA / anyAA state.
2019-03-22 17:22:19 +00:00
ScalarEvolutionExpander.cpp
[SCEV] Guard movement of insertion point for loop-invariants
2019-03-18 18:52:35 +00:00
ScalarEvolutionNormalization.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
ScopedNoAliasAA.cpp
[AliasAnalysis] Second prototype to cache BasicAA / anyAA state.
2019-03-22 17:22:19 +00:00
StackSafetyAnalysis.cpp
Hide two unused debugging methods, NFCI.
2019-03-01 17:15:21 +00:00
StratifiedSets.h
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
SyncDependenceAnalysis.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
SyntheticCountsUtils.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
TargetLibraryInfo.cpp
[SelectionDAG] Allow the user to specify a memeq function.
2019-03-08 09:07:45 +00:00
TargetTransformInfo.cpp
[ScalarizeMaskedMemIntrin] Add support for scalarizing expandload and compressstore intrinsics.
2019-03-21 17:38:52 +00:00
Trace.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
TypeBasedAliasAnalysis.cpp
[AliasAnalysis] Second prototype to cache BasicAA / anyAA state.
2019-03-22 17:22:19 +00:00
TypeMetadataUtils.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
ValueLattice.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
ValueLatticeUtils.cpp
Update the file headers across all of the LLVM projects in the monorepo
2019-01-19 08:50:56 +00:00
ValueTracking.cpp
[ConstantRange] Add getFull() + getEmpty() named constructors; NFC
2019-03-24 09:34:40 +00:00
VectorUtils.cpp
[Vectorizer] Add vectorization support for fixed smul/umul intrinsics
2019-02-25 15:42:02 +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))

//===---------------------------------------------------------------------===//
Reference in New Issue View Git Blame Copy Permalink