summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorEshan dhawan <eshandhawan51@gmail.com>2020-04-20 23:52:43 +0530
committerJoel Sherrill <joel@rtems.org>2020-06-06 15:24:59 -0500
commite84587355a64152b8cd6ae748ac88d8c75447b51 (patch)
tree5f844a77dddd83c4624ab348fa88f59282168bf7
parentarm: Fix ARMv7-M exception handler (diff)
downloadrtems-e84587355a64152b8cd6ae748ac88d8c75447b51.tar.bz2
tests for fenv.h functions
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@gmail.com>
-rw-r--r--testsuites/psxtests/psxfenv01/init.c92
-rw-r--r--testsuites/psxtests/psxfenv01/psxfenv01.doc7
-rw-r--r--testsuites/psxtests/psxfenv01/psxfenv01.scn4
3 files changed, 77 insertions, 26 deletions
diff --git a/testsuites/psxtests/psxfenv01/init.c b/testsuites/psxtests/psxfenv01/init.c
index cdb0fa596e..867b625a1e 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 );
+
+ r = fesetexceptflag( &excepts, FE_ALL_EXCEPT );
+ if ( r ) {
+ printf( "fesetexceptflag ==> 0x%x\n", r );
+ }
+ rtems_test_assert( r == 0 );
- fegetexceptflag(&excepts,FE_ALL_EXCEPT);
+ /* 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
- r = feraiseexcept(FE_DIVBYZERO);
+ #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..32b0e0d9d3 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,8 +12,11 @@ Directives:
fesetenv
feclearexcept
fetestexcept
- texceptflag
feraiseexcept
+ fesetexeptflag
+ fegetexeptflag
+ fegetround
+ fesetround
Concepts:
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 ***