test/Transforms/LoopStrengthReduce/X86/2011-07-20-DoubleIV.ll

   1 ; RUN: opt < %s -loop-reduce -S -mtriple=x86_64-unknown-unknown | FileCheck %s
   2 ;
   3 ; Test LSR's OptimizeShadowIV. Handle a floating-point IV with a
   4 ; nonzero initial value.
   5 ; rdar://9786536
   6
   7 ; First, make sure LSR doesn't crash on an empty IVUsers list.
   8 ; CHECK-LABEL: @dummyIV(
   9 ; CHECK-NOT: phi
  10 ; CHECK-NOT: sitofp
  11 ; CHECK: br
  12 define void @dummyIV() nounwind {
  13 entry:
  14   br label %loop
  15
  16 loop:
  17   %i.01 = phi i32 [ -39, %entry ], [ %inc, %loop ]
  18   %conv = sitofp i32 %i.01 to double
  19   %inc = add nsw i32 %i.01, 1
  20   br i1 undef, label %loop, label %for.end
  21
  22 for.end:
  23   unreachable
  24 }
  25
  26 ; Now check that the computed double constant is correct.
  27 ; CHECK-LABEL: @doubleIV(
  28 ; CHECK: phi double [ -3.900000e+01, %entry ]
  29 ; CHECK: br
  30 define void @doubleIV() nounwind {
  31 entry:
  32   br label %loop
  33
  34 loop:
  35   %i.01 = phi i32 [ -39, %entry ], [ %inc, %loop ]
  36   %conv = sitofp i32 %i.01 to double
  37   %div = fdiv double %conv, 4.000000e+01
  38   %inc = add nsw i32 %i.01, 1
  39   br i1 undef, label %loop, label %for.end
  40
  41 for.end:
  42   unreachable
  43 }