gcc/testsuite/gcc.dg/dfp/int128-4.c

   1 /* PR libgcc/65833 */
   2 /* { dg-require-effective-target int128 } */
   3 /* { dg-require-effective-target bitint } */
   4 /* { dg-require-effective-target fenv_exceptions } */
   5 /* { dg-options "-std=c2x" } */
   6
   7 #include <fenv.h>
   8
   9 #define INT128_MAX ((__int128) ((((unsigned __int128) 1) << 127) - 1))
  10 #define UINT128_MAX (~(unsigned __int128) 0)
  11 #define C(x, y) ((((__int128) (x##ULL)) << 64) | (y##ULL))
  12 #define UC(x, y) ((((unsigned __int128) (x##ULL)) << 64) | (y##ULL))
  13
  14 __attribute__((noipa)) __int128
  15 tests_32 (_Decimal32 d)
  16 {
  17   return d;
  18 }
  19
  20 __attribute__((noipa)) unsigned __int128
  21 testu_32 (_Decimal32 d)
  22 {
  23   return d;
  24 }
  25
  26 __attribute__((noipa)) __int128
  27 tests_64 (_Decimal64 d)
  28 {
  29   return d;
  30 }
  31
  32 __attribute__((noipa)) unsigned __int128
  33 testu_64 (_Decimal64 d)
  34 {
  35   return d;
  36 }
  37
  38 __attribute__((noipa)) __int128
  39 tests_128 (_Decimal128 d)
  40 {
  41   return d;
  42 }
  43
  44 __attribute__((noipa)) unsigned __int128
  45 testu_128 (_Decimal128 d)
  46 {
  47   return d;
  48 }
  49
  50 __attribute__((noipa)) void
  51 check_invalid (int test, int inv)
  52 {
  53   if (!test)
  54     __builtin_abort ();
  55   if ((!fetestexcept (FE_INVALID)) != (!inv))
  56     __builtin_abort ();
  57   feclearexcept (FE_INVALID);
  58 }
  59
  60 int
  61 main ()
  62 {
  63   check_invalid (tests_32 (__builtin_infd32 ()) == INT128_MAX, 1);
  64   check_invalid (tests_32 (-__builtin_infd32 ()) == -INT128_MAX - 1, 1);
  65   check_invalid (tests_32 (__builtin_nand32 ("")) == INT128_MAX, 1);
  66   check_invalid (tests_32 (-1701411.0e+32DF) == -C (0x7ffffbe294adefda, 0xd863b4a300000000), 0);
  67   check_invalid (tests_32 (-1701412.0e+32DF) == -INT128_MAX - 1, 1);
  68   check_invalid (tests_32 (1701411.0e+32DF) == C (0x7ffffbe294adefda, 0xd863b4a300000000), 0);
  69   check_invalid (tests_32 (1701412.0e+32DF) == INT128_MAX, 1);
  70   check_invalid (testu_32 (__builtin_infd32 ()) == UINT128_MAX, 1);
  71   check_invalid (testu_32 (-__builtin_infd32 ()) == 0U, 1);
  72   check_invalid (testu_32 (__builtin_nand32 ("")) == UINT128_MAX, 1);
  73   check_invalid (testu_32 (-0.9999999DF) == 0U, 0);
  74   check_invalid (testu_32 (-1.0DF) == 0U, 1);
  75   check_invalid (testu_32 (3402823.0e+32DF) == UC (0xfffffcb356c92111, 0x367458c700000000), 0);
  76   check_invalid (testu_32 (3402824.0e+32DF) == UINT128_MAX, 1);
  77   check_invalid (tests_64 (__builtin_infd64 ()) == INT128_MAX, 1);
  78   check_invalid (tests_64 (-__builtin_infd64 ()) == -INT128_MAX - 1, 1);
  79   check_invalid (tests_64 (__builtin_nand64 ("")) == INT128_MAX, 1);
  80   check_invalid (tests_64 (-170141183460469.2e+24DD) == -C (0x7ffffffffffff947, 0xd26076f482000000), 0);
  81   check_invalid (tests_64 (-170141183460469.3e+24DD) == -INT128_MAX - 1, 1);
  82   check_invalid (tests_64 (170141183460469.2e+24DD) == C (0x7ffffffffffff947, 0xd26076f482000000), 0);
  83   check_invalid (tests_64 (170141183460469.3e+24DD) == INT128_MAX, 1);
  84   check_invalid (testu_64 (__builtin_infd64 ()) == UINT128_MAX, 1);
  85   check_invalid (testu_64 (-__builtin_infd64 ()) == 0, 1);
  86   check_invalid (testu_64 (__builtin_nand64 ("")) == UINT128_MAX, 1);
  87   check_invalid (testu_64 (-0.9999999999999999DD) == 0U, 0);
  88   check_invalid (testu_64 (-1.0DD) == 0U, 1);
  89   check_invalid (testu_64 (340282366920938.4e+24DD) == UC (0xfffffffffffff28f, 0xa4c0ede904000000), 0);
  90   check_invalid (testu_64 (340282366920938.5e+24DD) == UINT128_MAX, 1);
  91   check_invalid (tests_128 (__builtin_infd128 ()) == INT128_MAX, 1);
  92   check_invalid (tests_128 (-__builtin_infd128 ()) == -INT128_MAX - 1, 1);
  93   check_invalid (tests_128 (__builtin_nand128 ("")) == INT128_MAX, 1);
  94   check_invalid (tests_128 (-1701411834604692317316873037158841.0e+5DL) == -C (0x7fffffffffffffff, 0xffffffffffffe9a0), 0);
  95   check_invalid (tests_128 (-1701411834604692317316873037158842.0e+5DL) == -INT128_MAX - 1, 1);
  96   check_invalid (tests_128 (1701411834604692317316873037158841.0e+5DL) == C (0x7fffffffffffffff, 0xffffffffffffe9a0), 0);
  97   check_invalid (tests_128 (1701411834604692317316873037158842.0e+5DL) == INT128_MAX, 1);
  98   check_invalid (testu_128 (__builtin_infd128 ()) == UINT128_MAX, 1);
  99   check_invalid (testu_128 (-__builtin_infd128 ()) == 0, 1);
 100   check_invalid (testu_128 (__builtin_nand128 ("")) == UINT128_MAX, 1);
 101   check_invalid (testu_128 (-0.9999999999999999999999999999999999DL) == 0U, 0);
 102   check_invalid (testu_128 (-1.0DL) == 0U, 1);
 103   check_invalid (testu_128 (3402823669209384634633746074317682.0e+5DL) == UC (0xffffffffffffffff, 0xffffffffffffd340), 0);
 104   check_invalid (testu_128 (3402823669209384634633746074317683.0e+5DL) == UINT128_MAX, 1);
 105 }