3.54. __nv_double2int_rd

i32 @__nv_double2int_rd(double %d)

Convert a double to a signed int in round-down mode.

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