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

References

tools/polly/lib/External/isl/isl_fold.c
 1019 			isl_set_copy(pwqp->p[i].set),
 1021 				isl_qpolynomial_copy(pwqp->p[i].qp)));
tools/polly/lib/External/isl/isl_output.c
 1965 		space = isl_qpolynomial_get_domain_space(pwqp->p[i].qp);
 1970 		p = print_qpolynomial(p, pwqp->p[i].qp);
 1971 		p = print_disjuncts(set_to_map(pwqp->p[i].set), space, p, 0);
 2247 	if (pwqp->n == 1 && isl_set_plain_is_universe(pwqp->p[0].set)) {
 2248 		p = print_qpolynomial_c(p, space, pwqp->p[0].qp);
 2255 		p = print_set_c(p, space, pwqp->p[i].set);
 2257 		p = print_qpolynomial_c(p, space, pwqp->p[i].qp);
tools/polly/lib/External/isl/isl_polynomial.c
 1754 		pwqp->p[i].qp = isl_qpolynomial_pow(pwqp->p[i].qp, power);
 1754 		pwqp->p[i].qp = isl_qpolynomial_pow(pwqp->p[i].qp, power);
 1755 		if (!pwqp->p[i].qp)
 2981 	if (!isl_set_plain_is_universe(pwqp->p[0].set))
 2984 	return isl_qpolynomial_is_one(pwqp->p[0].qp);
 3034 			common = isl_set_intersect(isl_set_copy(pwqp1->p[i].set),
 3035 						isl_set_copy(pwqp2->p[j].set));
 3042 				isl_qpolynomial_copy(pwqp1->p[i].qp),
 3043 				isl_qpolynomial_copy(pwqp2->p[j].qp));
 4714 		pwqp->p[i].qp = qp_drop_floors(pwqp->p[i].qp, 0);
 4714 		pwqp->p[i].qp = qp_drop_floors(pwqp->p[i].qp, 0);
 4715 		if (!pwqp->p[i].qp)
 4875 		if (pwqp->p[i].qp->div->n_row == 0) {
 4878 					isl_set_copy(pwqp->p[i].set),
 4879 					isl_qpolynomial_copy(pwqp->p[i].qp));
 4883 		data.qp = pwqp->p[i].qp;
 4884 		if (isl_set_foreach_orthant(pwqp->p[i].set,
tools/polly/lib/External/isl/isl_pw_eval.c
   65 		found = isl_set_contains_point(pw->p[i].set, pnt);
   72 		v = FN(EL,eval)(FN(EL,copy)(pw->p[i].FIELD),
tools/polly/lib/External/isl/isl_pw_templ.c
   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)
 1455 	opt = FN(EL,opt_on_domain)(FN(EL,copy)(pw->p[0].FIELD),
 1456 					isl_set_copy(pw->p[0].set), max);
 1459 		opt_i = FN(EL,opt_on_domain)(FN(EL,copy)(pw->p[i].FIELD),
 1460 						isl_set_copy(pw->p[i].set), max);
 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)
 1664 		pw->p[i].set = isl_morph_set(isl_morph_copy(morph), pw->p[i].set);
 1664 		pw->p[i].set = isl_morph_set(isl_morph_copy(morph), pw->p[i].set);
 1665 		if (!pw->p[i].set)
 1667 		pw->p[i].FIELD = FN(EL,morph_domain)(pw->p[i].FIELD,
 1667 		pw->p[i].FIELD = FN(EL,morph_domain)(pw->p[i].FIELD,
 1669 		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)
 1768 		any = any_divs(pw->p[i].set);
 1771 		set = isl_set_copy(pw->p[i].set);
 1772 		el = FN(EL,copy)(pw->p[i].FIELD);
 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);