Searched refs:DefinedBehaviorContext (Results 1 – 2 of 2) sorted by relevance
1492 DefinedBehaviorContext = isl::set::universe(Space); in buildContext()1577 simplify(DefinedBehaviorContext); in simplifyContexts()1578 DefinedBehaviorContext = DefinedBehaviorContext.align_params(getParamSpace()); in simplifyContexts()2025 if (DefinedBehaviorContext.is_null()) in intersectDefinedBehavior()2029 DefinedBehaviorContext = DefinedBehaviorContext.intersect(Set); in intersectDefinedBehavior()2031 DefinedBehaviorContext = DefinedBehaviorContext.subtract(Set); in intersectDefinedBehavior()2035 if (DefinedBehaviorContext.n_basic_set().release() > in intersectDefinedBehavior()2037 simplify(DefinedBehaviorContext); in intersectDefinedBehavior()2040 DefinedBehaviorContext = {}; in intersectDefinedBehavior()2062 if (!DefinedBehaviorContext.is_null()) in printContext()[all …]
1777 isl::set DefinedBehaviorContext; variable2174 isl::set getDefinedBehaviorContext() const { return DefinedBehaviorContext; } in getDefinedBehaviorContext()2179 if (!DefinedBehaviorContext.is_null()) in getBestKnownDefinedBehaviorContext()2180 return DefinedBehaviorContext; in getBestKnownDefinedBehaviorContext()