Skip to content

Commit

Permalink
wip
Browse files Browse the repository at this point in the history
  • Loading branch information
@rpkak
rpkak committed Jan 27, 2024
1 parent 6dffc9f commit 435d682
Show file tree
Hide file tree
Showing 15 changed files with 458 additions and 388 deletions.
3 changes: 2 additions & 1 deletion src/ptlang_ast/ptlang_ast.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1226,6 +1226,7 @@ ptlang_utils_str ptlang_ast_exp_to_string(ptlang_ast_exp exp)
case PTLANG_AST_EXP_BINARY:
abort();
}
return ALLOCATED_STR(str);
}

static char *ptlang_ast_exp_type_get_symbol(ptlang_ast_exp exp)
Expand Down Expand Up @@ -1287,4 +1288,4 @@ static char *ptlang_ast_exp_type_get_symbol(ptlang_ast_exp exp)
default:
abort();
}
}
}
38 changes: 1 addition & 37 deletions src/ptlang_ast/ptlang_ast.h
View file
Original file line number Diff line number Diff line change
@@ -1,49 +1,13 @@
#ifndef PTLANG_AST_H
#define PTLANG_AST_H

#include "ptlang_ast_nodes.h"
#include "ptlang_utils.h"
#include <inttypes.h>
#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>

typedef struct ptlang_ast_code_position_s
{
uint64_t from_line;
uint64_t from_column;
uint64_t to_line;
uint64_t to_column;
} ptlang_ast_code_position_s;

typedef struct ptlang_ast_code_position_s *ptlang_ast_code_position;

typedef struct ptlang_ast_ident_s
{
char *name;
ptlang_ast_code_position pos;
} ptlang_ast_ident;

typedef struct ptlang_ast_type_s *ptlang_ast_type;
typedef struct ptlang_ast_stmt_s *ptlang_ast_stmt;
typedef struct ptlang_ast_module_s *ptlang_ast_module;
typedef struct ptlang_ast_func_s *ptlang_ast_func;
typedef struct ptlang_ast_exp_s *ptlang_ast_exp;
typedef struct ptlang_ast_decl_s *ptlang_ast_decl;
typedef struct ptlang_ast_struct_def_s *ptlang_ast_struct_def;
typedef struct ptlang_ast_struct_member_s *ptlang_ast_struct_member_list;
// typedef struct ptlang_ast_decl_list_s *ptlang_ast_decl_list;
// typedef struct ptlang_ast_type_list_s *ptlang_ast_type_list;
// typedef struct ptlang_ast_exp_list_s *ptlang_ast_exp_list;
// typedef struct ptlang_ast_str_exp_list_s *ptlang_ast_str_exp_list;

enum ptlang_ast_type_float_size
{
PTLANG_AST_TYPE_FLOAT_16 = 16,
PTLANG_AST_TYPE_FLOAT_32 = 32,
PTLANG_AST_TYPE_FLOAT_64 = 64,
PTLANG_AST_TYPE_FLOAT_128 = 128,
};

ptlang_ast_struct_def ptlang_ast_struct_def_new(ptlang_ast_ident name, ptlang_ast_decl *members,
ptlang_ast_code_position pos);

Expand Down
289 changes: 0 additions & 289 deletions src/ptlang_ast/ptlang_ast_impl.h
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,295 +11,6 @@
#include <stdlib.h>
#include <string.h>

struct ptlang_ast_struct_def_s
{
ptlang_ast_ident name;
ptlang_ast_decl *members;
ptlang_ast_code_position pos;
};

struct ptlang_ast_module_type_alias_s
{
ptlang_ast_ident name;
ptlang_ast_type type;
ptlang_ast_code_position pos;
};

struct ptlang_ast_module_s
{
ptlang_ast_func *functions;
ptlang_ast_decl *declarations;
ptlang_ast_struct_def *struct_defs;
struct ptlang_ast_module_type_alias_s *type_aliases;
};

