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