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>

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
+   * fegetexceptflag() , feraiseexcept(), fesetexceptflag() and
-   * 'fetestexcept()' functions are supported by the architecture.
+   * 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 );
-    r = fesetenv(FE_DFL_ENV);
+    if ( r ) {
-    if (r)
+      printf( "fesetenv ==> %d\n", r);
-      printf("fesetenv ==> %d\n", r);
+    }
     rtems_test_assert( r == 0 );
 
-    /* Test 'feclearexcept()' and 'fetestexcept()' in one go. */
+    /* Test feclearexcept() and fetestexcept() in one go. */
-    puts( "feclearexcept(FE_ALL_EXCEPT)." );
+    r = feclearexcept( FE_ALL_EXCEPT );
-    r = feclearexcept(FE_ALL_EXCEPT);
+    if ( r ) {
-    if (r)
+      printf( "feclearexcept ==> 0x%x\n", r );
-      printf("feclearexcept ==> 0x%x\n", r);
+    }
     rtems_test_assert( r == 0 );
 
     r = fetestexcept( FE_ALL_EXCEPT );
-    if (r)
+    if ( r ) {
-      printf("fetestexcept ==> 0x%x\n", r);
+      printf( "fetestexcept ==> 0x%x\n", r );
+    }
     rtems_test_assert( r == 0 );
 
-    /* Test 'FE_DIVBYZERO' */
+    /* Test 'FE_DIVBYZERO'
-    puts( "Divide by zero and confirm fetestexcept()" );
+     * 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
+    /* Test for fegetround() and fesetround()
-    r = feraiseexcept(FE_DIVBYZERO);
+     * 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;

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:
 

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 ***