From fa917fedc89287778eef65a62413ff09d1065d97 Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Tue, 19 Nov 2024 09:03:48 -0800
Subject: Fix specialization constant miscompile in glsl mode. (#5568)

Co-authored-by: Ellie Hermaszewska <ellieh@nvidia.com>
---
 source/slang/slang-check-decl.cpp | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

(limited to 'source')

diff --git a/source/slang/slang-check-decl.cpp b/source/slang/slang-check-decl.cpp
index fb27614d0..07d5dd1fa 100644
--- a/source/slang/slang-check-decl.cpp
+++ b/source/slang/slang-check-decl.cpp
@@ -1709,6 +1709,18 @@ void SemanticsDeclHeaderVisitor::maybeApplyLayoutModifier(VarDeclBase* varDecl)
     }
 }
 
+bool isSpecializationConstant(VarDeclBase* varDecl)
+{
+    for (auto modifier : varDecl->modifiers)
+    {
+        if (as<SpecializationConstantAttribute>(modifier))
+            return true;
+        if (as<VkConstantIdAttribute>(modifier))
+            return true;
+    }
+    return false;
+}
+
 void SemanticsDeclHeaderVisitor::checkVarDeclCommon(VarDeclBase* varDecl)
 {
     // A variable that didn't have an explicit type written must
@@ -1943,7 +1955,7 @@ void SemanticsDeclHeaderVisitor::checkVarDeclCommon(VarDeclBase* varDecl)
             // without any `uniform` modifiers as true global variables by default.
             if (!varDecl->findModifier<HLSLUniformModifier>() &&
                 !varDecl->findModifier<InModifier>() && !varDecl->findModifier<OutModifier>() &&
-                !varDecl->findModifier<GLSLBufferModifier>())
+                !varDecl->findModifier<GLSLBufferModifier>() && !isSpecializationConstant(varDecl))
             {
                 if (!isUniformParameterType(varDecl->type))
                 {
-- 
cgit v1.2.3