1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fno-inline" } */
       3  
       4  #include <arm_neon.h>
       5  
       6  void
       7  foo1 (uint64_t *a)
       8  {
       9    uint64x1_t val18;
      10    uint32x2_t val19;
      11    uint64x1_t val20;
      12    val19 = vcreate_u32 (0x800000004cf3dffbUL);
      13    val20 = vrsra_n_u64 (val18, vreinterpret_u64_u32 (val19), 34);
      14    vst1_u64 (a, val20);
      15  }
      16  
      17  void
      18  foo2 (uint64_t *a)
      19  {
      20    uint64x1_t val18;
      21    uint32x2_t val19;
      22    uint64x1_t val20;
      23    val19 = vcreate_u32 (0xdffbUL);
      24    val20 = vrsra_n_u64 (val18, vreinterpret_u64_u32 (val19), 34);
      25    vst1_u64 (a, val20);
      26  }