73 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -polly-invariant-load-hoisting=true -disable-output < %s 2>&1 | FileCheck %s2; RUN: opt %loadNPMPolly -S '-passes=polly<no-default-opts>' -polly-invariant-load-hoisting=true < %s 2>&1 | FileCheck %s --check-prefix=IR3;4; void f(long *A, long *B, 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] += B[valP];9; }10; }11;12; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 0]13; CHECK-NEXT: [val, ptr] -> { Stmt_for_body[i0] -> MemRef_B[9 + val] };14; CHECK-NEXT: Execution Context: [val, ptr] -> { : -4097 <= val <= 4086 }15;16; CHECK: ReadAccess := [Reduction Type: +] [Scalar: 0]17; CHECK-NEXT: [val, ptr] -> { Stmt_for_body[i0] -> MemRef_A[9 + ptr] };18; CHECK-NEXT: MustWriteAccess := [Reduction Type: +] [Scalar: 0]19; CHECK-NEXT: [val, ptr] -> { Stmt_for_body[i0] -> MemRef_A[9 + ptr] };20 21; IR: entry:22; IR-NEXT: %ptr13 = ptrtoint ptr %ptr to i1623;24; IR: polly.stmt.for.body:25; IR-NEXT: %tmp4_p_scalar_ = load i64, ptr %scevgep, align 8, !alias.scope !5, !noalias !226; IR-NEXT: %p_add4 = add nsw i64 %tmp4_p_scalar_, %polly.preload.tmp3.merge27; IR-NEXT: store i64 %p_add4, ptr %scevgep, align 8, !alias.scope !5, !noalias !228; IR-NEXT: %polly.indvar_next = add nsw i64 %polly.indvar, 129; IR-NEXT: %polly.loop_cond = icmp sle i64 %polly.indvar_next, 9930; IR-NEXT: br i1 %polly.loop_cond, label %polly.loop_header, label %polly.loop_exit31 32; IR: polly.loop_preheader:33; IR-NEXT: %41 = add i16 %val, 134; IR-NEXT: %42 = shl i16 %ptr13, 335; IR-NEXT: %43 = add i16 %42, 7236; IR-NEXT: %scevgep = getelementptr i8, ptr %A, i16 %4337; IR-NEXT: br label %polly.loop_header38;39target datalayout = "e-p:16:16:16-m:e-i64:64-f80:128-n8:16:16:64-S128"40 41define void @f(ptr %A, ptr %B, ptr %ptr, i16 %val) {42entry:43 br label %for.cond44 45for.cond: ; preds = %for.inc, %entry46 %i.0 = phi i64 [ 0, %entry ], [ %inc, %for.inc ]47 %exitcond = icmp ne i64 %i.0, 10048 br i1 %exitcond, label %for.body, label %for.end49 50for.body: ; preds = %for.cond51 %add.ptr = getelementptr inbounds i64, ptr %ptr, i64 152 %tmp = ptrtoint ptr %add.ptr to i1653 %add = add nsw i16 %tmp, 154 %add1 = add nsw i16 %val, 155 %tmp1 = inttoptr i16 %add1 to ptr56 %add.ptr2 = getelementptr inbounds i64, ptr %tmp1, i64 157 %tmp2 = ptrtoint ptr %add.ptr2 to i1658 %arrayidx = getelementptr inbounds i64, ptr %B, i16 %tmp259 %tmp3 = load i64, ptr %arrayidx60 %arrayidx3 = getelementptr inbounds i64, ptr %A, i16 %add61 %tmp4 = load i64, ptr %arrayidx362 %add4 = add nsw i64 %tmp4, %tmp363 store i64 %add4, ptr %arrayidx364 br label %for.inc65 66for.inc: ; preds = %for.body67 %inc = add nuw nsw i64 %i.0, 168 br label %for.cond69 70for.end: ; preds = %for.cond71 ret void72}73