Add support for basic blocks and CFGs#49

Open

VedantParanjape wants to merge 24 commits intoBuildIt-lang:masterfrom

VedantParanjape:master

Commits on Jan 28, 2024

Add support for basic blocks and CFGs
VedantParanjape
committed
Add code to populate the basic block predecessors
VedantParanjape
committed
Move the CFG generator driver to builder_context.cpp
VedantParanjape
committed
Implement dominator_tree analysis pass
VedantParanjape
committed
Generate idom_map and add loop info pass skeleton
VedantParanjape
committed
Implement loop_info analysis pass
VedantParanjape
committed
Add a index to track the location of the AST block out of which a basic block was carved out.
VedantParanjape
committed
Added code to populate loop latch blocks in a loop
VedantParanjape
committed
WIP: Add infra to construct a while loop using the loop_info analysis
VedantParanjape
committed
WIP v2: Add infra to construct a while loop using the loop_info analysis (36/43 tests pass)
VedantParanjape
committed
V3: Added postdom, and other stuff
VedantParanjape
committed
WIP v3: got majority test cases working
VedantParanjape
committed
WIP v4: got the insert loop latches/exits correctly and added while loop simplifications
VedantParanjape
committed
WIP v1: Implement a recursive convert_to_ast implementation (works better with lesser LOC)
VedantParanjape
committed
WIP v2: Handle the non-loop blocks using a iterative algorithm
VedantParanjape
committed
WIP v3: Handle the non-loop blocks using a iterative algorithm
VedantParanjape
committed
WIP v4: able to generate loop exit breaks as well
VedantParanjape
committed
WIP v5: generates clean and correct code for all testcases
VedantParanjape
committed
WIP v6: reduce number of redundant continue stmts, few still remain
VedantParanjape
committed
WIP
VedantParanjape
committed
Now postdom can also handle infinite loops
VedantParanjape
committed
Improved handling of unconditional loops
VedantParanjape
committed
Fix bugs and emit guards for latches that cut through and go to loop headers that are not immediate parent
VedantParanjape
committed
Added support for emitting multiple guard blocks for goto that cut through more than 2 loops
VedantParanjape
committed