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