/* Test that tininess.h is correct for this architecture.

   Copyright (C) 2012-2018 Free Software Foundation, Inc.

   This file is part of the GNU C Library.

   The GNU C Library is free software; you can redistribute it and/or

   modify it under the terms of the GNU Lesser General Public

   License as published by the Free Software Foundation; either

   version 2.1 of the License, or (at your option) any later version.

   The GNU C Library is distributed in the hope that it will be useful,

   but WITHOUT ANY WARRANTY; without even the implied warranty of

   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU

   Lesser General Public License for more details.

   You should have received a copy of the GNU Lesser General Public

   License along with the GNU C Library; if not, see

   <http://www.gnu.org/licenses/>.  */

#include <fenv.h>

#include <float.h>

#include <stdio.h>

#include <tininess.h>

volatile float a = 0x1.fffp-126;

volatile float b = 0x1.0008p-1;

volatile float c;

volatile float m = FLT_MIN;

volatile float mm;

static int

do_test (void)

{

  int result = 0;

#ifdef FE_UNDERFLOW

  feclearexcept (FE_ALL_EXCEPT);

  mm = m * m;

  if (!fetestexcept (FE_UNDERFLOW))

    {

      puts ("underflow exception not supported at runtime, cannot test");

      return 0;

    }

  feclearexcept (FE_ALL_EXCEPT);

  c = a * b;

  if (fetestexcept (FE_UNDERFLOW))

    {

      if (TININESS_AFTER_ROUNDING)

	{

	  puts ("tininess.h says after rounding, "

		"but detected before rounding");

	  result = 1;

	}

    }

  else

    {

      if (!TININESS_AFTER_ROUNDING)

	{

	  puts ("tininess.h says before rounding, "

		"but detected after rounding");

	  result = 1;

	}

    }

#else

  puts ("underflow exception not supported at compile time, cannot test");

#endif

  return result;

}

#define TEST_FUNCTION do_test ()

#include "../test-skeleton.c"