Home | History | Annotate | Download | only in dist

Lines Matching refs:hull

498 	isl_set_free(node->hull);
777 /* Perform a compression on "node" where "hull" represents the constraints
793 	__isl_take isl_set *hull, __isl_take isl_multi_aff *compress,
799 		node->hull = hull;
803 		hull = isl_set_preimage_multi_aff(hull,
805 		node->hull = isl_set_intersect(node->hull, hull);
812 	if (!node->hull || !node->compress || !node->decompress)
832  * The constraint removed through the compression is added to the "hull"
848 	isl_set *hull;
867 	hull = isl_map_range(isl_map_from_pw_multi_aff(pma));
871 	return compress_node(node, hull, compress, decompress);
962  * If "compressed" is set, then "hull" represents the constraints
966  * If "compressed" is not set, then "hull", "compress" and "decompress"
974 	__isl_take isl_set *hull, __isl_take isl_multi_aff *compress,
1003 	node->hull = hull;
1011 	if (compressed && (!hull || !compress || !decompress))
1017 	isl_set_free(hull);
1037 	isl_basic_set *hull;
1044 	hull = isl_set_affine_hull(isl_set_copy(set));
1045 	hull = isl_basic_set_remove_divs(hull);
1047 	has_equality = has_any_defining_equality(hull);
1052 		isl_basic_set_free(hull);
1057 	morph = isl_basic_set_variable_compression_with_id(hull, id);
1068 	hull_set = isl_set_from_basic_set(hull);
1071 	isl_basic_set_free(hull);
1159  * hull that was used in the compression.
1167 		dom = isl_set_copy(src->hull);
1171 		ran = isl_set_copy(dst->hull);
1300 		isl_map *hull;
1301 		hull = extract_hull(src, dst);
1303 			tagged = map_intersect_domains(tagged, hull);
1304 		map = isl_map_intersect(map, hull);
3507 		dst->node[j].hull = isl_set_copy(src->node[i].hull);
3525 		    (!dst->node[j].hull || !dst->node[j].compress ||
4816 	isl_basic_set *hull;
4821 	hull = isl_set_unshifted_simple_hull(set);
4822 	dim = isl_basic_set_dim(hull, isl_dim_set);
4823 	n_eq = isl_basic_set_n_equality(hull);
4827 		return add_non_trivial_lineality(hull, data);
4828 	isl_basic_set_free(hull);
4831 	isl_basic_set_free(hull);