int64x2_t test_vqdmlsl_high_lane_s32 (int64x2_t __a, int32x4_t __b, int32x4_t __c) { return vqdmlsl_high_lane_s32 (__a, __b, __c, 1); }
int64x2_t test_vqdmlsl_high_lane_s32(int64x2_t a, int32x4_t b, int32x2_t v) { // CHECK: test_vqdmlsl_high_lane_s32 return vqdmlsl_high_lane_s32(a, b, v, 1); // CHECK: sqdmlsl2 {{v[0-9]+}}.2d, {{v[0-9]+}}.4s, {{v[0-9]+}}.s[1] }