Fix for emitting ArrayStride decoration for arrays of opaque types

source/slang/slang-emit-spirv.cpp

@@ -2060,7 +2060,9 @@ struct SPIRVEmitContext : public SourceEmitterBase, public SPIRVEmitSharedContex
                     inst->getOp() == kIROp_ArrayType
                         ? emitOpTypeArray(inst, elementType, irArrayType->getElementCount())
                         : emitOpTypeRuntimeArray(inst, elementType);
-                if (shouldEmitArrayStride(irArrayType->getElementType()))
+                // Arrays of opaque types should not emit a stride
+                if (!isIROpaqueType(elementType) &&
+                    shouldEmitArrayStride(irArrayType->getElementType()))
                 {
                     auto stride = 0;
                     // If the array type has no stride, it indicates that this array type is only

source/slang/slang-ir-util.cpp

@@ -2408,4 +2408,17 @@ bool isSignedType(IRType* type)
     }
 }
 
+bool isIROpaqueType(IRType* type)
+{
+    switch (type->getOp())
+    {
+    case kIROp_TextureType:
+    case kIROp_SamplerStateType:
+    case kIROp_SamplerComparisonStateType:
+        return true;
+    default:
+        return false;
+    }
+}
+
 } // namespace Slang

source/slang/slang-ir-util.h

@@ -421,6 +421,8 @@ constexpr bool anyOf(Range&& range, Predicate&& pred)
 IRType* getUnsignedTypeFromSignedType(IRBuilder* builder, IRType* type);
 
 bool isSignedType(IRType* type);
+
+bool isIROpaqueType(IRType* type);
 } // namespace Slang
 
 #endif

tests/language-feature/constants/unsized-opaque-array.slang

@@ -0,0 +1,14 @@
+//TEST:SIMPLE(filecheck=SPIRV): -target spirv -entry main -emit-spirv-directly
+
+// SPIRV-NOT: OpDecorate {{.*}} ArrayStride 8
+layout(binding = 0)
+Texture2D textures[];
+
+RWTexture2D<uint> tex;
+
+[shader("compute")]
+[numthreads(1,1,1)]
+void main(uint3 threadId : SV_DispatchThreadID)
+{
+    tex[threadId.xy] = uint(textures[0][threadId.xy].r);
+}