Andreas Neustifter | 991beb9 | 2009-08-28 11:28:24 +0000 | [diff] [blame] | 1 | //===- llvm/Analysis/MaximumSpanningTree.h - Interface ----------*- C++ -*-===// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Andreas Neustifter | 991beb9 | 2009-08-28 11:28:24 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | // |
Nick Lewycky | ee54fa2 | 2011-04-05 20:39:27 +0000 | [diff] [blame] | 9 | // This module provides means for calculating a maximum spanning tree for a |
Andreas Neustifter | 18156bd | 2009-09-04 12:34:44 +0000 | [diff] [blame] | 10 | // given set of weighted edges. The type parameter T is the type of a node. |
Andreas Neustifter | 991beb9 | 2009-08-28 11:28:24 +0000 | [diff] [blame] | 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Sam Clegg | fd5ab25 | 2017-07-12 20:49:21 +0000 | [diff] [blame] | 14 | #ifndef LLVM_LIB_TRANSFORMS_INSTRUMENTATION_MAXIMUMSPANNINGTREE_H |
| 15 | #define LLVM_LIB_TRANSFORMS_INSTRUMENTATION_MAXIMUMSPANNINGTREE_H |
Andreas Neustifter | 991beb9 | 2009-08-28 11:28:24 +0000 | [diff] [blame] | 16 | |
Andreas Neustifter | 18156bd | 2009-09-04 12:34:44 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/EquivalenceClasses.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 18 | #include "llvm/IR/BasicBlock.h" |
Andreas Neustifter | 18156bd | 2009-09-04 12:34:44 +0000 | [diff] [blame] | 19 | #include <algorithm> |
Chandler Carruth | 802d755 | 2012-12-04 07:12:27 +0000 | [diff] [blame] | 20 | #include <vector> |
Andreas Neustifter | 991beb9 | 2009-08-28 11:28:24 +0000 | [diff] [blame] | 21 | |
| 22 | namespace llvm { |
Andreas Neustifter | 991beb9 | 2009-08-28 11:28:24 +0000 | [diff] [blame] | 23 | |
Andreas Neustifter | 18156bd | 2009-09-04 12:34:44 +0000 | [diff] [blame] | 24 | /// MaximumSpanningTree - A MST implementation. |
| 25 | /// The type parameter T determines the type of the nodes of the graph. |
| 26 | template <typename T> |
Andreas Neustifter | 991beb9 | 2009-08-28 11:28:24 +0000 | [diff] [blame] | 27 | class MaximumSpanningTree { |
Andreas Neustifter | 18156bd | 2009-09-04 12:34:44 +0000 | [diff] [blame] | 28 | public: |
| 29 | typedef std::pair<const T*, const T*> Edge; |
| 30 | typedef std::pair<Edge, double> EdgeWeight; |
| 31 | typedef std::vector<EdgeWeight> EdgeWeights; |
Andreas Neustifter | 991beb9 | 2009-08-28 11:28:24 +0000 | [diff] [blame] | 32 | protected: |
Andreas Neustifter | 18156bd | 2009-09-04 12:34:44 +0000 | [diff] [blame] | 33 | typedef std::vector<Edge> MaxSpanTree; |
| 34 | |
Andreas Neustifter | 991beb9 | 2009-08-28 11:28:24 +0000 | [diff] [blame] | 35 | MaxSpanTree MST; |
| 36 | |
Richard Smith | 976f860 | 2012-08-21 21:03:40 +0000 | [diff] [blame] | 37 | private: |
| 38 | // A comparing class for comparing weighted edges. |
| 39 | struct EdgeWeightCompare { |
| 40 | static bool getBlockSize(const T *X) { |
| 41 | const BasicBlock *BB = dyn_cast_or_null<BasicBlock>(X); |
| 42 | return BB ? BB->size() : 0; |
| 43 | } |
| 44 | |
| 45 | bool operator()(EdgeWeight X, EdgeWeight Y) const { |
| 46 | if (X.second > Y.second) return true; |
| 47 | if (X.second < Y.second) return false; |
| 48 | |
| 49 | // Equal edge weights: break ties by comparing block sizes. |
| 50 | size_t XSizeA = getBlockSize(X.first.first); |
| 51 | size_t YSizeA = getBlockSize(Y.first.first); |
| 52 | if (XSizeA > YSizeA) return true; |
| 53 | if (XSizeA < YSizeA) return false; |
| 54 | |
| 55 | size_t XSizeB = getBlockSize(X.first.second); |
| 56 | size_t YSizeB = getBlockSize(Y.first.second); |
| 57 | if (XSizeB > YSizeB) return true; |
| 58 | if (XSizeB < YSizeB) return false; |
| 59 | |
| 60 | return false; |
| 61 | } |
| 62 | }; |
| 63 | |
Andreas Neustifter | 991beb9 | 2009-08-28 11:28:24 +0000 | [diff] [blame] | 64 | public: |
| 65 | static char ID; // Class identification, replacement for typeinfo |
| 66 | |
Andreas Neustifter | 18156bd | 2009-09-04 12:34:44 +0000 | [diff] [blame] | 67 | /// MaximumSpanningTree() - Takes a vector of weighted edges and returns a |
| 68 | /// spanning tree. |
| 69 | MaximumSpanningTree(EdgeWeights &EdgeVector) { |
Andreas Neustifter | 991beb9 | 2009-08-28 11:28:24 +0000 | [diff] [blame] | 70 | |
Richard Smith | 976f860 | 2012-08-21 21:03:40 +0000 | [diff] [blame] | 71 | std::stable_sort(EdgeVector.begin(), EdgeVector.end(), EdgeWeightCompare()); |
Andreas Neustifter | 991beb9 | 2009-08-28 11:28:24 +0000 | [diff] [blame] | 72 | |
Andreas Neustifter | 18156bd | 2009-09-04 12:34:44 +0000 | [diff] [blame] | 73 | // Create spanning tree, Forest contains a special data structure |
| 74 | // that makes checking if two nodes are already in a common (sub-)tree |
| 75 | // fast and cheap. |
| 76 | EquivalenceClasses<const T*> Forest; |
| 77 | for (typename EdgeWeights::iterator EWi = EdgeVector.begin(), |
| 78 | EWe = EdgeVector.end(); EWi != EWe; ++EWi) { |
| 79 | Edge e = (*EWi).first; |
| 80 | |
| 81 | Forest.insert(e.first); |
| 82 | Forest.insert(e.second); |
| 83 | } |
| 84 | |
| 85 | // Iterate over the sorted edges, biggest first. |
| 86 | for (typename EdgeWeights::iterator EWi = EdgeVector.begin(), |
| 87 | EWe = EdgeVector.end(); EWi != EWe; ++EWi) { |
| 88 | Edge e = (*EWi).first; |
| 89 | |
| 90 | if (Forest.findLeader(e.first) != Forest.findLeader(e.second)) { |
| 91 | Forest.unionSets(e.first, e.second); |
| 92 | // So we know now that the edge is not already in a subtree, so we push |
| 93 | // the edge to the MST. |
| 94 | MST.push_back(e); |
| 95 | } |
| 96 | } |
| 97 | } |
| 98 | |
| 99 | typename MaxSpanTree::iterator begin() { |
| 100 | return MST.begin(); |
| 101 | } |
| 102 | |
| 103 | typename MaxSpanTree::iterator end() { |
| 104 | return MST.end(); |
| 105 | } |
Andreas Neustifter | 991beb9 | 2009-08-28 11:28:24 +0000 | [diff] [blame] | 106 | }; |
| 107 | |
| 108 | } // End llvm namespace |
| 109 | |
Sam Clegg | fd5ab25 | 2017-07-12 20:49:21 +0000 | [diff] [blame] | 110 | #endif // LLVM_LIB_TRANSFORMS_INSTRUMENTATION_MAXIMUMSPANNINGTREE_H |