예제 #1
0
 bool          is_killed(Value v)               {
     if (is_global_value_numbering()) return _killed_values.contains(v);
     else return false;
 }
예제 #2
0
 bool          is_processed(Value v)            { return _processed_values.contains(v); }