Searched refs:InvalidContext (Results 1 – 5 of 5) sorted by relevance
3 ; TODO: FIXME: Investigate why we need a InvalidContext here.
1490 InvalidContext = isl::set::empty(Space); in buildContext()1514 InvalidContext = InvalidContext.align_params(Space); in realignParams()1576 InvalidContext = InvalidContext.align_params(getParamSpace()); in simplifyContexts()1797 return stringFromIslObj(InvalidContext); in getInvalidContextStr()1936 if (Set.is_subset(InvalidContext)) in isEffectiveAssumption()2021 InvalidContext = InvalidContext.unite(Set).coalesce(); in addAssumption()2049 isl::set Scop::getInvalidContext() const { return InvalidContext; } in getInvalidContext()2059 OS.indent(4) << InvalidContext << "\n"; in printContext()
9 ; InvalidContext.
5 ; This test case has an InvalidContext such that part of the predecessors
1761 isl::set InvalidContext; variable2182 return Context.intersect_params(AssumedContext).subtract(InvalidContext); in getBestKnownDefinedBehaviorContext()2283 bool hasTrivialInvalidContext() const { return InvalidContext.is_empty(); } in hasTrivialInvalidContext()