uint64x2_t
uint64x2_t rk64 = vreinterpretq_u64_u8(rk);
uint64x2_t __tab64 = (uint64x2_t)__tab;
uint64x2_t __idx64, __out64;
__idx64 = (uint64x2_t)__idx;
__out64 = (uint64x2_t) { (uint64x1_t)__outlo, (uint64x1_t)__outhi };
uint64x2_t __tab64 = (uint64x2_t)__tab;
uint64x2_t __idx64, __out64;
__idx64 = (uint64x2_t)__idx;
__out64 = (uint64x2_t) { (uint64_t)__outlo, (uint64_t)__outhi };
vreinterpretq_u32_u64(uint64x2_t __v)
static __inline uint64x2_t
return (uint64x2_t)__v;
static __inline uint64x2_t
return (uint64x2_t)__v;
vreinterpretq_u8_u64(uint64x2_t __v)
static __inline uint64x2_t
vsetq_lane_u64(uint64_t __x, uint64x2_t __v, uint8_t __i)
(uint64x2_t)__builtin_neon_vsetq_lane_i64((__x), (int64x2_t)(__v), \
uint64x2_t y64, x64 = vreinterpretq_u64_u32(x);
y64 = (uint64x2_t) {