77 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2;3; Check we remove read only statements.4;5; CHECK: Statements {6; CHECK-NEXT: Stmt_for_body_27; CHECK-NEXT: Domain :=8; CHECK-NEXT: { Stmt_for_body_2[i0] : 0 <= i0 <= 99 };9; CHECK-NEXT: Schedule :=10; CHECK-NEXT: { Stmt_for_body_2[i0] -> [i0] };11; CHECK-NEXT: ReadAccess := [Reduction Type: +] [Scalar: 0]12; CHECK-NEXT: { Stmt_for_body_2[i0] -> MemRef_A[i0] };13; CHECK-NEXT: MustWriteAccess := [Reduction Type: +] [Scalar: 0]14; CHECK-NEXT: { Stmt_for_body_2[i0] -> MemRef_A[i0] };15; CHECK-NEXT: }16;17; int g(int);18; void f(int *A) {19; for (int i = 0; i < 100; i++) {20; (A[i]);21; /* Split BB */22; (A[i]);23; /* Split BB */24; A[i] += 1;25; /* Split BB */26; (A[i]);27; /* Split BB */28; (A[i]);29; }30; }31;32target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"33 34define void @f(ptr %A) {35entry:36 br label %for.cond37 38for.cond: ; preds = %for.inc, %entry39 %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]40 %exitcond = icmp ne i64 %indvars.iv, 10041 br i1 %exitcond, label %for.body, label %for.end42 43for.body: ; preds = %for.cond44 %arrayidx = getelementptr inbounds i32, ptr %A, i64 %indvars.iv45 %tmp = load i32, ptr %arrayidx, align 446 br label %for.body.147 48for.body.1:49 %arrayidx2 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv50 %tmp1 = load i32, ptr %arrayidx2, align 451 br label %for.body.252 53for.body.2:54 %arrayidx5 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv55 %tmp2 = load i32, ptr %arrayidx5, align 456 %add = add nsw i32 %tmp2, 157 store i32 %add, ptr %arrayidx5, align 458 br label %for.body.359 60for.body.3:61 %arrayidx7 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv62 %tmp3 = load i32, ptr %arrayidx7, align 463 br label %for.body.464 65for.body.4:66 %arrayidx10 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv67 %tmp4 = load i32, ptr %arrayidx10, align 468 br label %for.inc69 70for.inc: ; preds = %for.body71 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 172 br label %for.cond73 74for.end: ; preds = %for.cond75 ret void76}77