Home
last modified time | relevance | path

Searched refs:isl_basic_map_add_ineq (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_map_private.h248 __isl_give isl_basic_map *isl_basic_map_add_ineq(__isl_take isl_basic_map *bmap,
H A Disl_tab.c1912 tab->bmap = isl_basic_map_add_ineq(tab->bmap, ineq); in isl_tab_add_ineq()
2146 tab->bmap = isl_basic_map_add_ineq(tab->bmap, eq); in isl_tab_add_eq()
2150 tab->bmap = isl_basic_map_add_ineq(tab->bmap, eq); in isl_tab_add_eq()
H A Disl_tab_pip.c1636 tab->bmap = isl_basic_map_add_ineq(tab->bmap, eq); in add_lexmin_eq()
1640 tab->bmap = isl_basic_map_add_ineq(tab->bmap, eq); in add_lexmin_eq()
1664 tab->bmap = isl_basic_map_add_ineq(tab->bmap, ineq); in add_lexmin_ineq()
H A Disl_coalesce.c3079 info->bmap = isl_basic_map_add_ineq(info->bmap, in fix_constant_divs()
3083 info->bmap = isl_basic_map_add_ineq(info->bmap, in fix_constant_divs()
H A Disl_map.c1849 __isl_give isl_basic_map *isl_basic_map_add_ineq(__isl_take isl_basic_map *bmap, in isl_basic_map_add_ineq() function
1873 return bset_from_bmap(isl_basic_map_add_ineq(bset_to_bmap(bset), ineq)); in isl_basic_set_add_ineq()
3850 map1->p[0] = isl_basic_map_add_ineq(map1->p[0], in map_intersect_add_constraint()