Add support for global set declaration (#2605)

* Add support for global `set` declaration

* Tests: Add test and update test references

* Revert adding tests

* Tests: Add tests and update test references

* Update set1.py

* Tests: Update test references

* Add an assert statement

* Tests: Add more asserts for `set` length

Author: kmr-srbh

integration_tests/CMakeLists.txt

@@ -578,6 +578,7 @@ RUN(NAME test_dict_nested1   LABELS cpython llvm)
 RUN(NAME test_set_len        LABELS cpython llvm)
 RUN(NAME test_set_add        LABELS cpython llvm)
 RUN(NAME test_set_remove     LABELS cpython llvm)
+RUN(NAME test_global_set     LABELS cpython llvm)
 RUN(NAME test_for_loop       LABELS cpython llvm c)
 RUN(NAME modules_01          LABELS cpython llvm c wasm wasm_x86 wasm_x64)
 RUN(NAME modules_02          LABELS cpython llvm c wasm wasm_x86 wasm_x64)

integration_tests/test_global_set.py

@@ -0,0 +1,9 @@
+from lpython import i32
+
+s1: set[str] = {"a", "b", "c", "a"}
+s2: set[i32] = {1, 2, 3, 1}
+s3: set[tuple[i32, i32]] = {(1, 2), (2, 3), (4, 5)}
+
+assert len(s1) == 3
+assert len(s2) == 3
+assert len(s3) == 3

src/libasr/codegen/asr_to_llvm.cpp

@@ -2803,6 +2803,14 @@ class ASRToLLVMVisitor : public ASR::BaseVisitor<ASRToLLVMVisitor>
                 llvm::ConstantStruct::get(dict_type,
                 llvm::Constant::getNullValue(dict_type)));
             llvm_symtab[h] = ptr;
+        } else if(x.m_type->type == ASR::ttypeType::Set) {
+            llvm::StructType* set_type = static_cast<llvm::StructType*>(
+                llvm_utils->get_type_from_ttype_t_util(x.m_type, module.get()));
+            llvm::Constant *ptr = module->getOrInsertGlobal(x.m_name, set_type);
+            module->getNamedGlobal(x.m_name)->setInitializer(
+                llvm::ConstantStruct::get(set_type,
+                llvm::Constant::getNullValue(set_type)));
+            llvm_symtab[h] = ptr;
         } else if (x.m_type->type == ASR::ttypeType::TypeParameter) {
             // Ignore type variables
         } else {