void test_vrev64u32 (void) { uint32x2_t out_uint32x2_t; uint32x2_t arg0_uint32x2_t; out_uint32x2_t = vrev64_u32 (arg0_uint32x2_t); }
inline uint32x2_t vrev64(const uint32x2_t & v) { return vrev64_u32(v); }