Add a Symbolic ASR pass (#2255)

All tests pass and use it now. LLVM enabled.

Author: anutosh491

integration_tests/CMakeLists.txt

@@ -678,12 +678,12 @@ RUN(NAME structs_32          LABELS cpython llvm c)
 RUN(NAME structs_33          LABELS cpython llvm c)
 RUN(NAME structs_34          LABELS cpython llvm c)
 
-RUN(NAME symbolics_01        LABELS cpython_sym c_sym)
-RUN(NAME symbolics_02        LABELS cpython_sym c_sym)
-RUN(NAME symbolics_03        LABELS cpython_sym c_sym)
-RUN(NAME symbolics_04        LABELS cpython_sym c_sym)
-RUN(NAME symbolics_05        LABELS cpython_sym c_sym)
-RUN(NAME symbolics_06        LABELS cpython_sym c_sym)
+RUN(NAME symbolics_01        LABELS cpython_sym c_sym llvm_sym NOFAST)
+RUN(NAME symbolics_02        LABELS cpython_sym c_sym llvm_sym NOFAST)
+RUN(NAME symbolics_03        LABELS cpython_sym c_sym llvm_sym NOFAST)
+RUN(NAME symbolics_04        LABELS cpython_sym c_sym llvm_sym NOFAST)
+RUN(NAME symbolics_05        LABELS cpython_sym c_sym llvm_sym NOFAST)
+RUN(NAME symbolics_06        LABELS cpython_sym c_sym llvm_sym NOFAST)
 RUN(NAME symbolics_07        LABELS cpython_sym c_sym llvm_sym NOFAST)
 RUN(NAME symbolics_08        LABELS cpython_sym c_sym llvm_sym)
 

src/libasr/CMakeLists.txt

@@ -48,6 +48,7 @@ set(SRC
     pass/unused_functions.cpp
     pass/flip_sign.cpp
     pass/div_to_mul.cpp
+    pass/replace_symbolic.cpp
     pass/intrinsic_function.cpp
     pass/fma.cpp
     pass/loop_vectorise.cpp

src/libasr/gen_pass.py

@@ -12,6 +12,7 @@
         "replace_implied_do_loops",
         "replace_init_expr",
         "inline_function_calls",
+        "replace_symbolic",
         "replace_intrinsic_function",
         "loop_unroll",
         "loop_vectorise",

src/libasr/pass/pass_manager.h

@@ -28,6 +28,7 @@
 #include <libasr/pass/replace_arr_slice.h>
 #include <libasr/pass/replace_flip_sign.h>
 #include <libasr/pass/replace_div_to_mul.h>
+#include <libasr/pass/replace_symbolic.h>
 #include <libasr/pass/replace_intrinsic_function.h>
 #include <libasr/pass/replace_fma.h>
 #include <libasr/pass/loop_unroll.h>
@@ -71,6 +72,7 @@ namespace LCompilers {
             {"global_stmts", &pass_wrap_global_stmts},
             {"implied_do_loops", &pass_replace_implied_do_loops},
             {"array_op", &pass_replace_array_op},
+            {"symbolic", &pass_replace_symbolic},
             {"intrinsic_function", &pass_replace_intrinsic_function},
             {"arr_slice", &pass_replace_arr_slice},
             {"print_arr", &pass_replace_print_arr},
@@ -203,6 +205,7 @@ namespace LCompilers {
                 "subroutine_from_function",
                 "where",
                 "array_op",
+                "symbolic",
                 "intrinsic_function",
                 "array_op",
                 "pass_array_by_data",