llvm-6502

mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-01-16 14:31:59 +00:00

History

David Majnemer cd237ed585 InstSimplify: Optimize signed icmp of -(zext V)

Summary:
We know that -(zext V) will always be <= zero, simplify signed icmps
that have these.

Uncovered using http://www.cs.utah.edu/~regehr/souper/

Reviewers: nicholas

Subscribers: llvm-commits

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

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

2014-05-14 20:16:28 +00:00

IPA

Use a range loop.

2014-05-08 17:57:50 +00:00

AliasAnalysis.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

AliasAnalysisCounter.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

AliasAnalysisEvaluator.cpp

…

AliasDebugger.cpp

…

AliasSetTracker.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

Analysis.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

BasicAliasAnalysis.cpp

Remove a couple of redundant copies of SmallVector::operator==.

2014-04-18 19:48:03 +00:00

BlockFrequencyInfo.cpp

[Modules] Fix potential ODR violations by sinking the DEBUG_TYPE

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

BlockFrequencyInfoImpl.cpp

blockfreq: Move include to .cpp

2014-05-06 01:57:42 +00:00

BranchProbabilityInfo.cpp

[Modules] Fix potential ODR violations by sinking the DEBUG_TYPE

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

CaptureTracking.cpp

…

CFG.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

CFGPrinter.cpp

raw_ostream: Forward declare OpenFlags and include FileSystem.h only where necessary.

2014-04-29 23:26:49 +00:00

CGSCCPassManager.cpp

[PM] Add a new-PM-style CGSCC pass manager using the newly added

2014-04-21 11:12:00 +00:00

CMakeLists.txt

Reapply "blockfreq: Rewrite BlockFrequencyInfoImpl"

2014-04-21 17:57:07 +00:00

CodeMetrics.cpp

…

ConstantFolding.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

CostModel.cpp

[Modules] Fix potential ODR violations by sinking the DEBUG_TYPE

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

Delinearization.cpp

split delinearization pass in 3 steps

2014-05-07 18:01:20 +00:00

DependenceAnalysis.cpp

move findArrayDimensions to ScalarEvolution

2014-05-09 22:45:07 +00:00

DominanceFrontier.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

DomPrinter.cpp

…

InstCount.cpp

[Modules] Fix potential ODR violations by sinking the DEBUG_TYPE

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

InstructionSimplify.cpp

InstSimplify: Optimize signed icmp of -(zext V)

2014-05-14 20:16:28 +00:00

Interval.cpp

…

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

IVUsers.cpp

[Modules] Fix potential ODR violations by sinking the DEBUG_TYPE

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

LazyCallGraph.cpp

[LCG] Add the last (and most complex) of the edge insertion mutation

2014-05-04 09:38:32 +00:00

LazyValueInfo.cpp

[Modules] Fix potential ODR violations by sinking the DEBUG_TYPE

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

LibCallAliasAnalysis.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

LibCallSemantics.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

Lint.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

LLVMBuild.txt

…

Loads.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

LoopInfo.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

LoopPass.cpp

[Modules] Make Support/Debug.h modular. This requires it to not change

2014-04-21 22:55:11 +00:00

Makefile

…

MemDepPrinter.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

MemoryBuiltins.cpp

[Modules] Fix potential ODR violations by sinking the DEBUG_TYPE

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

MemoryDependenceAnalysis.cpp

[Modules] Fix potential ODR violations by sinking the DEBUG_TYPE

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

ModuleDebugInfoPrinter.cpp

…

NoAliasAnalysis.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

PHITransAddr.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

PostDominators.cpp

[Modules] Fix potential ODR violations by sinking the DEBUG_TYPE

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

PtrUseVisitor.cpp

…

README.txt

…

RegionInfo.cpp

[Modules] Fix potential ODR violations by sinking the DEBUG_TYPE

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

RegionPass.cpp

[Modules] Fix potential ODR violations by sinking the DEBUG_TYPE

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

RegionPrinter.cpp

Use unique_ptr to manage ownership of child Regions within llvm::Region

2014-04-15 18:32:43 +00:00

ScalarEvolution.cpp

use nullptr instead of NULL

2014-05-12 20:11:01 +00:00

ScalarEvolutionAliasAnalysis.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

ScalarEvolutionExpander.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

ScalarEvolutionNormalization.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

SparsePropagation.cpp

[Modules] Fix potential ODR violations by sinking the DEBUG_TYPE

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

TargetTransformInfo.cpp

[Modules] Fix potential ODR violations by sinking the DEBUG_TYPE

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

Trace.cpp

…

TypeBasedAliasAnalysis.cpp

[TBAA] Fix handling of mixed TBAA (path-aware and non-path-aware TBAA).

2014-05-03 22:32:52 +00:00

ValueTracking.cpp

Update the comments for ComputeMaskedBits, which lost its Mask parameter

2014-05-14 08:00:07 +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))

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