Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
tjh.dev
kernel
os
linux
1// SPDX-License-Identifier: GPL-2.0
2#include "util/debug.h"
3#include "util/expr.h"
4#include "util/header.h"
5#include "util/smt.h"
6#include "tests.h"
7#include <math.h>
8#include <stdlib.h>
9#include <string.h>
10#include <linux/zalloc.h>
11
12static int test_ids_union(void)
13{
14 struct hashmap *ids1, *ids2;
15
16 /* Empty union. */
17 ids1 = ids__new();
18 TEST_ASSERT_VAL("ids__new", ids1);
19 ids2 = ids__new();
20 TEST_ASSERT_VAL("ids__new", ids2);
21
22 ids1 = ids__union(ids1, ids2);
23 TEST_ASSERT_EQUAL("union", (int)hashmap__size(ids1), 0);
24
25 /* Union {foo, bar} against {}. */
26 ids2 = ids__new();
27 TEST_ASSERT_VAL("ids__new", ids2);
28
29 TEST_ASSERT_EQUAL("ids__insert", ids__insert(ids1, strdup("foo")), 0);
30 TEST_ASSERT_EQUAL("ids__insert", ids__insert(ids1, strdup("bar")), 0);
31
32 ids1 = ids__union(ids1, ids2);
33 TEST_ASSERT_EQUAL("union", (int)hashmap__size(ids1), 2);
34
35 /* Union {foo, bar} against {foo}. */
36 ids2 = ids__new();
37 TEST_ASSERT_VAL("ids__new", ids2);
38 TEST_ASSERT_EQUAL("ids__insert", ids__insert(ids2, strdup("foo")), 0);
39
40 ids1 = ids__union(ids1, ids2);
41 TEST_ASSERT_EQUAL("union", (int)hashmap__size(ids1), 2);
42
43 /* Union {foo, bar} against {bar,baz}. */
44 ids2 = ids__new();
45 TEST_ASSERT_VAL("ids__new", ids2);
46 TEST_ASSERT_EQUAL("ids__insert", ids__insert(ids2, strdup("bar")), 0);
47 TEST_ASSERT_EQUAL("ids__insert", ids__insert(ids2, strdup("baz")), 0);
48
49 ids1 = ids__union(ids1, ids2);
50 TEST_ASSERT_EQUAL("union", (int)hashmap__size(ids1), 3);
51
52 ids__free(ids1);
53
54 return 0;
55}
56
57static int test(struct expr_parse_ctx *ctx, const char *e, double val2)
58{
59 double val;
60
61 if (expr__parse(&val, ctx, e))
62 TEST_ASSERT_VAL("parse test failed", 0);
63 TEST_ASSERT_VAL("unexpected value", val == val2);
64 return 0;
65}
66
67static int test__expr(struct test_suite *t __maybe_unused, int subtest __maybe_unused)
68{
69 struct expr_id_data *val_ptr;
70 const char *p;
71 double val, num_cpus, num_cores, num_dies, num_packages;
72 int ret;
73 struct expr_parse_ctx *ctx;
74 bool is_intel = false;
75 char buf[128];
76
77 if (!get_cpuid(buf, sizeof(buf)))
78 is_intel = strstr(buf, "Intel") != NULL;
79
80 TEST_ASSERT_EQUAL("ids_union", test_ids_union(), 0);
81
82 ctx = expr__ctx_new();
83 TEST_ASSERT_VAL("expr__ctx_new", ctx);
84 expr__add_id_val(ctx, strdup("FOO"), 1);
85 expr__add_id_val(ctx, strdup("BAR"), 2);
86
87 ret = test(ctx, "1+1", 2);
88 ret |= test(ctx, "FOO+BAR", 3);
89 ret |= test(ctx, "(BAR/2)%2", 1);
90 ret |= test(ctx, "1 - -4", 5);
91 ret |= test(ctx, "(FOO-1)*2 + (BAR/2)%2 - -4", 5);
92 ret |= test(ctx, "1-1 | 1", 1);
93 ret |= test(ctx, "1-1 & 1", 0);
94 ret |= test(ctx, "min(1,2) + 1", 2);
95 ret |= test(ctx, "max(1,2) + 1", 3);
96 ret |= test(ctx, "1+1 if 3*4 else 0", 2);
97 ret |= test(ctx, "1.1 + 2.1", 3.2);
98 ret |= test(ctx, ".1 + 2.", 2.1);
99 ret |= test(ctx, "d_ratio(1, 2)", 0.5);
100 ret |= test(ctx, "d_ratio(2.5, 0)", 0);
101 ret |= test(ctx, "1.1 < 2.2", 1);
102 ret |= test(ctx, "2.2 > 1.1", 1);
103 ret |= test(ctx, "1.1 < 1.1", 0);
104 ret |= test(ctx, "2.2 > 2.2", 0);
105 ret |= test(ctx, "2.2 < 1.1", 0);
106 ret |= test(ctx, "1.1 > 2.2", 0);
107 ret |= test(ctx, "1.1e10 < 1.1e100", 1);
108 ret |= test(ctx, "1.1e2 > 1.1e-2", 1);
109
110 if (ret) {
111 expr__ctx_free(ctx);
112 return ret;
113 }
114
115 p = "FOO/0";
116 ret = expr__parse(&val, ctx, p);
117 TEST_ASSERT_VAL("division by zero", ret == -1);
118
119 p = "BAR/";
120 ret = expr__parse(&val, ctx, p);
121 TEST_ASSERT_VAL("missing operand", ret == -1);
122
123 expr__ctx_clear(ctx);
124 TEST_ASSERT_VAL("find ids",
125 expr__find_ids("FOO + BAR + BAZ + BOZO", "FOO",
126 ctx) == 0);
127 TEST_ASSERT_VAL("find ids", hashmap__size(ctx->ids) == 3);
128 TEST_ASSERT_VAL("find ids", hashmap__find(ctx->ids, "BAR",
129 (void **)&val_ptr));
130 TEST_ASSERT_VAL("find ids", hashmap__find(ctx->ids, "BAZ",
131 (void **)&val_ptr));
132 TEST_ASSERT_VAL("find ids", hashmap__find(ctx->ids, "BOZO",
133 (void **)&val_ptr));
134
135 expr__ctx_clear(ctx);
136 ctx->runtime = 3;
137 TEST_ASSERT_VAL("find ids",
138 expr__find_ids("EVENT1\\,param\\=?@ + EVENT2\\,param\\=?@",
139 NULL, ctx) == 0);
140 TEST_ASSERT_VAL("find ids", hashmap__size(ctx->ids) == 2);
141 TEST_ASSERT_VAL("find ids", hashmap__find(ctx->ids, "EVENT1,param=3@",
142 (void **)&val_ptr));
143 TEST_ASSERT_VAL("find ids", hashmap__find(ctx->ids, "EVENT2,param=3@",
144 (void **)&val_ptr));
145
146 expr__ctx_clear(ctx);
147 TEST_ASSERT_VAL("find ids",
148 expr__find_ids("dash\\-event1 - dash\\-event2",
149 NULL, ctx) == 0);
150 TEST_ASSERT_VAL("find ids", hashmap__size(ctx->ids) == 2);
151 TEST_ASSERT_VAL("find ids", hashmap__find(ctx->ids, "dash-event1",
152 (void **)&val_ptr));
153 TEST_ASSERT_VAL("find ids", hashmap__find(ctx->ids, "dash-event2",
154 (void **)&val_ptr));
155
156 /* Only EVENT1 or EVENT2 need be measured depending on the value of smt_on. */
157 expr__ctx_clear(ctx);
158 TEST_ASSERT_VAL("find ids",
159 expr__find_ids("EVENT1 if #smt_on else EVENT2",
160 NULL, ctx) == 0);
161 TEST_ASSERT_VAL("find ids", hashmap__size(ctx->ids) == 1);
162 TEST_ASSERT_VAL("find ids", hashmap__find(ctx->ids,
163 smt_on() ? "EVENT1" : "EVENT2",
164 (void **)&val_ptr));
165
166 /* The expression is a constant 1.0 without needing to evaluate EVENT1. */
167 expr__ctx_clear(ctx);
168 TEST_ASSERT_VAL("find ids",
169 expr__find_ids("1.0 if EVENT1 > 100.0 else 1.0",
170 NULL, ctx) == 0);
171 TEST_ASSERT_VAL("find ids", hashmap__size(ctx->ids) == 0);
172
173 /* Test toplogy constants appear well ordered. */
174 expr__ctx_clear(ctx);
175 TEST_ASSERT_VAL("#num_cpus", expr__parse(&num_cpus, ctx, "#num_cpus") == 0);
176 TEST_ASSERT_VAL("#num_cores", expr__parse(&num_cores, ctx, "#num_cores") == 0);
177 TEST_ASSERT_VAL("#num_cpus >= #num_cores", num_cpus >= num_cores);
178 TEST_ASSERT_VAL("#num_dies", expr__parse(&num_dies, ctx, "#num_dies") == 0);
179 TEST_ASSERT_VAL("#num_cores >= #num_dies", num_cores >= num_dies);
180 TEST_ASSERT_VAL("#num_packages", expr__parse(&num_packages, ctx, "#num_packages") == 0);
181
182 if (num_dies) // Some platforms do not have CPU die support, for example s390
183 TEST_ASSERT_VAL("#num_dies >= #num_packages", num_dies >= num_packages);
184
185 TEST_ASSERT_VAL("#system_tsc_freq", expr__parse(&val, ctx, "#system_tsc_freq") == 0);
186 if (is_intel)
187 TEST_ASSERT_VAL("#system_tsc_freq > 0", val > 0);
188 else
189 TEST_ASSERT_VAL("#system_tsc_freq == 0", fpclassify(val) == FP_ZERO);
190
191 /*
192 * Source count returns the number of events aggregating in a leader
193 * event including the leader. Check parsing yields an id.
194 */
195 expr__ctx_clear(ctx);
196 TEST_ASSERT_VAL("source count",
197 expr__find_ids("source_count(EVENT1)",
198 NULL, ctx) == 0);
199 TEST_ASSERT_VAL("source count", hashmap__size(ctx->ids) == 1);
200 TEST_ASSERT_VAL("source count", hashmap__find(ctx->ids, "EVENT1",
201 (void **)&val_ptr));
202
203 expr__ctx_free(ctx);
204
205 return 0;
206}
207
208DEFINE_SUITE("Simple expression parser", expr);