106 lines · plain
1; RUN: opt %loadNPMPolly -S '-passes=polly<no-default-opts>' < %s | FileCheck %s2;3; int jd(int *restrict A, int x, int N, int c) {4; for (int i = 0; i < N; i++)5; for (int j = 0; j < N; j++)6; if (i < c)7; x += A[i];8; return x;9; }10;11target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"12 13define i32 @jd(ptr noalias %A, i32 %x, i32 %N, i32 %c) {14entry:15; CHECK-LABEL: entry:16; CHECK-DAG: %x.addr.2.s2a = alloca i3217; CHECK-DAG: %x.addr.2.phiops = alloca i3218; CHECK-DAG: %x.addr.1.s2a = alloca i3219; CHECK-DAG: %x.addr.1.phiops = alloca i3220; CHECK-DAG: %x.addr.0.s2a = alloca i3221; CHECK-DAG: %x.addr.0.phiops = alloca i3222 %tmp = sext i32 %N to i6423 %tmp1 = sext i32 %c to i6424 br label %for.cond25 26; CHECK-LABEL: polly.merge_new_and_old:27; CHECK: %x.addr.0.merge = phi i32 [ %x.addr.0.final_reload, %polly.exiting ], [ %x.addr.0, %for.cond ]28; CHECK: ret i32 %x.addr.0.merge29 30; CHECK-LABEL: polly.start:31; CHECK-NEXT: store i32 %x, ptr %x.addr.0.phiops32; CHECK-NEXT: sext33 34; CHECK-LABEL: polly.merge{{[a-z_0-9]*}}:35; CHECK: %x.addr.0.final_reload = load i32, ptr %x.addr.0.s2a36 37for.cond: ; preds = %for.inc5, %entry38; CHECK-LABEL: polly.stmt.for.cond{{[0-9]*}}:39; CHECK: %x.addr.0.phiops.reload[[R1:[0-9]*]] = load i32, ptr %x.addr.0.phiops40; CHECK: store i32 %x.addr.0.phiops.reload[[R1]], ptr %x.addr.0.s2a41 %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc5 ], [ 0, %entry ]42 %x.addr.0 = phi i32 [ %x, %entry ], [ %x.addr.1, %for.inc5 ]43 %cmp = icmp slt i64 %indvars.iv, %tmp44 br i1 %cmp, label %for.body, label %for.end745 46for.body: ; preds = %for.cond47; CHECK-LABEL: polly.stmt.for.body:48; CHECK: %x.addr.0.s2a.reload[[R2:[0-9]*]] = load i32, ptr %x.addr.0.s2a49; CHECK: store i32 %x.addr.0.s2a.reload[[R2]], ptr %x.addr.1.phiops50 br label %for.cond151 52for.inc5: ; preds = %for.end53; CHECK-LABEL: polly.stmt.for.inc5:54; CHECK: %x.addr.1.s2a.reload[[R5:[0-9]*]] = load i32, ptr %x.addr.1.s2a55; CHECK: store i32 %x.addr.1.s2a.reload[[R5]], ptr %x.addr.0.phiops56 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 157 br label %for.cond58 59for.cond1: ; preds = %for.inc, %for.body60; CHECK-LABEL: polly.stmt.for.cond1:61; CHECK: %x.addr.1.phiops.reload = load i32, ptr %x.addr.1.phiops62; CHECK: store i32 %x.addr.1.phiops.reload, ptr %x.addr.1.s2a63 %x.addr.1 = phi i32 [ %x.addr.0, %for.body ], [ %x.addr.2, %for.inc ]64 %j.0 = phi i32 [ 0, %for.body ], [ %inc, %for.inc ]65 %exitcond = icmp ne i32 %j.0, %N66 br i1 %exitcond, label %for.body3, label %for.end67 68for.body3: ; preds = %for.cond169; CHECK-LABEL: polly.stmt.for.body3:70; CHECK: %x.addr.1.s2a.reload = load i32, ptr %x.addr.1.s2a71; CHECK: store i32 %x.addr.1.s2a.reload, ptr %x.addr.2.phiops72 %cmp4 = icmp slt i64 %indvars.iv, %tmp173 br i1 %cmp4, label %if.then, label %if.end74 75if.end: ; preds = %if.then, %for.body376; CHECK-LABEL: polly.stmt.if.end:77; CHECK: %x.addr.2.phiops.reload = load i32, ptr %x.addr.2.phiops78; CHECK: store i32 %x.addr.2.phiops.reload, ptr %x.addr.2.s2a79 %x.addr.2 = phi i32 [ %add, %if.then ], [ %x.addr.1, %for.body3 ]80 br label %for.inc81 82for.inc: ; preds = %if.end83; CHECK-LABEL: polly.stmt.for.inc:84; CHECK: %x.addr.2.s2a.reload[[R3:[0-9]*]] = load i32, ptr %x.addr.2.s2a85; CHECK: store i32 %x.addr.2.s2a.reload[[R3]], ptr %x.addr.1.phiops86 %inc = add nsw i32 %j.0, 187 br label %for.cond188 89if.then: ; preds = %for.body390; CHECK-LABEL: polly.stmt.if.then:91; CHECK: %x.addr.1.s2a.reload[[R5:[0-9]*]] = load i32, ptr %x.addr.1.s2a92; CHECK: %p_add = add nsw i32 %x.addr.1.s2a.reload[[R5]], %tmp2_p_scalar_93; CHECK: store i32 %p_add, ptr %x.addr.2.phiops94 %arrayidx = getelementptr inbounds i32, ptr %A, i64 %indvars.iv95 %tmp2 = load i32, ptr %arrayidx, align 496 %add = add nsw i32 %x.addr.1, %tmp297 br label %if.end98 99for.end: ; preds = %for.cond1100 br label %for.inc5101 102for.end7: ; preds = %for.cond103 ret i32 %x.addr.0104}105 106