int64x2_t test_vqdmull_high_laneq_s32 (int32x4_t __a, int32x4_t __b) { return vqdmull_high_laneq_s32 (__a, __b, 3); }
int64x2_t test_vqdmull_high_laneq_s32(int32x4_t a, int32x4_t v) { // CHECK: test_vqdmull_high_laneq_s32 return vqdmull_high_laneq_s32(a, v, 1); // CHECK: sqdmull2 {{v[0-9]+}}.2d, {{v[0-9]+}}.4s, {{v[0-9]+}}.s[1] }