Merge pull request lcompilers#2430 from Thirumalai-Shaktivel/symbolic_02

Enable llvm tests for symbolics
wolfv · Nov 29, 2023 · 20b249e · 20b249e
2 parents 56b300b + 05f10bb
commit 20b249e
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 7 deletions.
diff --git a/integration_tests/CMakeLists.txt b/integration_tests/CMakeLists.txt
@@ -714,9 +714,9 @@ RUN(NAME symbolics_07        LABELS cpython_sym c_sym llvm_sym NOFAST)
 RUN(NAME symbolics_08        LABELS cpython_sym c_sym llvm_sym)
 RUN(NAME symbolics_09        LABELS cpython_sym c_sym llvm_sym NOFAST)
 RUN(NAME symbolics_10        LABELS cpython_sym c_sym llvm_sym NOFAST)
-RUN(NAME symbolics_11        LABELS cpython_sym c_sym NOFAST)
+RUN(NAME symbolics_11        LABELS cpython_sym c_sym llvm_sym NOFAST)
 RUN(NAME symbolics_12        LABELS cpython_sym c_sym llvm_sym NOFAST)
-RUN(NAME symbolics_13        LABELS cpython_sym c_sym NOFAST)
+RUN(NAME symbolics_13        LABELS cpython_sym c_sym llvm_sym NOFAST)
 
 RUN(NAME sizeof_01           LABELS llvm c
         EXTRAFILES sizeof_01b.c)

diff --git a/src/libasr/codegen/asr_to_llvm.cpp b/src/libasr/codegen/asr_to_llvm.cpp
@@ -7766,9 +7766,9 @@ class ASRToLLVMVisitor : public ASR::BaseVisitor<ASRToLLVMVisitor>
                     if (llvm_symtab.find(h) != llvm_symtab.end()) {
                         tmp = llvm_symtab[h];
                         if( !ASRUtils::is_array(arg->m_type) ) {
-
                             if (x_abi == ASR::abiType::Source && ASR::is_a<ASR::CPtr_t>(*arg->m_type)) {
-                                if (arg->m_intent == intent_local) {
+                                if ( orig_arg_intent != ASRUtils::intent_out &&
+                                        arg->m_intent == intent_local ) {
                                     // Local variable of type
                                     // CPtr is a void**, so we
                                     // have to load it
@@ -7815,9 +7815,10 @@ class ASRToLLVMVisitor : public ASR::BaseVisitor<ASRToLLVMVisitor>
                                             }
                                         }
                                     } else if (is_a<ASR::CPtr_t>(*arg_type)) {
-                                        if (arg->m_intent == intent_local) {
-                                            // Local variable of type
-                                            // CPtr is a void**, so we
+                                        if ( arg->m_intent == intent_local ||
+                                                arg->m_intent == ASRUtils::intent_out) {
+                                            // Local variable or Dummy out argument
+                                            // of type CPtr is a void**, so we
                                             // have to load it
                                             tmp = CreateLoad(tmp);
                                         }

diff --git a/src/libasr/codegen/llvm_utils.cpp b/src/libasr/codegen/llvm_utils.cpp
@@ -1267,6 +1267,7 @@ namespace LCompilers {
                 break;
             }
             case (ASR::ttypeType::CPtr) : {
+                a_kind = 8;
                 llvm_type = llvm::Type::getVoidTy(context)->getPointerTo();
                 break;
             }