duke@435: /*
coleenp@4037:  * Copyright (c) 2000, 2012, Oracle and/or its affiliates. All rights reserved.
duke@435:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435:  *
duke@435:  * This code is free software; you can redistribute it and/or modify it
duke@435:  * under the terms of the GNU General Public License version 2 only, as
duke@435:  * published by the Free Software Foundation.
duke@435:  *
duke@435:  * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
duke@435:  * version 2 for more details (a copy is included in the LICENSE file that
duke@435:  * accompanied this code).
duke@435:  *
duke@435:  * You should have received a copy of the GNU General Public License version
duke@435:  * 2 along with this work; if not, write to the Free Software Foundation,
duke@435:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435:  *
trims@1907:  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907:  * or visit www.oracle.com if you need additional information or have any
trims@1907:  * questions.
duke@435:  *
duke@435:  */
duke@435: 
stefank@2314: #ifndef SHARE_VM_CI_CITYPE_HPP
stefank@2314: #define SHARE_VM_CI_CITYPE_HPP
stefank@2314: 
coleenp@4037: #include "ci/ciMetadata.hpp"
stefank@2314: 
duke@435: // ciType
duke@435: //
duke@435: // This class represents either a class (T_OBJECT), array (T_ARRAY),
duke@435: // or one of the primitive types such as T_INT.
coleenp@4037: class ciType : public ciMetadata {
duke@435:   CI_PACKAGE_ACCESS
duke@435:   friend class ciKlass;
duke@435:   friend class ciReturnAddress;
duke@435: 
duke@435: private:
duke@435:   BasicType _basic_type;
duke@435: 
coleenp@4037:   ciType(BasicType t);     // for primitive and unloaded types
duke@435:   ciType(KlassHandle k);   // for subclasses (reference types)
duke@435: 
duke@435:   const char* type_string() { return "ciType"; }
duke@435: 
duke@435:   void print_impl(outputStream* st);
duke@435: 
duke@435:   // Distinguished instances of primitive ciTypes..
duke@435:   static ciType* _basic_types[T_CONFLICT+1];
duke@435: 
duke@435: public:
duke@435:   BasicType basic_type() const              { return _basic_type; }
duke@435: 
duke@435:   // Returns true iff the types are identical, or if both are klasses
duke@435:   // and the is_subtype_of relation holds between the klasses.
duke@435:   bool is_subtype_of(ciType* type);
duke@435: 
duke@435:   // Get the instance of java.lang.Class corresponding to this type.
duke@435:   // There are mirrors for instance, array, and primitive types (incl. void).
duke@435:   virtual ciInstance*    java_mirror();
duke@435: 
duke@435:   // Get the class which "boxes" (or "wraps") values of this type.
duke@435:   // Example:  short is boxed by java.lang.Short, etc.
duke@435:   // Returns self if it is a reference type.
duke@435:   // Returns NULL for void, since null is used in such cases.
duke@435:   ciKlass*  box_klass();
duke@435: 
duke@435:   // Returns true if this is not a klass or array (i.e., not a reference type).
duke@435:   bool is_primitive_type() const            { return basic_type() != T_OBJECT && basic_type() != T_ARRAY; }
duke@435:   int size() const                          { return type2size[basic_type()]; }
duke@435:   bool is_void() const                      { return basic_type() == T_VOID; }
duke@435:   bool is_one_word() const                  { return size() == 1; }
duke@435:   bool is_two_word() const                  { return size() == 2; }
duke@435: 
duke@435:   // What kind of ciObject is this?
coleenp@4037:   bool is_type() const                      { return true; }
duke@435:   bool is_classless() const                 { return is_primitive_type(); }
duke@435: 
twisti@4447:   const char* name();
duke@435:   virtual void print_name_on(outputStream* st);
duke@435:   void print_name() {
duke@435:     print_name_on(tty);
duke@435:   }
duke@435: 
duke@435:   static ciType* make(BasicType t);
duke@435: };
duke@435: 
duke@435: 
duke@435: // ciReturnAddress
duke@435: //
duke@435: // This class represents the type of a specific return address in the
duke@435: // bytecodes.
duke@435: class ciReturnAddress : public ciType {
duke@435:   CI_PACKAGE_ACCESS
duke@435: 
duke@435: private:
duke@435:   // The bci of this return address.
duke@435:   int _bci;
duke@435: 
duke@435:   ciReturnAddress(int bci);
duke@435: 
duke@435:   const char* type_string() { return "ciReturnAddress"; }
duke@435: 
duke@435:   void print_impl(outputStream* st);
duke@435: 
duke@435: public:
coleenp@4037:   bool is_return_address() const { return true; }
duke@435: 
duke@435:   int  bci() { return _bci; }
duke@435: 
duke@435:   static ciReturnAddress* make(int bci);
duke@435: };
stefank@2314: 
stefank@2314: #endif // SHARE_VM_CI_CITYPE_HPP