Zebediah Figura : tests: Add tests for valid conditional types.

[Alexandre Julliard]

Module: vkd3d
Branch: master
Commit: 57c4a13024f144ed39a8e21e13fad27fc39ff0d9
URL:    https://gitlab.winehq.org/wine/vkd3d/-/commit/57c4a13024f144ed39a8e21e13fad2...

Author: Zebediah Figura 
Date:   Fri Jun 30 19:04:33 2023 -0500

tests: Add tests for valid conditional types.

---

Makefile.am                          |   1 +
 tests/hlsl/cf-cond-types.shader_test | 131 +++++++++++++++++++++++++++++++++++
 2 files changed, 132 insertions(+)

diff --git a/Makefile.am b/Makefile.am
index 1b9abc35..1810b24f 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -73,6 +73,7 @@ vkd3d_shader_tests = \
    tests/hlsl/cast-to-uint.shader_test \
    tests/hlsl/cbuffer.shader_test \
    tests/hlsl/ceil.shader_test \
+	tests/hlsl/cf-cond-types.shader_test \
    tests/hlsl/clamp.shader_test \
    tests/hlsl/clip.shader_test \
    tests/hlsl/combined-samplers.shader_test \
diff --git a/tests/hlsl/cf-cond-types.shader_test b/tests/hlsl/cf-cond-types.shader_test
new file mode 100644
index 00000000..9a6e800a
--- /dev/null
+++ b/tests/hlsl/cf-cond-types.shader_test
@@ -0,0 +1,131 @@
+% Condition to if/for/while must be numeric. They must also be 1-component
+% (although not per se scalar — vectors and matrices are allowed, but not
+% arrays).
+%
+% In theory an implicit conversion to bool is being performed, except that,
+% unlike other places where implicit conversions are performed (assignments,
+% return values) vectors are not truncated, but instead result in an error.
+
+[pixel shader fail]
+static const float2 f;
+float4 main() : sv_target
+{
+    if (f);
+    return 0;
+}
+
+[pixel shader fail]
+static const float f[1];
+float4 main() : sv_target
+{
+    if (f);
+    return 0;
+}
+
+[pixel shader fail]
+static const Texture2D f;
+float4 main() : sv_target
+{
+    if (f);
+    return 0;
+}
+
+[pixel shader fail]
+static const float2 f;
+float4 main() : sv_target
+{
+    while (f);
+    return 0;
+}
+
+[pixel shader fail]
+static const float f[1];
+float4 main() : sv_target
+{
+    while (f);
+    return 0;
+}
+
+[pixel shader fail]
+static const Texture2D f;
+float4 main() : sv_target
+{
+    while (f);
+    return 0;
+}
+
+[pixel shader fail]
+static const float2 f;
+float4 main() : sv_target
+{
+    do; while(f);
+    return 0;
+}
+
+[pixel shader fail]
+static const float f[1];
+float4 main() : sv_target
+{
+    do; while(f);
+    return 0;
+}
+
+[pixel shader fail]
+static const Texture2D f;
+float4 main() : sv_target
+{
+    do; while(f);
+    return 0;
+}
+
+[pixel shader fail]
+static const float2 f;
+float4 main() : sv_target
+{
+    for (; f;);
+    return 0;
+}
+
+[pixel shader fail]
+static const float f[1];
+float4 main() : sv_target
+{
+    for (; f;);
+    return 0;
+}
+
+[pixel shader fail]
+static const Texture2D f;
+float4 main() : sv_target
+{
+    for (; f;);
+    return 0;
+}
+
+[pixel shader todo]
+static const float1x1 f;
+float4 main() : sv_target
+{
+    if (f);
+    for (; f;);
+    while (f);
+    do; while (f);
+    return 0;
+}
+
+[pixel shader]
+uniform float1 f;
+float4 main() : sv_target
+{
+    if (f)
+        return 1;
+    return 0;
+}
+
+[test]
+uniform 0 float4 -2.0 0.0 0.0 0.0
+draw quad
+probe all rgba (1.0, 1.0, 1.0, 1.0)
+uniform 0 float4 -0.0 0.0 0.0 0.0
+draw quad
+probe all rgba (0.0, 0.0, 0.0, 0.0)