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