Searched refs:enforced_i (Results 1 – 1 of 1) sorted by relevance
887 isl_set *enforced_i; in set_enforced_from_set() local895 enforced_i = isl_set_copy(upper); in set_enforced_from_set()896 enforced_i = isl_set_preimage_pw_multi_aff(enforced_i, pma_i); in set_enforced_from_set()897 hull = isl_set_simple_hull(enforced_i); in set_enforced_from_set()