void test_vrev64u8 (void) { uint8x8_t out_uint8x8_t; uint8x8_t arg0_uint8x8_t; out_uint8x8_t = vrev64_u8 (arg0_uint8x8_t); }
inline uint8x8_t vrev64(const uint8x8_t & v) { return vrev64_u8 (v); }