November 2022 - Wine-Commits

Francisco Casas : vkd3d-shader/hlsl: Use reg_size as component count when allocating a single register.
by Alexandre Julliard Nov. 10, 2022

Nov. 10, 2022

Module: vkd3d Branch: master Commit: f21693b28458f6198d93226fd808eda3cae04c48 URL: https://gitlab.winehq.org/wine/vkd3d/-/commit/f21693b28458f6198d93226fd808e… Author: Francisco Casas <fcasas(a)codeweavers.com> Date: Mon Oct 31 12:35:16 2022 -0300 vkd3d-shader/hlsl: Use reg_size as component count when allocating a single register. Otherwise, for instance, the added test results in: debug_hlsl_writemask: Assertion `!(writemask & ~VKD3DSP_WRITEMASK_ALL)' failed. Which happens in allocate_variable_temp_register() when the variable's type reg_size is <= 4 but its component count is larger, which may happen if it contains objects. --- libs/vkd3d-shader/hlsl_codegen.c | 8 ++++---- tests/object-references.shader_test | 25 +++++++++++++++++++++++++ 2 files changed, 29 insertions(+), 4 deletions(-) diff --git a/libs/vkd3d-shader/hlsl_codegen.c b/libs/vkd3d-shader/hlsl_codegen.c index 18c26771..58d44c4d 100644 --- a/libs/vkd3d-shader/hlsl_codegen.c +++ b/libs/vkd3d-shader/hlsl_codegen.c @@ -1927,7 +1927,7 @@ static void allocate_variable_temp_register(struct hlsl_ctx *ctx, struct hlsl_ir var->last_read, var->data_type->reg_size); else var->reg = allocate_register(ctx, liveness, var->first_write, - var->last_read, hlsl_type_component_count(var->data_type)); + var->last_read, var->data_type->reg_size); TRACE("Allocated %s to %s (liveness %u-%u).\n", var->name, debug_register('r', var->reg, var->data_type), var->first_write, var->last_read); } @@ -1946,7 +1946,7 @@ static void allocate_temp_registers_recurse(struct hlsl_ctx *ctx, struct hlsl_bl instr->last_read, instr->data_type->reg_size); else instr->reg = allocate_register(ctx, liveness, instr->index, - instr->last_read, instr->data_type->dimx); + instr->last_read, instr->data_type->reg_size); TRACE("Allocated anonymous expression @%u to %s (liveness %u-%u).\n", instr->index, debug_register('r', instr->reg, instr->data_type), instr->index, instr->last_read); } @@ -2009,7 +2009,7 @@ static void allocate_const_registers_recurse(struct hlsl_ctx *ctx, struct hlsl_b if (reg_size > 4) constant->reg = allocate_range(ctx, liveness, 1, UINT_MAX, reg_size); else - constant->reg = allocate_register(ctx, liveness, 1, UINT_MAX, type->dimx); + constant->reg = allocate_register(ctx, liveness, 1, UINT_MAX, reg_size); TRACE("Allocated constant @%u to %s.\n", instr->index, debug_register('c', constant->reg, type)); if (!hlsl_array_reserve(ctx, (void **)&defs->values, &defs->size, @@ -2111,7 +2111,7 @@ static void allocate_const_registers(struct hlsl_ctx *ctx, struct hlsl_ir_functi else { var->reg = allocate_register(ctx, &liveness, 1, UINT_MAX, 4); - var->reg.writemask = (1u << var->data_type->dimx) - 1; + var->reg.writemask = (1u << var->data_type->reg_size) - 1; } TRACE("Allocated %s to %s.\n", var->name, debug_register('c', var->reg, var->data_type)); } diff --git a/tests/object-references.shader_test b/tests/object-references.shader_test index f3fda472..a33bd14a 100644 --- a/tests/object-references.shader_test +++ b/tests/object-references.shader_test @@ -118,3 +118,28 @@ float4 main() : sv_target { return tex[n].Load(0); } + + +[pixel shader todo] +Texture2D tex; +uniform float f; + +struct apple +{ + Texture2D tex1; + Texture2D tex2; + float3 aa; +}; + +float4 main() : sv_target +{ + struct apple a = {tex, tex, 1.0, 2.0, 3.0}; + + a.aa += f; + return a.aa.xyzx; +} + +[test] +uniform 0 float 10.0 +todo draw quad +todo probe (0, 0) rgba (11.0, 12.0, 13.0, 11.0)

