3.130. __nv_float2int_rd

i32 @__nv_float2int_rd(float %in)

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

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