[NVPTX] truncating 64-bit to 32-bit is free