Keno Fischer a21d54a8e0 [SCEV] Don't expand Wrap predicate using inttoptr in ni addrspaces ...

Summary:
In non-integral address spaces, we're not allowed to introduce inttoptr/ptrtoint
intrinsics. Instead, we need to expand any pointer arithmetic as geps on the
base pointer. Luckily this is a common task for SCEV, so all we have to do here
is hook up the corresponding helper function and add test case.

Fixes PR38290

Reviewers: sanjoy
Differential Revision: https://reviews.llvm.org/D49832

llvm-svn: 338073

2018-07-26 21:55:06 +00:00

..

AliasSet

[AliasSet] Teach the alias set how to handle atomic memcpy/memmove/memset

2018-05-30 14:43:39 +00:00

AssumptionCache

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

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

BasicAA

[BasicAA] Teach the analysis about atomic memcpy

2018-05-29 19:23:50 +00:00

BlockFrequencyInfo

[BPI] Apply invoke heuristic before loop branch heuristic

2018-06-08 13:03:21 +00:00

BranchProbabilityInfo

[BPI] Apply invoke heuristic before loop branch heuristic

2018-06-08 13:03:21 +00:00

CallGraph

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +00:00

CFLAliasAnalysis

Revert r332657: "[AA] cfl-anders-aa with field sensitivity"

2018-05-17 21:56:39 +00:00

ConstantFolding

[ConstantFold] Disallow folding vector geps into bitcasts

2018-06-01 19:34:35 +00:00

CostModel

[TargetTransformInfo] Add pow2 analysis for scalar constants

2018-07-11 17:51:27 +00:00

Delinearization

Re-apply "[SCEV] Strengthen StrengthenNoWrapFlags (reapply r334428)."

2018-07-13 23:58:46 +00:00

DemandedBits

Fix tests after move to utohexstr.

2017-12-28 17:00:37 +00:00

DependenceAnalysis

[DA] Delinearise AddRecs if we can prove they don't wrap

2018-06-25 15:13:26 +00:00

DivergenceAnalysis

DivergenceAnalysis: added debug output

2018-07-13 13:13:30 +00:00

DominanceFrontier

Another fix the testcase introduced by r261903 - Add the missing matches

2016-02-26 03:41:47 +00:00

Dominators

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

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

GlobalsModRef

[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.

2018-05-09 02:40:45 +00:00

IVUsers

Re-apply "[SCEV] Strengthen StrengthenNoWrapFlags (reapply r334428)."

2018-07-13 23:58:46 +00:00

LazyCallGraph

[LCG] Spell the printing pass pipeline name for the lazy call graph

2016-03-10 11:24:06 +00:00

LazyValueAnalysis

[JumpThreading] Preservation of DT and LVI across the pass

2018-01-12 21:06:48 +00:00

Lint

[Lint] Upgrade uses of MemoryIntrinic::getAlignment() to new API. (NFCI)

2018-01-31 16:42:15 +00:00

LoopAccessAnalysis

[SCEV] Don't expand Wrap predicate using inttoptr in ni addrspaces

2018-07-26 21:55:06 +00:00

LoopInfo

…

MemoryDependenceAnalysis

[MemDep] Fixed handling of invariant.group

2018-05-18 22:40:34 +00:00

MemorySSA

llvm: Add support for "-fno-delete-null-pointer-checks"

2018-07-09 22:27:23 +00:00

MustExecute

[LICM] Extend the MustExecute scope

2018-05-18 04:56:28 +00:00

PhiValues

Add a PhiValuesAnalysis pass to calculate the underlying values of phis

2018-06-28 14:13:06 +00:00

PostDominators

[Dominators] Include infinite loops in PostDominatorTree

2017-08-15 18:14:57 +00:00

ProfileSummary

Reapply r271728 after adding move cobstructor for ProfileSummaryInfo

2016-06-03 22:54:26 +00:00

RegionInfo

[Dominators] Include infinite loops in PostDominatorTree

2017-08-15 18:14:57 +00:00

ScalarEvolution

[SCEV] Add zext(C + x + ...) -> D + zext(C-D + x + ...)<nuw><nsw> transform

2018-07-24 21:48:56 +00:00

ScopedNoAliasAA

[ScopedNoAliasAA] Make test basic.ll less confusing

2016-03-07 17:49:10 +00:00

TypeBasedAliasAnalysis

[Analysis] Support aggregate access types in TBAA

2018-02-02 14:09:22 +00:00

ValueTracking

Fix llvm::ComputeNumSignBits with some operations and llvm.assume

2018-07-25 16:39:24 +00:00

alias-analysis-uses.ll

Add an "addUsedAAAnalyses" helper function

2016-02-09 01:21:57 +00:00