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

#include <arm_neon.h>

void
foo1 (uint64_t *a)
{
  uint64x1_t val18;
  uint32x2_t val19;
  uint64x1_t val20;
  val19 = vcreate_u32 (0x800000004cf3dffbUL);
  val20 = vrsra_n_u64 (val18, vreinterpret_u64_u32 (val19), 34);
  vst1_u64 (a, val20);
}

void
foo2 (uint64_t *a)
{
  uint64x1_t val18;
  uint32x2_t val19;
  uint64x1_t val20;
  val19 = vcreate_u32 (0xdffbUL);
  val20 = vrsra_n_u64 (val18, vreinterpret_u64_u32 (val19), 34);
  vst1_u64 (a, val20);
}