From 14764896c34b230a5563f48d8b8e565de2f3aa10 Mon Sep 17 00:00:00 2001 From: Yong He Date: Fri, 2 Feb 2024 22:28:02 -0800 Subject: Capability type checking. (#3530) * Capability type checking. * Fix. --------- Co-authored-by: Yong He --- tests/diagnostics/discard-in-compute.slang | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 tests/diagnostics/discard-in-compute.slang (limited to 'tests/diagnostics') diff --git a/tests/diagnostics/discard-in-compute.slang b/tests/diagnostics/discard-in-compute.slang new file mode 100644 index 000000000..e530881bd --- /dev/null +++ b/tests/diagnostics/discard-in-compute.slang @@ -0,0 +1,13 @@ +//TEST:SIMPLE(filecheck=CHECK): -target hlsl -entry main -profile cs_6_1 +void test() +{ + discard; // This should lead to `test` having `fragment` capability requirement. +} + +[shader("compute")] +[numthreads(1,1,1)] +void main() +{ + // CHECK: error 36107 + test(); // compute shader cannot call `test` that require capabiltiy `fragment`. +} -- cgit v1.2.3