[Backport to 14] Translate LLVM-IR zero-length arrays to 1-length arrays in SPIR-V (#3550)

Manual backport of #2743

Co-authored-by: Lorenc Bushi <lorenc.bushi@intel.com>

Author: karolzwolak

lib/SPIRV/SPIRVWriter.cpp

@@ -385,18 +385,14 @@ SPIRVType *LLVMToSPIRVBase::transType(Type *T) {
   if (T->isArrayTy()) {
     // SPIR-V 1.3 s3.32.6: Length is the number of elements in the array.
     //                     It must be at least 1.
-    if (T->getArrayNumElements() < 1) {
-      std::string Str;
-      llvm::raw_string_ostream OS(Str);
-      OS << *T;
-      SPIRVCK(T->getArrayNumElements() >= 1, InvalidArraySize, OS.str());
-    }
-    return mapType(T, BM->addArrayType(
-                          transType(T->getArrayElementType()),
-                          static_cast<SPIRVConstant *>(transValue(
-                              ConstantInt::get(getSizetType(),
-                                               T->getArrayNumElements(), false),
-                              nullptr))));
+    const auto ArraySize =
+        T->getArrayNumElements() ? T->getArrayNumElements() : 1;
+    return mapType(
+        T,
+        BM->addArrayType(
+            transType(T->getArrayElementType()),
+            static_cast<SPIRVConstant *>(transValue(
+                ConstantInt::get(getSizetType(), ArraySize, false), nullptr))));
   }
 
   if (T->isStructTy() && !T->isSized()) {

lib/SPIRV/libSPIRV/SPIRVErrorEnum.h

@@ -7,7 +7,6 @@ _SPIRV_OP(InvalidMemoryModel, "Expects 0-3.")
 _SPIRV_OP(InvalidFunctionControlMask, "")
 _SPIRV_OP(InvalidBuiltinSetName, "Expects OpenCL.std.")
 _SPIRV_OP(InvalidFunctionCall, "Unexpected llvm intrinsic:\n")
-_SPIRV_OP(InvalidArraySize, "Array size must be at least 1:")
 _SPIRV_OP(InvalidBitWidth, "Invalid bit width in input:")
 _SPIRV_OP(InvalidModule, "Invalid SPIR-V module:")
 _SPIRV_OP(InvalidLlvmModule, "Invalid LLVM module:")

test/negative/zero-length-array.ll test/zero-length-array.lltest/negative/zero-length-array.ll renamed to test/zero-length-array.ll

@@ -1,7 +1,9 @@
 ; RUN: llvm-as %s -o %t.bc
-; RUN: not llvm-spirv %t.bc -o %t.spv 2>&1 | FileCheck %s
+; RUN: llvm-spirv %t.bc -o %t.spv
+; RUN: spirv-dis %t.spv | FileCheck %s
 
-; CHECK: InvalidArraySize: Array size must be at least 1: [0 x i32]
+; CHECK: [[REGISTER:%[a-zA-Z0-9_]+]] = OpConstant %uint 1
+; CHECK: OpTypeArray %uint [[REGISTER]]
 
 source_filename = "test.cl"
 target datalayout = "e-p:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024"