123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236 |
- /* Simple expression parser */
- %{
- #include "util.h"
- #include "util/debug.h"
- #define IN_EXPR_Y 1
- #include "expr.h"
- #include "smt.h"
- #include <string.h>
- #define MAXIDLEN 256
- %}
- %define api.pure full
- %parse-param { double *final_val }
- %parse-param { struct parse_ctx *ctx }
- %parse-param { const char **pp }
- %lex-param { const char **pp }
- %union {
- double num;
- char id[MAXIDLEN+1];
- }
- %token <num> NUMBER
- %token <id> ID
- %token MIN MAX IF ELSE SMT_ON
- %left MIN MAX IF
- %left '|'
- %left '^'
- %left '&'
- %left '-' '+'
- %left '*' '/' '%'
- %left NEG NOT
- %type <num> expr if_expr
- %{
- static int expr__lex(YYSTYPE *res, const char **pp);
- static void expr__error(double *final_val __maybe_unused,
- struct parse_ctx *ctx __maybe_unused,
- const char **pp __maybe_unused,
- const char *s)
- {
- pr_debug("%s\n", s);
- }
- static int lookup_id(struct parse_ctx *ctx, char *id, double *val)
- {
- int i;
- for (i = 0; i < ctx->num_ids; i++) {
- if (!strcasecmp(ctx->ids[i].name, id)) {
- *val = ctx->ids[i].val;
- return 0;
- }
- }
- return -1;
- }
- %}
- %%
- all_expr: if_expr { *final_val = $1; }
- ;
- if_expr:
- expr IF expr ELSE expr { $$ = $3 ? $1 : $5; }
- | expr
- ;
- expr: NUMBER
- | ID { if (lookup_id(ctx, $1, &$$) < 0) {
- pr_debug("%s not found\n", $1);
- YYABORT;
- }
- }
- | expr '|' expr { $$ = (long)$1 | (long)$3; }
- | expr '&' expr { $$ = (long)$1 & (long)$3; }
- | expr '^' expr { $$ = (long)$1 ^ (long)$3; }
- | expr '+' expr { $$ = $1 + $3; }
- | expr '-' expr { $$ = $1 - $3; }
- | expr '*' expr { $$ = $1 * $3; }
- | expr '/' expr { if ($3 == 0) YYABORT; $$ = $1 / $3; }
- | expr '%' expr { if ((long)$3 == 0) YYABORT; $$ = (long)$1 % (long)$3; }
- | '-' expr %prec NEG { $$ = -$2; }
- | '(' if_expr ')' { $$ = $2; }
- | MIN '(' expr ',' expr ')' { $$ = $3 < $5 ? $3 : $5; }
- | MAX '(' expr ',' expr ')' { $$ = $3 > $5 ? $3 : $5; }
- | SMT_ON { $$ = smt_on() > 0; }
- ;
- %%
- static int expr__symbol(YYSTYPE *res, const char *p, const char **pp)
- {
- char *dst = res->id;
- const char *s = p;
- if (*p == '#')
- *dst++ = *p++;
- while (isalnum(*p) || *p == '_' || *p == '.' || *p == ':' || *p == '@' || *p == '\\') {
- if (p - s >= MAXIDLEN)
- return -1;
- /*
- * Allow @ instead of / to be able to specify pmu/event/ without
- * conflicts with normal division.
- */
- if (*p == '@')
- *dst++ = '/';
- else if (*p == '\\')
- *dst++ = *++p;
- else
- *dst++ = *p;
- p++;
- }
- *dst = 0;
- *pp = p;
- dst = res->id;
- switch (dst[0]) {
- case 'm':
- if (!strcmp(dst, "min"))
- return MIN;
- if (!strcmp(dst, "max"))
- return MAX;
- break;
- case 'i':
- if (!strcmp(dst, "if"))
- return IF;
- break;
- case 'e':
- if (!strcmp(dst, "else"))
- return ELSE;
- break;
- case '#':
- if (!strcasecmp(dst, "#smt_on"))
- return SMT_ON;
- break;
- }
- return ID;
- }
- static int expr__lex(YYSTYPE *res, const char **pp)
- {
- int tok;
- const char *s;
- const char *p = *pp;
- while (isspace(*p))
- p++;
- s = p;
- switch (*p++) {
- case '#':
- case 'a' ... 'z':
- case 'A' ... 'Z':
- return expr__symbol(res, p - 1, pp);
- case '0' ... '9': case '.':
- res->num = strtod(s, (char **)&p);
- tok = NUMBER;
- break;
- default:
- tok = *s;
- break;
- }
- *pp = p;
- return tok;
- }
- /* Caller must make sure id is allocated */
- void expr__add_id(struct parse_ctx *ctx, const char *name, double val)
- {
- int idx;
- assert(ctx->num_ids < MAX_PARSE_ID);
- idx = ctx->num_ids++;
- ctx->ids[idx].name = name;
- ctx->ids[idx].val = val;
- }
- void expr__ctx_init(struct parse_ctx *ctx)
- {
- ctx->num_ids = 0;
- }
- static bool already_seen(const char *val, const char *one, const char **other,
- int num_other)
- {
- int i;
- if (one && !strcasecmp(one, val))
- return true;
- for (i = 0; i < num_other; i++)
- if (!strcasecmp(other[i], val))
- return true;
- return false;
- }
- int expr__find_other(const char *p, const char *one, const char ***other,
- int *num_otherp)
- {
- const char *orig = p;
- int err = -1;
- int num_other;
- *other = malloc((EXPR_MAX_OTHER + 1) * sizeof(char *));
- if (!*other)
- return -1;
- num_other = 0;
- for (;;) {
- YYSTYPE val;
- int tok = expr__lex(&val, &p);
- if (tok == 0) {
- err = 0;
- break;
- }
- if (tok == ID && !already_seen(val.id, one, *other, num_other)) {
- if (num_other >= EXPR_MAX_OTHER - 1) {
- pr_debug("Too many extra events in %s\n", orig);
- break;
- }
- (*other)[num_other] = strdup(val.id);
- if (!(*other)[num_other])
- return -1;
- num_other++;
- }
- }
- (*other)[num_other] = NULL;
- *num_otherp = num_other;
- if (err) {
- *num_otherp = 0;
- free(*other);
- *other = NULL;
- }
- return err;
- }
|