diff options
author | kartofen <mladenovnasko0@gmail.com> | 2025-07-17 01:27:05 +0300 |
---|---|---|
committer | kartofen <mladenovnasko0@gmail.com> | 2025-07-17 01:27:05 +0300 |
commit | 7ccd9286bafbd01fbda67c2f234998c2e591ed2a (patch) | |
tree | 01448f5b8201ce92f684737b188599e3f227064b /demos | |
parent | 8ea8bd7e41c48be9635c29fb928fe9decc4eb112 (diff) |
Diffstat (limited to 'demos')
-rw-r--r-- | demos/generate-parser.c | 54 | ||||
-rw-r--r-- | demos/sample-files/arithmetic-defs.c | 49 | ||||
-rw-r--r-- | demos/sample-files/arithmetic-skeleton.c | 62 | ||||
-rw-r--r-- | demos/sample-files/calc-defs.c | 40 | ||||
-rw-r--r-- | demos/sample-files/calc-skeleton.c | 12 |
5 files changed, 86 insertions, 131 deletions
diff --git a/demos/generate-parser.c b/demos/generate-parser.c index fad3b93..23201fa 100644 --- a/demos/generate-parser.c +++ b/demos/generate-parser.c @@ -21,6 +21,19 @@ size_t total_productions; char **semantic_action_str; +#include "parts/precedence.h" +int *precedence_symbol; +int *precedence_production; + +struct precedence_def{ + int flag; + int *list; + size_t nlist; +} *precedence_defs; +size_t nprecedence_defs; +void precedence_tables_fill(); +void precedence_tables_free(); + #include "parts/table.h" struct action **table; size_t table_states; @@ -29,6 +42,7 @@ void (*table_free)(); #include "util-tables.c" + void *xdlsym(void *handle, char *sym) { void *r = dlsym(handle, sym); @@ -106,7 +120,10 @@ int main(int argc, char **argv) GET_VARIABLE(grammar, def_handle); GET_VARIABLE(total_productions, def_handle); GET_VARIABLE(semantic_action_str, def_handle); + GET_VARIABLE(precedence_defs, def_handle); + GET_VARIABLE(nprecedence_defs, def_handle); + precedence_tables_fill(); util_tables_fill(); int r = 0; @@ -131,6 +148,13 @@ int main(int argc, char **argv) printf("};\n"); printf("size_t table_states = %zu;\n", table_states); + printf("int *precedence_symbol = (int[]){"); + for(size_t i = 0; i < total_symbols; i++) printf("%d, ", precedence_symbol[i]); + printf("};\n"); + printf("int *precedence_production = (int[]){"); + for(size_t i = 0; i < total_productions; i++) printf("%d, ", precedence_production[i]); + printf("};\n"); + for(size_t i = 0; i < total_productions; i++) { printf("#define A(n) (*(stack_head-3*%zu+3*n-1))\n", grammar[i].nRHS-1); printf("int __prod%zu_action(int *stack_head)\n", i); @@ -150,8 +174,38 @@ int main(int argc, char **argv) cleanup: table_free(); + precedence_tables_free(); util_tables_free(); + dlclose(table_handle); dlclose(def_handle); return r; } + +void precedence_tables_fill() +{ + precedence_symbol = calloc(total_symbols, sizeof(*precedence_symbol)); + precedence_production = calloc(total_productions, sizeof(*precedence_production)); + + for(size_t i = 0; i < nprecedence_defs; i++) + for(size_t j = 0; j < precedence_defs[i].nlist; j++) + if(precedence_defs[i].flag >= 0) + precedence_symbol[precedence_defs[i].list[j]] = PRECEDENCE_SET(precedence_defs[i].flag, i+1); + else + precedence_production[precedence_defs[i].list[j]] = PRECEDENCE_SET(~precedence_defs[i].flag, i+1); + + for(size_t i = 0; i < total_productions; i++) { + if(precedence_production[i]) continue; + + for(size_t j = 0; j < grammar[i].nRHS; j++) + if(precedence_symbol[grammar[i].RHS[j]]) { + precedence_production[i] = precedence_symbol[grammar[i].RHS[j]]; + break; + } + } +} +void precedence_tables_free() +{ + free(precedence_symbol); + free(precedence_production); +} diff --git a/demos/sample-files/arithmetic-defs.c b/demos/sample-files/arithmetic-defs.c deleted file mode 100644 index 9a0db22..0000000 --- a/demos/sample-files/arithmetic-defs.c +++ /dev/null @@ -1,49 +0,0 @@ -#include <stdio.h> -#include <stddef.h> - -#include "parts/symbol.h" -enum symbol { - PLUS = 0, - MINUS, - LPAREN, - RPAREN, - N0, N1, - END_INPUT, - - EP, E, T, N, - SYMBOLS_END, -}; - -size_t total_symbols = SYMBOLS_END; - -IMPLEMENT_FUNCPTR(int, symbol_is_terminal, (symbol s)) { return s < EP; } -IMPLEMENT_FUNCPTR(int, symbol_is_input_end, (symbol s)) { return s == END_INPUT; } -IMPLEMENT_FUNCPTR(int, symbol_is_valid, (symbol s)) { return s < SYMBOLS_END; } - -#include "parts/grammar.h" -#define PROD(LHS, _, ...) {LHS, (symbol[]){__VA_ARGS__}, sizeof((symbol[]){__VA_ARGS__})/sizeof(symbol)} -static struct production _grammar[] = { - PROD(EP, ->, E, END_INPUT), - PROD(E, -->, E, PLUS, T), - PROD(E, -->, E, MINUS, T), - PROD(E, -->, T), - PROD(T, -->, LPAREN, E, RPAREN), - PROD(T, -->, N), - PROD(N, -->, N0), - PROD(N, -->, N1), -}; - -struct production *grammar = _grammar; -size_t total_productions = sizeof(_grammar)/sizeof(*_grammar); - -// #include "???.h" -char **semantic_action_str = (char *([])){ - "v = A(0);", - "v = A(0) + A(2);", - "v = A(0) - A(2);", - "v = A(0);", - "v = A(1);", - "v = A(0);", - "v = 0;", - "v = 1;", -}; diff --git a/demos/sample-files/arithmetic-skeleton.c b/demos/sample-files/arithmetic-skeleton.c deleted file mode 100644 index ef5ec2f..0000000 --- a/demos/sample-files/arithmetic-skeleton.c +++ /dev/null @@ -1,62 +0,0 @@ -#include <stdio.h>ae -#include <stdlib.h> - -#include "lr-parser.c" -#include "bin/generated.c" - -#include "parts/toklist.h" - -enum symbol { - PLUS = 0, - MINUS, - LPAREN, - RPAREN, - N0, N1, - END_INPUT, - - EP, E, T, N, - SYMBOLS_END, -}; - -struct token { - symbol s; -}; - -static inline struct token *char_to_token(char c) -{ - static struct token t; - - switch(c) { - case '+': t = (struct token){PLUS}; break; - case '-': t = (struct token){MINUS}; break; - case '(': t = (struct token){LPAREN}; break; - case ')': t = (struct token){RPAREN}; break; - case '0': t = (struct token){N0}; break; - case '1': t = (struct token){N1}; break; - case 0 : t = (struct token){END_INPUT}; break; - default: fprintf(stderr, "ERROR: Unknown character '%c'\n", c); exit(1); - } - - return &t; -} - -static char *input; - -symbol token_sym(struct token *t) { return t->s; } -int token_val(struct token *t) { return 0; } -struct token *toklist_eat() { return char_to_token(*(input++)); } // unsafe -struct token *toklist_peek() { return char_to_token(*input); } // unsafe - -int main(int argc, char **argv) -{ - if(argc != 2) { - fprintf(stderr, "ERROR: Not enough arguments\n"); - return 1; - } - - input = argv[1]; - - printf("INPUT: '%s'\n", input); - printf("OUTPUT: %d\n", lr_parser()); - return 0; -} diff --git a/demos/sample-files/calc-defs.c b/demos/sample-files/calc-defs.c index 656ab1c..7321a88 100644 --- a/demos/sample-files/calc-defs.c +++ b/demos/sample-files/calc-defs.c @@ -2,12 +2,9 @@ #include "parts/symbol.h" enum symbol { - PLUS = 0, - MINUS, - LPAREN, - RPAREN, - NUM, - END_INPUT, + PLUS, MINUS, TIMES, + LPAREN, RPAREN, + NUM, END_INPUT, EP, E, T, SYMBOLS_END, @@ -20,14 +17,14 @@ IMPLEMENT_FUNCPTR(int, symbol_is_input_end, (symbol s)) { return s == END_INPUT; IMPLEMENT_FUNCPTR(int, symbol_is_valid, (symbol s)) { return s < SYMBOLS_END; } #include "parts/grammar.h" -#define PROD(LHS, _, ...) {LHS, (symbol[]){__VA_ARGS__}, sizeof((symbol[]){__VA_ARGS__})/sizeof(symbol), 0} +#define PROD(LHS, _, ...) {LHS, (symbol[]){__VA_ARGS__}, sizeof((symbol[]){__VA_ARGS__})/sizeof(symbol)} static struct production _grammar[] = { PROD(EP, ->, E, END_INPUT), - PROD(E, -->, E, PLUS, T), - PROD(E, -->, E, MINUS, T), - PROD(E, -->, T), - PROD(T, -->, LPAREN, E, RPAREN), - PROD(T, -->, NUM), + PROD(E, -->, E, PLUS, E), + PROD(E, -->, E, MINUS, E), + PROD(E, -->, E, TIMES, E), + PROD(E, -->, LPAREN, E, RPAREN), + PROD(E, -->, NUM), }; struct production *grammar = _grammar; @@ -38,7 +35,24 @@ char **semantic_action_str = (char *([])){ "v = A(0);", "v = A(0) + A(2);", "v = A(0) - A(2);", - "v = A(0);", + "v = A(0) * A(2);", "v = A(1);", "v = A(0);", }; + +#include "parts/precedence.h" + +struct precedence_def { + int flag; + int *list; + size_t nlist; +}; +#define PREC(f, ...) {f, (int[]){__VA_ARGS__}, sizeof((int[]){__VA_ARGS__})/sizeof(int)} +struct precedence_def _precedence_defs[] = { + PREC(PRECEDENCE_LEFT_ASSOC, MINUS, PLUS), + PREC(PRECEDENCE_LEFT_ASSOC, TIMES), + PREC(PRECEDENCE_LEFT_ASSOC, LPAREN, RPAREN), +}; + +struct precedence_def *precedence_defs = _precedence_defs; +size_t nprecedence_defs = sizeof(_precedence_defs)/sizeof(*_precedence_defs); diff --git a/demos/sample-files/calc-skeleton.c b/demos/sample-files/calc-skeleton.c index 2108999..b0cbf00 100644 --- a/demos/sample-files/calc-skeleton.c +++ b/demos/sample-files/calc-skeleton.c @@ -9,12 +9,9 @@ // header file by the parser generator #include "parts/symbol.h" enum symbol { - PLUS = 0, - MINUS, - LPAREN, - RPAREN, - NUM, - END_INPUT, + PLUS, MINUS, TIMES, + LPAREN, RPAREN, + NUM, END_INPUT, EP, E, T, SYMBOLS_END, @@ -27,7 +24,7 @@ static struct token { static inline int issep(char c) { - return isspace(c) || c == '\0' || c == '(' || c == ')' || c == '+' || c == '-'; + return isspace(c) || c == '\0' || c == '(' || c == ')' || c == '+' || c == '-' || c == '*';; } static inline int tillsep(char *str) @@ -61,6 +58,7 @@ static char *next_token(char *str) case ')': tok.s = RPAREN; break; case '-': tok.s = MINUS; break; case '+': tok.s = PLUS; break; + case '*': tok.s = TIMES; break; } } else if(c0 >= '0' && c0 <= '9') { // num tok.s = NUM; |