Searched refs:EdgesVals (Results 1 – 2 of 2) sorted by relevance
1250 ConstantRange EdgesVals(BitWidth, DefaultCase/*isFullSet*/); in getEdgeValueLocal() local1258 EdgesVals = EdgesVals.difference(EdgeVal); in getEdgeValueLocal()1260 EdgesVals = EdgesVals.unionWith(EdgeVal); in getEdgeValueLocal()1262 Result = LVILatticeVal::getRange(std::move(EdgesVals)); in getEdgeValueLocal()
1473 ConstantRange EdgesVals(BitWidth, DefaultCase/*isFullSet*/); in getEdgeValueLocal() local1495 EdgesVals = EdgesVals.difference(EdgeVal); in getEdgeValueLocal()1497 EdgesVals = EdgesVals.unionWith(EdgeVal); in getEdgeValueLocal()1499 Result = ValueLatticeElement::getRange(std::move(EdgesVals)); in getEdgeValueLocal()