static_always_inline u32x4
u32x4_byte_swap (u32x4 v)
{
- return vrev64q_u32 (v);
+ return (u32x4) vrev32q_u8 ((u8x16) v);
}
static_always_inline u8x16
}
static_always_inline u64x2
-u32x4_extend_to_u64x2 (u32x4 v)
+u64x2_from_u32x4 (u32x4 v)
{
return vmovl_u32 (vget_low_u32 (v));
}
static_always_inline u64x2
-u32x4_extend_to_u64x2_high (u32x4 v)
+u64x2_from_u32x4_high (u32x4 v)
{
return vmovl_high_u32 (v);
}