BasicBlock.h

#ifndef MISAKA_BASICBLOCK
#define MISAKA_BASICBLOCK

#include <list>
#include <set>
#include <string>

#ifdef DEBUG
#include <cassert>
#endif

#include "Value.h"
#include "Instruction.h"
#include "Module.h"
#include "Function.h"

class Function;
class Instruction;
class Module;
class IRVisitor;

class BasicBlock : public Value
{

public:
    static BasicBlock *__init__(Module *m, const std::string &name, Function *parent);

    virtual ~BasicBlock() = default;

    Function *get_parent();
    void set_parent(Function *parent);

    static BasicBlock *create_basicblock(Function *parent, Module *m);

    void add_instruction(Instruction *instr);
    void add_instruction_begin(Instruction *instr);
    std::list<Instruction *>::iterator insert_instruction(Instruction *instr, std::list<Instruction *>::iterator insert_pos);
    void add_instruction(std::list<Instruction *>::iterator iter, Instruction *instr);
    std::list<Instruction *> &get_instructions();
    // WARNING:严禁还有引用的时候删除指令
    void remove_instruction(Instruction *instr);
    void remove_last_instruction();
    void move_last_to_begin();


    // Returns the terminator instruction if the block is well-formed or nullptr otherwise(if not).
    const Instruction *get_terminator() const;
    Instruction *get_terminator() {
        return const_cast<Instruction *>(static_cast<const BasicBlock *>(this)->get_terminator());
    }

    std::list<BasicBlock *> &get_pre_basic_blocks();
    std::list<BasicBlock *> &get_succ_basic_blocks();
    void add_pre_basic_block(BasicBlock *bb);
    void add_succ_basic_block(BasicBlock *bb);
    void remove_pre_basic_block(BasicBlock *bb);
    void remove_succ_basic_block(BasicBlock *bb);
    virtual std::string print();
    virtual void accept(IRVisitor *visitor) final { visitor->visit(*this); }
    
    //  dominate tree

    /*******CFG_analyse*******/
    int get_incoming_branch(){return incoming_branch;}
    void incoming_add(){incoming_branch++;}
    void incoming_decrement(){incoming_branch--;}
    bool is_incoming_zero(){return incoming_branch==0;}
    void incoming_reset(){incoming_branch = 0;}
    int get_loop_depth(){return loop_depth;}
    void loop_depth_add(){loop_depth++;}