107516736SAndi Kleen /* Simple expression parser */ 207516736SAndi Kleen %{ 326226a97SJiri Olsa #define YYDEBUG 1 4edfe7f55SIan Rogers #include <math.h> 507516736SAndi Kleen #include "util/debug.h" 67f8fdcbbSIan Rogers #include "smt.h" 707516736SAndi Kleen #define IN_EXPR_Y 1 807516736SAndi Kleen #include "expr.h" 907516736SAndi Kleen %} 1007516736SAndi Kleen 11fc8c0a99SJiri Olsa %define api.pure full 12fc8c0a99SJiri Olsa 1307516736SAndi Kleen %parse-param { double *final_val } 14aecce63eSJiri Olsa %parse-param { struct expr_parse_ctx *ctx } 1526226a97SJiri Olsa %parse-param {void *scanner} 1626226a97SJiri Olsa %lex-param {void* scanner} 1707516736SAndi Kleen 1807516736SAndi Kleen %union { 1907516736SAndi Kleen double num; 2026226a97SJiri Olsa char *str; 2107516736SAndi Kleen } 2207516736SAndi Kleen 23*aed0d6f8SIan Rogers %token ID NUMBER MIN MAX IF ELSE SMT_ON D_RATIO EXPR_ERROR EXPR_PARSE EXPR_OTHER 24d73bad06SAndi Kleen %left MIN MAX IF 2507516736SAndi Kleen %left '|' 2607516736SAndi Kleen %left '^' 2707516736SAndi Kleen %left '&' 28ff1a12f9SIan Rogers %left '<' '>' 2907516736SAndi Kleen %left '-' '+' 3007516736SAndi Kleen %left '*' '/' '%' 3107516736SAndi Kleen %left NEG NOT 32*aed0d6f8SIan Rogers %type <num> NUMBER 33*aed0d6f8SIan Rogers %type <str> ID 34*aed0d6f8SIan Rogers %destructor { free ($$); } <str> 35d73bad06SAndi Kleen %type <num> expr if_expr 3607516736SAndi Kleen 3707516736SAndi Kleen %{ 3826226a97SJiri Olsa static void expr_error(double *final_val __maybe_unused, 39aecce63eSJiri Olsa struct expr_parse_ctx *ctx __maybe_unused, 4026226a97SJiri Olsa void *scanner, 4107516736SAndi Kleen const char *s) 4207516736SAndi Kleen { 4307516736SAndi Kleen pr_debug("%s\n", s); 4407516736SAndi Kleen } 4507516736SAndi Kleen 4607516736SAndi Kleen %} 4707516736SAndi Kleen %% 4807516736SAndi Kleen 4926226a97SJiri Olsa start: 5026226a97SJiri Olsa EXPR_PARSE all_expr 5126226a97SJiri Olsa | 5226226a97SJiri Olsa EXPR_OTHER all_other 5326226a97SJiri Olsa 5426226a97SJiri Olsa all_other: all_other other 5526226a97SJiri Olsa | 5626226a97SJiri Olsa 5726226a97SJiri Olsa other: ID 5826226a97SJiri Olsa { 59332603c2SJiri Olsa expr__add_id(ctx, $1); 6026226a97SJiri Olsa } 6126226a97SJiri Olsa | 62cb59fa79SIan Rogers MIN | MAX | IF | ELSE | SMT_ON | NUMBER | '|' | '^' | '&' | '-' | '+' | '*' | '/' | '%' | '(' | ')' | ',' 633e21a28aSIan Rogers | 64ff1a12f9SIan Rogers '<' | '>' | D_RATIO 6526226a97SJiri Olsa 66d73bad06SAndi Kleen all_expr: if_expr { *final_val = $1; } 67d73bad06SAndi Kleen ; 68d73bad06SAndi Kleen 69d73bad06SAndi Kleen if_expr: 70d73bad06SAndi Kleen expr IF expr ELSE expr { $$ = $3 ? $1 : $5; } 71d73bad06SAndi Kleen | expr 7207516736SAndi Kleen ; 7307516736SAndi Kleen 7407516736SAndi Kleen expr: NUMBER 755c5f5e83SJiri Olsa | ID { 765c5f5e83SJiri Olsa struct expr_id_data *data; 775c5f5e83SJiri Olsa 78edfe7f55SIan Rogers $$ = NAN; 79edfe7f55SIan Rogers if (expr__resolve_id(ctx, $1, &data) == 0) 8029396cd5SIan Rogers $$ = expr_id_data__value(data); 81edfe7f55SIan Rogers 8263657578SIan Rogers free($1); 8307516736SAndi Kleen } 84d73bad06SAndi Kleen | expr '|' expr { $$ = (long)$1 | (long)$3; } 85d73bad06SAndi Kleen | expr '&' expr { $$ = (long)$1 & (long)$3; } 86d73bad06SAndi Kleen | expr '^' expr { $$ = (long)$1 ^ (long)$3; } 87ff1a12f9SIan Rogers | expr '<' expr { $$ = $1 < $3; } 88ff1a12f9SIan Rogers | expr '>' expr { $$ = $1 > $3; } 8907516736SAndi Kleen | expr '+' expr { $$ = $1 + $3; } 9007516736SAndi Kleen | expr '-' expr { $$ = $1 - $3; } 9107516736SAndi Kleen | expr '*' expr { $$ = $1 * $3; } 929be27a5dSIan Rogers | expr '/' expr { if ($3 == 0) { 939be27a5dSIan Rogers pr_debug("division by zero\n"); 949be27a5dSIan Rogers YYABORT; 959be27a5dSIan Rogers } 969be27a5dSIan Rogers $$ = $1 / $3; 979be27a5dSIan Rogers } 989be27a5dSIan Rogers | expr '%' expr { if ((long)$3 == 0) { 999be27a5dSIan Rogers pr_debug("division by zero\n"); 1009be27a5dSIan Rogers YYABORT; 1019be27a5dSIan Rogers } 1029be27a5dSIan Rogers $$ = (long)$1 % (long)$3; 1039be27a5dSIan Rogers } 10407516736SAndi Kleen | '-' expr %prec NEG { $$ = -$2; } 105d73bad06SAndi Kleen | '(' if_expr ')' { $$ = $2; } 106d73bad06SAndi Kleen | MIN '(' expr ',' expr ')' { $$ = $3 < $5 ? $3 : $5; } 107d73bad06SAndi Kleen | MAX '(' expr ',' expr ')' { $$ = $3 > $5 ? $3 : $5; } 108d73bad06SAndi Kleen | SMT_ON { $$ = smt_on() > 0; } 1097f8fdcbbSIan Rogers | D_RATIO '(' expr ',' expr ')' { if ($5 == 0) { 1107f8fdcbbSIan Rogers $$ = 0; 1117f8fdcbbSIan Rogers } else { 1127f8fdcbbSIan Rogers $$ = $3 / $5; 1137f8fdcbbSIan Rogers } 1147f8fdcbbSIan Rogers } 11507516736SAndi Kleen ; 11607516736SAndi Kleen 11707516736SAndi Kleen %% 118