kselftest/arm64: signal: Add test case for SVE register state in signals
authorMark Brown <broonie@kernel.org>
Thu, 19 Aug 2021 13:42:44 +0000 (14:42 +0100)
committerCatalin Marinas <catalin.marinas@arm.com>
Mon, 23 Aug 2021 10:11:05 +0000 (11:11 +0100)
Currently this doesn't actually verify that the register contents do the
right thing, it just verifes that a SVE context with appropriate size
appears.

Signed-off-by: Mark Brown <broonie@kernel.org>
Link: https://lore.kernel.org/r/20210819134245.13935-6-broonie@kernel.org
Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>
tools/testing/selftests/arm64/signal/testcases/sve_regs.c [new file with mode: 0644]

diff --git a/tools/testing/selftests/arm64/signal/testcases/sve_regs.c b/tools/testing/selftests/arm64/signal/testcases/sve_regs.c
new file mode 100644 (file)
index 0000000..4b2418a
--- /dev/null
@@ -0,0 +1,126 @@
+// SPDX-License-Identifier: GPL-2.0
+/*
+ * Copyright (C) 2021 ARM Limited
+ *
+ * Verify that the SVE register context in signal frames is set up as
+ * expected.
+ */
+
+#include <signal.h>
+#include <ucontext.h>
+#include <sys/prctl.h>
+
+#include "test_signals_utils.h"
+#include "testcases.h"
+
+struct fake_sigframe sf;
+static unsigned int vls[SVE_VQ_MAX];
+unsigned int nvls = 0;
+
+static bool sve_get_vls(struct tdescr *td)
+{
+       int vq, vl;
+
+       /*
+        * Enumerate up to SVE_VQ_MAX vector lengths
+        */
+       for (vq = SVE_VQ_MAX; vq > 0; --vq) {
+               vl = prctl(PR_SVE_SET_VL, vq * 16);
+               if (vl == -1)
+                       return false;
+
+               vl &= PR_SVE_VL_LEN_MASK;
+
+               /* Skip missing VLs */
+               vq = sve_vq_from_vl(vl);
+
+               vls[nvls++] = vl;
+       }
+
+       /* We need at least one VL */
+       if (nvls < 1) {
+               fprintf(stderr, "Only %d VL supported\n", nvls);
+               return false;
+       }
+
+       return true;
+}
+
+static void setup_sve_regs(void)
+{
+       /* RDVL x16, #1 so we should have SVE regs; real data is TODO */
+       asm volatile(".inst 0x04bf5030" : : : "x16" );
+}
+
+static int do_one_sve_vl(struct tdescr *td, siginfo_t *si, ucontext_t *uc,
+                        unsigned int vl)
+{
+       size_t resv_sz, offset;
+       struct _aarch64_ctx *head = GET_SF_RESV_HEAD(sf);
+       struct sve_context *sve;
+
+       fprintf(stderr, "Testing VL %d\n", vl);
+
+       if (prctl(PR_SVE_SET_VL, vl) == -1) {
+               fprintf(stderr, "Failed to set VL\n");
+               return 1;
+       }
+
+       /*
+        * Get a signal context which should have a SVE frame and registers
+        * in it.
+        */
+       setup_sve_regs();
+       if (!get_current_context(td, &sf.uc))
+               return 1;
+
+       resv_sz = GET_SF_RESV_SIZE(sf);
+       head = get_header(head, SVE_MAGIC, resv_sz, &offset);
+       if (!head) {
+               fprintf(stderr, "No SVE context\n");
+               return 1;
+       }
+
+       sve = (struct sve_context *)head;
+       if (sve->vl != vl) {
+               fprintf(stderr, "Got VL %d, expected %d\n", sve->vl, vl);
+               return 1;
+       }
+
+       /* The actual size validation is done in get_current_context() */
+       fprintf(stderr, "Got expected size %u and VL %d\n",
+               head->size, sve->vl);
+
+       return 0;
+}
+
+static int sve_regs(struct tdescr *td, siginfo_t *si, ucontext_t *uc)
+{
+       int i;
+
+       for (i = 0; i < nvls; i++) {
+               /*
+                * TODO: the signal test helpers can't currently cope
+                * with signal frames bigger than struct sigcontext,
+                * skip VLs that will trigger that.
+                */
+               if (vls[i] > 64)
+                       continue;
+
+               if (do_one_sve_vl(td, si, uc, vls[i]))
+                       return 1;
+       }
+
+       td->pass = 1;
+
+       return 0;
+}
+
+struct tdescr tde = {
+       .name = "SVE registers",
+       .descr = "Check that we get the right SVE registers reported",
+       .feats_required = FEAT_SVE,
+       .timeout = 3,
+       .init = sve_get_vls,
+       .run = sve_regs,
+};