aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--programs/src/kconfig_parser/boolexp.c509
-rw-r--r--programs/src/kconfig_parser/boolexp.h38
2 files changed, 0 insertions, 547 deletions
diff --git a/programs/src/kconfig_parser/boolexp.c b/programs/src/kconfig_parser/boolexp.c
deleted file mode 100644
index c39b79c..0000000
--- a/programs/src/kconfig_parser/boolexp.c
+++ /dev/null
@@ -1,509 +0,0 @@
-#include "boolexp.h"
-
-struct boolexp *copy_kconfig_dep(struct symlist *sl, struct expr *expr) {
- struct boolexp *w;
- switch (expr->type) {
- case E_SYMBOL:
- w = malloc(sizeof(struct boolexp));
- w->type = BE_LEAF;
- struct symlist_el *sel;
- sel = symlist_find(sl, expr->left.sym->name);
- if (sel == NULL)
- return NULL;
- w->left.id = sel->id;
- return w;
- case E_AND:
- case E_OR:
- w = malloc(sizeof(struct boolexp));
- switch (expr->type) {
- case E_AND:
- w->type = BE_AND;
- break;
- case E_OR:
- w->type = BE_OR;
- break;
- }
- w->left.be = copy_kconfig_dep(sl, expr->left.expr);
- if (w->left.be == NULL) {
- free(w);
- return copy_kconfig_dep(sl, expr->right.expr);
- }
- w->right.be = copy_kconfig_dep(sl, expr->right.expr);
- if (w->right.be == NULL) {
- struct boolexp *ret = w->left.be;
- free(w);
- return ret;
- }
- return w;
- case E_EQUAL:
- case E_UNEQUAL:
- return NULL;
- case E_NOT:
- w = malloc(sizeof(struct boolexp));
- w->type = BE_NOT;
- w->left.be = copy_kconfig_dep(sl, expr->left.expr);
- if (w->left.be == NULL) {
- free(w);
- return NULL;
- }
- return w;
- default:
- fprintf(stderr, "Error (%d): %s\n", expr->type,
- sym_type_name(expr->type));
- return NULL;
- }
-}
-
-struct boolexp *copy_kconfig_f_dep(struct symlist *sl, struct expr *expr) {
- switch (expr->type) {
- case E_OR:
- printf("OR\n");
- copy_kconfig_f_dep(sl, expr->left.expr);
- copy_kconfig_f_dep(sl, expr->right.expr);
- break;
- case E_AND:
- printf("AND\n");
- copy_kconfig_f_dep(sl, expr->left.expr);
- copy_kconfig_f_dep(sl, expr->right.expr);
- break;
- case E_NOT:
- printf("NOT\n");
- copy_kconfig_f_dep(sl, expr->left.expr);
- break;
- case E_EQUAL:
- printf("= ");
- printf("%s ", expr->left.sym->name);
- if (!strcmp("y", expr->right.sym->name))
- printf("YES\n");
- else if (!strcmp("n", expr->right.sym->name))
- printf("NO\n");
- else
- printf("PROBLEM\n");
- break;
- case E_UNEQUAL:
- printf("!= ");
- printf("%s ", expr->left.sym->name);
- if (!strcmp("y", expr->right.sym->name))
- printf("YES\n");
- else if (!strcmp("n", expr->right.sym->name))
- printf("NO\n");
- else
- printf("OTHER %s\n", expr->right.sym->name);
- break;
- case E_LIST:
- printf("list\n");
- break;
- case E_SYMBOL:
- printf("symbol\n");
- break;
- case E_RANGE:
- printf("range\n");
- break;
- case E_NONE:
- printf("none\n");
- break;
- default:
- printf("ERROR\n");
- break;
- }
-
-}
-
-/*struct cnfexpr *kconfig_dep(struct symlist *sl, struct expr *expr) {
- struct nd {
- struct cnfexpr *cnfe;
- struct expr *expr;
- };
- struct cnfexpr *ret = NULL;
- struct nd *wlist;
- int wlist_size = 2, wlist_pos = -1;
- struct expr **backstack;
- int backstack_size = 2, backstack_pos = -1;
- bool neg = false;
- int ng;
-
- wlist = malloc((unsigned) wlist_size * sizeof(struct nd));
- backstack = malloc((unsigned) backstack_size * sizeof(struct expr *));
-
- while (expr != NULL) {
- if (neg)
- ng = -1;
- else
- ng = 1;
- if ((backstack_pos >= 0 && backstack[backstack_pos] != expr)
- || backstack_pos < 0) { // left
- if (++backstack_pos >= backstack_size) {
- backstack_size *= 2;
- backstack =
- realloc(backstack,
- (unsigned) backstack_size *
- sizeof(struct expr *));
- }
- backstack[backstack_pos] = expr;
- switch (expr->type) {
- case E_SYMBOL:
- ret = malloc(sizeof(struct cnfexpr));
- ret->size = 1;
- ret->sizes = malloc(sizeof(int));
- ret->sizes[0] = 1;
- ret->exprs = malloc(sizeof(int *));
- ret->exprs[0] = malloc(sizeof(int));
- ret->exprs[0][0] = ng * (int)
- symlist_find(sl, expr->left.sym->name)->id;
- goto back;
- case E_OR:
- case E_AND:
- if (expr->left.expr->type != E_SYMBOL)
- expr = expr->left.expr;
- break;
- case E_NOT:
- neg = !neg; // Is it working?
- expr = expr->left.expr;
- break;
- case E_EQUAL:
- case E_UNEQUAL:
- ng = 1;
- if (expr->type == E_UNEQUAL)
- ng *= -1;
- if (!strcmp("y", expr->right.sym->name)) {
- // pass
- } else if (!strcmp("n", expr->right.sym->name)) {
- ng *= -1;
- } else if (!strcmp("m", expr->right.sym->name)) {
- ret = NULL;
- goto back;
- } else {
- fprintf(stderr, "ERROR: kconfig_dep unknown equal\n");
- exit(1);
- }
- ret = malloc(sizeof(struct cnfexpr));
- ret->size = 1;
- ret->sizes = malloc(sizeof(unsigned));
- ret->sizes[0] = 1;
- ret->exprs = malloc(sizeof(int *));
- ret->exprs[0] = malloc(sizeof(int));
- ret->exprs[0][0] = ng *
- (int) symlist_find(sl, expr->left.sym->name)->id;
- goto back;
- default:
- fprintf(stderr, "ERROR: kconfig_dep unknown left state\n");
- exit(1);
- }
- } else { // right
- switch (expr->type) {
- case E_OR:
- case E_AND:
- if (wlist_pos >= 0 && wlist[wlist_pos].expr == expr) {
- // navrat z prave strany v ret prava strana
- if (ret == NULL) {
- if ((!neg && expr->type == E_OR)
- || (neg && expr->type == E_AND)) {
- ret = wlist[wlist_pos--].cnfe;
- } else {
- struct cnfexpr *wcnf = wlist[wlist_pos--].cnfe;
- unsigned i;
- for (i = 0; i < wcnf->size; i++) {
- free(wcnf->exprs[i]);
- }
- free(wcnf->sizes);
- free(wcnf->exprs);
- free(wcnf);
- }
- goto back;
- }
- if ((!neg && expr->type == E_OR)
- || (neg && expr->type == E_AND)) {
- struct cnfexpr *wcnf = wlist[wlist_pos--].cnfe;
- unsigned oldsize = ret->size;
- ret->size *= wcnf->size;
- ret->sizes =
- realloc(ret->sizes, ret->size * sizeof(int));
- ret->exprs =
- realloc(ret->exprs, ret->size * sizeof(int *));
- unsigned i1, i2;
- for (i1 = 1; i1 < wcnf->size; i1++) {
- for (i2 = 0; i2 < oldsize; i2++) {
- ret->sizes[(i1 * oldsize) + i2] =
- ret->sizes[i2];
- ret->exprs[(i1 * oldsize) + i2] =
- malloc(ret->sizes[i2] * sizeof(int));
- memcpy(ret->exprs[(i1 * oldsize) + i2],
- ret->exprs[i2],
- ret->sizes[i2] * sizeof(int));
- }
- }
- for (i1 = 0; i1 < wcnf->size; i1++) {
- for (i2 = 0; i2 < oldsize; i2++) {
- unsigned offset =
- ret->sizes[(i1 * oldsize) + i2];
- ret->sizes[(i1 * oldsize) + i2] +=
- wcnf->sizes[i1];
- ret->exprs[(i1 * oldsize) + i2] =
- realloc(ret->exprs
- [(i1 * oldsize) + i2],
- ret->sizes[(i1 * oldsize) +
- i2] * sizeof(int));
- memcpy(ret->exprs[(i1 * oldsize) + i2] +
- offset, wcnf->exprs[i1],
- wcnf->sizes[i1] * sizeof(int));
- }
- }
- for (i1 = 0; i1 < wcnf->size; i1++)
- free(wcnf->exprs[i1]);
- free(wcnf->sizes);
- free(wcnf->exprs);
- free(wcnf);
- } else {
- struct cnfexpr *wcnf = wlist[wlist_pos--].cnfe;
- unsigned oldsize = ret->size;
- ret->size += wcnf->size;
- ret->sizes =
- realloc(ret->sizes, ret->size * sizeof(int));
- ret->exprs =
- realloc(ret->exprs, ret->size * sizeof(int *));
- memcpy(ret->sizes + oldsize, wcnf->sizes,
- wcnf->size * sizeof(int));
- memcpy(ret->exprs + oldsize, wcnf->exprs,
- wcnf->size * sizeof(int *));
- free(wcnf->sizes);
- free(wcnf->exprs);
- free(wcnf);
- }
- goto back;
- } else if (expr->left.expr->type == E_SYMBOL) {
- if (expr->right.expr->type != E_SYMBOL) {
- if (++wlist_pos >= wlist_size) {
- wlist_size *= 2;
- wlist =
- realloc(wlist,
- (unsigned) wlist_size *
- sizeof(struct nd));
- }
- wlist[wlist_pos].expr = expr;
- struct cnfexpr *w = malloc(sizeof(struct cnfexpr));
- w->size = 1;
- w->sizes = malloc(sizeof(int));
- w->sizes[0] = 1;
- w->exprs = malloc(sizeof(int *));
- w->exprs[0] = malloc(sizeof(int));
- w->exprs[0][0] = ng * (int)
- symlist_find(sl,
- expr->left.expr->left.sym->
- name)->id;
- wlist[wlist_pos].cnfe = w;
- expr = expr->right.expr;
- } else {
- ret = malloc(sizeof(struct cnfexpr));
- if ((!neg && expr->type == E_OR)
- || (neg && expr->type == E_AND)) {
- ret->size = 1;
- ret->sizes = malloc(sizeof(int));
- ret->sizes[0] = 2;
- ret->exprs = malloc(sizeof(int *));
- ret->exprs[0] = malloc(2 * sizeof(int));
- ret->exprs[0][0] = ng * (int)
- symlist_find(sl,
- expr->left.expr->left.
- sym->name)->id;
- ret->exprs[0][1] = ng * (int)
- symlist_find(sl,
- expr->right.expr->left.
- sym->name)->id;
- } else {
- ret->size = 2;
- ret->sizes = malloc(2 * sizeof(int));
- ret->sizes[0] = 1;
- ret->sizes[1] = 1;
- ret->exprs = malloc(2 * sizeof(int *));
- ret->exprs[0] = malloc(sizeof(int));
- ret->exprs[1] = malloc(sizeof(int));
- ret->exprs[0][0] =
- ng * (int) symlist_find(sl,
- expr->left.expr->
- left.sym->name)->
- id;
- ret->exprs[1][0] =
- ng * (int) symlist_find(sl,
- expr->right.expr->
- left.sym->name)->
- id;
- }
- goto back;
- }
- } else if (ret != NULL) {
- if (expr->right.expr->type == E_SYMBOL) {
- if ((!neg && expr->type == E_OR)
- || (neg && expr->type == E_AND)) {
- unsigned i;
- for (i = 0; i < ret->size; i++) {
- ret->sizes[i]++;
- ret->exprs[i] =
- realloc(ret->exprs[i],
- ret->sizes[i] * sizeof(int));
- ret->exprs[i][ret->sizes[i] - 1] =
- ng * (int)
- symlist_find(sl,
- expr->right.expr->
- left.sym->name)->id;
- }
- } else {
- ret->size++;
- ret->exprs =
- realloc(ret->exprs,
- ret->size * sizeof(int *));
- ret->exprs[ret->size - 1] =
- malloc(sizeof(int));
- ret->sizes =
- realloc(ret->sizes,
- ret->size * sizeof(int));
- ret->sizes[ret->size - 1] = 1;
- ret->exprs[ret->size - 1][0] =
- ng * (int) symlist_find(sl,
- expr->right.
- expr->left.sym->
- name)->id;
- }
- goto back;
- } else {
- if (++wlist_pos >= wlist_size) {
- wlist_size *= 2;
- wlist =
- realloc(wlist,
- (unsigned) wlist_size *
- sizeof(struct nd));
- }
- wlist[wlist_pos].cnfe = ret;
- wlist[wlist_pos].expr = expr;
- expr = expr->right.expr;
- }
- } else {
- // navrat z leva, v lefo je false
- if (expr->right.expr->type == E_SYMBOL) {
- if ((!neg && expr->type == E_OR)
- || (neg && expr->type == E_AND)) {
- } else
- goto back;
- } else {
- if ((!neg && expr->type == E_OR)
- || (neg && expr->type == E_AND)) {
- } else {
- }
- }
- }
- break;
- case E_NOT:
- neg = !neg;
- goto back;
- default:
- fprintf(stderr,
- "ERROR: kconfig_dep unknown right state\n");
- }
- }
- continue;
- back:
- if (backstack_pos > 0) {
- expr = backstack[--backstack_pos];
- } else
- expr = NULL;
- }
-
- return ret;
-}
-
-void cnfprint(struct cnfexpr *wcnf) {
- unsigned i, r;
- for (i = 0; i < wcnf->size; i++) {
- for (r = 0; r < wcnf->sizes[i]; r++) {
- printf("%d ", wcnf->exprs[i][r]);
- }
- printf("x ");
- }
- printf("\n");
-}*/
-
-// This function is leaking memory! TODO
-struct boolexp *boolexp_cnf(struct boolexp *be) {
- if (be->type == BE_NOT) {
- if (be->left.be->type == BE_OR || be->left.be->type == BE_AND) {
- struct boolexp *root, *nleft, *nright;
- root = malloc(sizeof(struct boolexp));
- nleft = malloc(sizeof(struct boolexp));
- nright = malloc(sizeof(struct boolexp));
- if (be->left.be->type == BE_OR)
- root->type = BE_AND;
- else
- root->type = BE_OR;
- nleft->type = BE_NOT;
- nright->type = BE_NOT;
- root->left.be = nleft;
- root->right.be = nright;
- nleft->left.be = be->left.be;
- nright->left.be = be->right.be;
- be = root;
- }
- } else if (be->type == BE_OR) {
- if (be->left.be->type == BE_AND) {
- struct boolexp *root, *nleft, *nright;
- root = malloc(sizeof(struct boolexp));
- nleft = malloc(sizeof(struct boolexp));
- nright = malloc(sizeof(struct boolexp));
- root->type = BE_AND;
- nleft->type = BE_OR;
- nright->type = BE_OR;
- root->left.be = nleft;
- root->right.be = nright;
- nleft->left.be = be->left.be->left.be;
- nleft->right.be = be->right.be;
- nright->left.be = be->left.be->right.be;
- nright->right.be = be->right.be;
- be = root;
- } else if (be->right.be->type == BE_AND) {
- struct boolexp *root, *nleft, *nright;
- root = malloc(sizeof(struct boolexp));
- nleft = malloc(sizeof(struct boolexp));
- nright = malloc(sizeof(struct boolexp));
- root->type = BE_AND;
- nleft->type = BE_OR;
- nright->type = BE_OR;
- root->left.be = nleft;
- root->right.be = nright;
- nleft->left.be = be->left.be;
- nleft->right.be = be->right.be->left.be;
- nright->left.be = be->left.be;
- nright->right.be = be->right.be->right.be;
- be = root;
- }
- }
- if (be->type == BE_OR || be->type == BE_AND || be->type == BE_NOT)
- be->left.be = boolexp_cnf(be->left.be);
- if (be->type == BE_OR || be->type == BE_AND)
- be->right.be = boolexp_cnf(be->right.be);
- return be;
-}
-
-void boolexp_print(struct boolexp *be) {
- if (be != NULL)
- switch (be->type) {
- case BE_LEAF:
- printf("%d", be->left.id);
- break;
- case BE_AND:
- //printf("(");
- boolexp_print(be->left.be);
- printf(" and ");
- boolexp_print(be->right.be);
- //printf(")");
- break;
- case BE_OR:
- printf("(");
- boolexp_print(be->left.be);
- printf(" or ");
- boolexp_print(be->right.be);
- printf(")");
- break;
- case BE_NOT:
- printf("-");
- boolexp_print(be->left.be);
- break;
- }
-}
diff --git a/programs/src/kconfig_parser/boolexp.h b/programs/src/kconfig_parser/boolexp.h
deleted file mode 100644
index 7f3aed6..0000000
--- a/programs/src/kconfig_parser/boolexp.h
+++ /dev/null
@@ -1,38 +0,0 @@
-#ifndef _BOOLEXP_H_
-#define _BOOLEXP_H_
-
-#include <stdlib.h>
-#include <stdbool.h>
-#include "symlist.h"
-#include "kconfig/lkc.h"
-
-enum boolexp_type {
- BE_OR, BE_AND, BE_NOT, BE_LEAF
-};
-
-struct boolexp;
-union boolexp_data {
- struct boolexp *be;
- unsigned int id;
-};
-
-struct boolexp {
- enum boolexp_type type;
- union boolexp_data left, right;
-};
-
-/*struct cnfexpr {
- int **exprs;
- unsigned *sizes;
- unsigned size;
-};*/
-
-struct cnfexpr *kconfig_dep(struct symlist *sl, struct expr *expr);
-void cnfprint(struct cnfexpr *);
-
-struct boolexp *copy_kconfig_dep(struct symlist *sl, struct expr *expr);
-struct boolexp *copy_kconfig_f_dep(struct symlist *sl, struct expr *expr);
-struct boolexp *boolexp_cnf(struct boolexp *be);
-void boolexp_print(struct boolexp *be);
-
-#endif /* _BOOLEXP_H_ */
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-21 11:42:16 +0000