int64x2_t test_vqdmull_high_s32(int32x4_t lhs, int32x4_t rhs) { // CHECK: sqdmull2.2d return vqdmull_high_s32(lhs, rhs); }
int64x2_t test_vqdmull_high_s32 (int32x4_t __a, int32x4_t __b) { return vqdmull_high_s32 (__a, __b); }
int64x2_t test_vqdmull_high_s32(int32x4_t lhs, int32x4_t rhs) { // CHECK: sqdmull2.2d return vqdmull_high_s32(lhs, rhs); }
int64x2_t test_vqdmull_high_s32 (int32x4_t __a, int32x4_t __b) { return vqdmull_high_s32 (__a, __b); }