void test_vrev64Qu8 (void) { uint8x16_t out_uint8x16_t; uint8x16_t arg0_uint8x16_t; out_uint8x16_t = vrev64q_u8 (arg0_uint8x16_t); }
inline uint8x16_t vrev64q(const uint8x16_t & v) { return vrev64q_u8 (v); }