llvm/Analysis at 1a9ebde7e0930343823f20aae07ddb64ed33d0fb - llvm

RPCS3/llvm

mirror of https://github.com/RPCS3/llvm.git synced 2025-04-13 19:40:26 +00:00

History

David Majnemer b54ca98bbe [InstCombine] Simplify (x >> y) <= x

This commit extends the patterns recognised by InstSimplify to also handle (x >> y) <= x in the same way as (x /u y) <= x.

The missing optimisation was found investigating why LLVM did not optimise away bound checks in a binary search: https://github.com/rust-lang/rust/pull/30917

Patch by Andrea Canciani!

Differential Revision: http://reviews.llvm.org/D16402

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

2016-01-21 18:55:54 +00:00

AliasAnalysis.cpp

fix formatting; NFC

2016-01-13 22:17:13 +00:00

AliasAnalysisEvaluator.cpp

[OperandBundles] Have GlobalsModRef play nice with operand bundles

2015-12-23 09:58:46 +00:00

AliasSetTracker.cpp

Revert "r251451 - [AliasSetTracker] Use mod/ref information for UnknownInstr"

2015-10-28 22:13:41 +00:00

Analysis.cpp

[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible

2015-09-09 17:55:00 +00:00

AssumptionCache.cpp

[PM] Actually add the new pass manager support for the assumption cache.

2015-01-22 21:53:09 +00:00

BasicAliasAnalysis.cpp

[opaque pointer types] [NFC] GEP: replace get(Pointer)ElementType uses with get{Source,Result}ElementType.

2016-01-19 17:28:00 +00:00

BlockFrequencyInfo.cpp

Recommit r250345, it was reverted in r250366 to investigate a bot failure.

2015-10-15 14:59:40 +00:00

BlockFrequencyInfoImpl.cpp

Recommit r250345, it was reverted in r250366 to investigate a bot failure.

2015-10-15 14:59:40 +00:00

BranchProbabilityInfo.cpp

[BPI] Fix two potential divide-by-zero operations that are introduced in r256263.

2015-12-22 23:45:55 +00:00

CallGraph.cpp

[Analysis/CallGraph] Switch dump() definitions over to LLVM_DUMP_METHOD.

2015-11-23 02:58:42 +00:00

CallGraphSCCPass.cpp

Recommit r256952 "Filtering IR printing for print-after-all/print-before-all"

2016-01-06 22:55:03 +00:00

CallPrinter.cpp

[PM/AA] Remove the last relics of the separate IPA library from LLVM,

2015-08-18 17:51:53 +00:00

CaptureTracking.cpp

[IR] Reformulate LLVM's EH funclet IR

2015-12-12 05:38:55 +00:00

CFG.cpp

Add some constantness to GetSuccessorNumber().

2015-11-20 23:02:06 +00:00

CFGPrinter.cpp

Revert r240137 (Fixed/added namespace ending comments using clang-tidy. NFC)

2015-06-23 09:49:53 +00:00

CFLAliasAnalysis.cpp

[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible

2015-09-09 17:55:00 +00:00

CGSCCPassManager.cpp

[PM] Remove the defunt CGSCC-specific debug flag.

2015-01-13 22:45:13 +00:00

CMakeLists.txt

Move EH-specific helper functions to a more appropriate place

2015-12-02 23:06:39 +00:00

CodeMetrics.cpp

Use all_of to simplify control flow. NFC.

2015-10-24 19:30:37 +00:00

ConstantFolding.cpp

Undo r258163 "Move part of an if condition into an assertion. NFC."

2016-01-21 17:36:14 +00:00

CostModel.cpp

Implemented cost model for masked gather and scatter operations

2015-12-28 20:10:59 +00:00

Delinearization.cpp

SCEV: Allow simple AddRec * Parameter products in delinearization

2015-10-12 08:02:00 +00:00

DemandedBits.cpp

Compute demanded bits for icmp instructions

2015-10-08 12:40:06 +00:00

DependenceAnalysis.cpp

[SCEV] Add and use SCEVConstant::getAPInt; NFCI

2015-12-17 20:28:46 +00:00

DivergenceAnalysis.cpp

[DivergenceAnalysis] fix a bug in computing influence regions

2015-12-18 21:44:26 +00:00

DominanceFrontier.cpp

Templatify DominanceFrontier.

2014-07-12 21:59:52 +00:00

DomPrinter.cpp

Revert r240137 (Fixed/added namespace ending comments using clang-tidy. NFC)

2015-06-23 09:49:53 +00:00

EHPersonalities.cpp

[WinEH] Rename CatchReturnInst::getParentPad, NFC

2016-01-15 21:16:19 +00:00

GlobalsModRef.cpp

GlobalValue: use getValueType() instead of getType()->getPointerElementType().

2016-01-16 20:30:46 +00:00

InlineCost.cpp

Change ConstantFoldInstOperands to take Instruction instead of opcode and type. NFC.

2016-01-21 06:33:22 +00:00

InstCount.cpp

Revert r240137 (Fixed/added namespace ending comments using clang-tidy. NFC)

2015-06-23 09:49:53 +00:00

InstructionSimplify.cpp

[InstCombine] Simplify (x >> y) <= x

2016-01-21 18:55:54 +00:00

Interval.cpp

Revert "[C++11] Add predecessors(BasicBlock *) / successors(BasicBlock *) iterator ranges."

2014-07-21 17:06:51 +00:00

IntervalPartition.cpp

[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.

2014-04-15 04:59:12 +00:00

IteratedDominanceFrontier.cpp

Move IDF Calculation to a separate file, expose an interface to it.

2015-04-21 19:13:02 +00:00

IVUsers.cpp

Analysis: Remove implicit ilist iterator conversions

2015-10-10 00:53:03 +00:00

LazyCallGraph.cpp

[lcg] Fix a few more formatting goofs found by clang-format. NFC.

2015-12-28 01:54:20 +00:00

LazyValueInfo.cpp

[LazyValueInfo] Stop inserting overdefined values into ValueCache to

2015-12-11 00:49:47 +00:00

Lint.cpp

GlobalValue: use getValueType() instead of getType()->getPointerElementType().

2016-01-16 20:30:46 +00:00

LLVMBuild.txt

[PM/AA] Remove the last relics of the separate IPA library from LLVM,

2015-08-18 17:51:53 +00:00

Loads.cpp

Push isDereferenceableAndAlignedPointer down into isSafeToLoadUnconditionally

2016-01-17 12:35:29 +00:00

LoopAccessAnalysis.cpp

[LAA] Include function name in debug output

2016-01-18 21:16:33 +00:00

LoopInfo.cpp

fix variable names; NFC

2016-01-17 23:18:05 +00:00

LoopPass.cpp

LoopInfo: Simplify ownership of Loop objects

2016-01-08 19:08:53 +00:00

Makefile

[PM/AA] Remove the last relics of the separate IPA library from LLVM,

2015-08-18 17:51:53 +00:00

MemDepPrinter.cpp

[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible

2015-09-09 17:55:00 +00:00

MemDerefPrinter.cpp

Take alignment into account in isSafeToSpeculativelyExecute and isSafeToLoadUnconditionally.

2015-08-17 15:54:26 +00:00

MemoryBuiltins.cpp

Update to use new name alignTo().

2016-01-14 21:06:47 +00:00

MemoryDependenceAnalysis.cpp

[MDA] Don't be quite as conservative for noalias functions

2016-01-05 00:49:14 +00:00

MemoryLocation.cpp

[PM/AA] Split the location computation out of getArgLocation so the

2015-06-17 07:12:40 +00:00

ModuleDebugInfoPrinter.cpp

Revert r240137 (Fixed/added namespace ending comments using clang-tidy. NFC)

2015-06-23 09:49:53 +00:00

ObjCARCAliasAnalysis.cpp

[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible

2015-09-09 17:55:00 +00:00

ObjCARCAnalysisUtils.cpp

[ARC] Pull the ObjC ARC components that really serve the role of

2015-08-20 08:06:03 +00:00

ObjCARCInstKind.cpp

Analysis: Remove implicit ilist iterator conversions

2015-10-10 00:53:03 +00:00

OrderedBasicBlock.cpp

[CaptureTracker] Provide an ordered basic block to PointerMayBeCapturedBefore

2015-07-31 14:31:35 +00:00

PHITransAddr.cpp

[opaque pointer types] [breaking-change] [NFC] SimplifyGEPInst: take the source element type of the GEP as an argument.

2016-01-17 22:46:43 +00:00

PostDominators.cpp

[Modules] Fix potential ODR violations by sinking the DEBUG_TYPE

2014-04-22 02:48:03 +00:00

PtrUseVisitor.cpp

Update SetVector to rely on the underlying set's insert to return a pair<iterator, bool>

2014-11-19 07:49:26 +00:00

README.txt

…

RegionInfo.cpp

[RegionInfo] Add debug-time region viewer functions

2015-08-10 13:21:59 +00:00

RegionPass.cpp

Change range-based for-loops to be -Wrange-loop-analysis clean.

2015-04-15 01:21:15 +00:00

RegionPrinter.cpp

[RegionInfo] Add debug-time region viewer functions

2015-08-10 13:21:59 +00:00

ScalarEvolution.cpp

Change ConstantFoldInstOperands to take Instruction instead of opcode and type. NFC.

2016-01-21 06:33:22 +00:00

ScalarEvolutionAliasAnalysis.cpp

[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible

2015-09-09 17:55:00 +00:00

ScalarEvolutionExpander.cpp

[SCEV] Add and use SCEVConstant::getAPInt; NFCI

2015-12-17 20:28:46 +00:00

ScalarEvolutionNormalization.cpp

Analysis: Remove implicit ilist iterator conversions

2015-10-10 00:53:03 +00:00

ScopedNoAliasAA.cpp

rangify; NFCI

2016-01-13 18:37:28 +00:00

SparsePropagation.cpp

Analysis: Remove implicit ilist iterator conversions

2015-10-10 00:53:03 +00:00

StratifiedSets.h

Revert r240137 (Fixed/added namespace ending comments using clang-tidy. NFC)

2015-06-23 09:49:53 +00:00

TargetLibraryInfo.cpp

[WebAssembly] Re-enable loop idiom recognition for memcpy et al.

2016-01-19 14:49:23 +00:00

TargetTransformInfo.cpp

[TTI] Add getCacheLineSize

2016-01-21 18:28:36 +00:00

Trace.cpp

Put the functionality for printing a value to a raw_ostream as an

2014-01-09 02:29:41 +00:00

TypeBasedAliasAnalysis.cpp

fix typo

2016-01-13 16:34:10 +00:00

ValueTracking.cpp

[opaque pointer types] [NFC] GEP: replace get(Pointer)ElementType uses with get{Source,Result}ElementType.

2016-01-19 17:28:00 +00:00

VectorUtils.cpp

[opaque pointer types] [NFC] GEP: replace get(Pointer)ElementType uses with get{Source,Result}ElementType.

2016-01-19 17:28:00 +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))

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