107516736SAndi Kleen /* Simple expression parser */ 207516736SAndi Kleen %{ 3*1344a707SIan Rogers #ifndef NDEBUG 426226a97SJiri Olsa #define YYDEBUG 1 5*1344a707SIan Rogers #endif 63f965a7dSIan Rogers #include <assert.h> 7edfe7f55SIan Rogers #include <math.h> 81e7ab829SIan Rogers #include <stdlib.h> 907516736SAndi Kleen #include "util/debug.h" 1007516736SAndi Kleen #define IN_EXPR_Y 1 1107516736SAndi Kleen #include "expr.h" 12ddc8e4c9SIan Rogers #include "expr-bison.h" 13ddc8e4c9SIan Rogers int expr_lex(YYSTYPE * yylval_param , void *yyscanner); 1407516736SAndi Kleen %} 1507516736SAndi Kleen 16fc8c0a99SJiri Olsa %define api.pure full 17fc8c0a99SJiri Olsa 1807516736SAndi Kleen %parse-param { double *final_val } 19aecce63eSJiri Olsa %parse-param { struct expr_parse_ctx *ctx } 203f965a7dSIan Rogers %parse-param { bool compute_ids } 2126226a97SJiri Olsa %parse-param {void *scanner} 2226226a97SJiri Olsa %lex-param {void* scanner} 2307516736SAndi Kleen 2407516736SAndi Kleen %union { 2507516736SAndi Kleen double num; 2626226a97SJiri Olsa char *str; 273f965a7dSIan Rogers struct ids { 283f965a7dSIan Rogers /* 293f965a7dSIan Rogers * When creating ids, holds the working set of event ids. NULL 303f965a7dSIan Rogers * implies the set is empty. 313f965a7dSIan Rogers */ 323f965a7dSIan Rogers struct hashmap *ids; 333f965a7dSIan Rogers /* 343f965a7dSIan Rogers * The metric value. When not creating ids this is the value 353f965a7dSIan Rogers * read from a counter, a constant or some computed value. When 363f965a7dSIan Rogers * creating ids the value is either a constant or BOTTOM. NAN is 373f965a7dSIan Rogers * used as the special BOTTOM value, representing a "set of all 383f965a7dSIan Rogers * values" case. 393f965a7dSIan Rogers */ 403f965a7dSIan Rogers double val; 413f965a7dSIan Rogers } ids; 4207516736SAndi Kleen } 4307516736SAndi Kleen 449d5da30eSJames Clark %token ID NUMBER MIN MAX IF ELSE LITERAL D_RATIO SOURCE_COUNT HAS_EVENT STRCMP_CPUID_STR EXPR_ERROR 45d73bad06SAndi Kleen %left MIN MAX IF 4607516736SAndi Kleen %left '|' 4707516736SAndi Kleen %left '^' 4807516736SAndi Kleen %left '&' 49ff1a12f9SIan Rogers %left '<' '>' 5007516736SAndi Kleen %left '-' '+' 5107516736SAndi Kleen %left '*' '/' '%' 5207516736SAndi Kleen %left NEG NOT 533613f6c1SIan Rogers %type <num> NUMBER LITERAL 54aed0d6f8SIan Rogers %type <str> ID 55aed0d6f8SIan Rogers %destructor { free ($$); } <str> 563f965a7dSIan Rogers %type <ids> expr if_expr 573f965a7dSIan Rogers %destructor { ids__free($$.ids); } <ids> 5807516736SAndi Kleen 5907516736SAndi Kleen %{ 6026226a97SJiri Olsa static void expr_error(double *final_val __maybe_unused, 61aecce63eSJiri Olsa struct expr_parse_ctx *ctx __maybe_unused, 623f965a7dSIan Rogers bool compute_ids __maybe_unused, 63ddc8e4c9SIan Rogers void *scanner __maybe_unused, 6407516736SAndi Kleen const char *s) 6507516736SAndi Kleen { 6607516736SAndi Kleen pr_debug("%s\n", s); 6707516736SAndi Kleen } 6807516736SAndi Kleen 693f965a7dSIan Rogers /* 703f965a7dSIan Rogers * During compute ids, the special "bottom" value uses NAN to represent the set 713f965a7dSIan Rogers * of all values. NAN is selected as it isn't a useful constant value. 723f965a7dSIan Rogers */ 733f965a7dSIan Rogers #define BOTTOM NAN 743f965a7dSIan Rogers 75970f7afeSIan Rogers /* During computing ids, does val represent a constant (non-BOTTOM) value? */ 76970f7afeSIan Rogers static bool is_const(double val) 77970f7afeSIan Rogers { 78970f7afeSIan Rogers return isfinite(val); 79970f7afeSIan Rogers } 80970f7afeSIan Rogers 813f965a7dSIan Rogers static struct ids union_expr(struct ids ids1, struct ids ids2) 823f965a7dSIan Rogers { 833f965a7dSIan Rogers struct ids result = { 843f965a7dSIan Rogers .val = BOTTOM, 853f965a7dSIan Rogers .ids = ids__union(ids1.ids, ids2.ids), 863f965a7dSIan Rogers }; 873f965a7dSIan Rogers return result; 883f965a7dSIan Rogers } 893f965a7dSIan Rogers 901e7ab829SIan Rogers static struct ids handle_id(struct expr_parse_ctx *ctx, char *id, 919aba0adaSIan Rogers bool compute_ids, bool source_count) 921e7ab829SIan Rogers { 931e7ab829SIan Rogers struct ids result; 941e7ab829SIan Rogers 951e7ab829SIan Rogers if (!compute_ids) { 961e7ab829SIan Rogers /* 971e7ab829SIan Rogers * Compute the event's value from ID. If the ID isn't known then 981e7ab829SIan Rogers * it isn't used to compute the formula so set to NAN. 991e7ab829SIan Rogers */ 1001e7ab829SIan Rogers struct expr_id_data *data; 1011e7ab829SIan Rogers 1021e7ab829SIan Rogers result.val = NAN; 1039aba0adaSIan Rogers if (expr__resolve_id(ctx, id, &data) == 0) { 1049aba0adaSIan Rogers result.val = source_count 1059aba0adaSIan Rogers ? expr_id_data__source_count(data) 1069aba0adaSIan Rogers : expr_id_data__value(data); 1079aba0adaSIan Rogers } 1081e7ab829SIan Rogers result.ids = NULL; 1091e7ab829SIan Rogers free(id); 1101e7ab829SIan Rogers } else { 1111e7ab829SIan Rogers /* 1121e7ab829SIan Rogers * Set the value to BOTTOM to show that any value is possible 1131e7ab829SIan Rogers * when the event is computed. Create a set of just the ID. 1141e7ab829SIan Rogers */ 1151e7ab829SIan Rogers result.val = BOTTOM; 1161e7ab829SIan Rogers result.ids = ids__new(); 1171e7ab829SIan Rogers if (!result.ids || ids__insert(result.ids, id)) { 1181e7ab829SIan Rogers pr_err("Error creating IDs for '%s'", id); 1191e7ab829SIan Rogers free(id); 1201e7ab829SIan Rogers } 1211e7ab829SIan Rogers } 1221e7ab829SIan Rogers return result; 1231e7ab829SIan Rogers } 1241e7ab829SIan Rogers 125970f7afeSIan Rogers /* 126970f7afeSIan Rogers * If we're not computing ids or $1 and $3 are constants, compute the new 127970f7afeSIan Rogers * constant value using OP. Its invariant that there are no ids. If computing 128970f7afeSIan Rogers * ids for non-constants union the set of IDs that must be computed. 129970f7afeSIan Rogers */ 130e87576c5SIan Rogers #define BINARY_OP(RESULT, OP, LHS, RHS) \ 131970f7afeSIan Rogers if (!compute_ids || (is_const(LHS.val) && is_const(RHS.val))) { \ 132970f7afeSIan Rogers assert(LHS.ids == NULL); \ 133970f7afeSIan Rogers assert(RHS.ids == NULL); \ 13479802934SIan Rogers if (isnan(LHS.val) || isnan(RHS.val)) { \ 13579802934SIan Rogers RESULT.val = NAN; \ 13679802934SIan Rogers } else { \ 1373f965a7dSIan Rogers RESULT.val = LHS.val OP RHS.val; \ 13879802934SIan Rogers } \ 1393f965a7dSIan Rogers RESULT.ids = NULL; \ 1403f965a7dSIan Rogers } else { \ 1413f965a7dSIan Rogers RESULT = union_expr(LHS, RHS); \ 1423f965a7dSIan Rogers } 143e87576c5SIan Rogers 14407516736SAndi Kleen %} 14507516736SAndi Kleen %% 14607516736SAndi Kleen 1473f965a7dSIan Rogers start: if_expr 14826226a97SJiri Olsa { 1493f965a7dSIan Rogers if (compute_ids) 1503f965a7dSIan Rogers ctx->ids = ids__union($1.ids, ctx->ids); 15126226a97SJiri Olsa 1523f965a7dSIan Rogers if (final_val) 1533f965a7dSIan Rogers *final_val = $1.val; 1543f965a7dSIan Rogers } 1553f965a7dSIan Rogers ; 156d73bad06SAndi Kleen 1574b65fc7bSIan Rogers if_expr: expr IF expr ELSE if_expr 158c924e0ccSIan Rogers { 1593f965a7dSIan Rogers if (fpclassify($3.val) == FP_ZERO) { 160a8e4e880SIan Rogers /* 161a8e4e880SIan Rogers * The IF expression evaluated to 0 so treat as false, take the 162a8e4e880SIan Rogers * ELSE and discard everything else. 163a8e4e880SIan Rogers */ 1643f965a7dSIan Rogers $$.val = $5.val; 165a8e4e880SIan Rogers $$.ids = $5.ids; 166a8e4e880SIan Rogers ids__free($1.ids); 167a8e4e880SIan Rogers ids__free($3.ids); 168a8e4e880SIan Rogers } else if (!compute_ids || is_const($3.val)) { 169a8e4e880SIan Rogers /* 170a8e4e880SIan Rogers * If ids aren't computed then treat the expression as true. If 171a8e4e880SIan Rogers * ids are being computed and the IF expr is a non-zero 172a8e4e880SIan Rogers * constant, then also evaluate the true case. 173a8e4e880SIan Rogers */ 1743f965a7dSIan Rogers $$.val = $1.val; 175a8e4e880SIan Rogers $$.ids = $1.ids; 176a8e4e880SIan Rogers ids__free($3.ids); 177a8e4e880SIan Rogers ids__free($5.ids); 17894886961SIan Rogers } else if ($1.val == $5.val) { 17994886961SIan Rogers /* 18094886961SIan Rogers * LHS == RHS, so both are an identical constant. No need to 18194886961SIan Rogers * evaluate any events. 18294886961SIan Rogers */ 18394886961SIan Rogers $$.val = $1.val; 18494886961SIan Rogers $$.ids = NULL; 18594886961SIan Rogers ids__free($1.ids); 18694886961SIan Rogers ids__free($3.ids); 18794886961SIan Rogers ids__free($5.ids); 1883f965a7dSIan Rogers } else { 189a8e4e880SIan Rogers /* 190a8e4e880SIan Rogers * Value is either the LHS or RHS and we need the IF expression 191a8e4e880SIan Rogers * to compute it. 192a8e4e880SIan Rogers */ 1933f965a7dSIan Rogers $$ = union_expr($1, union_expr($3, $5)); 1943f965a7dSIan Rogers } 195c924e0ccSIan Rogers } 196d73bad06SAndi Kleen | expr 19707516736SAndi Kleen ; 19807516736SAndi Kleen 19907516736SAndi Kleen expr: NUMBER 200c924e0ccSIan Rogers { 2013f965a7dSIan Rogers $$.val = $1; 2023f965a7dSIan Rogers $$.ids = NULL; 203c924e0ccSIan Rogers } 2049aba0adaSIan Rogers | ID { $$ = handle_id(ctx, $1, compute_ids, /*source_count=*/false); } 2059aba0adaSIan Rogers | SOURCE_COUNT '(' ID ')' { $$ = handle_id(ctx, $3, compute_ids, /*source_count=*/true); } 2064a4a9bf9SIan Rogers | HAS_EVENT '(' ID ')' 2074a4a9bf9SIan Rogers { 2084a4a9bf9SIan Rogers $$.val = expr__has_event(ctx, compute_ids, $3); 2094a4a9bf9SIan Rogers $$.ids = NULL; 2104a4a9bf9SIan Rogers free($3); 2114a4a9bf9SIan Rogers } 2129d5da30eSJames Clark | STRCMP_CPUID_STR '(' ID ')' 2139d5da30eSJames Clark { 2149d5da30eSJames Clark $$.val = expr__strcmp_cpuid_str(ctx, compute_ids, $3); 2159d5da30eSJames Clark $$.ids = NULL; 2169d5da30eSJames Clark free($3); 2179d5da30eSJames Clark } 2186f765bbbSIan Rogers | expr '|' expr 2196f765bbbSIan Rogers { 2206f765bbbSIan Rogers if (is_const($1.val) && is_const($3.val)) { 2216f765bbbSIan Rogers assert($1.ids == NULL); 2226f765bbbSIan Rogers assert($3.ids == NULL); 2236f765bbbSIan Rogers $$.ids = NULL; 2246f765bbbSIan Rogers $$.val = (fpclassify($1.val) == FP_ZERO && fpclassify($3.val) == FP_ZERO) ? 0 : 1; 2256f765bbbSIan Rogers } else if (is_const($1.val)) { 2266f765bbbSIan Rogers assert($1.ids == NULL); 2276f765bbbSIan Rogers if (fpclassify($1.val) == FP_ZERO) { 2286f765bbbSIan Rogers $$ = $3; 2296f765bbbSIan Rogers } else { 2306f765bbbSIan Rogers $$.val = 1; 2316f765bbbSIan Rogers $$.ids = NULL; 2326f765bbbSIan Rogers ids__free($3.ids); 2336f765bbbSIan Rogers } 2346f765bbbSIan Rogers } else if (is_const($3.val)) { 2356f765bbbSIan Rogers assert($3.ids == NULL); 2366f765bbbSIan Rogers if (fpclassify($3.val) == FP_ZERO) { 2376f765bbbSIan Rogers $$ = $1; 2386f765bbbSIan Rogers } else { 2396f765bbbSIan Rogers $$.val = 1; 2406f765bbbSIan Rogers $$.ids = NULL; 2416f765bbbSIan Rogers ids__free($1.ids); 2426f765bbbSIan Rogers } 2436f765bbbSIan Rogers } else { 2446f765bbbSIan Rogers $$ = union_expr($1, $3); 2456f765bbbSIan Rogers } 2466f765bbbSIan Rogers } 2476f765bbbSIan Rogers | expr '&' expr 2486f765bbbSIan Rogers { 2496f765bbbSIan Rogers if (is_const($1.val) && is_const($3.val)) { 2506f765bbbSIan Rogers assert($1.ids == NULL); 2516f765bbbSIan Rogers assert($3.ids == NULL); 2526f765bbbSIan Rogers $$.val = (fpclassify($1.val) != FP_ZERO && fpclassify($3.val) != FP_ZERO) ? 1 : 0; 2536f765bbbSIan Rogers $$.ids = NULL; 2546f765bbbSIan Rogers } else if (is_const($1.val)) { 2556f765bbbSIan Rogers assert($1.ids == NULL); 2566f765bbbSIan Rogers if (fpclassify($1.val) != FP_ZERO) { 2576f765bbbSIan Rogers $$ = $3; 2586f765bbbSIan Rogers } else { 2596f765bbbSIan Rogers $$.val = 0; 2606f765bbbSIan Rogers $$.ids = NULL; 2616f765bbbSIan Rogers ids__free($3.ids); 2626f765bbbSIan Rogers } 2636f765bbbSIan Rogers } else if (is_const($3.val)) { 2646f765bbbSIan Rogers assert($3.ids == NULL); 2656f765bbbSIan Rogers if (fpclassify($3.val) != FP_ZERO) { 2666f765bbbSIan Rogers $$ = $1; 2676f765bbbSIan Rogers } else { 2686f765bbbSIan Rogers $$.val = 0; 2696f765bbbSIan Rogers $$.ids = NULL; 2706f765bbbSIan Rogers ids__free($1.ids); 2716f765bbbSIan Rogers } 2726f765bbbSIan Rogers } else { 2736f765bbbSIan Rogers $$ = union_expr($1, $3); 2746f765bbbSIan Rogers } 2756f765bbbSIan Rogers } 2766f765bbbSIan Rogers | expr '^' expr 2776f765bbbSIan Rogers { 2786f765bbbSIan Rogers if (is_const($1.val) && is_const($3.val)) { 2796f765bbbSIan Rogers assert($1.ids == NULL); 2806f765bbbSIan Rogers assert($3.ids == NULL); 2816f765bbbSIan Rogers $$.val = (fpclassify($1.val) == FP_ZERO) != (fpclassify($3.val) == FP_ZERO) ? 1 : 0; 2826f765bbbSIan Rogers $$.ids = NULL; 2836f765bbbSIan Rogers } else { 2846f765bbbSIan Rogers $$ = union_expr($1, $3); 2856f765bbbSIan Rogers } 2866f765bbbSIan Rogers } 287e87576c5SIan Rogers | expr '<' expr { BINARY_OP($$, <, $1, $3); } 288e87576c5SIan Rogers | expr '>' expr { BINARY_OP($$, >, $1, $3); } 289e87576c5SIan Rogers | expr '+' expr { BINARY_OP($$, +, $1, $3); } 290e87576c5SIan Rogers | expr '-' expr { BINARY_OP($$, -, $1, $3); } 291e87576c5SIan Rogers | expr '*' expr { BINARY_OP($$, *, $1, $3); } 292c924e0ccSIan Rogers | expr '/' expr 293c924e0ccSIan Rogers { 2943f965a7dSIan Rogers if (fpclassify($3.val) == FP_ZERO) { 2959be27a5dSIan Rogers pr_debug("division by zero\n"); 2962a939c86SIan Rogers assert($3.ids == NULL); 2972a939c86SIan Rogers if (compute_ids) 2982a939c86SIan Rogers ids__free($1.ids); 2992a939c86SIan Rogers $$.val = NAN; 3002a939c86SIan Rogers $$.ids = NULL; 301970f7afeSIan Rogers } else if (!compute_ids || (is_const($1.val) && is_const($3.val))) { 302970f7afeSIan Rogers assert($1.ids == NULL); 303970f7afeSIan Rogers assert($3.ids == NULL); 3043f965a7dSIan Rogers $$.val = $1.val / $3.val; 3053f965a7dSIan Rogers $$.ids = NULL; 3063f965a7dSIan Rogers } else { 307970f7afeSIan Rogers /* LHS and/or RHS need computing from event IDs so union. */ 3083f965a7dSIan Rogers $$ = union_expr($1, $3); 3093f965a7dSIan Rogers } 3109be27a5dSIan Rogers } 311c924e0ccSIan Rogers | expr '%' expr 312c924e0ccSIan Rogers { 3133f965a7dSIan Rogers if (fpclassify($3.val) == FP_ZERO) { 3149be27a5dSIan Rogers pr_debug("division by zero\n"); 3159be27a5dSIan Rogers YYABORT; 316970f7afeSIan Rogers } else if (!compute_ids || (is_const($1.val) && is_const($3.val))) { 317970f7afeSIan Rogers assert($1.ids == NULL); 318970f7afeSIan Rogers assert($3.ids == NULL); 3193f965a7dSIan Rogers $$.val = (long)$1.val % (long)$3.val; 3203f965a7dSIan Rogers $$.ids = NULL; 3213f965a7dSIan Rogers } else { 322970f7afeSIan Rogers /* LHS and/or RHS need computing from event IDs so union. */ 3233f965a7dSIan Rogers $$ = union_expr($1, $3); 3243f965a7dSIan Rogers } 3259be27a5dSIan Rogers } 326c924e0ccSIan Rogers | D_RATIO '(' expr ',' expr ')' 327c924e0ccSIan Rogers { 3283f965a7dSIan Rogers if (fpclassify($5.val) == FP_ZERO) { 329970f7afeSIan Rogers /* 330970f7afeSIan Rogers * Division by constant zero always yields zero and no events 331970f7afeSIan Rogers * are necessary. 332970f7afeSIan Rogers */ 333970f7afeSIan Rogers assert($5.ids == NULL); 3343f965a7dSIan Rogers $$.val = 0.0; 335970f7afeSIan Rogers $$.ids = NULL; 336970f7afeSIan Rogers ids__free($3.ids); 337970f7afeSIan Rogers } else if (!compute_ids || (is_const($3.val) && is_const($5.val))) { 338970f7afeSIan Rogers assert($3.ids == NULL); 339970f7afeSIan Rogers assert($5.ids == NULL); 3403f965a7dSIan Rogers $$.val = $3.val / $5.val; 341970f7afeSIan Rogers $$.ids = NULL; 3423f965a7dSIan Rogers } else { 343970f7afeSIan Rogers /* LHS and/or RHS need computing from event IDs so union. */ 3443f965a7dSIan Rogers $$ = union_expr($3, $5); 3457f8fdcbbSIan Rogers } 3467f8fdcbbSIan Rogers } 347c924e0ccSIan Rogers | '-' expr %prec NEG 348c924e0ccSIan Rogers { 3493f965a7dSIan Rogers $$.val = -$2.val; 3503f965a7dSIan Rogers $$.ids = $2.ids; 351c924e0ccSIan Rogers } 352c924e0ccSIan Rogers | '(' if_expr ')' 353c924e0ccSIan Rogers { 354c924e0ccSIan Rogers $$ = $2; 355c924e0ccSIan Rogers } 356c924e0ccSIan Rogers | MIN '(' expr ',' expr ')' 357c924e0ccSIan Rogers { 3583f965a7dSIan Rogers if (!compute_ids) { 3593f965a7dSIan Rogers $$.val = $3.val < $5.val ? $3.val : $5.val; 3603f965a7dSIan Rogers $$.ids = NULL; 3613f965a7dSIan Rogers } else { 3623f965a7dSIan Rogers $$ = union_expr($3, $5); 3633f965a7dSIan Rogers } 364c924e0ccSIan Rogers } 365c924e0ccSIan Rogers | MAX '(' expr ',' expr ')' 366c924e0ccSIan Rogers { 3673f965a7dSIan Rogers if (!compute_ids) { 3683f965a7dSIan Rogers $$.val = $3.val > $5.val ? $3.val : $5.val; 3693f965a7dSIan Rogers $$.ids = NULL; 3703f965a7dSIan Rogers } else { 3713f965a7dSIan Rogers $$ = union_expr($3, $5); 3723f965a7dSIan Rogers } 373c924e0ccSIan Rogers } 3743613f6c1SIan Rogers | LITERAL 375c924e0ccSIan Rogers { 3763613f6c1SIan Rogers $$.val = $1; 3773f965a7dSIan Rogers $$.ids = NULL; 378c924e0ccSIan Rogers } 37907516736SAndi Kleen ; 38007516736SAndi Kleen 38107516736SAndi Kleen %% 382