]> git.proxmox.com Git - mirror_qemu.git/blob - tests/qtest/arm-cpu-features.c
Merge remote-tracking branch 'remotes/armbru/tags/pull-qdev-2020-06-23' into staging
[mirror_qemu.git] / tests / qtest / arm-cpu-features.c
1 /*
2 * Arm CPU feature test cases
3 *
4 * Copyright (c) 2019 Red Hat Inc.
5 * Authors:
6 * Andrew Jones <drjones@redhat.com>
7 *
8 * This work is licensed under the terms of the GNU GPL, version 2 or later.
9 * See the COPYING file in the top-level directory.
10 */
11 #include "qemu/osdep.h"
12 #include "qemu/bitops.h"
13 #include "libqtest.h"
14 #include "qapi/qmp/qdict.h"
15 #include "qapi/qmp/qjson.h"
16
17 /*
18 * We expect the SVE max-vq to be 16. Also it must be <= 64
19 * for our test code, otherwise 'vls' can't just be a uint64_t.
20 */
21 #define SVE_MAX_VQ 16
22
23 #define MACHINE "-machine virt,gic-version=max -accel tcg "
24 #define MACHINE_KVM "-machine virt,gic-version=max -accel kvm -accel tcg "
25 #define QUERY_HEAD "{ 'execute': 'query-cpu-model-expansion', " \
26 " 'arguments': { 'type': 'full', "
27 #define QUERY_TAIL "}}"
28
29 static bool kvm_enabled(QTestState *qts)
30 {
31 QDict *resp, *qdict;
32 bool enabled;
33
34 resp = qtest_qmp(qts, "{ 'execute': 'query-kvm' }");
35 g_assert(qdict_haskey(resp, "return"));
36 qdict = qdict_get_qdict(resp, "return");
37 g_assert(qdict_haskey(qdict, "enabled"));
38 enabled = qdict_get_bool(qdict, "enabled");
39 qobject_unref(resp);
40
41 return enabled;
42 }
43
44 static QDict *do_query_no_props(QTestState *qts, const char *cpu_type)
45 {
46 return qtest_qmp(qts, QUERY_HEAD "'model': { 'name': %s }"
47 QUERY_TAIL, cpu_type);
48 }
49
50 static QDict *do_query(QTestState *qts, const char *cpu_type,
51 const char *fmt, ...)
52 {
53 QDict *resp;
54
55 if (fmt) {
56 QDict *args;
57 va_list ap;
58
59 va_start(ap, fmt);
60 args = qdict_from_vjsonf_nofail(fmt, ap);
61 va_end(ap);
62
63 resp = qtest_qmp(qts, QUERY_HEAD "'model': { 'name': %s, "
64 "'props': %p }"
65 QUERY_TAIL, cpu_type, args);
66 } else {
67 resp = do_query_no_props(qts, cpu_type);
68 }
69
70 return resp;
71 }
72
73 static const char *resp_get_error(QDict *resp)
74 {
75 QDict *qdict;
76
77 g_assert(resp);
78
79 qdict = qdict_get_qdict(resp, "error");
80 if (qdict) {
81 return qdict_get_str(qdict, "desc");
82 }
83
84 return NULL;
85 }
86
87 #define assert_error(qts, cpu_type, expected_error, fmt, ...) \
88 ({ \
89 QDict *_resp; \
90 const char *_error; \
91 \
92 _resp = do_query(qts, cpu_type, fmt, ##__VA_ARGS__); \
93 g_assert(_resp); \
94 _error = resp_get_error(_resp); \
95 g_assert(_error); \
96 g_assert(g_str_equal(_error, expected_error)); \
97 qobject_unref(_resp); \
98 })
99
100 static bool resp_has_props(QDict *resp)
101 {
102 QDict *qdict;
103
104 g_assert(resp);
105
106 if (!qdict_haskey(resp, "return")) {
107 return false;
108 }
109 qdict = qdict_get_qdict(resp, "return");
110
111 if (!qdict_haskey(qdict, "model")) {
112 return false;
113 }
114 qdict = qdict_get_qdict(qdict, "model");
115
116 return qdict_haskey(qdict, "props");
117 }
118
119 static QDict *resp_get_props(QDict *resp)
120 {
121 QDict *qdict;
122
123 g_assert(resp);
124 g_assert(resp_has_props(resp));
125
126 qdict = qdict_get_qdict(resp, "return");
127 qdict = qdict_get_qdict(qdict, "model");
128 qdict = qdict_get_qdict(qdict, "props");
129
130 return qdict;
131 }
132
133 static bool resp_get_feature(QDict *resp, const char *feature)
134 {
135 QDict *props;
136
137 g_assert(resp);
138 g_assert(resp_has_props(resp));
139 props = resp_get_props(resp);
140 g_assert(qdict_get(props, feature));
141 return qdict_get_bool(props, feature);
142 }
143
144 #define assert_has_feature(qts, cpu_type, feature) \
145 ({ \
146 QDict *_resp = do_query_no_props(qts, cpu_type); \
147 g_assert(_resp); \
148 g_assert(resp_has_props(_resp)); \
149 g_assert(qdict_get(resp_get_props(_resp), feature)); \
150 qobject_unref(_resp); \
151 })
152
153 #define assert_has_not_feature(qts, cpu_type, feature) \
154 ({ \
155 QDict *_resp = do_query_no_props(qts, cpu_type); \
156 g_assert(_resp); \
157 g_assert(!resp_has_props(_resp) || \
158 !qdict_get(resp_get_props(_resp), feature)); \
159 qobject_unref(_resp); \
160 })
161
162 #define resp_assert_feature(resp, feature, expected_value) \
163 ({ \
164 QDict *_props; \
165 \
166 g_assert(_resp); \
167 g_assert(resp_has_props(_resp)); \
168 _props = resp_get_props(_resp); \
169 g_assert(qdict_get(_props, feature)); \
170 g_assert(qdict_get_bool(_props, feature) == (expected_value)); \
171 })
172
173 #define assert_feature(qts, cpu_type, feature, expected_value) \
174 ({ \
175 QDict *_resp; \
176 \
177 _resp = do_query_no_props(qts, cpu_type); \
178 g_assert(_resp); \
179 resp_assert_feature(_resp, feature, expected_value); \
180 qobject_unref(_resp); \
181 })
182
183 #define assert_set_feature(qts, cpu_type, feature, value) \
184 ({ \
185 const char *_fmt = (value) ? "{ %s: true }" : "{ %s: false }"; \
186 QDict *_resp; \
187 \
188 _resp = do_query(qts, cpu_type, _fmt, feature); \
189 g_assert(_resp); \
190 resp_assert_feature(_resp, feature, value); \
191 qobject_unref(_resp); \
192 })
193
194 #define assert_has_feature_enabled(qts, cpu_type, feature) \
195 assert_feature(qts, cpu_type, feature, true)
196
197 #define assert_has_feature_disabled(qts, cpu_type, feature) \
198 assert_feature(qts, cpu_type, feature, false)
199
200 static void assert_type_full(QTestState *qts)
201 {
202 const char *error;
203 QDict *resp;
204
205 resp = qtest_qmp(qts, "{ 'execute': 'query-cpu-model-expansion', "
206 "'arguments': { 'type': 'static', "
207 "'model': { 'name': 'foo' }}}");
208 g_assert(resp);
209 error = resp_get_error(resp);
210 g_assert(error);
211 g_assert(g_str_equal(error,
212 "The requested expansion type is not supported"));
213 qobject_unref(resp);
214 }
215
216 static void assert_bad_props(QTestState *qts, const char *cpu_type)
217 {
218 const char *error;
219 QDict *resp;
220
221 resp = qtest_qmp(qts, "{ 'execute': 'query-cpu-model-expansion', "
222 "'arguments': { 'type': 'full', "
223 "'model': { 'name': %s, "
224 "'props': false }}}",
225 cpu_type);
226 g_assert(resp);
227 error = resp_get_error(resp);
228 g_assert(error);
229 g_assert(g_str_equal(error,
230 "Invalid parameter type for 'props', expected: dict"));
231 qobject_unref(resp);
232 }
233
234 static uint64_t resp_get_sve_vls(QDict *resp)
235 {
236 QDict *props;
237 const QDictEntry *e;
238 uint64_t vls = 0;
239 int n = 0;
240
241 g_assert(resp);
242 g_assert(resp_has_props(resp));
243
244 props = resp_get_props(resp);
245
246 for (e = qdict_first(props); e; e = qdict_next(props, e)) {
247 if (strlen(e->key) > 3 && !strncmp(e->key, "sve", 3) &&
248 g_ascii_isdigit(e->key[3])) {
249 char *endptr;
250 int bits;
251
252 bits = g_ascii_strtoll(&e->key[3], &endptr, 10);
253 if (!bits || *endptr != '\0') {
254 continue;
255 }
256
257 if (qdict_get_bool(props, e->key)) {
258 vls |= BIT_ULL((bits / 128) - 1);
259 }
260 ++n;
261 }
262 }
263
264 g_assert(n == SVE_MAX_VQ);
265
266 return vls;
267 }
268
269 #define assert_sve_vls(qts, cpu_type, expected_vls, fmt, ...) \
270 ({ \
271 QDict *_resp = do_query(qts, cpu_type, fmt, ##__VA_ARGS__); \
272 g_assert(_resp); \
273 g_assert(resp_has_props(_resp)); \
274 g_assert(resp_get_sve_vls(_resp) == expected_vls); \
275 qobject_unref(_resp); \
276 })
277
278 static void sve_tests_default(QTestState *qts, const char *cpu_type)
279 {
280 /*
281 * With no sve-max-vq or sve<N> properties on the command line
282 * the default is to have all vector lengths enabled. This also
283 * tests that 'sve' is 'on' by default.
284 */
285 assert_sve_vls(qts, cpu_type, BIT_ULL(SVE_MAX_VQ) - 1, NULL);
286
287 /* With SVE off, all vector lengths should also be off. */
288 assert_sve_vls(qts, cpu_type, 0, "{ 'sve': false }");
289
290 /* With SVE on, we must have at least one vector length enabled. */
291 assert_error(qts, cpu_type, "cannot disable sve128", "{ 'sve128': false }");
292
293 /* Basic enable/disable tests. */
294 assert_sve_vls(qts, cpu_type, 0x7, "{ 'sve384': true }");
295 assert_sve_vls(qts, cpu_type, ((BIT_ULL(SVE_MAX_VQ) - 1) & ~BIT_ULL(2)),
296 "{ 'sve384': false }");
297
298 /*
299 * ---------------------------------------------------------------------
300 * power-of-two(vq) all-power- can can
301 * of-two(< vq) enable disable
302 * ---------------------------------------------------------------------
303 * vq < max_vq no MUST* yes yes
304 * vq < max_vq yes MUST* yes no
305 * ---------------------------------------------------------------------
306 * vq == max_vq n/a MUST* yes** yes**
307 * ---------------------------------------------------------------------
308 * vq > max_vq n/a no no yes
309 * vq > max_vq n/a yes yes yes
310 * ---------------------------------------------------------------------
311 *
312 * [*] "MUST" means this requirement must already be satisfied,
313 * otherwise 'max_vq' couldn't itself be enabled.
314 *
315 * [**] Not testable with the QMP interface, only with the command line.
316 */
317
318 /* max_vq := 8 */
319 assert_sve_vls(qts, cpu_type, 0x8b, "{ 'sve1024': true }");
320
321 /* max_vq := 8, vq < max_vq, !power-of-two(vq) */
322 assert_sve_vls(qts, cpu_type, 0x8f,
323 "{ 'sve1024': true, 'sve384': true }");
324 assert_sve_vls(qts, cpu_type, 0x8b,
325 "{ 'sve1024': true, 'sve384': false }");
326
327 /* max_vq := 8, vq < max_vq, power-of-two(vq) */
328 assert_sve_vls(qts, cpu_type, 0x8b,
329 "{ 'sve1024': true, 'sve256': true }");
330 assert_error(qts, cpu_type, "cannot disable sve256",
331 "{ 'sve1024': true, 'sve256': false }");
332
333 /* max_vq := 3, vq > max_vq, !all-power-of-two(< vq) */
334 assert_error(qts, cpu_type, "cannot disable sve512",
335 "{ 'sve384': true, 'sve512': false, 'sve640': true }");
336
337 /*
338 * We can disable power-of-two vector lengths when all larger lengths
339 * are also disabled. We only need to disable the power-of-two length,
340 * as all non-enabled larger lengths will then be auto-disabled.
341 */
342 assert_sve_vls(qts, cpu_type, 0x7, "{ 'sve512': false }");
343
344 /* max_vq := 3, vq > max_vq, all-power-of-two(< vq) */
345 assert_sve_vls(qts, cpu_type, 0x1f,
346 "{ 'sve384': true, 'sve512': true, 'sve640': true }");
347 assert_sve_vls(qts, cpu_type, 0xf,
348 "{ 'sve384': true, 'sve512': true, 'sve640': false }");
349 }
350
351 static void sve_tests_sve_max_vq_8(const void *data)
352 {
353 QTestState *qts;
354
355 qts = qtest_init(MACHINE "-cpu max,sve-max-vq=8");
356
357 assert_sve_vls(qts, "max", BIT_ULL(8) - 1, NULL);
358
359 /*
360 * Disabling the max-vq set by sve-max-vq is not allowed, but
361 * of course enabling it is OK.
362 */
363 assert_error(qts, "max", "cannot disable sve1024", "{ 'sve1024': false }");
364 assert_sve_vls(qts, "max", 0xff, "{ 'sve1024': true }");
365
366 /*
367 * Enabling anything larger than max-vq set by sve-max-vq is not
368 * allowed, but of course disabling everything larger is OK.
369 */
370 assert_error(qts, "max", "cannot enable sve1152", "{ 'sve1152': true }");
371 assert_sve_vls(qts, "max", 0xff, "{ 'sve1152': false }");
372
373 /*
374 * We can enable/disable non power-of-two lengths smaller than the
375 * max-vq set by sve-max-vq, but, while we can enable power-of-two
376 * lengths, we can't disable them.
377 */
378 assert_sve_vls(qts, "max", 0xff, "{ 'sve384': true }");
379 assert_sve_vls(qts, "max", 0xfb, "{ 'sve384': false }");
380 assert_sve_vls(qts, "max", 0xff, "{ 'sve256': true }");
381 assert_error(qts, "max", "cannot disable sve256", "{ 'sve256': false }");
382
383 qtest_quit(qts);
384 }
385
386 static void sve_tests_sve_off(const void *data)
387 {
388 QTestState *qts;
389
390 qts = qtest_init(MACHINE "-cpu max,sve=off");
391
392 /* SVE is off, so the map should be empty. */
393 assert_sve_vls(qts, "max", 0, NULL);
394
395 /* The map stays empty even if we turn lengths off. */
396 assert_sve_vls(qts, "max", 0, "{ 'sve128': false }");
397
398 /* It's an error to enable lengths when SVE is off. */
399 assert_error(qts, "max", "cannot enable sve128", "{ 'sve128': true }");
400
401 /* With SVE re-enabled we should get all vector lengths enabled. */
402 assert_sve_vls(qts, "max", BIT_ULL(SVE_MAX_VQ) - 1, "{ 'sve': true }");
403
404 /* Or enable SVE with just specific vector lengths. */
405 assert_sve_vls(qts, "max", 0x3,
406 "{ 'sve': true, 'sve128': true, 'sve256': true }");
407
408 qtest_quit(qts);
409 }
410
411 static void sve_tests_sve_off_kvm(const void *data)
412 {
413 QTestState *qts;
414
415 qts = qtest_init(MACHINE_KVM "-cpu max,sve=off");
416
417 /*
418 * We don't know if this host supports SVE so we don't
419 * attempt to test enabling anything. We only test that
420 * everything is disabled (as it should be with sve=off)
421 * and that using sve<N>=off to explicitly disable vector
422 * lengths is OK too.
423 */
424 assert_sve_vls(qts, "max", 0, NULL);
425 assert_sve_vls(qts, "max", 0, "{ 'sve128': false }");
426
427 qtest_quit(qts);
428 }
429
430 static void test_query_cpu_model_expansion(const void *data)
431 {
432 QTestState *qts;
433
434 qts = qtest_init(MACHINE "-cpu max");
435
436 /* Test common query-cpu-model-expansion input validation */
437 assert_type_full(qts);
438 assert_bad_props(qts, "max");
439 assert_error(qts, "foo", "The CPU type 'foo' is not a recognized "
440 "ARM CPU type", NULL);
441 assert_error(qts, "max", "Parameter 'not-a-prop' is unexpected",
442 "{ 'not-a-prop': false }");
443 assert_error(qts, "host", "The CPU type 'host' requires KVM", NULL);
444
445 /* Test expected feature presence/absence for some cpu types */
446 assert_has_feature_enabled(qts, "cortex-a15", "pmu");
447 assert_has_not_feature(qts, "cortex-a15", "aarch64");
448
449 /* Enabling and disabling pmu should always work. */
450 assert_has_feature_enabled(qts, "max", "pmu");
451 assert_set_feature(qts, "max", "pmu", false);
452 assert_set_feature(qts, "max", "pmu", true);
453
454 assert_has_not_feature(qts, "max", "kvm-no-adjvtime");
455
456 if (g_str_equal(qtest_get_arch(), "aarch64")) {
457 assert_has_feature_enabled(qts, "max", "aarch64");
458 assert_has_feature_enabled(qts, "max", "sve");
459 assert_has_feature_enabled(qts, "max", "sve128");
460 assert_has_feature_enabled(qts, "cortex-a57", "pmu");
461 assert_has_feature_enabled(qts, "cortex-a57", "aarch64");
462
463 sve_tests_default(qts, "max");
464
465 /* Test that features that depend on KVM generate errors without. */
466 assert_error(qts, "max",
467 "'aarch64' feature cannot be disabled "
468 "unless KVM is enabled and 32-bit EL1 "
469 "is supported",
470 "{ 'aarch64': false }");
471 }
472
473 qtest_quit(qts);
474 }
475
476 static void test_query_cpu_model_expansion_kvm(const void *data)
477 {
478 QTestState *qts;
479
480 qts = qtest_init(MACHINE_KVM "-cpu max");
481
482 /*
483 * These tests target the 'host' CPU type, so KVM must be enabled.
484 */
485 if (!kvm_enabled(qts)) {
486 qtest_quit(qts);
487 return;
488 }
489
490 /* Enabling and disabling kvm-no-adjvtime should always work. */
491 assert_has_feature_disabled(qts, "host", "kvm-no-adjvtime");
492 assert_set_feature(qts, "host", "kvm-no-adjvtime", true);
493 assert_set_feature(qts, "host", "kvm-no-adjvtime", false);
494
495 if (g_str_equal(qtest_get_arch(), "aarch64")) {
496 bool kvm_supports_sve;
497 char max_name[8], name[8];
498 uint32_t max_vq, vq;
499 uint64_t vls;
500 QDict *resp;
501 char *error;
502
503 assert_has_feature_enabled(qts, "host", "aarch64");
504
505 /* Enabling and disabling pmu should always work. */
506 assert_has_feature_enabled(qts, "host", "pmu");
507 assert_set_feature(qts, "host", "pmu", false);
508 assert_set_feature(qts, "host", "pmu", true);
509
510 assert_error(qts, "cortex-a15",
511 "We cannot guarantee the CPU type 'cortex-a15' works "
512 "with KVM on this host", NULL);
513
514 assert_has_feature(qts, "host", "sve");
515 resp = do_query_no_props(qts, "host");
516 kvm_supports_sve = resp_get_feature(resp, "sve");
517 vls = resp_get_sve_vls(resp);
518 qobject_unref(resp);
519
520 if (kvm_supports_sve) {
521 g_assert(vls != 0);
522 max_vq = 64 - __builtin_clzll(vls);
523 sprintf(max_name, "sve%d", max_vq * 128);
524
525 /* Enabling a supported length is of course fine. */
526 assert_sve_vls(qts, "host", vls, "{ %s: true }", max_name);
527
528 /* Get the next supported length smaller than max-vq. */
529 vq = 64 - __builtin_clzll(vls & ~BIT_ULL(max_vq - 1));
530 if (vq) {
531 /*
532 * We have at least one length smaller than max-vq,
533 * so we can disable max-vq.
534 */
535 assert_sve_vls(qts, "host", (vls & ~BIT_ULL(max_vq - 1)),
536 "{ %s: false }", max_name);
537
538 /*
539 * Smaller, supported vector lengths cannot be disabled
540 * unless all larger, supported vector lengths are also
541 * disabled.
542 */
543 sprintf(name, "sve%d", vq * 128);
544 error = g_strdup_printf("cannot disable %s", name);
545 assert_error(qts, "host", error,
546 "{ %s: true, %s: false }",
547 max_name, name);
548 g_free(error);
549 }
550
551 /*
552 * The smallest, supported vector length is required, because
553 * we need at least one vector length enabled.
554 */
555 vq = __builtin_ffsll(vls);
556 sprintf(name, "sve%d", vq * 128);
557 error = g_strdup_printf("cannot disable %s", name);
558 assert_error(qts, "host", error, "{ %s: false }", name);
559 g_free(error);
560
561 /* Get an unsupported length. */
562 for (vq = 1; vq <= max_vq; ++vq) {
563 if (!(vls & BIT_ULL(vq - 1))) {
564 break;
565 }
566 }
567 if (vq <= SVE_MAX_VQ) {
568 sprintf(name, "sve%d", vq * 128);
569 error = g_strdup_printf("cannot enable %s", name);
570 assert_error(qts, "host", error, "{ %s: true }", name);
571 g_free(error);
572 }
573 } else {
574 g_assert(vls == 0);
575 }
576 } else {
577 assert_has_not_feature(qts, "host", "aarch64");
578 assert_has_not_feature(qts, "host", "pmu");
579 assert_has_not_feature(qts, "host", "sve");
580 }
581
582 qtest_quit(qts);
583 }
584
585 int main(int argc, char **argv)
586 {
587 g_test_init(&argc, &argv, NULL);
588
589 qtest_add_data_func("/arm/query-cpu-model-expansion",
590 NULL, test_query_cpu_model_expansion);
591
592 /*
593 * For now we only run KVM specific tests with AArch64 QEMU in
594 * order avoid attempting to run an AArch32 QEMU with KVM on
595 * AArch64 hosts. That won't work and isn't easy to detect.
596 */
597 if (g_str_equal(qtest_get_arch(), "aarch64")) {
598 qtest_add_data_func("/arm/kvm/query-cpu-model-expansion",
599 NULL, test_query_cpu_model_expansion_kvm);
600 }
601
602 if (g_str_equal(qtest_get_arch(), "aarch64")) {
603 qtest_add_data_func("/arm/max/query-cpu-model-expansion/sve-max-vq-8",
604 NULL, sve_tests_sve_max_vq_8);
605 qtest_add_data_func("/arm/max/query-cpu-model-expansion/sve-off",
606 NULL, sve_tests_sve_off);
607 qtest_add_data_func("/arm/kvm/query-cpu-model-expansion/sve-off",
608 NULL, sve_tests_sve_off_kvm);
609 }
610
611 return g_test_run();
612 }