void test_vrev64Qs8 (void) { int8x16_t out_int8x16_t; int8x16_t arg0_int8x16_t; out_int8x16_t = vrev64q_s8 (arg0_int8x16_t); }
inline int8x16_t vrev64q(const int8x16_t & v) { return vrev64q_s8 (v); }