int64x2_t test_vqdmlal_high_s32(int64x2_t accum, int32x4_t lhs, int32x4_t rhs) { // CHECK: sqdmlal2.2d return vqdmlal_high_s32(accum, lhs, rhs); }
int64x2_t test_vqdmlal_high_s32 (int64x2_t __a, int32x4_t __b, int32x4_t __c) { return vqdmlal_high_s32 (__a, __b, __c); }