jdk8-mips64-public/hotspot: src/share/vm/classfile/verificationType.hpp@ac27a9c85bea (annotated)

src/share/vm/classfile/verificationType.hpp@ac27a9c85bea (annotated)

src/share/vm/classfile/verificationType.hpp

Thu, 24 May 2018 18:41:44 +0800

author: aoqi
date: Thu, 24 May 2018 18:41:44 +0800
changeset 8856: ac27a9c85bea
parent 6876: 710a3c8b516e
child 9572: 624a0741915c
permissions: -rw-r--r--

Merge

 /*
  * Copyright (c) 2003, 2014, Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * This code is free software; you can redistribute it and/or modify it
  * under the terms of the GNU General Public License version 2 only, as
  * published by the Free Software Foundation.
  *
  * This code is distributed in the hope that it will be useful, but WITHOUT
  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  * version 2 for more details (a copy is included in the LICENSE file that
  * accompanied this code).
  *
  * You should have received a copy of the GNU General Public License version
  * 2 along with this work; if not, write to the Free Software Foundation,
  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  *
  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  * or visit www.oracle.com if you need additional information or have any
  * questions.
  *
  */
 #ifndef SHARE_VM_CLASSFILE_VERIFICATIONTYPE_HPP
 #define SHARE_VM_CLASSFILE_VERIFICATIONTYPE_HPP
 #include "classfile/systemDictionary.hpp"
 #include "memory/allocation.hpp"
 #include "oops/instanceKlass.hpp"
 #include "oops/oop.inline.hpp"
 #include "oops/symbol.hpp"
 #include "runtime/handles.hpp"
 #include "runtime/signature.hpp"
 enum {
   // As specifed in the JVM spec
   ITEM_Top = 0,
   ITEM_Integer = 1,
   ITEM_Float = 2,
   ITEM_Double = 3,
   ITEM_Long = 4,
   ITEM_Null = 5,
   ITEM_UninitializedThis = 6,
   ITEM_Object = 7,
   ITEM_Uninitialized = 8,
   ITEM_Bogus = (uint)-1
 };
 class ClassVerifier;
 class VerificationType VALUE_OBJ_CLASS_SPEC {
   private:
     // Least significant bits of _handle are always 0, so we use these as
     // the indicator that the _handle is valid.  Otherwise, the _data field
     // contains encoded data (as specified below).  Should the VM change
     // and the lower bits on oops aren't 0, the assert in the constructor
     // will catch this and we'll have to add a descriminator tag to this
     // structure.
     union {
       Symbol*   _sym;
       uintptr_t _data;
     } _u;
     enum {
       // These rest are not found in classfiles, but used by the verifier
       ITEM_Boolean = 9, ITEM_Byte, ITEM_Short, ITEM_Char,
       ITEM_Long_2nd, ITEM_Double_2nd
     };
     // Enum for the _data field
     enum {
       // Bottom two bits determine if the type is a reference, primitive,
       // uninitialized or a query-type.
       TypeMask           = 0x00000003,
       // Topmost types encoding
       Reference          = 0x0,        // _sym contains the name
       Primitive          = 0x1,        // see below for primitive list
       Uninitialized      = 0x2,        // 0x00ffff00 contains bci
       TypeQuery          = 0x3,        // Meta-types used for category testing
       // Utility flags
       ReferenceFlag      = 0x00,       // For reference query types
       Category1Flag      = 0x01,       // One-word values
       Category2Flag      = 0x02,       // First word of a two-word value
       Category2_2ndFlag  = 0x04,       // Second word of a two-word value
       // special reference values
       Null               = 0x00000000, // A reference with a 0 sym is null
       // Primitives categories (the second byte determines the category)
       Category1          = (Category1Flag     << 1 * BitsPerByte) | Primitive,
       Category2          = (Category2Flag     << 1 * BitsPerByte) | Primitive,
       Category2_2nd      = (Category2_2ndFlag << 1 * BitsPerByte) | Primitive,
       // Primitive values (type descriminator stored in most-signifcant bytes)
       Bogus              = (ITEM_Bogus      << 2 * BitsPerByte) | Category1,
       Boolean            = (ITEM_Boolean    << 2 * BitsPerByte) | Category1,
       Byte               = (ITEM_Byte       << 2 * BitsPerByte) | Category1,
       Short              = (ITEM_Short      << 2 * BitsPerByte) | Category1,
       Char               = (ITEM_Char       << 2 * BitsPerByte) | Category1,
       Integer            = (ITEM_Integer    << 2 * BitsPerByte) | Category1,
       Float              = (ITEM_Float      << 2 * BitsPerByte) | Category1,
       Long               = (ITEM_Long       << 2 * BitsPerByte) | Category2,
       Double             = (ITEM_Double     << 2 * BitsPerByte) | Category2,
       Long_2nd           = (ITEM_Long_2nd   << 2 * BitsPerByte) | Category2_2nd,
       Double_2nd         = (ITEM_Double_2nd << 2 * BitsPerByte) | Category2_2nd,
       // Used by Uninitialized (second and third bytes hold the bci)
       BciMask            = 0xffff << 1 * BitsPerByte,
       BciForThis         = ((u2)-1),   // A bci of -1 is an Unintialized-This
       // Query values
       ReferenceQuery     = (ReferenceFlag     << 1 * BitsPerByte) | TypeQuery,
       Category1Query     = (Category1Flag     << 1 * BitsPerByte) | TypeQuery,
       Category2Query     = (Category2Flag     << 1 * BitsPerByte) | TypeQuery,
       Category2_2ndQuery = (Category2_2ndFlag << 1 * BitsPerByte) | TypeQuery
     };
   VerificationType(uintptr_t raw_data) {
     _u._data = raw_data;
   }
  public:
   VerificationType() { *this = bogus_type(); }
   // Create verification types
   static VerificationType bogus_type() { return VerificationType(Bogus); }
   static VerificationType top_type() { return bogus_type(); } // alias
   static VerificationType null_type() { return VerificationType(Null); }
   static VerificationType integer_type() { return VerificationType(Integer); }
   static VerificationType float_type() { return VerificationType(Float); }
   static VerificationType long_type() { return VerificationType(Long); }
   static VerificationType long2_type() { return VerificationType(Long_2nd); }
   static VerificationType double_type() { return VerificationType(Double); }
   static VerificationType boolean_type() { return VerificationType(Boolean); }
   static VerificationType byte_type() { return VerificationType(Byte); }
   static VerificationType char_type() { return VerificationType(Char); }
   static VerificationType short_type() { return VerificationType(Short); }
   static VerificationType double2_type()
     { return VerificationType(Double_2nd); }
   // "check" types are used for queries.  A "check" type is not assignable
   // to anything, but the specified types are assignable to a "check".  For
   // example, any category1 primitive is assignable to category1_check and
   // any reference is assignable to reference_check.
   static VerificationType reference_check()
     { return VerificationType(ReferenceQuery); }
   static VerificationType category1_check()
     { return VerificationType(Category1Query); }
   static VerificationType category2_check()
     { return VerificationType(Category2Query); }
   static VerificationType category2_2nd_check()
     { return VerificationType(Category2_2ndQuery); }
   // For reference types, store the actual Symbol
   static VerificationType reference_type(Symbol* sh) {
       assert(((uintptr_t)sh & 0x3) == 0, "Symbols must be aligned");
       // If the above assert fails in the future because oop* isn't aligned,
       // then this type encoding system will have to change to have a tag value
       // to descriminate between oops and primitives.
       return VerificationType((uintptr_t)sh);
   }
   static VerificationType uninitialized_type(u2 bci)
     { return VerificationType(bci << 1 * BitsPerByte | Uninitialized); }
   static VerificationType uninitialized_this_type()
     { return uninitialized_type(BciForThis); }
   // Create based on u1 read from classfile
   static VerificationType from_tag(u1 tag);
   bool is_bogus() const     { return (_u._data == Bogus); }
   bool is_null() const      { return (_u._data == Null); }
   bool is_boolean() const   { return (_u._data == Boolean); }
   bool is_byte() const      { return (_u._data == Byte); }
   bool is_char() const      { return (_u._data == Char); }
   bool is_short() const     { return (_u._data == Short); }
   bool is_integer() const   { return (_u._data == Integer); }
   bool is_long() const      { return (_u._data == Long); }
   bool is_float() const     { return (_u._data == Float); }
   bool is_double() const    { return (_u._data == Double); }
   bool is_long2() const     { return (_u._data == Long_2nd); }
   bool is_double2() const   { return (_u._data == Double_2nd); }
   bool is_reference() const { return ((_u._data & TypeMask) == Reference); }
   bool is_category1() const {
     // This should return true for all one-word types, which are category1
     // primitives, and references (including uninitialized refs).  Though
     // the 'query' types should technically return 'false' here, if we
     // allow this to return true, we can perform the test using only
     // 2 operations rather than 8 (3 masks, 3 compares and 2 logical 'ands').
     // Since noone should call this on a query type anyway, this is ok.
     assert(!is_check(), "Must not be a check type (wrong value returned)");
     return ((_u._data & Category1) != Primitive);
     // should only return false if it's a primitive, and the category1 flag
     // is not set.
   }
   bool is_category2() const { return ((_u._data & Category2) == Category2); }
   bool is_category2_2nd() const {
     return ((_u._data & Category2_2nd) == Category2_2nd);
   }
   bool is_reference_check() const { return _u._data == ReferenceQuery; }
   bool is_category1_check() const { return _u._data == Category1Query; }
   bool is_category2_check() const { return _u._data == Category2Query; }
   bool is_category2_2nd_check() const { return _u._data == Category2_2ndQuery; }
   bool is_check() const { return (_u._data & TypeQuery) == TypeQuery; }
   bool is_x_array(char sig) const {
     return is_null() || (is_array() && (name()->byte_at(1) == sig));
   }
   bool is_int_array() const { return is_x_array('I'); }
   bool is_byte_array() const { return is_x_array('B'); }
   bool is_bool_array() const { return is_x_array('Z'); }
   bool is_char_array() const { return is_x_array('C'); }
   bool is_short_array() const { return is_x_array('S'); }
   bool is_long_array() const { return is_x_array('J'); }
   bool is_float_array() const { return is_x_array('F'); }
   bool is_double_array() const { return is_x_array('D'); }
   bool is_object_array() const { return is_x_array('L'); }
   bool is_array_array() const { return is_x_array('['); }
   bool is_reference_array() const
     { return is_object_array() || is_array_array(); }
   bool is_object() const
     { return (is_reference() && !is_null() && name()->utf8_length() >= 1 &&
               name()->byte_at(0) != '['); }
   bool is_array() const
     { return (is_reference() && !is_null() && name()->utf8_length() >= 2 &&
               name()->byte_at(0) == '['); }
   bool is_uninitialized() const
     { return ((_u._data & Uninitialized) == Uninitialized); }
   bool is_uninitialized_this() const
     { return is_uninitialized() && bci() == BciForThis; }
   VerificationType to_category2_2nd() const {
     assert(is_category2(), "Must be a double word");
     return VerificationType(is_long() ? Long_2nd : Double_2nd);
   }
   u2 bci() const {
     assert(is_uninitialized(), "Must be uninitialized type");
     return ((_u._data & BciMask) >> 1 * BitsPerByte);
   }
   Symbol* name() const {
     assert(is_reference() && !is_null(), "Must be a non-null reference");
     return _u._sym;
   }
   bool equals(const VerificationType& t) const {
     return (_u._data == t._u._data ||
       (is_reference() && t.is_reference() && !is_null() && !t.is_null() &&
        name() == t.name()));
   }
   bool operator ==(const VerificationType& t) const {
     return equals(t);
   }
   bool operator !=(const VerificationType& t) const {
     return !equals(t);
   }
   // The whole point of this type system - check to see if one type
   // is assignable to another.  Returns true if one can assign 'from' to
   // this.
   bool is_assignable_from(
       const VerificationType& from, ClassVerifier* context,
       bool from_field_is_protected, TRAPS) const {
     if (equals(from) || is_bogus()) {
       return true;
     } else {
       switch(_u._data) {
         case Category1Query:
           return from.is_category1();
         case Category2Query:
           return from.is_category2();
         case Category2_2ndQuery:
           return from.is_category2_2nd();
         case ReferenceQuery:
           return from.is_reference() || from.is_uninitialized();
         case Boolean:
         case Byte:
         case Char:
         case Short:
           // An int can be assigned to boolean, byte, char or short values.
           return from.is_integer();
         default:
           if (is_reference() && from.is_reference()) {
             return is_reference_assignable_from(from, context,
                                                 from_field_is_protected,
                                                 CHECK_false);
           } else {
             return false;
           }
       }
     }
   }
   VerificationType get_component(ClassVerifier* context, TRAPS) const;
   int dimensions() const {
     assert(is_array(), "Must be an array");
     int index = 0;
     while (name()->byte_at(index) == '[') index++;
     return index;
   }
   void print_on(outputStream* st) const;
  private:
   bool is_reference_assignable_from(
     const VerificationType&, ClassVerifier*, bool from_field_is_protected,
     TRAPS) const;
 };
 #endif // SHARE_VM_CLASSFILE_VERIFICATIONTYPE_HPP

Mercurial > jdk8-mips64-public > hotspot / annotate

src/share/vm/classfile/verificationType.hpp@ac27a9c85bea (annotated)

src/share/vm/classfile/verificationType.hpp