1 0

Francisco Casas : vkd3d-shader/hlsl: Don't allocate object types as constant registers.
by Alexandre Julliard Nov. 10, 2022

Nov. 10, 2022

Module: vkd3d Branch: master Commit: 3153ce3145d9f36b0dab8928cd0e85415bf00dea URL: https://gitlab.winehq.org/wine/vkd3d/-/commit/3153ce3145d9f36b0dab8928cd0e8… Author: Francisco Casas <fcasas(a)codeweavers.com> Date: Wed Sep 7 16:51:56 2022 -0400 vkd3d-shader/hlsl: Don't allocate object types as constant registers. --- libs/vkd3d-shader/hlsl_codegen.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/libs/vkd3d-shader/hlsl_codegen.c b/libs/vkd3d-shader/hlsl_codegen.c index 27af49cf..18c26771 100644 --- a/libs/vkd3d-shader/hlsl_codegen.c +++ b/libs/vkd3d-shader/hlsl_codegen.c @@ -2103,6 +2103,9 @@ static void allocate_const_registers(struct hlsl_ctx *ctx, struct hlsl_ir_functi { if (var->is_uniform && var->last_read) { + if (var->data_type->reg_size == 0) + continue; + if (var->data_type->reg_size > 4) var->reg = allocate_range(ctx, &liveness, 1, UINT_MAX, var->data_type->reg_size); else

1 0

Francisco Casas : vkd3d-shader/hlsl: Use the base type of the array elements in write_sm1_type().
by Alexandre Julliard Nov. 10, 2022

Nov. 10, 2022

Module: vkd3d Branch: master Commit: 90e6e418a38ac03ad8ca2045070d761d7ad9c84f URL: https://gitlab.winehq.org/wine/vkd3d/-/commit/90e6e418a38ac03ad8ca2045070d7… Author: Francisco Casas <fcasas(a)codeweavers.com> Date: Mon Sep 5 18:06:44 2022 -0300 vkd3d-shader/hlsl: Use the base type of the array elements in write_sm1_type(). --- libs/vkd3d-shader/hlsl_sm1.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libs/vkd3d-shader/hlsl_sm1.c b/libs/vkd3d-shader/hlsl_sm1.c index 2219ef56..ba22925e 100644 --- a/libs/vkd3d-shader/hlsl_sm1.c +++ b/libs/vkd3d-shader/hlsl_sm1.c @@ -272,7 +272,7 @@ static void write_sm1_type(struct vkd3d_bytecode_buffer *buffer, struct hlsl_typ } } - type->bytecode_offset = put_u32(buffer, vkd3d_make_u32(sm1_class(type), sm1_base_type(type))); + type->bytecode_offset = put_u32(buffer, vkd3d_make_u32(sm1_class(type), sm1_base_type(array_type))); put_u32(buffer, vkd3d_make_u32(type->dimy, type->dimx)); put_u32(buffer, vkd3d_make_u32(array_size, field_count)); put_u32(buffer, fields_offset);

1 0

Francisco Casas : vkd3d-shader/hlsl: Validate that statics don't contain both resources and numerics.
by Alexandre Julliard Nov. 10, 2022

Nov. 10, 2022

