From: Alexandru Elisei <alexandru.elisei@arm.com>
To: "Alex Bennée" <alex.bennee@linaro.org>
Cc: qemu-devel@nongnu.org, Andrew Jones <andrew.jones@linux.dev>,
Eric Auger <eric.auger@redhat.com>,
"open list:ARM" <kvmarm@lists.linux.dev>,
"open list:Default mailing list" <kvm@vger.kernel.org>
Subject: Re: [kvm-unit-tests PATCH] arm: add wfx test case
Date: Wed, 6 May 2026 10:00:05 +0100 [thread overview]
Message-ID: <afsDFUaOUBknpo1Q@raptor> (raw)
In-Reply-To: <87zf2jcisg.fsf@draig.linaro.org>
Hi,
On Fri, May 01, 2026 at 03:21:19PM +0100, Alex Bennée wrote:
> Alexandru Elisei <alexandru.elisei@arm.com> writes:
>
> > Hi Alex,
> >
> > On Mon, Apr 27, 2026 at 02:00:45PM +0100, Alex Bennée wrote:
> >> This is based on a similar test case I wrote for QEMU's tcg tests although
> >> obviously able to take advantage of kvm-unit-tests additional plumbing for
> >> dealing with the GIC and IRQs.
> >>
> >> Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
> >> ---
> >> arm/Makefile.arm64 | 1 +
> >> lib/arm64/asm/processor.h | 7 ++
> >> lib/arm64/asm/sysreg.h | 3 +
> >> arm/wfx.c | 137 ++++++++++++++++++++++++++++++++++++++
> >> arm/unittests.cfg | 5 ++
> >> 5 files changed, 153 insertions(+)
> >> create mode 100644 arm/wfx.c
> >>
> >> diff --git a/arm/Makefile.arm64 b/arm/Makefile.arm64
> >> index a40c830d..52b3f35d 100644
> >> --- a/arm/Makefile.arm64
> >> +++ b/arm/Makefile.arm64
> >> @@ -64,6 +64,7 @@ tests += $(TEST_DIR)/cache.$(exe)
> >> tests += $(TEST_DIR)/debug.$(exe)
> >> tests += $(TEST_DIR)/fpu.$(exe)
> >> tests += $(TEST_DIR)/mte.$(exe)
> >> +tests += $(TEST_DIR)/wfx.$(exe)
> >>
> >> include $(SRCDIR)/$(TEST_DIR)/Makefile.common
> >>
> >> diff --git a/lib/arm64/asm/processor.h b/lib/arm64/asm/processor.h
> >> index 32ddc1b3..2104036d 100644
> >> --- a/lib/arm64/asm/processor.h
> >> +++ b/lib/arm64/asm/processor.h
> >> @@ -173,5 +173,12 @@ static inline bool system_supports_rndr(void)
> >> return ((id_aa64isar0_el1 >> ID_AA64ISAR0_EL1_RNDR_SHIFT) & 0xf) != 0;
> >> }
> >>
> >> +static inline bool system_supports_wfxt(void)
> >> +{
> >> + u64 id_aa64isar2_el1 = read_sysreg_s(ID_AA64ISAR2_EL1);
> >> +
> >> + return ((id_aa64isar2_el1 >> ID_AA64ISAR2_EL1_WFxT_SHIFT) & 0xf) != 0;
> >> +}
> >> +
> >> #endif /* !__ASSEMBLER__ */
> >> #endif /* _ASMARM64_PROCESSOR_H_ */
> >> diff --git a/lib/arm64/asm/sysreg.h b/lib/arm64/asm/sysreg.h
> >> index f2d05018..cb96a649 100644
> >> --- a/lib/arm64/asm/sysreg.h
> >> +++ b/lib/arm64/asm/sysreg.h
> >> @@ -77,6 +77,9 @@ asm(
> >> #define ID_AA64ISAR0_EL1_RNDR_SHIFT 60
> >> #define ID_AA64PFR1_EL1_MTE_SHIFT 8
> >>
> >> +#define ID_AA64ISAR2_EL1 sys_reg(3, 0, 0, 6, 2)
> >> +#define ID_AA64ISAR2_EL1_WFxT_SHIFT 0
> >> +
> >> #define ID_AA64MMFR0_EL1_FGT_SHIFT 56
> >> #define ID_AA64MMFR0_EL1_FGT_FGT2 0x2
> >>
> >> diff --git a/arm/wfx.c b/arm/wfx.c
> >> new file mode 100644
> >> index 00000000..912e50e6
> >> --- /dev/null
> >> +++ b/arm/wfx.c
> >> @@ -0,0 +1,137 @@
> >> +/*
> >> + * WFX Instructions Test (WFI, WFE, WFIT, WFET)
> >> + *
> >> + * Copyright (c) 2026 Linaro Ltd
> >> + *
> >> + * SPDX-License-Identifier: GPL-2.0-or-later
> >> + */
> >> +
> >> +#include <libcflat.h>
> >> +#include <asm/processor.h>
> >> +#include <asm/gic.h>
> >> +#include <asm/timer.h>
> >> +#include <asm/io.h>
> >> +
> >> +#define TIMEOUT 200000
> >> +
> >> +#define sev() asm volatile("sev" : : : "memory")
> >> +#define sevl() asm volatile("sevl" : : : "memory")
> >> +#define wfi() asm volatile("wfi" : : : "memory")
> >> +#define wfe() asm volatile("wfe" : : : "memory")
> >> +
> >> +#define wfit(reg) \
> >> + asm volatile(".arch armv8.7-a\n\twfit %0" : : "r" (reg) : "memory")
> >> +#define wfet(reg) \
> >> + asm volatile(".arch armv8.7-a\n\twfet %0" : : "r" (reg) : "memory")
> >> +
> >> +static void timer_handler(struct pt_regs *regs)
> >> +{
> >> + /* Disable timer to stop IRQ from re-firing */
> >> + write_sysreg(0, cntv_ctl_el0);
> >> +}
> >
> > It is customary for the interrupt handler to ack the interrupt at the GIC level.
> >
> >> +
> >> +static bool check_elapsed(uint64_t start, uint64_t threshold, const char *test, bool more)
> >> +{
> >> + uint64_t end = read_sysreg(cntvct_el0);
> >> + uint64_t elapsed = end - start;
> >> + bool pass = more ? elapsed >= threshold : elapsed <= threshold;
> >> +
> >> + report(pass, "%s (%ld ticks)", test, elapsed);
> >> +
> >> + if (!pass) {
> >> + report_info("%s %s", test, more ? "woke too early" : "slept despite SEV");
> >> + }
> >> + return pass;
> >> +}
> >> +
> >> +static void test_wfi(void)
> >> +{
> >> + uint64_t start;
> >> +
> >> + report_info("Testing WFI...");
> >> +
> >> + start = read_sysreg(cntvct_el0);
> >> + write_sysreg(TIMEOUT, cntv_tval_el0);
> >> + write_sysreg(1, cntv_ctl_el0); /* Enable timer, no mask */
> >> + isb();
> >> +
> >> + local_irq_enable();
> >> + wfi();
> >
> > Consider this scenario:
> >
> > local_irq_enable();
> > // CPU takes the interrupt, handles it and returns.
> > wfi(); <- CPU now waits forever for an interrupt that will never come
> >
> > The proper way to do it on baremetal would be:
> >
> > local_irq_disable();
> > // Program timer to fire
> > wfi();
> > // Timer fires, GIC asserts the interrupt, WFI completes
> > local_irq_enable();
> > // CPU handles the interrupt
> > check_elapsed(..)
> >
> > But this is not baremetal. KVM can decide not to trap WFI (look at
> > arch/arm64/kvm/arm.c::kvm_arch_vcpu_load() -> kvm_vpcu_should_clear_twi()). In
> > that case, the WFI might complete due a host interrupt, and check_elapsed() will
> > fail because the timer hasn't yet fired.
> >
> >> + local_irq_disable();
> >> +
> >> + check_elapsed(start, TIMEOUT, "WFI", true);
> >> +}
> >> +
> >> +static void test_wfe(void)
> >> +{
> >> + uint64_t start;
> >> +
> >> + report_info("Testing WFE/SEV...");
> >> + sev();
> >> + start = read_sysreg(cntvct_el0);
> >> + wfe();
> >> + check_elapsed(start, TIMEOUT, "WFE/SEV", false);
> >> +
> >> + report_info("Testing WFE/SEVL...");
> >> + sevl();
> >> + start = read_sysreg(cntvct_el0);
> >> + wfe();
> >> + check_elapsed(start, TIMEOUT, "WFE/SEVL", false);
> >> +}
> >
> > I haven't thought about this too much, but it looks to me like the same
> > situation with WFI can happen with WFE
> >
> > Also, kvm-unit-tests() makes use of WFE and SEV for multithreading, and the fact
> > that multithreaded tests work at all might be taken as proof enough that the two
> > instructions are correctly implemented.
>
> So I'm using kvm-unit-test to exercise QEMU's TCG modelling of the
> instructions, see:
>
> Message-ID: <20260430104434.1482407-1-alex.bennee@linaro.org>
> Date: Thu, 30 Apr 2026 11:44:27 +0100
> Subject: [PATCH v4 0/7] target/arm: fully model WFxT instructions for A-profile
>
> So while I'm confident the current modelling doesn't cause issues
> (because we basically treat it as a NOP) I wanted to check the various
> modes behave as they should with the above patches.
>
> I can limit the test to TCG only if it is likely to fail under KVM.
I think that would be best. But please also ack the interrupt in the timer
IRQ handler, as that is what software would do (you can have a look at
arm/timer.c::irq_handler() for an example).
Thanks,
Alex
prev parent reply other threads:[~2026-05-06 9:00 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-04-27 13:00 [kvm-unit-tests PATCH] arm: add wfx test case Alex Bennée
2026-04-28 13:26 ` Joey Gouly
2026-04-28 14:56 ` Alex Bennée
2026-05-01 13:15 ` Alexandru Elisei
2026-05-01 14:21 ` Alex Bennée
2026-05-06 9:00 ` Alexandru Elisei [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=afsDFUaOUBknpo1Q@raptor \
--to=alexandru.elisei@arm.com \
--cc=alex.bennee@linaro.org \
--cc=andrew.jones@linux.dev \
--cc=eric.auger@redhat.com \
--cc=kvm@vger.kernel.org \
--cc=kvmarm@lists.linux.dev \
--cc=qemu-devel@nongnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.