xref: /openbmc/linux/tools/perf/util/expr.y (revision 332603c2aa1a3be92720343269e670f8118a8831)
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 {
72*332603c2SJiri 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
88ded80bdaSIan Rogers 	| ID			{ if (expr__get_id(ctx, $1, &$$)) {
89c295036bSAndi Kleen 					pr_debug("%s not found\n", $1);
9063657578SIan Rogers 					free($1);
9107516736SAndi Kleen 					YYABORT;
9207516736SAndi Kleen 				  }
9363657578SIan Rogers 				  free($1);
9407516736SAndi Kleen 				}
95d73bad06SAndi Kleen 	| expr '|' expr		{ $$ = (long)$1 | (long)$3; }
96d73bad06SAndi Kleen 	| expr '&' expr		{ $$ = (long)$1 & (long)$3; }
97d73bad06SAndi Kleen 	| expr '^' expr		{ $$ = (long)$1 ^ (long)$3; }
98ff1a12f9SIan Rogers 	| expr '<' expr		{ $$ = $1 < $3; }
99ff1a12f9SIan Rogers 	| expr '>' expr		{ $$ = $1 > $3; }
10007516736SAndi Kleen 	| expr '+' expr		{ $$ = $1 + $3; }
10107516736SAndi Kleen 	| expr '-' expr		{ $$ = $1 - $3; }
10207516736SAndi Kleen 	| expr '*' expr		{ $$ = $1 * $3; }
1039be27a5dSIan Rogers 	| expr '/' expr		{ if ($3 == 0) {
1049be27a5dSIan Rogers 					pr_debug("division by zero\n");
1059be27a5dSIan Rogers 					YYABORT;
1069be27a5dSIan Rogers 				  }
1079be27a5dSIan Rogers 				  $$ = $1 / $3;
1089be27a5dSIan Rogers 	                        }
1099be27a5dSIan Rogers 	| expr '%' expr		{ if ((long)$3 == 0) {
1109be27a5dSIan Rogers 					pr_debug("division by zero\n");
1119be27a5dSIan Rogers 					YYABORT;
1129be27a5dSIan Rogers 				  }
1139be27a5dSIan Rogers 				  $$ = (long)$1 % (long)$3;
1149be27a5dSIan Rogers 	                        }
11507516736SAndi Kleen 	| '-' expr %prec NEG	{ $$ = -$2; }
116d73bad06SAndi Kleen 	| '(' if_expr ')'	{ $$ = $2; }
117d73bad06SAndi Kleen 	| MIN '(' expr ',' expr ')' { $$ = $3 < $5 ? $3 : $5; }
118d73bad06SAndi Kleen 	| MAX '(' expr ',' expr ')' { $$ = $3 > $5 ? $3 : $5; }
119d73bad06SAndi Kleen 	| SMT_ON		 { $$ = smt_on() > 0; }
1203e21a28aSIan Rogers 	| D_RATIO '(' expr ',' expr ')' { $$ = d_ratio($3,$5); }
12107516736SAndi Kleen 	;
12207516736SAndi Kleen 
12307516736SAndi Kleen %%
124