; RUN: opt < %s -indvars -S | FileCheck %s
; PR4086

; Provide legal integer types.
target datalayout = "n8:16:32:64"

declare void @foo()

define void @test() {
entry:
        br label %loop_body

loop_body:
        %i = phi float [ %nexti, %loop_body ], [ 0.0, %entry ]
        tail call void @foo()
        %nexti = fadd float %i, 1.0
        ; CHECK: icmp ne i32 %{{[a-zA-Z$._0-9]+}}, 2
        %less = fcmp olt float %nexti, 2.0
        br i1 %less, label %loop_body, label %done

done:
        ret void
}
