1 files changed, 52 insertions, 0 deletions
diff --git a/tests/language-feature/capability/capability7.slang b/tests/language-feature/capability/capability7.slang
new file mode 100644
index 000000000..21f3d68e4
--- /dev/null
+++ b/tests/language-feature/capability/capability7.slang
@@ -0,0 +1,52 @@
+//TEST:SIMPLE(filecheck=CHECK): -target glsl -entry computeMain -stage compute -profile sm_5_0
+//TEST:SIMPLE(filecheck=CHECK_IGNORE_CAPS): -target glsl -emit-spirv-directly -entry computeMain -stage compute  -profile sm_5_0 -ignore-capabilities
+
+// Test that we diagnose simplified capabilities
+// CHECK_IGNORE_CAPS-NOT: error 36104
+// CHECK-NOT: sm_4_0
+// CHECK-NOT: sm_5_0
+// CHECK-NOT: sm_5_1
+// CHECK: error 36104: 'processDataBad' uses undeclared capability 'sm_6_0'
+// CHECK: capability7.slang(28): note: see using of 'processDataBadNested'
+// CHECK: capability7.slang(20): note: see definition of 'processDataBadNested'
+
+
+[require(glsl_hlsl_metal_spirv)]
+void processDataGood()
+{
+}
+
+[require(hlsl, sm_6_0)]
+void processDataBadNested()
+{
+    AllMemoryBarrier();
+}
+
+[require(hlsl)]
+void processDataBad()
+{
+    processDataBadNested();
+}
+
+void myNestedNestedSafeCall()
+{
+    processDataGood();
+}
+
+void myNestedNestedBadCall()
+{
+    processDataGood();
+    processDataBad();
+}
+
+void myNestedCall()
+{
+    myNestedNestedSafeCall();
+    myNestedNestedBadCall();
+}
+
+[numthreads(1,1,1)]
+void computeMain()
+{
+    myNestedCall();
+}