int64x2_t test_vqdmlsl_high_s32(int64x2_t accum, int32x4_t lhs, int32x4_t rhs) { // CHECK: sqdmlsl2.2d return vqdmlsl_high_s32(accum, lhs, rhs); }
int64x2_t test_vqdmlsl_high_s32 (int64x2_t __a, int32x4_t __b, int32x4_t __c) { return vqdmlsl_high_s32 (__a, __b, __c); }