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