Searched refs:constUb (Results 1 – 2 of 2) sorted by relevance
327 if (auto constUb = getConstantIntValue(ub)) in rewritePeeledMinMaxOp() local328 constraints.addBound(IntegerPolyhedron::EQ, 1, *constUb); in rewritePeeledMinMaxOp()
2043 auto constUb = getConstantBound(BoundType::UB, d); in unionBoundingBox() local2045 if (!constUb.has_value() || !constOtherUb.has_value()) in unionBoundingBox()2048 maxUb.back() = std::max(constUb.value(), constOtherUb.value()); in unionBoundingBox()