3.57. __nv_double2int_rz

i32 @__nv_double2int_rz(double %d)

Convert a double to a signed int in round-towards-zero mode.

Convert the double-precision floating point value x to a signed integer value in round-towards-zero mode.