Re: [PATCH v4 0/7] MR490: vkd3d-shader: Int64 support.

[Henri Verbeet (＠hverbeet)]

> +        if (dst[0].reg.data_type == VKD3D_DATA_UINT64)
> +            uint_max_id = spirv_compiler_get_constant_uint64_vector(compiler, 0xffffffffffffffff, component_count);

I don't think "0xffffffffffffffff" is portable/reliable as a 64-bit constant. We should probably use "UINT64_C(0xffffffffffffffff)", although you could probably make a case for either "UINT64_MAX" or "~(uint64_t)0" as well.