Searched refs:enforced_i (Results 1 – 1 of 1) sorted by relevance
883 isl_set *enforced_i; in set_enforced_from_set() local891 enforced_i = isl_set_copy(upper); in set_enforced_from_set()892 enforced_i = isl_set_preimage_pw_multi_aff(enforced_i, pma_i); in set_enforced_from_set()893 hull = isl_set_simple_hull(enforced_i); in set_enforced_from_set()