/* { dg-do compile } */
/* { dg-options "-O2" } */

typedef __UINT32_TYPE__ uint32_t;
typedef uint32_t uint32x4 __attribute__((vector_size(16)));
typedef struct {
  uint32x4 b, d;
} prng_t;
prng_t prng_rand_128_r_x;
int main_flags;
int main() {
  uint32_t ref_crc[] = {7, 3};
  uint32x4 e = (prng_rand_128_r_x.b << 27) + (prng_rand_128_r_x.b >> 32 - 27);
  prng_rand_128_r_x.d = e;
  if (ref_crc[main_flags])
    __builtin_abort ();
  return 0;
}