gcc-4.9/gcc/testsuite/gcc.dg/torture/fp-int-convert-float128-timode-3.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

/* Test for correct rounding of conversions from __int128 to
   __float128.  */
/* { dg-do run { target i?86-*-* x86_64-*-* ia64-*-* } } */
/* { dg-require-effective-target int128 } */
/* { dg-options "-frounding-math" } */

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

int
main (void)
{
  volatile unsigned long long h = -1ULL;
  volatile unsigned __int128 u128 = (((unsigned __int128) h) << 64) | h;
  volatile __int128 s128 = u128 >> 1;
  fesetround (FE_TOWARDZERO);
  __float128 ru = u128, rs = s128;
  if (ru != 0x1.ffffffffffffffffffffffffffffp127q)
    abort ();
  if (rs != 0x1.ffffffffffffffffffffffffffffp126q)
    abort ();
  exit (0);
}