int32x4_t test_vqdmlsl_high_s16(int32x4_t accum, int16x8_t lhs, int16x8_t rhs) { // CHECK: sqdmlsl2.4s return vqdmlsl_high_s16(accum, lhs, rhs); }
int32x4_t test_vqdmlsl_high_s16 (int32x4_t __a, int16x8_t __b, int16x8_t __c) { return vqdmlsl_high_s16 (__a, __b, __c); }