Searched refs:upper_set (Results 1 – 1 of 1) sorted by relevance
1114 __isl_keep isl_set *upper_set, __isl_keep isl_ast_build *build) in set_for_node_expressions() argument1131 graft = set_for_cond_from_set(graft, upper_set, build); in set_for_node_expressions()1177 isl_set *upper_set = NULL; in refine_generic_bounds() local1199 upper_set = intersect_constraints(c_upper); in refine_generic_bounds()1201 upper_set = isl_set_universe(isl_set_get_space(domain)); in refine_generic_bounds()1208 graft = set_enforced_from_set(graft, lower, depth, upper_set); in refine_generic_bounds()1211 upper_set, build); in refine_generic_bounds()1215 isl_set_free(upper_set); in refine_generic_bounds()