zzy/scc
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat(abi): 添加VA_LIST类型支持并完善ABI实现

Browse Source 
- 在scc_abi_base_type_kind枚举中添加SCC_ABI_TYPE_VA_LIST类型
- 为Windows x64平台实现VA_LIST类型的ABI规则，遵循MSVC调用约定
- 在AST到ABI类型转换中处理SCC_AST_BUILTIN_TYPE_VA_LIST和BOOL类型

refactor(ast2ir): 实现循环控制流和跳转语句转换

- 添加break和continue缓存表用于语句跳转目标管理
- 实现while、do-while和for循环的正确控制流结构
- 添加对break、continue、goto和label语句的IR转换支持
- 修复复合表达式和声明类型的处理逻辑

refactor(parser): 重构语义分析接口和循环语句解析

- 将语义分析上下文从回调结构改为指针传递
- 为switch、while、do-while和for语句添加BEGIN/END语义标记
- 实现匿名结构体/联合体/枚举的符号命名处理
- 优化结构体/联合体/枚举声明的类型解析逻辑

feat(parser): 实现跳转语句语义分析和符号绑定

- 添加break_stack和continue_stack用于跟踪循环层级
- 实现break和continue语句的目标语句绑定检查
- 支持goto和label语句的标签符号查找和绑定
- 添加对跳转语句位置的有效性验证

Co-authored-by: Copilot <copilot@github.com>
This commit is contained in:
zzy
2026-04-28 12:25:51 +08:00
parent f6bc40ae4a
commit 85d698acdf
14 changed files with 303 additions and 139 deletions
Download Patch File Download Diff File Expand all files Collapse all files

118
libs/parser/src/scc_sema.c
View File

