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 } 20
