test_vmulx_lane1_f32 (float32x2_t vec1_1, float32x2_t vec1_2) { return vmulx_lane_f32 (vec1_1, vec1_2, 1); }
float32x2_t test_vmulx_lane_f32(float32x2_t a, float32x2_t v) { // CHECK: test_vmulx_lane_f32 return vmulx_lane_f32(a, v, 1); // CHECK: fmulx {{v[0-9]+}}.2s, {{v[0-9]+}}.2s, {{v[0-9]+}}.s[1] }