7 // RAV - Used to print values in a form used by the register allocator.
9 struct RAV { // Register Allocator Value
11 RAV(const Value *v) : V(*v) {}
12 RAV(const Value &v) : V(v) {}
14 std::ostream &operator<<(std::ostream &out, RAV Val);
17 typedef std::set<const Value*> ValueSet;
18 void printSet(const ValueSet &S);