WIP v1: Implement a recursive convert_to_ast implementation (works better with lesser LOC)

Author: VedantParanjape

include/blocks/basic_blocks.h

@@ -16,6 +16,7 @@ class basic_block {
         block::expr::Ptr branch_expr;
         std::shared_ptr<basic_block> then_branch;
         std::shared_ptr<basic_block> else_branch;
+        std::shared_ptr<basic_block> exit_block;
         bool is_exit_block;
         block::stmt::Ptr parent;
         unsigned int ast_index;

include/blocks/loops.h

@@ -10,8 +10,8 @@ using namespace block;
 class loop {
 public:
     loop(std::shared_ptr<basic_block> header): header_block(header) {}
+    stmt::Ptr convert_to_ast_impl(dominator_analysis &dta_);
 
-// private:
     struct loop_bounds_ {
         stmt::Ptr ind_var;
         // MISS: intial value of ind var
@@ -28,6 +28,7 @@ class loop {
     std::unordered_set<int> blocks_id_map;
     std::shared_ptr<loop> parent_loop;
     std::shared_ptr<basic_block> header_block;
+    std::shared_ptr<basic_block> condition_block;
     std::shared_ptr<basic_block> unique_exit_block;
     basic_block::cfg_block loop_latch_blocks;
     basic_block::cfg_block loop_exit_blocks;

src/blocks/basic_blocks.cpp

@@ -137,6 +137,9 @@ basic_block::cfg_block generate_basic_blocks(block::stmt_block::Ptr ast) {
             if (!bb->then_branch) bb->then_branch = exit_bb;
             else if (!bb->else_branch) bb->else_branch = exit_bb;
 
+            // set the exit block of this if stmt
+            bb->exit_block = exit_bb;
+
             return_list.push_back(bb);
         }
         else if (isa<block::expr_stmt>(bb->parent)) {