diff options
| -rw-r--r-- | polly/test/Isl/CodeGen/inner_scev_2.ll | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/polly/test/Isl/CodeGen/inner_scev_2.ll b/polly/test/Isl/CodeGen/inner_scev_2.ll new file mode 100644 index 00000000000..33fd0dd79bd --- /dev/null +++ b/polly/test/Isl/CodeGen/inner_scev_2.ll @@ -0,0 +1,43 @@ +; RUN: opt %loadPolly -S -polly-no-early-exit -polly-detect-unprofitable -polly-codegen < %s | FileCheck %s +; XFAIL: * +; +; The SCEV expression in this test case refers to a sequence of sdiv +; instructions, which are part of different bbs in the SCoP. When code +; generating the parameter expressions, the code that is generated by the SCEV +; expander has still references to the in-scop instructions, which is invalid. + +target triple = "x86_64-unknown-linux-gnu" + +define void @_vorbis_apply_window(float* %d, i64 %param) { +entry: + %0 = load float*, float** undef, align 8 + %div23.neg = sdiv i64 0, -4 + %sub24 = add i64 0, %div23.neg + br label %for.cond.30.preheader + +for.cond.30.preheader: ; preds = %for.body, %entry + %sext = shl i64 %sub24, 32 + %conv48.74 = ashr exact i64 %sext, 32 + %div43 = sdiv i64 %param, 2 + %cmp49.75 = icmp slt i64 %conv48.74, 0 + br i1 %cmp49.75, label %for.body.51.lr.ph, label %for.cond.60.preheader + +for.body.51.lr.ph: ; preds = %for.cond.30.preheader + %div44 = sdiv i64 %div43, 2 + %sub45 = add nsw i64 %div44, 4294967295 + %1 = trunc i64 %sub45 to i32 + %2 = sext i32 %1 to i64 + br label %for.body.51 + +for.cond.60.preheader: ; preds = %for.body.51, %for.cond.30.preheader + ret void + +for.body.51: ; preds = %for.body.51, %for.body.51.lr.ph + %indvars.iv86 = phi i64 [ %2, %for.body.51.lr.ph ], [ undef, %for.body.51 ] + %arrayidx53 = getelementptr inbounds float, float* %0, i64 %indvars.iv86 + %3 = load float, float* %arrayidx53, align 4 + %arrayidx55 = getelementptr inbounds float, float* %d, i64 0 + %mul56 = fmul float %3, undef + store float %mul56, float* %arrayidx55, align 4 + br i1 false, label %for.body.51, label %for.cond.60.preheader +} |
