77 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2; RUN: opt %loadNPMPolly -S '-passes=polly<no-default-opts>' < %s 2>&1 | FileCheck %s --check-prefix=IR3;4; void f(long *A, long *ptr, long val) {5; for (long i = 0; i < 100; i++) {6; long ptrV = ((long)(ptr + 1)) + 1;7; long valP = (long)(((long *)(val + 1)) + 1);8; A[ptrV] += A[valP];9; }10; }11;12; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 0]13; CHECK-NEXT: [val, ptr] -> { Stmt_for_body[i0] -> MemRef_A[9 + val] };14; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]15; CHECK-NEXT: [val, ptr] -> { Stmt_for_body[i0] -> MemRef_A[9 + ptr] };16; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]17; CHECK-NEXT: [val, ptr] -> { Stmt_for_body[i0] -> MemRef_A[9 + ptr] };18;19; IR: entry:20; IR-NEXT: %ptr1 = ptrtoint ptr %ptr to i3221;22; IR: polly.stmt.for.body:23; IR-NEXT: %p_tmp1 = inttoptr i64 %14 to ptr24; IR-NEXT: %p_add.ptr2 = getelementptr inbounds i64, ptr %p_tmp1, i64 125; IR-NEXT: %p_tmp2 = ptrtoint ptr %p_add.ptr2 to i6426; IR-NEXT: %p_arrayidx = getelementptr inbounds i64, ptr %A, i64 %p_tmp227; IR-NEXT: %tmp3_p_scalar_ = load i64, ptr %p_arrayidx, align 8, !alias.scope !2, !noalias !528; IR-NEXT: %tmp4_p_scalar_ = load i64, ptr %scevgep, align 8, !alias.scope !2, !noalias !529; IR-NEXT: %p_add4 = add nsw i64 %tmp4_p_scalar_, %tmp3_p_scalar_30; IR-NEXT: store i64 %p_add4, ptr %scevgep, align 8, !alias.scope !2, !noalias !531; IR-NEXT: %polly.indvar_next = add nsw i64 %polly.indvar, 132; IR-NEXT: %polly.loop_cond = icmp sle i64 %polly.indvar_next, 9933; IR-NEXT: br i1 %polly.loop_cond, label %polly.loop_header, label %polly.loop_exit34;35; IR: polly.loop_preheader:36; IR-NEXT: %14 = add i64 %val, 137; IR-NEXT: %15 = shl i32 %ptr1, 338; IR-NEXT: %16 = add i32 %15, 7239; IR-NEXT: %scevgep = getelementptr i8, ptr %A, i32 %1640; IR-NEXT: br label %polly.loop_header41 42;43target datalayout = "e-p:32:32:32-m:e-i64:64-f80:128-n8:16:32:64-S128"44 45define void @f(ptr %A, ptr %ptr, i64 %val) {46entry:47 br label %for.cond48 49for.cond: ; preds = %for.inc, %entry50 %i.0 = phi i64 [ 0, %entry ], [ %inc, %for.inc ]51 %exitcond = icmp ne i64 %i.0, 10052 br i1 %exitcond, label %for.body, label %for.end53 54for.body: ; preds = %for.cond55 %add.ptr = getelementptr inbounds i64, ptr %ptr, i64 156 %tmp = ptrtoint ptr %add.ptr to i6457 %add = add nsw i64 %tmp, 158 %add1 = add nsw i64 %val, 159 %tmp1 = inttoptr i64 %add1 to ptr60 %add.ptr2 = getelementptr inbounds i64, ptr %tmp1, i64 161 %tmp2 = ptrtoint ptr %add.ptr2 to i6462 %arrayidx = getelementptr inbounds i64, ptr %A, i64 %tmp263 %tmp3 = load i64, ptr %arrayidx64 %arrayidx3 = getelementptr inbounds i64, ptr %A, i64 %add65 %tmp4 = load i64, ptr %arrayidx366 %add4 = add nsw i64 %tmp4, %tmp367 store i64 %add4, ptr %arrayidx368 br label %for.inc69 70for.inc: ; preds = %for.body71 %inc = add nuw nsw i64 %i.0, 172 br label %for.cond73 74for.end: ; preds = %for.cond75 ret void76}77