FloatingPointControl_t.cc File Reference

#include "catch2/catch.hpp"
#include "art/Framework/Services/Registry/ActivityRegistry.h"
#include "art/Framework/Services/System/FloatingPointControl.h"
#include "art/Framework/Services/System/detail/fpControl.h"
#include "messagefacility/plugins/stringstream.h"
#include <sstream>
#include <string>
#include <type_traits>

Go to the source code of this file.

Classes
struct	Catch::StringMaker< Hexable< T > >

Namespaces
	Catch

Functions
	SCENARIO ("We wish to affect the floating point control on our system")

Function Documentation

SCENARIO

(

"We wish to affect the floating point control on our system"

)

Definition at line 86 of file FloatingPointControl_t.cc.

{
  GIVEN("An empty activity registry and simple parameter set")
  {
    art::ActivityRegistry reg;

    fhicl::ParameterSet ps;
    ps.put("reportSettings", true);

    // Note config above sends output to stream we can capture:
    auto& tstream = mf::getStringStream("TSTREAM_1");
    tstream.str("");

    auto const fpcw_def = getFPCW();
    auto const fpcw_ref = fpcw_def;
    auto const fpcw_ref_dp =
      (fpcw_ref & ~fpControl_ALL_PREC) | fpControl_DOUBLE_PREC;

    static auto verify_cleanup = [fpcw_def, &reg](auto& fpc) {
      reg.sPostEndJob.invoke();
      compare_fpcw(fpc, fpcw_def, "Checking final FP state against default"s);
    };

    WHEN("We want the basic configuration")
    {
      art::FloatingPointControl fpc(ps, reg);
      THEN("The configuration is unchanged except for double precision math.")
      {
        compare_fpcw(fpc, fpcw_ref_dp);
        verify_report(tstream);
        verify_cleanup(fpc);
      }
    }

    WHEN("We want to suppress divide-by-zero exceptions")
    {
      ps.put("enableDivByZeroEx", true);
      art::FloatingPointControl fpc(ps, reg);
      THEN("The configuration shows suppressed divide-by-zero exceptions")
      {
        compare_fpcw(fpc, fpcw_ref_dp & ~FE_DIVBYZERO);
        verify_report(tstream, FE_DIVBYZERO);
        verify_cleanup(fpc);
      }
    }

    WHEN("We want to suppress \"invalid\" exceptions")
    {
      ps.put("enableInvalidEx", true);
      art::FloatingPointControl fpc(ps, reg);
      THEN("The configuration shows suppressed \"invalid\" exceptions")
      {
        compare_fpcw(fpc, fpcw_ref_dp & ~FE_INVALID);
        verify_report(tstream, FE_INVALID);
        verify_cleanup(fpc);
      }
    }

    WHEN("We want to suppress overflow exceptions")
    {
      ps.put("enableOverFlowEx", true);
      art::FloatingPointControl fpc(ps, reg);
      THEN("The configuration shows suppressed overflow exceptions")
      {
        compare_fpcw(fpc, fpcw_ref_dp & ~FE_OVERFLOW);
        verify_report(tstream, FE_OVERFLOW);
        verify_cleanup(fpc);
      }
    }

    WHEN("We want to suppress underflow exceptions")
    {
      ps.put("enableUnderFlowEx", true);
      art::FloatingPointControl fpc(ps, reg);
      THEN("The configuration shows suppressed underflow exceptions")
      {
        compare_fpcw(fpc, fpcw_ref_dp & ~FE_UNDERFLOW);
        verify_report(tstream, FE_UNDERFLOW);
        verify_cleanup(fpc);
      }
    }

    WHEN("We want default precision")
    {
      ps.put("setPrecisionDouble", false);
      art::FloatingPointControl fpc(ps, reg);
      THEN("The configuration shows default precision")
      {
        compare_fpcw(fpc, fpcw_ref);
        verify_report(tstream);
        verify_cleanup(fpc);
      }
    }
  }
}