|
LLVM
3.7.0
|
EquivalenceClasses - This represents a collection of equivalence classes and supports three efficient operations: insert an element into a class of its own, union two classes, and find the class for a given element. More...
#include <EquivalenceClasses.h>
Classes | |
| class | member_iterator |
Public Types | |
| typedef std::set< ECValue > ::const_iterator | iterator |
| iterator* - Provides a way to iterate over all values in the set. More... | |
Public Member Functions | |
| EquivalenceClasses () | |
| EquivalenceClasses (const EquivalenceClasses &RHS) | |
| const EquivalenceClasses & | operator= (const EquivalenceClasses &RHS) |
| iterator | begin () const |
| iterator | end () const |
| bool | empty () const |
| member_iterator | member_begin (iterator I) const |
| member_iterator | member_end () const |
| iterator | findValue (const ElemTy &V) const |
| findValue - Return an iterator to the specified value. More... | |
| const ElemTy & | getLeaderValue (const ElemTy &V) const |
| getLeaderValue - Return the leader for the specified value that is in the set. More... | |
| const ElemTy & | getOrInsertLeaderValue (const ElemTy &V) |
| getOrInsertLeaderValue - Return the leader for the specified value that is in the set. More... | |
| unsigned | getNumClasses () const |
| getNumClasses - Return the number of equivalence classes in this set. More... | |
| iterator | insert (const ElemTy &Data) |
| insert - Insert a new value into the union/find set, ignoring the request if the value already exists. More... | |
| member_iterator | findLeader (iterator I) const |
| findLeader - Given a value in the set, return a member iterator for the equivalence class it is in. More... | |
| member_iterator | findLeader (const ElemTy &V) const |
| member_iterator | unionSets (const ElemTy &V1, const ElemTy &V2) |
| union - Merge the two equivalence sets for the specified values, inserting them if they do not already exist in the equivalence set. More... | |
| member_iterator | unionSets (member_iterator L1, member_iterator L2) |
EquivalenceClasses - This represents a collection of equivalence classes and supports three efficient operations: insert an element into a class of its own, union two classes, and find the class for a given element.
In addition to these modification methods, it is possible to iterate over all of the equivalence classes and all of the elements in a class.
This implementation is an efficient implementation that only stores one copy of the element being indexed per entry in the set, and allows any arbitrary type to be indexed (as long as it can be ordered with operator<).
Here is a simple example using integers:
This example prints: 4 5 1 2
Definition at line 58 of file EquivalenceClasses.h.
| typedef std::set<ECValue>::const_iterator llvm::EquivalenceClasses< ElemTy >::iterator |
iterator* - Provides a way to iterate over all values in the set.
Definition at line 140 of file EquivalenceClasses.h.
|
inline |
Definition at line 118 of file EquivalenceClasses.h.
|
inline |
Definition at line 119 of file EquivalenceClasses.h.
References llvm::EquivalenceClasses< ElemTy >::operator=().
|
inline |
Definition at line 141 of file EquivalenceClasses.h.
Referenced by llvm::EquivalenceClasses< ElemTy >::getNumClasses(), and llvm::EquivalenceClasses< ElemTy >::operator=().
|
inline |
Definition at line 144 of file EquivalenceClasses.h.
|
inline |
Definition at line 142 of file EquivalenceClasses.h.
Referenced by llvm::EquivalenceClasses< ElemTy >::getNumClasses(), and llvm::EquivalenceClasses< ElemTy >::operator=().
|
inline |
findLeader - Given a value in the set, return a member iterator for the equivalence class it is in.
This does the path-compression part that makes union-find "union findy". This returns an end iterator if the value is not in the equivalence class.
Definition at line 205 of file EquivalenceClasses.h.
References llvm::EquivalenceClasses< ElemTy >::member_end().
Referenced by llvm::EquivalenceClasses< ElemTy >::findLeader(), llvm::EquivalenceClasses< ElemTy >::getLeaderValue(), llvm::EquivalenceClasses< ElemTy >::getOrInsertLeaderValue(), and llvm::EquivalenceClasses< ElemTy >::unionSets().
|
inline |
Definition at line 209 of file EquivalenceClasses.h.
References llvm::EquivalenceClasses< ElemTy >::findLeader().
|
inline |
findValue - Return an iterator to the specified value.
If it does not exist, end() is returned.
Definition at line 159 of file EquivalenceClasses.h.
Referenced by llvm::MemoryDepChecker::areDepsSafe(), and llvm::RuntimePointerChecking::groupChecks().
|
inline |
getLeaderValue - Return the leader for the specified value that is in the set.
It is an error to call this method for a value that is not yet in the set. For that, call getOrInsertLeaderValue(V).
Definition at line 166 of file EquivalenceClasses.h.
References llvm::EquivalenceClasses< ElemTy >::findLeader(), llvm::EquivalenceClasses< ElemTy >::member_end(), and llvm::AArch64CC::MI.
Referenced by llvm::MemoryDepChecker::areDepsSafe(), and llvm::RuntimePointerChecking::groupChecks().
|
inline |
getNumClasses - Return the number of equivalence classes in this set.
Note that this is a linear time operation.
Definition at line 183 of file EquivalenceClasses.h.
References llvm::EquivalenceClasses< ElemTy >::begin(), llvm::EquivalenceClasses< ElemTy >::end(), I, and NC.
|
inline |
getOrInsertLeaderValue - Return the leader for the specified value that is in the set.
If the member is not in the set, it is inserted, then returned.
Definition at line 175 of file EquivalenceClasses.h.
References llvm::EquivalenceClasses< ElemTy >::findLeader(), llvm::EquivalenceClasses< ElemTy >::insert(), llvm::EquivalenceClasses< ElemTy >::member_end(), and llvm::AArch64CC::MI.
|
inline |
insert - Insert a new value into the union/find set, ignoring the request if the value already exists.
Definition at line 196 of file EquivalenceClasses.h.
Referenced by llvm::EquivalenceClasses< ElemTy >::getOrInsertLeaderValue(), llvm::MaximumSpanningTree< T >::MaximumSpanningTree(), llvm::EquivalenceClasses< ElemTy >::operator=(), and llvm::EquivalenceClasses< ElemTy >::unionSets().
|
inline |
Definition at line 149 of file EquivalenceClasses.h.
Referenced by llvm::MemoryDepChecker::areDepsSafe(), llvm::RuntimePointerChecking::groupChecks(), and llvm::EquivalenceClasses< ElemTy >::operator=().
|
inline |
Definition at line 153 of file EquivalenceClasses.h.
Referenced by llvm::MemoryDepChecker::areDepsSafe(), llvm::EquivalenceClasses< ElemTy >::findLeader(), llvm::EquivalenceClasses< ElemTy >::getLeaderValue(), llvm::EquivalenceClasses< ElemTy >::getOrInsertLeaderValue(), llvm::RuntimePointerChecking::groupChecks(), llvm::EquivalenceClasses< ElemTy >::operator=(), and llvm::EquivalenceClasses< ElemTy >::unionSets().
|
inline |
Definition at line 123 of file EquivalenceClasses.h.
References llvm::EquivalenceClasses< ElemTy >::begin(), llvm::EquivalenceClasses< ElemTy >::end(), I, llvm::EquivalenceClasses< ElemTy >::insert(), llvm::EquivalenceClasses< ElemTy >::member_begin(), llvm::EquivalenceClasses< ElemTy >::member_end(), llvm::AArch64CC::MI, and llvm::EquivalenceClasses< ElemTy >::unionSets().
Referenced by llvm::EquivalenceClasses< ElemTy >::EquivalenceClasses().
|
inline |
union - Merge the two equivalence sets for the specified values, inserting them if they do not already exist in the equivalence set.
Definition at line 216 of file EquivalenceClasses.h.
References llvm::EquivalenceClasses< ElemTy >::findLeader(), and llvm::EquivalenceClasses< ElemTy >::insert().
Referenced by llvm::EquivalenceClasses< ElemTy >::operator=().
|
inline |
Definition at line 220 of file EquivalenceClasses.h.
References llvm::EquivalenceClasses< ElemTy >::member_end().
1.8.6