Module: vkd3d Branch: master Commit: 6873b7130417b32474705339e6c94c6364d88115 URL: https://gitlab.winehq.org/wine/vkd3d/-/commit/6873b7130417b32474705339e6c94… Author: Francisco Casas <fcasas(a)codeweavers.com> Date: Tue Nov 1 19:35:12 2022 -0300 vkd3d-shader/hlsl: Validate that statics don't contain both resources and numerics. --- libs/vkd3d-shader/hlsl.y | 27 +++++++++++++++++++++++++++ tests/hlsl-invalid.shader_test | 14 ++++++++++++++ 2 files changed, 41 insertions(+) diff --git a/libs/vkd3d-shader/hlsl.y b/libs/vkd3d-shader/hlsl.y index 0e97d4d1..6461ade5 100644 --- a/libs/vkd3d-shader/hlsl.y +++ b/libs/vkd3d-shader/hlsl.y @@ -1907,6 +1907,26 @@ static bool type_has_object_components(struct hlsl_type *type, bool must_be_in_s return false; } +static bool type_has_numeric_components(struct hlsl_type *type) +{ + if (type->type <= HLSL_CLASS_LAST_NUMERIC) + return true; + if (type->type == HLSL_CLASS_ARRAY) + return type_has_numeric_components(type->e.array.type); + + if (type->type == HLSL_CLASS_STRUCT) + { + unsigned int i; + + for (i = 0; i < type->e.record.field_count; ++i) + { + if (type_has_numeric_components(type->e.record.fields[i].type)) + return true; + } + } + return false; +} + static struct list *declare_vars(struct hlsl_ctx *ctx, struct hlsl_type *basic_type, DWORD modifiers, struct list *var_list) { @@ -2076,6 +2096,13 @@ static struct list *declare_vars(struct hlsl_ctx *ctx, struct hlsl_type *basic_t "Semantics are not allowed on local variables."); } + if ((var->modifiers & HLSL_STORAGE_STATIC) && type_has_numeric_components(var->data_type) + && type_has_object_components(var->data_type, false)) + { + hlsl_error(ctx, &var->loc, VKD3D_SHADER_ERROR_HLSL_INVALID_TYPE, + "Static variables cannot have both numeric and resource components."); + } + if ((type->modifiers & HLSL_MODIFIER_CONST) && !v->initializer.args_count && !(modifiers & (HLSL_STORAGE_STATIC | HLSL_STORAGE_UNIFORM))) { diff --git a/tests/hlsl-invalid.shader_test b/tests/hlsl-invalid.shader_test index a7364b1e..1b39d7f0 100644 --- a/tests/hlsl-invalid.shader_test +++ b/tests/hlsl-invalid.shader_test @@ -250,3 +250,17 @@ float4 main() : sv_target a.a = 1; return a.a; } + +[pixel shader fail] +struct apple +{ + sampler sam; + float4 aa; +}; + +static struct apple a; + +float4 main() : sv_target +{ + return 1.0; +}

1 0

Francisco Casas : vkd3d-shader/hlsl: Validate that extern structs don't contain objects SM < 5.
by Alexandre Julliard Nov. 10, 2022

Nov. 10, 2022

Module: vkd3d Branch: master Commit: 2fa913ccaa96c2676d7b65dfea92c38abd56dda5 URL: https://gitlab.winehq.org/wine/vkd3d/-/commit/2fa913ccaa96c2676d7b65dfea92c… Author: Francisco Casas <fcasas(a)codeweavers.com> Date: Tue Nov 1 19:13:39 2022 -0300 vkd3d-shader/hlsl: Validate that extern structs don't contain objects SM < 5. It is worth noting that these checks should also be included for declarations inside cbuffers, once they are implemented. --- libs/vkd3d-shader/hlsl.y | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) diff --git a/libs/vkd3d-shader/hlsl.y b/libs/vkd3d-shader/hlsl.y index f77b0b61..0e97d4d1 100644 --- a/libs/vkd3d-shader/hlsl.y +++ b/libs/vkd3d-shader/hlsl.y @@ -1887,6 +1887,26 @@ static void initialize_var_components(struct hlsl_ctx *ctx, struct list *instrs, } } +static bool type_has_object_components(struct hlsl_type *type, bool must_be_in_struct) +{ + if (type->type == HLSL_CLASS_OBJECT) + return !must_be_in_struct; + if (type->type == HLSL_CLASS_ARRAY) + return type_has_object_components(type->e.array.type, must_be_in_struct); + + if (type->type == HLSL_CLASS_STRUCT) + { + unsigned int i; + + for (i = 0; i < type->e.record.field_count; ++i) + { + if (type_has_object_components(type->e.record.fields[i].type, false)) + return true; + } + } + return false; +} + static struct list *declare_vars(struct hlsl_ctx *ctx, struct hlsl_type *basic_type, DWORD modifiers, struct list *var_list) { @@ -2022,6 +2042,13 @@ static struct list *declare_vars(struct hlsl_ctx *ctx, struct hlsl_type *basic_t if (!(modifiers & HLSL_STORAGE_STATIC)) var->modifiers |= HLSL_STORAGE_UNIFORM; + if (ctx->profile->major_version < 5 && (var->modifiers & HLSL_STORAGE_UNIFORM) && + type_has_object_components(var->data_type, true)) + { + hlsl_error(ctx, &var->loc, VKD3D_SHADER_ERROR_HLSL_INVALID_TYPE, + "Target profile doesn't support objects as struct members in uniform variables.\n"); + } + if ((func = hlsl_get_func_decl(ctx, var->name))) { hlsl_error(ctx, &var->loc, VKD3D_SHADER_ERROR_HLSL_REDEFINED,

