Max Kazantsev 0acdce1793 Re-enable "[IndVars] Canonicalize comparisons between non-negative values and indvars" ...

The patch was reverted due to a bug. The bug was that if the IV is the 2nd operand of the icmp
instruction, then the "Pred" variable gets swapped and differs from the instruction's predicate.
In this patch we use the original predicate to do the transformation.

Also added a test case that exercises this situation.

Differentian Revision: https://reviews.llvm.org/D35107


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

2017-07-08 17:17:30 +00:00

..

AliasSet

Use WeakVH instead of WeakTrackingVH in AliasSetTracker's UnkownInsts

2017-05-01 17:07:56 +00:00

AssumptionCache

…

BasicAA

[BasicAA] Use MayAlias instead of PartialAlias for fallback.

2017-06-21 18:25:37 +00:00

BlockFrequencyInfo

…

BranchProbabilityInfo

[BPI] Don't assume that strcmp returning >0 is more likely than <0

2017-06-08 09:44:40 +00:00

CallGraph

…

CFLAliasAnalysis

[CFLAA] Add missing break; note things are broken.

2017-05-31 02:35:26 +00:00

ConstantFolding

[InstSimplify] Constant fold the new GEP in SimplifyGEPInst.

2017-06-06 10:17:14 +00:00

CostModel

[X86][CM] update add\sub costs of vectors of 64 in X86\SLM arch

2017-07-02 12:16:15 +00:00

Delinearization

[SCEV] Assume parameters coming from function calls contain IVs

2017-05-27 15:17:49 +00:00

DemandedBits

[Analysis] Support bitreverse in -demanded-bits pass

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

DependenceAnalysis

[DependenceAnalysis] Make sure base objects are the same when comparing GEPs

2017-07-05 21:35:47 +00:00

DivergenceAnalysis

AMDGPU: Change DivergenceAnalysis for function arguments

2017-04-19 17:42:34 +00:00

DominanceFrontier

…

Dominators

[Dominators] Don't compute DFS InOut numbers eagerly.

2017-06-30 01:28:21 +00:00

GlobalsModRef

…

IVUsers

Re-enable "[SCEV] Do not fold dominated SCEVUnknown into AddRecExpr start"

2017-05-26 06:47:04 +00:00

LazyCallGraph

…

LazyValueAnalysis

[JumpThreading][LVI] Invalidate LVI information after blocks are merged

2017-06-19 15:23:33 +00:00

Lint

…

LoopAccessAnalysis

…

LoopInfo

…

MemoryDependenceAnalysis

…

MemorySSA

Remove readnone from invariant.group.barrier

2017-04-12 20:45:12 +00:00

PostDominators

…

ProfileSummary

…

RegionInfo

…

ScalarEvolution

Re-enable "[IndVars] Canonicalize comparisons between non-negative values and indvars"

2017-07-08 17:17:30 +00:00

ScopedNoAliasAA

…

TypeBasedAliasAnalysis

[BasicAA] Use MayAlias instead of PartialAlias for fallback.

2017-06-21 18:25:37 +00:00

ValueTracking

…

alias-analysis-uses.ll

…