kamg@4245: /*
kamg@4245:  * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
kamg@4245:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
kamg@4245:  *
kamg@4245:  * This code is free software; you can redistribute it and/or modify it
kamg@4245:  * under the terms of the GNU General Public License version 2 only, as
kamg@4245:  * published by the Free Software Foundation.
kamg@4245:  *
kamg@4245:  * This code is distributed in the hope that it will be useful, but WITHOUT
kamg@4245:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
kamg@4245:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
kamg@4245:  * version 2 for more details (a copy is included in the LICENSE file that
kamg@4245:  * accompanied this code).
kamg@4245:  *
kamg@4245:  * You should have received a copy of the GNU General Public License version
kamg@4245:  * 2 along with this work; if not, write to the Free Software Foundation,
kamg@4245:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
kamg@4245:  *
kamg@4245:  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
kamg@4245:  * or visit www.oracle.com if you need additional information or have any
kamg@4245:  * questions.
kamg@4245:  *
kamg@4245:  */
kamg@4245: 
kamg@4245: #include "precompiled.hpp"
kamg@4245: 
kamg@4245: #include "classfile/bytecodeAssembler.hpp"
kamg@4245: #include "interpreter/bytecodes.hpp"
kamg@4245: #include "memory/oopFactory.hpp"
kamg@4245: #include "oops/constantPool.hpp"
kamg@4245: 
kamg@4245: #ifdef TARGET_ARCH_x86
kamg@4245: # include "bytes_x86.hpp"
kamg@4245: #endif
kamg@4245: #ifdef TARGET_ARCH_sparc
kamg@4245: # include "bytes_sparc.hpp"
kamg@4245: #endif
kamg@4245: #ifdef TARGET_ARCH_zero
kamg@4245: # include "bytes_zero.hpp"
kamg@4245: #endif
kamg@4245: #ifdef TARGET_ARCH_arm
kamg@4245: # include "bytes_arm.hpp"
kamg@4245: #endif
kamg@4245: #ifdef TARGET_ARCH_ppc
kamg@4245: # include "bytes_ppc.hpp"
kamg@4245: #endif
kamg@4245: 
kamg@4245: u2 BytecodeConstantPool::find_or_add(BytecodeCPEntry const& bcpe) {
kamg@4245:   u2 index;
kamg@4245:   u2* probe = _indices.get(bcpe);
kamg@4245:   if (probe == NULL) {
kamg@4245:     index = _entries.length();
kamg@4245:     _entries.append(bcpe);
kamg@4245:     _indices.put(bcpe, index);
kamg@4245:   } else {
kamg@4245:     index = *probe;
kamg@4245:   }
kamg@4245:   return index + _orig->length();
kamg@4245: }
kamg@4245: 
kamg@4245: ConstantPool* BytecodeConstantPool::create_constant_pool(TRAPS) const {
kamg@4245:   if (_entries.length() == 0) {
kamg@4245:     return _orig;
kamg@4245:   }
kamg@4245: 
kamg@4245:   ConstantPool* cp = ConstantPool::allocate(
kamg@4245:       _orig->pool_holder()->class_loader_data(),
kamg@4245:       _orig->length() + _entries.length(), CHECK_NULL);
kamg@4245: 
kamg@4245:   cp->set_pool_holder(_orig->pool_holder());
kamg@4245:   _orig->copy_cp_to(1, _orig->length() - 1, cp, 1, CHECK_NULL);
kamg@4245: 
kamg@4245:   for (int i = 0; i < _entries.length(); ++i) {
kamg@4245:     BytecodeCPEntry entry = _entries.at(i);
kamg@4245:     int idx = i + _orig->length();
kamg@4245:     switch (entry._tag) {
kamg@4245:       case BytecodeCPEntry::UTF8:
acorn@5055:         entry._u.utf8->increment_refcount();
kamg@4245:         cp->symbol_at_put(idx, entry._u.utf8);
kamg@4245:         break;
kamg@4245:       case BytecodeCPEntry::KLASS:
kamg@4245:         cp->unresolved_klass_at_put(
kamg@4245:             idx, cp->symbol_at(entry._u.klass));
kamg@4245:         break;
kamg@4245:       case BytecodeCPEntry::STRING:
kamg@4245:         cp->unresolved_string_at_put(
kamg@4245:             idx, cp->symbol_at(entry._u.string));
kamg@4245:         break;
kamg@4245:       case BytecodeCPEntry::NAME_AND_TYPE:
kamg@4245:         cp->name_and_type_at_put(idx,
kamg@4245:             entry._u.name_and_type.name_index,
kamg@4245:             entry._u.name_and_type.type_index);
kamg@4245:         break;
kamg@4245:       case BytecodeCPEntry::METHODREF:
kamg@4245:         cp->method_at_put(idx,
kamg@4245:             entry._u.methodref.class_index,
kamg@4245:             entry._u.methodref.name_and_type_index);
kamg@4245:         break;
kamg@4245:       default:
kamg@4245:         ShouldNotReachHere();
kamg@4245:     }
kamg@4245:   }
kamg@4245:   return cp;
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::append(u1 imm_u1) {
kamg@4245:   _code->append(imm_u1);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::append(u2 imm_u2) {
kamg@4245:   _code->append(0);
kamg@4245:   _code->append(0);
kamg@4245:   Bytes::put_Java_u2(_code->adr_at(_code->length() - 2), imm_u2);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::append(u4 imm_u4) {
kamg@4245:   _code->append(0);
kamg@4245:   _code->append(0);
kamg@4245:   _code->append(0);
kamg@4245:   _code->append(0);
kamg@4245:   Bytes::put_Java_u4(_code->adr_at(_code->length() - 4), imm_u4);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::xload(u4 index, u1 onebyteop, u1 twobyteop) {
kamg@4245:   if (index < 4) {
kamg@4245:     _code->append(onebyteop + index);
kamg@4245:   } else {
kamg@4245:     _code->append(twobyteop);
kamg@4245:     _code->append((u2)index);
kamg@4245:   }
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::dup() {
kamg@4245:   _code->append(Bytecodes::_dup);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::_new(Symbol* sym) {
kamg@4245:   u2 cpool_index = _cp->klass(sym);
kamg@4245:   _code->append(Bytecodes::_new);
kamg@4245:   append(cpool_index);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::load_string(Symbol* sym) {
kamg@4245:   u2 cpool_index = _cp->string(sym);
kamg@4245:   if (cpool_index < 0x100) {
kamg@4245:     ldc(cpool_index);
kamg@4245:   } else {
kamg@4245:     ldc_w(cpool_index);
kamg@4245:   }
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::ldc(u1 index) {
kamg@4245:   _code->append(Bytecodes::_ldc);
kamg@4245:   append(index);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::ldc_w(u2 index) {
kamg@4245:   _code->append(Bytecodes::_ldc_w);
kamg@4245:   append(index);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::athrow() {
kamg@4245:   _code->append(Bytecodes::_athrow);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::iload(u4 index) {
kamg@4245:   xload(index, Bytecodes::_iload_0, Bytecodes::_iload);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::lload(u4 index) {
kamg@4245:   xload(index, Bytecodes::_lload_0, Bytecodes::_lload);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::fload(u4 index) {
kamg@4245:   xload(index, Bytecodes::_fload_0, Bytecodes::_fload);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::dload(u4 index) {
kamg@4245:   xload(index, Bytecodes::_dload_0, Bytecodes::_dload);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::aload(u4 index) {
kamg@4245:   xload(index, Bytecodes::_aload_0, Bytecodes::_aload);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::load(BasicType bt, u4 index) {
kamg@4245:   switch (bt) {
kamg@4245:     case T_BOOLEAN:
kamg@4245:     case T_CHAR:
kamg@4245:     case T_BYTE:
kamg@4245:     case T_SHORT:
kamg@4245:     case T_INT:     iload(index); break;
kamg@4245:     case T_FLOAT:   fload(index); break;
kamg@4245:     case T_DOUBLE:  dload(index); break;
kamg@4245:     case T_LONG:    lload(index); break;
kamg@4245:     case T_OBJECT:
kamg@4245:     case T_ARRAY:   aload(index); break;
kamg@4245:     default:
kamg@4245:       ShouldNotReachHere();
kamg@4245:   }
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::checkcast(Symbol* sym) {
kamg@4245:   u2 cpool_index = _cp->klass(sym);
kamg@4245:   _code->append(Bytecodes::_checkcast);
kamg@4245:   append(cpool_index);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::invokespecial(Method* method) {
kamg@4245:   invokespecial(method->klass_name(), method->name(), method->signature());
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::invokespecial(Symbol* klss, Symbol* name, Symbol* sig) {
kamg@4245:   u2 methodref_index = _cp->methodref(klss, name, sig);
kamg@4245:   _code->append(Bytecodes::_invokespecial);
kamg@4245:   append(methodref_index);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::invokevirtual(Method* method) {
kamg@4245:   invokevirtual(method->klass_name(), method->name(), method->signature());
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::invokevirtual(Symbol* klss, Symbol* name, Symbol* sig) {
kamg@4245:   u2 methodref_index = _cp->methodref(klss, name, sig);
kamg@4245:   _code->append(Bytecodes::_invokevirtual);
kamg@4245:   append(methodref_index);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::ireturn() {
kamg@4245:   _code->append(Bytecodes::_ireturn);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::lreturn() {
kamg@4245:   _code->append(Bytecodes::_lreturn);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::freturn() {
kamg@4245:   _code->append(Bytecodes::_freturn);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::dreturn() {
kamg@4245:   _code->append(Bytecodes::_dreturn);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::areturn() {
kamg@4245:   _code->append(Bytecodes::_areturn);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::_return() {
kamg@4245:   _code->append(Bytecodes::_return);
kamg@4245: }
kamg@4245: 
kamg@4245: void BytecodeAssembler::_return(BasicType bt) {
kamg@4245:   switch (bt) {
kamg@4245:     case T_BOOLEAN:
kamg@4245:     case T_CHAR:
kamg@4245:     case T_BYTE:
kamg@4245:     case T_SHORT:
kamg@4245:     case T_INT:     ireturn(); break;
kamg@4245:     case T_FLOAT:   freturn(); break;
kamg@4245:     case T_DOUBLE:  dreturn(); break;
kamg@4245:     case T_LONG:    lreturn(); break;
kamg@4245:     case T_OBJECT:
kamg@4245:     case T_ARRAY:   areturn(); break;
kamg@4245:     case T_VOID:    _return(); break;
kamg@4245:     default:
kamg@4245:       ShouldNotReachHere();
kamg@4245:   }
kamg@4245: }