diff options
| author | Michael Kruse <llvm@meinersbur.de> | 2017-06-19 10:19:29 +0000 |
|---|---|---|
| committer | Michael Kruse <llvm@meinersbur.de> | 2017-06-19 10:19:29 +0000 |
| commit | 214deb7960ade0817276733cbe55f63b51fa44f7 (patch) | |
| tree | 1adbd68bb8eb444cdeb4f05a8a8f2cc854020e0e /polly/test/Isl/CodeGen/MemAccess/create_arrays.ll | |
| parent | 4aac459ca6642f21b685dc18e3b70039339e8036 (diff) | |
| download | bcm5719-llvm-214deb7960ade0817276733cbe55f63b51fa44f7.tar.gz bcm5719-llvm-214deb7960ade0817276733cbe55f63b51fa44f7.zip | |
[CodeGen] Emit aliasing metadata for new arrays.
Ensure that all array base pointers are assigned before generating
aliasing metadata by allocating new arrays beforehand.
Before this patch, getBasePtr() returned nullptr for new arrays because
the arrays were created at a later point. Nullptr did not match to any
array after the created array base pointers have been assigned and when
the loads/stores are generated.
llvm-svn: 305675
Diffstat (limited to 'polly/test/Isl/CodeGen/MemAccess/create_arrays.ll')
| -rw-r--r-- | polly/test/Isl/CodeGen/MemAccess/create_arrays.ll | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/polly/test/Isl/CodeGen/MemAccess/create_arrays.ll b/polly/test/Isl/CodeGen/MemAccess/create_arrays.ll index 1ee647a0ea6..0de347694cc 100644 --- a/polly/test/Isl/CodeGen/MemAccess/create_arrays.ll +++ b/polly/test/Isl/CodeGen/MemAccess/create_arrays.ll @@ -29,6 +29,18 @@ ; CODEGEN: %polly.access.cast.E = bitcast [270336 x [200000 x double]]* %E to double* ; CODEGEN: %polly.access.mul.E = mul nsw i64 %polly.indvar33, 200000 ; CODEGEN: %polly.access.add.E = add nsw i64 %polly.access.mul.E, %polly.indvar +; CODEGEN: {{%.*}} = load double, double* %polly.access.E, align 8, !alias.scope [[TAG0:![0-9]+]], !noalias [[TAG2:![0-9]+]] +; CODEGEN: store double {{%.*}}, double* %scevgep36, align 8, !alias.scope [[TAG5:![0-9]+]], !noalias [[TAG8:![0-9]+]] +; +; CODEGEN-DAG: [[TAG0]] = distinct !{[[TAG0]], [[TAG1:![0-9]+]], !"polly.alias.scope.E"} +; CODEGEN-DAG: [[TAG1]] = distinct !{[[TAG1]], !"polly.alias.scope.domain"} +; CODEGEN-DAG: [[TAG2]] = !{[[TAG3:![0-9]+]], [[TAG4:![0-9]+]], [[TAG5:![0-9]+]], [[TAG6:![0-9]+]], [[TAG7:![0-9]+]]} +; CODEGEN-DAG: [[TAG3]] = distinct !{[[TAG3]], [[TAG1]], !"polly.alias.scope.MemRef_B"} +; CODEGEN-DAG: [[TAG4]] = distinct !{[[TAG4]], [[TAG1]], !"polly.alias.scope.MemRef_beta"} +; CODEGEN-DAG: [[TAG5]] = distinct !{[[TAG5]], [[TAG1]], !"polly.alias.scope.MemRef_A"} +; CODEGEN-DAG: [[TAG6]] = distinct !{[[TAG6]], [[TAG1]], !"polly.alias.scope.D"} +; CODEGEN-DAG: [[TAG7]] = distinct !{[[TAG7]], [[TAG1]], !"polly.alias.scope.F"} +; CODEGEN-DAG: [[TAG8]] = !{[[TAG3]], [[TAG4]], [[TAG6]], [[TAG0]], [[TAG7]]} ; target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-unknown-unknown" |
