OSDN Git Service

[SCEV] Smart range calculation for SCEVUnknown Phis
authorMax Kazantsev <max.kazantsev@azul.com>
Thu, 1 Mar 2018 06:56:48 +0000 (06:56 +0000)
committerMax Kazantsev <max.kazantsev@azul.com>
Thu, 1 Mar 2018 06:56:48 +0000 (06:56 +0000)
commit1eba8752d75ed6cc7461e49ca3bda0b9ac4d66e3
tree17c525415ea777b71be8846cf97cd8b332da936b
parent0cd046c5f108ce928490e6f3ad76d84912bb66c5
[SCEV] Smart range calculation for SCEVUnknown Phis

The range of SCEVUnknown Phi which merges values `X1, X2, ..., XN`
can be evaluated as `U(Range(X1), Range(X2), ..., Range(XN))`.

Reviewed By: sanjoy
Differential Revision: https://reviews.llvm.org/D43810

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@326418 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/ScalarEvolution.h
lib/Analysis/ScalarEvolution.cpp
test/Analysis/ScalarEvolution/unknown_phis.ll [new file with mode: 0644]
test/Transforms/IRCE/single-access-no-preloop.ll
test/Transforms/LoopVectorize/X86/consecutive-ptr-cg-bug.ll