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

annotate src/share/vm/c1x/c1x_CodeInstaller.cpp @ 2049:7e09ea4a8f36

Added leaf method assumptions.

author	Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date	Mon, 10 Jan 2011 16:59:48 +0100
parents	177398c6147d
children	b6d2c238e585

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
2045 9c96c873c42b Fix includes to match new hotspot mechanism. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1942 diff changeset	25 #include "precompiled.hpp"
9c96c873c42b Fix includes to match new hotspot mechanism. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1942 diff changeset	26 #include "c1x/c1x_Compiler.hpp"
9c96c873c42b Fix includes to match new hotspot mechanism. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1942 diff changeset	27 #include "c1x/c1x_CodeInstaller.hpp"
2046 cf75612bdaa5 Renamed file. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2045 diff changeset	28 #include "c1x/c1x_JavaAccess.hpp"
2045 9c96c873c42b Fix includes to match new hotspot mechanism. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1942 diff changeset	29 #include "c1x/c1x_VmIds.hpp"
9c96c873c42b Fix includes to match new hotspot mechanism. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1942 diff changeset	30 #include "c1/c1_Runtime1.hpp"
2048 177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	31 #include "classfile/vmSymbols.hpp"
2045 9c96c873c42b Fix includes to match new hotspot mechanism. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1942 diff changeset	32 #include "vmreg_x86.inline.hpp"
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	33
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	34
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	35 // 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	36 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	37 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	38 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	39 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	40 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	41 const static int NUM_REGS = NUM_CPU_REGS + NUM_XMM_REGS;
1468 e4cd5d2de7e1 Changes to sync with CRI changes. Doug Simon <doug.simon@oracle.com> parents: 1465 diff changeset	42 const static jlong NO_REF_MAP = 0x8000000000000000L;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	43
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	44 // 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	45 VMReg get_hotspot_reg(jint c1x_reg) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	46
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	47 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	48 if (c1x_reg < NUM_CPU_REGS) {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	49 return CPU_REGS[c1x_reg]->as_VMReg();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	50 } else {
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	51 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	52 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	53 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	54
1469 52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	55 static bool is_bit_set(oop bit_map, int i) {
1470 ef7761803480 Fixes to get running again after C1X changes to pointer maps and register configuration. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1469 diff changeset	56 const int MapWordBits = 64;
ef7761803480 Fixes to get running again after C1X changes to pointer maps and register configuration. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1469 diff changeset	57 if (i < MapWordBits) {
1469 52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	58 jlong low = CiBitMap::low(bit_map);
1470 ef7761803480 Fixes to get running again after C1X changes to pointer maps and register configuration. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1469 diff changeset	59 return (low & (1L << i)) != 0;
1469 52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	60 } else {
52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	61 jint extra_idx = (i - MapWordBits) / MapWordBits;
52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	62 arrayOop extra = (arrayOop) CiBitMap::extra(bit_map);
52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	63 assert(extra_idx >= 0 && extra_idx < extra->length(), "unexpected index");
52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	64 jlong word = ((jlong*) extra->base(T_LONG))[extra_idx];
1470 ef7761803480 Fixes to get running again after C1X changes to pointer maps and register configuration. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1469 diff changeset	65 return (word & (1L << (i % MapWordBits))) != 0;
1469 52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	66 }
52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	67 }
52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	68
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	69 // 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	70 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	71 OopMap* map = new OopMap(frame_size, parameter_count);
1469 52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	72 oop register_map = (oop) CiDebugInfo::registerRefMap(debug_info);
1468 e4cd5d2de7e1 Changes to sync with CRI changes. Doug Simon <doug.simon@oracle.com> parents: 1465 diff changeset	73 oop frame_map = (oop) CiDebugInfo::frameRefMap(debug_info);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	74
1469 52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	75 if (register_map != NULL) {
52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	76 assert(CiBitMap::size(register_map) == (unsigned) NUM_CPU_REGS, "unexpected register_map length");
1465 2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	77 for (jint i = 0; i < NUM_CPU_REGS; i++) {
1469 52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	78 bool is_oop = is_bit_set(register_map, i);
1465 2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	79 VMReg reg = get_hotspot_reg(i);
2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	80 if (is_oop) {
2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	81 assert(OOP_ALLOWED[i], "this register may never be an oop, register map misaligned?");
2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	82 map->set_oop(reg);
2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	83 } else {
2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	84 map->set_value(reg);
2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	85 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	86 }
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
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	89 if (frame_size > 0) {
1468 e4cd5d2de7e1 Changes to sync with CRI changes. Doug Simon <doug.simon@oracle.com> parents: 1465 diff changeset	90 assert(CiBitMap::size(frame_map) == frame_size / HeapWordSize, "unexpected frame_map length");
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	91
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	92 for (jint i = 0; i < frame_size / HeapWordSize; i++) {
1469 52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	93 bool is_oop = is_bit_set(frame_map, i);
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	94 // hotspot stack slots are 4 bytes
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	95 VMReg reg = VMRegImpl::stack2reg(i * 2);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	96 if (is_oop) {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	97 map->set_oop(reg);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	98 } else {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	99 map->set_value(reg);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	100 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	101 }
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	102 } else {
1468 e4cd5d2de7e1 Changes to sync with CRI changes. Doug Simon <doug.simon@oracle.com> parents: 1465 diff changeset	103 assert(frame_map == NULL \|\| CiBitMap::size(frame_map) == 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	104 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	105
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	106 return map;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	107 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	108
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	109 // 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	110 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	111 if (value == CiValue::IllegalValue()) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	112 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	113 }
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	114
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	115 BasicType type = C1XCompiler::kindToBasicType(CiKind::typeChar(CiValue::kind(value)));
1449 8cfe3537a0d3 Pointer verification stub. Two loose oop fixes in C1X C++ part. Logging which methods have been compiled. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1444 diff changeset	116 Location::Type locationType = Location::normal;
8cfe3537a0d3 Pointer verification stub. Two loose oop fixes in C1X C++ part. Logging which methods have been compiled. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1444 diff changeset	117 if (type == T_OBJECT \|\| type == T_ARRAY) locationType = Location::oop;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	118 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	119 jint number = CiRegister::number(CiRegisterValue::reg(value));
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	120 if (number < 16) {
1449 8cfe3537a0d3 Pointer verification stub. Two loose oop fixes in C1X C++ part. Logging which methods have been compiled. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1444 diff changeset	121 return new LocationValue(Location::new_reg_loc(locationType, as_Register(number)->as_VMReg()));
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	122 } else {
1449 8cfe3537a0d3 Pointer verification stub. Two loose oop fixes in C1X C++ part. Logging which methods have been compiled. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1444 diff changeset	123 return new LocationValue(Location::new_reg_loc(locationType, as_XMMRegister(number - 16)->as_VMReg()));
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	124 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	125 } else if (value->is_a(CiStackSlot::klass())) {
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	126 jint index = CiStackSlot::index(value);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	127 if (index >= 0) {
1449 8cfe3537a0d3 Pointer verification stub. Two loose oop fixes in C1X C++ part. Logging which methods have been compiled. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1444 diff changeset	128 return new LocationValue(Location::new_stk_loc(locationType, index * HeapWordSize));
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	129 } else {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	130 int frame_size_bytes = frame_size + 2 * HeapWordSize;
1449 8cfe3537a0d3 Pointer verification stub. Two loose oop fixes in C1X C++ part. Logging which methods have been compiled. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1444 diff changeset	131 return new LocationValue(Location::new_stk_loc(locationType, -(index * HeapWordSize) + frame_size_bytes));
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	132 }
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	133 } else if (value->is_a(CiConstant::klass())){
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	134 oop obj = CiConstant::object(value);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	135 jlong prim = CiConstant::primitive(value);
1476 1f81c0d18c75 Build also release version of VM. Fix towards making SpecJVM2008 run. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1472 diff changeset	136 if (type == T_INT \|\| type == T_FLOAT \|\| type == T_SHORT \|\| type == T_CHAR \|\| type == T_BOOLEAN \|\| type == T_BYTE) {
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	137 return new ConstantIntValue((jint)&prim);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	138 } else if (type == T_LONG \|\| type == T_DOUBLE) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	139 return new ConstantLongValue(prim);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	140 } else if (type == T_OBJECT) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	141 oop obj = CiConstant::object(value);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	142 if (obj == NULL) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	143 return new ConstantOopWriteValue(NULL);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	144 } else {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	145 obj->print();
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	146 ShouldNotReachHere();
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	147 }
1476 1f81c0d18c75 Build also release version of VM. Fix towards making SpecJVM2008 run. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1472 diff changeset	148 } else if (type == T_ADDRESS) {
1f81c0d18c75 Build also release version of VM. Fix towards making SpecJVM2008 run. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1472 diff changeset	149 return new ConstantLongValue(prim);
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	150 }
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	151 tty->print("%i", type);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	152 ShouldNotReachHere();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	153 } else {
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	154 value->klass()->print();
1462 1845386f5403 Full GC after bootstrap. Disable IRChecker by default. Disable compiled method logging by default. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1458 diff changeset	155 value->print();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	156 ShouldNotReachHere();
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	157 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	158 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	159
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	160 // constructor used to create a method
1938 1aa5b22a7716 Support for custom stack area (needed for deoptimization). Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1937 diff changeset	161 CodeInstaller::CodeInstaller(Handle target_method) {
1465 2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	162 ciMethod *ciMethodObject = NULL;
2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	163 {
2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	164 No_Safepoint_Verifier no_safepoint;
2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	165 _env = CURRENT_ENV;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	166
1465 2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	167 initialize_fields(target_method);
2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	168 assert(_hotspot_method != NULL && _name == NULL, "installMethod needs NON-NULL method and NULL name");
2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	169 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	170
1465 2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	171 methodOop method = VmIds::get<methodOop>(HotSpotMethodResolved::vmId(_hotspot_method));
2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	172 ciMethodObject = (ciMethod *) _env->get_object(method);
2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	173 _parameter_count = method->size_of_parameters();
2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	174 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	175
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	176 // (very) conservative estimate: each site needs a relocation
1931 48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	177 //CodeBuffer buffer("temp c1x method", _total_size, _sites->length() * relocInfo::length_limit);
48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	178 CodeBuffer buffer(CompilerThread::current()->get_buffer_blob());
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	179 initialize_buffer(buffer);
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	180 process_exception_handlers();
1465 2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	181
2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	182 int stack_slots = (_frame_size / HeapWordSize) + 2; // conversion to words, need to add two slots for ret address and frame pointer
2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	183 ThreadToNativeFromVM t((JavaThread*) Thread::current());
1938 1aa5b22a7716 Support for custom stack area (needed for deoptimization). Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1937 diff changeset	184 _env->register_method(ciMethodObject, -1, &_offsets, _custom_stack_area_offset, &buffer, stack_slots, _debug_recorder->_oopmaps, &_exception_handler_table,
1465 2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	185 &_implicit_exception_table, C1XCompiler::instance(), _env->comp_level(), false, false);
2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	186
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	187 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	188
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	189 // constructor used to create a stub
1938 1aa5b22a7716 Support for custom stack area (needed for deoptimization). Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1937 diff changeset	190 CodeInstaller::CodeInstaller(Handle target_method, jlong& id) {
1465 2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	191 No_Safepoint_Verifier no_safepoint;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	192 _env = CURRENT_ENV;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	193
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	194 initialize_fields(target_method);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	195 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	196
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	197 // (very) conservative estimate: each site needs a relocation
1931 48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	198 CodeBuffer buffer(CompilerThread::current()->get_buffer_blob());
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	199 initialize_buffer(buffer);
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 const char* cname = java_lang_String::as_utf8_string(_name);
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	202 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	203 IF_TRACE_C1X_3 Disassembler::decode((CodeBlob*) blob);
1931 48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	204 id = VmIds::addStub(blob->code_begin());
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	205 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	206
1938 1aa5b22a7716 Support for custom stack area (needed for deoptimization). Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1937 diff changeset	207 void CodeInstaller::initialize_fields(Handle target_method) {
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	208 _citarget_method = HotSpotTargetMethod::targetMethod(target_method);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	209 _hotspot_method = HotSpotTargetMethod::method(target_method);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	210 _name = HotSpotTargetMethod::name(target_method);
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	211 _sites = (arrayOop) HotSpotTargetMethod::sites(target_method);
2048 177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	212 oop assumptions = CiTargetMethod::assumptions(_citarget_method);
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	213 if (assumptions != NULL) {
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	214 _assumptions = (arrayOop) CiAssumptions::list(assumptions);
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	215 } else {
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	216 _assumptions = NULL;
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	217 }
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	218 _exception_handlers = (arrayOop) HotSpotTargetMethod::exceptionHandlers(target_method);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	219
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	220 _code = (arrayOop) CiTargetMethod::targetCode(_citarget_method);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	221 _code_size = CiTargetMethod::targetCodeSize(_citarget_method);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	222 _frame_size = CiTargetMethod::frameSize(_citarget_method);
1938 1aa5b22a7716 Support for custom stack area (needed for deoptimization). Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1937 diff changeset	223 _custom_stack_area_offset = CiTargetMethod::customStackAreaOffset(_citarget_method);
1aa5b22a7716 Support for custom stack area (needed for deoptimization). Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1937 diff changeset	224
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	225
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	226 // (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	227 _constants_size = _sites->length() * BytesPerLong;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	228 _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	229
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	230 _next_call_type = MARK_INVOKE_INVALID;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	231 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	232
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	233 // 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	234 void CodeInstaller::initialize_buffer(CodeBuffer& buffer) {
1931 48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	235 int locs_buffer_size = _sites->length() * (relocInfo::length_limit + sizeof(relocInfo));
48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	236 char* locs_buffer = NEW_RESOURCE_ARRAY(char, locs_buffer_size);
48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	237 buffer.insts()->initialize_shared_locs((relocInfo*)locs_buffer, locs_buffer_size / sizeof(relocInfo));
48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	238 buffer.initialize_stubs_size(256);
48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	239 buffer.initialize_consts_size(_constants_size);
48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	240
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	241 _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	242 _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	243 _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	244 _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	245 _dependencies = new Dependencies(_env);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	246
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	247 _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	248 _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	249 _env->set_dependencies(_dependencies);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	250 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	251
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	252 _instructions = buffer.insts();
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	253 _constants = buffer.consts();
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	254
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	255 // 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	256 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	257 _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	258
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	259 oop* sites = (oop*) _sites->base(T_OBJECT);
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	260 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	261 oop site = sites[i];
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	262 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	263
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	264 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	265 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	266 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	267 } 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	268 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	269 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	270 } 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	271 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	272 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	273 } 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	274 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	275 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	276 } else {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	277 fatal("unexpected Site subclass");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	278 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	279 }
2048 177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	280
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	281
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	282 if (_assumptions != NULL) {
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	283 oop* assumptions = (oop*) _assumptions->base(T_OBJECT);
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	284 for (int i = 0; i < _assumptions->length(); ++i) {
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	285 oop assumption = assumptions[i];
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	286 if (assumption != NULL) {
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	287 if (assumption->is_a(CiAssumptions_ConcreteSubtype::klass())) {
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	288 assumption_ConcreteSubtype(assumption);
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	289 } else if (assumption->is_a(CiAssumptions_ConcreteMethod::klass())) {
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	290 assumption_ConcreteMethod(assumption);
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	291 } else {
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	292 fatal("unexpected Assumption subclass");
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	293 }
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	294 }
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	295 }
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	296 }
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	297 }
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	298
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	299 void CodeInstaller::assumption_ConcreteSubtype(oop assumption) {
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	300 oop context_oop = CiAssumptions_ConcreteSubtype::context(assumption);
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	301 oop type_oop = CiAssumptions_ConcreteSubtype::subtype(assumption);
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	302
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	303 ciKlass* context = (ciKlass*) CURRENT_ENV->get_object(java_lang_Class::as_klassOop(HotSpotTypeResolved::javaMirror(context_oop)));
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	304 ciKlass* type = (ciKlass*) CURRENT_ENV->get_object(java_lang_Class::as_klassOop(HotSpotTypeResolved::javaMirror(type_oop)));
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	305
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	306 if (context == type) {
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	307 _dependencies->assert_leaf_type(type);
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	308 } else {
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	309 assert(context->is_abstract(), "");
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	310 ThreadToNativeFromVM trans(JavaThread::current());
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	311 _dependencies->assert_abstract_with_unique_concrete_subtype(context, type);
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	312 }
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	313 }
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	314
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	315 void CodeInstaller::assumption_ConcreteMethod(oop assumption) {
2049 7e09ea4a8f36 Added leaf method assumptions. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2048 diff changeset	316 oop context_oop = CiAssumptions_ConcreteMethod::context(assumption);
7e09ea4a8f36 Added leaf method assumptions. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2048 diff changeset	317 oop method_oop = CiAssumptions_ConcreteMethod::method(assumption);
7e09ea4a8f36 Added leaf method assumptions. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2048 diff changeset	318 jlong context_oop_id = HotSpotMethodResolved::vmId(context_oop);
7e09ea4a8f36 Added leaf method assumptions. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2048 diff changeset	319 jlong method_oop_id = HotSpotMethodResolved::vmId(method_oop);
7e09ea4a8f36 Added leaf method assumptions. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2048 diff changeset	320 methodOop method = VmIds::get<methodOop>(method_oop_id);
7e09ea4a8f36 Added leaf method assumptions. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2048 diff changeset	321 methodOop context = VmIds::get<methodOop>(context_oop_id);
7e09ea4a8f36 Added leaf method assumptions. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2048 diff changeset	322
7e09ea4a8f36 Added leaf method assumptions. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2048 diff changeset	323 ciMethod* m = (ciMethod*) CURRENT_ENV->get_object(method);
7e09ea4a8f36 Added leaf method assumptions. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2048 diff changeset	324 ciMethod* c = (ciMethod*) CURRENT_ENV->get_object(context);
7e09ea4a8f36 Added leaf method assumptions. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2048 diff changeset	325 ciKlass* context_klass = c->holder();
7e09ea4a8f36 Added leaf method assumptions. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2048 diff changeset	326 _dependencies->assert_unique_concrete_method(context_klass, m);
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	327 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	328
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	329 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	330 // 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	331 const int num_handlers = 5;
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	332 GrowableArray<intptr_t>* bcis = new GrowableArray<intptr_t> (num_handlers);
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	333 GrowableArray<intptr_t>* scope_depths = new GrowableArray<intptr_t> (num_handlers);
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	334 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	335
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	336 if (_exception_handlers != NULL) {
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	337 oop* exception_handlers = (oop*) _exception_handlers->base(T_OBJECT);
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	338 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	339 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	340 int start = i;
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	341 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	342 i++;
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	343
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	344 // empty the arrays
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	345 bcis->trunc_to(0);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	346 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	347 pcos->trunc_to(0);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	348
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	349 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	350 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	351 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	352 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	353 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	354 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	355 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	356
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	357 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	358
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	359 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	360 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	361 // 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	362 // 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	363 // 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	364 // 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	365 // 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	366 continue;
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	367 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	368
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	369 bcis->append(handler_bci);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	370 if (handler_bci == -1) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	371 // 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	372 // 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	373 scope_depths->append(0);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	374 } else {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	375 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	376 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	377 pcos->append(handler_offset);
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 // stop processing once we hit a catch any
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	380 // if (handler->is_catch_all()) {
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	381 // assert(i == handlers->length() - 1, "catch all must be last handler");
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	382 // }
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	383
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	384 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	385 _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	386 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	387 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	388
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	389 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	390
1447 1afbc44ee576 Modified class descriptions in C++ to reflect changes to CiDebugInfo.Frame Doug Simon <doug.simon@oracle.com> parents: 1444 diff changeset	391 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	392 oop caller_pos = CiCodePos::caller(code_pos);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	393 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	394 record_scope(pc_offset, caller_pos);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	395 }
1447 1afbc44ee576 Modified class descriptions in C++ to reflect changes to CiDebugInfo.Frame Doug Simon <doug.simon@oracle.com> parents: 1444 diff changeset	396 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	397 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	398 frame = code_pos;
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	399 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	400
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	401 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	402 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	403 methodOop method = VmIds::get<methodOop>(HotSpotMethodResolved::vmId(hotspot_method));
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	404 ciMethod cimethod = (ciMethod ) _env->get_object(method);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	405 jint bci = CiCodePos::bci(code_pos);
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	406 bool reexecute;
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	407 if (bci == -1) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	408 reexecute = false;
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	409 } else {
1447 1afbc44ee576 Modified class descriptions in C++ to reflect changes to CiDebugInfo.Frame Doug Simon <doug.simon@oracle.com> parents: 1444 diff changeset	410 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	411 reexecute = Interpreter::bytecode_should_reexecute(code);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	412 }
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	413
1937 4853c5cad3aa More deoptmization tracing. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1936 diff changeset	414 if (TraceC1X >= 2) {
4853c5cad3aa More deoptmization tracing. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1936 diff changeset	415 tty->print_cr("Recording scope pc_offset=%d bci=%d frame=%d", pc_offset, bci, frame);
4853c5cad3aa More deoptmization tracing. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1936 diff changeset	416 }
4853c5cad3aa More deoptmization tracing. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1936 diff changeset	417
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	418 if (frame != NULL) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	419 jint local_count = CiDebugInfo_Frame::numLocals(frame);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	420 jint expression_count = CiDebugInfo_Frame::numStack(frame);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	421 jint monitor_count = CiDebugInfo_Frame::numLocks(frame);
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	422 arrayOop values = (arrayOop) CiDebugInfo_Frame::values(frame);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	423
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	424 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	425
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	426 GrowableArray<ScopeValue> locals = new GrowableArray<ScopeValue*> ();
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	427 GrowableArray<ScopeValue> expressions = new GrowableArray<ScopeValue*> ();
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	428 GrowableArray<MonitorValue> monitors = new GrowableArray<MonitorValue*> ();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	429
1936 8d88c9ac9247 Correct deopt handler entry. New flag -XX:+TraceSignals. More detailed deopt printing. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1931 diff changeset	430 if (TraceC1X >= 2) {
8d88c9ac9247 Correct deopt handler entry. New flag -XX:+TraceSignals. More detailed deopt printing. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1931 diff changeset	431 tty->print_cr("Scope at bci %d with %d values", bci, values->length());
8d88c9ac9247 Correct deopt handler entry. New flag -XX:+TraceSignals. More detailed deopt printing. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1931 diff changeset	432 tty->print_cr("%d locals %d expressions, %d monitors", local_count, expression_count, monitor_count);
8d88c9ac9247 Correct deopt handler entry. New flag -XX:+TraceSignals. More detailed deopt printing. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1931 diff changeset	433 }
8d88c9ac9247 Correct deopt handler entry. New flag -XX:+TraceSignals. More detailed deopt printing. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1931 diff changeset	434
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	435 for (jint i = 0; i < values->length(); i++) {
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	436 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	437
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	438 if (i < local_count) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	439 locals->append(value);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	440 } else if (i < local_count + expression_count) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	441 expressions->append(value);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	442 } else {
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	443 assert(value->is_location(), "invalid monitor location");
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	444 LocationValue* loc = (LocationValue*)value;
1453 d603bdbec024 Enable monitorenter/monitorexit runtime calls. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1450 diff changeset	445 int monitor_offset = loc->location().stack_offset();
d603bdbec024 Enable monitorenter/monitorexit runtime calls. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1450 diff changeset	446 LocationValue* obj = new LocationValue(Location::new_stk_loc(Location::oop, monitor_offset + BasicObjectLock::obj_offset_in_bytes()));
d603bdbec024 Enable monitorenter/monitorexit runtime calls. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1450 diff changeset	447 monitors->append(new MonitorValue(obj, Location::new_stk_loc(Location::normal, monitor_offset + BasicObjectLock::lock_offset_in_bytes())));
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	448 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	449 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	450 DebugToken* locals_token = _debug_recorder->create_scope_values(locals);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	451 DebugToken* expressions_token = _debug_recorder->create_scope_values(expressions);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	452 DebugToken* monitors_token = _debug_recorder->create_monitor_values(monitors);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	453
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	454 _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	455 } else {
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	456 _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	457 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	458 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	459
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	460 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	461 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	462 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	463
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	464 // address instruction = _instructions->start() + pc_offset;
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	465 // 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	466 _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	467
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	468 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	469 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	470
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	471 _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	472 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	473
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	474 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	475 oop runtime_call = CiTargetMethod_Call::runtimeCall(site);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	476 oop hotspot_method = CiTargetMethod_Call::method(site);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	477 oop symbol = CiTargetMethod_Call::symbol(site);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	478 oop global_stub = CiTargetMethod_Call::globalStubID(site);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	479
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	480 oop debug_info = CiTargetMethod_Call::debugInfo(site);
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 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	483
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	484 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	485 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	486
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	487 if (debug_info != NULL) {
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	488 _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	489 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	490 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	491 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	492
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	493 if (runtime_call != NULL) {
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	494 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	495 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	496 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	497 } 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	498 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	499 _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	500 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	501 } 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	502 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	503 _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	504 TRACE_C1X_3("CiRuntimeCall::HandleException()");
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	505 } else if (runtime_call == CiRuntimeCall::JavaTimeMillis()) {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	506 call->set_destination((address)os::javaTimeMillis);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	507 _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	508 TRACE_C1X_3("CiRuntimeCall::JavaTimeMillis()");
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	509 } else if (runtime_call == CiRuntimeCall::JavaTimeNanos()) {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	510 call->set_destination((address)os::javaTimeNanos);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	511 _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	512 TRACE_C1X_3("CiRuntimeCall::JavaTimeNanos()");
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	513 } else if (runtime_call == CiRuntimeCall::ArithmeticFrem()) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	514 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	515 _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	516 TRACE_C1X_3("CiRuntimeCall::ArithmeticFrem()");
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	517 } else if (runtime_call == CiRuntimeCall::ArithmeticDrem()) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	518 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	519 _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	520 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	521 } else {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	522 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	523 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	524 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	525 } else if (global_stub != NULL) {
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	526 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	527 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	528
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	529 if (inst->is_call()) {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	530 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	531 } else {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	532 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	533 }
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	534 _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	535 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	536 } else if (symbol != NULL) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	537 fatal("symbol");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	538 } else { // method != NULL
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	539 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	540 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	541 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	542
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	543 methodOop method = NULL;
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	544 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	545
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	546 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	547
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	548 TRACE_C1X_3("method call");
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	549 switch (_next_call_type) {
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	550 case MARK_INVOKEVIRTUAL:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	551 case MARK_INVOKEINTERFACE: {
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	552 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	553
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	554 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	555 _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	556 break;
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 case MARK_INVOKESTATIC: {
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	559 assert(method == NULL \|\| method->is_static(), "cannot call non-static method with invokestatic");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	560 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	561 _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	562 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	563 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	564 case MARK_INVOKESPECIAL: {
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	565 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	566
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	567 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	568 _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	569 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	570 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	571 case MARK_INVOKE_INVALID:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	572 default:
1931 48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	573 fatal("invalid _next_call_type value");
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	574 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	575 }
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	576 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	577 _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	578 if (debug_info != NULL) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	579 _debug_recorder->end_safepoint(next_pc_offset);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	580 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	581 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	582
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	583 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	584 oop constant = CiTargetMethod_DataPatch::constant(site);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	585 oop kind = CiConstant::kind(constant);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	586
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	587 address instruction = _instructions->start() + pc_offset;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	588
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	589 switch (CiKind::typeChar(kind)) {
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	590 case 'z':
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	591 case 'b':
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	592 case 's':
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	593 case 'c':
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	594 case 'i':
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	595 fatal("int-sized values not expected in DataPatch")
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	596 ;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	597 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	598 case 'f':
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	599 case 'l':
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	600 case 'd': {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	601 address operand = Assembler::locate_operand(instruction, Assembler::disp32_operand);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	602 address next_instruction = Assembler::locate_next_instruction(instruction);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	603 // 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	604 address dest = _constants->end();
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	605 (jlong) dest = CiConstant::primitive(constant);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	606 _constants->set_end(dest + BytesPerLong);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	607
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	608 long disp = dest - next_instruction;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	609 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	610 ((jint) operand) = (jint) disp;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	611
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	612 _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	613 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	614 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	615 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	616 case 'a': {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	617 address operand = Assembler::locate_operand(instruction, Assembler::imm_operand);
1465 2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	618 Handle obj = CiConstant::object(constant);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	619
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	620 if (obj->is_a(HotSpotTypeResolved::klass())) {
1942 00bc9eaf0e24 Support for -XX:+UseFastLocking flag. Fixed monitor enter XIR template for correct debug info at the runtime call. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1941 diff changeset	621 assert(!obj.is_null(), "");
1941 79d04223b8a5 Added caching for resolved types and resolved fields. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1938 diff changeset	622 ((jobject) operand) = JNIHandles::make_local(java_lang_Class::as_klassOop(HotSpotTypeResolved::javaMirror(obj)));
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	623 _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	624 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	625 } else {
1465 2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	626 jobject value;
1484 6b7001391c97 Fix dummy obj boxed long hack by replacing it with a reliable solution. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1476 diff changeset	627 if (obj() == HotSpotProxy::DUMMY_CONSTANT_OBJ()) {
6b7001391c97 Fix dummy obj boxed long hack by replacing it with a reliable solution. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1476 diff changeset	628 value = (jobject) Universe::non_oop_word();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	629 } else {
1465 2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	630 value = JNIHandles::make_local(obj());
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	631 }
1465 2c754f3a2722 Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1462 diff changeset	632 ((jobject) operand) = value;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	633 _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	634 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	635 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	636 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	637 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	638 default:
1931 48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	639 fatal("unexpected CiKind in DataPatch");
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	640 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	641 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	642 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	643
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	644 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	645 oop id_obj = CiTargetMethod_Mark::id(site);
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	646 arrayOop references = (arrayOop) CiTargetMethod_Mark::references(site);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	647
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	648 if (id_obj != NULL) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	649 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	650 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	651
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	652 address instruction = _instructions->start() + pc_offset;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	653
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	654 switch (id) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	655 case MARK_UNVERIFIED_ENTRY:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	656 _offsets.set_value(CodeOffsets::Entry, pc_offset);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	657 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	658 case MARK_VERIFIED_ENTRY:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	659 _offsets.set_value(CodeOffsets::Verified_Entry, pc_offset);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	660 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	661 case MARK_OSR_ENTRY:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	662 _offsets.set_value(CodeOffsets::OSR_Entry, pc_offset);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	663 break;
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	664 case MARK_UNWIND_ENTRY:
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	665 _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	666 break;
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	667 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	668 _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	669 break;
1936 8d88c9ac9247 Correct deopt handler entry. New flag -XX:+TraceSignals. More detailed deopt printing. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1931 diff changeset	670 case MARK_DEOPT_HANDLER_ENTRY:
8d88c9ac9247 Correct deopt handler entry. New flag -XX:+TraceSignals. More detailed deopt printing. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1931 diff changeset	671 _offsets.set_value(CodeOffsets::Deopt, pc_offset);
8d88c9ac9247 Correct deopt handler entry. New flag -XX:+TraceSignals. More detailed deopt printing. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1931 diff changeset	672 break;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	673 case MARK_STATIC_CALL_STUB: {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	674 assert(references->length() == 1, "static call stub needs one reference");
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	675 oop ref = ((oop*) references->base(T_OBJECT))[0];
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	676 address call_pc = _instructions->start() + CiTargetMethod_Site::pcOffset(ref);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	677 _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	678 _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	679 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	680 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	681 case MARK_INVOKE_INVALID:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	682 case MARK_INVOKEINTERFACE:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	683 case MARK_INVOKESTATIC:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	684 case MARK_INVOKESPECIAL:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	685 case MARK_INVOKEVIRTUAL:
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	686 _next_call_type = (MarkId) id;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	687 _invoke_mark_pc = instruction;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	688 break;
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	689 case MARK_IMPLICIT_NULL:
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	690 _implicit_exception_table.append(pc_offset, pc_offset);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	691 break;
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	692 case MARK_KLASS_PATCHING:
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	693 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	694 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	695 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	696 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	697
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	698 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	699
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	700 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	701 oop ref1 = ((oop*) references->base(T_OBJECT))[0];
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	702 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	703 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	704 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	705 *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	706 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	707
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	708 // 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	709 if (id == MARK_ACCESS_FIELD_PATCHING) {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	710 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	711 assert(inst->offset() == max_jint, "unexpected offset value");
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	712 inst->set_offset(0);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	713 }
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	714 break;
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	715 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	716 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	717 _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	718
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	719 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	720 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	721 break;
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	722 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	723 default:
1931 48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	724 ShouldNotReachHere();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	725 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	726 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	727 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	728 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	729

Mercurial > hg > truffle

annotate src/share/vm/c1x/c1x_CodeInstaller.cpp @ 2049:7e09ea4a8f36