Hi!
On Thu, Aug 03, 2023 at 05:19:54PM +0000, Joseph Myers wrote:
> It would be good to have execution tests for these operations (so probably
> in gcc.dg/atomic so that libatomic is linked in automatically as needed).
Ok, following patch does that, tested on x86_64-linux.
2023-08-08 Jakub Jelinek <ja...@redhat.com>
PR c/102989
* gcc.dg/atomic/stdatomic-bitint-1.c: New test.
* gcc.dg/atomic/stdatomic-bitint-2.c: New test.
--- gcc/testsuite/gcc.dg/atomic/stdatomic-bitint-1.c.jj 2023-08-08
12:50:45.721702269 +0200
+++ gcc/testsuite/gcc.dg/atomic/stdatomic-bitint-1.c 2023-08-08
14:12:42.989306477 +0200
@@ -0,0 +1,442 @@
+/* PR c/102989 */
+/* { dg-do run { target bitint } } */
+/* { dg-options "-std=c2x -pedantic-errors" } */
+
+#include <stdatomic.h>
+
+extern void abort (void);
+
+#if __BITINT_MAXWIDTH__ >= 127
+_Atomic _BitInt(127) v;
+_BitInt(127) count, res;
+const _BitInt(127) init = ~(_BitInt(127)) 0wb;
+
+void
+test_fetch_add ()
+{
+ atomic_init (&v, 13505789527944801758751150119415226784wb);
+ count = -64910836855286429164283779649638556795wb;
+
+ if (atomic_fetch_add_explicit (&v, count, memory_order_relaxed)
+ != 13505789527944801758751150119415226784wb)
+ abort ();
+
+ if (atomic_fetch_add_explicit (&v, 2227507280963412295355244564739509222wb,
+ memory_order_consume)
+ != -51405047327341627405532629530223330011wb)
+ abort ();
+
+ if (atomic_fetch_add_explicit (&v, count, memory_order_acquire)
+ != -49177540046378215110177384965483820789wb)
+ abort ();
+
+ if (atomic_fetch_add_explicit (&v, 42245667388877614520169143618236120405wb,
+ memory_order_release)
+ != 56052806558804587457226139100761728144wb)
+ abort ();
+
+ if (atomic_fetch_add_explicit (&v, count, memory_order_acq_rel)
+ != -71842709512787029754292020996886257179wb)
+ abort ();
+
+ if (atomic_fetch_add_explicit (&v, 77995075987640754057679086146674392947wb,
+ memory_order_seq_cst)
+ != 33387637092395772813111503069359291754wb)
+ abort ();
+
+ if (atomic_fetch_add (&v, 11810767284628435493328779846084830297wb)
+ != -58758470380432704860896714499850421027wb)
+ abort ();
+
+ if (atomic_load (&v) != -46947703095804269367567934653765590730wb)
+ abort ();
+}
+
+void
+test_fetch_sub ()
+{
+ atomic_store_explicit (&v, 30796781768365552851024605388374299173wb,
+ memory_order_release);
+ count = 32457177597484647488149720668185011722wb;
+
+ if (atomic_fetch_sub_explicit (&v, count, memory_order_relaxed)
+ != 30796781768365552851024605388374299173wb)
+ abort ();
+
+ if (atomic_fetch_sub_explicit (&v, 54614103079293459991417218347656369566wb,
+ memory_order_consume)
+ != -1660395829119094637125115279810712549wb)
+ abort ();
+
+ if (atomic_fetch_sub_explicit (&v, count, memory_order_acquire)
+ != -56274498908412554628542333627467082115wb)
+ abort ();
+
+ if (atomic_fetch_sub_explicit (&v, -44514083923735151931107302009741400482wb,
+ memory_order_release)
+ != 81409506954572029614995249420232011891wb)
+ abort ();
+
+ if (atomic_fetch_sub_explicit (&v, count, memory_order_acq_rel)
+ != -44217592582162050185584752285910693355wb)
+ abort ();
+
+ if (atomic_fetch_sub_explicit (&v, 30348078982452392099140613411731040827wb,
+ memory_order_seq_cst)
+ != -76674770179646697673734472954095705077wb)
+ abort ();
+
+ if (atomic_fetch_sub (&v, -82224045897086857020012824788652775087wb)
+ != 63118334298370141958812217350057359824wb)
+ abort ();
+
+ if (atomic_load_explicit (&v, memory_order_acquire)
+ != -24798803265012232752862261577173970817wb)
+ abort ();
+}
+
+void
+test_fetch_and ()
+{
+ atomic_store (&v, init);
+
+ if (atomic_fetch_and_explicit (&v, 0, memory_order_relaxed) != init)
+ abort ();
+
+ if (atomic_fetch_and_explicit (&v, init, memory_order_consume) != 0)
+ abort ();
+
+ if (atomic_fetch_and_explicit (&v, 0, memory_order_acquire) != 0)
+ abort ();
+
+ v = ~v;
+ if (atomic_fetch_and_explicit (&v, init, memory_order_release) != init)
+ abort ();
+
+ if (atomic_fetch_and_explicit (&v, 0, memory_order_acq_rel) != init)
+ abort ();
+
+ if (atomic_fetch_and_explicit (&v, 0, memory_order_seq_cst) != 0)
+ abort ();
+
+ if (atomic_fetch_and (&v, 0) != 0)
+ abort ();
+}
+
+void
+test_fetch_xor ()
+{
+ v = init;
+ count = 0;
+
+ if (atomic_fetch_xor_explicit (&v, count, memory_order_relaxed) != init)
+ abort ();
+
+ if (atomic_fetch_xor_explicit (&v, ~count, memory_order_consume) != init)
+ abort ();
+
+ if (atomic_fetch_xor_explicit (&v, 0, memory_order_acquire) != 0)
+ abort ();
+
+ if (atomic_fetch_xor_explicit (&v, ~count, memory_order_release) != 0)
+ abort ();
+
+ if (atomic_fetch_xor_explicit (&v, 0, memory_order_acq_rel) != init)
+ abort ();
+
+ if (atomic_fetch_xor_explicit (&v, ~count, memory_order_seq_cst) != init)
+ abort ();
+
+ if (atomic_fetch_xor (&v, ~count) != 0)
+ abort ();
+}
+
+void
+test_fetch_or ()
+{
+ v = 0;
+ count = 17592186044416wb;
+
+ if (atomic_fetch_or_explicit (&v, count, memory_order_relaxed) != 0)
+ abort ();
+
+ count *= 2;
+ if (atomic_fetch_or_explicit (&v, 35184372088832wb, memory_order_consume)
+ != 17592186044416wb)
+ abort ();
+
+ count *= 2;
+ if (atomic_fetch_or_explicit (&v, count, memory_order_acquire)
+ != 52776558133248wb)
+ abort ();
+
+ count *= 2;
+ if (atomic_fetch_or_explicit (&v, 140737488355328wb, memory_order_release)
+ != 123145302310912wb)
+ abort ();
+
+ count *= 2;
+ if (atomic_fetch_or_explicit (&v, count, memory_order_acq_rel)
+ != 263882790666240wb)
+ abort ();
+
+ count *= 2;
+ if (atomic_fetch_or_explicit (&v, count, memory_order_seq_cst)
+ != 545357767376896wb)
+ abort ();
+
+ count *= 2;
+ if (atomic_fetch_or (&v, count) != 1108307720798208wb)
+ abort ();
+}
+
+
+/* Test the OP routines with a result which isn't used. */
+
+void
+test_add ()
+{
+ v = 0;
+ count = 4722366482869645213696wb;
+
+ atomic_fetch_add (&v, count);
+ if (v != 4722366482869645213696wb)
+ abort ();
+
+ atomic_fetch_add_explicit (&v, count, memory_order_consume);
+ if (v != 9444732965739290427392wb)
+ abort ();
+
+ atomic_fetch_add (&v, 4722366482869645213696wb);
+ if (v != 14167099448608935641088wb)
+ abort ();
+
+ atomic_fetch_add_explicit (&v, 4722366482869645213696wb,
+ memory_order_release);
+ if (v != 18889465931478580854784wb)
+ abort ();
+
+ atomic_fetch_add (&v, 4722366482869645213696wb);
+ if (v != 23611832414348226068480wb)
+ abort ();
+
+ atomic_fetch_add_explicit (&v, count, memory_order_seq_cst);
+ if (v != 28334198897217871282176wb)
+ abort ();
+}
+
+void
+test_sub ()
+{
+ v = res = -3638804536836293398783417724445294828wb;
+ count = 0;
+
+ atomic_fetch_sub (&v, count + 1);
+ if (v != --res)
+ abort ();
+
+ atomic_fetch_sub_explicit (&v, count + 1, memory_order_consume);
+ if (v != --res)
+ abort ();
+
+ atomic_fetch_sub (&v, 1);
+ if (v != --res)
+ abort ();
+
+ atomic_fetch_sub_explicit (&v, 1, memory_order_release);
+ if (v != --res)
+ abort ();
+
+ atomic_fetch_sub (&v, count + 1);
+ if (v != --res)
+ abort ();
+
+ atomic_fetch_sub_explicit (&v, count + 1, memory_order_seq_cst);
+ if (v != --res)
+ abort ();
+}
+
+void
+test_and ()
+{
+ v = init;
+
+ atomic_fetch_and (&v, 0);
+ if (v != 0)
+ abort ();
+
+ v = init;
+ atomic_fetch_and_explicit (&v, init, memory_order_consume);
+ if (v != init)
+ abort ();
+
+ atomic_fetch_and (&v, 0);
+ if (v != 0)
+ abort ();
+
+ v = ~v;
+ atomic_fetch_and_explicit (&v, init, memory_order_release);
+ if (v != init)
+ abort ();
+
+ atomic_fetch_and (&v, 0);
+ if (v != 0)
+ abort ();
+
+ v = ~v;
+ atomic_fetch_and_explicit (&v, 0, memory_order_seq_cst);
+ if (v != 0)
+ abort ();
+}
+
+void
+test_xor ()
+{
+ v = init;
+ count = 0;
+
+ atomic_fetch_xor (&v, count);
+ if (v != init)
+ abort ();
+
+ atomic_fetch_xor_explicit (&v, ~count, memory_order_consume);
+ if (v != 0)
+ abort ();
+
+ atomic_fetch_xor (&v, 0);
+ if (v != 0)
+ abort ();
+
+ atomic_fetch_xor_explicit (&v, ~count, memory_order_release);
+ if (v != init)
+ abort ();
+
+ atomic_fetch_xor_explicit (&v, 0, memory_order_acq_rel);
+ if (v != init)
+ abort ();
+
+ atomic_fetch_xor (&v, ~count);
+ if (v != 0)
+ abort ();
+}
+
+void
+test_or ()
+{
+ v = 0;
+ count = 19342813113834066795298816wb;
+
+ atomic_fetch_or (&v, count);
+ if (v != 19342813113834066795298816wb)
+ abort ();
+
+ count *= 2;
+ atomic_fetch_or_explicit (&v, count, memory_order_consume);
+ if (v != 58028439341502200385896448wb)
+ abort ();
+
+ count *= 2;
+ atomic_fetch_or (&v, 77371252455336267181195264wb);
+ if (v != 135399691796838467567091712wb)
+ abort ();
+
+ count *= 2;
+ atomic_fetch_or_explicit (&v, 154742504910672534362390528wb,
+ memory_order_release);
+ if (v != 290142196707511001929482240wb)
+ abort ();
+
+ count *= 2;
+ atomic_fetch_or (&v, count);
+ if (v != 599627206528856070654263296wb)
+ abort ();
+
+ count *= 2;
+ atomic_fetch_or_explicit (&v, count, memory_order_seq_cst);
+ if (v != 1218597226171546208103825408wb)
+ abort ();
+}
+
+void
+test_exchange (void)
+{
+ atomic_store (&v, 15794812138349191682564933935017390008wb);
+ if (atomic_exchange (&v, -2166613183393424891717146518563613668wb)
+ != 15794812138349191682564933935017390008wb
+ || atomic_load (&v) != -2166613183393424891717146518563613668wb)
+ abort ();
+ if (atomic_exchange_explicit (&v, 61251098386268815852902382804483910638wb,
+ memory_order_relaxed)
+ != -2166613183393424891717146518563613668wb
+ || (atomic_load_explicit (&v, memory_order_acquire)
+ != 61251098386268815852902382804483910638wb))
+ abort ();
+
+ count = -2166613183393424891717146518563613668wb;
+ if (atomic_compare_exchange_strong (&v, &count,
+
-36677332297536901313774263310237646448wb))
+ abort ();
+ if (count != 61251098386268815852902382804483910638wb
+ || atomic_load (&v) != 61251098386268815852902382804483910638wb)
+ abort ();
+ if (!atomic_compare_exchange_strong (&v, &count,
+
-36677332297536901313774263310237646448wb))
+ abort ();
+ if (count != 61251098386268815852902382804483910638wb
+ || atomic_load (&v) != -36677332297536901313774263310237646448wb)
+ abort ();
+
+ count = -2166613183393424891717146518563613668wb;
+ if (atomic_compare_exchange_strong_explicit (&v, &count,
+
73949932022761409003352953944661689416wb,
+ memory_order_seq_cst,
+ memory_order_relaxed))
+ abort ();
+ if (count != -36677332297536901313774263310237646448wb
+ || atomic_load (&v) != -36677332297536901313774263310237646448wb)
+ abort ();
+ if (!atomic_compare_exchange_strong_explicit (&v, &count,
+
73949932022761409003352953944661689416wb,
+ memory_order_seq_cst,
+ memory_order_seq_cst))
+ abort ();
+ if (count != -36677332297536901313774263310237646448wb
+ || atomic_load (&v) != 73949932022761409003352953944661689416wb)
+ abort ();
+
+ count = atomic_load (&v);
+ do
+ res = count + -82256758205518164043596305502815392646wb;
+ while (!atomic_compare_exchange_weak (&v, &count, res));
+ if (atomic_load (&v) != -8306826182756755040243351558153703230wb)
+ abort ();
+
+ count = atomic_load_explicit (&v, memory_order_acquire);
+ do
+ res = count + 48855144829609538366772317026461909818wb;
+ while (!atomic_compare_exchange_weak_explicit (&v, &count, res,
+ memory_order_relaxed,
+ memory_order_relaxed));
+ if (atomic_load (&v) != 40548318646852783326528965468308206588wb)
+ abort ();
+}
+#endif
+
+int
+main ()
+{
+#if __BITINT_MAXWIDTH__ >= 127
+ test_fetch_add ();
+ test_fetch_sub ();
+ test_fetch_and ();
+ test_fetch_xor ();
+ test_fetch_or ();
+ test_add ();
+ test_sub ();
+ test_and ();
+ test_xor ();
+ test_or ();
+ test_exchange ();
+#endif
+ return 0;
+}
--- gcc/testsuite/gcc.dg/atomic/stdatomic-bitint-2.c.jj 2023-08-08
14:13:30.189642285 +0200
+++ gcc/testsuite/gcc.dg/atomic/stdatomic-bitint-2.c 2023-08-08
15:46:24.856469613 +0200
@@ -0,0 +1,450 @@
+/* PR c/102989 */
+/* { dg-do run { target bitint } } */
+/* { dg-options "-std=c2x -pedantic-errors" } */
+
+#include <stdatomic.h>
+
+extern void abort (void);
+
+#if __BITINT_MAXWIDTH__ >= 575
+_Atomic _BitInt(575) v;
+_BitInt(575) count, res;
+const _BitInt(575) init = ~(_BitInt(575)) 0wb;
+
+void
+test_fetch_add ()
+{
+ atomic_init (&v,
59465222573183779324781274162178653782927579944977967117312772499849358939735575735090252965265846823956223131844773977101864574011188590603103408821590130462520809924774161wb);
+ count =
21849324526703540909725517290562575722142104889154621021004438836543599493803029317660194646869455042293514095831327249339063542203879269024249546998746919066599380031180974wb;
+
+ if (atomic_fetch_add_explicit (&v, count, memory_order_relaxed)
+ !=
59465222573183779324781274162178653782927579944977967117312772499849358939735575735090252965265846823956223131844773977101864574011188590603103408821590130462520809924774161wb)
+ abort ();
+
+ if (atomic_fetch_add_explicit (&v,
-48324598397571087754171506195219221853271763472221035086980364394554212400270766919963305485900701475788840363160834710492683133292253640988518950921616217692973141455340373wb,
+ memory_order_consume)
+ !=
-42350653636664946795744469057082365512495989716473331818714316710055654119727328532407752918486220628549098485331968443234754400938307745356420121730609534429183196118394433wb)
+ abort ();
+
+ if (atomic_fetch_add_explicit (&v, count, memory_order_acquire)
+ !=
32989948702316232480335285257522007651797921361911553051336846941838746033267838132787142126234600390460896864515266515948244982922814218638834004898720831836147048500614762wb)
+ abort ();
+
+ if (atomic_fetch_add_explicit (&v,
6958312589905983216078981134518695082538588883298046610645489916662738759809700053844918067866491080683973037493524864531300139437943661326918145212620326291059845453630984wb,
+ memory_order_release)
+ !=
54839273229019773390060802548084583373940026251066174072341285778382345527070867450447336773104055432754410960346593765287308525126693487663083551897467750902746428531795736wb)
+ abort ();
+
+ if (atomic_fetch_add_explicit (&v, count, memory_order_acq_rel)
+ !=
61797585818925756606139783682603278456478615134364220682986775695045084286880567504292254840970546513438383997840118629818608664564637148990001697110088077193806273985426720wb)
+ abort ();
+
+ if (atomic_fetch_add_explicit (&v,
-40070085597220253007443375012839311464160438432662764715171645999337062215395237625623334979615599652975898123428005079853660189572782012739700306191422569739682093304494995wb,
+ memory_order_seq_cst)
+ !=
-40018290390922969514385959536657740838944954527087078253040313514859928772582336763205751042781520939066937619336623790518010310384859186969521833442111587697897732057741874wb)
+ abort ();
+
+ if (atomic_fetch_add (&v,
7196090098608011755205055682070541953902689411792805630101863619558545582022760829169235622333653743217332966939875542415224317593660770300818700993340012969018217868600175wb)
+ !=
43576824748409044508421925960326542714460281590856076988819568532251621565288359196329114508224401902755999970243440799304012017195734405274550937917412426520723560712112699wb)
+ abort ();
+
+ if (atomic_load (&v) !=
50772914847017056263626981642397084668362971002648882618921432151810167147311120025498350130558055645973332937183316341719236334789395175575369638910752439489741778580712874wb)
+ abort ();
+}
+
+void
+test_fetch_sub ()
+{
+ atomic_store_explicit (&v,
-24875491091433158113922205635657739252057730543056417031972993454853665637813018617125143194799847437263037065304695383952916979113678037118532311779822859742705294727822376wb,
+ memory_order_release);
+ count =
6813702694653136917886567607003795360731391695538381923575500076220746287948057449348609672603971831069550813465757196210073636056135824219022209113495061317682354090030599wb;
+
+ if (atomic_fetch_sub_explicit (&v, count, memory_order_relaxed)
+ !=
-24875491091433158113922205635657739252057730543056417031972993454853665637813018617125143194799847437263037065304695383952916979113678037118532311779822859742705294727822376wb)
+ abort ();
+
+ if (atomic_fetch_sub_explicit (&v,
8502925336737158389204618905966437550402192530184998378452912098895816391400915282714213521081597588768568861040471642522181200007537708168290327879425612502090295717806034wb,
+ memory_order_consume)
+ !=
-31689193786086295031808773242661534612789122238594798955548493531074411925761076066473752867403819268332587878770452580162990615169813861337554520893317921060387648817852975wb)
+ abort ();
+
+ if (atomic_fetch_sub_explicit (&v, count, memory_order_acquire)
+ !=
-40192119122823453421013392148627972163191314768779797334001405629970228317161991349187966388485416857101156739810924222685171815177351569505844848772743533562477944535659009wb)
+ abort ();
+
+ if (atomic_fetch_sub_explicit (&v,
-14654459030451169455889477114198307761108411115104251375487725308584250511764953921137486025925617622862411621191578047606524662379041353882420330350079004108508600686109553wb,
+ memory_order_release)
+ !=
-47005821817476590338899959755631767523922706464318179257576905706190974605110048798536576061089388688170707553276681418895245451233487393724867057886238594880160298625689608wb)
+ abort ();
+
+ if (atomic_fetch_sub_explicit (&v, count, memory_order_acq_rel)
+ !=
-32351362787025420883010482641433459762814295349213927882089180397606724093345094877399090035163771065308295932085103371288720788854446039842446727536159590771651697939580055wb)
+ abort ();
+
+ if (atomic_fetch_sub_explicit (&v,
22886836433700729148520267039236396292049781709943309196356241086882444816631218673962641435859436811686812355905147988710440709035301495069683757516099446883747069843672565wb,
+ memory_order_seq_cst)
+ !=
-39165065481678557800897050248437255123545687044752309805664680473827470381293152326747699707767742896377846745550860567498794424910581864061468936649654652089334052029610654wb)
+ abort ();
+
+ if (atomic_fetch_sub (&v,
49406467535448986167225179068150076098092817730200780462287871488076089290458383699602612866098591282427581289588523598202726797161439183859560135056424525356253246480887928wb)
+ !=
61613298821172980080833943222149943601970205795910300955010606485738697355341562584447859386994342786734176611552061113466447383207492245852620383385192484985222264201066349wb)
+ abort ();
+
+ if (atomic_load_explicit (&v, memory_order_acquire)
+ !=
12206831285723993913608764153999867503877388065709520492722734997662608064883178884845246520895751504306595321963537515263720586046053061993060248328767959628969017720178421wb)
+ abort ();
+}
+
+void
+test_fetch_and ()
+{
+ atomic_store (&v, init);
+
+ if (atomic_fetch_and_explicit (&v, 0, memory_order_relaxed) != init)
+ abort ();
+
+ if (atomic_fetch_and_explicit (&v, init, memory_order_consume) != 0)
+ abort ();
+
+ if (atomic_fetch_and_explicit (&v, 0, memory_order_acquire) != 0)
+ abort ();
+
+ v = ~v;
+ if (atomic_fetch_and_explicit (&v, init, memory_order_release) != init)
+ abort ();
+
+ if (atomic_fetch_and_explicit (&v, 0, memory_order_acq_rel) != init)
+ abort ();
+
+ if (atomic_fetch_and_explicit (&v, 0, memory_order_seq_cst) != 0)
+ abort ();
+
+ if (atomic_fetch_and (&v, 0) != 0)
+ abort ();
+}
+
+void
+test_fetch_xor ()
+{
+ v = init;
+ count = 0;
+
+ if (atomic_fetch_xor_explicit (&v, count, memory_order_relaxed) != init)
+ abort ();
+
+ if (atomic_fetch_xor_explicit (&v, ~count, memory_order_consume) != init)
+ abort ();
+
+ if (atomic_fetch_xor_explicit (&v, 0, memory_order_acquire) != 0)
+ abort ();
+
+ if (atomic_fetch_xor_explicit (&v, ~count, memory_order_release) != 0)
+ abort ();
+
+ if (atomic_fetch_xor_explicit (&v, 0, memory_order_acq_rel) != init)
+ abort ();
+
+ if (atomic_fetch_xor_explicit (&v, ~count, memory_order_seq_cst) != init)
+ abort ();
+
+ if (atomic_fetch_xor (&v, ~count) != 0)
+ abort ();
+}
+
+void
+test_fetch_or ()
+{
+ v = 0wb;
+ count =
28269553036454149273332760011886696253239742350009903329945699220681916416wb;
+
+ if (atomic_fetch_or_explicit (&v, count, memory_order_relaxed) != 0wb)
+ abort ();
+
+ count *= 2;
+ if (atomic_fetch_or_explicit (&v,
56539106072908298546665520023773392506479484700019806659891398441363832832wb,
+ memory_order_consume)
+ !=
28269553036454149273332760011886696253239742350009903329945699220681916416wb)
+ abort ();
+
+ count *= 2;
+ if (atomic_fetch_or_explicit (&v, count, memory_order_acquire)
+ !=
84808659109362447819998280035660088759719227050029709989837097662045749248wb)
+ abort ();
+
+ count *= 2;
+ if (atomic_fetch_or_explicit (&v,
226156424291633194186662080095093570025917938800079226639565593765455331328wb,
+ memory_order_release)
+ !=
197886871255179044913329320083206873772678196450069323309619894544773414912wb)
+ abort ();
+
+ count *= 2;
+ if (atomic_fetch_or_explicit (&v, count, memory_order_acq_rel)
+ !=
424043295546812239099991400178300443798596135250148549949185488310228746240wb)
+ abort ();
+
+ count *= 2;
+ if (atomic_fetch_or_explicit (&v, count, memory_order_seq_cst)
+ !=
876356144130078627473315560368487583850432012850307003228316675841139408896wb)
+ abort ();
+
+ count *= 2;
+ if (atomic_fetch_or (&v, count) !=
1780981841296611404219963880748861863954103768050623909786579050902960734208wb)
+ abort ();
+}
+
+
+/* Test the OP routines with a result which isn't used. */
+
+void
+test_add ()
+{
+ v = 0;
+ count =
1486842905609751694333995980623369134886360644481888406879896752089037065255179570086557965294767349553406889549100250674362935254187127254353474822610854717612397677wb;
+
+ atomic_fetch_add (&v, count);
+ if (v !=
1486842905609751694333995980623369134886360644481888406879896752089037065255179570086557965294767349553406889549100250674362935254187127254353474822610854717612397677wb)
+ abort ();
+
+ atomic_fetch_add_explicit (&v, count, memory_order_consume);
+ if (v !=
2973685811219503388667991961246738269772721288963776813759793504178074130510359140173115930589534699106813779098200501348725870508374254508706949645221709435224795354wb)
+ abort ();
+
+ atomic_fetch_add (&v,
1486842905609751694333995980623369134886360644481888406879896752089037065255179570086557965294767349553406889549100250674362935254187127254353474822610854717612397677wb);
+ if (v !=
4460528716829255083001987941870107404659081933445665220639690256267111195765538710259673895884302048660220668647300752023088805762561381763060424467832564152837193031wb)
+ abort ();
+
+ atomic_fetch_add_explicit (&v,
1486842905609751694333995980623369134886360644481888406879896752089037065255179570086557965294767349553406889549100250674362935254187127254353474822610854717612397677wb,
+ memory_order_release);
+ if (v !=
5947371622439006777335983922493476539545442577927553627519587008356148261020718280346231861179069398213627558196401002697451741016748509017413899290443418870449590708wb)
+ abort ();
+
+ atomic_fetch_add (&v,
1486842905609751694333995980623369134886360644481888406879896752089037065255179570086557965294767349553406889549100250674362935254187127254353474822610854717612397677wb);
+ if (v !=
7434214528048758471669979903116845674431803222409442034399483760445185326275897850432789826473836747767034447745501253371814676270935636271767374113054273588061988385wb)
+ abort ();
+
+ atomic_fetch_add_explicit (&v, count, memory_order_seq_cst);
+ if (v !=
8921057433658510166003975883740214809318163866891330441279380512534222391531077420519347791768604097320441337294601504046177611525122763526120848935665128305674386062wb)
+ abort ();
+}
+
+void
+test_sub ()
+{
+ v = res =
55339930658115792138308584702507715233391812567721958037499562620485942364609138719919541704955047331226014242859673113345829202990143617633801993282898070230404539826267403wb;
+ count = 0;
+
+ atomic_fetch_sub (&v, count +
2266681016524228072657464685355732111725088152428495977635446886262656759828446929716740827028716649170693025791717921736186782036315322643449879013364541057wb);
+ res -=
2266681016524228072657464685355732111725088152428495977635446886262656759828446929716740827028716649170693025791717921736186782036315322643449879013364541057wb;
+ if (v != res)
+ abort ();
+
+ atomic_fetch_sub_explicit (&v, count +
2266681016524228072657464685355732111725088152428495977635446886262656759828446929716740827028716649170693025791717921736186782036315322643449879013364541057wb,
memory_order_consume);
+ res -=
2266681016524228072657464685355732111725088152428495977635446886262656759828446929716740827028716649170693025791717921736186782036315322643449879013364541057wb;
+ if (v != res)
+ abort ();
+
+ atomic_fetch_sub (&v,
2266681016524228072657464685355732111725088152428495977635446886262656759828446929716740827028716649170693025791717921736186782036315322643449879013364541057wb);
+ res -=
2266681016524228072657464685355732111725088152428495977635446886262656759828446929716740827028716649170693025791717921736186782036315322643449879013364541057wb;
+ if (v != res)
+ abort ();
+
+ atomic_fetch_sub_explicit (&v,
2266681016524228072657464685355732111725088152428495977635446886262656759828446929716740827028716649170693025791717921736186782036315322643449879013364541057wb,
memory_order_release);
+ res -=
2266681016524228072657464685355732111725088152428495977635446886262656759828446929716740827028716649170693025791717921736186782036315322643449879013364541057wb;
+ if (v != res)
+ abort ();
+
+ atomic_fetch_sub (&v, count +
2266681016524228072657464685355732111725088152428495977635446886262656759828446929716740827028716649170693025791717921736186782036315322643449879013364541057wb);
+ res -=
2266681016524228072657464685355732111725088152428495977635446886262656759828446929716740827028716649170693025791717921736186782036315322643449879013364541057wb;
+ if (v != res)
+ abort ();
+
+ atomic_fetch_sub_explicit (&v, count +
2266681016524228072657464685355732111725088152428495977635446886262656759828446929716740827028716649170693025791717921736186782036315322643449879013364541057wb,
memory_order_seq_cst);
+ res -=
2266681016524228072657464685355732111725088152428495977635446886262656759828446929716740827028716649170693025791717921736186782036315322643449879013364541057wb;
+ if (v != res)
+ abort ();
+}
+
+void
+test_and ()
+{
+ v = init;
+
+ atomic_fetch_and (&v, 0);
+ if (v != 0)
+ abort ();
+
+ v = init;
+ atomic_fetch_and_explicit (&v, init, memory_order_consume);
+ if (v != init)
+ abort ();
+
+ atomic_fetch_and (&v, 0);
+ if (v != 0)
+ abort ();
+
+ v = ~v;
+ atomic_fetch_and_explicit (&v, init, memory_order_release);
+ if (v != init)
+ abort ();
+
+ atomic_fetch_and (&v, 0);
+ if (v != 0)
+ abort ();
+
+ v = ~v;
+ atomic_fetch_and_explicit (&v, 0, memory_order_seq_cst);
+ if (v != 0)
+ abort ();
+}
+
+void
+test_xor ()
+{
+ v = init;
+ count = 0;
+
+ atomic_fetch_xor (&v, count);
+ if (v != init)
+ abort ();
+
+ atomic_fetch_xor_explicit (&v, ~count, memory_order_consume);
+ if (v != 0)
+ abort ();
+
+ atomic_fetch_xor (&v, 0);
+ if (v != 0)
+ abort ();
+
+ atomic_fetch_xor_explicit (&v, ~count, memory_order_release);
+ if (v != init)
+ abort ();
+
+ atomic_fetch_xor_explicit (&v, 0, memory_order_acq_rel);
+ if (v != init)
+ abort ();
+
+ atomic_fetch_xor (&v, ~count);
+ if (v != 0)
+ abort ();
+}
+
+void
+test_or ()
+{
+ v = 0;
+ count = 19342813113834066795298816wb;
+
+ atomic_fetch_or (&v, count);
+ if (v != 19342813113834066795298816wb)
+ abort ();
+
+ count *= 2;
+ atomic_fetch_or_explicit (&v, count, memory_order_consume);
+ if (v != 58028439341502200385896448wb)
+ abort ();
+
+ count *= 2;
+ atomic_fetch_or (&v, 77371252455336267181195264wb);
+ if (v != 135399691796838467567091712wb)
+ abort ();
+
+ count *= 2;
+ atomic_fetch_or_explicit (&v, 154742504910672534362390528wb,
+ memory_order_release);
+ if (v != 290142196707511001929482240wb)
+ abort ();
+
+ count *= 2;
+ atomic_fetch_or (&v, count);
+ if (v != 599627206528856070654263296wb)
+ abort ();
+
+ count *= 2;
+ atomic_fetch_or_explicit (&v, count, memory_order_seq_cst);
+ if (v != 1218597226171546208103825408wb)
+ abort ();
+}
+
+void
+test_exchange (void)
+{
+ atomic_store (&v,
-285679222948993342888321238830899996788334328454283006589115162661816862491992700267590986826514460282130796141107636816730207482542791159837024986802592659048696136633096wb);
+ if (atomic_exchange (&v,
5310030317361876753340683501073244375280341322936688061997080395958520351093955920782059690068348979597317732862920837580508090330213951646930178946470395395144632931547601wb)
+ !=
-285679222948993342888321238830899996788334328454283006589115162661816862491992700267590986826514460282130796141107636816730207482542791159837024986802592659048696136633096wb
+ || atomic_load (&v) !=
5310030317361876753340683501073244375280341322936688061997080395958520351093955920782059690068348979597317732862920837580508090330213951646930178946470395395144632931547601wb)
+ abort ();
+ if (atomic_exchange_explicit (&v,
-4427613371507571222951705350055906255006016685171218855857415580222001757304647519678682295710994407542058879878792272713121656498918585491540313864044915269100507689612649wb,
+ memory_order_relaxed)
+ !=
5310030317361876753340683501073244375280341322936688061997080395958520351093955920782059690068348979597317732862920837580508090330213951646930178946470395395144632931547601wb
+ || (atomic_load_explicit (&v, memory_order_acquire)
+ !=
-4427613371507571222951705350055906255006016685171218855857415580222001757304647519678682295710994407542058879878792272713121656498918585491540313864044915269100507689612649wb))
+ abort ();
+
+ count =
5310030317361876753340683501073244375280341322936688061997080395958520351093955920782059690068348979597317732862920837580508090330213951646930178946470395395144632931547601wb;
+ if (atomic_compare_exchange_strong (&v, &count,
+
8894166061872682036448354332319628975793195843703235778626260413018342611721096976767565811189387129127069300488196032026080940074010266394902215699511191435840967345778707wb))
+ abort ();
+ if (count !=
-4427613371507571222951705350055906255006016685171218855857415580222001757304647519678682295710994407542058879878792272713121656498918585491540313864044915269100507689612649wb
+ || atomic_load (&v) !=
-4427613371507571222951705350055906255006016685171218855857415580222001757304647519678682295710994407542058879878792272713121656498918585491540313864044915269100507689612649wb)
+ abort ();
+ if (!atomic_compare_exchange_strong (&v, &count,
+
8894166061872682036448354332319628975793195843703235778626260413018342611721096976767565811189387129127069300488196032026080940074010266394902215699511191435840967345778707wb))
+ abort ();
+ if (count !=
-4427613371507571222951705350055906255006016685171218855857415580222001757304647519678682295710994407542058879878792272713121656498918585491540313864044915269100507689612649wb
+ || atomic_load (&v) !=
8894166061872682036448354332319628975793195843703235778626260413018342611721096976767565811189387129127069300488196032026080940074010266394902215699511191435840967345778707wb)
+ abort ();
+
+ count =
5310030317361876753340683501073244375280341322936688061997080395958520351093955920782059690068348979597317732862920837580508090330213951646930178946470395395144632931547601wb;
+ if (atomic_compare_exchange_strong_explicit (&v, &count,
+
-20263258027145541347005514871938569231358927704236809883668741851321168433670480594273940614283839738125120292424689828120954658857299483460682957837178666219043928324493674wb,
+ memory_order_seq_cst,
+ memory_order_relaxed))
+ abort ();
+ if (count !=
8894166061872682036448354332319628975793195843703235778626260413018342611721096976767565811189387129127069300488196032026080940074010266394902215699511191435840967345778707wb
+ || atomic_load (&v) !=
8894166061872682036448354332319628975793195843703235778626260413018342611721096976767565811189387129127069300488196032026080940074010266394902215699511191435840967345778707wb)
+ abort ();
+ if (!atomic_compare_exchange_strong_explicit (&v, &count,
+
-20263258027145541347005514871938569231358927704236809883668741851321168433670480594273940614283839738125120292424689828120954658857299483460682957837178666219043928324493674wb,
+ memory_order_seq_cst,
+ memory_order_seq_cst))
+ abort ();
+ if (count !=
8894166061872682036448354332319628975793195843703235778626260413018342611721096976767565811189387129127069300488196032026080940074010266394902215699511191435840967345778707wb
+ || atomic_load (&v) !=
-20263258027145541347005514871938569231358927704236809883668741851321168433670480594273940614283839738125120292424689828120954658857299483460682957837178666219043928324493674wb)
+ abort ();
+
+ count = atomic_load (&v);
+ do
+ res = count +
3438682542819842029328613486899299339199839206022263296398180581126218550036955367421469273900216774711772362599086182416923053671263751262393559525082445581168420546542404wb;
+ while (!atomic_compare_exchange_weak (&v, &count, res));
+ if (atomic_load (&v) !=
-16824575484325699317676901385039269892159088498214546587270561270194949883633525226852471340383622963413347929825603645704031605186035732198289398312096220637875507777951270wb)
+ abort ();
+
+ count = atomic_load_explicit (&v, memory_order_acquire);
+ do
+ res = count +
55351299008567209999272942257960316150846002020561006740901388462123844029522178721330031429855007927083338249659817829635668878607777961512926342979905691183772323299904096wb;
+ while (!atomic_compare_exchange_weak_explicit (&v, &count, res,
+ memory_order_relaxed,
+ memory_order_relaxed));
+ if (atomic_load (&v) !=
38526723524241510681596040872921046258686913522346460153630827191928894145888653494477560089471384963669990319834214183931637273421742229314636944667809470545896815521952826wb)
+ abort ();
+}
+#endif
+
+int
+main ()
+{
+#if __BITINT_MAXWIDTH__ >= 575
+ test_fetch_add ();
+ test_fetch_sub ();
+ test_fetch_and ();
+ test_fetch_xor ();
+ test_fetch_or ();
+ test_add ();
+ test_sub ();
+ test_and ();
+ test_xor ();
+ test_or ();
+ test_exchange ();
+#endif
+ return 0;
+}
Jakub
