Ruchira Sasanka | 683847f | 2001-07-24 17:14:13 +0000 | [diff] [blame] | 1 | |
| 2 | #include "llvm/Analysis/LiveVar/ValueSet.h" |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 3 | #include "llvm/ConstantVals.h" |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame^] | 4 | #include <iostream> |
| 5 | using std::cerr; |
| 6 | using std::endl; |
| 7 | using std::pair; |
| 8 | using std::hash_set; |
Ruchira Sasanka | 683847f | 2001-07-24 17:14:13 +0000 | [diff] [blame] | 9 | |
| 10 | void printValue( const Value *const v) // func to print a Value |
| 11 | { |
Chris Lattner | 634b352 | 2001-10-15 18:30:06 +0000 | [diff] [blame] | 12 | if (v->hasName()) |
| 13 | cerr << v << "(" << ((*v).getName()) << ") "; |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 14 | else if (Constant *C = dyn_cast<Constant>(v)) |
| 15 | cerr << v << "(" << C->getStrValue() << ") "; |
Ruchira Sasanka | e27c344 | 2001-08-20 21:12:49 +0000 | [diff] [blame] | 16 | else |
Chris Lattner | 634b352 | 2001-10-15 18:30:06 +0000 | [diff] [blame] | 17 | cerr << v << " "; |
Ruchira Sasanka | 683847f | 2001-07-24 17:14:13 +0000 | [diff] [blame] | 18 | } |
| 19 | |
| 20 | |
| 21 | //---------------- Method implementations -------------------------- |
Ruchira Sasanka | e27c344 | 2001-08-20 21:12:49 +0000 | [diff] [blame] | 22 | // for performing two set unions |
Ruchira Sasanka | 683847f | 2001-07-24 17:14:13 +0000 | [diff] [blame] | 23 | bool ValueSet::setUnion( const ValueSet *const set1) { |
| 24 | const_iterator set1it; |
| 25 | pair<iterator, bool> result; |
| 26 | bool changed = false; |
| 27 | |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame^] | 28 | for( set1it = set1->begin() ; set1it != set1->end(); ++set1it) { |
Ruchira Sasanka | e27c344 | 2001-08-20 21:12:49 +0000 | [diff] [blame] | 29 | // for all all elements in set1 |
| 30 | result = insert( *set1it ); // insert to this set |
Ruchira Sasanka | 683847f | 2001-07-24 17:14:13 +0000 | [diff] [blame] | 31 | if( result.second == true) changed = true; |
| 32 | } |
| 33 | |
| 34 | return changed; |
| 35 | } |
| 36 | |
| 37 | |
Ruchira Sasanka | e27c344 | 2001-08-20 21:12:49 +0000 | [diff] [blame] | 38 | // for performing set difference |
Ruchira Sasanka | 683847f | 2001-07-24 17:14:13 +0000 | [diff] [blame] | 39 | void ValueSet::setDifference( const ValueSet *const set1, |
| 40 | const ValueSet *const set2) { |
| 41 | |
| 42 | const_iterator set1it, set2it; |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame^] | 43 | for( set1it = set1->begin() ; set1it != set1->end(); ++set1it) { |
Ruchira Sasanka | 683847f | 2001-07-24 17:14:13 +0000 | [diff] [blame] | 44 | // for all elements in set1 |
| 45 | iterator set2it = set2->find( *set1it ); // find wether the elem is in set2 |
| 46 | if( set2it == set2->end() ) // if the element is not in set2 |
| 47 | insert( *set1it ); // insert to this set |
| 48 | } |
| 49 | } |
| 50 | |
| 51 | |
Ruchira Sasanka | e27c344 | 2001-08-20 21:12:49 +0000 | [diff] [blame] | 52 | // for performing set subtraction |
Ruchira Sasanka | 683847f | 2001-07-24 17:14:13 +0000 | [diff] [blame] | 53 | void ValueSet::setSubtract( const ValueSet *const set1) { |
| 54 | const_iterator set1it; |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame^] | 55 | for( set1it = set1->begin() ; set1it != set1->end(); ++set1it) |
Ruchira Sasanka | 683847f | 2001-07-24 17:14:13 +0000 | [diff] [blame] | 56 | // for all elements in set1 |
| 57 | erase( *set1it ); // erase that element from this set |
| 58 | } |
| 59 | |
| 60 | |
| 61 | |
| 62 | |
Ruchira Sasanka | e27c344 | 2001-08-20 21:12:49 +0000 | [diff] [blame] | 63 | void ValueSet::printSet() const { // for printing a live variable set |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame^] | 64 | for_each(begin(), end(), printValue); |
Ruchira Sasanka | 683847f | 2001-07-24 17:14:13 +0000 | [diff] [blame] | 65 | } |