reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

 2830 		if (isl_aff_is_nan(pwaff->p[i].aff))
 2833 		rational = isl_set_has_rational(pwaff->p[i].set);
 2834 		bset = fn(isl_aff_copy(pwaff->p[i].aff), rational);
 2836 		set_i = isl_set_copy(pwaff->p[i].set);
 3187 		pwaff->p[i].aff = isl_aff_scale_down(pwaff->p[i].aff, v);
 3187 		pwaff->p[i].aff = isl_aff_scale_down(pwaff->p[i].aff, v);
 3188 		if (!pwaff->p[i].aff)
 3206 		pwaff->p[i].aff = isl_aff_floor(pwaff->p[i].aff);
 3206 		pwaff->p[i].aff = isl_aff_floor(pwaff->p[i].aff);
 3207 		if (!pwaff->p[i].aff)
 3225 		pwaff->p[i].aff = isl_aff_ceil(pwaff->p[i].aff);
 3225 		pwaff->p[i].aff = isl_aff_ceil(pwaff->p[i].aff);
 3226 		if (!pwaff->p[i].aff)
 3320 		isl_bool is_cst = isl_aff_is_cst(pwaff->p[i].aff);
 3728 		pwaff->p[i].set = isl_set_set_rational(pwaff->p[i].set);
 3728 		pwaff->p[i].set = isl_set_set_rational(pwaff->p[i].set);
 3729 		if (!pwaff->p[i].set)
 5374 					isl_set_copy(subs->p[j].set));
 5376 					type, pos, subs->p[j].aff);
 5387 					type, pos, subs->p[j].aff);
 6050 						   isl_set_copy(pa->p[j].set));
 6061 					isl_aff_copy(pa->p[j].aff));
 6305 		set = isl_set_copy(pa->p[i].set);
 6306 		ma = isl_multi_aff_from_aff(isl_aff_copy(pa->p[i].aff));
 6821 					isl_aff_copy(pa->p[i].aff));
 6822 		domain = isl_set_copy(pa->p[i].set);
 7192 		cmp = isl_set_plain_cmp(pa1->p[i].set, pa2->p[i].set);
 7192 		cmp = isl_set_plain_cmp(pa1->p[i].set, pa2->p[i].set);
 7195 		cmp = isl_aff_plain_cmp(pa1->p[i].aff, pa2->p[i].aff);
 7195 		cmp = isl_aff_plain_cmp(pa1->p[i].aff, pa2->p[i].aff);
 8941 		domain = isl_set_copy(pa->p[i].set);
 8943 		aff = isl_aff_copy(pa->p[i].aff);

  294 		bmap = isl_basic_map_from_aff(isl_aff_copy(pwaff->p[i].aff));
  297 						isl_set_copy(pwaff->p[i].set));

  972 	if (!isl_set_plain_is_universe(pa->p[0].set))
  975 	aff = pa->p[0].aff;
 3515 	if (!isl_set_plain_is_universe(pa->p[0].set))
 3520 	aff = isl_aff_copy(pa->p[0].aff);

 2672 		p = print_aff(p, pa->p[i].aff);
 2673 		space = isl_aff_get_domain_space(pa->p[i].aff);
 2674 		p = print_disjuncts(set_to_map(pa->p[i].set), space, p, 0);
 3190 	need_parens = pa->n != 1 || !isl_set_plain_is_universe(pa->p[0].set);
 3198 		p = print_aff_body(p, space, pa->p[i].aff);
 3199 		p = print_disjuncts(pa->p[i].set, space, p, 0);

 3399 		dom = isl_set_copy(pwaff->p[i].set);
 3400 		qp = isl_qpolynomial_from_aff(isl_aff_copy(pwaff->p[i].aff));

   65 		found = isl_set_contains_point(pw->p[i].set, pnt);
   72 		v = FN(EL,eval)(FN(EL,copy)(pw->p[i].FIELD),

   26 		set_hash = isl_set_get_hash(pw->p[i].set);
   28 		el_hash = FN(EL,get_hash)(pw->p[i].FIELD);

   90 	pw->p[pw->n].set = set;
   91 	pw->p[pw->n].FIELD = el;
  181 		dup = FN(PW,add_piece)(dup, isl_set_copy(pw->p[i].set),
  182 					    FN(EL,copy)(pw->p[i].FIELD));
  217 		isl_set_free(pw->p[i].set);
  218 		FN(EL,free)(pw->p[i].FIELD);
  283 		pw->p[i].set = isl_set_realign(pw->p[i].set,
  283 		pw->p[i].set = isl_set_realign(pw->p[i].set,
  285 		if (!pw->p[i].set)
  287 		pw->p[i].FIELD = FN(EL,realign_domain)(pw->p[i].FIELD,
  287 		pw->p[i].FIELD = FN(EL,realign_domain)(pw->p[i].FIELD,
  289 		if (!pw->p[i].FIELD)
  439 		set = isl_set_copy(pw1->p[i].set);
  443 			common = isl_set_intersect(isl_set_copy(pw1->p[i].set),
  444 						isl_set_copy(pw2->p[j].set));
  450 					isl_set_copy(pw2->p[j].set));
  453 						   FN(EL,copy)(pw1->p[i].FIELD),
  454 						   FN(EL,copy)(pw2->p[j].FIELD));
  458 		res = FN(PW,add_piece)(res, set, FN(EL,copy)(pw1->p[i].FIELD));
  462 		set = isl_set_copy(pw2->p[j].set);
  465 					isl_set_copy(pw1->p[i].set));
  466 		res = FN(PW,add_piece)(res, set, FN(EL,copy)(pw2->p[j].FIELD));
  521 		res = FN(PW,add_piece)(res, isl_set_copy(pw->p[i].set),
  522 					    FN(EL,copy)(pw->p[i].FIELD));
  563 				isl_set_copy(pw2->p[i].set),
  564 				FN(EL,copy)(pw2->p[i].FIELD));
  615 					isl_set_copy(pw1->p[i].set),
  616 					isl_set_copy(pw2->p[j].set));
  625 			res_ij = fn(FN(EL,copy)(pw1->p[i].FIELD),
  626 				    FN(EL,copy)(pw2->p[j].FIELD));
  688 		pw->p[i].FIELD = FN(EL,neg)(pw->p[i].FIELD);
  688 		pw->p[i].FIELD = FN(EL,neg)(pw->p[i].FIELD);
  689 		if (!pw->p[i].FIELD)
  721 		dom = isl_set_union_disjoint(dom, isl_set_copy(pw->p[i].set));
  737 	int empty = isl_set_plain_is_empty(pw->p[i].set);
  742 		isl_set_free(pw->p[i].set);
  743 		FN(EL,free)(pw->p[i].FIELD);
  745 			pw->p[i] = pw->p[pw->n - 1];
  745 			pw->p[i] = pw->p[pw->n - 1];
  751 	aff = isl_set_affine_hull(isl_set_copy(pw->p[i].set));
  752 	pw->p[i].FIELD = FN(EL,substitute_equalities)(pw->p[i].FIELD, aff);
  752 	pw->p[i].FIELD = FN(EL,substitute_equalities)(pw->p[i].FIELD, aff);
  753 	if (!pw->p[i].FIELD)
  805 		pw->p[i].set = isl_set_fix_si(pw->p[i].set, type, pos, value);
  805 		pw->p[i].set = isl_set_fix_si(pw->p[i].set, type, pos, value);
  837 		pw->p[i].set = fn(pw->p[i].set, isl_set_copy(set));
  837 		pw->p[i].set = fn(pw->p[i].set, isl_set_copy(set));
  912 		isl_set_free(pw->p[i].set);
  913 		FN(EL,free)(pw->p[i].FIELD);
  915 	pw->p[0].FIELD = pw->p[pw->n - 1].FIELD;
  915 	pw->p[0].FIELD = pw->p[pw->n - 1].FIELD;
  916 	pw->p[0].set = pw->p[pw->n - 1].set;
  916 	pw->p[0].set = pw->p[pw->n - 1].set;
  920 	pw->p[0].FIELD = fn_el(pw->p[0].FIELD, context);
  920 	pw->p[0].FIELD = fn_el(pw->p[0].FIELD, context);
  922 	isl_set_free(pw->p[0].set);
  923 	pw->p[0].set = context;
  925 	if (!pw->p[0].FIELD || !pw->p[0].set)
  925 	if (!pw->p[0].FIELD || !pw->p[0].set)
  981 		equal = isl_set_plain_is_equal(pw->p[0].set, context);
  997 			equal = isl_set_plain_is_equal(pw->p[i].set, context);
 1005 		set_i = isl_set_intersect(isl_set_copy(pw->p[i].set),
 1008 		pw->p[i].FIELD = fn_el(pw->p[i].FIELD, set_i);
 1008 		pw->p[i].FIELD = fn_el(pw->p[i].FIELD, set_i);
 1009 		pw->p[i].set = fn_dom(pw->p[i].set, isl_basic_set_copy(hull));
 1009 		pw->p[i].set = fn_dom(pw->p[i].set, isl_basic_set_copy(hull));
 1010 		if (empty < 0 || !pw->p[i].FIELD || !pw->p[i].set)
 1010 		if (empty < 0 || !pw->p[i].FIELD || !pw->p[i].set)
 1013 			isl_set_free(pw->p[i].set);
 1014 			FN(EL,free)(pw->p[i].FIELD);
 1016 				pw->p[i] = pw->p[pw->n - 1];
 1016 				pw->p[i] = pw->p[pw->n - 1];
 1091 	if (isl_sort(pw->p, pw->n, sizeof(pw->p[0]),
 1091 	if (isl_sort(pw->p, pw->n, sizeof(pw->p[0]),
 1095 		if (!FN(EL,plain_is_equal)(pw->p[i - 1].FIELD, pw->p[i].FIELD))
 1095 		if (!FN(EL,plain_is_equal)(pw->p[i - 1].FIELD, pw->p[i].FIELD))
 1097 		set = isl_set_union(isl_set_copy(pw->p[i - 1].set),
 1098 				    isl_set_copy(pw->p[i].set));
 1101 		isl_set_free(pw->p[i].set);
 1102 		FN(EL,free)(pw->p[i].FIELD);
 1103 		isl_set_free(pw->p[i - 1].set);
 1104 		pw->p[i - 1].set = set;
 1106 			pw->p[j - 1] = pw->p[j];
 1106 			pw->p[j - 1] = pw->p[j];
 1129 		pw->p[i].set = isl_set_coalesce(pw->p[i].set);
 1129 		pw->p[i].set = isl_set_coalesce(pw->p[i].set);
 1130 		if (!pw->p[i].set)
 1159 		isl_bool involves = FN(EL,involves_dims)(pw->p[i].FIELD,
 1163 		involves = isl_set_involves_dims(pw->p[i].set,
 1188 		pw->p[i].set = isl_set_set_dim_name(pw->p[i].set,
 1188 		pw->p[i].set = isl_set_set_dim_name(pw->p[i].set,
 1190 		if (!pw->p[i].set)
 1192 		pw->p[i].FIELD = FN(EL,set_dim_name)(pw->p[i].FIELD, type, pos, s);
 1192 		pw->p[i].FIELD = FN(EL,set_dim_name)(pw->p[i].FIELD, type, pos, s);
 1193 		if (!pw->p[i].FIELD)
 1223 		pw->p[i].FIELD = FN(EL,drop_dims)(pw->p[i].FIELD, type, first, n);
 1223 		pw->p[i].FIELD = FN(EL,drop_dims)(pw->p[i].FIELD, type, first, n);
 1224 		if (!pw->p[i].FIELD)
 1228 		pw->p[i].set = isl_set_drop(pw->p[i].set, set_type, first, n);
 1228 		pw->p[i].set = isl_set_drop(pw->p[i].set, set_type, first, n);
 1229 		if (!pw->p[i].set)
 1264 		pw->p[i].set = isl_set_project_out(pw->p[i].set,
 1264 		pw->p[i].set = isl_set_project_out(pw->p[i].set,
 1266 		if (!pw->p[i].set)
 1268 		pw->p[i].FIELD = FN(EL,drop_dims)(pw->p[i].FIELD, type, first, n);
 1268 		pw->p[i].FIELD = FN(EL,drop_dims)(pw->p[i].FIELD, type, first, n);
 1269 		if (!pw->p[i].FIELD)
 1339 		pw->p[i].set = isl_set_insert_dims(pw->p[i].set,
 1339 		pw->p[i].set = isl_set_insert_dims(pw->p[i].set,
 1341 		if (!pw->p[i].set)
 1343 		pw->p[i].FIELD = FN(EL,insert_dims)(pw->p[i].FIELD,
 1343 		pw->p[i].FIELD = FN(EL,insert_dims)(pw->p[i].FIELD,
 1345 		if (!pw->p[i].FIELD)
 1371 		pw->p[i].set = isl_set_fix(pw->p[i].set, type, pos, v);
 1371 		pw->p[i].set = isl_set_fix(pw->p[i].set, type, pos, v);
 1424 		pw->p[i].set = isl_set_split_dims(pw->p[i].set, type, first, n);
 1424 		pw->p[i].set = isl_set_split_dims(pw->p[i].set, type, first, n);
 1425 		if (!pw->p[i].set)
 1526 		pw->p[i].set = isl_set_reset_space(pw->p[i].set,
 1526 		pw->p[i].set = isl_set_reset_space(pw->p[i].set,
 1528 		if (!pw->p[i].set)
 1530 		pw->p[i].FIELD = FN(EL,reset_space_and_domain)(pw->p[i].FIELD,
 1530 		pw->p[i].FIELD = FN(EL,reset_space_and_domain)(pw->p[i].FIELD,
 1532 		if (!pw->p[i].FIELD)
 1698 		if (fn(isl_set_copy(pw->p[i].set),
 1699 				FN(EL,copy)(pw->p[i].FIELD), user) < 0)
 1802 		pw->p[i].FIELD = FN(EL,move_dims)(pw->p[i].FIELD,
 1802 		pw->p[i].FIELD = FN(EL,move_dims)(pw->p[i].FIELD,
 1804 		if (!pw->p[i].FIELD)
 1814 		pw->p[i].set = isl_set_move_dims(pw->p[i].set,
 1814 		pw->p[i].set = isl_set_move_dims(pw->p[i].set,
 1817 		if (!pw->p[i].set)
 1856 		pw->p[i].FIELD = FN(EL,scale)(pw->p[i].FIELD, v);
 1856 		pw->p[i].FIELD = FN(EL,scale)(pw->p[i].FIELD, v);
 1857 		if (!pw->p[i].FIELD)
 1905 		pw->p[i].FIELD = FN(EL,scale_val)(pw->p[i].FIELD,
 1905 		pw->p[i].FIELD = FN(EL,scale_val)(pw->p[i].FIELD,
 1907 		if (!pw->p[i].FIELD)
 1953 		pw->p[i].FIELD = FN(EL,scale_down_val)(pw->p[i].FIELD,
 1953 		pw->p[i].FIELD = FN(EL,scale_down_val)(pw->p[i].FIELD,
 1955 		if (!pw->p[i].FIELD)
 1990 		set = isl_set_normalize(isl_set_copy(pw->p[i].set));
 1993 		isl_set_free(pw->p[i].set);
 1994 		pw->p[i].set = set;
 2036 		equal = isl_set_plain_is_equal(pw1->p[i].set, pw2->p[i].set);
 2036 		equal = isl_set_plain_is_equal(pw1->p[i].set, pw2->p[i].set);
 2041 		equal = FN(EL,plain_is_equal)(pw1->p[i].FIELD, pw2->p[i].FIELD);
 2041 		equal = FN(EL,plain_is_equal)(pw1->p[i].FIELD, pw2->p[i].FIELD);
 2067 		isl_bool has_nan = FN(EL,involves_nan)(pw->p[i].FIELD);
 2159 		pw->p[i].set = isl_set_preimage_multi_aff(pw->p[i].set,
 2159 		pw->p[i].set = isl_set_preimage_multi_aff(pw->p[i].set,
 2161 		if (!pw->p[i].set)
 2163 		pw->p[i].FIELD = FN(EL,pullback_multi_aff)(pw->p[i].FIELD,
 2163 		pw->p[i].FIELD = FN(EL,pullback_multi_aff)(pw->p[i].FIELD,
 2165 		if (!pw->p[i].FIELD)

   37 		list = isl_set_list_add(list, isl_set_copy(pw->p[i].set));
  105 			cmp = FN(EL,plain_cmp)(pw1->p[i].FIELD,
  106 						pw2->p[j].FIELD);
  112 			el = FN(EL,copy)(pw1->p[i].FIELD);
  116 			el = FN(EL,copy)(pw2->p[j].FIELD);
  121 			el = FN(EL,copy)(pw1->p[i].FIELD);
  223 			disjoint = isl_set_is_disjoint(pw1->p[i].set,
  224 							pw2->p[j].set);
  229 			better = FN(PW,better)(pw2->p[j].FIELD,
  230 						pw1->p[i].FIELD, cmp);
  232 			set_j = isl_set_copy(pw2->p[j].set);
  236 			set_i = isl_set_copy(pw1->p[i].set);