krzosa/corelang
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Core: #compiler_breakpoint

Browse Source
This commit is contained in:
Krzosa Karol
2023-04-21 15:34:59 +02:00
parent 07dcb418dd
commit 108ec6121e
10 changed files with 27 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
core_ast.cpp
View File

@@ -160,7 +160,7 @@ ast_break(Token *pos) {
CORE_Static Ast_Break *
ast_compiler_breakpoint(Token *pos) {
AST_NEW(Break, COMPILER_BREAKPOINT, pos, AST_STMT);
AST_NEW(Break, COMPILER_BREAKPOINT_STMT, pos, AST_STMT);
return result;
}
@@ -566,7 +566,7 @@ void next(Ast_Iter *iter) {
case AST_BREAK:
case AST_PASS:
case AST_CONTINUE:
case AST_COMPILER_BREAKPOINT: {
case AST_COMPILER_BREAKPOINT_STMT: {
Ast *node = (Ast *)ast;
} break;

2
core_codegen_c_language.cpp
View File

@@ -667,7 +667,7 @@ gen_ast(Ast *ast) {
BREAK();
}
CASE(COMPILER_BREAKPOINT, Break) {
CASE(COMPILER_BREAKPOINT_STMT, Break) {
unused(node);
__debugbreak();
BREAK();

1
core_compiler.cpp
View File

@@ -81,6 +81,7 @@ for i in meta.token_simple_expr:
pctx->intern_load = pctx->intern("load"_s);
pctx->intern_import = pctx->intern("import"_s);
pctx->intern_link = pctx->intern("link"_s);
pctx->intern_compiler_breakpoint = pctx->intern("compiler_breakpoint"_s);
pctx->op_info_table[0] = {pctx->intern("*"_s), "MUL"_s, TK_Mul, 1, 0};
pctx->op_info_table[1] = {pctx->intern("/"_s), "DIV"_s, TK_Div, 1, 0};
pctx->op_info_table[2] = {pctx->intern("%"_s), "MOD"_s, TK_Mod, 1, 0};

1
core_compiler.h
View File

@@ -120,6 +120,7 @@ for i in meta.interns: print(f'Intern_String intern_{i.lower()};')
Intern_String intern_load;
Intern_String intern_import;
Intern_String intern_link;
Intern_String intern_compiler_breakpoint;
/*END*/
/*#import meta

5
core_compiler_interface.hpp
View File

@@ -339,7 +339,7 @@ enum Ast_Kind : uint32_t {
AST_SWITCH_CASE,
AST_VAR_UNPACK,
AST_BREAK,
AST_COMPILER_BREAKPOINT,
AST_COMPILER_BREAKPOINT_STMT,
AST_CONTINUE,
AST_COMPOUND,
AST_TYPE,
@@ -380,7 +380,8 @@ enum {
AST_PARENT_POLYMORPH = 1 << 17,
AST_POLYMORPH_INSTANCE = 1 << 18,
AST_TYPESPEC = 1 << 18,
AST_TYPESPEC = 1 << 19,
AST_COMPILER_BREAKPOINT = 1 << 20,
};
struct Ast {

20
core_parsing.cpp
View File

@@ -904,12 +904,11 @@ parse_decl(B32 is_global) {
Ast_Flag flags = 0;
Token *tname = token_get();
if (token_match(TK_Identifier, TK_DoubleColon)) {
if (token_match_pound(pctx->intern_foreign)) {
set_flag(flags, AST_FOREIGN);
}
else if (token_match_pound(pctx->intern_strict)) {
set_flag(flags, AST_STRICT);
for (;;) {
if (token_match_pound(pctx->intern_foreign)) set_flag(flags, AST_FOREIGN);
else if (token_match_pound(pctx->intern_strict)) set_flag(flags, AST_STRICT);
else if (token_match_pound(pctx->intern_compiler_breakpoint)) set_flag(flags, AST_COMPILER_BREAKPOINT);
else break;
}
if (token_match_keyword(pctx->keyword_struct)) {
@@ -973,6 +972,7 @@ parse_decl(B32 is_global) {
}
}
else if (token_match(TK_StringLit, TK_DoubleColon)) {
if (token_match_pound(pctx->intern_compiler_breakpoint)) set_flag(flags, AST_COMPILER_BREAKPOINT);
// @cleanup: consider simplifying lambdas, removing AST_LAMBDA_EXPR and
// implementing actual parse_lambda or something.
@@ -1013,13 +1013,17 @@ parse_decl(B32 is_global) {
set_flag_typespec(typespec);
Ast_Expr *expr = parse_assign_expr();
if (token_match_pound(pctx->intern_foreign))
set_flag(flags, AST_FOREIGN);
for (;;) {
if (token_match_pound(pctx->intern_foreign)) set_flag(flags, AST_FOREIGN);
else if (token_match_pound(pctx->intern_compiler_breakpoint)) set_flag(flags, AST_COMPILER_BREAKPOINT);
else break;
}
result = ast_var(tname, typespec, tname->intern_val, expr);
}
else if (token_match(TK_Identifier, TK_ColonAssign)) {
if (token_match_pound(pctx->intern_compiler_breakpoint)) set_flag(flags, AST_COMPILER_BREAKPOINT);
Ast_Expr *expr = parse_expr();
result = ast_var(tname, 0, tname->intern_val, expr);
}

2
core_polymorph.cpp
View File

@@ -326,7 +326,7 @@ Ast *ast_copy(Ast *ast, Ast_Scope *parent_scope, Array<Poly_Replacement> *repl)
case AST_BREAK:
case AST_PASS:
case AST_CONTINUE:
case AST_COMPILER_BREAKPOINT: {
case AST_COMPILER_BREAKPOINT_STMT: {
Ast *src = (Ast *)ast;
Ast *dst = ast_create_copy(parent_scope, Ast, ast);
result = dst;

5
core_typechecking.cpp
View File

@@ -729,6 +729,7 @@ CORE_Static void
resolve_stmt(Ast *ast, Ast_Type *ret) {
if (!ast) return;
assert(ast->parent_scope->kind == AST_SCOPE);
if (ast->flags & AST_COMPILER_BREAKPOINT) Breakpoint;
switch (ast->kind) {
CASE(RETURN, Return) { // @todo: need to check if all paths return a value
@@ -776,7 +777,7 @@ resolve_stmt(Ast *ast, Ast_Type *ret) {
BREAK();
}
case AST_COMPILER_BREAKPOINT: {
case AST_COMPILER_BREAKPOINT_STMT: {
__debugbreak();
} break;
@@ -1167,6 +1168,7 @@ resolve_expr(Ast_Expr *ast, Resolve_Flag flags, Ast_Type *compound_and_const_str
if (!ast && is_flag_set(flags, AST_CAN_BE_NULL)) return {};
assert(is_flag_set(ast->flags, AST_EXPR));
assert(ast->parent_scope->kind == AST_SCOPE || ast->parent_scope->kind == AST_FILE);
if (ast->flags & AST_COMPILER_BREAKPOINT) Breakpoint;
switch (ast->kind) {
@@ -1849,6 +1851,7 @@ resolve_decl(Ast_Decl *ast) {
ast->state = DECL_RESOLVING;
Ast_Decl *node = (Ast_Decl *)ast;
node->unique_name = node->name;
if (ast->flags & AST_COMPILER_BREAKPOINT) Breakpoint;
{
switch (ast->kind) {
case AST_LAMBDA: {

1
core_types.cpp
View File

@@ -243,6 +243,7 @@ CORE_Static void type_complete(Ast_Type *type);
CORE_Static void
type_struct_complete(Ast_Type *type, Ast_Decl *node) {
assert(node->kind == AST_STRUCT || node->kind == AST_UNION);
if (is_flag_set(node->flags, AST_COMPILER_BREAKPOINT)) Breakpoint;
Scoped_Arena scratch(pctx->scratch);
if (node->kind == AST_STRUCT) {

1
meta.py
View File

@@ -131,6 +131,7 @@ interns = [
"load",
"import",
"link",
"compiler_breakpoint",
]