Searched refs:NonPositive (Results 1 – 2 of 2) sorted by relevance
262 isl_union_map *NonPositive = in addPrivatizationDependences() local265 TC_RED = isl_union_map_subtract(TC_RED, NonPositive); in addPrivatizationDependences()676 isl::map NonPositive = Deltas.lex_le_set(Zero); in isValidSchedule() local677 return NonPositive.is_empty(); in isValidSchedule()
608 enum class Domain { NonNegative, NonPositive, Unknown }; enumerator614 return Domain::NonPositive; in getDomain()755 if (Ops[0].D == Domain::NonPositive) in processSRem()