Sanjoy Das 5de9960136 [BasicAA] Fix zext & sext handling ...

Summary:

There are several unhandled edge cases in BasicAA's GetLinearExpression
method. This changes fixes outstanding issues, including zext / sext of
a constant with the sign bit set, and the refusal to decompose zexts or
sexts of wrapping arithmetic.

Test Plan: Unit tests added in //q.ext.ll//.

Patch by Nick White.

Reviewers: hfinkel, sanjoy

Reviewed By: hfinkel, sanjoy

Subscribers: sanjoy, llvm-commits, hfinkel

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

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

2015-05-08 18:58:55 +00:00

..

AssumptionCache

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

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

BasicAA

[BasicAA] Fix zext & sext handling

2015-05-08 18:58:55 +00:00

BlockFrequencyInfo

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

BranchProbabilityInfo

Fix information loss in branch probability computation.

2015-05-07 17:22:06 +00:00

CallGraph

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

CFLAliasAnalysis

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

CostModel

[X86][SSE] Avoid scalarization of v2i64 vector shifts (REAPPLIED)

2015-03-18 22:18:51 +00:00

Delinearization

Fix a type mismatch assert in SCEV division

2015-04-22 15:06:40 +00:00

DependenceAnalysis

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

DivergenceAnalysis/NVPTX

Divergence analysis for GPU programs

2015-04-10 05:03:50 +00:00

Dominators

[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction

2015-02-27 19:29:02 +00:00

GlobalsModRef

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

LazyCallGraph

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

Lint

Make llvm.eh.begincatch use an outparam

2015-03-03 17:41:09 +00:00

LoopAccessAnalysis

[getUnderlyingOjbects] Analyze loop PHIs further to remove false positives

2015-04-23 20:09:20 +00:00

LoopInfo

[PM] Port LoopInfo to the new pass manager, adding both a LoopAnalysis

2015-01-20 10:58:50 +00:00

MemoryDependenceAnalysis

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

PostDominators

FileCheck-ize tests.

2013-08-22 00:51:19 +00:00

RegionInfo

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +00:00

ScalarEvolution

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

ScopedNoAliasAA

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

TypeBasedAliasAnalysis

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

ValueTracking

Extend the statepoint intrinsic to allow statepoints to be marked as transitions from GC-aware code to code that is not GC-aware.

2015-05-08 18:07:42 +00:00