polly/test/CodeGen/inner_scev_sdiv_2.ll

   1 ; RUN: opt %loadPolly -S -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 ;
  10 target triple = "x86_64-unknown-linux-gnu"
  11
  12 define void @_vorbis_apply_window(ptr %d, i64 %param) {
  13 entry:
  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
  19 for.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
  26 for.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
  33 for.cond.60.preheader:                            ; preds = %for.body.51, %for.cond.30.preheader
  34   ret void
  35
  36 for.body.51:                                      ; preds = %for.body.51, %for.body.51.lr.ph
  37   %indvars.iv86 = phi i64 [ %2, %for.body.51.lr.ph ], [ undef, %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 }