Home | History | Annotate | Download | only in dist

Lines Matching refs:obj1

2870 	struct isl_obj obj1, struct isl_obj obj2)
2874 	if (obj1.type == isl_obj_set && obj2.type == isl_obj_union_set)
2875 		obj1 = to_union(s->ctx, obj1);
2876 	if (obj1.type == isl_obj_union_set && obj2.type == isl_obj_set)
2878 	if (obj1.type == isl_obj_map && obj2.type == isl_obj_union_map)
2879 		obj1 = to_union(s->ctx, obj1);
2880 	if (obj1.type == isl_obj_union_map && obj2.type == isl_obj_map)
2882 	if (obj1.type == isl_obj_pw_qpolynomial &&
2884 		obj1 = to_union(s->ctx, obj1);
2885 	if (obj1.type == isl_obj_union_pw_qpolynomial &&
2888 	if (obj1.type == isl_obj_pw_qpolynomial_fold &&
2890 		obj1 = to_union(s->ctx, obj1);
2891 	if (obj1.type == isl_obj_union_pw_qpolynomial_fold &&
2894 	if (obj1.type != obj2.type) {
2899 	if (!obj1.type->add)
2902 	if (obj1.type == isl_obj_map && !isl_map_has_equal_space(obj1.v, obj2.v)) {
2903 		obj1 = to_union(s->ctx, obj1);
2906 	if (obj1.type == isl_obj_set && !isl_set_has_equal_space(obj1.v, obj2.v)) {
2907 		obj1 = to_union(s->ctx, obj1);
2910 	if (obj1.type == isl_obj_pw_qpolynomial &&
2911 	    !isl_pw_qpolynomial_has_equal_space(obj1.v, obj2.v)) {
2912 		obj1 = to_union(s->ctx, obj1);
2915 	if (obj1.type == isl_obj_pw_qpolynomial_fold &&
2916 	    !isl_pw_qpolynomial_fold_has_equal_space(obj1.v, obj2.v)) {
2917 		obj1 = to_union(s->ctx, obj1);
2920 	obj1.v = obj1.type->add(obj1.v, obj2.v);
2921 	return obj1;
2923 	obj1.type->free(obj1.v);
2925 	obj1.type = isl_obj_none;
2926 	obj1.v = NULL;
2927 	return obj1;