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

#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);
}
