added strict floating point and regnerated examples w/ it

Author: okBrian

.github/workflows/frontier/build.sh

@@ -1,4 +1,4 @@
 #!/bin/bash
 
 . ./mfc.sh load -c f -m g
-./mfc.sh build -j 8 --gpu
+./mfc.sh build --strict -j 8 --gpu

.github/workflows/phoenix/test.sh

@@ -5,7 +5,7 @@ if [ "$job_device" == "gpu" ]; then
     build_opts="--gpu"
 fi
 
-./mfc.sh build -j 8 $build_opts
+./mfc.sh build --strict -j 8 $build_opts
 
 n_test_threads=8
 

.github/workflows/test.yml

@@ -83,7 +83,7 @@ jobs:
       - name: Build
         run:  |
           if [ '${{ matrix.intel }}' == 'true' ]; then . /opt/intel/oneapi/setvars.sh; fi
-          /bin/bash mfc.sh build -j $(nproc) --${{ matrix.debug }} --${{ matrix.mpi }} 
+          /bin/bash mfc.sh build --strict -j $(nproc) --${{ matrix.debug }} --${{ matrix.mpi }} 
 
       - name: Test
         run:  |

CMakeLists.txt

@@ -20,6 +20,7 @@ option(MFC_MPI           "Build with MPI"                                     ON
 option(MFC_OpenACC       "Build with OpenACC"                                OFF)
 option(MFC_GCov          "Build with GCov"                                   OFF)
 option(MFC_Unified       "Build with unified CPU & GPU memory (GH-200 only)" OFF)
+option(MFC_Strict        "Build with strict floating point operations"       OFF)
 option(MFC_PRE_PROCESS   "Build pre_process"                                 OFF)
 option(MFC_SIMULATION    "Build simulation"                                  OFF)
 option(MFC_POST_PROCESS  "Build post_process"                                OFF)
@@ -136,6 +137,14 @@ if (CMAKE_Fortran_COMPILER_ID STREQUAL "GNU")
 	    )
     endif()
 
+    if (MFC_Strict)
+        add_compile_options(
+            -ffloat-store
+            -frounding-math 
+            -fsignaling-nans
+        )
+    endif()
+
     if (CMAKE_Fortran_COMPILER_VERSION VERSION_GREATER 10)
         add_compile_options(
             $<$<COMPILE_LANGUAGE:Fortran>:-fallow-invalid-boz>
@@ -163,6 +172,16 @@ elseif (CMAKE_Fortran_COMPILER_ID STREQUAL "Cray")
         )
         add_link_options("SHELL: -K trap=fp" "SHELL: -G2")
     endif()
+    
+    if (MFC_Strict) 
+        add_compile_options(
+            "SHELL:-h flex_mp=intolerant"
+            "SHELL:-hp0" "SHELL:-hfp0"
+            "SHELL:-h vector0"
+            "SHELL:-fp0"
+        )
+    endif()
+
 elseif (CMAKE_Fortran_COMPILER_ID STREQUAL "Flang")
     add_compile_options(
         $<$<COMPILE_LANGUAGE:Fortran>:-Mfreeform>
@@ -175,6 +194,10 @@ elseif (CMAKE_Fortran_COMPILER_ID STREQUAL "Intel")
     if (CMAKE_BUILD_TYPE STREQUAL "Debug")
         add_compile_options(-g -Og -traceback -debug)
     endif()
+
+    if (MFC_Strict)
+        add_compile_options(-fp-model strict)
+    endif()
 elseif ((CMAKE_Fortran_COMPILER_ID STREQUAL "NVHPC") OR (CMAKE_Fortran_COMPILER_ID STREQUAL "PGI"))
     add_compile_options(
         $<$<COMPILE_LANGUAGE:Fortran>:-Mfreeform>
@@ -186,13 +209,15 @@ elseif ((CMAKE_Fortran_COMPILER_ID STREQUAL "NVHPC") OR (CMAKE_Fortran_COMPILER_
     if (CMAKE_BUILD_TYPE STREQUAL "Debug")
         add_compile_options(
             $<$<COMPILE_LANGUAGE:Fortran>:-O0>
+            -C 
+            -g 
+            -O0 
+            -traceback 
+            -Minform=inform 
+            -Mbounds
         )
     endif()
 
-    if (CMAKE_BUILD_TYPE STREQUAL "Debug")
-        add_compile_options(-C -g -O0 -traceback -Minform=inform -Mbounds)
-    endif()
-
     if (DEFINED ENV{MFC_CUDA_CC})
         string(REGEX MATCHALL "[0-9]+" MFC_CUDA_CC $ENV{MFC_CUDA_CC})
         message(STATUS "Found $MFC_CUDA_CC specified. GPU code will be generated for ${MFC_CUDA_CC}.")
@@ -219,6 +244,11 @@ if (CMAKE_BUILD_TYPE STREQUAL "Release")
             message(STATUS "Performing IPO using -Mextract followed by -Minline")
             set(NVHPC_USE_TWO_PASS_IPO TRUE)
         endif()
+
+        if (MFC_Strict)
+            add_compile_options(-Kieee)
+        endif()
+
     else()
         CHECK_IPO_SUPPORTED(RESULT SUPPORTS_IPO OUTPUT IPO_ERROR)
         if (SUPPORTS_IPO)

docs/documentation/getting-started.md

@@ -122,6 +122,7 @@ MFC can be built with support for various (compile-time) features:
 | **Debug**          | `--debug`   | `--no-debug`   | Off     | Requests the compiler build MFC in debug mode.                  |
 | **GCov**           | `--gcov`    | `--no-gcov`    | Off     | Builds MFC with coverage flags on.                              |
 | **Unified Memory** | `--unified` | `--no-unified` | Off     | Builds MFC with unified CPU/GPU memory (GH-200 superchip only)  |
+| **Strict**         | `--strict`  | `--no-strict`  | off     | Builds MFC with strict floating point operations                |
 
 _⚠️ The `--gpu` option requires that your compiler supports OpenACC for Fortran for your target GPU architecture._