vkd3d-shader/ir: Validate ITOI operations.

This commit is contained in:
Giovanni Mascellani
2025-07-16 21:18:44 +02:00
committed by Henri Verbeet
parent 791a93d0b1
commit 2c1d210d21
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

@@ -11318,6 +11318,19 @@ static void vsir_validate_itof(struct validation_context *ctx, const struct vkd3
vsir_validate_cast_operation(ctx, instruction, src_types, dst_types);
}
static void vsir_validate_itoi(struct validation_context *ctx, const struct vkd3d_shader_instruction *instruction)
{
static const bool types[VKD3D_DATA_COUNT] =
{
[VKD3D_DATA_INT] = true,
[VKD3D_DATA_UINT] = true,
[VKD3D_DATA_UINT64] = true,
[VKD3D_DATA_BOOL] = true,
};
vsir_validate_cast_operation(ctx, instruction, types, types);
}
static void vsir_validate_label(struct validation_context *ctx, const struct vkd3d_shader_instruction *instruction)
{
vsir_validate_cf_type(ctx, instruction, VSIR_CF_BLOCKS);
@@ -11560,6 +11573,7 @@ static const struct vsir_validator_instruction_desc vsir_validator_instructions[
[VSIR_OP_ISINF] = {1, 1, vsir_validate_float_comparison_operation},
[VSIR_OP_ISNAN] = {1, 1, vsir_validate_float_comparison_operation},
[VSIR_OP_ITOF] = {1, 1, vsir_validate_itof},
[VSIR_OP_ITOI] = {1, 1, vsir_validate_itoi},
[VSIR_OP_LABEL] = {0, 1, vsir_validate_label},
[VSIR_OP_LOOP] = {0, ~0u, vsir_validate_loop},
[VSIR_OP_NOP] = {0, 0, vsir_validate_nop},