gcc/testsuite/g++.dg/opt/pr79805.C

   1 // PR middle-end/79805
   2 // { dg-do compile }
   3 // { dg-options "-O2 -fnon-call-exceptions" }
   4
   5 struct A { A (); ~A (); };
   6
   7 void bar (void);
   8
   9 int
  10 f0 (int *d, int f)
  11 {
  12   A z;
  13   int e = __atomic_compare_exchange_n (d, &f, 1, 1, __ATOMIC_RELAXED, __ATOMIC_RELAXED);
  14   return e;
  15 }
  16
  17 int
  18 f1 (int *a, int bit)
  19 {
  20   A z;
  21   unsigned int mask = (1u << bit);
  22   return (__sync_fetch_and_or (a, mask) & mask) != 0;
  23 }
  24
  25 int
  26 f2 (int *a, int bit)
  27 {
  28   A z;
  29   unsigned int mask = (1u << bit);
  30   unsigned int t1 = __atomic_fetch_or (a, mask, __ATOMIC_RELAXED);
  31   unsigned int t2 = t1 & mask;
  32   return t2 != 0;
  33 }
  34
  35 long int
  36 f3 (long int *a, int bit)
  37 {
  38   A z;
  39   unsigned long int mask = (1ul << bit);
  40   return (__atomic_fetch_or (a, mask, __ATOMIC_SEQ_CST) & mask) == 0;
  41 }
  42
  43 int
  44 f4 (int *a)
  45 {
  46   A z;
  47   unsigned int mask = (1u << 7);
  48   return (__sync_fetch_and_or (a, mask) & mask) != 0;
  49 }
  50
  51 int
  52 f5 (int *a)
  53 {
  54   A z;
  55   unsigned int mask = (1u << 13);
  56   return (__atomic_fetch_or (a, mask, __ATOMIC_RELAXED) & mask) != 0;
  57 }
  58
  59 int
  60 f6 (int *a)
  61 {
  62   A z;
  63   unsigned int mask = (1u << 0);
  64   return (__atomic_fetch_or (a, mask, __ATOMIC_SEQ_CST) & mask) != 0;
  65 }
  66
  67 void
  68 f7 (int *a, int bit)
  69 {
  70   A z;
  71   unsigned int mask = (1u << bit);
  72   if ((__sync_fetch_and_xor (a, mask) & mask) != 0)
  73     bar ();
  74 }
  75
  76 void
  77 f8 (int *a, int bit)
  78 {
  79   A z;
  80   unsigned int mask = (1u << bit);
  81   if ((__atomic_fetch_xor (a, mask, __ATOMIC_RELAXED) & mask) == 0)
  82     bar ();
  83 }
  84
  85 int
  86 f9 (int *a, int bit)
  87 {
  88   A z;
  89   unsigned int mask = (1u << bit);
  90   return (__atomic_fetch_xor (a, mask, __ATOMIC_SEQ_CST) & mask) != 0;
  91 }
  92
  93 int
  94 f10 (int *a)
  95 {
  96   A z;
  97   unsigned int mask = (1u << 7);
  98   return (__sync_fetch_and_xor (a, mask) & mask) != 0;
  99 }
 100
 101 int
 102 f11 (int *a)
 103 {
 104   A z;
 105   unsigned int mask = (1u << 13);
 106   return (__atomic_fetch_xor (a, mask, __ATOMIC_RELAXED) & mask) != 0;
 107 }
 108
 109 int
 110 f12 (int *a)
 111 {
 112   A z;
 113   unsigned int mask = (1u << 0);
 114   return (__atomic_fetch_xor (a, mask, __ATOMIC_SEQ_CST) & mask) != 0;
 115 }
 116
 117 int
 118 f13 (int *a, int bit)
 119 {
 120   A z;
 121   unsigned int mask = (1u << bit);
 122   return (__sync_fetch_and_and (a, ~mask) & mask) != 0;
 123 }
 124
 125 int
 126 f14 (int *a, int bit)
 127 {
 128   A z;
 129   unsigned int mask = (1u << bit);
 130   return (__atomic_fetch_and (a, ~mask, __ATOMIC_RELAXED) & mask) != 0;
 131 }
 132
 133 int
 134 f15 (int *a, int bit)
 135 {
 136   A z;
 137   unsigned int mask = (1u << bit);
 138   return (__atomic_fetch_and (a, ~mask, __ATOMIC_SEQ_CST) & mask) != 0;
 139 }
 140
 141 int
 142 f16 (int *a)
 143 {
 144   A z;
 145   unsigned int mask = (1u << 7);
 146   return (__sync_fetch_and_and (a, ~mask) & mask) != 0;
 147 }
 148
 149 int
 150 f17 (int *a)
 151 {
 152   A z;
 153   unsigned int mask = (1u << 13);
 154   return (__atomic_fetch_and (a, ~mask, __ATOMIC_RELAXED) & mask) != 0;
 155 }
 156
 157 int
 158 f18 (int *a)
 159 {
 160   A z;
 161   unsigned int mask = (1u << 0);
 162   return (__atomic_fetch_and (a, ~mask, __ATOMIC_SEQ_CST) & mask) != 0;
 163 }
 164
 165 unsigned long int
 166 f19 (unsigned long int *a, int bit)
 167 {
 168   A z;
 169   unsigned long int mask = (1ul << bit);
 170   return (__atomic_xor_fetch (a, mask, __ATOMIC_SEQ_CST) & mask) != 0;
 171 }
 172
 173 unsigned long int
 174 f20 (unsigned long int *a)
 175 {
 176   A z;
 177   unsigned long int mask = (1ul << 7);
 178   return (__atomic_xor_fetch (a, mask, __ATOMIC_SEQ_CST) & mask) == 0;
 179 }
 180
 181 int
 182 f21 (int *a, int bit)
 183 {
 184   A z;
 185   unsigned int mask = (1u << bit);
 186   return (__sync_fetch_and_or (a, mask) & mask);
 187 }
 188
 189 unsigned long int
 190 f22 (unsigned long int *a)
 191 {
 192   A z;
 193   unsigned long int mask = (1ul << 7);
 194   return (__atomic_xor_fetch (a, mask, __ATOMIC_SEQ_CST) & mask);
 195 }
 196
 197 unsigned long int
 198 f23 (unsigned long int *a)
 199 {
 200   A z;
 201   unsigned long int mask = (1ul << 7);
 202   return (__atomic_fetch_xor (a, mask, __ATOMIC_SEQ_CST) & mask);
 203 }
 204
 205 unsigned short int
 206 f24 (unsigned short int *a)
 207 {
 208   A z;
 209   unsigned short int mask = (1u << 7);
 210   return (__sync_fetch_and_or (a, mask) & mask) != 0;
 211 }
 212
 213 unsigned short int
 214 f25 (unsigned short int *a)
 215 {
 216   A z;
 217   unsigned short int mask = (1u << 7);
 218   return (__atomic_fetch_or (a, mask, __ATOMIC_SEQ_CST) & mask) != 0;
 219 }