Merge pull request #2046 from Smit-create/i-2041

LLVM: Support global tuple initialization

Author: Smit-create

integration_tests/CMakeLists.txt

@@ -457,6 +457,7 @@ RUN(NAME test_list_pop2       LABELS cpython llvm NOFAST) # TODO: Remove NOFAST
 RUN(NAME test_tuple_01       LABELS cpython llvm c)
 RUN(NAME test_tuple_02       LABELS cpython llvm c NOFAST)
 RUN(NAME test_tuple_03       LABELS cpython llvm c)
+RUN(NAME test_tuple_04       LABELS cpython llvm c)
 RUN(NAME test_tuple_concat   LABELS cpython llvm)
 RUN(NAME test_tuple_nested   LABELS cpython llvm)
 RUN(NAME test_dict_01        LABELS cpython llvm c)

integration_tests/test_tuple_04.py

@@ -0,0 +1,11 @@
+from lpython import i32
+
+# issue 2041
+ttype    : tuple[list[i32], str] = ([-1], 'dimensions')
+contents : tuple[list[i32], str] = ([1, 2], '')
+
+assert ttype[0] == [-1]
+assert len(ttype[0]) == 1
+assert contents[0] == [1, 2]
+assert len(contents[1]) == 0
+assert ttype[1] == 'dimensions'

src/libasr/codegen/asr_to_llvm.cpp

@@ -2782,6 +2782,14 @@ class ASRToLLVMVisitor : public ASR::BaseVisitor<ASRToLLVMVisitor>
                 llvm::ConstantStruct::get(list_type,
                 llvm::Constant::getNullValue(list_type)));
             llvm_symtab[h] = ptr;
+        } else if (x.m_type->type == ASR::ttypeType::Tuple) {
+            llvm::StructType* tuple_type = static_cast<llvm::StructType*>(
+                get_type_from_ttype_t_util(x.m_type));
+            llvm::Constant *ptr = module->getOrInsertGlobal(x.m_name, tuple_type);
+            module->getNamedGlobal(x.m_name)->setInitializer(
+                llvm::ConstantStruct::get(tuple_type,
+                llvm::Constant::getNullValue(tuple_type)));
+            llvm_symtab[h] = ptr;
         } else if(x.m_type->type == ASR::ttypeType::Dict) {
             llvm::StructType* dict_type = static_cast<llvm::StructType*>(
                 get_type_from_ttype_t_util(x.m_type));