Home
last modified time | relevance | path

Searched refs:NonPositive (Results 1 – 2 of 2) sorted by relevance

/llvm-project-15.0.7/polly/lib/Analysis/
H A DDependenceInfo.cpp261 isl_union_map *NonPositive = in addPrivatizationDependences() local
264 TC_RED = isl_union_map_subtract(TC_RED, NonPositive); in addPrivatizationDependences()
688 isl::map NonPositive = isl::map::universe(Space.map_from_set()); in isValidSchedule() local
689 NonPositive = in isValidSchedule()
690 NonPositive.lex_le_at(isl::multi_pw_aff::identity_on_domain(Space)); in isValidSchedule()
691 NonPositive = NonPositive.intersect_domain(Deltas); in isValidSchedule()
692 NonPositive = NonPositive.intersect_range(Zero); in isValidSchedule()
694 return NonPositive.is_empty(); in isValidSchedule()
/llvm-project-15.0.7/llvm/lib/Transforms/Scalar/
H A DCorrelatedValuePropagation.cpp710 enum class Domain { NonNegative, NonPositive, Unknown }; enumerator
716 return Domain::NonPositive; in getDomain()
856 if (Ops[0].D == Domain::NonPositive) in processSRem()