3.67. __nv_double2ull_rd

i64 @__nv_double2ull_rd(double %f)

Convert a double to an unsigned 64-bit int in round-down mode.

Convert the double-precision floating point value x to an unsigned 64-bit integer value in round-down (to negative infinity) mode.