45 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2;3; void f(char *A, short N) {4; for (short i = 0; i < N; i++)5; A[(char)(N)]++;6; }7;8; FIXME: We should the truncate precisely... or just make it a separate parameter.9; CHECK: Assumed Context:10; CHECK-NEXT: [N] -> { : }11; CHECK-NEXT: Invalid Context:12; CHECK-NEXT: [N] -> { : N >= 128 }13;14; CHECK: ReadAccess := [Reduction Type: +] [Scalar: 0]15; CHECK-NEXT: [N] -> { Stmt_for_body[i0] -> MemRef_A[N] };16; CHECK-NEXT: MustWriteAccess := [Reduction Type: +] [Scalar: 0]17; CHECK-NEXT: [N] -> { Stmt_for_body[i0] -> MemRef_A[N] };18;19target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"20 21define void @f(ptr %A, i16 signext %N) {22entry:23 br label %for.cond24 25for.cond: ; preds = %for.inc, %entry26 %indvars.iv = phi i16 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]27 %cmp = icmp slt i16 %indvars.iv, %N28 br i1 %cmp, label %for.body, label %for.end29 30for.body: ; preds = %for.cond31 %idxprom = trunc i16 %N to i832 %arrayidx = getelementptr inbounds i8, ptr %A, i8 %idxprom33 %tmp1 = load i8, ptr %arrayidx, align 134 %inc = add i8 %tmp1, 135 store i8 %inc, ptr %arrayidx, align 136 br label %for.inc37 38for.inc: ; preds = %for.body39 %indvars.iv.next = add nuw nsw i16 %indvars.iv, 140 br label %for.cond41 42for.end: ; preds = %for.cond43 ret void44}45