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

   1 /* PR c/102989 */
   2 /* { dg-do run { target bitint } } */
   3 /* { dg-options "-O2 -std=c23 -pedantic-errors" } */
   4
   5 #if __BITINT_MAXWIDTH__ >= 192
   6 __attribute__((noipa)) _Decimal64
   7 tests192 (_BitInt(192) b)
   8 {
   9   return b;
  10 }
  11
  12 __attribute__((noipa)) _Decimal64
  13 testu192 (unsigned _BitInt(192) b)
  14 {
  15   return b;
  16 }
  17 #endif
  18
  19 #if __BITINT_MAXWIDTH__ >= 575
  20 __attribute__((noipa)) _Decimal64
  21 tests575 (_BitInt(575) b)
  22 {
  23   return b;
  24 }
  25
  26 __attribute__((noipa)) _Decimal64
  27 testu575 (unsigned _BitInt(575) b)
  28 {
  29   return b;
  30 }
  31 #endif
  32
  33 int
  34 main ()
  35 {
  36   _Decimal64 a, b;
  37 #define CHECK(x, y) (a = (x), b = (y), a != (y) || __builtin_memcmp (&a, &b, sizeof (a)))
  38 #if __BITINT_MAXWIDTH__ >= 192
  39   if (CHECK (tests192 (0wb), 0.DD)
  40       || CHECK (tests192 (7wb), 7.DD)
  41       || CHECK (tests192 (-42wb), -42.DD)
  42       || CHECK (tests192 (-777777777wb), -777777777.DD)
  43       || CHECK (tests192 (9999999999999000wb), 9999999999999000.DD)
  44       || CHECK (tests192 (-9999999999999999wb), -9999999999999999.DD)
  45       || CHECK (tests192 (-99999999999999994wb), -9999999999999999.e+1DD)
  46       || CHECK (tests192 (99999999999999995wb), 1000000000000000.e+2DD)
  47       || CHECK (tests192 (999999999999999900wb), 9999999999999999.e+2DD)
  48       || CHECK (tests192 (999999999999999949wb), 9999999999999999.e+2DD)
  49       || CHECK (tests192 (-9999999999999999000wb), -9999999999999999.e+3DD)
  50       || CHECK (tests192 (9999999999999999499wb), 9999999999999999.e+3DD)
  51       || CHECK (tests192 (999999999999999900000wb), 9999999999999999.e+5DD)
  52       || CHECK (tests192 (999999999999999949999wb), 9999999999999999.e+5DD)
  53       || CHECK (tests192 (-9999999999999999000000wb), -9999999999999999.e+6DD)
  54       || CHECK (tests192 (-9999999999999999499999wb), -9999999999999999.e+6DD)
  55       || CHECK (tests192 (123456789012345600000000wb), 1234567890123456.e+8DD)
  56       || CHECK (tests192 (34242319854454290000000000000000000000wb), 3424231985445429e+22DD)
  57       || CHECK (tests192 (999999999999999900000000000000000000000000000000wb), 9999999999999999.e+32DD)
  58       || CHECK (tests192 (999999999999999949999999999999999999999999999999wb), 9999999999999999.e+32DD)
  59       || CHECK (tests192 (-999999999999999900000000000000000000000000000000000000000wb), -9999999999999999.e+41DD)
  60       || CHECK (tests192 (-2138550877694459000000000000000000000000000000000000000000wb), -2138550877694459e+42DD)
  61       || CHECK (tests192 (-2138550877694459500000000000000000000000000000000000000000wb), -2138550877694460e+42DD)
  62       || CHECK (tests192 (-2138550877694459499999999999999999999999999999999999999999wb), -2138550877694459e+42DD)
  63       || CHECK (tests192 (-2138550877694459999999999999999999999999999999999999999999wb), -2138550877694460e+42DD)
  64       || CHECK (tests192 (-2138550877694458000000000000000000000000000000000000000000wb), -2138550877694458e+42DD)
  65       || CHECK (tests192 (-2138550877694458500000000000000000000000000000000000000000wb), -2138550877694458e+42DD)
  66       || CHECK (tests192 (-2138550877694458500000000000000000000000000000000000000001wb), -2138550877694459e+42DD)
  67       || CHECK (tests192 (3138550867693340000000000000000000000000000000000000000000wb), 3138550867693340e+42DD)
  68       || CHECK (tests192 (3138550867693340381917894711603833208051177722232017256447wb), 3138550867693340e+42DD)
  69       || CHECK (tests192 (-3138550867693340000000000000000000000000000000000000000000wb), -3138550867693340e+42DD)
  70       || CHECK (tests192 (-3138550867693340381917894711603833208051177722232017256447wb - 1wb), -3138550867693340e+42DD))
  71     __builtin_abort ();
  72   if (CHECK (testu192 (0uwb), 0.DD)
  73       || CHECK (testu192 (7uwb), 7.DD)
  74       || CHECK (testu192 (42uwb), 42.DD)
  75       || CHECK (testu192 (777777777uwb), 777777777.DD)
  76       || CHECK (testu192 (9999999999999000uwb), 9999999999999000.DD)
  77       || CHECK (testu192 (999999999999999900uwb), 9999999999999999.e+2DD)
  78       || CHECK (testu192 (9999999999999999000uwb), 9999999999999999.e+3DD)
  79       || CHECK (testu192 (99999999999999994999uwb), 9999999999999999.e+4DD)
  80       || CHECK (testu192 (999999999999999900000uwb), 9999999999999999.e+5DD)
  81       || CHECK (testu192 (9999999999999999000000uwb), 9999999999999999.e+6DD)
  82       || CHECK (testu192 (123456789012345600000000uwb), 1234567890123456.e+8DD)
  83       || CHECK (testu192 (34242319854454290000000000000000000000uwb), 3424231985445429e+22DD)
  84       || CHECK (testu192 (9999999999999999000000000000000000000000000000000uwb), 9999999999999999.e+33DD)
  85       || CHECK (testu192 (618935436546517900000000000000000000000000000000000000uwb), 6189354365465179e+38DD)
  86       || CHECK (testu192 (618935436546517950000000000000000000000000000000000000uwb), 6189354365465180e+38DD)
  87       || CHECK (testu192 (618935436546517949999999999999999999999999999999999999uwb), 6189354365465179e+38DD)
  88       || CHECK (testu192 (618935436546517999999999999999999999999999999999999999uwb), 6189354365465180e+38DD)
  89       || CHECK (testu192 (618935436546517800000000000000000000000000000000000000uwb), 6189354365465178e+38DD)
  90       || CHECK (testu192 (618935436546517850000000000000000000000000000000000000uwb), 6189354365465178e+38DD)
  91       || CHECK (testu192 (618935436546517850000000000000000000000000000000000001uwb), 6189354365465179e+38DD)
  92       || CHECK (testu192 (99999999999999990000000000000000000000000000000000000000uwb), 9999999999999999.e+40DD)
  93       || CHECK (testu192 (6277101735386680000000000000000000000000000000000000000000uwb), 6277101735386680e+42DD)
  94       || CHECK (testu192 (6277101735386680499999999999999999999999999999999999999999uwb), 6277101735386680e+42DD)
  95       || CHECK (testu192 (6277101735386680500000000000000000000000000000000000000000uwb), 6277101735386680e+42DD)
  96       || CHECK (testu192 (6277101735386680500000000000000000000000000000000000000001uwb), 6277101735386681e+42DD)
  97       || CHECK (testu192 (6277101735386680500000000000000000000010000000000000000000uwb), 6277101735386681e+42DD)
  98       || CHECK (testu192 (6277101735386680763835789423207666416102355444464034512895uwb), 6277101735386681e+42DD))
  99     __builtin_abort ();
 100 #endif
 101 #if __BITINT_MAXWIDTH__ >= 575
 102   if (CHECK (tests575 (0wb), 0.DD)
 103       || CHECK (tests575 (7wb), 7.DD)
 104       || CHECK (tests575 (-42wb), -42.DD)
 105       || CHECK (tests575 (-444444444wb), -444444444.DD)
 106       || CHECK (tests575 (9999999999999000wb), 9999999999999000.DD)
 107       || CHECK (tests575 (-9999999999999999wb), -9999999999999999.DD)
 108       || CHECK (tests575 (999999999999999900wb), 9999999999999999.e+2DD)
 109       || CHECK (tests575 (-9999999999999999000wb), -9999999999999999.e+3DD)
 110       || CHECK (tests575 (999999999999999900000wb), 9999999999999999.e+5DD)
 111       || CHECK (tests575 (-99999999999999990000000wb), -9999999999999999.e+7DD)
 112       || CHECK (tests575 (1234567890123456000000000wb), 1234567890123456.e+9DD)
 113       || CHECK (tests575 (3424231985445429000000000000000000000000wb), 3424231985445429e+24DD)
 114       || CHECK (tests575 (99999999999999990000000000000000000000000000000000000000wb), 9999999999999999.e+40DD)
 115       || CHECK (tests575 (-9999999999999999000000000000000000000000000000000000000000000000000000000000000wb), -9999999999999999.e+63DD)
 116       || CHECK (tests575 (-213855087769445900000000000000000000000000000000000000000000000000000000000000000000000000000000000000wb), -2138550877694459e+86DD)
 117       || CHECK (tests575 (-213855087769445950000000000000000000000000000000000000000000000000000000000000000000000000000000000000wb), -2138550877694460e+86DD)
 118       || CHECK (tests575 (-213855087769445949999999999999999999999999999999999999999999999999999999999999999999999999999999999999wb), -2138550877694459e+86DD)
 119       || CHECK (tests575 (-213855087769445999999999999999999999999999999999999999999999999999999999999999999999999999999999999999wb), -2138550877694460e+86DD)
 120       || CHECK (tests575 (-213855087769445800000000000000000000000000000000000000000000000000000000000000000000000000000000000000wb), -2138550877694458e+86DD)
 121       || CHECK (tests575 (-213855087769445850000000000000000000000000000000000000000000000000000000000000000000000000000000000000wb), -2138550877694458e+86DD)
 122       || CHECK (tests575 (-213855087769445850000000000000000000000000000000000000000000000000000000000000000000000000000000000001wb), -2138550877694459e+86DD)
 123       || CHECK (tests575 (61832600368276130000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000wb), 6183260036827613e+157DD)
 124       || CHECK (tests575 (61832600368276133515125630254911797508782837275302959978515764023224306276632966792579100265310761247399417856504034834837841258576687802491886538775473291979151693037174783wb), 6183260036827613e+157DD)
 125       || CHECK (tests575 (-61832600368276130000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000wb), -6183260036827613e+157DD)
 126       || CHECK (tests575 (-61832600368276133515125630254911797508782837275302959978515764023224306276632966792579100265310761247399417856504034834837841258576687802491886538775473291979151693037174783wb - 1wb), -6183260036827613e+157DD))
 127     __builtin_abort ();
 128   if (CHECK (testu575 (0uwb), 0.DD)
 129       || CHECK (testu575 (17uwb), 17.DD)
 130       || CHECK (testu575 (420uwb), 420.DD)
 131       || CHECK (testu575 (888888888uwb), 888888888.DD)
 132       || CHECK (testu575 (9999999999999000uwb), 9999999999999000.DD)
 133       || CHECK (testu575 (99999999999999990000000uwb), 9999999999999999.e+7DD)
 134       || CHECK (testu575 (9999999999999999000000000uwb), 9999999999999999.e+9DD)
 135       || CHECK (testu575 (99999999999999990000000000000uwb), 9999999999999999.e+13DD)
 136       || CHECK (testu575 (9999999999999999000000000000000uwb), 9999999999999999.e+15DD)
 137       || CHECK (testu575 (1234567890123456000000000000000000uwb), 1234567890123456.e+18DD)
 138       || CHECK (testu575 (34242319854454290000000000000000000000uwb), 3424231985445429e+22DD)
 139       || CHECK (testu575 (9999999999999999000000000000000000000000000000000uwb), 9999999999999999.e+33DD)
 140       || CHECK (testu575 (618935436546517900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000uwb), 6189354365465179e+104DD)
 141       || CHECK (testu575 (618935436546517950000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000uwb), 6189354365465180e+104DD)
 142       || CHECK (testu575 (618935436546517949999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999uwb), 6189354365465179e+104DD)
 143       || CHECK (testu575 (618935436546517999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999uwb), 6189354365465180e+104DD)
 144       || CHECK (testu575 (618935436546517800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000uwb), 6189354365465178e+104DD)
 145       || CHECK (testu575 (618935436546517850000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000uwb), 6189354365465178e+104DD)
 146       || CHECK (testu575 (618935436546517850000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001uwb), 6189354365465179e+104DD)
 147       || CHECK (testu575 (99999999999999990000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000uwb), 9999999999999999.e+139DD)
 148       || CHECK (testu575 (123665200736552200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000uwb), 1236652007365522e+158DD)
 149       || CHECK (testu575 (123665200736552249999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999uwb), 1236652007365522e+158DD)
 150       || CHECK (testu575 (123665200736552250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000uwb), 1236652007365522e+158DD)
 151       || CHECK (testu575 (123665200736552250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001uwb), 1236652007365523e+158DD)
 152       || CHECK (testu575 (123665200736552250000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000uwb), 1236652007365523e+158DD)
 153       || CHECK (testu575 (123665200736552267030251260509823595017565674550605919957031528046448612553265933585158200530621522494798835713008069669675682517153375604983773077550946583958303386074349567uwb), 1236652007365523e+158DD))
 154     __builtin_abort ();
 155 #endif
 156 }