void test_vrev64s8 (void) { int8x8_t out_int8x8_t; int8x8_t arg0_int8x8_t; out_int8x8_t = vrev64_s8 (arg0_int8x8_t); }
inline int8x8_t vrev64(const int8x8_t & v) { return vrev64_s8 (v); }