WIP: Implementing Symbolic ASR pass

Author: anutosh491

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",

src/libasr/pass/replace_symbolic.cpp

@@ -0,0 +1,33 @@
+#include <libasr/asr.h>
+#include <libasr/containers.h>
+#include <libasr/exception.h>
+#include <libasr/asr_utils.h>
+#include <libasr/asr_verify.h>
+#include <libasr/pass/replace_symbolic.h>
+#include <libasr/pass/pass_utils.h>
+
+#include <vector>
+
+
+namespace LCompilers {
+
+using ASR::down_cast;
+using ASR::is_a;
+
+
+class ReplaceSymbolicVisitor : public PassUtils::PassVisitor<ReplaceSymbolicVisitor>
+{
+public:
+    ReplaceSymbolicVisitor(Allocator &al_) :
+    PassVisitor(al_, nullptr) {
+        pass_result.reserve(al, 1);
+    }
+};
+
+void pass_replace_symbolic(Allocator &al, ASR::TranslationUnit_t &unit,
+                            const LCompilers::PassOptions& /*pass_options*/) {
+    ReplaceSymbolicVisitor v(al);
+    v.visit_TranslationUnit(unit);
+}
+
+} // namespace LCompilers

src/libasr/pass/replace_symbolic.h

@@ -0,0 +1,14 @@
+#ifndef LIBASR_PASS_REPLACE_SYMBOLIC_H
+#define LIBASR_PASS_REPLACE_SYMBOLIC_H
+
+#include <libasr/asr.h>
+#include <libasr/utils.h>
+
+namespace LCompilers {
+
+    void pass_replace_symbolic(Allocator &al, ASR::TranslationUnit_t &unit,
+                                const PassOptions &pass_options);
+
+} // namespace LCompilers
+
+#endif // LIBASR_PASS_REPLACE_SYMBOLIC_H