From f7a79517aed8dd882f001a82adbff8f85ac1238d Mon Sep 17 00:00:00 2001 From: Zebediah Figura Date: Mon, 28 Aug 2023 17:27:17 -0500 Subject: [PATCH] tests: Add tests for profile syntax in register reservations. --- Makefile.am | 1 + .../register-reservations-profile.shader_test | 261 ++++++++++++++++++ 2 files changed, 262 insertions(+) create mode 100644 tests/hlsl/register-reservations-profile.shader_test 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)