1*4882a593Smuzhiyun /* Simple expression parser */
2*4882a593Smuzhiyun %{
3*4882a593Smuzhiyun #define YYDEBUG 1
4*4882a593Smuzhiyun #include <stdio.h>
5*4882a593Smuzhiyun #include "util.h"
6*4882a593Smuzhiyun #include "util/debug.h"
7*4882a593Smuzhiyun #include <stdlib.h> // strtod()
8*4882a593Smuzhiyun #define IN_EXPR_Y 1
9*4882a593Smuzhiyun #include "expr.h"
10*4882a593Smuzhiyun #include "smt.h"
11*4882a593Smuzhiyun #include <string.h>
12*4882a593Smuzhiyun
d_ratio(double val0,double val1)13*4882a593Smuzhiyun static double d_ratio(double val0, double val1)
14*4882a593Smuzhiyun {
15*4882a593Smuzhiyun if (val1 == 0) {
16*4882a593Smuzhiyun return 0;
17*4882a593Smuzhiyun }
18*4882a593Smuzhiyun return val0 / val1;
19*4882a593Smuzhiyun }
20*4882a593Smuzhiyun
21*4882a593Smuzhiyun %}
22*4882a593Smuzhiyun
23*4882a593Smuzhiyun %define api.pure full
24*4882a593Smuzhiyun
25*4882a593Smuzhiyun %parse-param { double *final_val }
26*4882a593Smuzhiyun %parse-param { struct expr_parse_ctx *ctx }
27*4882a593Smuzhiyun %parse-param {void *scanner}
28*4882a593Smuzhiyun %lex-param {void* scanner}
29*4882a593Smuzhiyun
30*4882a593Smuzhiyun %union {
31*4882a593Smuzhiyun double num;
32*4882a593Smuzhiyun char *str;
33*4882a593Smuzhiyun }
34*4882a593Smuzhiyun
35*4882a593Smuzhiyun %token EXPR_PARSE EXPR_OTHER EXPR_ERROR
36*4882a593Smuzhiyun %token <num> NUMBER
37*4882a593Smuzhiyun %token <str> ID
38*4882a593Smuzhiyun %destructor { free ($$); } <str>
39*4882a593Smuzhiyun %token MIN MAX IF ELSE SMT_ON D_RATIO
40*4882a593Smuzhiyun %left MIN MAX IF
41*4882a593Smuzhiyun %left '|'
42*4882a593Smuzhiyun %left '^'
43*4882a593Smuzhiyun %left '&'
44*4882a593Smuzhiyun %left '<' '>'
45*4882a593Smuzhiyun %left '-' '+'
46*4882a593Smuzhiyun %left '*' '/' '%'
47*4882a593Smuzhiyun %left NEG NOT
48*4882a593Smuzhiyun %type <num> expr if_expr
49*4882a593Smuzhiyun
50*4882a593Smuzhiyun %{
51*4882a593Smuzhiyun static void expr_error(double *final_val __maybe_unused,
52*4882a593Smuzhiyun struct expr_parse_ctx *ctx __maybe_unused,
53*4882a593Smuzhiyun void *scanner,
54*4882a593Smuzhiyun const char *s)
55*4882a593Smuzhiyun {
56*4882a593Smuzhiyun pr_debug("%s\n", s);
57*4882a593Smuzhiyun }
58*4882a593Smuzhiyun
59*4882a593Smuzhiyun %}
60*4882a593Smuzhiyun %%
61*4882a593Smuzhiyun
62*4882a593Smuzhiyun start:
63*4882a593Smuzhiyun EXPR_PARSE all_expr
64*4882a593Smuzhiyun |
65*4882a593Smuzhiyun EXPR_OTHER all_other
66*4882a593Smuzhiyun
67*4882a593Smuzhiyun all_other: all_other other
68*4882a593Smuzhiyun |
69*4882a593Smuzhiyun
70*4882a593Smuzhiyun other: ID
71*4882a593Smuzhiyun {
72*4882a593Smuzhiyun expr__add_id(ctx, $1);
73*4882a593Smuzhiyun }
74*4882a593Smuzhiyun |
75*4882a593Smuzhiyun MIN | MAX | IF | ELSE | SMT_ON | NUMBER | '|' | '^' | '&' | '-' | '+' | '*' | '/' | '%' | '(' | ')' | ','
76*4882a593Smuzhiyun |
77*4882a593Smuzhiyun '<' | '>' | D_RATIO
78*4882a593Smuzhiyun
79*4882a593Smuzhiyun all_expr: if_expr { *final_val = $1; }
80*4882a593Smuzhiyun ;
81*4882a593Smuzhiyun
82*4882a593Smuzhiyun if_expr:
83*4882a593Smuzhiyun expr IF expr ELSE expr { $$ = $3 ? $1 : $5; }
84*4882a593Smuzhiyun | expr
85*4882a593Smuzhiyun ;
86*4882a593Smuzhiyun
87*4882a593Smuzhiyun expr: NUMBER
88*4882a593Smuzhiyun | ID {
89*4882a593Smuzhiyun struct expr_id_data *data;
90*4882a593Smuzhiyun
91*4882a593Smuzhiyun if (expr__resolve_id(ctx, $1, &data)) {
92*4882a593Smuzhiyun free($1);
93*4882a593Smuzhiyun YYABORT;
94*4882a593Smuzhiyun }
95*4882a593Smuzhiyun
96*4882a593Smuzhiyun $$ = data->val;
97*4882a593Smuzhiyun free($1);
98*4882a593Smuzhiyun }
99*4882a593Smuzhiyun | expr '|' expr { $$ = (long)$1 | (long)$3; }
100*4882a593Smuzhiyun | expr '&' expr { $$ = (long)$1 & (long)$3; }
101*4882a593Smuzhiyun | expr '^' expr { $$ = (long)$1 ^ (long)$3; }
102*4882a593Smuzhiyun | expr '<' expr { $$ = $1 < $3; }
103*4882a593Smuzhiyun | expr '>' expr { $$ = $1 > $3; }
104*4882a593Smuzhiyun | expr '+' expr { $$ = $1 + $3; }
105*4882a593Smuzhiyun | expr '-' expr { $$ = $1 - $3; }
106*4882a593Smuzhiyun | expr '*' expr { $$ = $1 * $3; }
107*4882a593Smuzhiyun | expr '/' expr { if ($3 == 0) {
108*4882a593Smuzhiyun pr_debug("division by zero\n");
109*4882a593Smuzhiyun YYABORT;
110*4882a593Smuzhiyun }
111*4882a593Smuzhiyun $$ = $1 / $3;
112*4882a593Smuzhiyun }
113*4882a593Smuzhiyun | expr '%' expr { if ((long)$3 == 0) {
114*4882a593Smuzhiyun pr_debug("division by zero\n");
115*4882a593Smuzhiyun YYABORT;
116*4882a593Smuzhiyun }
117*4882a593Smuzhiyun $$ = (long)$1 % (long)$3;
118*4882a593Smuzhiyun }
119*4882a593Smuzhiyun | '-' expr %prec NEG { $$ = -$2; }
120*4882a593Smuzhiyun | '(' if_expr ')' { $$ = $2; }
121*4882a593Smuzhiyun | MIN '(' expr ',' expr ')' { $$ = $3 < $5 ? $3 : $5; }
122*4882a593Smuzhiyun | MAX '(' expr ',' expr ')' { $$ = $3 > $5 ? $3 : $5; }
123*4882a593Smuzhiyun | SMT_ON { $$ = smt_on() > 0; }
124*4882a593Smuzhiyun | D_RATIO '(' expr ',' expr ')' { $$ = d_ratio($3,$5); }
125*4882a593Smuzhiyun ;
126*4882a593Smuzhiyun
127*4882a593Smuzhiyun %%
128