Home | History | Annotate | Download | only in dist

Lines Matching refs:lineality

3959  * to exploit non-trivial lineality spaces.
3961  * "any_non_trivial" is true if there are any non-trivial lineality spaces.
3965  * Any instance set not in "mask" does not have a non-trivial lineality space.
3978  * "lineality" contains data used to exploit non-trivial lineality spaces.
3983 	struct isl_exploit_lineality_data lineality;
3992 	isl_union_map_free(carry->lineality.equivalent);
3993 	isl_union_set_free(carry->lineality.mask);
4742 /* Given a non-trivial lineality space "lineality", add the corresponding
4744  * other elements along the lines in "lineality" to data->equivalent.
4749  * In particular, if the lineality space is defined by equality constraints
4761 static isl_stat add_non_trivial_lineality(__isl_take isl_basic_set *lineality,
4772 	if (isl_basic_set_check_no_locals(lineality) < 0)
4775 	space = isl_basic_set_get_space(lineality);
4785 	eq = isl_basic_set_extract_equalities(lineality);
4798 	isl_basic_set_free(lineality);
4801 	isl_basic_set_free(lineality);
4805 /* Check if the lineality space "set" is non-trivial (i.e., is not just
4836  * has any non-trivial lineality space.
4851  * The results of the search for non-trivial lineality spaces is stored
4858 	isl_union_set *lineality;
4862 	lineality = isl_union_set_copy(intra);
4863 	lineality = isl_union_set_combined_lineality_space(lineality);
4864 	if (isl_union_set_foreach_set(lineality, &add_lineality, data) < 0)
4866 	isl_union_set_free(lineality);
4884  * any non-trivial lineality space by exploit_intra_lineality,
4969  * Additionally, exploit any non-trivial lineality space
4971  * store the results of the non-trivial lineality space detection in "data".
4973  * to find any non-trivial lineality spaces if no coalescing constraints
5022  * Additionally, exploit any non-trivial lineality space
5116 						&carry.lineality);
5118 						&carry.lineality);