|
|
|
|
@ -4,6 +4,7 @@
|
|
|
|
|
#include <string>
|
|
|
|
|
|
|
|
|
|
#include "sem/SymbolTable.h"
|
|
|
|
|
#include "utils/Log.h"
|
|
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
|
|
|
|
|
|
@ -20,7 +21,7 @@ void CheckPrimary(SysYParser::PrimaryContext& primary,
|
|
|
|
|
const std::string name = primary.Ident()->getText();
|
|
|
|
|
auto* decl = table.Lookup(name);
|
|
|
|
|
if (!decl) {
|
|
|
|
|
throw std::runtime_error("[sema] 使用了未定义的变量: " + name);
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "使用了未定义的变量: " + name));
|
|
|
|
|
}
|
|
|
|
|
sema.BindVarUse(&primary, decl);
|
|
|
|
|
return;
|
|
|
|
|
@ -31,13 +32,13 @@ void CheckPrimary(SysYParser::PrimaryContext& primary,
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
throw std::runtime_error("[sema] 暂不支持的 primary 形式");
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "暂不支持的表达式形式"));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void CheckExpr(SysYParser::ExpContext& exp, const SymbolTable& table,
|
|
|
|
|
SemanticContext& sema) {
|
|
|
|
|
if (!exp.addExp()) {
|
|
|
|
|
throw std::runtime_error("[sema] 非法表达式");
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "非法表达式"));
|
|
|
|
|
}
|
|
|
|
|
const auto& terms = exp.addExp()->primary();
|
|
|
|
|
for (auto* term : terms) {
|
|
|
|
|
@ -50,10 +51,10 @@ void CheckExpr(SysYParser::ExpContext& exp, const SymbolTable& table,
|
|
|
|
|
SemanticContext RunSema(SysYParser::CompUnitContext& comp_unit) {
|
|
|
|
|
auto* func = comp_unit.funcDef();
|
|
|
|
|
if (!func || !func->block()) {
|
|
|
|
|
throw std::runtime_error("[sema] 缺少 main 函数定义");
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "缺少 main 函数定义"));
|
|
|
|
|
}
|
|
|
|
|
if (!func->Ident() || func->Ident()->getText() != "main") {
|
|
|
|
|
throw std::runtime_error("[sema] 入口函数必须命名为 main");
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "入口函数必须命名为 main"));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
SymbolTable table;
|
|
|
|
|
@ -62,7 +63,8 @@ SemanticContext RunSema(SysYParser::CompUnitContext& comp_unit) {
|
|
|
|
|
|
|
|
|
|
const auto& items = func->block()->blockItem();
|
|
|
|
|
if (items.empty()) {
|
|
|
|
|
throw std::runtime_error("[sema] main 函数不能为空，且必须以 return 结束");
|
|
|
|
|
throw std::runtime_error(
|
|
|
|
|
FormatError("sema", "main 函数不能为空，且必须以 return 结束"));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
for (size_t i = 0; i < items.size(); ++i) {
|
|
|
|
|
@ -71,12 +73,13 @@ SemanticContext RunSema(SysYParser::CompUnitContext& comp_unit) {
|
|
|
|
|
continue;
|
|
|
|
|
}
|
|
|
|
|
if (seen_return) {
|
|
|
|
|
throw std::runtime_error("[sema] return 必须是 main 函数中的最后一条语句");
|
|
|
|
|
throw std::runtime_error(
|
|
|
|
|
FormatError("sema", "return 必须是 main 函数中的最后一条语句"));
|
|
|
|
|
}
|
|
|
|
|
if (auto* decl = item->decl() ? item->decl()->varDecl() : nullptr) {
|
|
|
|
|
const std::string name = decl->Ident()->getText();
|
|
|
|
|
if (table.Contains(name)) {
|
|
|
|
|
throw std::runtime_error("[sema] 重复定义变量: " + name);
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "重复定义变量: " + name));
|
|
|
|
|
}
|
|
|
|
|
if (decl->exp()) {
|
|
|
|
|
CheckExpr(*decl->exp(), table, sema);
|
|
|
|
|
@ -89,15 +92,16 @@ SemanticContext RunSema(SysYParser::CompUnitContext& comp_unit) {
|
|
|
|
|
CheckExpr(*ret->exp(), table, sema);
|
|
|
|
|
seen_return = true;
|
|
|
|
|
if (i + 1 != items.size()) {
|
|
|
|
|
throw std::runtime_error("[sema] return 必须是 main 函数中的最后一条语句");
|
|
|
|
|
throw std::runtime_error(
|
|
|
|
|
FormatError("sema", "return 必须是 main 函数中的最后一条语句"));
|
|
|
|
|
}
|
|
|
|
|
continue;
|
|
|
|
|
}
|
|
|
|
|
throw std::runtime_error("[sema] 暂不支持的 blockItem 类型");
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "暂不支持的语句或声明"));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (!seen_return) {
|
|
|
|
|
throw std::runtime_error("[sema] main 函数必须包含 return 语句");
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "main 函数必须包含 return 语句"));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
return sema;
|
|
|
|
|
|