@@ -3,20 +3,20 @@
#include <scc_sema.h>
#include <sema_symtab.h>
static const scc_ast_qual_type_t *got_type_callback(void *context,
static const scc_ast_qual_type_t *got_type_callback(scc_sema_ctx_t *sema_ctx,
const char *name);
static void gen_symbol_name(const scc_ast_decl_t *decl, scc_str_t *name) {
switch (decl->base.type) {
case SCC_AST_TYPE_ENUM:
case SCC_AST_DECL_ENUM:
*name = scc_str_from_cstr("$E_");
scc_str_append_cstr(name, decl->name, scc_strlen(decl->name));
break;
case SCC_AST_TYPE_STRUCT:
case SCC_AST_DECL_STRUCT:
*name = scc_str_from_cstr("$S_");
scc_str_append_cstr(name, decl->name, scc_strlen(decl->name));
break;
case SCC_AST_TYPE_UNION:
case SCC_AST_DECL_UNION:
*name = scc_str_from_cstr("$U_");
scc_str_append_cstr(name, decl->name, scc_strlen(decl->name));
break;
@@ -42,9 +42,9 @@ static void symtab_add_symbol(scc_sema_symtab_t *sema_symtab,
}
}
static void type_callback(void *context, scc_ast_node_kind_t node_type,
void *node) {
scc_sema_symtab_t *sema_symtab = context;
static void type_callback(scc_sema_ctx_t *sema_ctx,
scc_ast_node_kind_t node_type, void *node) {
scc_sema_symtab_t *sema_symtab = sema_ctx->context;
scc_ast_qual_type_t *type = SCC_AST_CAST_TO(scc_ast_qual_type_t, node);
if (node_type == SCC_AST_TYPE_STRUCT) {
@@ -57,9 +57,9 @@ static void type_callback(void *context, scc_ast_node_kind_t node_type,
return;
}
static void expr_callback(void *context, scc_ast_node_kind_t node_type,
void *node) {
scc_sema_symtab_t *sema_symtab = context;
static void expr_callback(scc_sema_ctx_t *sema_ctx,
scc_ast_node_kind_t node_type, void *node) {
scc_sema_symtab_t *sema_symtab = sema_ctx->context;
if (node_type == SCC_AST_UNKNOWN || node == nullptr) {
return;
@@ -83,26 +83,96 @@ static void expr_callback(void *context, scc_ast_node_kind_t node_type,
return;
}
static void stmt_callback(void *context, scc_ast_node_kind_t node_type,
void *node) {
scc_sema_symtab_t *sema_symtab = context;
static void stmt_callback(scc_sema_ctx_t *sema_ctx,
scc_ast_node_kind_t node_type, void *node) {
scc_sema_symtab_t *sema_symtab = sema_ctx->context;
if (node_type == scc_ast_stmt_t_BEGIN) {
scc_sema_symtab_enter_scope(sema_symtab);
if (node == nullptr) {
scc_sema_symtab_enter_scope(sema_symtab);
return;
}
switch (((scc_ast_stmt_t *)node)->base.type) {
case SCC_AST_STMT_WHILE:
case SCC_AST_STMT_DO_WHILE:
case SCC_AST_STMT_FOR:
scc_vec_push(sema_ctx->break_stack, (scc_ast_stmt_t *)node);
scc_vec_push(sema_ctx->continue_stack, (scc_ast_stmt_t *)node);
break;
case SCC_AST_STMT_SWITCH:
scc_vec_push(sema_ctx->break_stack, (scc_ast_stmt_t *)node);
break;
default:
Panic("Unhandled statement type");
break;
}
return;
} else if (node_type == scc_ast_stmt_t_END) {
scc_sema_symtab_leave_scope(sema_symtab);
if (node == nullptr) {
scc_sema_symtab_leave_scope(sema_symtab);
return;
}
switch (((scc_ast_stmt_t *)node)->base.type) {
case SCC_AST_STMT_WHILE:
case SCC_AST_STMT_DO_WHILE:
case SCC_AST_STMT_FOR:
scc_vec_pop(sema_ctx->break_stack);
scc_vec_pop(sema_ctx->continue_stack);
break;
case SCC_AST_STMT_SWITCH:
scc_vec_pop(sema_ctx->break_stack);
break;
default:
Panic("Unhandled statement type");
break;
}
return;
}
if (node_type == SCC_AST_UNKNOWN || node == nullptr) {
return;
}
scc_ast_stmt_t *stmt = SCC_AST_CAST_TO(scc_ast_stmt_t, node);
switch (stmt->base.type) {
case SCC_AST_STMT_BREAK:
if (scc_vec_size(sema_ctx->break_stack) == 0)
SCC_ERROR(stmt->base.loc, "break not in loop/switch");
else
stmt->jump._target = scc_vec_at(
sema_ctx->break_stack, scc_vec_size(sema_ctx->break_stack) - 1);
break;
case SCC_AST_STMT_CONTINUE:
if (scc_vec_size(sema_ctx->continue_stack) == 0)
SCC_ERROR(stmt->base.loc, "continue not in loop");
else
stmt->jump._target =
scc_vec_at(sema_ctx->continue_stack,
scc_vec_size(sema_ctx->continue_stack) - 1);
case SCC_AST_STMT_GOTO:
scc_ast_node_t *target_node =
scc_sema_symtab_lookup_symbol(sema_symtab, stmt->goto_stmt.label);
if (target_node == nullptr) {
SCC_ERROR(stmt->base.loc, "");
break;
}
if (!SCC_AST_IS_A(scc_ast_stmt_t, target_node)) {
SCC_ERROR(stmt->base.loc, "");
break;
}
stmt->goto_stmt._target = SCC_AST_CAST_TO(scc_ast_stmt_t, target_node);
break;
case SCC_AST_STMT_LABEL:
scc_sema_symtab_add_symbol(sema_symtab, stmt->label_stmt.label,
&stmt->base);
break;
default:
break;
}
return;
}
static void decl_callback(void *context, scc_ast_node_kind_t node_type,
void *node) {
scc_sema_symtab_t *sema_symtab = context;
static void decl_callback(scc_sema_ctx_t *sema_ctx,
scc_ast_node_kind_t node_type, void *node) {
scc_sema_symtab_t *sema_symtab = sema_ctx->context;
// Function declaration scope
if (node_type == scc_ast_decl_t_BEGIN) {
@@ -149,9 +219,9 @@ static void decl_callback(void *context, scc_ast_node_kind_t node_type,
return;
}
static const scc_ast_qual_type_t *got_type_callback(void *context,
static const scc_ast_qual_type_t *got_type_callback(scc_sema_ctx_t *sema_ctx,
const char *name) {
scc_sema_symtab_t *sema_symtab = context;
scc_sema_symtab_t *sema_symtab = sema_ctx->context;
scc_ast_node_t *node = scc_sema_symtab_lookup_symbol(sema_symtab, name);
if (SCC_AST_IS_A(scc_ast_qual_type_t, node)) {
return (scc_ast_qual_type_t *)node;
@@ -175,6 +245,9 @@ void scc_sema_init(scc_sema_ctx_t *sema_ctx, scc_ast_ctx_t *ast_ctx) {
scc_sema_symtab_init(sema_symtab);
scc_vec_init(sema_ctx->break_stack);
scc_vec_init(sema_ctx->continue_stack);
// FIXME memory leak
scc_ast_qual_type_t *type = SCC_AST_ALLOC_QUAL_TYPE(sema_ctx->ast_ctx);
@@ -207,6 +280,11 @@ void scc_sema_init(scc_sema_ctx_t *sema_ctx, scc_ast_ctx_t *ast_ctx) {
}
void scc_sema_drop(scc_sema_ctx_t *sema_ctx) {
Assert(scc_vec_size(sema_ctx->break_stack) == 0 &&
scc_vec_size(sema_ctx->continue_stack) == 0);
scc_vec_free(sema_ctx->break_stack);
scc_vec_free(sema_ctx->continue_stack);
// FIXME drop obj
if (sema_ctx->context) {
scc_sema_symtab_drop(sema_ctx->context);