src/hotspot/share/ci/ciObjArrayKlass.cpp

@@ -25,10 +25,11 @@
  #include "precompiled.hpp"
  #include "ci/ciInstanceKlass.hpp"
  #include "ci/ciObjArrayKlass.hpp"
  #include "ci/ciSymbol.hpp"
  #include "ci/ciUtilities.inline.hpp"
+ #include "oops/inlineKlass.inline.hpp"
  #include "oops/objArrayKlass.hpp"
  #include "runtime/signature.hpp"
  
  // ciObjArrayKlass
  //

@@ -62,18 +63,19 @@
  ciObjArrayKlass::ciObjArrayKlass(ciSymbol* array_name,
                                   ciKlass* base_element_klass,
                                   int dimension)
    : ciArrayKlass(array_name,
                   dimension, T_OBJECT) {
-     _base_element_klass = base_element_klass;
-     assert(_base_element_klass->is_instance_klass() ||
-            _base_element_klass->is_type_array_klass(), "bad base klass");
-     if (dimension == 1) {
-       _element_klass = base_element_klass;
-     } else {
-       _element_klass = nullptr;
-     }
+   _base_element_klass = base_element_klass;
+   assert(_base_element_klass->is_instance_klass() ||
+          _base_element_klass->is_type_array_klass() ||
+          _base_element_klass->is_flat_array_klass(), "bad base klass");
+   if (dimension == 1) {
+     _element_klass = base_element_klass;
+   } else {
+     _element_klass = nullptr;
+   }
  }
  
  // ------------------------------------------------------------------
  // ciObjArrayKlass::element_klass
  //

@@ -114,11 +116,10 @@
    int pos = 0;
    for ( ; pos < dimension; pos++) {
      name[pos] = JVM_SIGNATURE_ARRAY;
    }
    Symbol* base_name_sym = element_name->get_symbol();
- 
    if (Signature::is_array(base_name_sym) ||
        Signature::has_envelope(base_name_sym)) {
      strncpy(&name[pos], (char*)element_name->base(), element_len);
      name[pos + element_len] = '\0';
    } else {

@@ -133,11 +134,10 @@
  // ------------------------------------------------------------------
  // ciObjArrayKlass::make_impl
  //
  // Implementation of make.
  ciObjArrayKlass* ciObjArrayKlass::make_impl(ciKlass* element_klass) {
- 
    if (element_klass->is_loaded()) {
      EXCEPTION_CONTEXT;
      // The element klass is loaded
      Klass* array = element_klass->get_Klass()->array_klass(THREAD);
      if (HAS_PENDING_EXCEPTION) {

@@ -146,12 +146,11 @@
        return ciEnv::unloaded_ciobjarrayklass();
      }
      return CURRENT_THREAD_ENV->get_obj_array_klass(array);
    }
  
-   // The array klass was unable to be made or the element klass was
-   // not loaded.
+   // The array klass was unable to be made or the element klass was not loaded.
    ciSymbol* array_name = construct_array_name(element_klass->name(), 1);
    if (array_name == ciEnv::unloaded_cisymbol()) {
      return ciEnv::unloaded_ciobjarrayklass();
    }
    return

@@ -174,16 +173,28 @@
    }
    return klass->as_obj_array_klass();
  }
  
  ciKlass* ciObjArrayKlass::exact_klass() {
+   if (!is_loaded()) {
+     return nullptr;
+   }
    ciType* base = base_element_type();
    if (base->is_instance_klass()) {
      ciInstanceKlass* ik = base->as_instance_klass();
+     // Even though MyValue is final, [LMyValue is only exact if the array
+     // is null-free due to null-free [LMyValue <: null-able [LMyValue.
+     if (ik->is_inlinetype() && !is_elem_null_free()) {
+       return nullptr;
+     }
      if (ik->exact_klass() != nullptr) {
        return this;
      }
    } else if (base->is_primitive_type()) {
      return this;
    }
    return nullptr;
  }
+ 
+ bool ciObjArrayKlass::is_elem_null_free() const {
+   GUARDED_VM_ENTRY(return get_Klass()->is_null_free_array_klass();)
+ }