truffle: src/share/vm/c1x/c1x_CodeInstaller.cpp annotate

annotate src/share/vm/c1x/c1x_CodeInstaller.cpp @ 1447:1afbc44ee576

Modified class descriptions in C++ to reflect changes to CiDebugInfo.Frame

author	Doug Simon <doug.simon@oracle.com>
date	Tue, 09 Nov 2010 17:38:40 +0100
parents	c0e244017dad
children	565f45cebac2

rev	line source
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	1 /*
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	2 * Copyright 2000-2010 Sun Microsystems, Inc. All Rights Reserved.
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	4 *
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	7 * published by the Free Software Foundation.
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	8 *
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	13 * accompanied this code).
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	14 *
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	18 *
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	20 * CA 95054 USA or visit www.sun.com if you need additional information or
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	21 * have any questions.
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	22 *
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	23 */
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	24
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	25 # include "incls/_precompiled.incl"
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	26 # include "incls/_c1x_CodeInstaller.cpp.incl"
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	27
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	28
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	29 // TODO this should be handled in a more robust way - not hard coded...
1444 c0e244017dad Corrections of oop map generation. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1441 diff changeset	30 Register CPU_REGS[] = { rax, rcx, rdx, rbx, rsp, rbp, rsi, rdi, r8, r9, r10, r11, r12, r13, r14, r15 };
c0e244017dad Corrections of oop map generation. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1441 diff changeset	31 bool OOP_ALLOWED[] = {true, true, true, true, false, false, true, true, true, true, false, true, true, true, true, true};
1438 a7a0ef3c6858 Added timing printout on VM shutdown. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1435 diff changeset	32 const static int NUM_CPU_REGS = sizeof(CPU_REGS) / sizeof(Register);
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	33 XMMRegister XMM_REGS[] = { xmm0, xmm1, xmm2, xmm3, xmm4, xmm5, xmm6, xmm7, xmm8, xmm9, xmm10, xmm11, xmm12, xmm13, xmm14, xmm15 };
1438 a7a0ef3c6858 Added timing printout on VM shutdown. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1435 diff changeset	34 const static int NUM_XMM_REGS = sizeof(XMM_REGS) / sizeof(XMMRegister);
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	35 const static int NUM_REGS = NUM_CPU_REGS + NUM_XMM_REGS;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	36
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	37 // convert c1x register indices (as used in oop maps) to hotspot registers
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	38 VMReg get_hotspot_reg(jint c1x_reg) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	39
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	40 assert(c1x_reg >= 0 && c1x_reg < NUM_REGS, "invalid register number");
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	41 if (c1x_reg < NUM_CPU_REGS) {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	42 return CPU_REGS[c1x_reg]->as_VMReg();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	43 } else {
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	44 return XMM_REGS[c1x_reg - NUM_CPU_REGS]->as_VMReg();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	45 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	46 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	47
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	48 // creates a hotspot oop map out of the byte arrays provided by CiDebugInfo
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	49 static OopMap* create_oop_map(jint frame_size, jint parameter_count, oop debug_info) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	50 OopMap* map = new OopMap(frame_size, parameter_count);
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	51 arrayOop register_map = (arrayOop) CiDebugInfo::registerRefMap(debug_info);
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	52 arrayOop frame_map = (arrayOop) CiDebugInfo::frameRefMap(debug_info);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	53
1439 d0c8d3a2a7e8 Modified domake script to use (and require) JRE7 environment variable for find the base of a JRE 7 installation. This script no also ensures that $JRE7/lib/amd64/jvm.cfg has the right value for '-client'. Doug Simon <doug.simon@oracle.com> parents: 1438 diff changeset	54 assert(register_map->length() == (NUM_CPU_REGS + 7) / 8, "unexpected register_map length");
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	55
1444 c0e244017dad Corrections of oop map generation. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1441 diff changeset	56 for (jint i = 0; i < NUM_CPU_REGS; i++) {
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	57 unsigned char byte = ((unsigned char*) register_map->base(T_BYTE))[i / 8];
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	58 bool is_oop = (byte & (1 << (i % 8))) != 0;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	59 VMReg reg = get_hotspot_reg(i);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	60 if (is_oop) {
1444 c0e244017dad Corrections of oop map generation. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1441 diff changeset	61 assert(OOP_ALLOWED[i], "this register may never be an oop, register map misaligned?");
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	62 map->set_oop(reg);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	63 } else {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	64 map->set_value(reg);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	65 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	66 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	67
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	68 if (frame_size > 0) {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	69 assert(frame_map->length() == ((frame_size / HeapWordSize) + 7) / 8, "unexpected register_map length");
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	70
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	71 for (jint i = 0; i < frame_size / HeapWordSize; i++) {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	72 unsigned char byte = ((unsigned char*) frame_map->base(T_BYTE))[i / 8];
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	73 bool is_oop = (byte & (1 << (i % 8))) != 0;
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	74 // hotspot stack slots are 4 bytes
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	75 VMReg reg = VMRegImpl::stack2reg(i * 2);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	76 if (is_oop) {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	77 map->set_oop(reg);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	78 } else {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	79 map->set_value(reg);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	80 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	81 }
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	82 } else {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	83 assert(frame_map == NULL \|\| frame_map->length() == 0, "cannot have frame_map for frames with size 0");
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	84 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	85
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	86 return map;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	87 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	88
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	89 // TODO: finish this - c1x doesn't provide any scope values at the moment
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	90 static ScopeValue* get_hotspot_value(oop value, int frame_size) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	91 if (value == CiValue::IllegalValue()) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	92 return new LocationValue(Location::new_stk_loc(Location::invalid, 0));
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	93 }
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	94
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	95 BasicType type = C1XCompiler::kindToBasicType(CiKind::typeChar(CiValue::kind(value)));
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	96 if (value->is_a(CiRegisterValue::klass())) {
1435 20a3896518ac Initial adjustments to make C1X4HotSpot compile and run with latest Maxine version. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1434 diff changeset	97 jint number = CiRegister::number(CiRegisterValue::reg(value));
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	98
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	99 if (number < 16) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	100 return new LocationValue(Location::new_reg_loc(Location::normal, as_Register(number)->as_VMReg()));
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	101 } else {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	102 return new LocationValue(Location::new_reg_loc(Location::normal, as_XMMRegister(number - 16)->as_VMReg()));
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	103 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	104 } else if (value->is_a(CiStackSlot::klass())) {
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	105 jint index = CiStackSlot::index(value);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	106 if (index >= 0) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	107 return new LocationValue(Location::new_stk_loc(Location::normal, index * HeapWordSize));
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	108 } else {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	109 int frame_size_bytes = frame_size + 2 * HeapWordSize;
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	110 return new LocationValue(Location::new_stk_loc(Location::normal, -(index * HeapWordSize) + frame_size_bytes));
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	111 }
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	112 } else if (value->is_a(CiConstant::klass())){
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	113 oop obj = CiConstant::object(value);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	114 jlong prim = CiConstant::primitive(value);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	115 if (type == T_INT \|\| type == T_FLOAT) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	116 return new ConstantIntValue((jint)&prim);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	117 } else if (type == T_LONG \|\| type == T_DOUBLE) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	118 return new ConstantLongValue(prim);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	119 } else if (type == T_OBJECT) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	120 oop obj = CiConstant::object(value);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	121 if (obj == NULL) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	122 return new ConstantOopWriteValue(NULL);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	123 } else {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	124 obj->print();
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	125 ShouldNotReachHere();
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	126 }
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	127 //return new ConstantOopWriteValue()
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	128 }
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	129 tty->print("%i", type);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	130 ShouldNotReachHere();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	131 } else {
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	132 value->klass()->print();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	133 ShouldNotReachHere();
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	134 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	135 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	136
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	137 // constructor used to create a method
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	138 CodeInstaller::CodeInstaller(oop target_method) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	139 VM_ENTRY_MARK;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	140 _env = CURRENT_ENV;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	141
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	142 initialize_fields(target_method);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	143 assert(_hotspot_method != NULL && _name == NULL, "installMethod needs NON-NULL method and NULL name");
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	144 assert(_hotspot_method->is_a(HotSpotMethodResolved::klass()), "installMethod needs a HotSpotMethodResolved");
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	145
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	146 // TODO: This is a hack.. Produce correct entries.
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	147 _offsets.set_value(CodeOffsets::Exceptions, 0);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	148 _offsets.set_value(CodeOffsets::Deopt, 0);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	149
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	150 methodOop method = VmIds::get<methodOop>(HotSpotMethodResolved::vmId(_hotspot_method));
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	151 ciMethod ciMethodObject = (ciMethod ) _env->get_object(method);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	152 _parameter_count = method->size_of_parameters();
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	153
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	154 // (very) conservative estimate: each site needs a relocation
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	155 CodeBuffer buffer("temp c1x method", _total_size, _sites->length() * relocInfo::length_limit);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	156 initialize_buffer(buffer);
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	157 process_exception_handlers();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	158 {
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	159 int stack_slots = (_frame_size / HeapWordSize) + 2; // conversion to words, need to add two slots for ret address and frame pointer
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	160 ThreadToNativeFromVM t((JavaThread*) THREAD);
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	161 _env->register_method(ciMethodObject, -1, &_offsets, 0, &buffer, stack_slots, _debug_recorder->_oopmaps, &_exception_handler_table,
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	162 &_implicit_exception_table, C1XCompiler::instance(), _env->comp_level(), false, false);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	163 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	164 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	165
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	166 // constructor used to create a stub
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	167 CodeInstaller::CodeInstaller(oop target_method, jlong& id) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	168 VM_ENTRY_MARK;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	169 _env = CURRENT_ENV;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	170
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	171 initialize_fields(target_method);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	172 assert(_hotspot_method == NULL && _name != NULL, "installMethod needs NON-NULL name and NULL method");
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	173
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	174 // (very) conservative estimate: each site needs a relocation
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	175 CodeBuffer buffer("temp c1x stub", _total_size, _sites->length() * relocInfo::length_limit);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	176 initialize_buffer(buffer);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	177
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	178 const char* cname = java_lang_String::as_utf8_string(_name);
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	179 BufferBlob* blob = BufferBlob::create(strdup(cname), &buffer); // this is leaking strings... but only a limited number of stubs will be created
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	180 IF_TRACE_C1X_3 Disassembler::decode((CodeBlob*) blob);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	181 id = VmIds::addStub(blob->instructions_begin());
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	182 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	183
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	184 void CodeInstaller::initialize_fields(oop target_method) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	185 _citarget_method = HotSpotTargetMethod::targetMethod(target_method);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	186 _hotspot_method = HotSpotTargetMethod::method(target_method);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	187 _name = HotSpotTargetMethod::name(target_method);
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	188 _sites = (arrayOop) HotSpotTargetMethod::sites(target_method);
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	189 _exception_handlers = (arrayOop) HotSpotTargetMethod::exceptionHandlers(target_method);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	190
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	191 _code = (arrayOop) CiTargetMethod::targetCode(_citarget_method);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	192 _code_size = CiTargetMethod::targetCodeSize(_citarget_method);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	193 _frame_size = CiTargetMethod::frameSize(_citarget_method);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	194
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	195 // (very) conservative estimate: each site needs a constant section entry
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	196 _constants_size = _sites->length() * BytesPerLong;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	197 _total_size = align_size_up(_code_size, HeapWordSize) + _constants_size;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	198
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	199 _next_call_type = MARK_INVOKE_INVALID;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	200 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	201
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	202 // perform data and call relocation on the CodeBuffer
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	203 void CodeInstaller::initialize_buffer(CodeBuffer& buffer) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	204 _oop_recorder = new OopRecorder(_env->arena());
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	205 _env->set_oop_recorder(_oop_recorder);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	206 _debug_recorder = new DebugInformationRecorder(_env->oop_recorder());
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	207 _debug_recorder->set_oopmaps(new OopMapSet());
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	208 _dependencies = new Dependencies(_env);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	209
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	210 _env->set_oop_recorder(_oop_recorder);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	211 _env->set_debug_info(_debug_recorder);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	212 _env->set_dependencies(_dependencies);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	213 buffer.initialize_oop_recorder(_oop_recorder);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	214
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	215 buffer.initialize_consts_size(_constants_size);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	216 _instructions = buffer.insts();
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	217 _constants = buffer.consts();
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	218
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	219 // copy the code into the newly created CodeBuffer
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	220 memcpy(_instructions->start(), _code->base(T_BYTE), _code_size);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	221 _instructions->set_end(_instructions->start() + _code_size);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	222
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	223 oop* sites = (oop*) _sites->base(T_OBJECT);
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	224 for (int i = 0; i < _sites->length(); i++) {
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	225 oop site = sites[i];
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	226 jint pc_offset = CiTargetMethod_Site::pcOffset(site);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	227
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	228 if (site->is_a(CiTargetMethod_Safepoint::klass())) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	229 TRACE_C1X_4("safepoint at %i", pc_offset);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	230 site_Safepoint(buffer, pc_offset, site);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	231 } else if (site->is_a(CiTargetMethod_Call::klass())) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	232 TRACE_C1X_4("call at %i", pc_offset);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	233 site_Call(buffer, pc_offset, site);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	234 } else if (site->is_a(CiTargetMethod_DataPatch::klass())) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	235 TRACE_C1X_4("datapatch at %i", pc_offset);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	236 site_DataPatch(buffer, pc_offset, site);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	237 } else if (site->is_a(CiTargetMethod_Mark::klass())) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	238 TRACE_C1X_4("mark at %i", pc_offset);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	239 site_Mark(buffer, pc_offset, site);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	240 } else {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	241 fatal("unexpected Site subclass");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	242 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	243 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	244 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	245
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	246 void CodeInstaller::process_exception_handlers() {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	247 // allocate some arrays for use by the collection code.
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	248 const int num_handlers = 5;
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	249 GrowableArray<intptr_t>* bcis = new GrowableArray<intptr_t> (num_handlers);
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	250 GrowableArray<intptr_t>* scope_depths = new GrowableArray<intptr_t> (num_handlers);
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	251 GrowableArray<intptr_t>* pcos = new GrowableArray<intptr_t> (num_handlers);
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	252
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	253 if (_exception_handlers != NULL) {
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	254 oop* exception_handlers = (oop*) _exception_handlers->base(T_OBJECT);
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	255 for (int i = 0; i < _exception_handlers->length(); i++) {
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	256 jint pc_offset = CiTargetMethod_Site::pcOffset(exception_handlers[i]);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	257 int start = i;
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	258 while ((i + 1) < _exception_handlers->length() && CiTargetMethod_Site::pcOffset(exception_handlers[i + 1]) == pc_offset)
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	259 i++;
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	260
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	261 // empty the arrays
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	262 bcis->trunc_to(0);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	263 scope_depths->trunc_to(0);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	264 pcos->trunc_to(0);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	265
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	266 for (int j = start; j <= i; j++) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	267 oop exc = exception_handlers[j];
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	268 jint handler_offset = CiTargetMethod_ExceptionHandler::handlerPos(exc);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	269 jint handler_bci = CiTargetMethod_ExceptionHandler::handlerBci(exc);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	270 jint bci = CiTargetMethod_ExceptionHandler::bci(exc);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	271 jint scope_level = CiTargetMethod_ExceptionHandler::scopeLevel(exc);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	272 Handle handler_type = CiTargetMethod_ExceptionHandler::exceptionType(exc);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	273
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	274 assert(handler_offset != -1, "must have been generated");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	275
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	276 int e = bcis->find(handler_bci);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	277 if (e >= 0 && scope_depths->at(e) == scope_level) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	278 // two different handlers are declared to dispatch to the same
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	279 // catch bci. During parsing we created edges for each
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	280 // handler but we really only need one. The exception handler
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	281 // table will also get unhappy if we try to declare both since
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	282 // it's nonsensical. Just skip this handler.
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	283 continue;
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	284 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	285
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	286 bcis->append(handler_bci);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	287 if (handler_bci == -1) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	288 // insert a wildcard handler at scope depth 0 so that the
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	289 // exception lookup logic with find it.
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	290 scope_depths->append(0);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	291 } else {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	292 scope_depths->append(scope_level);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	293 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	294 pcos->append(handler_offset);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	295
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	296 // stop processing once we hit a catch any
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	297 // if (handler->is_catch_all()) {
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	298 // assert(i == handlers->length() - 1, "catch all must be last handler");
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	299 // }
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	300
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	301 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	302 _exception_handler_table.add_subtable(pc_offset, bcis, scope_depths, pcos);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	303 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	304 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	305
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	306 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	307
1447 1afbc44ee576 Modified class descriptions in C++ to reflect changes to CiDebugInfo.Frame Doug Simon <doug.simon@oracle.com> parents: 1444 diff changeset	308 void CodeInstaller::record_scope(jint pc_offset, oop code_pos) {
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	309 oop caller_pos = CiCodePos::caller(code_pos);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	310 if (caller_pos != NULL) {
1447 1afbc44ee576 Modified class descriptions in C++ to reflect changes to CiDebugInfo.Frame Doug Simon <doug.simon@oracle.com> parents: 1444 diff changeset	311 record_scope(pc_offset, caller_pos);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	312 }
1447 1afbc44ee576 Modified class descriptions in C++ to reflect changes to CiDebugInfo.Frame Doug Simon <doug.simon@oracle.com> parents: 1444 diff changeset	313 oop frame = NULL;
1afbc44ee576 Modified class descriptions in C++ to reflect changes to CiDebugInfo.Frame Doug Simon <doug.simon@oracle.com> parents: 1444 diff changeset	314 if (code_pos->klass()->klass_part()->name() == vmSymbols::com_sun_cri_ci_CiDebugInfo_Frame()) {
1afbc44ee576 Modified class descriptions in C++ to reflect changes to CiDebugInfo.Frame Doug Simon <doug.simon@oracle.com> parents: 1444 diff changeset	315 frame = code_pos;
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	316 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	317
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	318 oop hotspot_method = CiCodePos::method(code_pos);
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	319 assert(hotspot_method != NULL && hotspot_method->is_a(HotSpotMethodResolved::klass()), "unexpected hotspot method");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	320 methodOop method = VmIds::get<methodOop>(HotSpotMethodResolved::vmId(hotspot_method));
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	321 ciMethod cimethod = (ciMethod ) _env->get_object(method);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	322 jint bci = CiCodePos::bci(code_pos);
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	323 bool reexecute;
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	324 if (bci == -1) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	325 reexecute = false;
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	326 } else {
1447 1afbc44ee576 Modified class descriptions in C++ to reflect changes to CiDebugInfo.Frame Doug Simon <doug.simon@oracle.com> parents: 1444 diff changeset	327 Bytecodes::Code code = Bytecodes::java_code_at(method->bcp_from(bci));
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	328 reexecute = Interpreter::bytecode_should_reexecute(code);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	329 }
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	330
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	331
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	332 if (frame != NULL) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	333 jint local_count = CiDebugInfo_Frame::numLocals(frame);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	334 jint expression_count = CiDebugInfo_Frame::numStack(frame);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	335 jint monitor_count = CiDebugInfo_Frame::numLocks(frame);
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	336 arrayOop values = (arrayOop) CiDebugInfo_Frame::values(frame);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	337
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	338 assert(local_count + expression_count + monitor_count == values->length(), "unexpected values length");
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	339
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	340 GrowableArray<ScopeValue> locals = new GrowableArray<ScopeValue*> ();
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	341 GrowableArray<ScopeValue> expressions = new GrowableArray<ScopeValue*> ();
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	342 GrowableArray<MonitorValue> monitors = new GrowableArray<MonitorValue*> ();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	343
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	344 for (jint i = 0; i < values->length(); i++) {
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	345 ScopeValue* value = get_hotspot_value(((oop*) values->base(T_OBJECT))[i], _frame_size);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	346
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	347 if (i < local_count) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	348 locals->append(value);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	349 } else if (i < local_count + expression_count) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	350 expressions->append(value);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	351 } else {
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	352 assert(value->is_location(), "invalid monitor location");
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	353 LocationValue* loc = (LocationValue*)value;
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	354 LocationValue* obj = new LocationValue(Location::new_stk_loc(Location::oop, loc->location().stack_offset() + HeapWordSize));
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	355 monitors->append(new MonitorValue(obj, Location::new_stk_loc(Location::normal, loc->location().stack_offset())));
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	356 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	357 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	358 DebugToken* locals_token = _debug_recorder->create_scope_values(locals);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	359 DebugToken* expressions_token = _debug_recorder->create_scope_values(expressions);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	360 DebugToken* monitors_token = _debug_recorder->create_monitor_values(monitors);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	361
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	362 _debug_recorder->describe_scope(pc_offset, cimethod, bci, reexecute, false, false, locals_token, expressions_token, monitors_token);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	363 } else {
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	364 _debug_recorder->describe_scope(pc_offset, cimethod, bci, reexecute, false, false, NULL, NULL, NULL);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	365 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	366 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	367
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	368 void CodeInstaller::site_Safepoint(CodeBuffer& buffer, jint pc_offset, oop site) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	369 oop debug_info = CiTargetMethod_Safepoint::debugInfo(site);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	370 assert(debug_info != NULL, "debug info expected");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	371
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	372 // address instruction = _instructions->start() + pc_offset;
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	373 // jint next_pc_offset = Assembler::locate_next_instruction(instruction) - _instructions->start();
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	374 _debug_recorder->add_safepoint(pc_offset, create_oop_map(_frame_size, _parameter_count, debug_info));
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	375
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	376 oop code_pos = CiDebugInfo::codePos(debug_info);
1447 1afbc44ee576 Modified class descriptions in C++ to reflect changes to CiDebugInfo.Frame Doug Simon <doug.simon@oracle.com> parents: 1444 diff changeset	377 record_scope(pc_offset, code_pos);
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	378
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	379 _debug_recorder->end_safepoint(pc_offset);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	380 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	381
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	382 void CodeInstaller::site_Call(CodeBuffer& buffer, jint pc_offset, oop site) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	383 oop runtime_call = CiTargetMethod_Call::runtimeCall(site);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	384 oop hotspot_method = CiTargetMethod_Call::method(site);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	385 oop symbol = CiTargetMethod_Call::symbol(site);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	386 oop global_stub = CiTargetMethod_Call::globalStubID(site);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	387
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	388 oop debug_info = CiTargetMethod_Call::debugInfo(site);
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	389 arrayOop stack_map = (arrayOop) CiTargetMethod_Call::stackMap(site);
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	390 arrayOop register_map = (arrayOop) CiTargetMethod_Call::registerMap(site);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	391
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	392 assert((runtime_call ? 1 : 0) + (hotspot_method ? 1 : 0) + (symbol ? 1 : 0) + (global_stub ? 1 : 0) == 1, "Call site needs exactly one type");
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	393
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	394 assert(NativeCall::instruction_size == (int)NativeJump::instruction_size, "unexpected size)");
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	395 jint next_pc_offset = pc_offset + NativeCall::instruction_size;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	396
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	397 if (debug_info != NULL) {
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	398 _debug_recorder->add_safepoint(next_pc_offset, create_oop_map(_frame_size, _parameter_count, debug_info));
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	399 oop code_pos = CiDebugInfo::codePos(debug_info);
1447 1afbc44ee576 Modified class descriptions in C++ to reflect changes to CiDebugInfo.Frame Doug Simon <doug.simon@oracle.com> parents: 1444 diff changeset	400 record_scope(next_pc_offset, code_pos);
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	401 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	402
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	403 if (runtime_call != NULL) {
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	404 NativeCall* call = nativeCall_at(_instructions->start() + pc_offset);
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	405 if (runtime_call == CiRuntimeCall::Debug()) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	406 TRACE_C1X_3("CiRuntimeCall::Debug()");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	407 } else if (runtime_call == CiRuntimeCall::UnwindException()) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	408 call->set_destination(Runtime1::entry_for(Runtime1::c1x_unwind_exception_call_id));
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	409 _instructions->relocate(call->instruction_address(), runtime_call_Relocation::spec(), Assembler::call32_operand);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	410 TRACE_C1X_3("CiRuntimeCall::UnwindException()");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	411 } else if (runtime_call == CiRuntimeCall::HandleException()) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	412 call->set_destination(Runtime1::entry_for(Runtime1::c1x_handle_exception_id));
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	413 _instructions->relocate(call->instruction_address(), runtime_call_Relocation::spec(), Assembler::call32_operand);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	414 TRACE_C1X_3("CiRuntimeCall::HandleException()");
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	415 } else if (runtime_call == CiRuntimeCall::JavaTimeMillis()) {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	416 call->set_destination((address)os::javaTimeMillis);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	417 _instructions->relocate(call->instruction_address(), runtime_call_Relocation::spec(), Assembler::call32_operand);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	418 TRACE_C1X_3("CiRuntimeCall::JavaTimeMillis()");
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	419 } else if (runtime_call == CiRuntimeCall::JavaTimeNanos()) {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	420 call->set_destination((address)os::javaTimeNanos);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	421 _instructions->relocate(call->instruction_address(), runtime_call_Relocation::spec(), Assembler::call32_operand);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	422 TRACE_C1X_3("CiRuntimeCall::JavaTimeNanos()");
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	423 } else if (runtime_call == CiRuntimeCall::ArithmeticFrem()) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	424 call->set_destination(Runtime1::entry_for(Runtime1::c1x_arithmetic_frem_id));
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	425 _instructions->relocate(call->instruction_address(), runtime_call_Relocation::spec(), Assembler::call32_operand);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	426 TRACE_C1X_3("CiRuntimeCall::ArithmeticFrem()");
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	427 } else if (runtime_call == CiRuntimeCall::ArithmeticDrem()) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	428 call->set_destination(Runtime1::entry_for(Runtime1::c1x_arithmetic_drem_id));
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	429 _instructions->relocate(call->instruction_address(), runtime_call_Relocation::spec(), Assembler::call32_operand);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	430 TRACE_C1X_3("CiRuntimeCall::ArithmeticDrem()");
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	431 } else {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	432 TRACE_C1X_1("runtime_call not implemented: ");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	433 IF_TRACE_C1X_1 runtime_call->print();
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	434 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	435 } else if (global_stub != NULL) {
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	436 NativeInstruction* inst = nativeInstruction_at(_instructions->start() + pc_offset);
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	437 assert(java_lang_boxing_object::is_instance(global_stub, T_LONG), "global_stub needs to be of type Long");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	438
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	439 if (inst->is_call()) {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	440 nativeCall_at((address)inst)->set_destination(VmIds::getStub(global_stub));
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	441 } else {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	442 nativeJump_at((address)inst)->set_jump_destination(VmIds::getStub(global_stub));
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	443 }
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	444 _instructions->relocate((address)inst, runtime_call_Relocation::spec(), Assembler::call32_operand);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	445 TRACE_C1X_3("relocating (stub) at %016x", inst);
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	446 } else if (symbol != NULL) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	447 fatal("symbol");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	448 } else { // method != NULL
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	449 NativeCall* call = nativeCall_at(_instructions->start() + pc_offset);
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	450 assert(hotspot_method != NULL, "unexpected RiMethod");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	451 assert(debug_info != NULL, "debug info expected");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	452
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	453 methodOop method = NULL;
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	454 if (hotspot_method->is_a(HotSpotMethodResolved::klass())) method = VmIds::get<methodOop>(HotSpotMethodResolved::vmId(hotspot_method));
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	455
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	456 assert(debug_info != NULL, "debug info expected");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	457
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	458 TRACE_C1X_3("method call");
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	459 switch (_next_call_type) {
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	460 case MARK_INVOKEVIRTUAL:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	461 case MARK_INVOKEINTERFACE: {
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	462 assert(method == NULL \|\| !method->is_static(), "cannot call static method with invokeinterface");
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	463
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	464 call->set_destination(SharedRuntime::get_resolve_virtual_call_stub());
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	465 _instructions->relocate(call->instruction_address(), virtual_call_Relocation::spec(_invoke_mark_pc), Assembler::call32_operand);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	466 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	467 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	468 case MARK_INVOKESTATIC: {
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	469 assert(method == NULL \|\| method->is_static(), "cannot call non-static method with invokestatic");
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	470
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	471 call->set_destination(SharedRuntime::get_resolve_static_call_stub());
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	472 _instructions->relocate(call->instruction_address(), relocInfo::static_call_type, Assembler::call32_operand);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	473 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	474 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	475 case MARK_INVOKESPECIAL: {
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	476 assert(method == NULL \|\| !method->is_static(), "cannot call static method with invokespecial");
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	477
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	478 call->set_destination(SharedRuntime::get_resolve_opt_virtual_call_stub());
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	479 _instructions->relocate(call->instruction_address(), relocInfo::opt_virtual_call_type, Assembler::call32_operand);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	480 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	481 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	482 case MARK_INVOKE_INVALID:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	483 default:
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	484 fatal("invalid _next_call_type value")
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	485 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	486 }
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	487 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	488 _next_call_type = MARK_INVOKE_INVALID;
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	489 if (debug_info != NULL) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	490 _debug_recorder->end_safepoint(next_pc_offset);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	491 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	492 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	493
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	494 void CodeInstaller::site_DataPatch(CodeBuffer& buffer, jint pc_offset, oop site) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	495 oop constant = CiTargetMethod_DataPatch::constant(site);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	496 oop kind = CiConstant::kind(constant);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	497
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	498 address instruction = _instructions->start() + pc_offset;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	499
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	500 switch (CiKind::typeChar(kind)) {
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	501 case 'z':
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	502 case 'b':
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	503 case 's':
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	504 case 'c':
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	505 case 'i':
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	506 fatal("int-sized values not expected in DataPatch")
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	507 ;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	508 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	509 case 'f':
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	510 case 'l':
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	511 case 'd': {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	512 address operand = Assembler::locate_operand(instruction, Assembler::disp32_operand);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	513 address next_instruction = Assembler::locate_next_instruction(instruction);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	514 // we don't care if this is a long/double/etc., the primitive field contains the right bits
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	515 address dest = _constants->end();
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	516 (jlong) dest = CiConstant::primitive(constant);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	517 _constants->set_end(dest + BytesPerLong);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	518
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	519 long disp = dest - next_instruction;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	520 assert(disp == (jint) disp, "disp doesn't fit in 32 bits");
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	521 ((jint) operand) = (jint) disp;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	522
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	523 _instructions->relocate(instruction, section_word_Relocation::spec((address) dest, CodeBuffer::SECT_CONSTS), Assembler::disp32_operand);
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	524 TRACE_C1X_3("relocating (Float/Long/Double) at %016x/%016x", instruction, operand);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	525 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	526 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	527 case 'a': {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	528 address operand = Assembler::locate_operand(instruction, Assembler::imm_operand);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	529 oop obj = CiConstant::object(constant);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	530
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	531 if (obj->is_a(HotSpotTypeResolved::klass())) {
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	532 ((jobject) operand) = JNIHandles::make_local(VmIds::get<klassOop>(HotSpotTypeResolved::vmId(obj)));
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	533 _instructions->relocate(instruction, oop_Relocation::spec_for_immediate(), Assembler::imm_operand);
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	534 TRACE_C1X_3("relocating (HotSpotType) at %016x/%016x", instruction, operand);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	535 } else {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	536 assert(java_lang_boxing_object::is_instance(obj, T_LONG), "unexpected DataPatch object type");
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	537 jlong id = obj->long_field(java_lang_boxing_object::value_offset_in_bytes(T_LONG));
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	538
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	539 assert((id & VmIds::TYPE_MASK) == VmIds::CONSTANT, "unexpected DataPatch type");
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	540
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	541 address operand = Assembler::locate_operand(instruction, Assembler::imm_operand);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	542
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	543 if (id == VmIds::DUMMY_CONSTANT) {
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	544 ((jobject) operand) = (jobject) Universe::non_oop_word();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	545 } else {
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	546 ((jobject) operand) = JNIHandles::make_local(VmIds::get<oop>(id));
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	547 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	548 _instructions->relocate(instruction, oop_Relocation::spec_for_immediate(), Assembler::imm_operand);
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	549 TRACE_C1X_3("relocating (oop constant) at %016x/%016x", instruction, operand);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	550 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	551 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	552 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	553 default:
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	554 fatal("unexpected CiKind in DataPatch")
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	555 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	556 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	557 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	558
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	559 void CodeInstaller::site_Mark(CodeBuffer& buffer, jint pc_offset, oop site) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	560 oop id_obj = CiTargetMethod_Mark::id(site);
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	561 arrayOop references = (arrayOop) CiTargetMethod_Mark::references(site);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	562
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	563 if (id_obj != NULL) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	564 assert(java_lang_boxing_object::is_instance(id_obj, T_INT), "Integer id expected");
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	565 jint id = id_obj->int_field(java_lang_boxing_object::value_offset_in_bytes(T_INT));
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	566
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	567 address instruction = _instructions->start() + pc_offset;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	568
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	569 switch (id) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	570 case MARK_UNVERIFIED_ENTRY:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	571 _offsets.set_value(CodeOffsets::Entry, pc_offset);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	572 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	573 case MARK_VERIFIED_ENTRY:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	574 _offsets.set_value(CodeOffsets::Verified_Entry, pc_offset);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	575 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	576 case MARK_OSR_ENTRY:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	577 _offsets.set_value(CodeOffsets::OSR_Entry, pc_offset);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	578 break;
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	579 case MARK_UNWIND_ENTRY:
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	580 _offsets.set_value(CodeOffsets::UnwindHandler, pc_offset);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	581 break;
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	582 case MARK_EXCEPTION_HANDLER_ENTRY:
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	583 _offsets.set_value(CodeOffsets::Exceptions, pc_offset);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	584 break;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	585 case MARK_STATIC_CALL_STUB: {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	586 assert(references->length() == 1, "static call stub needs one reference");
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	587 oop ref = ((oop*) references->base(T_OBJECT))[0];
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	588 address call_pc = _instructions->start() + CiTargetMethod_Site::pcOffset(ref);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	589 _instructions->relocate(instruction, static_stub_Relocation::spec(call_pc));
1441 f8ab19e5acae Fix oop relocation for static stub calls. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1439 diff changeset	590 _instructions->relocate(instruction, oop_Relocation::spec_for_immediate(), Assembler::imm_operand);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	591 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	592 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	593 case MARK_INVOKE_INVALID:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	594 case MARK_INVOKEINTERFACE:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	595 case MARK_INVOKESTATIC:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	596 case MARK_INVOKESPECIAL:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	597 case MARK_INVOKEVIRTUAL:
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	598 _next_call_type = (MarkId) id;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	599 _invoke_mark_pc = instruction;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	600 break;
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	601 case MARK_IMPLICIT_NULL:
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	602 _implicit_exception_table.append(pc_offset, pc_offset);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	603 break;
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	604 case MARK_KLASS_PATCHING:
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	605 case MARK_ACCESS_FIELD_PATCHING: {
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	606 unsigned char* byte_count = (unsigned char*) (instruction - 1);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	607 unsigned char* byte_skip = (unsigned char*) (instruction - 2);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	608 unsigned char* being_initialized_entry_offset = (unsigned char*) (instruction - 3);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	609
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	610 assert(*byte_skip == 5, "unexpected byte_skip");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	611
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	612 assert(references->length() == 2, "MARK_KLASS_PATCHING/MARK_ACCESS_FIELD_PATCHING needs 2 references");
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	613 oop ref1 = ((oop*) references->base(T_OBJECT))[0];
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	614 oop ref2 = ((oop*) references->base(T_OBJECT))[1];
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	615 int i_byte_count = CiTargetMethod_Site::pcOffset(ref2) - CiTargetMethod_Site::pcOffset(ref1);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	616 assert(i_byte_count == (unsigned char)i_byte_count, "invalid offset");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	617 *byte_count = i_byte_count;
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	618 being_initialized_entry_offset = byte_count + *byte_skip;
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	619
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	620 // we need to correct the offset of a field access - it's created with MAX_INT to ensure the correct size, and hotspot expects 0
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	621 if (id == MARK_ACCESS_FIELD_PATCHING) {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	622 NativeMovRegMem* inst = nativeMovRegMem_at(_instructions->start() + CiTargetMethod_Site::pcOffset(ref1));
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	623 assert(inst->offset() == max_jint, "unexpected offset value");
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	624 inst->set_offset(0);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	625 }
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	626 break;
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	627 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	628 case MARK_DUMMY_OOP_RELOCATION: {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	629 _instructions->relocate(instruction, oop_Relocation::spec_for_immediate(), Assembler::imm_operand);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	630
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	631 RelocIterator iter(_instructions, (address) instruction, (address) (instruction + 1));
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	632 relocInfo::change_reloc_info_for_address(&iter, (address) instruction, relocInfo::oop_type, relocInfo::none);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	633 break;
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	634 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	635 default:
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	636 ShouldNotReachHere()
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	637 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	638 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	639 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	640 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	641

Mercurial > hg > truffle

annotate src/share/vm/c1x/c1x_CodeInstaller.cpp @ 1447:1afbc44ee576