struct ptlang_ast_decl_s
{
ptlang_ast_type type;
ptlang_ast_exp init;
ptlang_ast_ident name;
bool writable;
bool export;
ptlang_ast_code_position pos;
};

// struct ptlang_ast_decl_list_s
// {
// uint64_t count;
// ptlang_ast_decl *decls;
// };

// struct ptlang_ast_type_list_s
// {
// uint64_t count;
// ptlang_ast_type *types;
// };

// struct ptlang_ast_exp_list_s
// {
// uint64_t count;
// ptlang_ast_exp *exps;
// }
// ;

struct ptlang_ast_struct_member_s
{
ptlang_ast_ident str;
ptlang_ast_exp exp;
ptlang_ast_code_position pos;
};

// struct ptlang_ast_str_exp_list_s
// {
// uint64_t count;
// struct ptlang_ast_str_exp_s *str_exps;
// };

struct ptlang_ast_stmt_block_s
{
ptlang_ast_stmt *stmts;
};

struct ptlang_ast_stmt_control_flow_s
{
ptlang_ast_exp condition;
ptlang_ast_stmt stmt;
};

struct ptlang_ast_stmt_control_flow2_s
{
ptlang_ast_exp condition;
ptlang_ast_stmt stmt[2];
};

struct ptlang_ast_stmt_s
{
enum
{
PTLANG_AST_STMT_BLOCK,
PTLANG_AST_STMT_EXP,
PTLANG_AST_STMT_DECL,
PTLANG_AST_STMT_IF,
PTLANG_AST_STMT_IF_ELSE,
PTLANG_AST_STMT_WHILE,
PTLANG_AST_STMT_RETURN,
PTLANG_AST_STMT_RET_VAL,
PTLANG_AST_STMT_BREAK,
PTLANG_AST_STMT_CONTINUE,
} type;
union
{
struct ptlang_ast_stmt_block_s block;
ptlang_ast_exp exp;
ptlang_ast_decl decl;
struct ptlang_ast_stmt_control_flow_s control_flow;
struct ptlang_ast_stmt_control_flow2_s control_flow2;
uint64_t nesting_level;
} content;
ptlang_ast_code_position pos;
};

struct ptlang_ast_exp_binary_operator_s
{
ptlang_ast_exp left_value;
ptlang_ast_exp right_value;
};

struct ptlang_ast_exp_function_call_s
{
ptlang_ast_exp function;
ptlang_ast_exp *parameters;
};

struct ptlang_ast_exp_ternary_operator_s
{
ptlang_ast_exp condition;
ptlang_ast_exp if_value;
ptlang_ast_exp else_value;
};

struct ptlang_ast_exp_cast_s
{
ptlang_ast_type type;
ptlang_ast_exp value;
};

struct ptlang_ast_exp_struct_s
{
ptlang_ast_ident type;
ptlang_ast_struct_member_list members;
};

struct ptlang_ast_exp_array_s
{
ptlang_ast_type type;
ptlang_ast_exp *values;
};

struct ptlang_ast_exp_struct_member_s
{
ptlang_ast_exp struct_;
ptlang_ast_ident member_name;
};

struct ptlang_ast_exp_array_element_s
{
ptlang_ast_exp array;
ptlang_ast_exp index;
};

struct ptlang_ast_exp_reference_s
{
bool writable;
ptlang_ast_exp value;
};

