[PATCH v6 05/10] tests: Add tests for "compile" and CompileShader() syntax.

[Francisco Casas]

From: Francisco Casas

---
 Makefile.am                           |   1 +
 tests/hlsl/effect-compile.shader_test | 142 ++++++++++++++++++++++++++
 2 files changed, 143 insertions(+)
 create mode 100644 tests/hlsl/effect-compile.shader_test

diff --git a/Makefile.am b/Makefile.am
index feff9f9e7..2bda279ce 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -91,6 +91,7 @@ vkd3d_shader_tests = \
    tests/hlsl/distance.shader_test \
    tests/hlsl/dot.shader_test \
    tests/hlsl/duplicate-modifiers.shader_test \
+	tests/hlsl/effect-compile.shader_test \
    tests/hlsl/effect-shader-objects-fx_2.shader_test \
    tests/hlsl/effect-shader-objects-fx_5.shader_test \
    tests/hlsl/effect-technique-fx_2.shader_test \
diff --git a/tests/hlsl/effect-compile.shader_test b/tests/hlsl/effect-compile.shader_test
new file mode 100644
index 000000000..d79aeec51
--- /dev/null
+++ b/tests/hlsl/effect-compile.shader_test
@@ -0,0 +1,142 @@
+% Test special "compile" keyword syntax to compile pixel and vertex shaders
+[pixel shader todo]
+float4 fun() : sv_target
+{
+    return 0;
+}
+
+sampler sam
+{
+    cat = compile ps_2_0 fun();
+};
+
+float4 main() : sv_target { return 0; }
+
+
+[pixel shader todo]
+float4 fun() : sv_target
+{
+    return 0;
+}
+
+technique
+{
+    pass
+    {
+        cat = compile ps_2_0 fun();
+    }
+}
+
+float4 main() : sv_target { return 0; }
+
+
+% Only uniform arguments are expected, even if undefined identifiers are used.
+[pixel shader todo]
+float4 fun(uniform float4 a, float4 b, uniform float4 c) : sv_target
+{
+    return a + b + c;
+}
+
+technique
+{
+    pass
+    {
+        cat = compile ps_2_0 fun(foobar, foobar); // Notice 2 arguments, not 3
+    }
+}
+
+float4 main() : sv_target { return 0; }
+
+
+[pixel shader fail(sm<6)]
+float4 fun(uniform float4 a, float4 b, uniform float4 c) : sv_target
+{
+    return a + b + c;
+}
+
+technique
+{
+    pass
+    {
+        // passing 3 arguments here is not valid because the function has only 2 uniforms.
+        cat = compile ps_2_0 fun(1, 2, 3);
+    }
+}
+
+float4 main() : sv_target { return 0; }
+
+
+% Test the CompileShader() syntax.
+[pixel shader todo fail(sm>=6)]
+float arg1, arg2;
+
+float4 main_vertex(uniform float a) : sv_position { return a; }
+
+float4 main(uniform float a) : sv_target { return a; }
+                       // ^ dxc expects a semantic here.
+
+PixelShader ps1 = CompileShader(ps_2_0, main(arg2));
+VertexShader vs1 = CompileShader(vs_2_0, main_vertex(arg1));
+
+technique10 tech1
+{
+    pass pass1
+    {
+        SetVertexShader(vs1);
+        SetPixelShader(ps1);
+    }
+}
+
+
+% Undefined identifiers are not allowed if CompileShader() is used outside a state block.
+[pixel shader fail]
+float4 main(uniform float a) : sv_target { return a; }
+
+PixelShader ps1 = CompileShader(ps_2_0, main(foobar));
+
+
+% But undefined identifiers are allowed if inside a state block.
+[pixel shader todo fail(sm>=6)]
+float4 main_vertex(uniform float a) : sv_position { return a; }
+
+float4 main(uniform float a) : sv_target { return a; }
+                       // ^ dxc expects a semantic here.
+
+technique tech1
+{
+    pass pass1
+    {
+        SetVertexShader(CompileShader(vs_2_0, main_vertex(foo)));
+        SetPixelShader(CompileShader(ps_2_0, main(bar)));
+    }
+}
+
+
+% Again only uniform parameters are expected
+[pixel shader fail]
+float aa, bb;
+
+float4 main(uniform float a, float b) : sv_target { return a; }
+
+PixelShader ps1 = CompileShader(ps_2_0, main(aa, bb));
+
+
+% Only a set of target profiles are allowed
+[pixel shader fail(sm<6)]
+float4 main() : sv_target { return 0; }
+
+PixelShader ps1 = CompileShader(ps_6_0, main());
+
+[pixel shader fail(sm<6)]
+float4 main() : sv_target { return 0; }
+
+PixelShader ps1 = CompileShader(fs_2_0, main());
+
+
+% Shaders cannot be passed around to another variable: "Initializer must be literal expressions.".
+[pixel shader fail(sm<6)]
+float4 main() : sv_target { return 0; }
+
+PixelShader ps1 = CompileShader(ps_2_0, main());
+PixelShader ps2 = ps1;
+