46 lines · plain
1; RUN: opt %loadNPMPolly -S '-passes=polly<no-default-opts>' < %s | FileCheck %s2;3; This test case has a inner SCEV sdiv that will escape the SCoP. Just check we4; do not crash and generate valid code.5;6; CHECK: polly.split_new_and_old:7;8target triple = "x86_64-unknown-linux-gnu"9 10define i64 @_vorbis_apply_window(ptr %d, i64 %param) {11entry:12 %0 = load ptr, ptr undef, align 813 %div23.neg = sdiv i64 0, -414 %sub24 = add i64 0, %div23.neg15 br label %for.cond.30.preheader16 17for.cond.30.preheader: ; preds = %for.body, %entry18 %sext = shl i64 %sub24, 3219 %conv48.74 = ashr exact i64 %sext, 3220 %div43 = sdiv i64 %param, 221 %cmp49.75 = icmp slt i64 %conv48.74, 022 br i1 %cmp49.75, label %for.body.51.lr.ph, label %for.cond.60.preheader23 24for.body.51.lr.ph: ; preds = %for.cond.30.preheader25 %div44 = sdiv i64 %div43, 226 %sub45 = add nsw i64 %div44, 429496729527 %1 = trunc i64 %sub45 to i3228 %2 = sext i32 %1 to i6429 br label %for.body.5130 31for.cond.60.preheader: ; preds = %for.body.51, %for.cond.30.preheader32 %div44.m = phi i64 [%div44, %for.body.51], [ 0, %for.cond.30.preheader]33 br i1 true, label %end, label %for.cond.30.preheader34 35end:36 ret i64 %div44.m37 38for.body.51: ; preds = %for.body.51, %for.body.51.lr.ph39 %indvars.iv86 = phi i64 [ %2, %for.body.51.lr.ph ], [ poison, %for.body.51 ]40 %arrayidx53 = getelementptr inbounds float, ptr %0, i64 %indvars.iv8641 %3 = load float, ptr %arrayidx53, align 442 %mul56 = fmul float %3, undef43 store float %mul56, ptr %d, align 444 br i1 false, label %for.body.51, label %for.cond.60.preheader45}46