void test_vqRdmulhQ_lanes32 (void) { int32x4_t out_int32x4_t; int32x4_t arg0_int32x4_t; int32x2_t arg1_int32x2_t; out_int32x4_t = vqrdmulhq_lane_s32 (arg0_int32x4_t, arg1_int32x2_t, 1); }
int32x4_t test_vqrdmulhq_lane_s32(int32x4_t a, int32x2_t v) { // CHECK: test_vqrdmulhq_lane_s32 return vqrdmulhq_lane_s32(a, v, 1); // CHECK: sqrdmulh {{v[0-9]+}}.4s, {{v[0-9]+}}.4s, {{v[0-9]+}}.s[1] }