void test_vmulQ_laneu32 (void) { uint32x4_t out_uint32x4_t; uint32x4_t arg0_uint32x4_t; uint32x2_t arg1_uint32x2_t; out_uint32x4_t = vmulq_lane_u32 (arg0_uint32x4_t, arg1_uint32x2_t, 1); }
uint32x4_t test_vmulq_lane_u32(uint32x4_t a, uint32x2_t v) { // CHECK: test_vmulq_lane_u32 return vmulq_lane_u32(a, v, 1); // CHECK: mul {{v[0-9]+}}.4s, {{v[0-9]+}}.4s, {{v[0-9]+}}.s[1] }