Home | History | Annotate | Download | only in dist

Lines Matching refs:pma1

4815 	__isl_take isl_pw_multi_aff *pma1,
4818 	isl_pw_multi_aff_align_params_bin(&pma1, &pma2);
4819 	return isl_pw_multi_aff_union_opt_cmp(pma1, pma2,
4830 	__isl_take isl_pw_multi_aff *pma1,
4833 	isl_pw_multi_aff_align_params_bin(&pma1, &pma2);
4834 	return isl_pw_multi_aff_union_opt_cmp(pma1, pma2,
4839 	__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2)
4841 	isl_pw_multi_aff_align_params_bin(&pma1, &pma2);
4842 	return isl_pw_multi_aff_on_shared_domain(pma1, pma2,
4846 /* Subtract "pma2" from "pma1" and return the result.
4849 	__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2)
4851 	isl_pw_multi_aff_align_params_bin(&pma1, &pma2);
4852 	return isl_pw_multi_aff_on_shared_domain(pma1, pma2,
4860 	__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2)
4866 	if (isl_pw_multi_aff_align_params_bin(&pma1, &pma2) < 0)
4869 	n = pma1->n * pma2->n;
4870 	space = isl_space_product(isl_space_copy(pma1->dim),
4874 	for (i = 0; i < pma1->n; ++i) {
4879 			domain = isl_set_product(isl_set_copy(pma1->p[i].set),
4882 					isl_multi_aff_copy(pma1->p[i].maff),
4888 	isl_pw_multi_aff_free(pma1);
4892 	isl_pw_multi_aff_free(pma1);
6509 	__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2)
6513 	isl_pw_multi_aff_align_params_bin(&pma1, &pma2);
6514 	space = isl_space_range_product(isl_pw_multi_aff_get_space(pma1),
6516 	return isl_pw_multi_aff_on_shared_domain_in(pma1, pma2, space,
6524 	__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2)
6528 	isl_pw_multi_aff_align_params_bin(&pma1, &pma2);
6529 	space = isl_space_range_product(isl_pw_multi_aff_get_space(pma1),
6532 	return isl_pw_multi_aff_on_shared_domain_in(pma1, pma2, space,
6541 		__isl_take isl_pw_multi_aff *pma1,
7280 /* Do "pma1" and "pma2" represent the same function?
7289 isl_bool isl_pw_multi_aff_is_equal(__isl_keep isl_pw_multi_aff *pma1,
7296 	if (!pma1 || !pma2)
7299 	equal = isl_pw_multi_aff_plain_is_equal(pma1, pma2);
7302 	has_nan = isl_pw_multi_aff_involves_nan(pma1);
7308 	map1 = isl_map_from_pw_multi_aff_internal(isl_pw_multi_aff_copy(pma1));
8006 /* Given a function "pma1" of the form A[B -> C] -> D and
8008  * replace the domain of the wrapped relation inside the domain of "pma1"
8014  * plug that into "pma1".
8018 	__isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2)
8024 	pma1_space = isl_pw_multi_aff_peek_space(pma1);
8043 	return isl_pw_multi_aff_pullback_pw_multi_aff(pma1, pma2);
8045 	isl_pw_multi_aff_free(pma1);