[PATCH v12] tests for fenv.h functions
Joel Sherrill
joel at rtems.org
Sat Jun 6 20:38:27 UTC 2020
Tested on leon3. Pushed.
Thanks.
--joel
On Mon, Apr 20, 2020 at 1:22 PM Eshan dhawan <eshandhawan51 at gmail.com>
wrote:
> added tests for fesetexeptflag(), fegetexeptflag(),
> fegetround(), fesetround().
>
> In the test fegetround() does not return any flag
> other then FE_TONEAREST in tests.
> This is probably due to soft float.
>
> The test complies successfully and returns assert
> at fegetround()
>
> Other tests run without any errors
> tested on RISCV/rv32imac
>
> The test prints nothing if runs successfully.
>
> updates #2971
>
> Signed-off-by: Eshan dhawan <eshandhawan51 at gmail.com>
> ---
> testsuites/psxtests/psxfenv01/init.c | 92 ++++++++++++++++-----
> testsuites/psxtests/psxfenv01/psxfenv01.doc | 9 +-
> testsuites/psxtests/psxfenv01/psxfenv01.scn | 4 -
> 3 files changed, 78 insertions(+), 27 deletions(-)
>
> diff --git a/testsuites/psxtests/psxfenv01/init.c
> b/testsuites/psxtests/psxfenv01/init.c
> index cdb0fa596e..766b9de581 100644
> --- a/testsuites/psxtests/psxfenv01/init.c
> +++ b/testsuites/psxtests/psxfenv01/init.c
> @@ -6,6 +6,7 @@
> /*
> * SPDX-License-Identifier: BSD-2-Clause
> *
> + * Copyright (C) 2020 Eshan Dhawan
> * Copyright (C) 2019 Vaibhav Gupta
> *
> * Redistribution and use in source and binary forms, with or without
> @@ -46,11 +47,12 @@
> #include <string.h>
> #include <rtems/test.h>
> #include <tmacros.h>
> +#include <float.h>
>
> const char rtems_test_name[] = "PSXFENV 01";
>
> /* forward declarations to avoid warnings */
> -rtems_task Init(rtems_task_argument ignored);
> +rtems_task Init( rtems_task_argument ignored );
>
> /* Test Function Begins */
> rtems_task Init(rtems_task_argument ignored)
> @@ -62,42 +64,92 @@ rtems_task Init(rtems_task_argument ignored)
>
> /*
> * 'FE_ALL_EXCEPT' will be defined only when 'feclearexcept()',
> - * 'fegetexceptflag()', 'feraiseexcept()', 'fesetexceptflag()' and
> - * 'fetestexcept()' functions are supported by the architecture.
> + * fegetexceptflag() , feraiseexcept(), fesetexceptflag() and
> + * fetestexcept() functions are supported by the architecture.
> * Hence their testcases can be wrapped under #ifdef and #endif.
> */
> #ifdef FE_ALL_EXCEPT /* floating-point exceptions */
> - puts( "fesetenv(FE_DFL_ENV)." );
> - r = fesetenv(FE_DFL_ENV);
> - if (r)
> - printf("fesetenv ==> %d\n", r);
> + r = fesetenv( FE_DFL_ENV );
> + if ( r ) {
> + printf( "fesetenv ==> %d\n", r);
> + }
> rtems_test_assert( r == 0 );
>
> - /* Test 'feclearexcept()' and 'fetestexcept()' in one go. */
> - puts( "feclearexcept(FE_ALL_EXCEPT)." );
> - r = feclearexcept(FE_ALL_EXCEPT);
> - if (r)
> - printf("feclearexcept ==> 0x%x\n", r);
> + /* Test feclearexcept() and fetestexcept() in one go. */
> + r = feclearexcept( FE_ALL_EXCEPT );
> + if ( r ) {
> + printf( "feclearexcept ==> 0x%x\n", r );
> + }
> rtems_test_assert( r == 0 );
>
> r = fetestexcept( FE_ALL_EXCEPT );
> - if (r)
> - printf("fetestexcept ==> 0x%x\n", r);
> + if ( r ) {
> + printf( "fetestexcept ==> 0x%x\n", r );
> + }
> rtems_test_assert( r == 0 );
>
> - /* Test 'FE_DIVBYZERO' */
> - puts( "Divide by zero and confirm fetestexcept()" );
> + /* Test 'FE_DIVBYZERO'
> + * Divide by zero and confirm fetestexcept() */
> a = 0.0;
> b = 1.0;
> c = b/a;
> (void) c;
> + /* Test fegetexceptflag() and fesetexceptflag() */
> + r = fegetexceptflag( &excepts, FE_ALL_EXCEPT );
> + if ( r ) {
> + printf( "fegetexceptflag ==> 0x%x\n", r );
> + }
> + rtems_test_assert( r == 0 );
>
> - fegetexceptflag(&excepts,FE_ALL_EXCEPT);
> + r = fesetexceptflag( &excepts, FE_ALL_EXCEPT );
> + if ( r ) {
> + printf( "fesetexceptflag ==> 0x%x\n", r );
> + }
> + rtems_test_assert( r == 0 );
>
> -#ifdef FE_DIVBYZERO
> - r = feraiseexcept(FE_DIVBYZERO);
> + /* Test for fegetround() and fesetround()
> + * They have four main macros to be tested separated by ifdef
> + * Since not all architectures support them
> + * The test case gets and sets the rounding directions */
> + #ifdef FE_TONEAREST /* Rounding direction TONEAREST */
> + rtems_test_assert( fegetround() == FE_TONEAREST );
> + #endif /*rounding direction TONEAREST */
> + #ifdef FE_TOWARDZERO /* rounding direction TOWARDZERO */
> + r = fesetround( FE_TOWARDZERO );
> + if ( r ) {
> + printf( "fesetround ==> 0x%x\n", r );
> + }
> + rtems_test_assert( r == 0 );
> + rtems_test_assert( fegetround() == FE_TOWARDZERO );
> + #endif/*rounding direction TOWARDZERO */
> + #ifdef FE_DOWNWARD /* rounding direction DOWNWARD */
> + r = fesetround( FE_DOWNWARD );
> + if ( r ) {
> + printf( "fesetround ==> 0x%x\n", r );
> + }
> + rtems_test_assert( r == 0 );
> + rtems_test_assert( fegetround() == FE_DOWNWARD );
> + #endif /* rounding direction DOWNWARD */
> + #ifdef FE_UPWARD /* rounding direction UPWARD */
> + r = fesetround( FE_UPWARD );
> + if ( r ) {
> + printf( "fesetround ==> 0x%x\n", r );
> + }
> + rtems_test_assert( r == 0 );
> + rtems_test_assert( fegetround() == FE_UPWARD );
> + #endif /* rounding direction upward */
> + #ifdef FE_TONEAREST /* rounding direction TONEAREST */
> + r = fesetround( FE_TONEAREST );
> + if ( r ) {
> + printf( "fesetround ==> 0x%x\n", r );
> + }
> + rtems_test_assert( r == 0 );
> + #endif /* rounding direction TONEAREST */
> +
> + #ifdef FE_DIVBYZERO /* divide by zero exeption */
> + r = feraiseexcept( FE_DIVBYZERO ) ;
> rtems_test_assert( fetestexcept( FE_DIVBYZERO ) );
> -#endif
> + #endif /* divide by zero exeption */
>
> /* Test 'FE_INEXACT' */
> a = 10.0;
> diff --git a/testsuites/psxtests/psxfenv01/psxfenv01.doc
> b/testsuites/psxtests/psxfenv01/psxfenv01.doc
> index 3aa7757496..52d9fd19c7 100644
> --- a/testsuites/psxtests/psxfenv01/psxfenv01.doc
> +++ b/testsuites/psxtests/psxfenv01/psxfenv01.doc
> @@ -1,4 +1,4 @@
> -# COPYRIGHT (c) 2019
> +# COPYRIGHT (c) 2019
> # On-Line Applications Research Corporation (OAR).
> #
> # SPDX-License-Identifier: BSD-2-Clause
> @@ -12,9 +12,12 @@ Directives:
> fesetenv
> feclearexcept
> fetestexcept
> - texceptflag
> feraiseexcept
> -
> + fesetexeptflag
> + fegetexeptflag
> + fegetround
> + fesetround
> +
> Concepts:
>
> + This test exercises the fenv.h methods.
> diff --git a/testsuites/psxtests/psxfenv01/psxfenv01.scn
> b/testsuites/psxtests/psxfenv01/psxfenv01.scn
> index 21395e6712..6ea3bc255e 100644
> --- a/testsuites/psxtests/psxfenv01/psxfenv01.scn
> +++ b/testsuites/psxtests/psxfenv01/psxfenv01.scn
> @@ -1,7 +1,3 @@
> *** BEGIN OF TEST PSXFENV 01 ***
> -fesetenv(FE_DFL_ENV).
> -feclearexcept(FE_ALL_EXCEPT).
> -Divide by zero and confirm fetestexcept()
> -
> *** END OF TEST PSXFENV 01 ***
>
> --
> 2.17.1
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20200606/d4911c8c/attachment.html>
More information about the devel
mailing list