gcc/testsuite/gcc.dg/torture/fp-int-convert-timode-4.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

/* Test for correct rounding of conversions from __int128 to
   float.  */
/* { dg-do run } */
/* { dg-require-effective-target int128 } */
/* { dg-require-effective-target fenv } */
/* { dg-require-effective-target hard_float } */
/* { dg-options "-frounding-math" } */

#include <fenv.h>
#include <stdlib.h>

int
main (void)
{
#ifdef FE_TOWARDZERO
  volatile unsigned long long h = 0x8000000000000000LL;
  volatile unsigned long long l = 0xdLL;
  volatile unsigned __int128 u128 = (((unsigned __int128) h) << 64) | l;
  volatile __int128 s128 = u128;
  fesetround (FE_TOWARDZERO);
  float fs = s128;
  if (fs != -0x1.fffffep+126)
    abort ();
  double ds = s128;
  if (ds != -0x1.fffffffffffffp+126)
    abort ();
#endif
  exit (0);
}