diff options
Diffstat (limited to 'polly/test/Simplify/redundant_scalarwrite.ll')
-rw-r--r-- | polly/test/Simplify/redundant_scalarwrite.ll | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/polly/test/Simplify/redundant_scalarwrite.ll b/polly/test/Simplify/redundant_scalarwrite.ll new file mode 100644 index 00000000000..c0071941575 --- /dev/null +++ b/polly/test/Simplify/redundant_scalarwrite.ll @@ -0,0 +1,49 @@ +; RUN: opt %loadPolly -polly-import-jscop -polly-import-jscop-postfix=transformed -polly-simplify -analyze < %s | FileCheck %s -match-full-lines +; +; Remove redundant scalar stores. +; +; for (int j = 0; j < n; j += 1) { +; bodyA: +; double val = A[0]; +; +; bodyB: +; A[0] = val; +; } +; +define void @redundant_scalarwrite(i32 %n, double* noalias nonnull %A) { +entry: + br label %for + +for: + %j = phi i32 [0, %entry], [%j.inc, %inc] + %j.cmp = icmp slt i32 %j, %n + br i1 %j.cmp, label %bodyA, label %exit + + + bodyA: + %val = load double, double* %A + br label %bodyB + + bodyB: + store double %val, double* %A + br label %inc + + +inc: + %j.inc = add nuw nsw i32 %j, 1 + br label %for + +exit: + br label %return + +return: + ret void +} + + +; CHECK: Statistics { +; CHECK: Redundant writes removed: 2 +; CHECK: } + +; CHECK: After accesses { +; CHECK-NEXT: } |