; RUN: llc < %s

define float @t(i64 %u_arg) {
        %u = bitcast i64 %u_arg to i64          ; <i64> [#uses=1]
        %tmp5 = add i64 %u, 9007199254740991            ; <i64> [#uses=1]
        %tmp = icmp ugt i64 %tmp5, 18014398509481982            ; <i1> [#uses=1]
        br i1 %tmp, label %T, label %F

T:              ; preds = %0
        ret float 1.000000e+00

F:              ; preds = %0
        call float @t( i64 0 )          ; <float>:1 [#uses=0]
        ret float 0.000000e+00
}