int32x4_t test_vqdmull_high_lane_s16 (int16x8_t a, int16x8_t b) { return vqdmull_high_lane_s16 (a, b, 3); }
int32x4_t test_vqdmull_high_lane_s16(int16x8_t a, int16x4_t v) { // CHECK: test_vqdmull_high_lane_s16 return vqdmull_high_lane_s16(a, v, 1); // CHECK: sqdmull2 {{v[0-9]+}}.4s, {{v[0-9]+}}.8h, {{v[0-9]+}}.h[1] }