3.53. __nv_double2hiint

i32 @__nv_double2hiint(double %d)

Reinterpret high 32 bits in a double as a signed integer.

Reinterpret the high 32 bits in the double-precision floating point value x as a signed integer.