[PATCH 1/3] tests: Add tests for valid conditional types.

[Zebediah Figura]

From: Zebediah Figura

---
 Makefile.am                          |   1 +
 tests/hlsl/cf-cond-types.shader_test | 114 +++++++++++++++++++++++++++
 2 files changed, 115 insertions(+)
 create mode 100644 tests/hlsl/cf-cond-types.shader_test

diff --git a/Makefile.am b/Makefile.am
index 648dfb255..7a6381ca4 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -72,6 +72,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 000000000..a1bb99fee
--- /dev/null
+++ b/tests/hlsl/cf-cond-types.shader_test
@@ -0,0 +1,114 @@
+% 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;
+}