1 0

Francisco Casas : vkd3d-shader/hlsl: Properly free new store node memory if init_deref() fails.
by Alexandre Julliard Nov. 10, 2022

Nov. 10, 2022

Module: vkd3d Branch: master Commit: 6f6ba8aa56a7d71861e522a9aa63cc47dc52d45d URL: https://gitlab.winehq.org/wine/vkd3d/-/commit/6f6ba8aa56a7d71861e522a9aa63c… Author: Francisco Casas <fcasas(a)codeweavers.com> Date: Wed Sep 14 16:57:13 2022 -0300 vkd3d-shader/hlsl: Properly free new store node memory if init_deref() fails. --- libs/vkd3d-shader/hlsl.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/libs/vkd3d-shader/hlsl.c b/libs/vkd3d-shader/hlsl.c index eddbf2c8..8aa289ac 100644 --- a/libs/vkd3d-shader/hlsl.c +++ b/libs/vkd3d-shader/hlsl.c @@ -885,7 +885,10 @@ struct hlsl_ir_store *hlsl_new_store_index(struct hlsl_ctx *ctx, const struct hl init_node(&store->node, HLSL_IR_STORE, NULL, loc); if (!init_deref(ctx, &store->lhs, lhs->var, lhs->path_len + !!idx)) + { + vkd3d_free(store); return NULL; + } for (i = 0; i < lhs->path_len; ++i) hlsl_src_from_node(&store->lhs.path[i], lhs->path[i].node); if (idx)

1 0

Tim Clem : wow64: Truncate too-large regions from NtQueryVirtualMemory(MemoryRegionInformation).
by Alexandre Julliard Nov. 9, 2022

Nov. 9, 2022

Module: wine Branch: master Commit: 06321ba57b17635cf2bd945ce38d2c95367b2156 URL: https://gitlab.winehq.org/wine/wine/-/commit/06321ba57b17635cf2bd945ce38d2c… Author: Tim Clem <tclem(a)codeweavers.com> Date: Tue Nov 8 13:51:40 2022 -0800 wow64: Truncate too-large regions from NtQueryVirtualMemory(MemoryRegionInformation). AllocationBase + RegionSize should not exceed the highest WoW user address. --- dlls/wow64/virtual.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/dlls/wow64/virtual.c b/dlls/wow64/virtual.c index f9a0e0b6bc8..c41d0a930ca 100644 --- a/dlls/wow64/virtual.c +++ b/dlls/wow64/virtual.c @@ -444,6 +444,8 @@ NTSTATUS WINAPI wow64_NtQueryVirtualMemory( UINT *args ) info32->CommitSize = info.CommitSize; info32->PartitionId = info.PartitionId; info32->NodePreference = info.NodePreference; + if ((ULONG_PTR)info.AllocationBase + info.RegionSize > highest_user_address) + info32->RegionSize = highest_user_address - (ULONG_PTR)info.AllocationBase + 1; } } res_len = sizeof(MEMORY_REGION_INFORMATION32);

1 0

Tim Clem : wow64: Truncate too-large regions from NtQueryVirtualMemory(MemoryBasicInformation).
by Alexandre Julliard Nov. 9, 2022

Nov. 9, 2022

