int32x4_t test_vqdmull_high_s16(int16x8_t lhs, int16x8_t rhs) { // CHECK: sqdmull2.4s return vqdmull_high_s16(lhs, rhs); }
int32x4_t test_vqdmull_high_s16 (int16x8_t __a, int16x8_t __b) { return vqdmull_high_s16 (__a, __b); }