diff options
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 |
