diff options
author | Tobias Grosser <tobias@grosser.es> | 2015-05-20 11:05:31 +0300 |
---|---|---|
committer | Tobias Grosser <tobias@grosser.es> | 2015-05-20 11:05:31 +0300 |
commit | 49ad36ca1689fdbf88275765c4e5b47e166e9e0f (patch) | |
tree | 41c0c4b95d33564a97e540be97ea088d8060162d /polly/test | |
parent | 76190042115da6375c576d693f393cbdf3b1f93f (diff) |
Add printing and testing to ScopArrayInfo
Being here, we extend the interface to return the element type and not a pointer
to the element type. We also provide a function to get the size (in bytes) of
the elements stored in this array.
We currently still store the element size as an innermost dimension in
ScopArrayInfo, which is somehow inconsistent and should be addressed in future
patches.
llvm-svn: 237779
Diffstat (limited to 'polly/test')
-rw-r--r-- | polly/test/ScopInfo/delinearize-together-all-data-refs.ll | 5 | ||||
-rw-r--r-- | polly/test/ScopInfo/simple_loop_1.ll | 3 |
2 files changed, 8 insertions, 0 deletions
diff --git a/polly/test/ScopInfo/delinearize-together-all-data-refs.ll b/polly/test/ScopInfo/delinearize-together-all-data-refs.ll index 08450d64db2d..446c95104e21 100644 --- a/polly/test/ScopInfo/delinearize-together-all-data-refs.ll +++ b/polly/test/ScopInfo/delinearize-together-all-data-refs.ll @@ -9,6 +9,11 @@ ; } ; } + +; CHECK: Arrays { +; CHECK: double MemRef_A[*][%m][%o][8] // Element size 8 +; CHECK: } + ; CHECK: [n, m, o] -> { Stmt_for_body6[i0, i1, i2] -> MemRef_A[3 + i0, i1, 7 + i2] }; ; CHECK: [n, m, o] -> { Stmt_for_body6[i0, i1, i2] -> MemRef_A[i0, 0, i2] }; diff --git a/polly/test/ScopInfo/simple_loop_1.ll b/polly/test/ScopInfo/simple_loop_1.ll index f1da4e53c3a6..6146fd63a805 100644 --- a/polly/test/ScopInfo/simple_loop_1.ll +++ b/polly/test/ScopInfo/simple_loop_1.ll @@ -26,6 +26,9 @@ return: ; preds = %bb, %entry ; CHECK: Assumed Context: ; CHECK: { : } +; CHECK: Arrays { +; CHECK: i64 MemRef_a[*][8] // Element size 8 +; CHECK: } ; CHECK: Stmt_bb ; CHECK: Domain := |