Merge pull request #1592 from Smit-create/i-1575-2

ASR Pass: Fix variables names to be used in C backend

Author: Smit-create

integration_tests/CMakeLists.txt

@@ -210,10 +210,10 @@ RUN(NAME array_02_decl            LABELS cpython llvm c)
 RUN(NAME array_03_decl            LABELS cpython llvm c)
 RUN(NAME variable_decl_01         LABELS cpython llvm c)
 RUN(NAME variable_decl_02         LABELS cpython llvm c)
-RUN(NAME array_expr_01            LABELS cpython llvm)
-RUN(NAME array_expr_02            LABELS cpython llvm)
-RUN(NAME array_01            LABELS cpython llvm wasm)
-RUN(NAME array_02            LABELS cpython wasm)
+RUN(NAME array_expr_01            LABELS cpython llvm c)
+RUN(NAME array_expr_02            LABELS cpython llvm c)
+RUN(NAME array_01            LABELS cpython llvm wasm c)
+RUN(NAME array_02            LABELS cpython wasm c)
 RUN(NAME bindc_01            LABELS cpython llvm c)
 RUN(NAME bindc_02            LABELS cpython llvm c)
 RUN(NAME bindc_04            LABELS llvm c)
@@ -229,8 +229,8 @@ RUN(NAME print_01            LABELS cpython llvm c wasm) # wasm not yet supports
 RUN(NAME print_03            LABELS x86 c wasm wasm_x86 wasm_x64) # simple test case specifically for x86, wasm_x86 and wasm_x64
 RUN(NAME print_04            LABELS cpython llvm c)
 RUN(NAME print_06            LABELS cpython llvm c)
-RUN(NAME print_05            LABELS cpython llvm wasm wasm_x64)
-RUN(NAME print_float         LABELS cpython llvm wasm wasm_x64)
+RUN(NAME print_05            LABELS cpython llvm c wasm wasm_x64)
+RUN(NAME print_float         LABELS cpython llvm c wasm wasm_x64)
 RUN(NAME print_list_tuple_01    LABELS cpython llvm c)
 RUN(NAME print_list_tuple_02    LABELS cpython llvm c)
 
@@ -259,7 +259,7 @@ RUN(NAME expr_15             LABELS cpython llvm c)
 RUN(NAME loop_01             LABELS cpython llvm c)
 RUN(NAME loop_02             LABELS cpython llvm c wasm wasm_x86 wasm_x64)
 RUN(NAME loop_03             LABELS cpython llvm c wasm wasm_x64)
-RUN(NAME loop_04             LABELS cpython llvm)
+RUN(NAME loop_04             LABELS cpython llvm c)
 RUN(NAME loop_05             LABELS cpython llvm c)
 RUN(NAME if_01               LABELS cpython llvm c wasm wasm_x86 wasm_x64)
 RUN(NAME if_02               LABELS cpython llvm c wasm wasm_x86 wasm_x64)

integration_tests/loop_04.py

@@ -1,6 +1,8 @@
 from ltypes import i32
+
 j: i32
 i: i32
+
 for i in range(5):
     j = i
-    print("j: ", j)
+    print("j: ", j)

integration_tests/loop_05.py

@@ -1,5 +1,7 @@
+from ltypes import i32
+
 def f():
-    j :i32 = 0
+    j: i32 = 0
     while True:
         j = j + 1
         print(j)
@@ -8,4 +10,4 @@ def f():
     print("out of outer loop")
     assert j == 5
 
-f()
+f()

src/libasr/pass/arr_slice.cpp

@@ -98,7 +98,7 @@ class ReplaceArraySection: public ASR::BaseExprReplacer<ReplaceArraySection> {
     void replace_ArraySection(ASR::ArraySection_t* x) {
         LCOMPILERS_ASSERT(current_scope != nullptr);
         ASR::expr_t* x_arr_var = x->m_v;
-        std::string new_name = "~" + std::to_string(slice_counter) + "_slice";
+        std::string new_name = "__libasr__created__section__" + std::to_string(slice_counter) + "_slice";
         slice_counter += 1;
         char* new_var_name = s2c(al, new_name);
         ASR::ttype_t* slice_asr_type = get_array_from_slice(x, x_arr_var);

src/libasr/pass/pass_utils.cpp

@@ -231,7 +231,7 @@ namespace LCompilers {
         ASR::expr_t* create_var(int counter, std::string suffix, const Location& loc,
                                 ASR::ttype_t* var_type, Allocator& al, SymbolTable*& current_scope) {
             ASR::expr_t* idx_var = nullptr;
-            std::string str_name = "~" + std::to_string(counter) + suffix;
+            std::string str_name = "__libasr__created__var__" + std::to_string(counter) + suffix;
             char* idx_var_name = s2c(al, str_name);
 
             if( current_scope->get_symbol(std::string(idx_var_name)) == nullptr ) {