Commit Graph

806 Commits

Author SHA1 Message Date
Henri Verbeet
47f2ec1a08 vkd3d-shader/ir: Require default swizzles on vec4 immediate constants.
The SPIR-V, GLSL and MSL backends implicitly handle swizzles on
immediate constants, but the TPF and d3d-asm backends assume a default
swizzle. In principle there's no reason those couldn't support swizzles
on immediate constants, but they're a little pointless.
2025-09-18 11:35:05 +02:00
Henri Verbeet
a1451f8113 vkd3d-shader/ir: Require signed operands for IMIN instructions. 2025-09-18 11:30:20 +02:00
Henri Verbeet
8eebc71c13 vkd3d-shader/ir: Require signed operands for IMAX instructions. 2025-09-18 11:30:19 +02:00
Henri Verbeet
6e8192e198 vkd3d-shader/ir: Require signed source operands for signed integer comparison instructions. 2025-09-18 11:30:19 +02:00
Henri Verbeet
1912f50f52 vkd3d-shader/ir: Validate USHR instructions. 2025-09-18 11:30:18 +02:00
Henri Verbeet
31eb152917 vkd3d-shader/ir: Require signed operands for ISHR instructions. 2025-09-18 11:26:52 +02:00
Francisco Casas
d2d22c7af6 vkd3d-shader/ir: Move the source and destination operand allocators to struct vsir_program. 2025-09-17 12:31:49 +02:00
Francisco Casas
6ed78a0211 vkd3d-shader/ir: Store a pointer to the vsir program in struct control_point_normaliser.
We will move the dst_params and src_params fields from struct
vkd3d_shader_instruction_array to the vsir program next, so we need to
widen the scope of this pointer to the whole vsir program.
2025-09-17 12:19:56 +02:00
Francisco Casas
5278b8461f vkd3d-shader/ir: Store a pointer to the instruction array in struct control_point_normaliser.
We stop storing a shallow copy of the vsir_program.instructions on
control_point_normaliser.instructions since
vkd3d_shader_instruction_array is not meant to be copied by value, which
is evidenced by the fact that the struct has to always be copied back to
program->instructions before returning.
2025-09-17 12:19:56 +02:00
Francisco Casas
9323dc429c vkd3d-shader/ir: Move the outpointid_param field out of struct vkd3d_shader_instruction_array.
It is worth noting that previously, the case of
vsir_program_create_outpointid_param() failing on
sm6_parser_init_signature() wasn't properly handled.
2025-09-17 12:19:55 +02:00
Henri Verbeet
84b89f0675 vkd3d-shader/ir: Remove some unused fields from struct io_normaliser. 2025-09-17 12:18:28 +02:00
Francisco Casas
5a563ce05d vkd3d-shader/ir: Move icbs from struct vkd3d_shader_instruction_array to struct vsir_program. 2025-09-17 11:48:19 +02:00
Elizabeth Figura
32e64cafa5 vkd3d-shader/d3dbc: Lower TEXCOORD instructions. 2025-09-17 11:37:49 +02:00
Elizabeth Figura
5706834b37 vkd3d-shader/d3dbc: Lower TEX instructions. 2025-09-17 11:28:48 +02:00
Elizabeth Figura
b09a17ddde vkd3d-shader/d3dbc: Lower TEXTURE to TEMP registers when written. 2025-09-17 11:22:23 +02:00
Elizabeth Figura
2cf883d1dd vkd3d-shader/d3dbc: Move the error for unhandled d3dbc instructions to vsir_program_lower_d3dbc_instructions(). 2025-09-17 11:10:55 +02:00
Giovanni Mascellani
dddc92ccfd vkd3d-shader/ir: Use a faster TEMP allocation algorithm. 2025-09-16 16:14:23 +02:00
Giovanni Mascellani
92ac3b592b vkd3d-shader/ir: Introduce temp_allocator_compute_allocation_map().
This isolates computing the allocation map from modifying the program
itself, to make it easier to change the allocation algorithm.
2025-09-16 15:52:09 +02:00
Henri Verbeet
89641d3d42 vkd3d-shader/ir: Require signed source operands for ITOF instructions. 2025-09-16 15:46:23 +02:00
Henri Verbeet
8700e3a5bd vkd3d-shader/dxil: Allow returning signed types from vsir_data_type_from_dxil().
We have a number of vsir operations which should take a signed type, but
which the DXIL parser currently emits unsigned types for. For example,
ISHR.

In the SPIR-V backend, we translate ISHR to OpShiftRightArithmetic,
which is specified as filling the most-significant bits of the result
with the sign bit of the "Base" operand. For an unsigned type, that
would technically be 0. In practice, implementations like radv/Mesa seem
to fill with the most-significant bit of the "Base" operand for unsigned
types, but arguably that could be considered a bug. Alternatively, the
wording in the specification is just unfortunate; SPIR-V does generally
take the position that signedness of operands should be irrelevant for
almost all operations. Either way, it seems best to avoid using
OpShiftRightArithmetic with unsigned types.

For a target like MSL, allowing ISHR to take an unsigned source operand
is just inconvenient; we'd have to introduce bitcasts to achieve the
desired behaviour, instead of simply using msl_binop().
2025-09-16 15:46:23 +02:00
Henri Verbeet
db3aaeca17 vkd3d-shader/ir: Make the vsir assembly data type names consistent with the corresponding enum elements. 2025-09-16 15:44:48 +02:00
Henri Verbeet
de2095fda4 vkd3d-shader/ir: Use vsir_data_type_get_name() in vsir_validate_throw_invalid_dst_type_error_with_flags(). 2025-09-10 11:59:04 +02:00
Henri Verbeet
b326097473 vkd3d-shader/ir: Use vsir_data_type_get_name() in vsir_validate_shift_operation(). 2025-09-10 11:59:04 +02:00
Henri Verbeet
e7f3547c24 vkd3d-shader/ir: Use vsir_data_type_get_name() in vsir_validate_cast_operation(). 2025-09-10 11:59:04 +02:00
Henri Verbeet
81f229146c vkd3d-shader/ir: Handle all component types in vsir_data_type_from_component_type(). 2025-09-10 11:42:21 +02:00