llvm.org GIT mirror llvm / release_70 test / Transforms / IndVarSimplify / 2009-04-27-Floating.ll
release_70

Tree @release_70 (Download .tar.gz)

2009-04-27-Floating.ll @release_70raw · history · blame

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