vkd3d-shader/ir: Validate FTOU operations.

This commit is contained in:
Giovanni Mascellani
2025-07-16 21:23:38 +02:00
committed by Henri Verbeet
parent ccc82a184b
commit a7807dea08
Notes: Henri Verbeet 2025-07-17 14:18:59 +02:00
Approved-by: Henri Verbeet (@hverbeet)
Merge-Request: https://gitlab.winehq.org/wine/vkd3d/-/merge_requests/1622

View File

@@ -11304,6 +11304,22 @@ static void vsir_validate_ftoi(struct validation_context *ctx, const struct vkd3
vsir_validate_cast_operation(ctx, instruction, src_types, dst_types);
}
static void vsir_validate_ftou(struct validation_context *ctx, const struct vkd3d_shader_instruction *instruction)
{
static const bool src_types[VKD3D_DATA_COUNT] =
{
[VKD3D_DATA_FLOAT] = true,
[VKD3D_DATA_DOUBLE] = true,
[VKD3D_DATA_HALF] = true,
};
static const bool dst_types[VKD3D_DATA_COUNT] =
{
[VKD3D_DATA_UINT] = true,
};
vsir_validate_cast_operation(ctx, instruction, src_types, dst_types);
}
static void vsir_validate_if(struct validation_context *ctx, const struct vkd3d_shader_instruction *instruction)
{
vsir_validate_cf_type(ctx, instruction, VSIR_CF_STRUCTURED);
@@ -11564,6 +11580,7 @@ static const struct vsir_validator_instruction_desc vsir_validator_instructions[
[VSIR_OP_FRC] = {1, 1, vsir_validate_float_elementwise_operation},
[VSIR_OP_FREM] = {1, 2, vsir_validate_float_elementwise_operation},
[VSIR_OP_FTOI] = {1, 1, vsir_validate_ftoi},
[VSIR_OP_FTOU] = {1, 1, vsir_validate_ftou},
[VSIR_OP_GEO] = {1, 2, vsir_validate_float_comparison_operation},
[VSIR_OP_GEU] = {1, 2, vsir_validate_float_comparison_operation},
[VSIR_OP_HCOS] = {1, 1, vsir_validate_float_elementwise_operation},