3 define float @t(i64 %u_arg) {
4 %u = bitcast i64 %u_arg to i64 ; <i64> [#uses=1]
5 %tmp5 = add i64 %u, 9007199254740991 ; <i64> [#uses=1]
6 %tmp = icmp ugt i64 %tmp5, 18014398509481982 ; <i1> [#uses=1]
7 br i1 %tmp, label %T, label %F
10 ret float 1.000000e+00
13 call float @t( i64 0 ) ; <float>:1 [#uses=0]
14 ret float 0.000000e+00