1 /*
   2  * Copyright (c) 2011, 2015, 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 #include "precompiled.hpp"
  25 #include "jvmci/jvmciJavaClasses.hpp"
  26 #include "runtime/jniHandles.hpp"
  27 #include "classfile/symbolTable.hpp"
  28 #include "memory/resourceArea.hpp"
  29 
  30 // This function is similar to javaClasses.cpp, it computes the field offset of a (static or instance) field.
  31 // It looks up the name and signature symbols without creating new ones, all the symbols of these classes need to be already loaded.
  32 
  33 void compute_offset(int &dest_offset, Klass* klass, const char* name, const char* signature, bool static_field, TRAPS) {
  34   InstanceKlass* ik = InstanceKlass::cast(klass);
  35   Symbol* name_symbol = SymbolTable::probe(name, (int)strlen(name));
  36   Symbol* signature_symbol = SymbolTable::probe(signature, (int)strlen(signature));
  37   if (name_symbol == NULL || signature_symbol == NULL) {
  38 #ifndef PRODUCT
  39     ik->print_on(tty);
  40 #endif
  41     fatal("symbol with name %s and signature %s was not found in symbol table (klass=%s)", name, signature, klass->name()->as_C_string());
  42   }
  43 
  44   fieldDescriptor fd;
  45   if (!ik->find_field(name_symbol, signature_symbol, &fd)) {
  46     ResourceMark rm;
  47     fatal("Invalid layout of %s at %s", name_symbol->as_C_string(), ik->external_name());
  48   }
  49   guarantee(fd.is_static() == static_field, "static/instance mismatch");
  50   dest_offset = fd.offset();
  51   assert(dest_offset != 0, "must be valid offset");
  52   if (static_field) {
  53     // Must ensure classes for static fields are initialized as the
  54     // accessor itself does not include a class initialization check.
  55     ik->initialize(CHECK);
  56   }
  57 }
  58 
  59 // This piece of macro magic creates the contents of the jvmci_compute_offsets method that initializes the field indices of all the access classes.
  60 
  61 #define START_CLASS(name) { Klass* k = SystemDictionary::name##_klass(); assert(k != NULL, "Could not find class " #name "");
  62 
  63 #define END_CLASS }
  64 
  65 #define FIELD(klass, name, signature, static_field) compute_offset(klass::_##name##_offset, k, #name, signature, static_field, CHECK);
  66 #define CHAR_FIELD(klass, name) FIELD(klass, name, "C", false)
  67 #define INT_FIELD(klass, name) FIELD(klass, name, "I", false)
  68 #define BOOLEAN_FIELD(klass, name) FIELD(klass, name, "Z", false)
  69 #define LONG_FIELD(klass, name) FIELD(klass, name, "J", false)
  70 #define FLOAT_FIELD(klass, name) FIELD(klass, name, "F", false)
  71 #define OOP_FIELD(klass, name, signature) FIELD(klass, name, signature, false)
  72 #define STATIC_OOP_FIELD(klass, name, signature) FIELD(klass, name, signature, true)
  73 #define STATIC_INT_FIELD(klass, name) FIELD(klass, name, "I", true)
  74 #define STATIC_BOOLEAN_FIELD(klass, name) FIELD(klass, name, "Z", true)
  75 
  76 
  77 void JVMCIJavaClasses::compute_offsets(TRAPS) {
  78   COMPILER_CLASSES_DO(START_CLASS, END_CLASS, CHAR_FIELD, INT_FIELD, BOOLEAN_FIELD, LONG_FIELD, FLOAT_FIELD, OOP_FIELD, OOP_FIELD, OOP_FIELD, STATIC_OOP_FIELD, STATIC_OOP_FIELD, STATIC_INT_FIELD, STATIC_BOOLEAN_FIELD)
  79 }
  80 
  81 #define EMPTY0
  82 #define EMPTY1(x)
  83 #define EMPTY2(x,y)
  84 #define FIELD2(klass, name) int klass::_##name##_offset = 0;
  85 #define FIELD3(klass, name, sig) FIELD2(klass, name)
  86 
  87 COMPILER_CLASSES_DO(EMPTY1, EMPTY0, FIELD2, FIELD2, FIELD2, FIELD2, FIELD2, FIELD3, FIELD3, FIELD3, FIELD3, FIELD3, FIELD2, FIELD2)
  88 
  89 
  90 
  91 
  92