bug fixes

fixes shader-slang#373
fixes bug that misses current translation unit's scope when resolving  entry-point global type argument expression.

Author: csyonghe

source/slang/check.cpp

@@ -6944,14 +6944,18 @@ namespace Slang
         entryPoint->decl = entryPointFuncDecl;
 
         // Lookup generic parameter types in global scope
+        List<RefPtr<Scope>> scopesToTry;
+        scopesToTry.Add(entryPoint->getTranslationUnit()->SyntaxNode->scope);
+        for (auto & module : entryPoint->compileRequest->loadedModulesList)
+            scopesToTry.Add(module->moduleDecl->scope);
         for (auto name : entryPoint->genericParameterTypeNames)
         {   
             // parse type name
             RefPtr<Type> type;
-            for (auto & module : entryPoint->compileRequest->loadedModulesList)
+            for (auto & s : scopesToTry)
             {
                 RefPtr<Expr> typeExpr = entryPoint->compileRequest->parseTypeString(entryPoint->getTranslationUnit(),
-                    name, module->moduleDecl->scope);
+                    name, s);
                 DiagnosticSink nSink;
                 SemanticsVisitor visitor(
                     &nSink,

source/slang/syntax.cpp

@@ -355,7 +355,7 @@ void Type::accept(IValVisitor* visitor, void* extra)
         auto arrType = type->AsArrayType();
         if (!arrType)
             return false;
-        return (ArrayLength == arrType->ArrayLength && baseType->Equals(arrType->baseType.Ptr()));
+        return (ArrayLength->EqualsVal(arrType->ArrayLength) && baseType->Equals(arrType->baseType.Ptr()));
     }
 
     RefPtr<Val> ArrayExpressionType::SubstituteImpl(SubstitutionSet subst, int* ioDiff)

tests/compute/array-param.slang

@@ -0,0 +1,19 @@
+//TEST(compute):COMPARE_COMPUTE:-xslang -use-ir
+//TEST_INPUT:ubuffer(data=[0 0 0 0], stride=4):dxbinding(0),glbinding(0),out
+
+RWStructuredBuffer<int> outputBuffer;
+void writeArray(inout float3 a[4])
+{
+    a[0] = float3(1, 1, 1);
+    a[1] = float3(1, 1, 1);
+    a[2] = float3(1, 1, 1);
+    a[3] = float3(1, 1, 1);    
+}
+
+[numthreads(4, 1, 1)]
+void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
+{
+    float3 b[4];
+    writeArray(b);
+	outputBuffer[dispatchThreadID.x] = b[0].x;
+}

tests/compute/array-param.slang.expected.txt

@@ -0,0 +1,8 @@
+0
+3F80000
+0
+3F80000
+0
+3F80000
+0
+3F80000