107516736SAndi Kleen /* Simple expression parser */ 207516736SAndi Kleen %{ 326226a97SJiri Olsa #define YYDEBUG 1 4edfe7f55SIan Rogers #include <math.h> 507516736SAndi Kleen #include "util/debug.h" 6*7f8fdcbbSIan 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 2326226a97SJiri Olsa %token EXPR_PARSE EXPR_OTHER EXPR_ERROR 2407516736SAndi Kleen %token <num> NUMBER 2526226a97SJiri Olsa %token <str> ID 2663657578SIan Rogers %destructor { free ($$); } <str> 273e21a28aSIan Rogers %token MIN MAX IF ELSE SMT_ON D_RATIO 28d73bad06SAndi Kleen %left MIN MAX IF 2907516736SAndi Kleen %left '|' 3007516736SAndi Kleen %left '^' 3107516736SAndi Kleen %left '&' 32ff1a12f9SIan Rogers %left '<' '>' 3307516736SAndi Kleen %left '-' '+' 3407516736SAndi Kleen %left '*' '/' '%' 3507516736SAndi Kleen %left NEG NOT 36d73bad06SAndi Kleen %type <num> expr if_expr 3707516736SAndi Kleen 3807516736SAndi Kleen %{ 3926226a97SJiri Olsa static void expr_error(double *final_val __maybe_unused, 40aecce63eSJiri Olsa struct expr_parse_ctx *ctx __maybe_unused, 4126226a97SJiri Olsa void *scanner, 4207516736SAndi Kleen const char *s) 4307516736SAndi Kleen { 4407516736SAndi Kleen pr_debug("%s\n", s); 4507516736SAndi Kleen } 4607516736SAndi Kleen 4707516736SAndi Kleen %} 4807516736SAndi Kleen %% 4907516736SAndi Kleen 5026226a97SJiri Olsa start: 5126226a97SJiri Olsa EXPR_PARSE all_expr 5226226a97SJiri Olsa | 5326226a97SJiri Olsa EXPR_OTHER all_other 5426226a97SJiri Olsa 5526226a97SJiri Olsa all_other: all_other other 5626226a97SJiri Olsa | 5726226a97SJiri Olsa 5826226a97SJiri Olsa other: ID 5926226a97SJiri Olsa { 60332603c2SJiri Olsa expr__add_id(ctx, $1); 6126226a97SJiri Olsa } 6226226a97SJiri Olsa | 63cb59fa79SIan Rogers MIN | MAX | IF | ELSE | SMT_ON | NUMBER | '|' | '^' | '&' | '-' | '+' | '*' | '/' | '%' | '(' | ')' | ',' 643e21a28aSIan Rogers | 65ff1a12f9SIan Rogers '<' | '>' | D_RATIO 6626226a97SJiri Olsa 67d73bad06SAndi Kleen all_expr: if_expr { *final_val = $1; } 68d73bad06SAndi Kleen ; 69d73bad06SAndi Kleen 70d73bad06SAndi Kleen if_expr: 71d73bad06SAndi Kleen expr IF expr ELSE expr { $$ = $3 ? $1 : $5; } 72d73bad06SAndi Kleen | expr 7307516736SAndi Kleen ; 7407516736SAndi Kleen 7507516736SAndi Kleen expr: NUMBER 765c5f5e83SJiri Olsa | ID { 775c5f5e83SJiri Olsa struct expr_id_data *data; 785c5f5e83SJiri Olsa 79edfe7f55SIan Rogers $$ = NAN; 80edfe7f55SIan Rogers if (expr__resolve_id(ctx, $1, &data) == 0) 8129396cd5SIan Rogers $$ = expr_id_data__value(data); 82edfe7f55SIan Rogers 8363657578SIan Rogers free($1); 8407516736SAndi Kleen } 85d73bad06SAndi Kleen | expr '|' expr { $$ = (long)$1 | (long)$3; } 86d73bad06SAndi Kleen | expr '&' expr { $$ = (long)$1 & (long)$3; } 87d73bad06SAndi Kleen | expr '^' expr { $$ = (long)$1 ^ (long)$3; } 88ff1a12f9SIan Rogers | expr '<' expr { $$ = $1 < $3; } 89ff1a12f9SIan Rogers | expr '>' expr { $$ = $1 > $3; } 9007516736SAndi Kleen | expr '+' expr { $$ = $1 + $3; } 9107516736SAndi Kleen | expr '-' expr { $$ = $1 - $3; } 9207516736SAndi Kleen | expr '*' expr { $$ = $1 * $3; } 939be27a5dSIan Rogers | expr '/' expr { if ($3 == 0) { 949be27a5dSIan Rogers pr_debug("division by zero\n"); 959be27a5dSIan Rogers YYABORT; 969be27a5dSIan Rogers } 979be27a5dSIan Rogers $$ = $1 / $3; 989be27a5dSIan Rogers } 999be27a5dSIan Rogers | expr '%' expr { if ((long)$3 == 0) { 1009be27a5dSIan Rogers pr_debug("division by zero\n"); 1019be27a5dSIan Rogers YYABORT; 1029be27a5dSIan Rogers } 1039be27a5dSIan Rogers $$ = (long)$1 % (long)$3; 1049be27a5dSIan Rogers } 10507516736SAndi Kleen | '-' expr %prec NEG { $$ = -$2; } 106d73bad06SAndi Kleen | '(' if_expr ')' { $$ = $2; } 107d73bad06SAndi Kleen | MIN '(' expr ',' expr ')' { $$ = $3 < $5 ? $3 : $5; } 108d73bad06SAndi Kleen | MAX '(' expr ',' expr ')' { $$ = $3 > $5 ? $3 : $5; } 109d73bad06SAndi Kleen | SMT_ON { $$ = smt_on() > 0; } 110*7f8fdcbbSIan Rogers | D_RATIO '(' expr ',' expr ')' { if ($5 == 0) { 111*7f8fdcbbSIan Rogers $$ = 0; 112*7f8fdcbbSIan Rogers } else { 113*7f8fdcbbSIan Rogers $$ = $3 / $5; 114*7f8fdcbbSIan Rogers } 115*7f8fdcbbSIan Rogers } 11607516736SAndi Kleen ; 11707516736SAndi Kleen 11807516736SAndi Kleen %% 119