Searched refs:upper_set (Results 1 – 1 of 1) sorted by relevance
1118 __isl_keep isl_set *upper_set, __isl_keep isl_ast_build *build) in set_for_node_expressions() argument1137 graft = set_for_cond_from_set(graft, upper_set, build); in set_for_node_expressions()1185 isl_set *upper_set = NULL; in refine_generic_bounds() local1207 upper_set = intersect_constraints(c_upper); in refine_generic_bounds()1209 upper_set = isl_set_universe(isl_set_get_space(domain)); in refine_generic_bounds()1216 graft = set_enforced_from_set(graft, lower, depth, upper_set); in refine_generic_bounds()1219 upper_set, build); in refine_generic_bounds()1223 isl_set_free(upper_set); in refine_generic_bounds()