void test_vmaxu16 (void) { uint16x4_t out_uint16x4_t; uint16x4_t arg0_uint16x4_t; uint16x4_t arg1_uint16x4_t; out_uint16x4_t = vmax_u16 (arg0_uint16x4_t, arg1_uint16x4_t); }
inline uint16x4_t vmax(const uint16x4_t & v0, const uint16x4_t & v1) { return vmax_u16(v0, v1); }
uint16x4_t test_vmax_u16 (uint16x4_t __a, uint16x4_t __b) { return vmax_u16(__a, __b); }