47 lines · plain
1; RUN: opt %loadNPMPolly -S '-passes=polly<no-default-opts>' < %s2;3; Excerpt from the test-suite's oggenc reduced using bugpoint.4;5; It features a SCEV value using %div44 for the inner loop (for.body.51 =>6; for.cond.60.preheader) that is computed within the body of the outer loop7; (for.cond.30.preheader => for.cond.60.preheader). CodeGenerator would add a8; computation of the SCEV to before the scop that references %div44, which is9; not available then.10;11; CHECK: polly.split_new_and_old:12; CHECK-NEXT: %div23.neg.polly.copy = sdiv i64 0, -413;14target triple = "x86_64-unknown-linux-gnu"15 16define void @_vorbis_apply_window(ptr %d) {17entry:18 %0 = load ptr, ptr undef, align 819 %div23.neg = sdiv i64 0, -420 %sub24 = add i64 0, %div23.neg21 br label %for.cond.30.preheader22 23for.cond.30.preheader: ; preds = %for.body, %entry24 %sext = shl i64 %sub24, 3225 %conv48.74 = ashr exact i64 %sext, 3226 %cmp49.75 = icmp slt i64 %conv48.74, 027 br i1 %cmp49.75, label %for.body.51.lr.ph, label %for.cond.60.preheader28 29for.body.51.lr.ph: ; preds = %for.cond.30.preheader30 %div44 = sdiv i64 0, 231 %sub45 = add nsw i64 %div44, 429496729532 %1 = trunc i64 %sub45 to i3233 %2 = sext i32 %1 to i6434 br label %for.body.5135 36for.cond.60.preheader: ; preds = %for.body.51, %for.cond.30.preheader37 ret void38 39for.body.51: ; preds = %for.body.51, %for.body.51.lr.ph40 %indvars.iv86 = phi i64 [ %2, %for.body.51.lr.ph ], [ undef, %for.body.51 ]41 %arrayidx53 = getelementptr inbounds float, ptr %0, i64 %indvars.iv8642 %3 = load float, ptr %arrayidx53, align 443 %mul56 = fmul float %3, undef44 store float %mul56, ptr %d, align 445 br i1 false, label %for.body.51, label %for.cond.60.preheader46}47