Home | History | Annotate | Download | only in dist

Lines Matching refs:isl_set_subtract

1929 		set1 = isl_set_subtract(set2, set1);
2301 d1 = isl_set_subtract(isl_set_copy(domain), isl_set_copy(data->domain));
2302 d2 = isl_set_subtract(isl_set_copy(data->domain), isl_set_copy(domain));
2795 class_domain = isl_set_subtract(class_domain, data.unroll_domain);
2904 class_domain = isl_set_subtract(class_domain, atomic_domain);
2996 class_domain = isl_set_subtract(class_domain,
3008 domain = isl_set_subtract(domain,
3079 option[type] = isl_set_subtract(option[type],
3668 domain = isl_set_subtract(domain, isl_set_copy(isolated));
3675 domain = isl_set_subtract(domain, isl_set_copy(before));
3676 domain = isl_set_subtract(domain, isl_set_copy(after));
3677 after = isl_set_subtract(after, isl_set_copy(isolated));
3678 after = isl_set_subtract(after, isl_set_copy(before));
3679 before = isl_set_subtract(before, isl_set_copy(isolated));