Searched refs:CutEdges (Results 1 – 1 of 1) sorted by relevance
175 EdgeSet &CutEdges /* in, out */) const;626 EdgeSet CutEdges{*Graph}; in hardenLoadsWithPlugin() local644 CutEdges.set(I); in hardenLoadsWithPlugin()649 FencesInserted += insertFences(MF, *Graph, CutEdges); in hardenLoadsWithPlugin()673 EdgeSet CutEdges{*Graph}; in hardenLoadsWithHeuristic() local702 if (!CutEdges.contains(*EgressEdge)) in hardenLoadsWithHeuristic()705 if (!CutEdges.contains(*IngressEdge)) in hardenLoadsWithHeuristic()711 CutEdges.insert(*E); in hardenLoadsWithHeuristic()727 EdgeSet &CutEdges /* in, out */) const { in insertFences()731 if (CutEdges.contains(E)) { in insertFences()[all …]