Lines Matching refs:DefinedBehaviorContext
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()
2038 if (DefinedBehaviorContext.n_basic_set().release() > in intersectDefinedBehavior()
2040 DefinedBehaviorContext = {}; in intersectDefinedBehavior()
2062 if (!DefinedBehaviorContext.is_null()) in printContext()
2063 OS.indent(4) << DefinedBehaviorContext << "\n"; in printContext()