forked from NUDT-compiler/nudt-compiler-cpp
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
108 lines
3.7 KiB
108 lines
3.7 KiB
// 将语法树翻译为 IR。
|
|
// 实现拆分在 IRGenFunc/IRGenStmt/IRGenExp/IRGenDecl。
|
|
|
|
#pragma once
|
|
|
|
#include <any>
|
|
#include <memory>
|
|
#include <string>
|
|
#include <unordered_map>
|
|
|
|
#include "SysYBaseVisitor.h"
|
|
#include "SysYParser.h"
|
|
#include "ir/IR.h"
|
|
#include "sem/Sema.h"
|
|
|
|
namespace ir {
|
|
class Module;
|
|
class Function;
|
|
class IRBuilder;
|
|
class Value;
|
|
}
|
|
|
|
class IRGenImpl final : public SysYBaseVisitor {
|
|
public:
|
|
IRGenImpl(ir::Module& module, const SemanticContext& sema);
|
|
|
|
// 顶层
|
|
std::any visitCompUnit(SysYParser::CompUnitContext* ctx) override;
|
|
std::any visitFuncDef(SysYParser::FuncDefContext* ctx) override;
|
|
|
|
// 块
|
|
std::any visitBlock(SysYParser::BlockContext* ctx) override; // 注意：规则名为 Block
|
|
std::any visitBlockItem(SysYParser::BlockItemContext* ctx) override;
|
|
|
|
// 声明
|
|
std::any visitDecl(SysYParser::DeclContext* ctx) override;
|
|
std::any visitVarDef(SysYParser::VarDefContext* ctx) override;
|
|
std::any visitConstDecl(SysYParser::ConstDeclContext* ctx) override;
|
|
std::any visitConstDef(SysYParser::ConstDefContext* ctx) override;
|
|
std::any visitInitVal(SysYParser::InitValContext* ctx) override;
|
|
std::any visitConstInitVal(SysYParser::ConstInitValContext* ctx) override;
|
|
|
|
// 语句
|
|
std::any visitStmt(SysYParser::StmtContext* ctx) override;
|
|
|
|
// 表达式
|
|
std::any visitExp(SysYParser::ExpContext* ctx) override;
|
|
std::any visitCond(SysYParser::CondContext* ctx) override;
|
|
std::any visitLVal(SysYParser::LValContext* ctx) override;
|
|
std::any visitPrimaryExp(SysYParser::PrimaryExpContext* ctx) override;
|
|
std::any visitUnaryExp(SysYParser::UnaryExpContext* ctx) override;
|
|
std::any visitFuncRParams(SysYParser::FuncRParamsContext* ctx) override;
|
|
std::any visitMulExp(SysYParser::MulExpContext* ctx) override;
|
|
std::any visitAddExp(SysYParser::AddExpContext* ctx) override;
|
|
std::any visitRelExp(SysYParser::RelExpContext* ctx) override;
|
|
std::any visitEqExp(SysYParser::EqExpContext* ctx) override;
|
|
std::any visitLAndExp(SysYParser::LAndExpContext* ctx) override;
|
|
std::any visitLOrExp(SysYParser::LOrExpContext* ctx) override;
|
|
std::any visitConstExp(SysYParser::ConstExpContext* ctx) override;
|
|
|
|
// 辅助函数
|
|
ir::Value* EvalExpr(SysYParser::ExpContext& expr); // 只保留一处
|
|
ir::Value* EvalCond(SysYParser::CondContext& cond);
|
|
ir::Value* visitCallExp(SysYParser::UnaryExpContext* ctx);
|
|
|
|
private:
|
|
// 辅助函数声明
|
|
enum class BlockFlow{
|
|
Continue,
|
|
Terminated,
|
|
};
|
|
|
|
BlockFlow VisitBlockItemResult(SysYParser::BlockItemContext& item);
|
|
|
|
BlockFlow HandleReturnStmt(SysYParser::StmtContext* ctx);
|
|
BlockFlow HandleIfStmt(SysYParser::StmtContext* ctx);
|
|
BlockFlow HandleWhileStmt(SysYParser::StmtContext* ctx);
|
|
BlockFlow HandleBreakStmt(SysYParser::StmtContext* ctx);
|
|
BlockFlow HandleContinueStmt(SysYParser::StmtContext* ctx);
|
|
BlockFlow HandleAssignStmt(SysYParser::StmtContext* ctx);
|
|
|
|
// 循环上下文结构
|
|
struct LoopContext {
|
|
ir::BasicBlock* condBlock;
|
|
ir::BasicBlock* bodyBlock;
|
|
ir::BasicBlock* exitBlock;
|
|
};
|
|
|
|
struct ArrayInfo {
|
|
std::vector<ir::Value*> elements;
|
|
std::vector<int> dimensions;
|
|
};
|
|
|
|
std::vector<LoopContext> loopStack_;
|
|
|
|
ir::Module& module_;
|
|
const SemanticContext& sema_;
|
|
ir::Function* func_;
|
|
ir::IRBuilder builder_;
|
|
std::unordered_map<SysYParser::VarDefContext*, ir::Value*> storage_map_;
|
|
std::unordered_map<SysYParser::ConstDefContext*, ir::Value*> const_storage_map_; // 新增
|
|
std::unordered_map<SysYParser::VarDefContext*, ArrayInfo> array_info_map_;
|
|
ir::Value* EvalAssign(SysYParser::StmtContext* ctx);
|
|
};
|
|
|
|
std::unique_ptr<ir::Module> GenerateIR(SysYParser::CompUnitContext& tree,
|
|
const SemanticContext& sema);
|