2001-07-24 17:14:13 +00:00
|
|
|
|
|
|
|
#include "llvm/Analysis/LiveVar/ValueSet.h"
|
2001-07-24 18:21:21 +00:00
|
|
|
#include "llvm/ConstPoolVals.h"
|
2001-07-24 17:14:13 +00:00
|
|
|
|
|
|
|
|
|
|
|
void printValue( const Value *const v) // func to print a Value
|
|
|
|
{
|
2001-08-20 21:12:49 +00:00
|
|
|
|
2001-10-15 18:30:06 +00:00
|
|
|
if (v->hasName())
|
|
|
|
cerr << v << "(" << ((*v).getName()) << ") ";
|
2001-08-20 21:12:49 +00:00
|
|
|
else if (v->getValueType() == Value::ConstantVal) // if const
|
2001-10-15 18:30:06 +00:00
|
|
|
cerr << v << "(" << ((ConstPoolVal *) v)->getStrValue() << ") ";
|
2001-08-20 21:12:49 +00:00
|
|
|
else
|
2001-10-15 18:30:06 +00:00
|
|
|
cerr << v << " ";
|
2001-07-24 17:14:13 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
//---------------- Method implementations --------------------------
|
|
|
|
|
|
|
|
|
|
|
|
ValueSet:: ValueSet() : hash_set<const Value *, hashFuncValue> () { }
|
|
|
|
|
2001-08-20 21:12:49 +00:00
|
|
|
// for performing two set unions
|
2001-07-24 17:14:13 +00:00
|
|
|
bool ValueSet::setUnion( const ValueSet *const set1) {
|
|
|
|
const_iterator set1it;
|
|
|
|
pair<iterator, bool> result;
|
|
|
|
bool changed = false;
|
|
|
|
|
|
|
|
for( set1it = set1->begin() ; set1it != set1->end(); set1it++) {
|
2001-08-20 21:12:49 +00:00
|
|
|
// for all all elements in set1
|
|
|
|
result = insert( *set1it ); // insert to this set
|
2001-07-24 17:14:13 +00:00
|
|
|
if( result.second == true) changed = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
return changed;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2001-08-20 21:12:49 +00:00
|
|
|
// for performing set difference
|
2001-07-24 17:14:13 +00:00
|
|
|
void ValueSet::setDifference( const ValueSet *const set1,
|
|
|
|
const ValueSet *const set2) {
|
|
|
|
|
|
|
|
const_iterator set1it, set2it;
|
|
|
|
for( set1it = set1->begin() ; set1it != set1->end(); set1it++) {
|
|
|
|
// for all elements in set1
|
|
|
|
iterator set2it = set2->find( *set1it ); // find wether the elem is in set2
|
|
|
|
if( set2it == set2->end() ) // if the element is not in set2
|
|
|
|
insert( *set1it ); // insert to this set
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2001-08-20 21:12:49 +00:00
|
|
|
// for performing set subtraction
|
2001-07-24 17:14:13 +00:00
|
|
|
void ValueSet::setSubtract( const ValueSet *const set1) {
|
|
|
|
const_iterator set1it;
|
|
|
|
for( set1it = set1->begin() ; set1it != set1->end(); set1it++)
|
|
|
|
// for all elements in set1
|
|
|
|
erase( *set1it ); // erase that element from this set
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2001-08-20 21:12:49 +00:00
|
|
|
void ValueSet::printSet() const { // for printing a live variable set
|
2001-07-24 17:14:13 +00:00
|
|
|
const_iterator it;
|
|
|
|
for( it = begin() ; it != end(); it++)
|
|
|
|
printValue( *it );
|
|
|
|
}
|