2001-07-24 19:14:13 +02:00
|
|
|
#ifndef VALUE_SET_H
|
|
|
|
#define VALUE_SET_H
|
|
|
|
|
2002-02-04 17:33:18 +01:00
|
|
|
#include <set>
|
2002-02-05 02:43:49 +01:00
|
|
|
class Value;
|
|
|
|
|
|
|
|
// RAV - Used to print values in a form used by the register allocator.
|
|
|
|
//
|
|
|
|
struct RAV { // Register Allocator Value
|
|
|
|
const Value *V;
|
|
|
|
RAV(const Value *v) : V(v) {}
|
|
|
|
};
|
2002-02-25 00:01:21 +01:00
|
|
|
std::ostream &operator<<(std::ostream &out, RAV Val);
|
2001-07-24 19:14:13 +02:00
|
|
|
|
|
|
|
|
2002-02-05 03:51:01 +01:00
|
|
|
typedef std::set<const Value*> ValueSet;
|
|
|
|
void printSet(const ValueSet &S);
|
2001-07-24 19:14:13 +02:00
|
|
|
|
|
|
|
#endif
|