| Message ID | 20250124162836.2332150-77-peter.maydell@linaro.org (mailing list archive) |
|---|---|
| State | New |
| Headers | show |
| Series | target/arm: Implement FEAT_AFP and FEAT_RPRES | expand |
On 1/24/25 08:28, Peter Maydell wrote: > Add some fma test cases that check for correct handling of FTZ and > for the flag that indicates that the input denormal was consumed. > > Signed-off-by: Peter Maydell <peter.maydell@linaro.org> > --- > tests/tcg/x86_64/fma.c | 12 ++++++++++++ > 1 file changed, 12 insertions(+) > > diff --git a/tests/tcg/x86_64/fma.c b/tests/tcg/x86_64/fma.c > index 46f863005ed..34219614c0a 100644 > --- a/tests/tcg/x86_64/fma.c > +++ b/tests/tcg/x86_64/fma.c > @@ -82,6 +82,18 @@ static testdata tests[] = { > */ > { 0x3fdfffffffffffff, 0x001fffffffffffff, 0x801fffffffffffff, true, > 0x8010000000000000, 0x20 }, /* Enabling FTZ shouldn't change flags */ > + /* > + * normal * 0 + a denormal. With FTZ disabled this gives an exact > + * result (equal to the input denormal) that has consumed the denormal. > + */ > + { 0x3cc8000000000000, 0x0000000000000000, 0x8008000000000000, false, > + 0x8008000000000000, 0x2 }, /* Denormal */ > + /* > + * With FTZ enabled, this consumes the denormal, returns zero (because > + * flushed) and indicates also Underflow and Precision. > + */ > + { 0x3cc8000000000000, 0x0000000000000000, 0x8008000000000000, true, > + 0x8000000000000000, 0x32 }, /* Precision, Underflow, Denormal */ > }; > > int main(void) Reviewed-by: Richard Henderson <richard.henderson@linaro.org> r~
diff --git a/tests/tcg/x86_64/fma.c b/tests/tcg/x86_64/fma.c index 46f863005ed..34219614c0a 100644 --- a/tests/tcg/x86_64/fma.c +++ b/tests/tcg/x86_64/fma.c @@ -82,6 +82,18 @@ static testdata tests[] = { */ { 0x3fdfffffffffffff, 0x001fffffffffffff, 0x801fffffffffffff, true, 0x8010000000000000, 0x20 }, /* Enabling FTZ shouldn't change flags */ + /* + * normal * 0 + a denormal. With FTZ disabled this gives an exact + * result (equal to the input denormal) that has consumed the denormal. + */ + { 0x3cc8000000000000, 0x0000000000000000, 0x8008000000000000, false, + 0x8008000000000000, 0x2 }, /* Denormal */ + /* + * With FTZ enabled, this consumes the denormal, returns zero (because + * flushed) and indicates also Underflow and Precision. + */ + { 0x3cc8000000000000, 0x0000000000000000, 0x8008000000000000, true, + 0x8000000000000000, 0x32 }, /* Precision, Underflow, Denormal */ }; int main(void)
Add some fma test cases that check for correct handling of FTZ and for the flag that indicates that the input denormal was consumed. Signed-off-by: Peter Maydell <peter.maydell@linaro.org> --- tests/tcg/x86_64/fma.c | 12 ++++++++++++ 1 file changed, 12 insertions(+)