[ForwardOpTree] Support read-only value uses.
commit195892e7002fc3461245b22d24a1d6e7e52d5201
authorMichael Kruse <llvm@meinersbur.de>
Mon, 24 Jul 2017 12:43:27 +0000 (24 12:43 +0000)
committerMichael Kruse <llvm@meinersbur.de>
Mon, 24 Jul 2017 12:43:27 +0000 (24 12:43 +0000)
tree02f3350bba6be3e63aa4fa5ccd55d19230798a11
parentbdc33220227f19765446cb666ed4a29d0bed86c1
[ForwardOpTree] Support read-only value uses.

Read-only values (values defined before the SCoP) require special
handing with -polly-analyze-read-only-scalars=true (which is the
default). If active, each use of a value requires a read access.
When a copied value uses a read-only value, we must also ensure that
such a MemoryAccess is available or is created.

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

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@308876 91177308-0d34-0410-b5e6-96231b3b80d8
include/polly/ScopBuilder.h
include/polly/ScopInfo.h
lib/Analysis/ScopBuilder.cpp
lib/Analysis/ScopInfo.cpp
lib/Transform/ForwardOpTree.cpp
test/ForwardOpTree/forward_readonly.ll [new file with mode: 0644]