XX Test global lists using void type

Author: Thirumalai-Shaktivel

examples/expr2.py

@@ -1,9 +1,22 @@
+from ltypes import i32
+
+x: list[i32]
+x.append(100)
+x = [100, 200, 300]
+i: i32
+i = 1
+i = x[0]
+
 def main0():
-    x: i32
-    x = (2+3)*5
+    # This doesn't work yet
+    # x: list[i32] = [1,3,4]
+    # print(i)
     print(x)
+    x.append(400)
+
 
 main0()
+print(x, i)
 
 # Not implemented yet in LPython:
 #if __name__ == "__main__":

src/libasr/codegen/asr_to_llvm.cpp

@@ -1613,7 +1613,7 @@ class ASRToLLVMVisitor : public ASR::BaseVisitor<ASRToLLVMVisitor>
         int64_t ptr_loads_copy = ptr_loads;
         ptr_loads = 0;
         this->visit_expr(*x.m_a);
-        llvm::Value* plist = tmp;
+        llvm::Value* plist = builder->CreateBitCast(tmp, list_type);
 
         ptr_loads = !LLVM::is_llvm_struct(asr_list->m_type);
         this->visit_expr_wrapper(x.m_ele, true);
@@ -1652,7 +1652,7 @@ class ASRToLLVMVisitor : public ASR::BaseVisitor<ASRToLLVMVisitor>
         int64_t ptr_loads_copy = ptr_loads;
         ptr_loads = 0;
         this->visit_expr(*x.m_a);
-        llvm::Value* plist = tmp;
+        llvm::Value* plist = builder->CreateBitCast(tmp, list_type);
 
         ptr_loads = 1;
         this->visit_expr_wrapper(x.m_pos, true);
@@ -1707,7 +1707,7 @@ class ASRToLLVMVisitor : public ASR::BaseVisitor<ASRToLLVMVisitor>
             ptr_loads = 0;
             this->visit_expr(*x.m_arg);
             ptr_loads = ptr_loads_copy;
-            llvm::Value* plist = tmp;
+            llvm::Value* plist = builder->CreateBitCast(tmp, list_type);
             tmp = list_api->len(plist);
         }
     }
@@ -2295,6 +2295,21 @@ class ASRToLLVMVisitor : public ASR::BaseVisitor<ASRToLLVMVisitor>
                 }
             }
             llvm_symtab[h] = ptr;
+        } else if (x.m_type->type == ASR::ttypeType::List) {
+            ASR::storage_typeType m_storage = ASR::storage_typeType::Default;
+            bool is_array_type = false, is_malloc_array_type = false, is_list = false;
+            ASR::dimension_t* m_dims = nullptr;
+            int n_dims = -1, a_kind = -1;
+            list_type = get_type_from_ttype_t(x.m_type, m_storage, is_array_type,
+                is_malloc_array_type, is_list, m_dims, n_dims, a_kind)->getPointerTo();
+            llvm::Type* void_ptr = llvm::Type::getVoidTy(context)->getPointerTo();
+            llvm::Constant *ptr = module->getOrInsertGlobal(x.m_name,
+                    void_ptr);
+            module->getNamedGlobal(x.m_name)->setInitializer(
+                llvm::ConstantPointerNull::get(
+                    static_cast<llvm::PointerType*>(void_ptr))
+                );
+            llvm_symtab[h] = ptr;
         } else if (x.m_type->type == ASR::ttypeType::TypeParameter) {
             // Ignore type variables
         } else {

src/libasr/codegen/llvm_utils.cpp

@@ -657,6 +657,7 @@ namespace LCompilers {
     void LLVMList::list_deepcopy(llvm::Value* src, llvm::Value* dest,
                                  ASR::ttype_t* element_type, llvm::Module* module,
                                  std::map<std::string, std::map<std::string, int>>& name2memidx) {
+        dest = builder->CreateBitCast(dest, src->getType());
         LCOMPILERS_ASSERT(src->getType() == dest->getType());
         std::string src_type_code = ASRUtils::get_type_code(element_type);
         llvm::Value* src_end_point = LLVM::CreateLoad(*builder, get_pointer_to_current_end_point(src));