1; RUN: opt %loadNPMPolly -S -passes=polly-codegen < %s | FileCheck %s 2; 3; The SCEV expression in this test case refers to a sequence of sdiv 4; instructions, which are part of different bbs in the SCoP. When code 5; generating the parameter expressions, the code that is generated by the SCEV 6; expander has still references to the in-scop instructions, which was invalid. 7; 8; CHECK: polly.start 9; 10target triple = "x86_64-unknown-linux-gnu" 11 12define void @_vorbis_apply_window(ptr %d, i64 %param) { 13entry: 14 %0 = load ptr, ptr undef, align 8 15 %div23.neg = sdiv i64 0, -4 16 %sub24 = add i64 0, %div23.neg 17 br label %for.cond.30.preheader 18 19for.cond.30.preheader: ; preds = %for.body, %entry 20 %sext = shl i64 %sub24, 32 21 %conv48.74 = ashr exact i64 %sext, 32 22 %div43 = sdiv i64 %param, 2 23 %cmp49.75 = icmp slt i64 %conv48.74, 0 24 br i1 %cmp49.75, label %for.body.51.lr.ph, label %for.cond.60.preheader 25 26for.body.51.lr.ph: ; preds = %for.cond.30.preheader 27 %div44 = sdiv i64 %div43, 2 28 %sub45 = add nsw i64 %div44, 4294967295 29 %1 = trunc i64 %sub45 to i32 30 %2 = sext i32 %1 to i64 31 br label %for.body.51 32 33for.cond.60.preheader: ; preds = %for.body.51, %for.cond.30.preheader 34 ret void 35 36for.body.51: ; preds = %for.body.51, %for.body.51.lr.ph 37 %indvars.iv86 = phi i64 [ %2, %for.body.51.lr.ph ], [ poison, %for.body.51 ] 38 %arrayidx53 = getelementptr inbounds float, ptr %0, i64 %indvars.iv86 39 %3 = load float, ptr %arrayidx53, align 4 40 %mul56 = fmul float %3, undef 41 store float %mul56, ptr %d, align 4 42 br i1 false, label %for.body.51, label %for.cond.60.preheader 43} 44