Eli Friedman 19ce959014 [SCEV] Make getUDivExactExpr handle non-nuw multiplies correctly. ...

To avoid regressions, make ScalarEvolution::createSCEV a bit more
clever.

Also get rid of some useless code in ScalarEvolution::howFarToZero
which was hiding this bug.

No new testcase because it's impossible to actually expose this bug:
we don't have any in-tree users of getUDivExactExpr besides the two
functions I just mentioned, and they both dodged the problem. I'll
try to add some interesting users in a followup.

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



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

2017-01-18 23:56:42 +00:00

..

AliasSet

[AliasSetTracker] Make AST smarter about assume intrinsics that don't actually affect memory.

2016-11-07 14:11:45 +00:00

AssumptionCache

Add files I seem to have dropped in my revert (r290086).

2016-12-19 08:32:13 +00:00

BasicAA

[PM] Add more dedicated testing to cover the invalidation logic added to

2016-12-27 17:59:22 +00:00

BlockFrequencyInfo

[BFI] Add new LazyBFI analysis pass

2016-07-13 05:01:48 +00:00

BranchProbabilityInfo

Enhance calcColdCallHeuristics for InvokeInst

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

CallGraph

…

CFLAliasAnalysis

[Verifier] Add verification for TBAA metadata

2016-12-11 20:07:15 +00:00

ConstantFolding

[ConstantFolding] Fix vector GEPs harder

2016-12-21 17:34:21 +00:00

CostModel

[CostModel][X86] Fix AVX512BW vector shift costs for vXi16 types

2017-01-15 20:44:00 +00:00

Delinearization

[SCEV] Consider delinearization pattern with extension with identity factor

2016-10-17 11:56:26 +00:00

DemandedBits

…

DependenceAnalysis

…

DivergenceAnalysis

NVPTX: Remove the legacy ptx intrinsics

2016-07-07 16:40:17 +00:00

DominanceFrontier

…

Dominators

Remove useless pass from the pipeline in test/Analysis/Dominators/2007-01-14-BreakCritEdges.ll.

2016-07-25 16:27:34 +00:00

GlobalsModRef

Fix regression from my recent GlobalsAA fix.

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

IVUsers

[PM] Teach the LoopPassManager to automatically canonicalize loops by

2017-01-17 19:18:12 +00:00

LazyCallGraph

…

Lint

…

LoopAccessAnalysis

[Loop Vectorizer] Fixed memory confilict checks.

2016-08-28 08:53:53 +00:00

LoopInfo

…

MemoryDependenceAnalysis

[PM] The assumption cache is fundamentally designed to be self-updating,

2017-01-15 00:26:18 +00:00

PostDominators

…

ProfileSummary

…

RegionInfo

Add missing CHECK: line to test case added in 29097

2017-01-04 19:35:38 +00:00

ScalarEvolution

[SCEV] Make getUDivExactExpr handle non-nuw multiplies correctly.

2017-01-18 23:56:42 +00:00

ScopedNoAliasAA

…

TypeBasedAliasAnalysis

[TBAAVerifier] Be stricter around verifying scalar nodes

2016-12-29 15:47:05 +00:00

ValueTracking

[ValueTracking] regenerate checks; NFC

2017-01-09 19:31:20 +00:00

alias-analysis-uses.ll

…