Compare commits
4 Commits
6856407f38
...
fe49453d0a
Author | SHA1 | Date | |
---|---|---|---|
fe49453d0a | |||
40c9090656 | |||
94d83fc59b | |||
a5f6aaf1fa |
@ -10,8 +10,16 @@ typedef struct n {
|
|||||||
struct n **children;
|
struct n **children;
|
||||||
} node_t;
|
} node_t;
|
||||||
|
|
||||||
// Export the initializer function, it is needed by the parser
|
/**Export the initializer function, it is needed by the parser
|
||||||
void node_init (
|
* @param *nd node to initialize
|
||||||
|
* @param type type of node (see nodetype.h)
|
||||||
|
* @param *data associated data. Declared void to allow any type
|
||||||
|
* @param n_children number of children
|
||||||
|
* @param ... variable argument list of child nodes (node_t *)
|
||||||
|
*
|
||||||
|
* @return Pointer to the initialized node
|
||||||
|
* */
|
||||||
|
node_t* node_init (
|
||||||
node_t *nd, node_index_t type, void *data, uint64_t n_children, ...
|
node_t *nd, node_index_t type, void *data, uint64_t n_children, ...
|
||||||
);
|
);
|
||||||
|
|
||||||
|
@ -25,6 +25,7 @@ int yyerror ( const char *error );
|
|||||||
/* These are defined in the parser generated by bison */
|
/* These are defined in the parser generated by bison */
|
||||||
extern int yylineno;
|
extern int yylineno;
|
||||||
extern int yylex ( void );
|
extern int yylex ( void );
|
||||||
|
extern int yylex_destroy( void );
|
||||||
extern char yytext[];
|
extern char yytext[];
|
||||||
|
|
||||||
/* Global state */
|
/* Global state */
|
||||||
|
@ -1,176 +1,303 @@
|
|||||||
%{
|
%{
|
||||||
#include <vslc.h>
|
#include <vslc.h>
|
||||||
|
|
||||||
#define N0C(n,t,d) do { \
|
#define NODE(type, data, n_children, children...) node_init(malloc(sizeof(node_t)), type, data, n_children, ##children)
|
||||||
node_init ( n = malloc(sizeof(node_t)), t, d, 0 ); \
|
|
||||||
} while ( false )
|
|
||||||
#define N1C(n,t,d,a) do { \
|
|
||||||
node_init ( n = malloc(sizeof(node_t)), t, d, 1, a ); \
|
|
||||||
} while ( false )
|
|
||||||
#define N2C(n,t,d,a,b) do { \
|
|
||||||
node_init ( n = malloc(sizeof(node_t)), t, d, 2, a, b ); \
|
|
||||||
} while ( false )
|
|
||||||
#define N3C(n,t,d,a,b,c) do { \
|
|
||||||
node_init ( n = malloc(sizeof(node_t)), t, d, 3, a, b, c ); \
|
|
||||||
} while ( false )
|
|
||||||
|
|
||||||
%}
|
%}
|
||||||
|
|
||||||
%left '|'
|
%define api.value.type {node_t}
|
||||||
%left '^'
|
%token FUNC PRINT RETURN CONTINUE IF THEN ELSE WHILE DO OPENBLOCK CLOSEBLOCK
|
||||||
%left '&'
|
%token VAR NUMBER IDENTIFIER STRING
|
||||||
|
|
||||||
|
%left '|' '&' '^'
|
||||||
%left '+' '-'
|
%left '+' '-'
|
||||||
%left '*' '/'
|
%left '*' '/'
|
||||||
%nonassoc UMINUS
|
%nonassoc UMINUS
|
||||||
%right '~'
|
%right '~'
|
||||||
%expect 1
|
//%expect 1
|
||||||
|
|
||||||
%token FUNC PRINT RETURN CONTINUE IF THEN ELSE WHILE DO OPENBLOCK CLOSEBLOCK
|
%nonassoc IF THEN
|
||||||
%token VAR NUMBER IDENTIFIER STRING
|
%nonassoc ELSE
|
||||||
|
|
||||||
|
/* Tried fixing vscode complaining about the type for the non-terminals, didn't work
|
||||||
|
%union {
|
||||||
|
node_t* node;
|
||||||
|
}
|
||||||
|
|
||||||
|
%type <node> global_list global
|
||||||
|
%type <node> statement_list print_list expression_list variable_list argument_list parameter_list declaration_list
|
||||||
|
%type <node> function statement block
|
||||||
|
%type <node> assignment_statement return_statement print_statement null_statement if_statement while_statement
|
||||||
|
%type <node> relation expression declaration print_item identifier number string
|
||||||
|
*/
|
||||||
|
|
||||||
%%
|
%%
|
||||||
program :
|
|
||||||
global_list { N1C ( root, PROGRAM, NULL, $1 ); }
|
program:
|
||||||
;
|
global_list {
|
||||||
global_list :
|
root = NODE(PROGRAM, NULL, 1, $1);
|
||||||
global { N1C ( $$, GLOBAL_LIST, NULL, $1 ); }
|
|
||||||
| global_list global { N2C ( $$, GLOBAL_LIST, NULL, $1, $2 ); }
|
|
||||||
;
|
|
||||||
global:
|
|
||||||
function { N1C ( $$, GLOBAL, NULL, $1 ); }
|
|
||||||
| declaration { N1C ( $$, GLOBAL, NULL, $1 ); }
|
|
||||||
;
|
|
||||||
statement_list :
|
|
||||||
statement { N1C ( $$, STATEMENT_LIST, NULL, $1 ); }
|
|
||||||
| statement_list statement { N2C ( $$, STATEMENT_LIST, NULL, $1, $2 ); }
|
|
||||||
;
|
|
||||||
print_list :
|
|
||||||
print_item { N1C ( $$, PRINT_LIST, NULL, $1 ); }
|
|
||||||
| print_list ',' print_item { N2C ( $$, PRINT_LIST, NULL, $1, $3 ); }
|
|
||||||
;
|
|
||||||
expression_list :
|
|
||||||
expression { N1C ( $$, EXPRESSION_LIST, NULL, $1 ); }
|
|
||||||
| expression_list ',' expression { N2C($$, EXPRESSION_LIST, NULL, $1, $3); }
|
|
||||||
;
|
|
||||||
variable_list :
|
|
||||||
identifier { N1C ( $$, VARIABLE_LIST, NULL, $1 ); }
|
|
||||||
| variable_list ',' identifier { N2C ( $$, VARIABLE_LIST, NULL, $1, $3 ); }
|
|
||||||
;
|
|
||||||
argument_list :
|
|
||||||
expression_list { N1C ( $$, ARGUMENT_LIST, NULL, $1 ); }
|
|
||||||
| /* epsilon */ { $$ = NULL; }
|
|
||||||
;
|
|
||||||
parameter_list :
|
|
||||||
variable_list { N1C ( $$, PARAMETER_LIST, NULL, $1 ); }
|
|
||||||
| /* epsilon */ { $$ = NULL; }
|
|
||||||
;
|
|
||||||
declaration_list :
|
|
||||||
declaration { N1C ( $$, DECLARATION_LIST, NULL, $1 ); }
|
|
||||||
| declaration_list declaration { N2C ($$, DECLARATION_LIST, NULL, $1, $2); }
|
|
||||||
;
|
|
||||||
function :
|
|
||||||
FUNC identifier '(' parameter_list ')' statement
|
|
||||||
{ N3C ( $$, FUNCTION, NULL, $2, $4, $6 ); }
|
|
||||||
;
|
|
||||||
statement :
|
|
||||||
assignment_statement { N1C ( $$, STATEMENT, NULL, $1 ); }
|
|
||||||
| return_statement { N1C ( $$, STATEMENT, NULL, $1 ); }
|
|
||||||
| print_statement { N1C ( $$, STATEMENT, NULL, $1 ); }
|
|
||||||
| if_statement { N1C ( $$, STATEMENT, NULL, $1 ); }
|
|
||||||
| while_statement { N1C ( $$, STATEMENT, NULL, $1 ); }
|
|
||||||
| null_statement { N1C ( $$, STATEMENT, NULL, $1 ); }
|
|
||||||
| block { N1C ( $$, STATEMENT, NULL, $1 ); }
|
|
||||||
;
|
|
||||||
block :
|
|
||||||
OPENBLOCK declaration_list statement_list CLOSEBLOCK
|
|
||||||
{ N2C ($$, BLOCK, NULL, $2, $3); }
|
|
||||||
| OPENBLOCK statement_list CLOSEBLOCK { N1C ($$, BLOCK, NULL, $2 ); }
|
|
||||||
;
|
|
||||||
assignment_statement :
|
|
||||||
identifier ':' '=' expression
|
|
||||||
{ N2C ( $$, ASSIGNMENT_STATEMENT, NULL, $1, $4 ); }
|
|
||||||
| identifier '+' '=' expression
|
|
||||||
{ N2C ( $$, ADD_STATEMENT, NULL, $1, $4 ); }
|
|
||||||
| identifier '-' '=' expression
|
|
||||||
{ N2C ( $$, SUBTRACT_STATEMENT, NULL, $1, $4 ); }
|
|
||||||
| identifier '*' '=' expression
|
|
||||||
{ N2C ( $$, MULTIPLY_STATEMENT, NULL, $1, $4 ); }
|
|
||||||
| identifier '/' '=' expression
|
|
||||||
{ N2C ( $$, DIVIDE_STATEMENT, NULL, $1, $4 ); }
|
|
||||||
;
|
|
||||||
return_statement :
|
|
||||||
RETURN expression
|
|
||||||
{ N1C ( $$, RETURN_STATEMENT, NULL, $2 ); }
|
|
||||||
;
|
|
||||||
print_statement :
|
|
||||||
PRINT print_list
|
|
||||||
{ N1C ( $$, PRINT_STATEMENT, NULL, $2 ); }
|
|
||||||
;
|
|
||||||
null_statement :
|
|
||||||
CONTINUE
|
|
||||||
{ N0C ( $$, NULL_STATEMENT, NULL ); }
|
|
||||||
;
|
|
||||||
if_statement :
|
|
||||||
IF relation THEN statement
|
|
||||||
{ N2C ( $$, IF_STATEMENT, NULL, $2, $4 ); }
|
|
||||||
| IF relation THEN statement ELSE statement
|
|
||||||
{ N3C ( $$, IF_STATEMENT, NULL, $2, $4, $6 ); }
|
|
||||||
;
|
|
||||||
while_statement :
|
|
||||||
WHILE relation DO statement
|
|
||||||
{ N2C ( $$, WHILE_STATEMENT, NULL, $2, $4 ); }
|
|
||||||
;
|
|
||||||
relation:
|
|
||||||
expression '=' expression
|
|
||||||
{ N2C ( $$, RELATION, strdup("="), $1, $3 ); }
|
|
||||||
| expression '<' expression
|
|
||||||
{ N2C ( $$, RELATION, strdup("<"), $1, $3 ); }
|
|
||||||
| expression '>' expression
|
|
||||||
{ N2C ( $$, RELATION, strdup(">"), $1, $3 ); }
|
|
||||||
;
|
|
||||||
expression :
|
|
||||||
expression '|' expression
|
|
||||||
{ N2C ( $$, EXPRESSION, strdup("|"), $1, $3 ); }
|
|
||||||
| expression '^' expression
|
|
||||||
{ N2C ( $$, EXPRESSION, strdup("^"), $1, $3 ); }
|
|
||||||
| expression '&' expression
|
|
||||||
{ N2C ( $$, EXPRESSION, strdup("&"), $1, $3 ); }
|
|
||||||
| expression '+' expression
|
|
||||||
{ N2C ( $$, EXPRESSION, strdup("+"), $1, $3 ); }
|
|
||||||
| expression '-' expression
|
|
||||||
{ N2C ( $$, EXPRESSION, strdup("-"), $1, $3 ); }
|
|
||||||
| expression '*' expression
|
|
||||||
{ N2C ( $$, EXPRESSION, strdup("*"), $1, $3 ); }
|
|
||||||
| expression '/' expression
|
|
||||||
{ N2C ( $$, EXPRESSION, strdup("/"), $1, $3 ); }
|
|
||||||
| '-' expression %prec UMINUS
|
|
||||||
{ N1C ( $$, EXPRESSION, strdup("-"), $2 ); }
|
|
||||||
| '~' expression %prec UMINUS
|
|
||||||
{ N1C ( $$, EXPRESSION, strdup("~"), $2 ); }
|
|
||||||
| '(' expression ')' { $$ = $2; }
|
|
||||||
| number { N1C ( $$, EXPRESSION, NULL, $1 ); }
|
|
||||||
| identifier
|
|
||||||
{ N1C ( $$, EXPRESSION, NULL, $1 ); }
|
|
||||||
| identifier '(' argument_list ')'
|
|
||||||
{ N2C ( $$, EXPRESSION, NULL, $1, $3 ); }
|
|
||||||
;
|
|
||||||
declaration :
|
|
||||||
VAR variable_list { N1C ( $$, DECLARATION, NULL, $2 ); }
|
|
||||||
;
|
|
||||||
print_item :
|
|
||||||
expression
|
|
||||||
{ N1C ( $$, PRINT_ITEM, NULL, $1 ); }
|
|
||||||
| string
|
|
||||||
{ N1C ( $$, PRINT_ITEM, NULL, $1 ); }
|
|
||||||
;
|
|
||||||
identifier: IDENTIFIER { N0C($$, IDENTIFIER_DATA, strdup(yytext) ); }
|
|
||||||
number: NUMBER
|
|
||||||
{
|
|
||||||
int64_t *value = malloc ( sizeof(int64_t) );
|
|
||||||
*value = strtol ( yytext, NULL, 10 );
|
|
||||||
N0C($$, NUMBER_DATA, value );
|
|
||||||
}
|
}
|
||||||
string: STRING { N0C($$, STRING_DATA, strdup(yytext) ); }
|
;
|
||||||
|
|
||||||
|
global_list:
|
||||||
|
global {
|
||||||
|
$$ = NODE(GLOBAL_LIST, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
| global_list global {
|
||||||
|
$$ = NODE(GLOBAL_LIST, NULL, 2, $1, $2);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
global:
|
||||||
|
function {
|
||||||
|
$$ = NODE(GLOBAL, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
| declaration {
|
||||||
|
$$ = NODE(GLOBAL, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
statement_list:
|
||||||
|
statement {
|
||||||
|
$$ = NODE(STATEMENT_LIST, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
| statement_list statement {
|
||||||
|
$$ = NODE(STATEMENT_LIST, NULL, 2, $1, $2);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
print_list:
|
||||||
|
print_item {
|
||||||
|
$$ = NODE(PRINT_LIST, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
| print_list ',' print_item {
|
||||||
|
$$ = NODE(PRINT_LIST, NULL, 2, $1, $3);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
expression_list:
|
||||||
|
expression {
|
||||||
|
$$ = NODE(EXPRESSION_LIST, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
| expression_list ',' expression {
|
||||||
|
$$ = NODE(EXPRESSION_LIST, NULL, 2, $1, $3);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
variable_list:
|
||||||
|
identifier {
|
||||||
|
$$ = NODE(VARIABLE_LIST, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
| variable_list ',' identifier {
|
||||||
|
$$ = NODE(VARIABLE_LIST, NULL, 2, $1, $3);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
argument_list:
|
||||||
|
expression_list {
|
||||||
|
$$ = NODE(ARGUMENT_LIST, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
| /* epsilon */ {
|
||||||
|
$$ = NODE(ARGUMENT_LIST, NULL, 0);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
parameter_list:
|
||||||
|
variable_list {
|
||||||
|
$$ = NODE(PARAMETER_LIST, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
| /* epsilon */ {
|
||||||
|
$$ = NODE(PARAMETER_LIST, NULL, 0);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
declaration_list:
|
||||||
|
declaration {
|
||||||
|
$$ = NODE(DECLARATION_LIST, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
| declaration_list declaration {
|
||||||
|
$$ = NODE(DECLARATION_LIST, NULL, 2, $1, $2);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
function:
|
||||||
|
FUNC identifier '(' parameter_list ')' statement {
|
||||||
|
$$ = NODE(FUNCTION, NULL, 3, $2, $4, $6);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
statement:
|
||||||
|
assignment_statement {
|
||||||
|
$$ = NODE(STATEMENT, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
| return_statement {
|
||||||
|
$$ = NODE(STATEMENT, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
| print_statement {
|
||||||
|
$$ = NODE(STATEMENT, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
| if_statement {
|
||||||
|
$$ = NODE(STATEMENT, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
| while_statement {
|
||||||
|
$$ = NODE(STATEMENT, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
| null_statement {
|
||||||
|
$$ = NODE(STATEMENT, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
| block {
|
||||||
|
$$ = NODE(STATEMENT, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
block:
|
||||||
|
OPENBLOCK declaration_list statement_list CLOSEBLOCK {
|
||||||
|
$$ = NODE(BLOCK, NULL, 2, $2, $3);
|
||||||
|
}
|
||||||
|
| OPENBLOCK statement_list CLOSEBLOCK {
|
||||||
|
$$ = NODE(BLOCK, NULL, 1, $2);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
assignment_statement:
|
||||||
|
identifier ':' '=' expression {
|
||||||
|
$$ = NODE(ASSIGNMENT_STATEMENT, NULL, 2, $1, $4);
|
||||||
|
}
|
||||||
|
| identifier '+' '=' expression {
|
||||||
|
$$ = NODE(ADD_STATEMENT, NULL, 2, $1, $4);
|
||||||
|
}
|
||||||
|
| identifier '-' '=' expression {
|
||||||
|
$$ = NODE(SUBTRACT_STATEMENT, NULL, 2, $1, $4);
|
||||||
|
}
|
||||||
|
| identifier '*' '=' expression {
|
||||||
|
$$ = NODE(MULTIPLY_STATEMENT, NULL, 2, $1, $4);
|
||||||
|
}
|
||||||
|
| identifier '/' '=' expression {
|
||||||
|
$$ = NODE(DIVIDE_STATEMENT, NULL, 2, $1, $4);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
return_statement:
|
||||||
|
RETURN expression {
|
||||||
|
$$ = NODE(RETURN_STATEMENT, NULL, 1, $2);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
print_statement:
|
||||||
|
PRINT print_list {
|
||||||
|
$$ = NODE(PRINT_STATEMENT, NULL, 1, $2);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
null_statement:
|
||||||
|
CONTINUE {
|
||||||
|
$$ = NODE(NULL_STATEMENT, NULL, 0);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
if_statement:
|
||||||
|
IF relation THEN statement {
|
||||||
|
$$ = NODE(IF_STATEMENT, NULL, 2, $2, $4);
|
||||||
|
}
|
||||||
|
| IF relation THEN statement ELSE statement {
|
||||||
|
$$ = NODE(IF_STATEMENT, NULL, 3, $2, $4, $6);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
while_statement:
|
||||||
|
WHILE relation DO statement {
|
||||||
|
$$ = NODE(WHILE_STATEMENT, NULL, 2, $2, $4);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
relation:
|
||||||
|
expression '=' expression {
|
||||||
|
$$ = NODE(RELATION, strdup("="), 2, $1, $3);
|
||||||
|
}
|
||||||
|
| expression '<' expression {
|
||||||
|
$$ = NODE(RELATION, strdup("<"), 2, $1, $3);
|
||||||
|
}
|
||||||
|
| expression '>' expression {
|
||||||
|
$$ = NODE(RELATION, strdup(">"), 2, $1, $3);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
expression:
|
||||||
|
expression '|' expression {
|
||||||
|
$$ = NODE(EXPRESSION, strdup("|"), 2, $1, $3);
|
||||||
|
}
|
||||||
|
| expression '^' expression {
|
||||||
|
$$ = NODE(EXPRESSION, strdup("^"), 2, $1, $3);
|
||||||
|
}
|
||||||
|
| expression '&' expression {
|
||||||
|
$$ = NODE(EXPRESSION, strdup("&"), 2, $1, $3);
|
||||||
|
}
|
||||||
|
| expression '+' expression {
|
||||||
|
$$ = NODE(EXPRESSION, strdup("+"), 2, $1, $3);
|
||||||
|
}
|
||||||
|
| expression '-' expression {
|
||||||
|
$$ = NODE(EXPRESSION, strdup("-"), 2, $1, $3);
|
||||||
|
}
|
||||||
|
| expression '*' expression {
|
||||||
|
$$ = NODE(EXPRESSION, strdup("*"), 2, $1, $3);
|
||||||
|
}
|
||||||
|
| expression '/' expression {
|
||||||
|
$$ = NODE(EXPRESSION, strdup("/"), 2, $1, $3);
|
||||||
|
}
|
||||||
|
| '-' expression %prec UMINUS {
|
||||||
|
$$ = NODE(EXPRESSION, strdup("-"), 1, $2);
|
||||||
|
}
|
||||||
|
| '~' expression {
|
||||||
|
$$ = NODE(EXPRESSION, strdup("~"), 1, $2);
|
||||||
|
}
|
||||||
|
| '(' expression ')' {
|
||||||
|
$$ = NODE(EXPRESSION, /*NULL*/ strdup("group"), 1, $2);
|
||||||
|
}
|
||||||
|
| number {
|
||||||
|
$$ = NODE(EXPRESSION, /*NULL*/ strdup("number"), 1, $1);
|
||||||
|
}
|
||||||
|
| identifier {
|
||||||
|
$$ = NODE(EXPRESSION, /*NULL*/ strdup("identifier"), 1, $1);
|
||||||
|
}
|
||||||
|
| identifier '(' argument_list ')' {
|
||||||
|
$$ = NODE(EXPRESSION, /*NULL*/ strdup("function_call"), 2, $1, $3);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
declaration:
|
||||||
|
VAR variable_list {
|
||||||
|
$$ = NODE(DECLARATION, NULL, 1, $2);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
print_item:
|
||||||
|
expression {
|
||||||
|
$$ = NODE(PRINT_ITEM, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
| string {
|
||||||
|
$$ = NODE(PRINT_ITEM, NULL, 1, $1);
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
identifier:
|
||||||
|
IDENTIFIER {
|
||||||
|
$$ = NODE(IDENTIFIER_DATA, strdup(yytext), 0); // Zero children
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
number:
|
||||||
|
NUMBER {
|
||||||
|
uint64_t* p_number = malloc(sizeof(uint64_t));
|
||||||
|
*p_number = strtol(yytext, NULL, 10);
|
||||||
|
$$ = NODE(NUMBER_DATA, p_number, 0); // Zero children
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
|
string:
|
||||||
|
STRING {
|
||||||
|
$$ = NODE(STRING_DATA, strdup(yytext), 0); // Zero children
|
||||||
|
}
|
||||||
|
;
|
||||||
|
|
||||||
%%
|
%%
|
||||||
|
|
||||||
int
|
int
|
||||||
|
@ -40,7 +40,8 @@ print_syntax_tree ( void )
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
void
|
// Changed so it returns the pointer to the new node, can be used as before, but makes the parser file cleaner
|
||||||
|
node_t*
|
||||||
node_init (node_t *nd, node_index_t type, void *data, uint64_t n_children, ...)
|
node_init (node_t *nd, node_index_t type, void *data, uint64_t n_children, ...)
|
||||||
{
|
{
|
||||||
va_list child_list;
|
va_list child_list;
|
||||||
@ -55,6 +56,8 @@ node_init (node_t *nd, node_index_t type, void *data, uint64_t n_children, ...)
|
|||||||
for ( uint64_t i=0; i<n_children; i++ )
|
for ( uint64_t i=0; i<n_children; i++ )
|
||||||
nd->children[i] = va_arg ( child_list, node_t * );
|
nd->children[i] = va_arg ( child_list, node_t * );
|
||||||
va_end ( child_list );
|
va_end ( child_list );
|
||||||
|
|
||||||
|
return nd;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
@ -150,83 +153,161 @@ destroy_subtree ( node_t *discard )
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
static void
|
||||||
|
prune_children(node_t **simplified, node_t *root)
|
||||||
|
{
|
||||||
|
if (!root)
|
||||||
|
return;
|
||||||
|
|
||||||
|
node_t *result = root;
|
||||||
|
switch (root->type)
|
||||||
|
{
|
||||||
|
case GLOBAL:
|
||||||
|
//case ARGUMENT_LIST:
|
||||||
|
//case PARAMETER_LIST:
|
||||||
|
case STATEMENT:
|
||||||
|
case PRINT_ITEM:
|
||||||
|
case PRINT_STATEMENT:
|
||||||
|
result = root->children[0];
|
||||||
|
|
||||||
|
// The print_statement only contains a print_list, still need a print_statement.
|
||||||
|
if (root->type == PRINT_STATEMENT)
|
||||||
|
result->type = PRINT_STATEMENT;
|
||||||
|
|
||||||
|
node_finalize(root);
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
|
||||||
|
*simplified = result;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
static void
|
||||||
|
resolve_constant_expressions(node_t **simplified, node_t *root)
|
||||||
|
{
|
||||||
|
if (!root)
|
||||||
|
return;
|
||||||
|
|
||||||
|
if (root->type != EXPRESSION)
|
||||||
|
return;
|
||||||
|
|
||||||
|
node_t *result = root;
|
||||||
|
|
||||||
|
switch (root->n_children)
|
||||||
|
{
|
||||||
|
case 1:
|
||||||
|
result = root->children[0];
|
||||||
|
|
||||||
|
if (root->data &&
|
||||||
|
result->type == NUMBER_DATA &&
|
||||||
|
result->data)
|
||||||
|
{
|
||||||
|
switch (*((char*)root->data))
|
||||||
|
{
|
||||||
|
case '-':
|
||||||
|
*((int64_t*)result->data) *= -1;
|
||||||
|
break;
|
||||||
|
case '~':
|
||||||
|
*((int64_t*)result->data) = ~*((int64_t*)result->data);
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
node_finalize(root);
|
||||||
|
break;
|
||||||
|
|
||||||
|
case 2:
|
||||||
|
// Both children needs to be numbers to resolve constants
|
||||||
|
if (root->children[0]->type == NUMBER_DATA &&
|
||||||
|
root->children[1]->type == NUMBER_DATA)
|
||||||
|
{
|
||||||
|
// Check if children does not contain null pointers
|
||||||
|
if (!root->children[0]->data)
|
||||||
|
break;
|
||||||
|
if (!root->children[1]->data)
|
||||||
|
break;
|
||||||
|
|
||||||
|
// Check if data field is not null pointer
|
||||||
|
if (!root->data)
|
||||||
|
break;
|
||||||
|
|
||||||
|
result = root->children[0];
|
||||||
|
int64_t
|
||||||
|
*lhs = result->data,
|
||||||
|
*rhs = root->children[1]->data;
|
||||||
|
|
||||||
|
switch (*(char*)root->data)
|
||||||
|
{
|
||||||
|
case '|': *lhs |= *rhs; break;
|
||||||
|
case '^': *lhs ^= *rhs; break;
|
||||||
|
case '&': *lhs &= *rhs; break;
|
||||||
|
case '+': *lhs += *rhs; break;
|
||||||
|
case '-': *lhs -= *rhs; break;
|
||||||
|
case '*': *lhs *= *rhs; break;
|
||||||
|
case '/': *lhs /= *rhs; break;
|
||||||
|
}
|
||||||
|
|
||||||
|
node_finalize(root->children[1]);
|
||||||
|
node_finalize(root);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
*simplified = result;
|
||||||
|
}
|
||||||
|
|
||||||
|
static void
|
||||||
|
flatten(node_t **simplified, node_t *root)
|
||||||
|
{
|
||||||
|
/* This will flatten left-expanded lists */
|
||||||
|
if (!root)
|
||||||
|
return;
|
||||||
|
|
||||||
|
node_t **new_children, *result = root;
|
||||||
|
switch (root->type)
|
||||||
|
{
|
||||||
|
case GLOBAL_LIST:
|
||||||
|
case STATEMENT_LIST:
|
||||||
|
case PRINT_LIST:
|
||||||
|
case EXPRESSION_LIST:
|
||||||
|
case VARIABLE_LIST:
|
||||||
|
case DECLARATION_LIST:
|
||||||
|
// Check if node have more than two children
|
||||||
|
if (root->n_children < 2)
|
||||||
|
break;
|
||||||
|
|
||||||
|
result = root->children[0];
|
||||||
|
result->n_children++;
|
||||||
|
|
||||||
|
// Realloc the array of children to the new size
|
||||||
|
if (!(new_children = realloc(result->children, result->n_children * sizeof(node_t*))))
|
||||||
|
break;
|
||||||
|
// if successs, insert the new array
|
||||||
|
result->children = new_children;
|
||||||
|
|
||||||
|
// Insert child at the end
|
||||||
|
result->children[result->n_children - 1] = root->children[1];
|
||||||
|
|
||||||
|
node_finalize(root);
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
|
||||||
|
*simplified = result;
|
||||||
|
}
|
||||||
|
|
||||||
static void
|
static void
|
||||||
simplify_tree ( node_t **simplified, node_t *root )
|
simplify_tree ( node_t **simplified, node_t *root )
|
||||||
{
|
{
|
||||||
if ( root == NULL )
|
if (!root)
|
||||||
return;
|
return;
|
||||||
|
|
||||||
/* Simplify subtrees before examining this node */
|
for (int i = 0; i < root->n_children; i++)
|
||||||
for ( uint64_t i=0; i<root->n_children; i++ )
|
simplify_tree(&root->children[i], root->children[i]);
|
||||||
simplify_tree ( &root->children[i], root->children[i] );
|
|
||||||
|
|
||||||
node_t *discard, *result = root;
|
prune_children(&root, root);
|
||||||
switch ( root->type )
|
resolve_constant_expressions(&root, root);
|
||||||
{
|
flatten(&root, root);
|
||||||
/* Structures of purely syntactic function */
|
|
||||||
case PARAMETER_LIST: case ARGUMENT_LIST:
|
*simplified = root;
|
||||||
case STATEMENT: case PRINT_ITEM: case GLOBAL:
|
|
||||||
result = root->children[0];
|
|
||||||
node_finalize ( root );
|
|
||||||
break;
|
|
||||||
case PRINT_STATEMENT:
|
|
||||||
result = root->children[0];
|
|
||||||
result->type = PRINT_STATEMENT;
|
|
||||||
node_finalize(root);
|
|
||||||
/* Flatten lists:
|
|
||||||
* Take left child, append right child, substitute left for root.
|
|
||||||
*/
|
|
||||||
case STATEMENT_LIST: case DECLARATION_LIST: case GLOBAL_LIST:
|
|
||||||
case PRINT_LIST: case EXPRESSION_LIST: case VARIABLE_LIST:
|
|
||||||
if ( root->n_children >= 2 )
|
|
||||||
{
|
|
||||||
result = root->children[0];
|
|
||||||
result->n_children += 1;
|
|
||||||
result->children = realloc (
|
|
||||||
result->children, result->n_children * sizeof(node_t *)
|
|
||||||
);
|
|
||||||
result->children[result->n_children-1] = root->children[1];
|
|
||||||
node_finalize ( root );
|
|
||||||
}
|
|
||||||
break;
|
|
||||||
case EXPRESSION:
|
|
||||||
switch ( root->n_children )
|
|
||||||
{
|
|
||||||
case 1:
|
|
||||||
if ( root->children[0]->type == NUMBER_DATA )
|
|
||||||
{
|
|
||||||
result = root->children[0];
|
|
||||||
if ( root->data != NULL )
|
|
||||||
*((int64_t *)result->data) *= -1;
|
|
||||||
node_finalize (root);
|
|
||||||
}
|
|
||||||
else if ( root->data == NULL )
|
|
||||||
{
|
|
||||||
result = root->children[0];
|
|
||||||
node_finalize (root);
|
|
||||||
}
|
|
||||||
break;
|
|
||||||
case 2:
|
|
||||||
if ( root->children[0]->type == NUMBER_DATA &&
|
|
||||||
root->children[1]->type == NUMBER_DATA
|
|
||||||
) {
|
|
||||||
result = root->children[0];
|
|
||||||
int64_t
|
|
||||||
*x = result->data,
|
|
||||||
*y = root->children[1]->data;
|
|
||||||
switch ( *((char *)root->data) )
|
|
||||||
{
|
|
||||||
case '+': *x += *y; break;
|
|
||||||
case '-': *x -= *y; break;
|
|
||||||
case '*': *x *= *y; break;
|
|
||||||
case '/': *x /= *y; break;
|
|
||||||
}
|
|
||||||
node_finalize ( root->children[1] );
|
|
||||||
node_finalize ( root );
|
|
||||||
}
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
*simplified = result;
|
|
||||||
}
|
}
|
||||||
|
@ -28,6 +28,7 @@ main ( int argc, char **argv )
|
|||||||
options ( argc, argv );
|
options ( argc, argv );
|
||||||
|
|
||||||
yyparse(); // Generated from grammar/bison, constructs syntax tree
|
yyparse(); // Generated from grammar/bison, constructs syntax tree
|
||||||
|
yylex_destroy(); // Free heap used by flex
|
||||||
|
|
||||||
if ( print_full_tree )
|
if ( print_full_tree )
|
||||||
print_syntax_tree ();
|
print_syntax_tree ();
|
||||||
|
@ -9,8 +9,8 @@ ps2: $(PS2_EXAMPLES)
|
|||||||
ps3: $(PS3_EXAMPLES)
|
ps3: $(PS3_EXAMPLES)
|
||||||
ps4: $(PS4_EXAMPLES)
|
ps4: $(PS4_EXAMPLES)
|
||||||
|
|
||||||
%.ast: %.vsl
|
%.ast: %.vsl clean
|
||||||
$(VSLC) -t < $^ > $@
|
$(VSLC) -t -T -s < $^ > $@
|
||||||
|
|
||||||
clean:
|
clean:
|
||||||
-rm -r */*.ast
|
-rm -r */*.ast
|
||||||
|
@ -12,5 +12,5 @@ end
|
|||||||
func main() begin
|
func main() begin
|
||||||
var n, o, p, q, r, s, t, u, v, w
|
var n, o, p, q, r, s, t, u, v, w
|
||||||
n := 5
|
n := 5
|
||||||
n += my_func(1, 2, 3, 5, 8, 13, 21, 34)
|
n += my_func(1, 2, 3, 5, 8, 13, 21, w)
|
||||||
end
|
end
|
Loading…
x
Reference in New Issue
Block a user