gcc/testsuite/gcc.dg/bitint-29.c

   1 /* PR c/102989 */
   2 /* { dg-do run } */
   3 /* { dg-require-effective-target fenv_exceptions } */
   4 /* { dg-options "-std=c2x" } */
   5 /* { dg-add-options ieee } */
   6
   7 #include <fenv.h>
   8
   9 #if __FLT_MANT_DIG__ == 24
  10 #if __BITINT_MAXWIDTH__ >= 135
  11 __attribute__((noipa)) _BitInt(135)
  12 testflt_135 (float d)
  13 {
  14   return d;
  15 }
  16
  17 __attribute__((noipa)) unsigned _BitInt(135)
  18 testfltu_135 (float d)
  19 {
  20   return d;
  21 }
  22 #endif
  23
  24 #if __BITINT_MAXWIDTH__ >= 192
  25 __attribute__((noipa)) _BitInt(192)
  26 testflt_192 (float d)
  27 {
  28   return d;
  29 }
  30
  31 __attribute__((noipa)) unsigned _BitInt(192)
  32 testfltu_192 (float d)
  33 {
  34   return d;
  35 }
  36 #endif
  37
  38 #if __BITINT_MAXWIDTH__ >= 575
  39 __attribute__((noipa)) _BitInt(575)
  40 testflt_575 (float d)
  41 {
  42   return d;
  43 }
  44
  45 __attribute__((noipa)) unsigned _BitInt(575)
  46 testfltu_575 (float d)
  47 {
  48   return d;
  49 }
  50 #endif
  51 #endif
  52
  53 #if __DBL_MANT_DIG__ == 53
  54 #if __BITINT_MAXWIDTH__ >= 135
  55 __attribute__((noipa)) _BitInt(135)
  56 testdbl_135 (double d)
  57 {
  58   return d;
  59 }
  60
  61 __attribute__((noipa)) unsigned _BitInt(135)
  62 testdblu_135 (double d)
  63 {
  64   return d;
  65 }
  66 #endif
  67
  68 #if __BITINT_MAXWIDTH__ >= 192
  69 __attribute__((noipa)) _BitInt(192)
  70 testdbl_192 (double d)
  71 {
  72   return d;
  73 }
  74
  75 __attribute__((noipa)) unsigned _BitInt(192)
  76 testdblu_192 (double d)
  77 {
  78   return d;
  79 }
  80 #endif
  81
  82 #if __BITINT_MAXWIDTH__ >= 575
  83 __attribute__((noipa)) _BitInt(575)
  84 testdbl_575 (double d)
  85 {
  86   return d;
  87 }
  88
  89 __attribute__((noipa)) unsigned _BitInt(575)
  90 testdblu_575 (double d)
  91 {
  92   return d;
  93 }
  94 #endif
  95 #endif
  96
  97 #if __LDBL_MANT_DIG__ == 64
  98 #if __BITINT_MAXWIDTH__ >= 135
  99 __attribute__((noipa)) _BitInt(135)
 100 testldbl_135 (long double d)
 101 {
 102   return d;
 103 }
 104
 105 __attribute__((noipa)) unsigned _BitInt(135)
 106 testldblu_135 (long double d)
 107 {
 108   return d;
 109 }
 110 #endif
 111
 112 #if __BITINT_MAXWIDTH__ >= 192
 113 __attribute__((noipa)) _BitInt(192)
 114 testldbl_192 (long double d)
 115 {
 116   return d;
 117 }
 118
 119 __attribute__((noipa)) unsigned _BitInt(192)
 120 testldblu_192 (long double d)
 121 {
 122   return d;
 123 }
 124 #endif
 125
 126 #if __BITINT_MAXWIDTH__ >= 575
 127 __attribute__((noipa)) _BitInt(575)
 128 testldbl_575 (long double d)
 129 {
 130   return d;
 131 }
 132
 133 __attribute__((noipa)) unsigned _BitInt(575)
 134 testldblu_575 (long double d)
 135 {
 136   return d;
 137 }
 138 #endif
 139 #endif
 140
 141 #if __FLT128_MANT_DIG__ == 113
 142 #if __BITINT_MAXWIDTH__ >= 135
 143 __attribute__((noipa)) _BitInt(135)
 144 testflt128_135 (_Float128 d)
 145 {
 146   return d;
 147 }
 148
 149 __attribute__((noipa)) unsigned _BitInt(135)
 150 testflt128u_135 (_Float128 d)
 151 {
 152   return d;
 153 }
 154 #endif
 155
 156 #if __BITINT_MAXWIDTH__ >= 192
 157 __attribute__((noipa)) _BitInt(192)
 158 testflt128_192 (_Float128 d)
 159 {
 160   return d;
 161 }
 162
 163 __attribute__((noipa)) unsigned _BitInt(192)
 164 testflt128u_192 (_Float128 d)
 165 {
 166   return d;
 167 }
 168 #endif
 169
 170 #if __BITINT_MAXWIDTH__ >= 575
 171 __attribute__((noipa)) _BitInt(575)
 172 testflt128_575 (_Float128 d)
 173 {
 174   return d;
 175 }
 176
 177 __attribute__((noipa)) unsigned _BitInt(575)
 178 testflt128u_575 (_Float128 d)
 179 {
 180   return d;
 181 }
 182 #endif
 183 #endif
 184
 185 __attribute__((noipa)) void
 186 check_inexact (int test, int inex)
 187 {
 188   if (!test)
 189     __builtin_abort ();
 190   if ((!fetestexcept (FE_INEXACT)) != (!inex))
 191     __builtin_abort ();
 192   feclearexcept (FE_INEXACT);
 193 }
 194
 195 int
 196 main ()
 197 {
 198 #if __FLT_MANT_DIG__ == 24
 199 #if __BITINT_MAXWIDTH__ >= 135
 200   check_inexact (testflt_135 (-85070591730234615865843651857942052864.0f) == -85070591730234615865843651857942052864wb, 0);
 201   check_inexact (testflt_135 (0xffffffp+104f) == 340282346638528859811704183484516925440wb, 0);
 202   check_inexact (testflt_135 (-0xffffffp+104f) == -340282346638528859811704183484516925440wb, 0);
 203   check_inexact (testflt_135 (-0xffffffp-1f) == -8388607wb, 1);
 204   check_inexact (testflt_135 (-0.f) == 0wb, 0);
 205   check_inexact (testflt_135 (-0.f) == 0wb, 0);
 206   check_inexact (testflt_135 (-0.9990234375f) == 0wb, 1);
 207   check_inexact (testfltu_135 (0.f) == 0uwb, 0);
 208   check_inexact (testfltu_135 (-0.9990234375f) == 0uwb, 1);
 209   check_inexact (testfltu_135 (0xffffffp-1f) == 8388607uwb, 1);
 210   check_inexact (testfltu_135 (0xffffffp+104f) == 340282346638528859811704183484516925440uwb, 0);
 211 #endif
 212 #if __BITINT_MAXWIDTH__ >= 192
 213   check_inexact (testflt_192 (-85070591730234615865843651857942052864.0f) == -85070591730234615865843651857942052864wb, 0);
 214   check_inexact (testflt_192 (0xffffffp+104f) == 340282346638528859811704183484516925440wb, 0);
 215   check_inexact (testflt_192 (-0xffffffp+104f) == -340282346638528859811704183484516925440wb, 0);
 216   check_inexact (testflt_192 (-0xffffffp-3f) == -2097151wb, 1);
 217   check_inexact (testflt_192 (-0.f) == 0wb, 0);
 218   check_inexact (testflt_192 (-0.9990234375f) == 0wb, 1);
 219   check_inexact (testfltu_192 (0.f) == 0uwb, 0);
 220   check_inexact (testfltu_192 (-0.9990234375f) == 0uwb, 1);
 221   check_inexact (testfltu_192 (0xffffffp-3f) == 2097151uwb, 1);
 222   check_inexact (testfltu_192 (0xffffffp+104f) == 340282346638528859811704183484516925440uwb, 0);
 223 #endif
 224 #if __BITINT_MAXWIDTH__ >= 575
 225   check_inexact (testflt_575 (-85070591730234615865843651857942052864.0f) == -85070591730234615865843651857942052864wb, 0);
 226   check_inexact (testflt_575 (0xffffffp+104f) == 340282346638528859811704183484516925440wb, 0);
 227   check_inexact (testflt_575 (-0xffffffp+104f) == -340282346638528859811704183484516925440wb, 0);
 228   check_inexact (testflt_575 (-0xffffffp-5f) == -524287wb, 1);
 229   check_inexact (testflt_575 (0.f) == 0wb, 0);
 230   check_inexact (testflt_575 (-0.9990234375f) == 0wb, 1);
 231   check_inexact (testfltu_575 (-0.f) == 0uwb, 0);
 232   check_inexact (testfltu_575 (-0.9990234375f) == 0uwb, 1);
 233   check_inexact (testfltu_575 (0xffffffp-5f) == 524287uwb, 1);
 234   check_inexact (testfltu_575 (0xffffffp+104f) == 340282346638528859811704183484516925440uwb, 0);
 235 #endif
 236 #endif
 237 #if __DBL_MANT_DIG__ == 53
 238 #if __BITINT_MAXWIDTH__ >= 135
 239   check_inexact (testdbl_135 (-85070591730234615865843651857942052864.0) == -85070591730234615865843651857942052864wb, 0);
 240   check_inexact (testdbl_135 (0x1fffffffffffffp+81) == 21778071482940059243804335646374816120832wb, 0);
 241   check_inexact (testdbl_135 (-0x20000000000000p+81) == -21778071482940061661655974875633165533183wb - 1, 0);
 242   check_inexact (testdbl_135 (-0x1fffffffffffffp-1) == -4503599627370495wb, 1);
 243   check_inexact (testdbl_135 (-0.) == 0wb, 0);
 244   check_inexact (testdbl_135 (-0.9990234375) == 0wb, 1);
 245   check_inexact (testdblu_135 (0.) == 0uwb, 0);
 246   check_inexact (testdblu_135 (-0.9990234375) == 0uwb, 1);
 247   check_inexact (testdblu_135 (0x1fffffffffffffp-1) == 4503599627370495uwb, 1);
 248   check_inexact (testdblu_135 (0x1fffffffffffffp+82) == 43556142965880118487608671292749632241664uwb, 0);
 249 #endif
 250 #if __BITINT_MAXWIDTH__ >= 192
 251   check_inexact (testdbl_192 (-85070591730234615865843651857942052864.0) == -85070591730234615865843651857942052864wb, 0);
 252   check_inexact (testdbl_192 (0x1fffffffffffffp+138) == 3138550867693340033468750984562846621555579712101368725504wb, 0);
 253   check_inexact (testdbl_192 (-0x20000000000000p+138) == -3138550867693340381917894711603833208051177722232017256447wb - 1, 0);
 254   check_inexact (testdbl_192 (-0x1fffffffffffffp-3) == -1125899906842623wb, 1);
 255   check_inexact (testdbl_192 (0.) == 0wb, 0);
 256   check_inexact (testdbl_192 (-0.9990234375) == 0wb, 1);
 257   check_inexact (testdblu_192 (-0.) == 0uwb, 0);
 258   check_inexact (testdblu_192 (-0.9990234375) == 0uwb, 1);
 259   check_inexact (testdblu_192 (0x1fffffffffffffp-3) == 1125899906842623uwb, 1);
 260   check_inexact (testdblu_192 (0x1fffffffffffffp+139) == 6277101735386680066937501969125693243111159424202737451008uwb, 0);
 261 #endif
 262 #if __BITINT_MAXWIDTH__ >= 575
 263   check_inexact (testdbl_575 (-85070591730234615865843651857942052864.0) == -85070591730234615865843651857942052864wb, 0);
 264   check_inexact (testdbl_575 (0x1fffffffffffffp+521) == 61832600368276126650327970124302082526882038193909742709080463879918896882169507607035916867654709124839777195049479857541529867095829765369898539058829479405123401922117632wb, 0);
 265   check_inexact (testdbl_575 (-0x20000000000000p+521) == -61832600368276133515125630254911797508782837275302959978515764023224306276632966792579100265310761247399417856504034834837841258576687802491886538775473291979151693037174783wb - 1, 0);
 266   check_inexact (testdbl_575 (-0x1fffffffffffffp-5) == -281474976710655wb, 1);
 267   check_inexact (testdbl_575 (-0.) == 0wb, 0);
 268   check_inexact (testdbl_575 (-0.9990234375) == 0wb, 1);
 269   check_inexact (testdblu_575 (0.) == 0uwb, 0);
 270   check_inexact (testdblu_575 (-0.9990234375) == 0uwb, 1);
 271   check_inexact (testdblu_575 (0x1fffffffffffffp-5) == 281474976710655uwb, 1);
 272   check_inexact (testdblu_575 (0x1fffffffffffffp+522) == 123665200736552253300655940248604165053764076387819485418160927759837793764339015214071833735309418249679554390098959715083059734191659530739797078117658958810246803844235264uwb, 0);
 273 #endif
 274 #endif
 275 #if __LDBL_MANT_DIG__ == 64
 276 #if __BITINT_MAXWIDTH__ >= 135
 277   check_inexact (testldbl_135 (-85070591730234615865843651857942052864.0L) == -85070591730234615865843651857942052864wb, 0);
 278   check_inexact (testldbl_135 (0xffffffffffffffffp+70L) == 21778071482940061660475383254915754229760wb, 0);
 279   check_inexact (testldbl_135 (-0x10000000000000000p+70L) == -21778071482940061661655974875633165533183wb - 1, 0);
 280   check_inexact (testldbl_135 (-0xffffffffffffffffp-1L) == -9223372036854775807wb, 1);
 281   check_inexact (testldbl_135 (-0.L) == 0wb, 0);
 282   check_inexact (testldbl_135 (-0.9990234375L) == 0wb, 1);
 283   check_inexact (testldblu_135 (0.L) == 0uwb, 0);
 284   check_inexact (testldblu_135 (-0.9990234375L) == 0uwb, 1);
 285   check_inexact (testldblu_135 (0xffffffffffffffffp-1L) == 9223372036854775807uwb, 1);
 286   check_inexact (testldblu_135 (0xffffffffffffffffp+71L) == 43556142965880123320950766509831508459520uwb, 0);
 287 #endif
 288 #if __BITINT_MAXWIDTH__ >= 192
 289   check_inexact (testldbl_192 (-85070591730234615865843651857942052864.0L) == -85070591730234615865843651857942052864wb, 0);
 290   check_inexact (testldbl_192 (0xffffffffffffffffp+127L) == 3138550867693340381747753528143363976319490418516133150720wb, 0);
 291   check_inexact (testldbl_192 (-0x10000000000000000p+127L) == -3138550867693340381917894711603833208051177722232017256447wb - 1, 0);
 292   check_inexact (testldbl_192 (-0xffffffffffffffffp-2L) == -4611686018427387903wb, 1);
 293   check_inexact (testldbl_192 (0.L) == 0wb, 0);
 294   check_inexact (testldbl_192 (-0.9990234375L) == 0wb, 1);
 295   check_inexact (testldblu_192 (-0.L) == 0uwb, 0);
 296   check_inexact (testldblu_192 (-0.9990234375L) == 0uwb, 1);
 297   check_inexact (testldblu_192 (0xffffffffffffffffp-2L) == 4611686018427387903uwb, 1);
 298   check_inexact (testldblu_192 (0xffffffffffffffffp+128L) == 6277101735386680763495507056286727952638980837032266301440uwb, 0);
 299 #endif
 300 #if __BITINT_MAXWIDTH__ >= 575
 301   check_inexact (testldbl_575 (-85070591730234615865843651857942052864.0L) == -85070591730234615865843651857942052864wb, 0);
 302   check_inexact (testldbl_575 (0xffffffffffffffffp+510L) == 61832600368276133511773678272426148233889331025751498446645922568076207932202076431648659257792374503198949281962308977915333294030066289778448068072486649492543280785653760wb, 0);
 303   check_inexact (testldbl_575 (-0x10000000000000000p+510L) == -61832600368276133515125630254911797508782837275302959978515764023224306276632966792579100265310761247399417856504034834837841258576687802491886538775473291979151693037174783wb - 1, 0);
 304   check_inexact (testldbl_575 (-0xffffffffffffffffp-4L) == -1152921504606846975wb, 1);
 305   check_inexact (testldbl_575 (0.L) == 0wb, 0);
 306   check_inexact (testldbl_575 (-0.9990234375L) == 0wb, 1);
 307   check_inexact (testldblu_575 (-0.L) == 0uwb, 0);
 308   check_inexact (testldblu_575 (-0.9990234375L) == 0uwb, 1);
 309   check_inexact (testldblu_575 (0xffffffffffffffffp-4L) == 1152921504606846975uwb, 1);
 310   check_inexact (testldblu_575 (0xffffffffffffffffp+511L) == 123665200736552267023547356544852296467778662051502996893291845136152415864404152863297318515584749006397898563924617955830666588060132579556896136144973298985086561571307520uwb, 0);
 311 #endif
 312 #endif
 313 #if __FLT128_MANT_DIG__ == 113
 314 #if __BITINT_MAXWIDTH__ >= 135
 315   check_inexact (testflt128_135 (-85070591730234615865843651857942052864.0F128) == -85070591730234615865843651857942052864wb, 0);
 316   check_inexact (testflt128_135 (0x1ffffffffffffffffffffffffffffp+21F128) == 21778071482940061661655974875633163436032wb, 0);
 317   check_inexact (testflt128_135 (-0x20000000000000000000000000000p+21F128) == -21778071482940061661655974875633165533183wb - 1, 0);
 318   check_inexact (testflt128_135 (-0x1ffffffffffffffffffffffffffffp-1F128) == -5192296858534827628530496329220095wb, 1);
 319   check_inexact (testflt128_135 (-0.F128) == 0wb, 0);
 320   check_inexact (testflt128_135 (-0.9990234375F128) == 0wb, 1);
 321   check_inexact (testflt128u_135 (0.F128) == 0uwb, 0);
 322   check_inexact (testflt128u_135 (-0.9990234375F128) == 0uwb, 1);
 323   check_inexact (testflt128u_135 (0x1ffffffffffffffffffffffffffffp-1F128) == 5192296858534827628530496329220095uwb, 1);
 324   check_inexact (testflt128u_135 (0x1ffffffffffffffffffffffffffffp+22F128) == 43556142965880123323311949751266326872064uwb, 0);
 325 #endif
 326 #if __BITINT_MAXWIDTH__ >= 192
 327   check_inexact (testflt128_192 (-85070591730234615865843651857942052864.0F128) == -85070591730234615865843651857942052864wb, 0);
 328   check_inexact (testflt128_192 (0x1ffffffffffffffffffffffffffffp+78F128) == 3138550867693340381917894711603832905819722818574723579904wb, 0);
 329   check_inexact (testflt128_192 (-0x20000000000000000000000000000p+78F128) == -3138550867693340381917894711603833208051177722232017256447wb - 1, 0);
 330   check_inexact (testflt128_192 (-0x1ffffffffffffffffffffffffffffp-4F128) == -649037107316853453566312041152511wb, 1);
 331   check_inexact (testflt128_192 (-0.F128) == 0wb, 0);
 332   check_inexact (testflt128_192 (-0.9990234375F128) == 0wb, 1);
 333   check_inexact (testflt128u_192 (0.F128) == 0uwb, 0);
 334   check_inexact (testflt128u_192 (-0.9990234375F128) == 0uwb, 1);
 335   check_inexact (testflt128u_192 (0x1ffffffffffffffffffffffffffffp-4F128) == 649037107316853453566312041152511uwb, 1);
 336   check_inexact (testflt128u_192 (0x1ffffffffffffffffffffffffffffp+79F128) == 6277101735386680763835789423207665811639445637149447159808uwb, 0);
 337 #endif
 338 #if __BITINT_MAXWIDTH__ >= 575
 339   check_inexact (testflt128_575 (-85070591730234615865843651857942052864.0F128) == -85070591730234615865843651857942052864wb, 0);
 340   check_inexact (testflt128_575 (0x1ffffffffffffffffffffffffffffp+461F128) == 61832600368276133515125630254911791554520007845691312598455129804691160851602940042069550439343049559602369631548246946680753811425558728725309540242943660463695151425912832wb, 0);
 341   check_inexact (testflt128_575 (-0x20000000000000000000000000000p+461F128) == -61832600368276133515125630254911797508782837275302959978515764023224306276632966792579100265310761247399417856504034834837841258576687802491886538775473291979151693037174783wb - 1, 0);
 342   check_inexact (testflt128_575 (-0x1ffffffffffffffffffffffffffffp-8F128) == -40564819207303340847894502572031wb, 1);
 343   check_inexact (testflt128_575 (0.F128) == 0wb, 0);
 344   check_inexact (testflt128_575 (-0.9990234375F128) == 0wb, 1);
 345   check_inexact (testflt128u_575 (-0.F128) == 0uwb, 0);
 346   check_inexact (testflt128u_575 (-0.9990234375F128) == 0uwb, 1);
 347   check_inexact (testflt128u_575 (0x1ffffffffffffffffffffffffffffp-8F128) == 40564819207303340847894502572031uwb, 1);
 348   check_inexact (testflt128u_575 (0x1ffffffffffffffffffffffffffffp+462F128) == 123665200736552267030251260509823583109040015691382625196910259609382321703205880084139100878686099119204739263096493893361507622851117457450619080485887320927390302851825664uwb, 0);
 349 #endif
 350 #endif
 351 }