aoqi@0: /*
aoqi@0:  * Copyright (c) 2001, 2010, Oracle and/or its affiliates. All rights reserved.
aoqi@0:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0:  *
aoqi@0:  * This code is free software; you can redistribute it and/or modify it
aoqi@0:  * under the terms of the GNU General Public License version 2 only, as
aoqi@0:  * published by the Free Software Foundation.
aoqi@0:  *
aoqi@0:  * This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
aoqi@0:  * version 2 for more details (a copy is included in the LICENSE file that
aoqi@0:  * accompanied this code).
aoqi@0:  *
aoqi@0:  * You should have received a copy of the GNU General Public License version
aoqi@0:  * 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0:  *
aoqi@0:  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0:  * or visit www.oracle.com if you need additional information or have any
aoqi@0:  * questions.
aoqi@0:  *
aoqi@0:  */
aoqi@0: 
aoqi@0: #ifndef SHARE_VM_C1_C1_VALUESET_HPP
aoqi@0: #define SHARE_VM_C1_C1_VALUESET_HPP
aoqi@0: 
aoqi@0: #include "c1/c1_Instruction.hpp"
aoqi@0: #include "memory/allocation.hpp"
aoqi@0: #include "utilities/bitMap.inline.hpp"
aoqi@0: 
aoqi@0: // A ValueSet is a simple abstraction on top of a BitMap representing
aoqi@0: // a set of Instructions. Currently it assumes that the number of
aoqi@0: // instructions is fixed during its lifetime; should make it
aoqi@0: // automatically resizable.
aoqi@0: 
aoqi@0: class ValueSet: public CompilationResourceObj {
aoqi@0:  private:
aoqi@0:   BitMap _map;
aoqi@0: 
aoqi@0:  public:
aoqi@0:   ValueSet();
aoqi@0: 
aoqi@0:   ValueSet* copy();
aoqi@0:   bool contains(Value x);
aoqi@0:   void put     (Value x);
aoqi@0:   void remove  (Value x);
aoqi@0:   bool set_intersect(ValueSet* other);
aoqi@0:   void set_union(ValueSet* other);
aoqi@0:   void clear   ();
aoqi@0:   void set_from(ValueSet* other);
aoqi@0:   bool equals  (ValueSet* other);
aoqi@0: };
aoqi@0: 
aoqi@0: inline ValueSet::ValueSet() : _map(Instruction::number_of_instructions()) {
aoqi@0:   _map.clear();
aoqi@0: }
aoqi@0: 
aoqi@0: 
aoqi@0: inline ValueSet* ValueSet::copy() {
aoqi@0:   ValueSet* res = new ValueSet();
aoqi@0:   res->_map.set_from(_map);
aoqi@0:   return res;
aoqi@0: }
aoqi@0: 
aoqi@0: 
aoqi@0: inline bool ValueSet::contains(Value x) {
aoqi@0:   return _map.at(x->id());
aoqi@0: }
aoqi@0: 
aoqi@0: 
aoqi@0: inline void ValueSet::put(Value x) {
aoqi@0:   _map.set_bit(x->id());
aoqi@0: }
aoqi@0: 
aoqi@0: 
aoqi@0: inline void ValueSet::remove(Value x) {
aoqi@0:   _map.clear_bit(x->id());
aoqi@0: }
aoqi@0: 
aoqi@0: 
aoqi@0: inline bool ValueSet::set_intersect(ValueSet* other) {
aoqi@0:   return _map.set_intersection_with_result(other->_map);
aoqi@0: }
aoqi@0: 
aoqi@0: 
aoqi@0: inline void ValueSet::set_union(ValueSet* other) {
aoqi@0:   _map.set_union(other->_map);
aoqi@0: }
aoqi@0: 
aoqi@0: 
aoqi@0: inline void ValueSet::clear() {
aoqi@0:   _map.clear();
aoqi@0: }
aoqi@0: 
aoqi@0: inline void ValueSet::set_from(ValueSet* other) {
aoqi@0:   _map.set_from(other->_map);
aoqi@0: }
aoqi@0: 
aoqi@0: inline bool ValueSet::equals(ValueSet* other) {
aoqi@0:   return _map.is_same(other->_map);
aoqi@0: }
aoqi@0: 
aoqi@0: #endif // SHARE_VM_C1_C1_VALUESET_HPP