1 /*
   2  * Copyright (c) 1997, 2019, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This code is distributed in the hope that it will be useful, but WITHOUT
  10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12  * version 2 for more details (a copy is included in the LICENSE file that
  13  * accompanied this code).
  14  *
  15  * You should have received a copy of the GNU General Public License version
  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  *
  23  */
  24 
  25 #include "precompiled.hpp"
  26 #include "classfile/javaClasses.hpp"
  27 #include "classfile/symbolTable.hpp"
  28 #include "classfile/systemDictionary.hpp"
  29 #include "classfile/vmSymbols.hpp"
  30 #include "gc/shared/collectedHeap.inline.hpp"
  31 #include "memory/oopFactory.hpp"
  32 #include "memory/resourceArea.hpp"
  33 #include "memory/universe.hpp"
  34 #include "oops/instanceKlass.hpp"
  35 #include "oops/instanceOop.hpp"
  36 #include "oops/objArrayKlass.hpp"
  37 #include "oops/objArrayOop.inline.hpp"
  38 #include "oops/objArrayOop.hpp"
  39 #include "oops/oop.inline.hpp"
  40 #include "oops/typeArrayKlass.hpp"
  41 #include "oops/typeArrayOop.inline.hpp"
  42 #include "oops/valueKlass.hpp"
  43 #include "oops/valueArrayKlass.hpp"
  44 #include "oops/valueArrayOop.inline.hpp"
  45 #include "oops/valueArrayOop.hpp"
  46 #include "runtime/handles.inline.hpp"
  47 #include "utilities/utf8.hpp"
  48 
  49 typeArrayOop oopFactory::new_boolArray(int length, TRAPS) {
  50   return TypeArrayKlass::cast(Universe::boolArrayKlassObj())->allocate(length, THREAD);
  51 }
  52 
  53 typeArrayOop oopFactory::new_charArray(int length, TRAPS) {
  54   return TypeArrayKlass::cast(Universe::charArrayKlassObj())->allocate(length, THREAD);
  55 }
  56 
  57 typeArrayOop oopFactory::new_floatArray(int length, TRAPS) {
  58   return TypeArrayKlass::cast(Universe::floatArrayKlassObj())->allocate(length, THREAD);
  59 }
  60 
  61 typeArrayOop oopFactory::new_doubleArray(int length, TRAPS) {
  62   return TypeArrayKlass::cast(Universe::doubleArrayKlassObj())->allocate(length, THREAD);
  63 }
  64 
  65 typeArrayOop oopFactory::new_byteArray(int length, TRAPS) {
  66   return TypeArrayKlass::cast(Universe::byteArrayKlassObj())->allocate(length, THREAD);
  67 }
  68 
  69 typeArrayOop oopFactory::new_shortArray(int length, TRAPS) {
  70   return TypeArrayKlass::cast(Universe::shortArrayKlassObj())->allocate(length, THREAD);
  71 }
  72 
  73 typeArrayOop oopFactory::new_intArray(int length, TRAPS) {
  74   return TypeArrayKlass::cast(Universe::intArrayKlassObj())->allocate(length, THREAD);
  75 }
  76 
  77 typeArrayOop oopFactory::new_longArray(int length, TRAPS) {
  78   return TypeArrayKlass::cast(Universe::longArrayKlassObj())->allocate(length, THREAD);
  79 }
  80 
  81 // create java.lang.Object[]
  82 objArrayOop oopFactory::new_objectArray(int length, TRAPS)  {
  83   assert(Universe::objectArrayKlassObj() != NULL, "Too early?");
  84   return ObjArrayKlass::cast(Universe::objectArrayKlassObj())->allocate(length, THREAD);
  85 }
  86 
  87 typeArrayOop oopFactory::new_charArray(const char* utf8_str, TRAPS) {
  88   int length = utf8_str == NULL ? 0 : UTF8::unicode_length(utf8_str);
  89   typeArrayOop result = new_charArray(length, CHECK_NULL);
  90   if (length > 0) {
  91     UTF8::convert_to_unicode(utf8_str, result->char_at_addr(0), length);
  92   }
  93   return result;
  94 }
  95 
  96 typeArrayOop oopFactory::new_tenured_charArray(int length, TRAPS) {
  97   return TypeArrayKlass::cast(Universe::charArrayKlassObj())->allocate(length, THREAD);
  98 }
  99 
 100 typeArrayOop oopFactory::new_typeArray(BasicType type, int length, TRAPS) {
 101   Klass* type_asKlassOop = Universe::typeArrayKlassObj(type);
 102   TypeArrayKlass* type_asArrayKlass = TypeArrayKlass::cast(type_asKlassOop);
 103   typeArrayOop result = type_asArrayKlass->allocate(length, THREAD);
 104   return result;
 105 }
 106 
 107 // Create a Java array that points to Symbol.
 108 // As far as Java code is concerned, a Symbol array is either an array of
 109 // int or long depending on pointer size.  Only stack trace elements in Throwable use
 110 // this.  They cast Symbol* into this type.
 111 typeArrayOop oopFactory::new_symbolArray(int length, TRAPS) {
 112   BasicType type = LP64_ONLY(T_LONG) NOT_LP64(T_INT);
 113   Klass* type_asKlassOop = Universe::typeArrayKlassObj(type);
 114   TypeArrayKlass* type_asArrayKlass = TypeArrayKlass::cast(type_asKlassOop);
 115   typeArrayOop result = type_asArrayKlass->allocate(length, THREAD);
 116   return result;
 117 }
 118 
 119 typeArrayOop oopFactory::new_typeArray_nozero(BasicType type, int length, TRAPS) {
 120   Klass* type_asKlassOop = Universe::typeArrayKlassObj(type);
 121   TypeArrayKlass* type_asArrayKlass = TypeArrayKlass::cast(type_asKlassOop);
 122   typeArrayOop result = type_asArrayKlass->allocate_common(length, false, THREAD);
 123   return result;
 124 }
 125 
 126 
 127 objArrayOop oopFactory::new_objArray(Klass* klass, int length, TRAPS) {
 128   assert(klass->is_klass(), "must be instance class");
 129   if (klass->is_array_klass()) {
 130     return ArrayKlass::cast(klass)->allocate_arrayArray(1, length, THREAD);
 131   } else {
 132     return InstanceKlass::cast(klass)->allocate_objArray(1, length, THREAD);
 133   }
 134 }
 135 
 136 arrayOop oopFactory::new_valueArray(Klass* klass, int length, TRAPS) {
 137   assert(klass->is_value(), "Klass must be value type");
 138   // Request flattened, but we might not actually get it...either way "null-free" are the aaload/aastore semantics
 139   Klass* array_klass = klass->array_klass(ArrayStorageProperties::flattened_and_null_free, 1, CHECK_NULL);
 140   assert(ArrayKlass::cast(array_klass)->storage_properties().is_null_free(), "Expect a null-free array class here");
 141 
 142   arrayOop oop;
 143   if (array_klass->is_valueArray_klass()) {
 144     oop = (arrayOop) ValueArrayKlass::cast(array_klass)->allocate(length, THREAD);
 145   } else {
 146     oop = (arrayOop) ObjArrayKlass::cast(array_klass)->allocate(length, THREAD);
 147   }
 148   assert(oop->array_storage_properties().is_null_free(), "Bad array storage encoding");
 149   return oop;
 150 }
 151 
 152 objArrayHandle oopFactory::copy_valueArray_to_objArray(valueArrayHandle array, TRAPS) {
 153   int len = array->length();
 154   ValueArrayKlass* vak = ValueArrayKlass::cast(array->klass());
 155   objArrayHandle oarray = new_objArray_handle(vak->element_klass(),
 156                                               array->length(), CHECK_(objArrayHandle()));
 157   vak->copy_array(array(), 0, oarray(), 0, len, CHECK_(objArrayHandle()));
 158   return oarray;
 159 }
 160 
 161 objArrayHandle  oopFactory::ensure_objArray(oop array, TRAPS) {
 162   if (array != NULL && array->is_valueArray()) {
 163     return copy_valueArray_to_objArray(valueArrayHandle(THREAD, valueArrayOop(array)), THREAD);
 164   } else {
 165     return objArrayHandle(THREAD, objArrayOop(array));
 166   }
 167 }
 168 
 169 objArrayHandle oopFactory::new_objArray_handle(Klass* klass, int length, TRAPS) {
 170   objArrayOop obj = new_objArray(klass, length, CHECK_(objArrayHandle()));
 171   return objArrayHandle(THREAD, obj);
 172 }
 173 
 174 typeArrayHandle oopFactory::new_byteArray_handle(int length, TRAPS) {
 175   typeArrayOop obj = new_byteArray(length, CHECK_(typeArrayHandle()));
 176   return typeArrayHandle(THREAD, obj);
 177 }