Generalize SCEVExpander::visitAddRecExpr's GEP persuit, and avoid
authorDan Gohman <gohman@apple.com>
Sun, 24 May 2009 18:06:31 +0000 (18:06 +0000)
committerDan Gohman <gohman@apple.com>
Sun, 24 May 2009 18:06:31 +0000 (18:06 +0000)
commit453aa4fbf1083cc7f646a0ac21e2bcc384a91ae9
treeaff2e6588c8b2da406dbb8be182a0a2fb8044a59
parent3925043af0ecf1f0a6158c5007c1186797a252cb
Generalize SCEVExpander::visitAddRecExpr's GEP persuit, and avoid
sending SCEVUnknowns to expandAddToGEP. This avoids the need for
expandAddToGEP to bend the rules and peek into SCEVUnknown
expressions.

Factor out the code for testing whether a SCEV can be factored by
a constant for use in a GEP index. This allows it to handle
SCEVAddRecExprs, by recursing.

As a result, SCEVExpander can now put more things in GEP indices,
so it emits fewer explicit mul instructions.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72366 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/ScalarEvolutionExpander.h
lib/Analysis/ScalarEvolutionExpander.cpp
test/Transforms/IndVarSimplify/addrec-gep.ll [new file with mode: 0644]
test/Transforms/IndVarSimplify/gep-with-mul-base.ll