Fix static_assert test

Author: csyonghe

source/slang/slang-diagnostic-defs.h

@@ -49,6 +49,7 @@ DIAGNOSTIC(-1, Note, seeUsingOf, "see using of '$0'")
 DIAGNOSTIC(-1, Note, seeDefinitionOfShader, "see definition of shader '$0'")
 DIAGNOSTIC(-1, Note, seeInclusionOf, "see inclusion of '$0'")
 DIAGNOSTIC(-1, Note, seeModuleBeingUsedIn, "see module '$0' being used in '$1'")
+DIAGNOSTIC(-1, Note, seeCallOfFunc, "see call to '$0'")
 DIAGNOSTIC(-1, Note, seePipelineRequirementDefinition, "see pipeline requirement definition")
 DIAGNOSTIC(
     -1,
@@ -2309,7 +2310,7 @@ DIAGNOSTIC(
     41402,
     Error,
     staticAssertionConditionNotConstant,
-    "condition for static assertion cannot be evaluated at the compile-time.")
+    "condition for static assertion cannot be evaluated at compile time.")
 
 DIAGNOSTIC(
     41402,

source/slang/slang-emit.cpp

@@ -475,6 +475,31 @@ void calcRequiredLoweringPassSet(
     }
 }
 
+void diagnoseCallStack(IRInst* inst, DiagnosticSink* sink)
+{
+    static const int maxDepth = 5;
+    for (int i = 0; i < maxDepth; i++)
+    {
+        auto func = getParentFunc(inst);
+        if (!func)
+            return;
+        bool shouldContinue = false;
+        for (auto use = func->firstUse; use; use = use->nextUse)
+        {
+            auto user = use->getUser();
+            if (auto call = as<IRCall>(user))
+            {
+                sink->diagnose(call, Diagnostics::seeCallOfFunc, func);
+                inst = call;
+                shouldContinue = true;
+                break;
+            }
+        }
+        if (!shouldContinue)
+            return;
+    }
+}
+
 bool checkStaticAssert(IRInst* inst, DiagnosticSink* sink)
 {
     switch (inst->getOp())
@@ -498,6 +523,7 @@ bool checkStaticAssert(IRInst* inst, DiagnosticSink* sink)
                     {
                         sink->diagnose(inst, Diagnostics::staticAssertionFailureWithoutMessage);
                     }
+                    diagnoseCallStack(inst, sink);
                 }
             }
             else

tests/language-feature/static_assert.slang

@@ -1,4 +1,4 @@
-//TEST:SIMPLE(filecheck=CHK):-target hlsl -stage compute -entry computeMain
+//TEST:SIMPLE:-target hlsl -stage compute -entry computeMain
 //TEST:SIMPLE(filecheck=CHK):-target glsl -stage compute -entry computeMain
 //TEST:SIMPLE(filecheck=CHK):-target spirv -stage compute -entry computeMain
 //TEST:SIMPLE(filecheck=HLSL):-target hlsl -stage compute -entry computeMain
@@ -56,14 +56,12 @@ extension MyType<T>
 [numthreads(1,1,1)]
 void computeMain(int3 dispatchThreadID: SV_DispatchThreadID)
 {
-    //CHK-NOT:error {{.*}} TEST_specialize
-    //CHK: error {{.*}} TEST_specialize T_is_int
-    //CHK-NOT:error {{.*}} TEST_specialize
+    // CHK-DAG: error {{.*}} TEST_specialize T_is_int
+    // CHK:error {{.*}} TEST_specialize<float>
     TEST_specialize<float>();
 
-    //CHK-NOT:error {{.*}} TEST_specialize
-    //CHK: error 41400: {{.*}} TEST_specialize T_is_float
-    //CHK-NOT:error {{.*}} TEST_specialize
+    // CHK-DAG: error {{.*}} TEST_specialize T_is_float
+    // CHK:error {{.*}} TEST_specialize<int>
     TEST_specialize<int>();
 
     //HLSL: error {{.*}} TEST_target_switch all