Home
last modified time | relevance | path

Searched refs:is_subset (Results 1 – 22 of 22) sorted by relevance

/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_pw_union_opt.c185 isl_bool is_subset, is_empty; in FN() local
191 is_subset = isl_set_is_subset(set_j, set_i); in FN()
192 if (is_subset < 0) in FN()
194 if (!is_subset) in FN()
203 is_subset = isl_set_is_subset(set_i, better); in FN()
204 if (is_subset >= 0 && is_subset) in FN()
207 if (is_empty < 0 || is_subset < 0) in FN()
H A Disl_test_python.py178 assert(list[0].is_subset(s))
179 assert(list[1].is_subset(s))
180 assert(list[2].is_subset(s))
212 return s.is_subset(isl.set("{ A[x] }"))
216 return not s.is_subset(isl.set("{ A[x] }"))
H A Disl_map_subtract.c803 isl_bool is_subset = isl_bool_false; in map_is_singleton_subset() local
818 is_subset = isl_basic_map_contains_point(map2->p[i], point); in map_is_singleton_subset()
819 if (is_subset) in map_is_singleton_subset()
824 return is_subset; in map_is_singleton_subset()
830 isl_bool is_subset = isl_bool_false; in map_is_subset() local
867 is_subset = map_is_singleton_subset(map1, map2); in map_is_subset()
869 return is_subset; in map_is_subset()
871 is_subset = map_diff_is_empty(map1, map2); in map_is_subset()
874 return is_subset; in map_is_subset()
H A Disl_test_cpp.cc98 assert(isl::set(basic_sets[0]).is_subset(s)); in test_foreach()
99 assert(isl::set(basic_sets[1]).is_subset(s)); in test_foreach()
100 assert(isl::set(basic_sets[2]).is_subset(s)); in test_foreach()
H A Disl_test_cpp-checked.cc149 assert(isl::set(basic_sets[0]).is_subset(s).is_true()); in test_foreach()
150 assert(isl::set(basic_sets[1]).is_subset(s).is_true()); in test_foreach()
151 assert(isl::set(basic_sets[2]).is_subset(s).is_true()); in test_foreach()
H A Disl_union_map.c2549 isl_bool is_subset; member
2574 if (data->is_subset < 0 || !data->is_subset) in is_subset_entry()
2591 data.is_subset) in isl_union_map_is_subset()
2594 return data.is_subset; in isl_union_map_is_subset()
2606 isl_bool is_subset; in isl_union_map_is_equal() local
2612 return is_subset; in isl_union_map_is_equal()
2614 return is_subset; in isl_union_map_is_equal()
2626 isl_bool is_subset; in isl_union_map_is_strict_subset() local
2632 return is_subset; in isl_union_map_is_strict_subset()
2864 isl_bool is_subset; in is_subset_of_identity() local
[all …]
H A Disl_schedule_node.c2835 isl_bool is_subset; in locally_covered_by_domain() local
2844 return is_subset; in locally_covered_by_domain()
3016 isl_bool is_subset; in group_domain() local
3021 if (is_subset < 0) in group_domain()
3023 if (!is_subset) in group_domain()
3057 int is_subset; in group_expansion() local
3063 if (is_subset < 0) in group_expansion()
3065 if (!is_subset) in group_expansion()
3673 int is_subset; in isl_schedule_node_domain_intersect_domain() local
3681 if (is_subset < 0) in isl_schedule_node_domain_intersect_domain()
[all …]
H A Disl_test_cpp-generic.cc213 return s.is_subset(isl::set(s.ctx(), "{ A[x] }")); in test_every_generic()
218 return !s.is_subset(isl::set(s.ctx(), "{ A[x] }")); in test_every_generic()
H A Disl_fold.c1548 isl_bool is_subset; in isl_pw_qpolynomial_fold_covers() local
1560 is_subset = isl_set_is_subset(dom2, dom1); in isl_pw_qpolynomial_fold_covers()
1564 if (is_subset < 0 || !is_subset) in isl_pw_qpolynomial_fold_covers()
1565 return is_subset; in isl_pw_qpolynomial_fold_covers()
H A Disl_map.c9083 isl_bool is_subset; in isl_basic_map_is_subset() local
9098 return is_subset; in isl_basic_map_is_subset()
9110 isl_bool is_subset; in isl_basic_map_is_equal() local
9116 return is_subset; in isl_basic_map_is_equal()
9118 return is_subset; in isl_basic_map_is_equal()
9213 isl_bool is_subset; in map_is_equal() local
9219 return is_subset; in map_is_equal()
9221 return is_subset; in map_is_equal()
9242 isl_bool is_subset; in isl_basic_map_is_strict_subset() local
9248 return is_subset; in isl_basic_map_is_strict_subset()
[all …]
H A Disl_test.c4105 isl_bool is_subset; in test_subset_duplicate_integer_divisions() local
4118 is_subset = isl_set_is_subset(set1, set2); in test_subset_duplicate_integer_divisions()
4123 if (is_subset < 0) in test_subset_duplicate_integer_divisions()
4125 if (!is_subset) in test_subset_duplicate_integer_divisions()
/llvm-project-15.0.7/polly/lib/External/ppcg/
H A Dgrouping.c177 isl_bool is_subset; in covers_src_and_dst() local
182 is_subset = isl_set_is_subset(set1, set2); in covers_src_and_dst()
185 if (is_subset < 0 || !is_subset) in covers_src_and_dst()
186 return is_subset; in covers_src_and_dst()
191 is_subset = isl_set_is_subset(set1, set2); in covers_src_and_dst()
195 return is_subset; in covers_src_and_dst()
212 isl_bool is_subset; in matches_prefix() local
222 is_subset = isl_union_map_is_subset(umap, equal); in matches_prefix()
227 return is_subset; in matches_prefix()
/llvm-project-15.0.7/polly/lib/Transform/
H A DDeLICM.cpp257 assert(!Known.domain().is_subset(Universe).is_false()); in checkConsistency()
258 assert(!Written.domain().is_subset(Universe).is_false()); in checkConsistency()
387 if (!Proposed.Occupied.is_subset(Matches)) { in isConflicting()
439 if (!ExistingConflictingWritesDomain.is_subset(CommonWrittenValDomain)) { in isConflicting()
468 if (!ProposedWrittenDomain.is_subset(IdenticalOrUnused)) { in isConflicting()
497 if (!BothWritten.is_subset(CommonWritten)) { in isConflicting()
693 if (!OrigDomain.is_subset(MappedDomain)) { in tryMapValue()
865 if (!OrigDomain.is_subset(MappedDomain)) { in tryMapPHI()
896 !UniverseWritesDom.is_subset(ExpandedWritesDom)) { in tryMapPHI()
1316 if (!TouchedElts.is_subset(CompatibleElts)) { in greedyCollapse()
H A DDeadCodeElimination.cpp129 if (Extra.is_subset(Live)) in runDeadCodeElimination()
H A DSimplify.cpp281 if (AccRelUnion.is_subset(WillBeOverwritten)) { in removeOverwrites()
408 if (!OtherAccRel.is_subset(AllowedAccesses).is_true()) in coalesceWrites()
533 if (isl::union_map(AccRelStoredVal).is_subset(Known)) { in removeRedundantWrites()
H A DMaximalStaticExpansion.cpp258 if (!StmtDomain.is_subset(DepsDomainSet)) { in isExpandable()
H A DForwardOpTree.cpp327 if (!Domain.is_subset(MapDom).is_true()) in singleLocation()
/llvm-project-15.0.7/polly/lib/Analysis/
H A DScopInfo.cpp1016 IsStrideX = Stride.is_subset(StrideX); in isStrideX()
1052 assert(!StmtDomain.is_subset(NewDomain).is_false() && in setNewAccessRelation()
1088 return !StmtDom.is_subset(AccDom); in isLatestPartialAccess()
1111 assert(NewDomain.is_subset(Domain) && in restrictDomain()
1882 PositiveContext.is_subset(NegativeContext).is_false(); in hasFeasibleRuntimeContext()
1927 if (Context.is_subset(Set)) in isEffectiveAssumption()
1930 if (AssumedContext.is_subset(Set)) in isEffectiveAssumption()
1936 if (Set.is_subset(InvalidContext)) in isEffectiveAssumption()
2278 if (StmtDomain.is_subset(NewStmtDomain)) in restrictDomains()
2337 assert(Domain.is_subset(TargetDomain) && in addScopStmt()
[all …]
H A DScopBuilder.cpp1020 bool IsInvalidBlock = ContainsErrorBlock || Domain.is_subset(InvalidDomain); in propagateInvalidStmtDomains()
2251 if (!Elements.is_subset(MappedElements)) in foldSizeConstantsToRight()
/llvm-project-15.0.7/polly/lib/External/isl/include/isl/
H A Disl-noexceptions.h8505 return isl::map(*this).is_subset(map2); in is_subset()
8510 return isl::map(*this).is_subset(umap2); in is_subset()
9464 return isl::set(*this).is_subset(set2); in is_subset()
9469 return isl::set(*this).is_subset(uset2); in is_subset()
9474 return this->is_subset(isl::basic_set(bset2)); in is_subset()
11346 return isl::union_map(*this).is_subset(umap2); in is_subset()
11351 return this->is_subset(isl::map(map2)); in is_subset()
14639 return isl::basic_set(*this).is_subset(bset2); in is_subset()
14644 return isl::basic_set(*this).is_subset(set2); in is_subset()
18961 return this->is_subset(isl::set(set2)); in is_subset()
[all …]
/llvm-project-15.0.7/polly/lib/CodeGen/
H A DBlockGenerators.cpp568 assert(!StmtDom.is_subset(AccDom).is_false() && in generateScalarLoads()
616 .is_subset(Subdomain); in generateConditionalExecution()
H A DPPCGCodeGeneration.cpp1152 if (Min.is_subset(ZeroSet)) { in getArrayOffset()