Searched refs:Divisible (Results 1 – 1 of 1) sorted by relevance
537 isl::basic_map Divisible = isl::basic_map::from_aff(DivMul); in isDivisibleBySet() local538 isl::basic_map Modulo = Divisible.fix_val(isl::dim::out, 0, ValOffset); in isDivisibleBySet()1087 isl::basic_set Divisible = isDivisibleBySet(Ctx, Factor, i); in applyPartialUnroll() local1090 isl::union_set UnrolledDomain = UMap.intersect_range(Divisible).domain(); in applyPartialUnroll()