3.197. __nv_int2float_rd

float @__nv_int2float_rd(i32 %in)

Convert a signed integer to a float in round-down mode.

Convert the signed integer value x to a single-precision floating point value in round-down (to negative infinity) mode.