tests: Add a hard test for copy-propagation invalidation.

This test is currently miscompiling on SM4 because
copy_propagation_invalidate_variable_from_deref_recurse() is not always
invalidating the right components.
This commit is contained in:
Francisco Casas
2025-03-11 14:51:38 -03:00
committed by Henri Verbeet
parent a87b1efbd2
commit bff9068a7f
Notes: Henri Verbeet 2025-03-12 22:21:37 +01:00
Approved-by: Elizabeth Figura (@zfigura)
Approved-by: Francisco Casas (@fcasas)
Approved-by: Henri Verbeet (@hverbeet)
Merge-Request: https://gitlab.winehq.org/wine/vkd3d/-/merge_requests/1419

View File

@@ -205,3 +205,21 @@ float4 main() : sv_target
return 0;
}
[pixel shader todo(sm<4)]
float a;
float4 main() : sv_target
{
float arr[2][2] = {1, 2, 3, 4};
if (a > 0)
arr[1][1] = 5;
return float4(arr[0][0], arr[0][1], arr[1][0], arr[1][1]);
}
[test]
uniform 0 float 11.0
todo(sm<4) draw quad
todo(sm<6) probe (0, 0) rgba(1, 2, 3, 5)