Zebediah Figura : tests: Add tests for profile syntax in register reservations.

[Alexandre Julliard]

Module: vkd3d
Branch: master
Commit: f7a79517aed8dd882f001a82adbff8f85ac1238d
URL:    https://gitlab.winehq.org/wine/vkd3d/-/commit/f7a79517aed8dd882f001a82adbff8...

Author: Zebediah Figura <zfigura(a)codeweavers.com>
Date:   Mon Aug 28 17:27:17 2023 -0500

tests: Add tests for profile syntax in register reservations.

---

 Makefile.am                                        |   1 +
 .../hlsl/register-reservations-profile.shader_test | 261 +++++++++++++++++++++
 2 files changed, 262 insertions(+)

diff --git a/Makefile.am b/Makefile.am
index 2c36d703..9ed32316 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -169,6 +169,7 @@ vkd3d_shader_tests = \
 	tests/hlsl/reflect.shader_test \
 	tests/hlsl/refract.shader_test \
 	tests/hlsl/register-reservations-numeric.shader_test \
+	tests/hlsl/register-reservations-profile.shader_test \
 	tests/hlsl/register-reservations-resources.shader_test \
 	tests/hlsl/return-implicit-conversion.shader_test \
 	tests/hlsl/return.shader_test \
diff --git a/tests/hlsl/register-reservations-profile.shader_test b/tests/hlsl/register-reservations-profile.shader_test
new file mode 100644
index 00000000..00ca86e6
--- /dev/null
+++ b/tests/hlsl/register-reservations-profile.shader_test
@@ -0,0 +1,261 @@
+% Tests for register reservations that use the "profile" syntax.
+
+[require]
+shader model >= 4.0
+
+[srv 0]
+size (2d, 1, 1)
+0.0 0.0 0.0 99.0
+
+[srv 1]
+size (2d, 1, 1)
+1.0 1.0 1.0 99.0
+
+[srv 2]
+size (2d, 1, 1)
+2.0 2.0 2.0 99.0
+
+[pixel shader todo]
+Texture2D tex1 : register(vs, t1);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+[test]
+todo(sm<6) draw quad
+% sm6 seems to ignore profile qualifiers entirely.
+if(sm>=6) probe all rgba (1, 1, 1, 99)
+if(sm<6)  probe all rgba (0, 0, 0, 99)
+
+
+[pixel shader todo]
+Texture2D tex1 : register(cs, t1);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+[test]
+todo(sm<6) draw quad
+if(sm>=6) probe all rgba (1, 1, 1, 99)
+if(sm<6)  probe all rgba (0, 0, 0, 99)
+
+
+[pixel shader todo]
+Texture2D tex1 : register(ps, t1);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+[test]
+todo(sm<6) draw quad
+probe all rgba (1, 1, 1, 99)
+
+
+[pixel shader fail todo]
+Texture2D tex1 : register(PS, t1);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+
+[pixel shader fail todo]
+Texture2D tex1 : register(qs, t1);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+
+[pixel shader fail]
+Texture2D tex1 : register(ps);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+
+[pixel shader fail(sm<6) todo]
+Texture2D tex1 : register(ps_4, t1);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+[test]
+draw quad
+probe all rgba (1, 1, 1, 99)
+
+
+[pixel shader todo]
+Texture2D tex1 : register(ps_4_0, t1);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+[test]
+todo(sm<6) draw quad
+probe all rgba (1, 1, 1, 99)
+
+
+[pixel shader fail]
+Texture2D tex1 : register(ps.4.0, t1);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+
+[pixel shader todo]
+Texture2D tex1 : register(ps_4_1, t1);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+[test]
+todo(sm<6) draw quad
+if(sm>=6) probe all rgba (1, 1, 1, 99)
+if(sm<6)  probe all rgba (0, 0, 0, 99)
+
+
+[pixel shader todo]
+Texture2D tex1 : register(ps_4_1, t1) : register(ps_4_0, t2);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+[test]
+todo(sm<6) draw quad
+probe all rgba (2, 2, 2, 99)
+
+% The documentation explicitly gives this case as an example, implying that a
+% more specific profile takes precedence over a less specific one. It doesn't.
+% If we're not on the specific version, the compiler silently chooses the
+% general case; if we are, the compiler detects a conflict and fails.
+
+% sm6 is of course different. It seems to detect conflicts if the exact same
+% reservation is given, but if two different reservations are given it instead
+% just picks the last one, without regard to version.
+
+[pixel shader todo]
+Texture2D tex1 : register(ps, t1) : register(ps_5_0, t2);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+[test]
+todo(sm<6) draw quad
+if(sm>=6) probe all rgba (2, 2, 2, 99)
+if(sm<6)  probe all rgba (1, 1, 1, 99)
+
+
+[pixel shader fail(sm<6) todo]
+Texture2D tex1 : register(ps, t1) : register(ps_4_0, t2);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+[test]
+draw quad
+probe all rgba (2, 2, 2, 99)
+
+
+[pixel shader fail(sm<6) todo]
+Texture2D tex1 : register(ps_4_0, t1) : register(ps, t2);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+[test]
+draw quad
+probe all rgba (2, 2, 2, 99)
+
+
+[pixel shader fail(sm<6) todo]
+Texture2D tex1 : register(ps_6_0, t1) : register(ps, t2);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+[test]
+draw quad
+probe all rgba (2, 2, 2, 99)
+
+
+[pixel shader fail todo]
+Texture2D tex1 : register(ps_4_0, t1) : register(t2);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+
+[pixel shader fail]
+Texture2D tex1 : register(t1, ps_4_0);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+
+% It's also illegal to specify contradictory register reservations with the
+% *same* profile, even if they aren't the current one.
+
+[pixel shader fail todo]
+Texture2D tex1 : register(vs_4_0, t1) : register(vs_4_0, t2);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+
+[pixel shader fail todo]
+Texture2D tex1 : register(vs, t1) : register(vs, t2);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+
+% Specifying the same reservation twice is fine, though.
+
+[pixel shader todo]
+Texture2D tex1 : register(ps, t1) : register(ps, t1);
+
+float4 main() : sv_target
+{
+    return tex1.Load(int3(0, 0, 0));
+}
+
+[test]
+todo(sm<6) draw quad
+probe all rgba (1, 1, 1, 99)