diff options
author | Michael Kruse <llvm@meinersbur.de> | 2018-08-03 04:42:52 +0000 |
---|---|---|
committer | Michael Kruse <llvm@meinersbur.de> | 2018-08-03 04:42:52 +0000 |
commit | cba47b49785f0b93a46a72e8a27c5f8038e76492 (patch) | |
tree | 861bfadf35c853c8e845ed0ccd3b58a72ca3b5b3 /clang/test/CodeGenCXX/pragma-loop-safety-outer.cpp | |
parent | 7649e6290667d96ac3070c42fdc840e631fdc17f (diff) | |
download | bcm5719-llvm-cba47b49785f0b93a46a72e8a27c5f8038e76492.tar.gz bcm5719-llvm-cba47b49785f0b93a46a72e8a27c5f8038e76492.zip |
[CodeGen] Emit parallel_loop_access for each loop in the loop stack.
Summary:
Emit !llvm.mem.parallel_loop_access metadata for memory accesses even if the parallel loop is not the top on the loop stack.
Fixes llvm.org/PR37558.
Reviewers: ABataev, hfinkel, amusman, tyler.nowicki
Reviewed By: hfinkel
Subscribers: Meinersbur, hfinkel, cfe-commits
Differential Revision: https://reviews.llvm.org/D48808
llvm-svn: 338810
Diffstat (limited to 'clang/test/CodeGenCXX/pragma-loop-safety-outer.cpp')
-rw-r--r-- | clang/test/CodeGenCXX/pragma-loop-safety-outer.cpp | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/clang/test/CodeGenCXX/pragma-loop-safety-outer.cpp b/clang/test/CodeGenCXX/pragma-loop-safety-outer.cpp new file mode 100644 index 00000000000..83f534e6512 --- /dev/null +++ b/clang/test/CodeGenCXX/pragma-loop-safety-outer.cpp @@ -0,0 +1,20 @@ +// RUN: %clang_cc1 -triple x86_64-apple-darwin -std=c++11 -emit-llvm -o - %s | FileCheck %s + +// Verify that the inner access is tagged with a parallel_loop_access +// for the outer loop. +void vectorize_outer_test(int *List, int Length) { +#pragma clang loop vectorize(assume_safety) interleave(disable) unroll(disable) + for (int i = 0; i < Length; i += 2) { +#pragma clang loop unroll(full) + for (int j = 0; j < 2; j += 1) + List[i + j] = (i + j) * 2; + } +} + +// CHECK: %[[MUL:.+]] = mul +// CHECK: store i32 %[[MUL]], i32* %{{.+}}, !llvm.mem.parallel_loop_access ![[OUTER_LOOPID:[0-9]+]] +// CHECK: br label %{{.+}}, !llvm.loop ![[INNER_LOOPID:[0-9]+]] +// CHECK: br label %{{.+}}, !llvm.loop ![[OUTER_LOOPID]] + +// CHECK: ![[OUTER_LOOPID]] = distinct !{![[OUTER_LOOPID]], +// CHECK: ![[INNER_LOOPID]] = distinct !{![[INNER_LOOPID]], |