test/Transforms/IndVarSimplify/2009-04-27-Floating.ll

   1 ; RUN: opt < %s -indvars -S | FileCheck %s
   2 ; PR4086
   3 declare void @foo()
   4
   5 define void @test() {
   6 entry:
   7         br label %loop_body
   8
   9 loop_body:
  10         %i = phi float [ %nexti, %loop_body ], [ 0.0, %entry ]
  11         tail call void @foo()
  12         %nexti = fadd float %i, 1.0
  13         ; CHECK: icmp ne i32 %{{[a-zA-Z$._0-9]+}}, 2
  14         %less = fcmp olt float %nexti, 2.0
  15         br i1 %less, label %loop_body, label %done
  16
  17 done:
  18         ret void
  19 }