gcc/testsuite/gcc.dg/torture/float128-mul-underflow.c

   1 /* Test __float128 multiplication uses after-rounding tininess
   2    detection.  */
   3
   4 /* { dg-do run { target i?86-*-* x86_64-*-* ia64-*-* } } */
   5 /* { dg-options "" } */
   6 /* { dg-require-effective-target fenv_exceptions } */
   7
   8 #include <fenv.h>
   9 #include <stdlib.h>
  10
  11 int
  12 main (void)
  13 {
  14   volatile __float128 a = 0x1.fffffffffffffffp-16382q, b = 0x1.0000000000000008p-1q, c;
  15   c = a * b;
  16   if (fetestexcept (FE_UNDERFLOW))
  17     abort ();
  18   if (c != 0x1p-16382q)
  19     abort ();
  20   exit (0);
  21 }