void test_vmlal_laneu32 (void) { uint64x2_t out_uint64x2_t; uint64x2_t arg0_uint64x2_t; uint32x2_t arg1_uint32x2_t; uint32x2_t arg2_uint32x2_t; out_uint64x2_t = vmlal_lane_u32 (arg0_uint64x2_t, arg1_uint32x2_t, arg2_uint32x2_t, 1); }
int64x2_t test_vmlal_lane_u32(int64x2_t a, int32x2_t b, int32x2_t v) { // CHECK: test_vmlal_lane_u32 return vmlal_lane_u32(a, b, v, 1); // CHECK: umlal {{v[0-9]+}}.2d, {{v[0-9]+}}.2s, {{v[0-9]+}}.s[1] }