|
|
|
|
@ -4,11 +4,21 @@
|
|
|
|
|
#include <stdexcept>
|
|
|
|
|
#include <string>
|
|
|
|
|
#include <sstream>
|
|
|
|
|
#include <iostream>
|
|
|
|
|
|
|
|
|
|
#include "SysYBaseVisitor.h"
|
|
|
|
|
#include "sem/SymbolTable.h"
|
|
|
|
|
#include "utils/Log.h"
|
|
|
|
|
|
|
|
|
|
//#define DEBUG_SEMA
|
|
|
|
|
|
|
|
|
|
#ifdef DEBUG_SEMA
|
|
|
|
|
#include <iostream>
|
|
|
|
|
#define DEBUG_MSG(msg) std::cerr << "[Sema Debug] " << msg << std::endl
|
|
|
|
|
#else
|
|
|
|
|
#define DEBUG_MSG(msg)
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
|
|
|
|
|
|
// 获取左值名称的辅助函数
|
|
|
|
|
@ -67,10 +77,9 @@ public:
|
|
|
|
|
} else {
|
|
|
|
|
return_type = ir::Type::GetInt32Type();
|
|
|
|
|
}
|
|
|
|
|
std::cout << "[DEBUG] 进入函数: " << name
|
|
|
|
|
DEBUG_MSG("[DEBUG] 进入函数: " << name
|
|
|
|
|
<< " 返回类型: " << (return_type->IsInt32() ? "int" :
|
|
|
|
|
return_type->IsFloat() ? "float" : "void")
|
|
|
|
|
<< std::endl;
|
|
|
|
|
return_type->IsFloat() ? "float" : "void"));
|
|
|
|
|
|
|
|
|
|
// 记录当前函数返回类型（用于 return 检查）
|
|
|
|
|
current_func_return_type_ = return_type;
|
|
|
|
|
@ -83,10 +92,9 @@ public:
|
|
|
|
|
if (ctx->block()) { // 处理函数体
|
|
|
|
|
ctx->block()->accept(this);
|
|
|
|
|
}
|
|
|
|
|
std::cout << "[DEBUG] 函数 " << name
|
|
|
|
|
DEBUG_MSG("[DEBUG] 函数 " << name
|
|
|
|
|
<< " has_return: " << current_func_has_return_
|
|
|
|
|
<< " return_type_is_void: " << return_type->IsVoid()
|
|
|
|
|
<< std::endl;
|
|
|
|
|
<< " return_type_is_void: " << return_type->IsVoid());
|
|
|
|
|
if (!return_type->IsVoid() && !current_func_has_return_) { // 检查非 void 函数是否有 return
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "非 void 函数 " + name + " 缺少 return 语句"));
|
|
|
|
|
}
|
|
|
|
|
@ -170,10 +178,10 @@ public:
|
|
|
|
|
std::vector<int> dims;
|
|
|
|
|
bool is_array = !ctx->constExp().empty();
|
|
|
|
|
// 调试输出
|
|
|
|
|
std::cout << "[DEBUG] CheckVarDef: " << name
|
|
|
|
|
DEBUG_MSG("[DEBUG] CheckVarDef: " << name
|
|
|
|
|
<< " base_type: " << (base_type->IsInt32() ? "int" : base_type->IsFloat() ? "float" : "unknown")
|
|
|
|
|
<< " is_array: " << is_array
|
|
|
|
|
<< " dim_count: " << ctx->constExp().size() << std::endl;
|
|
|
|
|
<< " dim_count: " << ctx->constExp().size());
|
|
|
|
|
if (is_array) {
|
|
|
|
|
// 处理数组维度
|
|
|
|
|
for (auto* dim_exp : ctx->constExp()) {
|
|
|
|
|
@ -185,26 +193,24 @@ public:
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "数组维度必须为正整数"));
|
|
|
|
|
}
|
|
|
|
|
dims.push_back(dim);
|
|
|
|
|
std::cout << "[DEBUG] dim[" << dims.size() - 1 << "] = " << dim << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] dim[" << dims.size() - 1 << "] = " << dim);
|
|
|
|
|
}
|
|
|
|
|
// 创建数组类型
|
|
|
|
|
type = ir::Type::GetArrayType(base_type, dims);
|
|
|
|
|
std::cout << "[DEBUG] 创建数组类型完成" << std::endl;
|
|
|
|
|
std::cout << "[DEBUG] type->IsArray(): " << type->IsArray() << std::endl;
|
|
|
|
|
std::cout << "[DEBUG] type->GetKind(): " << (int)type->GetKind() << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 创建数组类型完成");
|
|
|
|
|
DEBUG_MSG("[DEBUG] type->IsArray(): " << type->IsArray());
|
|
|
|
|
DEBUG_MSG("[DEBUG] type->GetKind(): " << (int)type->GetKind());
|
|
|
|
|
// 验证数组类型
|
|
|
|
|
if (type->IsArray()) {
|
|
|
|
|
auto* arr_type = dynamic_cast<ir::ArrayType*>(type.get());
|
|
|
|
|
if (arr_type) {
|
|
|
|
|
std::cout << "[DEBUG] ArrayType dimensions: ";
|
|
|
|
|
DEBUG_MSG("[DEBUG] ArrayType dimensions: ");
|
|
|
|
|
for (int d : arr_type->GetDimensions()) {
|
|
|
|
|
std::cout << d << " ";
|
|
|
|
|
DEBUG_MSG(d << " ");
|
|
|
|
|
}
|
|
|
|
|
std::cout << std::endl;
|
|
|
|
|
std::cout << "[DEBUG] Element type: "
|
|
|
|
|
DEBUG_MSG("[DEBUG] Element type: "
|
|
|
|
|
<< (arr_type->GetElementType()->IsInt32() ? "int" :
|
|
|
|
|
arr_type->GetElementType()->IsFloat() ? "float" : "unknown")
|
|
|
|
|
<< std::endl;
|
|
|
|
|
arr_type->GetElementType()->IsFloat() ? "float" : "unknown"));
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
@ -230,10 +236,10 @@ public:
|
|
|
|
|
sym.param_types.clear(); // 确保不混淆
|
|
|
|
|
}
|
|
|
|
|
table_.addSymbol(sym); // 添加到符号表
|
|
|
|
|
std::cout << "[DEBUG] 符号添加完成: " << name
|
|
|
|
|
DEBUG_MSG("[DEBUG] 符号添加完成: " << name
|
|
|
|
|
<< " type_kind: " << (int)sym.type->GetKind()
|
|
|
|
|
<< " is_array: " << sym.type->IsArray()
|
|
|
|
|
<< std::endl;
|
|
|
|
|
);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void CheckConstDef(SysYParser::ConstDefContext* ctx,
|
|
|
|
|
@ -250,10 +256,10 @@ public:
|
|
|
|
|
std::shared_ptr<ir::Type> type = base_type;
|
|
|
|
|
std::vector<int> dims;
|
|
|
|
|
bool is_array = !ctx->constExp().empty();
|
|
|
|
|
std::cout << "[DEBUG] CheckConstDef: " << name
|
|
|
|
|
DEBUG_MSG("[DEBUG] CheckConstDef: " << name
|
|
|
|
|
<< " base_type: " << (base_type->IsInt32() ? "int" : base_type->IsFloat() ? "float" : "unknown")
|
|
|
|
|
<< " is_array: " << is_array
|
|
|
|
|
<< " dim_count: " << ctx->constExp().size() << std::endl;
|
|
|
|
|
<< " dim_count: " << ctx->constExp().size());
|
|
|
|
|
|
|
|
|
|
if (is_array) {
|
|
|
|
|
for (auto* dim_exp : ctx->constExp()) {
|
|
|
|
|
@ -262,10 +268,10 @@ public:
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "数组维度必须为正整数"));
|
|
|
|
|
}
|
|
|
|
|
dims.push_back(dim);
|
|
|
|
|
std::cout << "[DEBUG] dim[" << dims.size() - 1 << "] = " << dim << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] dim[" << dims.size() - 1 << "] = " << dim);
|
|
|
|
|
}
|
|
|
|
|
type = ir::Type::GetArrayType(base_type, dims);
|
|
|
|
|
std::cout << "[DEBUG] 创建数组类型完成，IsArray: " << type->IsArray() << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 创建数组类型完成，IsArray: " << type->IsArray());
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// ========== 绑定维度表达式 ==========
|
|
|
|
|
@ -280,7 +286,7 @@ public:
|
|
|
|
|
BindConstInitVal(ctx->constInitVal());
|
|
|
|
|
|
|
|
|
|
init_values = table_.EvaluateConstInitVal(ctx->constInitVal(), dims, base_type);
|
|
|
|
|
std::cout << "[DEBUG] 初始化值数量: " << init_values.size() << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 初始化值数量: " << init_values.size());
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// 计算期望的元素数量
|
|
|
|
|
@ -288,12 +294,12 @@ public:
|
|
|
|
|
if (is_array) {
|
|
|
|
|
expected_count = 1;
|
|
|
|
|
for (int d : dims) expected_count *= d;
|
|
|
|
|
std::cout << "[DEBUG] 期望元素数量: " << expected_count << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 期望元素数量: " << expected_count);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// 如果初始化值不足，补零
|
|
|
|
|
if (is_array && init_values.size() < expected_count) {
|
|
|
|
|
std::cout << "[DEBUG] 初始化值不足，补零" << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 初始化值不足，补零");
|
|
|
|
|
SymbolTable::ConstValue zero;
|
|
|
|
|
if (base_type->IsInt32()) {
|
|
|
|
|
zero.kind = SymbolTable::ConstValue::INT;
|
|
|
|
|
@ -314,13 +320,13 @@ public:
|
|
|
|
|
Symbol sym;
|
|
|
|
|
sym.name = name;
|
|
|
|
|
sym.kind = SymbolKind::Constant;
|
|
|
|
|
std::cout << "CheckConstDef: before addSymbol, sym.kind = " << (int)sym.kind << std::endl;
|
|
|
|
|
DEBUG_MSG("CheckConstDef: before addSymbol, sym.kind = " << (int)sym.kind);
|
|
|
|
|
sym.type = type;
|
|
|
|
|
sym.scope_level = table_.currentScopeLevel();
|
|
|
|
|
sym.is_initialized = true;
|
|
|
|
|
sym.var_def_ctx = nullptr;
|
|
|
|
|
sym.const_def_ctx = ctx;
|
|
|
|
|
std::cout << "保存常量定义上下文: " << name << ", ctx: " << ctx << std::endl;
|
|
|
|
|
DEBUG_MSG("保存常量定义上下文: " << name << ", ctx: " << ctx);
|
|
|
|
|
|
|
|
|
|
// ========== 存储常量值 ==========
|
|
|
|
|
if (is_array) {
|
|
|
|
|
@ -338,19 +344,19 @@ public:
|
|
|
|
|
sym.array_const_values.push_back(cv);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
std::cout << "[DEBUG] 存储数组常量，共 " << sym.array_const_values.size()
|
|
|
|
|
<< " 个元素" << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 存储数组常量，共 " << sym.array_const_values.size()
|
|
|
|
|
<< " 个元素");
|
|
|
|
|
|
|
|
|
|
} else if (!init_values.empty()) {
|
|
|
|
|
// 存储标量常量
|
|
|
|
|
if (base_type->IsInt32() && init_values[0].kind == SymbolTable::ConstValue::INT) {
|
|
|
|
|
sym.is_int_const = true;
|
|
|
|
|
sym.const_value.i32 = init_values[0].int_val;
|
|
|
|
|
std::cout << "[DEBUG] 存储整型常量: " << init_values[0].int_val << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 存储整型常量: " << init_values[0].int_val);
|
|
|
|
|
} else if (base_type->IsFloat() && init_values[0].kind == SymbolTable::ConstValue::FLOAT) {
|
|
|
|
|
sym.is_int_const = false;
|
|
|
|
|
sym.const_value.f32 = init_values[0].float_val;
|
|
|
|
|
std::cout << "[DEBUG] 存储浮点常量: " << init_values[0].float_val << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 存储浮点常量: " << init_values[0].float_val);
|
|
|
|
|
} else if (base_type->IsInt32() && init_values[0].kind == SymbolTable::ConstValue::FLOAT) {
|
|
|
|
|
// 整型常量用浮点数初始化（需要检查是否为整数）
|
|
|
|
|
float f = init_values[0].float_val;
|
|
|
|
|
@ -361,30 +367,30 @@ public:
|
|
|
|
|
}
|
|
|
|
|
sym.is_int_const = true;
|
|
|
|
|
sym.const_value.i32 = i;
|
|
|
|
|
std::cout << "[DEBUG] 浮点转整型常量: " << f << " -> " << i << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 浮点转整型常量: " << f << " -> " << i);
|
|
|
|
|
} else if (base_type->IsFloat() && init_values[0].kind == SymbolTable::ConstValue::INT) {
|
|
|
|
|
// 浮点常量用整型初始化，隐式转换
|
|
|
|
|
sym.is_int_const = false;
|
|
|
|
|
sym.const_value.f32 = static_cast<float>(init_values[0].int_val);
|
|
|
|
|
std::cout << "[DEBUG] 整型转浮点常量: " << init_values[0].int_val
|
|
|
|
|
<< " -> " << static_cast<float>(init_values[0].int_val) << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 整型转浮点常量: " << init_values[0].int_val
|
|
|
|
|
<< " -> " << static_cast<float>(init_values[0].int_val));
|
|
|
|
|
}
|
|
|
|
|
} else {
|
|
|
|
|
// 没有初始化值，对于标量常量这是错误的
|
|
|
|
|
if (!is_array) {
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "常量必须有初始化值: " + name));
|
|
|
|
|
}
|
|
|
|
|
std::cout << "[DEBUG] 数组常量无初始化器，将全部补零" << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 数组常量无初始化器，将全部补零");
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
table_.addSymbol(sym);
|
|
|
|
|
std::cout << "CheckConstDef: after addSymbol, sym.kind = " << (int)sym.kind << std::endl;
|
|
|
|
|
DEBUG_MSG("CheckConstDef: after addSymbol, sym.kind = " << (int)sym.kind);
|
|
|
|
|
auto* stored = table_.lookup(name);
|
|
|
|
|
std::cout << "CheckConstDef: after addSymbol, stored const_def_ctx = " << stored->const_def_ctx << std::endl;
|
|
|
|
|
DEBUG_MSG("CheckConstDef: after addSymbol, stored const_def_ctx = " << stored->const_def_ctx);
|
|
|
|
|
|
|
|
|
|
std::cout << "[DEBUG] 常量符号添加完成: " << name
|
|
|
|
|
DEBUG_MSG("[DEBUG] 常量符号添加完成: " << name
|
|
|
|
|
<< " is_array_const: " << sym.is_array_const
|
|
|
|
|
<< " element_count: " << sym.array_const_values.size() << std::endl;
|
|
|
|
|
<< " element_count: " << sym.array_const_values.size());
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// ==================== 常量声明 ====================
|
|
|
|
|
@ -407,20 +413,19 @@ public:
|
|
|
|
|
std::any visitStmt(SysYParser::StmtContext* ctx) override {
|
|
|
|
|
if (!ctx) return {};
|
|
|
|
|
// 调试输出
|
|
|
|
|
std::cout << "[DEBUG] visitStmt: ";
|
|
|
|
|
if (ctx->Return()) std::cout << "Return ";
|
|
|
|
|
if (ctx->If()) std::cout << "If ";
|
|
|
|
|
if (ctx->While()) std::cout << "While ";
|
|
|
|
|
if (ctx->Break()) std::cout << "Break ";
|
|
|
|
|
if (ctx->Continue()) std::cout << "Continue ";
|
|
|
|
|
if (ctx->lVal() && ctx->Assign()) std::cout << "Assign ";
|
|
|
|
|
if (ctx->exp() && ctx->Semi()) std::cout << "ExpStmt ";
|
|
|
|
|
if (ctx->block()) std::cout << "Block ";
|
|
|
|
|
std::cout << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] visitStmt: ");
|
|
|
|
|
if (ctx->Return()) DEBUG_MSG("Return ");
|
|
|
|
|
if (ctx->If()) DEBUG_MSG("If ");
|
|
|
|
|
if (ctx->While()) DEBUG_MSG("While ");
|
|
|
|
|
if (ctx->Break()) DEBUG_MSG("Break ");
|
|
|
|
|
if (ctx->Continue()) DEBUG_MSG("Continue ");
|
|
|
|
|
if (ctx->lVal() && ctx->Assign()) DEBUG_MSG("Assign ");
|
|
|
|
|
if (ctx->exp() && ctx->Semi()) DEBUG_MSG("ExpStmt ");
|
|
|
|
|
if (ctx->block()) DEBUG_MSG("Block ");
|
|
|
|
|
// 判断语句类型 - 注意：Return() 返回的是 TerminalNode*
|
|
|
|
|
if (ctx->Return() != nullptr) {
|
|
|
|
|
// return 语句
|
|
|
|
|
std::cout << "[DEBUG] 检测到 return 语句" << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 检测到 return 语句");
|
|
|
|
|
return visitReturnStmtInternal(ctx);
|
|
|
|
|
} else if (ctx->lVal() != nullptr && ctx->Assign() != nullptr) {
|
|
|
|
|
// 赋值语句
|
|
|
|
|
@ -449,14 +454,14 @@ public:
|
|
|
|
|
|
|
|
|
|
// return 语句内部实现
|
|
|
|
|
std::any visitReturnStmtInternal(SysYParser::StmtContext* ctx) {
|
|
|
|
|
std::cout << "[DEBUG] visitReturnStmtInternal 被调用" << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] visitReturnStmtInternal 被调用");
|
|
|
|
|
std::shared_ptr<ir::Type> expected = current_func_return_type_;
|
|
|
|
|
if (!expected) {
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "return 语句不在函数体内"));
|
|
|
|
|
}
|
|
|
|
|
if (ctx->exp() != nullptr) {
|
|
|
|
|
// 有返回值的 return
|
|
|
|
|
std::cout << "[DEBUG] 有返回值的 return" << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 有返回值的 return");
|
|
|
|
|
ExprInfo ret_val = CheckExp(ctx->exp());
|
|
|
|
|
if (expected->IsVoid()) {
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "void 函数不能返回值"));
|
|
|
|
|
@ -469,23 +474,23 @@ public:
|
|
|
|
|
}
|
|
|
|
|
// 设置 has_return 标志
|
|
|
|
|
current_func_has_return_ = true;
|
|
|
|
|
std::cout << "[DEBUG] 设置 current_func_has_return_ = true" << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 设置 current_func_has_return_ = true");
|
|
|
|
|
} else {
|
|
|
|
|
// 无返回值的 return
|
|
|
|
|
std::cout << "[DEBUG] 无返回值的 return" << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 无返回值的 return");
|
|
|
|
|
if (!expected->IsVoid()) {
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "非 void 函数必须返回值"));
|
|
|
|
|
}
|
|
|
|
|
// 设置 has_return 标志
|
|
|
|
|
current_func_has_return_ = true;
|
|
|
|
|
std::cout << "[DEBUG] 设置 current_func_has_return_ = true" << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 设置 current_func_has_return_ = true");
|
|
|
|
|
}
|
|
|
|
|
return {};
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// 左值表达式（变量引用）
|
|
|
|
|
std::any visitLVal(SysYParser::LValContext* ctx) override {
|
|
|
|
|
std::cout << "[DEBUG] visitLVal: " << ctx->getText() << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] visitLVal: " << ctx->getText());
|
|
|
|
|
if (!ctx || !ctx->Ident()) {
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "非法变量引用"));
|
|
|
|
|
}
|
|
|
|
|
@ -496,17 +501,17 @@ public:
|
|
|
|
|
}
|
|
|
|
|
// 检查数组访问
|
|
|
|
|
bool is_array_access = !ctx->exp().empty();
|
|
|
|
|
std::cout << "[DEBUG] name: " << name
|
|
|
|
|
DEBUG_MSG("[DEBUG] name: " << name
|
|
|
|
|
<< ", is_array_access: " << is_array_access
|
|
|
|
|
<< ", subscript_count: " << ctx->exp().size() << std::endl;
|
|
|
|
|
<< ", subscript_count: " << ctx->exp().size());
|
|
|
|
|
ExprInfo result;
|
|
|
|
|
// 判断是否为数组类型或指针类型（数组参数）
|
|
|
|
|
bool is_array_or_ptr = false;
|
|
|
|
|
if (sym->type) {
|
|
|
|
|
is_array_or_ptr = sym->type->IsArray() || sym->type->IsPtrInt32() || sym->type->IsPtrFloat();
|
|
|
|
|
std::cout << "[DEBUG] type_kind: " << (int)sym->type->GetKind()
|
|
|
|
|
DEBUG_MSG("[DEBUG] type_kind: " << (int)sym->type->GetKind()
|
|
|
|
|
<< ", is_array: " << sym->type->IsArray()
|
|
|
|
|
<< ", is_ptr: " << (sym->type->IsPtrInt32() || sym->type->IsPtrFloat()) << std::endl;
|
|
|
|
|
<< ", is_ptr: " << (sym->type->IsPtrInt32() || sym->type->IsPtrFloat()));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (is_array_or_ptr) {
|
|
|
|
|
@ -517,7 +522,7 @@ public:
|
|
|
|
|
if (auto* arr_type = dynamic_cast<ir::ArrayType*>(sym->type.get())) {
|
|
|
|
|
dim_count = arr_type->GetDimensions().size();
|
|
|
|
|
elem_type = arr_type->GetElementType();
|
|
|
|
|
std::cout << "[DEBUG] 数组维度: " << dim_count << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 数组维度: " << dim_count);
|
|
|
|
|
}
|
|
|
|
|
} else if (sym->type->IsPtrInt32() || sym->type->IsPtrFloat()) {
|
|
|
|
|
dim_count = 1;
|
|
|
|
|
@ -526,12 +531,12 @@ public:
|
|
|
|
|
} else if (sym->type->IsPtrFloat()) {
|
|
|
|
|
elem_type = ir::Type::GetFloatType();
|
|
|
|
|
}
|
|
|
|
|
std::cout << "[DEBUG] 指针类型, dim_count: 1" << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 指针类型, dim_count: 1");
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (is_array_access) {
|
|
|
|
|
std::cout << "[DEBUG] 有下标访问，期望维度: " << dim_count
|
|
|
|
|
<< ", 实际下标数: " << ctx->exp().size() << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 有下标访问，期望维度: " << dim_count
|
|
|
|
|
<< ", 实际下标数: " << ctx->exp().size());
|
|
|
|
|
if (ctx->exp().size() != dim_count) {
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "数组下标个数不匹配"));
|
|
|
|
|
}
|
|
|
|
|
@ -545,9 +550,9 @@ public:
|
|
|
|
|
result.is_lvalue = true;
|
|
|
|
|
result.is_const = false;
|
|
|
|
|
} else {
|
|
|
|
|
std::cout << "[DEBUG] 无下标访问" << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 无下标访问");
|
|
|
|
|
if (sym->type->IsArray()) {
|
|
|
|
|
std::cout << "[DEBUG] 数组名作为地址，转换为指针" << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 数组名作为地址，转换为指针");
|
|
|
|
|
if (auto* arr_type = dynamic_cast<ir::ArrayType*>(sym->type.get())) {
|
|
|
|
|
if (arr_type->GetElementType()->IsInt32()) {
|
|
|
|
|
result.type = ir::Type::GetPtrInt32Type();
|
|
|
|
|
@ -669,7 +674,7 @@ public:
|
|
|
|
|
|
|
|
|
|
// 主表达式
|
|
|
|
|
std::any visitPrimaryExp(SysYParser::PrimaryExpContext* ctx) override {
|
|
|
|
|
std::cout << "[DEBUG] visitPrimaryExp: " << ctx->getText() << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] visitPrimaryExp: " << ctx->getText());
|
|
|
|
|
ExprInfo result;
|
|
|
|
|
if (ctx->lVal()) { // 左值表达式
|
|
|
|
|
result = CheckLValue(ctx->lVal());
|
|
|
|
|
@ -701,14 +706,14 @@ public:
|
|
|
|
|
|
|
|
|
|
// 一元表达式
|
|
|
|
|
std::any visitUnaryExp(SysYParser::UnaryExpContext* ctx) override {
|
|
|
|
|
std::cout << "[DEBUG] visitUnaryExp: " << ctx->getText() << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] visitUnaryExp: " << ctx->getText());
|
|
|
|
|
ExprInfo result;
|
|
|
|
|
if (ctx->primaryExp()) {
|
|
|
|
|
ctx->primaryExp()->accept(this);
|
|
|
|
|
auto* info = sema_.GetExprType(ctx->primaryExp());
|
|
|
|
|
if (info) result = *info;
|
|
|
|
|
} else if (ctx->Ident() && ctx->L_PAREN()) { // 函数调用
|
|
|
|
|
std::cout << "[DEBUG] 函数调用: " << ctx->Ident()->getText() << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 函数调用: " << ctx->Ident()->getText());
|
|
|
|
|
result = CheckFuncCall(ctx);
|
|
|
|
|
} else if (ctx->unaryOp()) { // 一元运算
|
|
|
|
|
ctx->unaryExp()->accept(this);
|
|
|
|
|
@ -1074,8 +1079,8 @@ public:
|
|
|
|
|
|
|
|
|
|
// 新增：同时返回两者
|
|
|
|
|
SemaResult TakeResult() {
|
|
|
|
|
std::cerr << "[DEBUG] TakeResult 前: 符号表作用域数量 = "
|
|
|
|
|
<< table_.getScopeCount() << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] TakeResult 前: 符号表作用域数量 = "
|
|
|
|
|
<< table_.getScopeCount());
|
|
|
|
|
|
|
|
|
|
// 可选：打印符号表内容
|
|
|
|
|
// table_.dump();
|
|
|
|
|
@ -1084,8 +1089,8 @@ public:
|
|
|
|
|
result.context = std::move(sema_);
|
|
|
|
|
result.symbol_table = std::move(table_);
|
|
|
|
|
|
|
|
|
|
std::cerr << "[DEBUG] TakeResult 后: 符号表作用域数量 = "
|
|
|
|
|
<< result.symbol_table.getScopeCount() << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] TakeResult 后: 符号表作用域数量 = "
|
|
|
|
|
<< result.symbol_table.getScopeCount());
|
|
|
|
|
return result;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
@ -1106,7 +1111,7 @@ private:
|
|
|
|
|
if (!ctx || !ctx->addExp()) {
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "无效表达式"));
|
|
|
|
|
}
|
|
|
|
|
std::cout << "[DEBUG] CheckExp: " << ctx->getText() << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] CheckExp: " << ctx->getText());
|
|
|
|
|
ctx->addExp()->accept(this);
|
|
|
|
|
auto* info = sema_.GetExprType(ctx->addExp());
|
|
|
|
|
if (!info) {
|
|
|
|
|
@ -1157,21 +1162,21 @@ private:
|
|
|
|
|
if (!sym) {
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "未定义的变量: " + name));
|
|
|
|
|
}
|
|
|
|
|
std::cout << "CheckLValue: found sym->name = " << sym->name
|
|
|
|
|
<< ", sym->kind = " << (int)sym->kind << std::endl;
|
|
|
|
|
DEBUG_MSG("CheckLValue: found sym->name = " << sym->name
|
|
|
|
|
<< ", sym->kind = " << (int)sym->kind);
|
|
|
|
|
|
|
|
|
|
if (sym->kind == SymbolKind::Variable && sym->var_def_ctx) {
|
|
|
|
|
sema_.BindVarUse(ctx, sym->var_def_ctx);
|
|
|
|
|
std::cout << "绑定变量: " << name << " -> VarDefContext" << std::endl;
|
|
|
|
|
DEBUG_MSG("绑定变量: " << name << " -> VarDefContext");
|
|
|
|
|
}
|
|
|
|
|
else if (sym->kind == SymbolKind::Constant && sym->const_def_ctx) {
|
|
|
|
|
sema_.BindConstUse(ctx, sym->const_def_ctx);
|
|
|
|
|
std::cout << "绑定常量: " << name << " -> ConstDefContext" << std::endl;
|
|
|
|
|
DEBUG_MSG("绑定常量: " << name << " -> ConstDefContext");
|
|
|
|
|
}
|
|
|
|
|
std::cout << "CheckLValue 绑定变量: " << name
|
|
|
|
|
DEBUG_MSG("CheckLValue 绑定变量: " << name
|
|
|
|
|
<< ", sym->kind: " << (int)sym->kind
|
|
|
|
|
<< ", sym->var_def_ctx: " << sym->var_def_ctx
|
|
|
|
|
<< ", sym->const_def_ctx: " << sym->const_def_ctx << std::endl;
|
|
|
|
|
<< ", sym->const_def_ctx: " << sym->const_def_ctx);
|
|
|
|
|
|
|
|
|
|
bool is_array_access = !ctx->exp().empty();
|
|
|
|
|
bool is_const = (sym->kind == SymbolKind::Constant);
|
|
|
|
|
@ -1203,9 +1208,8 @@ private:
|
|
|
|
|
} else if (sym->type->IsPtrFloat()) {
|
|
|
|
|
elem_type = ir::Type::GetFloatType();
|
|
|
|
|
}
|
|
|
|
|
std::cout << "数组参数维度: " << dim_count << " 维, dims: ";
|
|
|
|
|
for (int d : dims) std::cout << d << " ";
|
|
|
|
|
std::cout << std::endl;
|
|
|
|
|
DEBUG_MSG("数组参数维度: " << dim_count << " 维, dims: ");
|
|
|
|
|
for (int d : dims) DEBUG_MSG(d << " ");
|
|
|
|
|
} else if (sym->type && (sym->type->IsPtrInt32() || sym->type->IsPtrFloat())) {
|
|
|
|
|
// 普通指针，只能有一个下标
|
|
|
|
|
dim_count = 1;
|
|
|
|
|
@ -1218,7 +1222,7 @@ private:
|
|
|
|
|
|
|
|
|
|
size_t subscript_count = ctx->exp().size();
|
|
|
|
|
|
|
|
|
|
std::cout << "dim_count: " << dim_count << ", subscript_count: " << subscript_count << std::endl;
|
|
|
|
|
DEBUG_MSG("dim_count: " << dim_count << ", subscript_count: " << subscript_count);
|
|
|
|
|
|
|
|
|
|
if (dim_count > 0 || sym->is_array_param || sym->type->IsArray() ||
|
|
|
|
|
sym->type->IsPtrInt32() || sym->type->IsPtrFloat()) {
|
|
|
|
|
@ -1239,11 +1243,11 @@ private:
|
|
|
|
|
|
|
|
|
|
if (subscript_count == dim_count) {
|
|
|
|
|
// 完全索引，返回元素类型
|
|
|
|
|
std::cout << "完全索引，返回元素类型" << std::endl;
|
|
|
|
|
DEBUG_MSG("完全索引，返回元素类型");
|
|
|
|
|
return {elem_type, true, false};
|
|
|
|
|
} else {
|
|
|
|
|
// 部分索引，返回子数组的指针类型
|
|
|
|
|
std::cout << "部分索引，返回指针类型" << std::endl;
|
|
|
|
|
DEBUG_MSG("部分索引，返回指针类型");
|
|
|
|
|
// 计算剩余维度的指针类型
|
|
|
|
|
if (elem_type->IsInt32()) {
|
|
|
|
|
return {ir::Type::GetPtrInt32Type(), false, false};
|
|
|
|
|
@ -1257,7 +1261,7 @@ private:
|
|
|
|
|
// 没有下标访问
|
|
|
|
|
if (sym->type && sym->type->IsArray()) {
|
|
|
|
|
// 数组名作为地址
|
|
|
|
|
std::cout << "数组名作为地址" << std::endl;
|
|
|
|
|
DEBUG_MSG("数组名作为地址");
|
|
|
|
|
if (auto* arr_type = dynamic_cast<ir::ArrayType*>(sym->type.get())) {
|
|
|
|
|
if (arr_type->GetElementType()->IsInt32()) {
|
|
|
|
|
return {ir::Type::GetPtrInt32Type(), false, true};
|
|
|
|
|
@ -1268,7 +1272,7 @@ private:
|
|
|
|
|
return {ir::Type::GetPtrInt32Type(), false, true};
|
|
|
|
|
} else if (sym->is_array_param) {
|
|
|
|
|
// 数组参数名作为地址
|
|
|
|
|
std::cout << "数组参数名作为地址" << std::endl;
|
|
|
|
|
DEBUG_MSG("数组参数名作为地址");
|
|
|
|
|
if (sym->type->IsPtrInt32()) {
|
|
|
|
|
return {ir::Type::GetPtrInt32Type(), false, true};
|
|
|
|
|
} else {
|
|
|
|
|
@ -1292,14 +1296,14 @@ private:
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "非法函数调用"));
|
|
|
|
|
}
|
|
|
|
|
std::string func_name = ctx->Ident()->getText();
|
|
|
|
|
std::cout << "[DEBUG] CheckFuncCall: " << func_name << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] CheckFuncCall: " << func_name);
|
|
|
|
|
auto* func_sym = table_.lookup(func_name);
|
|
|
|
|
if (!func_sym || func_sym->kind != SymbolKind::Function) {
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "未定义的函数: " + func_name));
|
|
|
|
|
}
|
|
|
|
|
std::vector<ExprInfo> args;
|
|
|
|
|
if (ctx->funcRParams()) {
|
|
|
|
|
std::cout << "[DEBUG] 处理函数调用参数:" << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 处理函数调用参数:");
|
|
|
|
|
for (auto* exp : ctx->funcRParams()->exp()) {
|
|
|
|
|
if (exp) {
|
|
|
|
|
args.push_back(CheckExp(exp));
|
|
|
|
|
@ -1310,8 +1314,8 @@ private:
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "参数个数不匹配"));
|
|
|
|
|
}
|
|
|
|
|
for (size_t i = 0; i < std::min(args.size(), func_sym->param_types.size()); ++i) {
|
|
|
|
|
std::cout << "[DEBUG] 检查参数 " << i << ": 实参类型 " << (int)args[i].type->GetKind()
|
|
|
|
|
<< " 形参类型 " << (int)func_sym->param_types[i]->GetKind() << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 检查参数 " << i << ": 实参类型 " << (int)args[i].type->GetKind()
|
|
|
|
|
<< " 形参类型 " << (int)func_sym->param_types[i]->GetKind());
|
|
|
|
|
if (!IsTypeCompatible(args[i].type, func_sym->param_types[i])) {
|
|
|
|
|
throw std::runtime_error(FormatError("sema", "参数类型不匹配"));
|
|
|
|
|
}
|
|
|
|
|
@ -1511,10 +1515,8 @@ private:
|
|
|
|
|
sym.array_dims = dims;
|
|
|
|
|
table_.addSymbol(sym);
|
|
|
|
|
|
|
|
|
|
std::cout << "[DEBUG] 添加参数: " << name << " type_kind: " << (int)param_type->GetKind()
|
|
|
|
|
<< " is_array: " << is_array << " dims: ";
|
|
|
|
|
for (int d : dims) std::cout << d << " ";
|
|
|
|
|
std::cout << std::endl;
|
|
|
|
|
DEBUG_MSG("[DEBUG] 添加参数: " << name << " type_kind: " << (int)param_type->GetKind());
|
|
|
|
|
for (int d : dims) DEBUG_MSG(d << " ");
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
mxr
1 month ago