Teach SCEVExpander to expand arithmetic involving pointers into GEP
authorDan Gohman <gohman@apple.com>
Tue, 19 May 2009 02:15:55 +0000 (02:15 +0000)
committerDan Gohman <gohman@apple.com>
Tue, 19 May 2009 02:15:55 +0000 (02:15 +0000)
commit5be18e84766fb495b0bde3c8244c1df459a18683
tree77d5bd8b1b5961b4ed2fd11e271e32fe9ce2fd99
parentfb57f1c8ec95714f7eb4650004539e004bb2db02
Teach SCEVExpander to expand arithmetic involving pointers into GEP
instructions. It attempts to create high-level multi-operand GEPs,
though in cases where this isn't possible it falls back to casting
the pointer to i8* and emitting a GEP with that. Using GEP instructions
instead of ptrtoint+arithmetic+inttoptr helps pointer analyses that
don't use ScalarEvolution, such as BasicAliasAnalysis.

Also, make the AddrModeMatcher more aggressive in handling GEPs.
Previously it assumed that operand 0 of a GEP would require a register
in almost all cases. It now does extra checking and can do more
matching if operand 0 of the GEP is foldable. This fixes a problem
that was exposed by SCEVExpander using GEPs.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72093 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/ScalarEvolution.h
include/llvm/Analysis/ScalarEvolutionExpander.h
lib/Analysis/ScalarEvolution.cpp
lib/Analysis/ScalarEvolutionExpander.cpp
lib/Transforms/Scalar/IndVarSimplify.cpp
lib/Transforms/Scalar/LoopStrengthReduce.cpp
lib/Transforms/Utils/AddrModeMatcher.cpp
test/Transforms/IndVarSimplify/preserve-gep.ll [new file with mode: 0644]
test/Transforms/LoopStrengthReduce/2009-04-28-no-reduce-mul.ll