duke@435: /*
coleenp@4037:  * Copyright (c) 2004, 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: #include "precompiled.hpp"
twisti@4318: #include "asm/macroAssembler.hpp"
twisti@4318: #include "asm/codeBuffer.hpp"
coleenp@4037: #include "memory/metaspaceShared.hpp"
duke@435: 
duke@435: // Generate the self-patching vtable method:
duke@435: //
duke@435: // This method will be called (as any other Klass virtual method) with
duke@435: // the Klass itself as the first argument.  Example:
duke@435: //
duke@435: //      oop obj;
coleenp@4037: //      int size = obj->klass()->oop_size(this);
duke@435: //
duke@435: // for which the virtual method call is Klass::oop_size();
duke@435: //
duke@435: // The dummy method is called with the Klass object as the first
duke@435: // operand, and an object as the second argument.
duke@435: //
duke@435: 
duke@435: //=====================================================================
duke@435: 
duke@435: // All of the dummy methods in the vtable are essentially identical,
coleenp@4037: // differing only by an ordinal constant, and they bear no relationship
duke@435: // to the original method which the caller intended. Also, there needs
duke@435: // to be 'vtbl_list_size' instances of the vtable in order to
duke@435: // differentiate between the 'vtable_list_size' original Klass objects.
duke@435: 
duke@435: #define __ masm->
duke@435: 
coleenp@4037: void MetaspaceShared::generate_vtable_methods(void** vtbl_list,
duke@435:                                                    void** vtable,
duke@435:                                                    char** md_top,
duke@435:                                                    char* md_end,
duke@435:                                                    char** mc_top,
duke@435:                                                    char* mc_end) {
duke@435: 
duke@435:   intptr_t vtable_bytes = (num_virtuals * vtbl_list_size) * sizeof(void*);
duke@435:   *(intptr_t *)(*md_top) = vtable_bytes;
duke@435:   *md_top += sizeof(intptr_t);
duke@435:   void** dummy_vtable = (void**)*md_top;
duke@435:   *vtable = dummy_vtable;
duke@435:   *md_top += vtable_bytes;
duke@435: 
duke@435:   // Get ready to generate dummy methods.
duke@435: 
duke@435:   CodeBuffer cb((unsigned char*)*mc_top, mc_end - *mc_top);
duke@435:   MacroAssembler* masm = new MacroAssembler(&cb);
duke@435: 
duke@435:   Label common_code;
duke@435:   for (int i = 0; i < vtbl_list_size; ++i) {
duke@435:     for (int j = 0; j < num_virtuals; ++j) {
duke@435:       dummy_vtable[num_virtuals * i + j] = (void*)masm->pc();
duke@435: 
duke@435:       // Load eax with a value indicating vtable/offset pair.
duke@435:       // -- bits[ 7..0]  (8 bits) which virtual method in table?
duke@435:       // -- bits[12..8]  (5 bits) which virtual method table?
duke@435:       // -- must fit in 13-bit instruction immediate field.
duke@435:       __ movl(rax, (i << 8) + j);
duke@435:       __ jmp(common_code);
duke@435:     }
duke@435:   }
duke@435: 
duke@435:   __ bind(common_code);
duke@435: 
duke@435:   // Expecting to be called with "thiscall" convections -- the arguments
duke@435:   // are on the stack and the "this" pointer is in c_rarg0. In addition, rax
duke@435:   // was set (above) to the offset of the method in the table.
duke@435: 
never@739:   __ push(c_rarg1);                     // save & free register
never@739:   __ push(c_rarg0);                     // save "this"
never@739:   __ mov(c_rarg0, rax);
never@739:   __ shrptr(c_rarg0, 8);                // isolate vtable identifier.
never@739:   __ shlptr(c_rarg0, LogBytesPerWord);
duke@435:   __ lea(c_rarg1, ExternalAddress((address)vtbl_list)); // ptr to correct vtable list.
never@739:   __ addptr(c_rarg1, c_rarg0);          // ptr to list entry.
never@739:   __ movptr(c_rarg1, Address(c_rarg1, 0));      // get correct vtable address.
never@739:   __ pop(c_rarg0);                      // restore "this"
never@739:   __ movptr(Address(c_rarg0, 0), c_rarg1);      // update vtable pointer.
duke@435: 
never@739:   __ andptr(rax, 0x00ff);                       // isolate vtable method index
never@739:   __ shlptr(rax, LogBytesPerWord);
never@739:   __ addptr(rax, c_rarg1);              // address of real method pointer.
never@739:   __ pop(c_rarg1);                      // restore register.
never@739:   __ movptr(rax, Address(rax, 0));      // get real method pointer.
duke@435:   __ jmp(rax);                          // jump to the real method.
duke@435: 
duke@435:   __ flush();
duke@435: 
duke@435:   *mc_top = (char*)__ pc();
duke@435: }