107516736SAndi Kleen /* Simple expression parser */ 207516736SAndi Kleen %{ 326226a97SJiri Olsa #define YYDEBUG 1 426226a97SJiri Olsa #include <stdio.h> 507516736SAndi Kleen #include "util.h" 607516736SAndi Kleen #include "util/debug.h" 78520a98dSArnaldo Carvalho de Melo #include <stdlib.h> // strtod() 807516736SAndi Kleen #define IN_EXPR_Y 1 907516736SAndi Kleen #include "expr.h" 10d73bad06SAndi Kleen #include "smt.h" 1107516736SAndi Kleen #include <string.h> 1207516736SAndi Kleen 133e21a28aSIan Rogers static double d_ratio(double val0, double val1) 143e21a28aSIan Rogers { 153e21a28aSIan Rogers if (val1 == 0) { 163e21a28aSIan Rogers return 0; 173e21a28aSIan Rogers } 183e21a28aSIan Rogers return val0 / val1; 193e21a28aSIan Rogers } 203e21a28aSIan Rogers 2107516736SAndi Kleen %} 2207516736SAndi Kleen 23fc8c0a99SJiri Olsa %define api.pure full 24fc8c0a99SJiri Olsa 2507516736SAndi Kleen %parse-param { double *final_val } 26aecce63eSJiri Olsa %parse-param { struct expr_parse_ctx *ctx } 2726226a97SJiri Olsa %parse-param {void *scanner} 2826226a97SJiri Olsa %lex-param {void* scanner} 2907516736SAndi Kleen 3007516736SAndi Kleen %union { 3107516736SAndi Kleen double num; 3226226a97SJiri Olsa char *str; 3307516736SAndi Kleen } 3407516736SAndi Kleen 3526226a97SJiri Olsa %token EXPR_PARSE EXPR_OTHER EXPR_ERROR 3607516736SAndi Kleen %token <num> NUMBER 3726226a97SJiri Olsa %token <str> ID 3863657578SIan Rogers %destructor { free ($$); } <str> 393e21a28aSIan Rogers %token MIN MAX IF ELSE SMT_ON D_RATIO 40d73bad06SAndi Kleen %left MIN MAX IF 4107516736SAndi Kleen %left '|' 4207516736SAndi Kleen %left '^' 4307516736SAndi Kleen %left '&' 44ff1a12f9SIan Rogers %left '<' '>' 4507516736SAndi Kleen %left '-' '+' 4607516736SAndi Kleen %left '*' '/' '%' 4707516736SAndi Kleen %left NEG NOT 48d73bad06SAndi Kleen %type <num> expr if_expr 4907516736SAndi Kleen 5007516736SAndi Kleen %{ 5126226a97SJiri Olsa static void expr_error(double *final_val __maybe_unused, 52aecce63eSJiri Olsa struct expr_parse_ctx *ctx __maybe_unused, 5326226a97SJiri Olsa void *scanner, 5407516736SAndi Kleen const char *s) 5507516736SAndi Kleen { 5607516736SAndi Kleen pr_debug("%s\n", s); 5707516736SAndi Kleen } 5807516736SAndi Kleen 5907516736SAndi Kleen %} 6007516736SAndi Kleen %% 6107516736SAndi Kleen 6226226a97SJiri Olsa start: 6326226a97SJiri Olsa EXPR_PARSE all_expr 6426226a97SJiri Olsa | 6526226a97SJiri Olsa EXPR_OTHER all_other 6626226a97SJiri Olsa 6726226a97SJiri Olsa all_other: all_other other 6826226a97SJiri Olsa | 6926226a97SJiri Olsa 7026226a97SJiri Olsa other: ID 7126226a97SJiri Olsa { 72332603c2SJiri Olsa expr__add_id(ctx, $1); 7326226a97SJiri Olsa } 7426226a97SJiri Olsa | 75cb59fa79SIan Rogers MIN | MAX | IF | ELSE | SMT_ON | NUMBER | '|' | '^' | '&' | '-' | '+' | '*' | '/' | '%' | '(' | ')' | ',' 763e21a28aSIan Rogers | 77ff1a12f9SIan Rogers '<' | '>' | D_RATIO 7826226a97SJiri Olsa 79d73bad06SAndi Kleen all_expr: if_expr { *final_val = $1; } 80d73bad06SAndi Kleen ; 81d73bad06SAndi Kleen 82d73bad06SAndi Kleen if_expr: 83d73bad06SAndi Kleen expr IF expr ELSE expr { $$ = $3 ? $1 : $5; } 84d73bad06SAndi Kleen | expr 8507516736SAndi Kleen ; 8607516736SAndi Kleen 8707516736SAndi Kleen expr: NUMBER 885c5f5e83SJiri Olsa | ID { 895c5f5e83SJiri Olsa struct expr_id_data *data; 905c5f5e83SJiri Olsa 91acf71b05SJiri Olsa if (expr__resolve_id(ctx, $1, &data)) { 9263657578SIan Rogers free($1); 9307516736SAndi Kleen YYABORT; 9407516736SAndi Kleen } 95acf71b05SJiri Olsa 96*29396cd5SIan Rogers $$ = expr_id_data__value(data); 9763657578SIan Rogers free($1); 9807516736SAndi Kleen } 99d73bad06SAndi Kleen | expr '|' expr { $$ = (long)$1 | (long)$3; } 100d73bad06SAndi Kleen | expr '&' expr { $$ = (long)$1 & (long)$3; } 101d73bad06SAndi Kleen | expr '^' expr { $$ = (long)$1 ^ (long)$3; } 102ff1a12f9SIan Rogers | expr '<' expr { $$ = $1 < $3; } 103ff1a12f9SIan Rogers | expr '>' expr { $$ = $1 > $3; } 10407516736SAndi Kleen | expr '+' expr { $$ = $1 + $3; } 10507516736SAndi Kleen | expr '-' expr { $$ = $1 - $3; } 10607516736SAndi Kleen | expr '*' expr { $$ = $1 * $3; } 1079be27a5dSIan Rogers | expr '/' expr { if ($3 == 0) { 1089be27a5dSIan Rogers pr_debug("division by zero\n"); 1099be27a5dSIan Rogers YYABORT; 1109be27a5dSIan Rogers } 1119be27a5dSIan Rogers $$ = $1 / $3; 1129be27a5dSIan Rogers } 1139be27a5dSIan Rogers | expr '%' expr { if ((long)$3 == 0) { 1149be27a5dSIan Rogers pr_debug("division by zero\n"); 1159be27a5dSIan Rogers YYABORT; 1169be27a5dSIan Rogers } 1179be27a5dSIan Rogers $$ = (long)$1 % (long)$3; 1189be27a5dSIan Rogers } 11907516736SAndi Kleen | '-' expr %prec NEG { $$ = -$2; } 120d73bad06SAndi Kleen | '(' if_expr ')' { $$ = $2; } 121d73bad06SAndi Kleen | MIN '(' expr ',' expr ')' { $$ = $3 < $5 ? $3 : $5; } 122d73bad06SAndi Kleen | MAX '(' expr ',' expr ')' { $$ = $3 > $5 ? $3 : $5; } 123d73bad06SAndi Kleen | SMT_ON { $$ = smt_on() > 0; } 1243e21a28aSIan Rogers | D_RATIO '(' expr ',' expr ')' { $$ = d_ratio($3,$5); } 12507516736SAndi Kleen ; 12607516736SAndi Kleen 12707516736SAndi Kleen %% 128