OSDN Git Service

[IndVarSimplify] Add AShr exact flags using induction variables ranges.
authorDavid Green <david.green@arm.com>
Wed, 5 Jul 2017 13:25:58 +0000 (13:25 +0000)
committerDavid Green <david.green@arm.com>
Wed, 5 Jul 2017 13:25:58 +0000 (13:25 +0000)
commita33c5722b06f1fe45970831d09200c10b6abbe65
treeffee2670558689ed994db7ecda9497d39069c9d5
parent4c8480dbc5c1be07ae38395507d5bd2c771447db
[IndVarSimplify] Add AShr exact flags using induction variables ranges.

This adds exact flags to AShr/LShr flags where we can statically
prove it is valid using the range of induction variables. This
allows further optimisations to remove extra loads.

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@307157 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Utils/SimplifyIndVar.cpp
test/Transforms/IndVarSimplify/strengthen-overflow.ll