diff options
| author | Michael Kruse <llvm@meinersbur.de> | 2017-08-08 17:26:19 +0000 |
|---|---|---|
| committer | Michael Kruse <llvm@meinersbur.de> | 2017-08-08 17:26:19 +0000 |
| commit | 235726ee4b868e665d64d41c1a24f9c061845d9c (patch) | |
| tree | ce345c467376845c99119dea70fe961aea0c0bdf /polly/test/ForwardOpTree/forward_load_differentarray.ll | |
| parent | f370f2e3c668c95969a10abcd66dec76b028cd1a (diff) | |
| download | bcm5719-llvm-235726ee4b868e665d64d41c1a24f9c061845d9c.tar.gz bcm5719-llvm-235726ee4b868e665d64d41c1a24f9c061845d9c.zip | |
[test] Add descriptions and pseudocode to tests. NFC.
llvm-svn: 310385
Diffstat (limited to 'polly/test/ForwardOpTree/forward_load_differentarray.ll')
| -rw-r--r-- | polly/test/ForwardOpTree/forward_load_differentarray.ll | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/polly/test/ForwardOpTree/forward_load_differentarray.ll b/polly/test/ForwardOpTree/forward_load_differentarray.ll index 7580ddbd0c8..26342820044 100644 --- a/polly/test/ForwardOpTree/forward_load_differentarray.ll +++ b/polly/test/ForwardOpTree/forward_load_differentarray.ll @@ -1,5 +1,20 @@ ; RUN: opt %loadPolly -polly-optree -analyze < %s | FileCheck %s -match-full-lines ; +; To forward %val, B[j] cannot be reused in bodyC because it is overwritten +; between. Verify that instead the alternative C[j] is used. +; +; for (int j = 0; j < n; j += 1) { +; bodyA: +; double val = B[j]; +; +; bodyB: +; B[j] = 0; +; C[j] = val; +; +; bodyC: +; A[j] = val; +; } +; define void @func(i32 %n, double* noalias nonnull %A, double* noalias nonnull %B, double* noalias nonnull %C) { entry: br label %for |
