1; RUN: opt < %s -indvars -S | FileCheck %s
2; PR4086
3declare void @foo()
4
5define void @test() {
6entry:
7        br label %loop_body
8
9loop_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
17done:
18        ret void
19}
20