gcc/testsuite/gcc.dg/store_merging_13.c

   1 /* { dg-do run } */
   2 /* { dg-require-effective-target store_merge } */
   3 /* { dg-options "-O2 -fno-tree-vectorize -fdump-tree-store-merging" } */
   4
   5 struct S { unsigned char a, b; unsigned short c; unsigned char d, e, f, g; unsigned long long h; };
   6
   7 __attribute__((noipa)) void
   8 f1 (struct S *p)
   9 {
  10   p->a = 1;
  11   p->b = 2;
  12   p->c = 3;
  13   p->d = 4;
  14   p->e = 5;
  15   p->f = 6;
  16   p->g = 7;
  17 }
  18
  19 __attribute__((noipa)) void
  20 f2 (struct S *__restrict p, struct S *__restrict q)
  21 {
  22   p->a = q->a;
  23   p->b = q->b;
  24   p->c = q->c;
  25   p->d = q->d;
  26   p->e = q->e;
  27   p->f = q->f;
  28   p->g = q->g;
  29 }
  30
  31 __attribute__((noipa)) void
  32 f3 (struct S *p, struct S *q)
  33 {
  34   unsigned char pa = q->a;
  35   unsigned char pb = q->b;
  36   unsigned short pc = q->c;
  37   unsigned char pd = q->d;
  38   unsigned char pe = q->e;
  39   unsigned char pf = q->f;
  40   unsigned char pg = q->g;
  41   p->a = pa;
  42   p->b = pb;
  43   p->c = pc;
  44   p->d = pd;
  45   p->e = pe;
  46   p->f = pf;
  47   p->g = pg;
  48 }
  49
  50 __attribute__((noipa)) void
  51 f4 (struct S *p, struct S *q)
  52 {
  53   unsigned char pa = p->a | q->a;
  54   unsigned char pb = p->b | q->b;
  55   unsigned short pc = p->c | q->c;
  56   unsigned char pd = p->d | q->d;
  57   unsigned char pe = p->e | q->e;
  58   unsigned char pf = p->f | q->f;
  59   unsigned char pg = p->g | q->g;
  60   p->a = pa;
  61   p->b = pb;
  62   p->c = pc;
  63   p->d = pd;
  64   p->e = pe;
  65   p->f = pf;
  66   p->g = pg;
  67 }
  68
  69 __attribute__((noipa)) void
  70 f5 (struct S *p, struct S *q)
  71 {
  72   unsigned char pa = p->a & q->a;
  73   unsigned char pb = p->b & q->b;
  74   unsigned short pc = p->c & q->c;
  75   unsigned char pd = p->d & q->d;
  76   unsigned char pe = p->e & q->e;
  77   unsigned char pf = p->f & q->f;
  78   unsigned char pg = p->g & q->g;
  79   p->a = pa;
  80   p->b = pb;
  81   p->c = pc;
  82   p->d = pd;
  83   p->e = pe;
  84   p->f = pf;
  85   p->g = pg;
  86 }
  87
  88 __attribute__((noipa)) void
  89 f6 (struct S *p, struct S *q)
  90 {
  91   unsigned char pa = p->a ^ q->a;
  92   unsigned char pb = p->b ^ q->b;
  93   unsigned short pc = p->c ^ q->c;
  94   unsigned char pd = p->d ^ q->d;
  95   unsigned char pe = p->e ^ q->e;
  96   unsigned char pf = p->f ^ q->f;
  97   unsigned char pg = p->g ^ q->g;
  98   p->a = pa;
  99   p->b = pb;
 100   p->c = pc;
 101   p->d = pd;
 102   p->e = pe;
 103   p->f = pf;
 104   p->g = pg;
 105 }
 106
 107 __attribute__((noipa)) void
 108 f7 (struct S *__restrict p, struct S *__restrict q)
 109 {
 110   p->a |= q->a;
 111   p->b |= q->b;
 112   p->c |= q->c;
 113   p->d |= q->d;
 114   p->e |= q->e;
 115   p->f |= q->f;
 116   p->g |= q->g;
 117 }
 118
 119 __attribute__((noipa)) void
 120 f8 (struct S *__restrict p, struct S *__restrict q)
 121 {
 122   p->a &= q->a;
 123   p->b &= q->b;
 124   p->c &= q->c;
 125   p->d &= q->d;
 126   p->e &= q->e;
 127   p->f &= q->f;
 128   p->g &= q->g;
 129 }
 130
 131 __attribute__((noipa)) void
 132 f9 (struct S *__restrict p, struct S *__restrict q)
 133 {
 134   p->a ^= q->a;
 135   p->b ^= q->b;
 136   p->c ^= q->c;
 137   p->d ^= q->d;
 138   p->e ^= q->e;
 139   p->f ^= q->f;
 140   p->g ^= q->g;
 141 }
 142
 143 __attribute__((noipa)) void
 144 f10 (struct S *__restrict p, struct S *__restrict q)
 145 {
 146   p->a = ~q->a;
 147   p->b = ~q->b;
 148   p->c = ~q->c;
 149   p->d = ~q->d;
 150   p->e = ~q->e;
 151   p->f = ~q->f;
 152   p->g = ~q->g;
 153 }
 154
 155 __attribute__((noipa)) void
 156 f11 (struct S *__restrict p, struct S *__restrict q)
 157 {
 158   p->a = p->a | (unsigned char) ~q->a;
 159   p->b = p->b | (unsigned char) ~q->b;
 160   p->c = p->c | (unsigned short) ~q->c;
 161   p->d = p->d | (unsigned char) ~q->d;
 162   p->e = p->e | (unsigned char) ~q->e;
 163   p->f = p->f | (unsigned char) ~q->f;
 164   p->g = p->g | (unsigned char) ~q->g;
 165 }
 166
 167 __attribute__((noipa)) void
 168 f12 (struct S *__restrict p, struct S *__restrict q)
 169 {
 170   p->a = p->a & (unsigned char) ~q->a;
 171   p->b = p->b & (unsigned char) ~q->b;
 172   p->c = p->c & (unsigned short) ~q->c;
 173   p->d = p->d & (unsigned char) ~q->d;
 174   p->e = p->e & (unsigned char) ~q->e;
 175   p->f = p->f & (unsigned char) ~q->f;
 176   p->g = p->g & (unsigned char) ~q->g;
 177 }
 178
 179 __attribute__((noipa)) void
 180 f13 (struct S *__restrict p, struct S *__restrict q)
 181 {
 182   p->a = p->a ^ (unsigned char) ~q->a;
 183   p->b = p->b ^ (unsigned char) ~q->b;
 184   p->c = p->c ^ (unsigned short) ~q->c;
 185   p->d = p->d ^ (unsigned char) ~q->d;
 186   p->e = p->e ^ (unsigned char) ~q->e;
 187   p->f = p->f ^ (unsigned char) ~q->f;
 188   p->g = p->g ^ (unsigned char) ~q->g;
 189 }
 190
 191 struct S s = { 20, 21, 22, 23, 24, 25, 26, 27 };
 192 struct S t = { 0x71, 0x72, 0x7f04, 0x78, 0x31, 0x32, 0x34, 0xf1f2f3f4f5f6f7f8ULL };
 193 struct S u = { 28, 29, 30, 31, 32, 33, 34, 35 };
 194 struct S v = { 36, 37, 38, 39, 40, 41, 42, 43 };
 195
 196 int
 197 main ()
 198 {
 199   asm volatile ("" : : : "memory");
 200   f1 (&s);
 201   asm volatile ("" : : : "memory");
 202   if (s.a != 1 || s.b != 2 || s.c != 3 || s.d != 4
 203       || s.e != 5 || s.f != 6 || s.g != 7 || s.h != 27)
 204     __builtin_abort ();
 205   f2 (&s, &u);
 206   asm volatile ("" : : : "memory");
 207   if (s.a != 28 || s.b != 29 || s.c != 30 || s.d != 31
 208       || s.e != 32 || s.f != 33 || s.g != 34 || s.h != 27)
 209     __builtin_abort ();
 210   f3 (&s, &v);
 211   asm volatile ("" : : : "memory");
 212   if (s.a != 36 || s.b != 37 || s.c != 38 || s.d != 39
 213       || s.e != 40 || s.f != 41 || s.g != 42 || s.h != 27)
 214     __builtin_abort ();
 215   f4 (&s, &t);
 216   asm volatile ("" : : : "memory");
 217   if (s.a != (36 | 0x71) || s.b != (37 | 0x72)
 218       || s.c != (38 | 0x7f04) || s.d != (39 | 0x78)
 219       || s.e != (40 | 0x31) || s.f != (41 | 0x32)
 220       || s.g != (42 | 0x34) || s.h != 27)
 221     __builtin_abort ();
 222   f3 (&s, &u);
 223   f5 (&s, &t);
 224   asm volatile ("" : : : "memory");
 225   if (s.a != (28 & 0x71) || s.b != (29 & 0x72)
 226       || s.c != (30 & 0x7f04) || s.d != (31 & 0x78)
 227       || s.e != (32 & 0x31) || s.f != (33 & 0x32)
 228       || s.g != (34 & 0x34) || s.h != 27)
 229     __builtin_abort ();
 230   f2 (&s, &v);
 231   f6 (&s, &t);
 232   asm volatile ("" : : : "memory");
 233   if (s.a != (36 ^ 0x71) || s.b != (37 ^ 0x72)
 234       || s.c != (38 ^ 0x7f04) || s.d != (39 ^ 0x78)
 235       || s.e != (40 ^ 0x31) || s.f != (41 ^ 0x32)
 236       || s.g != (42 ^ 0x34) || s.h != 27)
 237     __builtin_abort ();
 238   f3 (&s, &v);
 239   f7 (&s, &t);
 240   asm volatile ("" : : : "memory");
 241   if (s.a != (36 | 0x71) || s.b != (37 | 0x72)
 242       || s.c != (38 | 0x7f04) || s.d != (39 | 0x78)
 243       || s.e != (40 | 0x31) || s.f != (41 | 0x32)
 244       || s.g != (42 | 0x34) || s.h != 27)
 245     __builtin_abort ();
 246   f3 (&s, &u);
 247   f8 (&s, &t);
 248   asm volatile ("" : : : "memory");
 249   if (s.a != (28 & 0x71) || s.b != (29 & 0x72)
 250       || s.c != (30 & 0x7f04) || s.d != (31 & 0x78)
 251       || s.e != (32 & 0x31) || s.f != (33 & 0x32)
 252       || s.g != (34 & 0x34) || s.h != 27)
 253     __builtin_abort ();
 254   f2 (&s, &v);
 255   f9 (&s, &t);
 256   asm volatile ("" : : : "memory");
 257   if (s.a != (36 ^ 0x71) || s.b != (37 ^ 0x72)
 258       || s.c != (38 ^ 0x7f04) || s.d != (39 ^ 0x78)
 259       || s.e != (40 ^ 0x31) || s.f != (41 ^ 0x32)
 260       || s.g != (42 ^ 0x34) || s.h != 27)
 261     __builtin_abort ();
 262   f10 (&s, &u);
 263   asm volatile ("" : : : "memory");
 264   if (s.a != (unsigned char) ~28 || s.b != (unsigned char) ~29
 265       || s.c != (unsigned short) ~30 || s.d != (unsigned char) ~31
 266       || s.e != (unsigned char) ~32 || s.f != (unsigned char) ~33
 267       || s.g != (unsigned char) ~34 || s.h != 27)
 268     __builtin_abort ();
 269   f3 (&s, &v);
 270   f11 (&s, &t);
 271   asm volatile ("" : : : "memory");
 272   if (s.a != (36 | (unsigned char) ~0x71) || s.b != (37 | (unsigned char) ~0x72)
 273       || s.c != (38 | (unsigned short) ~0x7f04) || s.d != (39 | (unsigned char) ~0x78)
 274       || s.e != (40 | (unsigned char) ~0x31) || s.f != (41 | (unsigned char) ~0x32)
 275       || s.g != (42 | (unsigned char) ~0x34) || s.h != 27)
 276     __builtin_abort ();
 277   f3 (&s, &u);
 278   f12 (&s, &t);
 279   asm volatile ("" : : : "memory");
 280   if (s.a != (28 & (unsigned char) ~0x71) || s.b != (29 & (unsigned char) ~0x72)
 281       || s.c != (30 & (unsigned short) ~0x7f04) || s.d != (31 & (unsigned char) ~0x78)
 282       || s.e != (32 & (unsigned char) ~0x31) || s.f != (33 & (unsigned char) ~0x32)
 283       || s.g != (34 & (unsigned char) ~0x34) || s.h != 27)
 284     __builtin_abort ();
 285   f2 (&s, &v);
 286   f13 (&s, &t);
 287   asm volatile ("" : : : "memory");
 288   if (s.a != (36 ^ (unsigned char) ~0x71) || s.b != (37 ^ (unsigned char) ~0x72)
 289       || s.c != (38 ^ (unsigned short) ~0x7f04) || s.d != (39 ^ (unsigned char) ~0x78)
 290       || s.e != (40 ^ (unsigned char) ~0x31) || s.f != (41 ^ (unsigned char) ~0x32)
 291       || s.g != (42 ^ (unsigned char) ~0x34) || s.h != 27)
 292     __builtin_abort ();
 293   return 0;
 294 }
 295
 296 /* { dg-final { scan-tree-dump-times "Merging successful" 13 "store-merging" } } */