struct ptlang_ast_exp_s
{
enum
{
PTLANG_AST_EXP_ASSIGNMENT,
PTLANG_AST_EXP_ADDITION,
PTLANG_AST_EXP_SUBTRACTION,
PTLANG_AST_EXP_NEGATION,
PTLANG_AST_EXP_MULTIPLICATION,
PTLANG_AST_EXP_DIVISION,
PTLANG_AST_EXP_MODULO,
PTLANG_AST_EXP_REMAINDER,
PTLANG_AST_EXP_EQUAL,
PTLANG_AST_EXP_NOT_EQUAL,
PTLANG_AST_EXP_GREATER,
PTLANG_AST_EXP_GREATER_EQUAL,
PTLANG_AST_EXP_LESS,
PTLANG_AST_EXP_LESS_EQUAL,
PTLANG_AST_EXP_LEFT_SHIFT,
PTLANG_AST_EXP_RIGHT_SHIFT,
PTLANG_AST_EXP_AND,
PTLANG_AST_EXP_OR,
PTLANG_AST_EXP_NOT,
PTLANG_AST_EXP_BITWISE_AND,
PTLANG_AST_EXP_BITWISE_OR,
PTLANG_AST_EXP_BITWISE_XOR,
PTLANG_AST_EXP_BITWISE_INVERSE, // xor -1
PTLANG_AST_EXP_LENGTH,
PTLANG_AST_EXP_FUNCTION_CALL,
PTLANG_AST_EXP_VARIABLE,
PTLANG_AST_EXP_INTEGER,
PTLANG_AST_EXP_FLOAT,
PTLANG_AST_EXP_STRUCT,
PTLANG_AST_EXP_ARRAY,
PTLANG_AST_EXP_TERNARY,
PTLANG_AST_EXP_CAST,
PTLANG_AST_EXP_STRUCT_MEMBER,
PTLANG_AST_EXP_ARRAY_ELEMENT,
PTLANG_AST_EXP_REFERENCE,
PTLANG_AST_EXP_DEREFERENCE,
PTLANG_AST_EXP_BINARY,
} type;
union
{
struct ptlang_ast_exp_binary_operator_s binary_operator;
ptlang_ast_exp unary_operator;
struct ptlang_ast_exp_function_call_s function_call;
struct ptlang_ast_exp_ternary_operator_s ternary_operator;
char *str_prepresentation;
struct ptlang_ast_exp_struct_s struct_;
struct ptlang_ast_exp_array_s array;
struct ptlang_ast_exp_cast_s cast;
struct ptlang_ast_exp_struct_member_s struct_member;
struct ptlang_ast_exp_array_element_s array_element;
struct ptlang_ast_exp_reference_s reference;
uint8_t *binary;
} content;
ptlang_ast_code_position pos;
ptlang_ast_type ast_type; // use only after verify
};

struct ptlang_ast_type_integer_s
{
bool is_signed;
uint32_t size;
};

struct ptlang_ast_type_function_s
{
ptlang_ast_type return_type;
ptlang_ast_type *parameters;
};

struct ptlang_ast_type_heap_array_s
{
ptlang_ast_type type;
};

struct ptlang_ast_type_array_s
{
ptlang_ast_type type;
uint64_t len;
};

struct ptlang_ast_type_reference_s
{
ptlang_ast_type type;
bool writable;
};

struct ptlang_ast_type_s
{
enum
{
PTLANG_AST_TYPE_VOID,
PTLANG_AST_TYPE_INTEGER,
PTLANG_AST_TYPE_FLOAT,
PTLANG_AST_TYPE_FUNCTION,
PTLANG_AST_TYPE_HEAP_ARRAY,
PTLANG_AST_TYPE_ARRAY,
PTLANG_AST_TYPE_REFERENCE,
PTLANG_AST_TYPE_NAMED,
} type;
union
{
struct ptlang_ast_type_integer_s integer;
enum ptlang_ast_type_float_size float_size;
struct ptlang_ast_type_function_s function;
struct ptlang_ast_type_heap_array_s heap_array;
struct ptlang_ast_type_array_s array;
struct ptlang_ast_type_reference_s reference;
char *name;
} content;
ptlang_ast_code_position pos;
};

struct ptlang_ast_func_s
{
ptlang_ast_ident name;
ptlang_ast_type return_type;
ptlang_ast_decl *parameters;
ptlang_ast_stmt stmt;
bool export;
ptlang_ast_code_position pos;
};

static char *ptlang_ast_exp_type_get_symbol(ptlang_ast_exp exp);

#endif
Loading

0 comments on commit 435d682

Please sign in to comment.