Page MenuHomePhabricator

Please use GitHub pull requests for new patches. Avoid migrating existing patches. Phabricator shutdown timeline

Differential D4843 Diff 12380 test/ScopInfo/reduction_alternating_base.ll

Changeset View

Standalone View

View Options

test/ScopInfo/reduction_alternating_base.ll

  • This file was copied to test/ScopDetect/non_affine_but_modulo_access.ll.
; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s ; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
; ;
; FIXME: We cannot detect this SCoP yet but as soon as we can we should check ; CHECK: ReadAccess := [Reduction Type: +]
; that the reduction is detected! ; CHECK: { Stmt_for_body[i0] -> MemRef_A[o0] : exists (e0 = floor((-i0 + o0)/2): 2e0 = -i0 + o0 and o0 <= 1 and o0 >= 0) };
; ; CHECK: MustWriteAccess := [Reduction Type: +]
; CHECK-NOT: Scattering ; CHECK: { Stmt_for_body[i0] -> MemRef_A[o0] : exists (e0 = floor((-i0 + o0)/2): 2e0 = -i0 + o0 and o0 <= 1 and o0 >= 0) };
; ;
; void f(int *A) { ; void f(int *A) {
; for (int i = 0; i < 1024; i++) ; for (int i = 0; i < 1024; i++)
; A[i % 2] += i; ; A[i % 2] += i;
; } ; }
; ;
target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64" target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64"
Show All 24 Lines