3.56. __nv_double2int_ru

i32 @__nv_double2int_ru(double %d)

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

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