Home | History | Annotate | Download | only in dist

Lines Matching refs:umap

35 isl_bool isl_union_map_is_transitively_closed(__isl_keep isl_union_map *umap)
40 	umap2 = isl_union_map_apply_range(isl_union_map_copy(umap),
41 					  isl_union_map_copy(umap));
42 	closed = isl_union_map_is_subset(umap2, umap);
2709 	__isl_take isl_union_map *umap, isl_bool *exact)
2718 	if (isl_union_map_foreach_map(umap, inc_count, &n) < 0)
2721 	ctx = isl_union_map_get_ctx(umap);
2727 	if (isl_union_map_foreach_map(umap, collect_basic_map, &next) < 0)
2738 	isl_union_map_free(umap);
2746 	isl_union_map_free(umap);
2756 	__isl_take isl_union_map *umap, isl_bool *exact)
2770 	if (isl_union_map_foreach_map(umap, inc_count, &n) < 0)
2774 		return umap;
2776 		return union_floyd_warshall(umap, exact);
2778 	ctx = isl_union_map_get_ctx(umap);
2784 	if (isl_union_map_foreach_map(umap, collect_basic_map, &next) < 0)
2796 	path = isl_union_map_empty(isl_union_map_get_space(umap));
2800 		comp = isl_union_map_empty(isl_union_map_get_space(umap));
2834 		return union_floyd_warshall(umap, exact);
2837 	isl_union_map_free(umap);
2847 	isl_union_map_free(umap);
2852 /* Compute the transitive closure  of "umap", or an overapproximation.
2856 	__isl_take isl_union_map *umap, isl_bool *exact)
2860 	if (!umap)
2866 	umap = isl_union_map_compute_divs(umap);
2867 	umap = isl_union_map_coalesce(umap);
2868 	closed = isl_union_map_is_transitively_closed(umap);
2872 		return umap;
2873 	umap = union_components(umap, exact);
2874 	return umap;
2876 	isl_union_map_free(umap);
2913 __isl_give isl_union_map *isl_union_map_power(__isl_take isl_union_map *umap,
2920 	n = isl_union_map_n_map(umap);
2922 		return isl_union_map_free(umap);
2924 		return umap;
2927 		isl_union_map_foreach_map(umap, &power, &up);
2928 		isl_union_map_free(umap);
2931 	inc = isl_union_map_from_map(increment(isl_union_map_get_space(umap)));
2932 	umap = isl_union_map_product(inc, umap);
2933 	umap = isl_union_map_transitive_closure(umap, exact);
2934 	umap = isl_union_map_zip(umap);
2935 	dm = deltas_map(isl_union_map_get_space(umap));
2936 	umap = isl_union_map_apply_domain(umap, dm);
2938 	return umap;