Home | History | Annotate | Download | only in dist

Lines Matching refs:enforced

143  * be simplified with respect to any enforced constraints since
144  * the call node does not have any enforced constraints.
145  * Since all pending constraints not covered by any enforced constraints
724  * but not (necessarily) enforced by the generated AST to "guard".
833 /* Compute the constraints on the outer dimensions enforced by
834  * graft->node and add those constraints to graft->enforced,
866 	isl_basic_set *enforced;
876 	enforced = isl_basic_set_universe(isl_space_copy(space));
894 		enforced = isl_basic_set_intersect(enforced, hull);
899 	graft = isl_ast_graft_enforce(graft, enforced);
904 /* Compute the constraints on the outer dimensions enforced by
905  * graft->node and add those constraints to graft->enforced,
909  * The enforced condition is that each lower bound expression is less
917 	isl_basic_set *enforced;
922 	enforced = isl_set_simple_hull(cond);
923 	graft = isl_ast_graft_enforce(graft, enforced);
1157  * The set of enforced constraints is then computed either based on
1159  * We do not compute any enforced constraints if we were forced
1162  * that we do not want to appear in the enforced constraints since
1163  * they are not actually enforced by the corresponding code.
1361  * the constraints enforced by all elements in "list".
1382  * care of (by a combination of "enforced" and the generated constraints
1386 	__isl_keep isl_basic_set *enforced)
1391 	context = isl_set_from_basic_set(isl_basic_set_copy(enforced));
1479 	isl_basic_set *enforced;
1521 	enforced = extract_shared_enforced(children, build);
1522 	guard = extract_pending(sub_build, enforced);
1535 			    isl_set_copy(guard), enforced, build, sub_build);
2255  * inner dimensions will be enforced by for loops and not by explicit guards.
5062  * a parametric space, although this is currently not enforced.
5131  * a parametric space, although this is currently not enforced.
5309  * by the context node from the enforced constraints and the guard
5317 	isl_basic_set *enforced;
5330 	enforced = isl_ast_graft_list_extract_shared_enforced(list, sub_build);
5331 	enforced = isl_basic_set_project_out(enforced, isl_dim_param,
5333 	enforced = isl_basic_set_remove_unknown_divs(enforced);
5339 	graft = isl_ast_graft_alloc_from_children(list, guard, enforced,
5375  * are removed from the set of enforced constraints and guard
5580  * Ensure that the associated guard is enforced by the outer AST
5592 	isl_basic_set *enforced;
5629 	enforced = extract_shared_enforced(list, build);
5630 	graft = isl_ast_graft_alloc_from_children(list, guard, enforced,