Home
last modified time | relevance | path

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

/llvm-project-15.0.7/polly/lib/Analysis/
H A DScopInfo.cpp1877 isl::set PositiveContext = getAssumedContext(); in hasFeasibleRuntimeContext() local
1879 PositiveContext = PositiveContext.intersect_params(Context); in hasFeasibleRuntimeContext()
1880 PositiveContext = PositiveContext.intersect_params(getDomains().params()); in hasFeasibleRuntimeContext()
1881 return PositiveContext.is_empty().is_false() && in hasFeasibleRuntimeContext()
1882 PositiveContext.is_subset(NegativeContext).is_false(); in hasFeasibleRuntimeContext()