Home | History | Annotate | Download | only in dist

Lines Matching defs:proximity

4463 	isl_union_map *validity, *proximity, *coincidence;
4499 proximity = isl_union_map_copy(dep);
4504 sc = isl_schedule_constraints_set_proximity(sc, proximity);
4595 * proximity constraints and context and return a corresponding union map
4599 const char *domain, const char *validity, const char *proximity,
4613 prox = isl_union_map_read_from_str(ctx, proximity);
4626 * proximity constraints and return a corresponding union map representation.
4629 const char *domain, const char *validity, const char *proximity)
4631 return compute_schedule_with_context(ctx, domain, validity, proximity,
4636 * with the given validity and proximity constraints.
4639 const char *validity, const char *proximity)
4643 sched = compute_schedule(ctx, domain, validity, proximity);
4652 const char *validity, const char *proximity, const char *expected_sched)
4657 sched1 = compute_schedule(ctx, domain, validity, proximity);
4680 isl_union_map *validity, *proximity;
4690 proximity = isl_union_map_copy(validity);
4693 sc = isl_schedule_constraints_set_proximity(sc, proximity);
4718 isl_union_map *validity, *proximity, *condition;
4742 proximity = isl_union_map_read_from_str(ctx, str);
4743 sc = isl_schedule_constraints_set_proximity(sc, proximity);
4839 * proximity constraints
5332 /* Test both algorithms on a case with only proximity dependences. */