Module: wine Branch: master Commit: d47bdb3eb270b31d2c507a91a49ede20f4cdf2aa URL: https://gitlab.winehq.org/wine/wine/-/commit/d47bdb3eb270b31d2c507a91a49ede… Author: Tim Clem <tclem(a)codeweavers.com> Date: Tue Nov 8 13:44:00 2022 -0800 wow64: Truncate too-large regions from NtQueryVirtualMemory(MemoryBasicInformation). BaseAddress + RegionSize should not exceed the highest WoW user address. --- dlls/wow64/virtual.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/dlls/wow64/virtual.c b/dlls/wow64/virtual.c index 4d3bb90386a..8396b2de334 100644 --- a/dlls/wow64/virtual.c +++ b/dlls/wow64/virtual.c @@ -399,6 +399,8 @@ NTSTATUS WINAPI wow64_NtQueryVirtualMemory( UINT *args ) info32->State = info.State; info32->Protect = info.Protect; info32->Type = info.Type; + if ((ULONG_PTR)info.BaseAddress + info.RegionSize > highest_user_address) + info32->RegionSize = highest_user_address - (ULONG_PTR)info.BaseAddress + 1; } } res_len = sizeof(MEMORY_BASIC_INFORMATION32);

1 0

Tim Clem : wow64: Return error from NtQueryVirtualMemory(MemoryRegionInformation) for a too-large address.
by Alexandre Julliard Nov. 9, 2022

Nov. 9, 2022

Module: wine Branch: master Commit: 62fbfe87612eb973a42b73adc8f023bc2dc4cbb1 URL: https://gitlab.winehq.org/wine/wine/-/commit/62fbfe87612eb973a42b73adc8f023… Author: Tim Clem <tclem(a)codeweavers.com> Date: Tue Nov 8 13:50:02 2022 -0800 wow64: Return error from NtQueryVirtualMemory(MemoryRegionInformation) for a too-large address. --- dlls/wow64/virtual.c | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/dlls/wow64/virtual.c b/dlls/wow64/virtual.c index 8396b2de334..f9a0e0b6bc8 100644 --- a/dlls/wow64/virtual.c +++ b/dlls/wow64/virtual.c @@ -426,7 +426,11 @@ NTSTATUS WINAPI wow64_NtQueryVirtualMemory( UINT *args ) case MemoryRegionInformation: /* MEMORY_REGION_INFORMATION */ { - if (len >= sizeof(MEMORY_REGION_INFORMATION32)) + if (len < sizeof(MEMORY_REGION_INFORMATION32)) + status = STATUS_INFO_LENGTH_MISMATCH; + if ((ULONG_PTR)addr > highest_user_address) + status = STATUS_INVALID_PARAMETER; + else { MEMORY_REGION_INFORMATION info; MEMORY_REGION_INFORMATION32 *info32 = ptr; @@ -442,7 +446,6 @@ NTSTATUS WINAPI wow64_NtQueryVirtualMemory( UINT *args ) info32->NodePreference = info.NodePreference; } } - else status = STATUS_INFO_LENGTH_MISMATCH; res_len = sizeof(MEMORY_REGION_INFORMATION32); break; }

1 0

Martin Storsjö : ntdll: Write ret_len with the right size in user_mode_callback_return on arm64.
by Alexandre Julliard Nov. 9, 2022

Nov. 9, 2022

Module: wine Branch: master Commit: 464d3c86dcb1bd057bde84765e4b2ca1aafaec23 URL: https://gitlab.winehq.org/wine/wine/-/commit/464d3c86dcb1bd057bde84765e4b2c… Author: Martin Storsjö <martin(a)martin.st> Date: Wed Nov 9 19:41:36 2022 +0200 ntdll: Write ret_len with the right size in user_mode_callback_return on arm64. This fixes a regression since 4069a8b384c15a90a7af66636ec5650eeb53b391. Signed-off-by: Martin Storsjö <martin(a)martin.st> --- dlls/ntdll/unix/signal_arm64.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dlls/ntdll/unix/signal_arm64.c b/dlls/ntdll/unix/signal_arm64.c index bc8225d7ec8..7bce856d616 100644 --- a/dlls/ntdll/unix/signal_arm64.c +++ b/dlls/ntdll/unix/signal_arm64.c @@ -940,7 +940,7 @@ __ASM_GLOBAL_FUNC( user_mode_callback_return, "ldp d14, d15, [x29, #0x90]\n\t" "ldp x5, x6, [x29, #0xa0]\n\t" /* ret_ptr, ret_len */ "str x0, [x5]\n\t" /* ret_ptr */ - "str x1, [x6]\n\t" /* ret_len */ + "str w1, [x6]\n\t" /* ret_len */ "mov x0, x2\n\t" /* status */ "mov sp, x29\n\t" "ldp x29, x30, [sp], #0xc0\n\t"

1 0