1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fno-inline" } */
3 
4 #include <arm_neon.h>
5 
6 void
foo1(uint64_t * a)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
foo2(uint64_t * a)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 }
27