Searched refs:isl_basic_map_is_empty (Results 1 – 10 of 10) sorted by relevance
324 empty = isl_basic_map_is_empty(bmap); in basic_map_collect_diff()371 empty = isl_basic_map_is_empty(bm); in basic_map_collect_diff()
4042 disjoint = isl_basic_map_is_empty(bmap1); in isl_basic_map_is_disjoint()4046 disjoint = isl_basic_map_is_empty(bmap2); in isl_basic_map_is_disjoint()4060 disjoint = isl_basic_map_is_empty(test); in isl_basic_map_is_disjoint()
3828 if (isl_basic_map_is_empty(part) < 0) in map_intersect_internal()4841 if (isl_basic_map_is_empty(part)) in isl_map_sum()8979 is_empty = isl_basic_map_is_empty(map->p[i]); in isl_map_is_empty()9213 isl_bool isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap) in isl_basic_map_is_empty() function9294 return isl_basic_map_is_empty(bset_to_bmap(bset)); in isl_basic_set_is_empty()9812 empty = isl_basic_map_is_empty(bmap); in isl_basic_set_follows_at()9821 empty = isl_basic_map_is_empty(bmap); in isl_basic_set_follows_at()10741 if (isl_basic_map_is_empty(part)) in map_product()
1878 empty = isl_basic_map_is_empty(test); in domain_follows_at_depth()2109 empty = isl_basic_map_is_empty(test); in shared_outer()
285 isl_bool isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap);
5517 auto res = isl_basic_map_is_empty(get()); in is_empty()
5795 auto res = isl_basic_map_is_empty(get()); in is_empty()
6358 auto res = isl_basic_map_is_empty(get()); in is_empty()
8366 res = isl.isl_basic_map_is_empty(arg0.ptr)8484 isl.isl_basic_map_is_empty.argtypes = [c_void_p]
4337 isl_bool isl_basic_map_is_empty(