Basic Block Analysis

Your Task

Implement basic block identification and control flow graph construction.

Requirements

1. Implement leader detection:

   • Mark first instruction as leader
   • Mark all jump targets as leaders
   • Mark instructions after jumps as leaders

2. Build basic blocks:

   • Group instructions between leaders
   • Track entry and exit points
   • Handle empty blocks (label followed by jump)

3. Construct CFG:

   • Create edges for fall-through
   • Create edges for jump targets
   • Identify entry block (first) and exit blocks (return)

4. Implement CFG utilities:

   • Predecessor list for each block
   • Successor list for each block
   • Reverse postorder traversal

Success Criteria

• Correctly identify all basic blocks
• Build accurate CFG edges
• Support nested loops and conditionals