Re: Are floating-point exceptions usable on AArch64?

[Peter Maydell <peter.maydell@linaro.org>]

On Wed, 4 Sept 2024 at 11:32, Sebastian Huber
<sebastian.huber@embedded-brains.de> wrote:
>
> Hello,
>
> I tried to provoke a division-by-zero exception on AArch64 using:
>
>     uint64_t value;
>     __asm__ volatile (
>       "mrs %0, FPCR\n"
>       "orr %0, %0, 0x200\n"
>       "msr FPCR, %0" :  "=&r" ( value ) : : "memory"
>     );
>     volatile double x = 0x0;
>     volatile double y = 0x0;
>     x /= y;
>
> When I look with the debugger at $fpcr it still says 0x0 after the msr. Are floating-point exceptions usable on AArch64 in general?

Something I just noticed when I was playing around with this
example for other reasons -- it won't trigger an exception
even on a system where trapped floating point exceptions are
implemented. This is because in the FPCR you are setting the
DZE bit to request trapping of division by zero. However the
operation you are doing is 0 / 0, which is defined to
set the InvalidOp floating point exception. If you want
to get a DivideByZero condition you need to divide some
non-zero number by 0.

thanks
-- PMM