diff options
Diffstat (limited to 'polly/test/ScopInfo/mod_ref_read_pointers.ll')
| -rw-r--r-- | polly/test/ScopInfo/mod_ref_read_pointers.ll | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/polly/test/ScopInfo/mod_ref_read_pointers.ll b/polly/test/ScopInfo/mod_ref_read_pointers.ll index a06123c9d23..2039c75b87f 100644 --- a/polly/test/ScopInfo/mod_ref_read_pointers.ll +++ b/polly/test/ScopInfo/mod_ref_read_pointers.ll @@ -1,5 +1,7 @@ -; RUN: opt %loadPolly -basicaa -polly-scops -analyze < %s | FileCheck %s -; RUN: opt %loadPolly -basicaa -polly-codegen -disable-output < %s +; RUN: opt %loadPolly -basicaa -polly-scops -analyze -polly-allow-modref-calls \ +; RUN: < %s | FileCheck %s +; RUN: opt %loadPolly -basicaa -polly-codegen -disable-output \ +; RUN: -polly-allow-modref-calls < %s ; ; Check that the call to func will "read" not only the A array but also the ; B array. The reason is the readonly annotation of func. |
