graal-compiler: src/share/vm/graal/graalCodeInstaller.cpp annotate

annotate src/share/vm/graal/graalCodeInstaller.cpp @ 3664:6e1abd79e7c8

author	Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date	Thu, 17 Nov 2011 19:11:55 +0100
parents	8c46cdb684d4
children	e755289380e3 5c8fc9f05960

rev	line source
2516 a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	1 /*
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	2 * Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved.
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	4 *
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	5 * This code is free software; you can redistribute it and/or modify it
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	7 * published by the Free Software Foundation.
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	8 *
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	13 * accompanied this code).
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	14 *
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	15 * You should have received a copy of the GNU General Public License version
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	18 *
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	20 * or visit www.oracle.com if you need additional information or have any
a384fac3fd34 Removed anything OSR-related. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2502 diff changeset	21 * questions.
1428 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
2045 9c96c873c42b Fix includes to match new hotspot mechanism. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1942 diff changeset	24 #include "precompiled.hpp"
2891 75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	25 #include "graal/graalCompiler.hpp"
75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	26 #include "graal/graalCodeInstaller.hpp"
75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	27 #include "graal/graalJavaAccess.hpp"
3011 f00918f35c7f inlining and runtime interface related changes: Lukas Stadler <lukas.stadler@jku.at> parents: 2951 diff changeset	28 #include "graal/graalVMEntries.hpp"
2891 75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	29 #include "graal/graalVmIds.hpp"
3636 c7d4198a9bce Use GraalEnv for installing code. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3619 diff changeset	30 #include "graal/graalEnv.hpp"
2045 9c96c873c42b Fix includes to match new hotspot mechanism. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1942 diff changeset	31 #include "c1/c1_Runtime1.hpp"
2048 177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	32 #include "classfile/vmSymbols.hpp"
2045 9c96c873c42b Fix includes to match new hotspot mechanism. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1942 diff changeset	33 #include "vmreg_x86.inline.hpp"
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	34
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	35
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	36 // 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	37 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	38 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	39 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	40 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	41 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	42 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	43 const static jlong NO_REF_MAP = 0x8000000000000000L;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	44
2891 75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	45 // convert graal register indices (as used in oop maps) to hotspot registers
75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	46 VMReg get_hotspot_reg(jint graal_reg) {
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	47
2891 75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	48 assert(graal_reg >= 0 && graal_reg < NUM_REGS, "invalid register number");
75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	49 if (graal_reg < NUM_CPU_REGS) {
75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	50 return CPU_REGS[graal_reg]->as_VMReg();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	51 } else {
2891 75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	52 return XMM_REGS[graal_reg - NUM_CPU_REGS]->as_VMReg();
1428 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 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	55
1469 52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	56 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	57 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	58 if (i < MapWordBits) {
3028 1305cb3809c1 Performed folder and class name changes in native code. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 3018 diff changeset	59 jlong low = GraalBitMap::low(bit_map);
2215 999f8086cc4f More changes to make it compile and work on win64. Thomas Wuerthinger <thomas.wuerthinger@gmail.com> parents: 2182 diff changeset	60 return (low & (1LL << i)) != 0;
1469 52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	61 } else {
52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	62 jint extra_idx = (i - MapWordBits) / MapWordBits;
3028 1305cb3809c1 Performed folder and class name changes in native code. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 3018 diff changeset	63 arrayOop extra = (arrayOop) GraalBitMap::extra(bit_map);
1469 52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	64 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	65 jlong word = ((jlong*) extra->base(T_LONG))[extra_idx];
2215 999f8086cc4f More changes to make it compile and work on win64. Thomas Wuerthinger <thomas.wuerthinger@gmail.com> parents: 2182 diff changeset	66 return (word & (1LL << (i % MapWordBits))) != 0;
1469 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 }
52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	69
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	70 // 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	71 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	72 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	73 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	74 oop frame_map = (oop) CiDebugInfo::frameRefMap(debug_info);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	75
1469 52bb06250d35 Converted CiDebugInfo.registerRefMap field from type long to CiBitMap. Doug Simon <doug.simon@oracle.com> parents: 1468 diff changeset	76 if (register_map != NULL) {
3053 b7f45b37dd43 Fix bug in FrameState handling for LoopBegin, BitMap -> GraalBitMap in some assertions in graalCodeInstaller Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3028 diff changeset	77 assert(GraalBitMap::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	78 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	79 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	80 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	81 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	82 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	83 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	84 } 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	85 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	86 }
1428 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 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	89
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	90 if (frame_size > 0) {
3053 b7f45b37dd43 Fix bug in FrameState handling for LoopBegin, BitMap -> GraalBitMap in some assertions in graalCodeInstaller Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3028 diff changeset	91 assert(GraalBitMap::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	92
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	93 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	94 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	95 // hotspot stack slots are 4 bytes
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	96 VMReg reg = VMRegImpl::stack2reg(i * 2);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	97 if (is_oop) {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	98 map->set_oop(reg);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	99 } else {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	100 map->set_value(reg);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	101 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	102 }
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	103 } else {
3053 b7f45b37dd43 Fix bug in FrameState handling for LoopBegin, BitMap -> GraalBitMap in some assertions in graalCodeInstaller Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3028 diff changeset	104 assert(frame_map == NULL \|\| GraalBitMap::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	105 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	106
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	107 return map;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	108 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	109
2891 75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	110 // TODO: finish this - graal doesn't provide any scope values at the moment
3090 536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	111 static ScopeValue* get_hotspot_value(oop value, int frame_size, GrowableArray<ScopeValue> objects, ScopeValue* &second) {
2938 c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	112 second = NULL;
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	113 if (value == CiValue::IllegalValue()) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	114 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	115 }
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	116
2891 75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	117 BasicType type = GraalCompiler::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	118 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	119 if (type == T_OBJECT \|\| type == T_ARRAY) locationType = Location::oop;
2938 c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	120
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	121 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	122 jint number = CiRegister::number(CiRegisterValue::reg(value));
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	123 if (number < 16) {
2938 c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	124 if (type == T_INT \|\| type == T_FLOAT \|\| type == T_SHORT \|\| type == T_CHAR \|\| type == T_BOOLEAN \|\| type == T_BYTE) {
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	125 locationType = Location::int_in_long;
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	126 } else if (type == T_LONG) {
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	127 locationType = Location::lng;
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	128 } else {
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	129 assert(type == T_OBJECT \|\| type == T_ARRAY, "unexpected type in cpu register");
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	130 }
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	131 ScopeValue* value = new LocationValue(Location::new_reg_loc(locationType, as_Register(number)->as_VMReg()));
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	132 if (type == T_LONG) {
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	133 second = value;
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	134 }
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	135 return value;
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	136 } else {
2938 c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	137 assert(type == T_FLOAT \|\| type == T_DOUBLE, "only float and double expected in xmm register");
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	138 if (type == T_FLOAT) {
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	139 // this seems weird, but the same value is used in c1_LinearScan
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	140 locationType = Location::normal;
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	141 } else {
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	142 locationType = Location::dbl;
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	143 }
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	144 ScopeValue* value = new LocationValue(Location::new_reg_loc(locationType, as_XMMRegister(number - 16)->as_VMReg()));
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	145 if (type == T_DOUBLE) {
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	146 second = value;
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	147 }
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	148 return value;
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	149 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	150 } else if (value->is_a(CiStackSlot::klass())) {
2938 c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	151 if (type == T_DOUBLE) {
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	152 locationType = Location::dbl;
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	153 } else if (type == T_LONG) {
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	154 locationType = Location::lng;
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	155 }
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	156 jint index = CiStackSlot::index(value);
2938 c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	157 ScopeValue* value;
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	158 if (index >= 0) {
2938 c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	159 value = 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	160 } else {
2951 0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away Lukas Stadler <lukas.stadler@jku.at> parents: 2938 diff changeset	161 value = new LocationValue(Location::new_stk_loc(locationType, -(index * HeapWordSize) + frame_size));
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	162 }
2938 c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	163 if (type == T_DOUBLE \|\| type == T_LONG) {
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	164 second = value;
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	165 }
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	166 return value;
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	167 } else if (value->is_a(CiConstant::klass())){
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	168 oop obj = CiConstant::object(value);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	169 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	170 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	171 return new ConstantIntValue((jint)&prim);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	172 } else if (type == T_LONG \|\| type == T_DOUBLE) {
2938 c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	173 second = new ConstantIntValue(0);
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	174 return new ConstantLongValue(prim);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	175 } else if (type == T_OBJECT) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	176 oop obj = CiConstant::object(value);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	177 if (obj == NULL) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	178 return new ConstantOopWriteValue(NULL);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	179 } else {
2282 0309d394eb5f Added support for non-null oop values in scope objects (allocating global handle). Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2280 diff changeset	180 return new ConstantOopWriteValue(JNIHandles::make_global(obj));
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	181 }
1476 1f81c0d18c75 Build also release version of VM. Fix towards making SpecJVM2008 run. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1472 diff changeset	182 } 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	183 return new ConstantLongValue(prim);
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	184 }
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	185 tty->print("%i", type);
3090 536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	186 } else if (value->is_a(CiVirtualObject::klass())) {
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	187 oop type = CiVirtualObject::type(value);
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	188 int id = CiVirtualObject::id(value);
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	189 ciKlass* klass = (ciKlass*) CURRENT_ENV->get_object(java_lang_Class::as_klassOop(HotSpotTypeResolved::javaMirror(type)));
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	190 assert(klass->is_instance_klass() \|\| klass->is_array_klass(), "Not supported allocation.");
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	191
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	192 for (jint i = 0; i < objects->length(); i++) {
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	193 ObjectValue* obj = (ObjectValue*) objects->at(i);
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	194 if (obj->id() == id) {
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	195 return obj;
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	196 }
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	197 }
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	198
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	199 ObjectValue* sv = new ObjectValue(id, new ConstantOopWriteValue(klass->constant_encoding()));
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	200
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	201 arrayOop values = (arrayOop) CiVirtualObject::values(value);
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	202 for (jint i = 0; i < values->length(); i++) {
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	203 ((oop*) values->base(T_OBJECT))[i];
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	204 }
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	205
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	206 for (jint i = 0; i < values->length(); i++) {
3133 5aeb62416609 Fixed an issue in the C++ code of the escape analysis (wrongly commented out code). Thomas Wuerthinger <thomas@wuerthinger.net> parents: 3091 diff changeset	207 ScopeValue* cur_second = NULL;
5aeb62416609 Fixed an issue in the C++ code of the escape analysis (wrongly commented out code). Thomas Wuerthinger <thomas@wuerthinger.net> parents: 3091 diff changeset	208 ScopeValue* value = get_hotspot_value(((oop*) values->base(T_OBJECT))[i], frame_size, objects, cur_second);
5aeb62416609 Fixed an issue in the C++ code of the escape analysis (wrongly commented out code). Thomas Wuerthinger <thomas@wuerthinger.net> parents: 3091 diff changeset	209
5aeb62416609 Fixed an issue in the C++ code of the escape analysis (wrongly commented out code). Thomas Wuerthinger <thomas@wuerthinger.net> parents: 3091 diff changeset	210 if (cur_second != NULL) {
5aeb62416609 Fixed an issue in the C++ code of the escape analysis (wrongly commented out code). Thomas Wuerthinger <thomas@wuerthinger.net> parents: 3091 diff changeset	211 sv->field_values()->append(cur_second);
5aeb62416609 Fixed an issue in the C++ code of the escape analysis (wrongly commented out code). Thomas Wuerthinger <thomas@wuerthinger.net> parents: 3091 diff changeset	212 }
3090 536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	213 sv->field_values()->append(value);
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	214 }
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	215
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	216 // uint first_ind = spobj->first_index();
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	217 // for (uint i = 0; i < spobj->n_fields(); i++) {
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	218 // Node* fld_node = sfn->in(first_ind+i);
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	219 // (void)FillLocArray(sv->field_values()->length(), sfn, fld_node, sv->field_values(), objs);
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	220 // }
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	221 // scval = sv;
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	222
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	223 objects->append(sv);
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	224 return sv;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	225 } else {
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	226 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	227 value->print();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	228 }
2215 999f8086cc4f More changes to make it compile and work on win64. Thomas Wuerthinger <thomas.wuerthinger@gmail.com> parents: 2182 diff changeset	229 ShouldNotReachHere();
999f8086cc4f More changes to make it compile and work on win64. Thomas Wuerthinger <thomas.wuerthinger@gmail.com> parents: 2182 diff changeset	230 return NULL;
1428 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
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	233 // constructor used to create a method
3619 5e9645341ec3 support for new RiRuntime features: add code without making it the default for the method, executing Java tasks on the compile thread, communicate nmethod reference to Java code as HotSpotCompiledMethod Lukas Stadler <lukas.stadler@jku.at> parents: 3594 diff changeset	234 CodeInstaller::CodeInstaller(Handle target_method, nmethod*& nm, bool install_code) {
3555 22d11b3bc561 Various hacks to be able to install machine code from a Java thread. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 3554 diff changeset	235 _env = CURRENT_ENV;
3663 8c46cdb684d4 Fixed another possible safepoint in the code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3661 diff changeset	236 GraalCompiler::initialize_buffer_blob();
8c46cdb684d4 Fixed another possible safepoint in the code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3661 diff changeset	237 CodeBuffer buffer(JavaThread::current()->get_buffer_blob());
3664 6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	238
6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	239 _oop_recorder = new OopRecorder(_env->arena());
6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	240 _env->set_oop_recorder(_oop_recorder);
6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	241 _env->set_dependencies(_dependencies);
6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	242 _dependencies = new Dependencies(_env);
6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	243 Handle assumptions_handle = CiTargetMethod::assumptions(HotSpotTargetMethod::targetMethod(target_method));
6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	244 if (!assumptions_handle.is_null()) {
6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	245 objArrayHandle assumptions = (objArrayOop)CiAssumptions::list(assumptions_handle());
3657 47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	246 for (int i = 0; i < assumptions->length(); ++i) {
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	247 Handle assumption = assumptions->obj_at(i);
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	248 if (!assumption.is_null()) {
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	249 if (assumption->is_a(CiAssumptions_ConcreteSubtype::klass())) {
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	250 assumption_ConcreteSubtype(assumption);
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	251 } else if (assumption->is_a(CiAssumptions_ConcreteMethod::klass())) {
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	252 assumption_ConcreteMethod(assumption);
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	253 } else {
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	254 assumption->print();
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	255 fatal("unexpected Assumption subclass");
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	256 }
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	257 }
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	258 }
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	259 }
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	260
3664 6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	261 {
6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	262 No_Safepoint_Verifier no_safepoint;
6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	263 initialize_fields(target_method);
6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	264 initialize_buffer(buffer);
6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	265 process_exception_handlers();
6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	266 }
6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	267
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	268 int stack_slots = (_frame_size / HeapWordSize) + 2; // conversion to words, need to add two slots for ret address and frame pointer
3659 b711e226cfaf Fixed another possible oop/handle issue. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3657 diff changeset	269 methodHandle method = getMethodFromHotSpotMethod(HotSpotTargetMethod::method(target_method));
3661 d24f157f2ba8 Use write barrier in JavaAccess. Fixed thread transition bug. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3660 diff changeset	270 {
d24f157f2ba8 Use write barrier in JavaAccess. Fixed thread transition bug. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3660 diff changeset	271 nm = GraalEnv::register_method(method, -1, &_offsets, _custom_stack_area_offset, &buffer, stack_slots, _debug_recorder->_oopmaps, &_exception_handler_table,
d24f157f2ba8 Use write barrier in JavaAccess. Fixed thread transition bug. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3660 diff changeset	272 &_implicit_exception_table, GraalCompiler::instance(), _debug_recorder, _dependencies, NULL, -1, false, false, install_code);
d24f157f2ba8 Use write barrier in JavaAccess. Fixed thread transition bug. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3660 diff changeset	273 }
3650 0e8a2a629afb Pass-by compilation broker. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3636 diff changeset	274 method->clear_queued_for_compilation();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	275 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	276
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	277 // 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	278 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	279 No_Safepoint_Verifier no_safepoint;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	280 _env = CURRENT_ENV;
3664 6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	281
6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	282 _oop_recorder = new OopRecorder(_env->arena());
6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	283 _env->set_oop_recorder(_oop_recorder);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	284 initialize_fields(target_method);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	285 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	286
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	287 // (very) conservative estimate: each site needs a relocation
3555 22d11b3bc561 Various hacks to be able to install machine code from a Java thread. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 3554 diff changeset	288 GraalCompiler::initialize_buffer_blob();
22d11b3bc561 Various hacks to be able to install machine code from a Java thread. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 3554 diff changeset	289 CodeBuffer buffer(JavaThread::current()->get_buffer_blob());
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	290 initialize_buffer(buffer);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	291
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	292 const char* cname = java_lang_String::as_utf8_string(_name);
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	293 BufferBlob* blob = BufferBlob::create(strdup(cname), &buffer); // this is leaking strings... but only a limited number of stubs will be created
2891 75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	294 IF_TRACE_graal_3 Disassembler::decode((CodeBlob*) blob);
1931 48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	295 id = VmIds::addStub(blob->code_begin());
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	296 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	297
1938 1aa5b22a7716 Support for custom stack area (needed for deoptimization). Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1937 diff changeset	298 void CodeInstaller::initialize_fields(Handle target_method) {
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	299 _citarget_method = HotSpotTargetMethod::targetMethod(target_method);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	300 _hotspot_method = HotSpotTargetMethod::method(target_method);
3660 c805dfba251d Fixed regression. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3659 diff changeset	301 if (_hotspot_method != NULL) {
c805dfba251d Fixed regression. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3659 diff changeset	302 _parameter_count = getMethodFromHotSpotMethod(_hotspot_method)->size_of_parameters();
c805dfba251d Fixed regression. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3659 diff changeset	303 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	304 _name = HotSpotTargetMethod::name(target_method);
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	305 _sites = (arrayOop) HotSpotTargetMethod::sites(target_method);
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	306 _exception_handlers = (arrayOop) HotSpotTargetMethod::exceptionHandlers(target_method);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	307
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	308 _code = (arrayOop) CiTargetMethod::targetCode(_citarget_method);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	309 _code_size = CiTargetMethod::targetCodeSize(_citarget_method);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	310 _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	311 _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	312
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	313
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	314 // (very) conservative estimate: each site needs a constant section entry
2495 c737ee310b39 Small adjustment to assertion and constants size calculation. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 2494 diff changeset	315 _constants_size = _sites->length() * (BytesPerLong*2);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	316 _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	317
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	318 _next_call_type = MARK_INVOKE_INVALID;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	319 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	320
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	321 // 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	322 void CodeInstaller::initialize_buffer(CodeBuffer& buffer) {
1931 48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	323 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	324 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	325 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	326 buffer.initialize_stubs_size(256);
48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	327 buffer.initialize_consts_size(_constants_size);
48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	328
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	329 _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	330 _debug_recorder->set_oopmaps(new OopMapSet());
3664 6e1abd79e7c8 Register assumptions before anything else. Don't free code blob (it is reused). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3663 diff changeset	331
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	332 _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	333 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	334
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	335 _instructions = buffer.insts();
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	336 _constants = buffer.consts();
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	337
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	338 // 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	339 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	340 _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	341
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	342 oop* sites = (oop*) _sites->base(T_OBJECT);
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	343 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	344 oop site = sites[i];
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	345 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	346
3561 bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	347 if (site->is_a(CiTargetMethod_Call::klass())) {
bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	348 TRACE_graal_4("call at %i", pc_offset);
bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	349 site_Call(buffer, pc_offset, site);
bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	350 } else if (site->is_a(CiTargetMethod_Safepoint::klass())) {
2891 75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	351 TRACE_graal_4("safepoint at %i", pc_offset);
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	352 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	353 } else if (site->is_a(CiTargetMethod_DataPatch::klass())) {
2891 75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	354 TRACE_graal_4("datapatch at %i", pc_offset);
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	355 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	356 } else if (site->is_a(CiTargetMethod_Mark::klass())) {
2891 75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	357 TRACE_graal_4("mark at %i", pc_offset);
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	358 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	359 } else {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	360 fatal("unexpected Site subclass");
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	361 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	362 }
2048 177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	363 }
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	364
3657 47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	365 void CodeInstaller::assumption_ConcreteSubtype(Handle assumption) {
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	366 Handle context_handle = CiAssumptions_ConcreteSubtype::context(assumption);
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	367 Handle type_handle = CiAssumptions_ConcreteSubtype::subtype(assumption);
2048 177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	368
3657 47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	369 ciKlass* context = (ciKlass*) CURRENT_ENV->get_object(java_lang_Class::as_klassOop(HotSpotTypeResolved::javaMirror(context_handle)));
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	370 ciKlass* type = (ciKlass*) CURRENT_ENV->get_object(java_lang_Class::as_klassOop(HotSpotTypeResolved::javaMirror(type_handle)));
2048 177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	371
2050 b6d2c238e585 Two fixes for leaf type and leaf method assumptions. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2049 diff changeset	372 _dependencies->assert_leaf_type(type);
b6d2c238e585 Two fixes for leaf type and leaf method assumptions. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2049 diff changeset	373 if (context != type) {
2048 177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	374 assert(context->is_abstract(), "");
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	375 _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	376 }
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	377 }
177398c6147d Added unique concrete subtype assumption. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2046 diff changeset	378
3657 47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	379 void CodeInstaller::assumption_ConcreteMethod(Handle assumption) {
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	380 Handle context_handle = CiAssumptions_ConcreteMethod::context(assumption);
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	381 Handle method_handle = CiAssumptions_ConcreteMethod::method(assumption);
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	382 methodHandle method = getMethodFromHotSpotMethod(method_handle());
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	383 methodHandle context = getMethodFromHotSpotMethod(context_handle());
2049 7e09ea4a8f36 Added leaf method assumptions. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2048 diff changeset	384
3657 47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	385 ciMethod* m = (ciMethod*) CURRENT_ENV->get_object(method());
47edfca346ab Fix a safepoint bug in code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3650 diff changeset	386 ciMethod* c = (ciMethod*) CURRENT_ENV->get_object(context());
2049 7e09ea4a8f36 Added leaf method assumptions. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2048 diff changeset	387 ciKlass* context_klass = c->holder();
3663 8c46cdb684d4 Fixed another possible safepoint in the code installer. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3661 diff changeset	388 _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	389 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	390
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	391 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	392 // 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	393 const int num_handlers = 5;
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	394 GrowableArray<intptr_t>* bcis = new GrowableArray<intptr_t> (num_handlers);
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	395 GrowableArray<intptr_t>* scope_depths = new GrowableArray<intptr_t> (num_handlers);
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	396 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	397
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	398 if (_exception_handlers != NULL) {
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	399 oop* exception_handlers = (oop*) _exception_handlers->base(T_OBJECT);
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	400 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	401 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	402 int start = i;
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	403 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	404 i++;
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	405
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	406 // empty the arrays
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	407 bcis->trunc_to(0);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	408 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	409 pcos->trunc_to(0);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	410
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	411 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	412 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	413 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	414 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	415 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	416 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	417 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	418
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	419 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	420
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	421 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	422 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	423 // 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	424 // 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	425 // 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	426 // 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	427 // 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	428 continue;
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	429 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	430
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	431 bcis->append(handler_bci);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	432 if (handler_bci == -1) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	433 // 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	434 // 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	435 scope_depths->append(0);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	436 } else {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	437 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	438 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	439 pcos->append(handler_offset);
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	440
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	441 // stop processing once we hit a catch any
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	442 // if (handler->is_catch_all()) {
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	443 // assert(i == handlers->length() - 1, "catch all must be last handler");
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	444 // }
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	445
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	446 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	447 _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	448 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	449 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	450
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	451 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	452
3090 536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	453 void CodeInstaller::record_scope(jint pc_offset, oop code_pos, GrowableArray<ScopeValue> objects) {
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	454 oop caller_pos = CiCodePos::caller(code_pos);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	455 if (caller_pos != NULL) {
3090 536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	456 record_scope(pc_offset, caller_pos, objects);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	457 }
1447 1afbc44ee576 Modified class descriptions in C++ to reflect changes to CiDebugInfo.Frame Doug Simon <doug.simon@oracle.com> parents: 1444 diff changeset	458 oop frame = NULL;
2280 a2babfb34c24 CiDebugInfo_Frame changed to CiFrame, pointer fix Lukas Stadler <lukas.stadler@jku.at> parents: 2215 diff changeset	459 if (code_pos->klass()->klass_part()->name() == vmSymbols::com_sun_cri_ci_CiFrame()) {
1447 1afbc44ee576 Modified class descriptions in C++ to reflect changes to CiDebugInfo.Frame Doug Simon <doug.simon@oracle.com> parents: 1444 diff changeset	460 frame = code_pos;
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	461 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	462
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	463 oop hotspot_method = CiCodePos::method(code_pos);
3011 f00918f35c7f inlining and runtime interface related changes: Lukas Stadler <lukas.stadler@jku.at> parents: 2951 diff changeset	464 methodOop method = getMethodFromHotSpotMethod(hotspot_method);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	465 jint bci = CiCodePos::bci(code_pos);
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	466 bool reexecute;
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	467 if (bci == -1) {
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	468 reexecute = false;
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	469 } else {
2182 9569fdf936ff Made merge compile. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 2059 diff changeset	470 Bytecodes::Code code = Bytecodes::java_code_at(method, method->bcp_from(bci));
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	471 reexecute = Interpreter::bytecode_should_reexecute(code);
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	472 }
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	473
2901 d577d07cedec Added time measurement for phases. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2891 diff changeset	474 if (TraceGraal >= 2) {
1937 4853c5cad3aa More deoptmization tracing. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1936 diff changeset	475 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	476 }
4853c5cad3aa More deoptmization tracing. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1936 diff changeset	477
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	478 if (frame != NULL) {
2280 a2babfb34c24 CiDebugInfo_Frame changed to CiFrame, pointer fix Lukas Stadler <lukas.stadler@jku.at> parents: 2215 diff changeset	479 jint local_count = CiFrame::numLocals(frame);
a2babfb34c24 CiDebugInfo_Frame changed to CiFrame, pointer fix Lukas Stadler <lukas.stadler@jku.at> parents: 2215 diff changeset	480 jint expression_count = CiFrame::numStack(frame);
a2babfb34c24 CiDebugInfo_Frame changed to CiFrame, pointer fix Lukas Stadler <lukas.stadler@jku.at> parents: 2215 diff changeset	481 jint monitor_count = CiFrame::numLocks(frame);
a2babfb34c24 CiDebugInfo_Frame changed to CiFrame, pointer fix Lukas Stadler <lukas.stadler@jku.at> parents: 2215 diff changeset	482 arrayOop values = (arrayOop) CiFrame::values(frame);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	483
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	484 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	485
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	486 GrowableArray<ScopeValue> locals = new GrowableArray<ScopeValue*> ();
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	487 GrowableArray<ScopeValue> expressions = new GrowableArray<ScopeValue*> ();
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	488 GrowableArray<MonitorValue> monitors = new GrowableArray<MonitorValue*> ();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	489
2901 d577d07cedec Added time measurement for phases. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2891 diff changeset	490 if (TraceGraal >= 2) {
1936 8d88c9ac9247 Correct deopt handler entry. New flag -XX:+TraceSignals. More detailed deopt printing. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1931 diff changeset	491 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	492 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	493 }
8d88c9ac9247 Correct deopt handler entry. New flag -XX:+TraceSignals. More detailed deopt printing. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1931 diff changeset	494
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	495 for (jint i = 0; i < values->length(); i++) {
2938 c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	496 ScopeValue* second = NULL;
3090 536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	497 ScopeValue* value = get_hotspot_value(((oop*) values->base(T_OBJECT))[i], _frame_size, objects, second);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	498
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	499 if (i < local_count) {
2938 c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	500 if (second != NULL) {
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	501 locals->append(second);
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	502 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	503 locals->append(value);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	504 } else if (i < local_count + expression_count) {
2938 c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	505 if (second != NULL) {
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	506 expressions->append(value);
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	507 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	508 expressions->append(value);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	509 } else {
2938 c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	510 assert(second == NULL, "monitor cannot occupy two stack slots");
1434 72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	511 assert(value->is_location(), "invalid monitor location");
72cfb36c6bb2 * enabled all jtt tests Lukas Stadler <lukas.stadler@oracle.com> parents: 1433 diff changeset	512 LocationValue* loc = (LocationValue*)value;
1453 d603bdbec024 Enable monitorenter/monitorexit runtime calls. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1450 diff changeset	513 int monitor_offset = loc->location().stack_offset();
d603bdbec024 Enable monitorenter/monitorexit runtime calls. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1450 diff changeset	514 LocationValue* obj = new LocationValue(Location::new_stk_loc(Location::oop, monitor_offset + BasicObjectLock::obj_offset_in_bytes()));
3568 409ef3a68dc8 re-lock objects whose lock was removed by escape analysis, enable stack walking compilation policy (-XX:CompilationPolicyChoice=1) Lukas Stadler <lukas.stadler@jku.at> parents: 3563 diff changeset	515 bool eliminated = value->is_object();
409ef3a68dc8 re-lock objects whose lock was removed by escape analysis, enable stack walking compilation policy (-XX:CompilationPolicyChoice=1) Lukas Stadler <lukas.stadler@jku.at> parents: 3563 diff changeset	516 monitors->append(new MonitorValue(obj, Location::new_stk_loc(Location::normal, monitor_offset + BasicObjectLock::lock_offset_in_bytes()), eliminated));
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	517 }
2938 c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	518 if (second != NULL) {
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	519 i++;
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	520 assert(i < values->length(), "double-slot value not followed by CiValue.IllegalValue");
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	521 assert(((oop*) values->base(T_OBJECT))[i] == CiValue::IllegalValue(), "double-slot value not followed by CiValue.IllegalValue");
c7783b6773ea fixed graph start frame state Lukas Stadler <lukas.stadler@jku.at> parents: 2901 diff changeset	522 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	523 }
3090 536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	524
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	525 _debug_recorder->dump_object_pool(objects);
536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	526
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	527 DebugToken* locals_token = _debug_recorder->create_scope_values(locals);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	528 DebugToken* expressions_token = _debug_recorder->create_scope_values(expressions);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	529 DebugToken* monitors_token = _debug_recorder->create_monitor_values(monitors);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	530
3018 5857923e563c Fixed an issue with frame states in exception dispatch chains (now we are correctly rethrowing the exception immediately at entering the interpreter). Thomas Wuerthinger <thomas@wuerthinger.net> parents: 3011 diff changeset	531 bool throw_exception = false;
5857923e563c Fixed an issue with frame states in exception dispatch chains (now we are correctly rethrowing the exception immediately at entering the interpreter). Thomas Wuerthinger <thomas@wuerthinger.net> parents: 3011 diff changeset	532 if (CiFrame::rethrowException(frame)) {
5857923e563c Fixed an issue with frame states in exception dispatch chains (now we are correctly rethrowing the exception immediately at entering the interpreter). Thomas Wuerthinger <thomas@wuerthinger.net> parents: 3011 diff changeset	533 throw_exception = true;
5857923e563c Fixed an issue with frame states in exception dispatch chains (now we are correctly rethrowing the exception immediately at entering the interpreter). Thomas Wuerthinger <thomas@wuerthinger.net> parents: 3011 diff changeset	534 }
5857923e563c Fixed an issue with frame states in exception dispatch chains (now we are correctly rethrowing the exception immediately at entering the interpreter). Thomas Wuerthinger <thomas@wuerthinger.net> parents: 3011 diff changeset	535
3650 0e8a2a629afb Pass-by compilation broker. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3636 diff changeset	536 _debug_recorder->describe_scope(pc_offset, method, bci, reexecute, throw_exception, false, false, locals_token, expressions_token, monitors_token);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	537 } else {
3650 0e8a2a629afb Pass-by compilation broker. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3636 diff changeset	538 _debug_recorder->describe_scope(pc_offset, method, bci, reexecute, false, false, false, NULL, NULL, NULL);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	539 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	540 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	541
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	542 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	543 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	544 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	545
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	546 // address instruction = _instructions->start() + pc_offset;
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	547 // 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	548 _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	549
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	550 oop code_pos = CiDebugInfo::codePos(debug_info);
3090 536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	551 record_scope(pc_offset, code_pos, new GrowableArray<ScopeValue*>());
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	552
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	553 _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	554 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	555
3572 076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	556 address CodeInstaller::runtime_call_target_address(oop runtime_call) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	557 address target_addr = 0x0;
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	558 if (runtime_call == CiRuntimeCall::Debug()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	559 TRACE_graal_3("CiRuntimeCall::Debug()");
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	560 } else if (runtime_call == CiRuntimeCall::UnwindException()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	561 target_addr = Runtime1::entry_for(Runtime1::graal_unwind_exception_call_id);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	562 TRACE_graal_3("CiRuntimeCall::UnwindException()");
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	563 } else if (runtime_call == CiRuntimeCall::HandleException()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	564 target_addr = Runtime1::entry_for(Runtime1::graal_handle_exception_id);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	565 TRACE_graal_3("CiRuntimeCall::HandleException()");
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	566 } else if (runtime_call == CiRuntimeCall::SetDeoptInfo()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	567 target_addr = Runtime1::entry_for(Runtime1::graal_set_deopt_info_id);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	568 TRACE_graal_3("CiRuntimeCall::SetDeoptInfo()");
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	569 } else if (runtime_call == CiRuntimeCall::CreateNullPointerException()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	570 target_addr = Runtime1::entry_for(Runtime1::graal_create_null_pointer_exception_id);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	571 TRACE_graal_3("CiRuntimeCall::CreateNullPointerException()");
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	572 } else if (runtime_call == CiRuntimeCall::CreateOutOfBoundsException()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	573 target_addr = Runtime1::entry_for(Runtime1::graal_create_out_of_bounds_exception_id);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	574 TRACE_graal_3("CiRuntimeCall::CreateOutOfBoundsException()");
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	575 } else if (runtime_call == CiRuntimeCall::JavaTimeMillis()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	576 target_addr = CAST_FROM_FN_PTR(address, os::javaTimeMillis);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	577 TRACE_graal_3("CiRuntimeCall::JavaTimeMillis()");
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	578 } else if (runtime_call == CiRuntimeCall::JavaTimeNanos()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	579 target_addr = CAST_FROM_FN_PTR(address, os::javaTimeNanos);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	580 TRACE_graal_3("CiRuntimeCall::JavaTimeNanos()");
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	581 } else if (runtime_call == CiRuntimeCall::ArithmeticFrem()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	582 target_addr = Runtime1::entry_for(Runtime1::graal_arithmetic_frem_id);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	583 TRACE_graal_3("CiRuntimeCall::ArithmeticFrem()");
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	584 } else if (runtime_call == CiRuntimeCall::ArithmeticDrem()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	585 target_addr = Runtime1::entry_for(Runtime1::graal_arithmetic_drem_id);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	586 TRACE_graal_3("CiRuntimeCall::ArithmeticDrem()");
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	587 } else if (runtime_call == CiRuntimeCall::ArithmeticSin()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	588 target_addr = CAST_FROM_FN_PTR(address, SharedRuntime::dsin);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	589 TRACE_graal_3("CiRuntimeCall::ArithmeticSin()");
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	590 } else if (runtime_call == CiRuntimeCall::ArithmeticCos()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	591 target_addr = CAST_FROM_FN_PTR(address, SharedRuntime::dcos);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	592 TRACE_graal_3("CiRuntimeCall::ArithmeticCos()");
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	593 } else if (runtime_call == CiRuntimeCall::ArithmeticTan()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	594 target_addr = CAST_FROM_FN_PTR(address, SharedRuntime::dtan);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	595 TRACE_graal_3("CiRuntimeCall::ArithmeticTan()");
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	596 } else if (runtime_call == CiRuntimeCall::RegisterFinalizer()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	597 target_addr = Runtime1::entry_for(Runtime1::register_finalizer_id);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	598 } else if (runtime_call == CiRuntimeCall::Deoptimize()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	599 target_addr = SharedRuntime::deopt_blob()->uncommon_trap();
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	600 } else {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	601 runtime_call->print();
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	602 fatal("runtime_call not implemented");
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	603 }
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	604 return target_addr;
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	605 }
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	606
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	607 void CodeInstaller::site_Call(CodeBuffer& buffer, jint pc_offset, oop site) {
3561 bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	608 oop target = CiTargetMethod_Call::target(site);
bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	609 instanceKlass* target_klass = instanceKlass::cast(target->klass());
bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	610
bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	611 oop runtime_call = NULL; // CiRuntimeCall
bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	612 oop hotspot_method = NULL; // RiMethod
bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	613 oop global_stub = NULL;
bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	614
bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	615 if (target_klass->is_subclass_of(SystemDictionary::Long_klass())) {
bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	616 global_stub = target;
bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	617 } else if (target_klass->name() == vmSymbols::com_sun_cri_ci_CiRuntimeCall()) {
bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	618 runtime_call = target;
bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	619 } else {
bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	620 hotspot_method = target;
bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	621 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	622
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	623 oop debug_info = CiTargetMethod_Call::debugInfo(site);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	624
3561 bea018622324 Changes to JavaAccess as a result of CRI changes. Doug Simon <doug.simon@oracle.com> parents: 3560 diff changeset	625 assert((runtime_call ? 1 : 0) + (hotspot_method ? 1 : 0) + (global_stub ? 1 : 0) == 1, "Call site needs exactly one type");
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	626
3563 8780fa370aab Support runtime calls to targets that don't fit in a 32-bit immediate: allow to query the maximum offset of a CiRuntimeCall target to determine the required immediate size and patch call sites with a mov/call instruction pair for indirect calls Peter Hofer <peter.hofer@jku.at> parents: 3561 diff changeset	627 NativeInstruction* inst = nativeInstruction_at(_instructions->start() + pc_offset);
8780fa370aab Support runtime calls to targets that don't fit in a 32-bit immediate: allow to query the maximum offset of a CiRuntimeCall target to determine the required immediate size and patch call sites with a mov/call instruction pair for indirect calls Peter Hofer <peter.hofer@jku.at> parents: 3561 diff changeset	628 jint next_pc_offset = 0x0;
8780fa370aab Support runtime calls to targets that don't fit in a 32-bit immediate: allow to query the maximum offset of a CiRuntimeCall target to determine the required immediate size and patch call sites with a mov/call instruction pair for indirect calls Peter Hofer <peter.hofer@jku.at> parents: 3561 diff changeset	629 if (inst->is_call() \|\| inst->is_jump()) {
8780fa370aab Support runtime calls to targets that don't fit in a 32-bit immediate: allow to query the maximum offset of a CiRuntimeCall target to determine the required immediate size and patch call sites with a mov/call instruction pair for indirect calls Peter Hofer <peter.hofer@jku.at> parents: 3561 diff changeset	630 assert(NativeCall::instruction_size == (int)NativeJump::instruction_size, "unexpected size");
8780fa370aab Support runtime calls to targets that don't fit in a 32-bit immediate: allow to query the maximum offset of a CiRuntimeCall target to determine the required immediate size and patch call sites with a mov/call instruction pair for indirect calls Peter Hofer <peter.hofer@jku.at> parents: 3561 diff changeset	631 next_pc_offset = pc_offset + NativeCall::instruction_size;
8780fa370aab Support runtime calls to targets that don't fit in a 32-bit immediate: allow to query the maximum offset of a CiRuntimeCall target to determine the required immediate size and patch call sites with a mov/call instruction pair for indirect calls Peter Hofer <peter.hofer@jku.at> parents: 3561 diff changeset	632 } else if (inst->is_mov_literal64()) {
8780fa370aab Support runtime calls to targets that don't fit in a 32-bit immediate: allow to query the maximum offset of a CiRuntimeCall target to determine the required immediate size and patch call sites with a mov/call instruction pair for indirect calls Peter Hofer <peter.hofer@jku.at> parents: 3561 diff changeset	633 // mov+call instruction pair
8780fa370aab Support runtime calls to targets that don't fit in a 32-bit immediate: allow to query the maximum offset of a CiRuntimeCall target to determine the required immediate size and patch call sites with a mov/call instruction pair for indirect calls Peter Hofer <peter.hofer@jku.at> parents: 3561 diff changeset	634 next_pc_offset = pc_offset + NativeMovConstReg::instruction_size;
8780fa370aab Support runtime calls to targets that don't fit in a 32-bit immediate: allow to query the maximum offset of a CiRuntimeCall target to determine the required immediate size and patch call sites with a mov/call instruction pair for indirect calls Peter Hofer <peter.hofer@jku.at> parents: 3561 diff changeset	635 u_char* call = (u_char*) (_instructions->start() + next_pc_offset);
8780fa370aab Support runtime calls to targets that don't fit in a 32-bit immediate: allow to query the maximum offset of a CiRuntimeCall target to determine the required immediate size and patch call sites with a mov/call instruction pair for indirect calls Peter Hofer <peter.hofer@jku.at> parents: 3561 diff changeset	636 assert((call[0] == 0x40 \|\| call[0] == 0x41) && call[1] == 0xFF, "expected call with rex/rexb prefix byte");
8780fa370aab Support runtime calls to targets that don't fit in a 32-bit immediate: allow to query the maximum offset of a CiRuntimeCall target to determine the required immediate size and patch call sites with a mov/call instruction pair for indirect calls Peter Hofer <peter.hofer@jku.at> parents: 3561 diff changeset	637 next_pc_offset += 3; /* prefix byte + opcode byte + modrm byte */
8780fa370aab Support runtime calls to targets that don't fit in a 32-bit immediate: allow to query the maximum offset of a CiRuntimeCall target to determine the required immediate size and patch call sites with a mov/call instruction pair for indirect calls Peter Hofer <peter.hofer@jku.at> parents: 3561 diff changeset	638 } else {
8780fa370aab Support runtime calls to targets that don't fit in a 32-bit immediate: allow to query the maximum offset of a CiRuntimeCall target to determine the required immediate size and patch call sites with a mov/call instruction pair for indirect calls Peter Hofer <peter.hofer@jku.at> parents: 3561 diff changeset	639 runtime_call->print();
8780fa370aab Support runtime calls to targets that don't fit in a 32-bit immediate: allow to query the maximum offset of a CiRuntimeCall target to determine the required immediate size and patch call sites with a mov/call instruction pair for indirect calls Peter Hofer <peter.hofer@jku.at> parents: 3561 diff changeset	640 fatal("unsupported type of instruction for call site");
8780fa370aab Support runtime calls to targets that don't fit in a 32-bit immediate: allow to query the maximum offset of a CiRuntimeCall target to determine the required immediate size and patch call sites with a mov/call instruction pair for indirect calls Peter Hofer <peter.hofer@jku.at> parents: 3561 diff changeset	641 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	642
3619 5e9645341ec3 support for new RiRuntime features: add code without making it the default for the method, executing Java tasks on the compile thread, communicate nmethod reference to Java code as HotSpotCompiledMethod Lukas Stadler <lukas.stadler@jku.at> parents: 3594 diff changeset	643 if (target->is_a(SystemDictionary::HotSpotCompiledMethod_klass())) {
5e9645341ec3 support for new RiRuntime features: add code without making it the default for the method, executing Java tasks on the compile thread, communicate nmethod reference to Java code as HotSpotCompiledMethod Lukas Stadler <lukas.stadler@jku.at> parents: 3594 diff changeset	644 assert(inst->is_jump(), "jump expected");
5e9645341ec3 support for new RiRuntime features: add code without making it the default for the method, executing Java tasks on the compile thread, communicate nmethod reference to Java code as HotSpotCompiledMethod Lukas Stadler <lukas.stadler@jku.at> parents: 3594 diff changeset	645
5e9645341ec3 support for new RiRuntime features: add code without making it the default for the method, executing Java tasks on the compile thread, communicate nmethod reference to Java code as HotSpotCompiledMethod Lukas Stadler <lukas.stadler@jku.at> parents: 3594 diff changeset	646 nmethod* nm = (nmethod*) HotSpotCompiledMethod::nmethod(target);
5e9645341ec3 support for new RiRuntime features: add code without making it the default for the method, executing Java tasks on the compile thread, communicate nmethod reference to Java code as HotSpotCompiledMethod Lukas Stadler <lukas.stadler@jku.at> parents: 3594 diff changeset	647 nativeJump_at((address)inst)->set_jump_destination(nm->verified_entry_point());
5e9645341ec3 support for new RiRuntime features: add code without making it the default for the method, executing Java tasks on the compile thread, communicate nmethod reference to Java code as HotSpotCompiledMethod Lukas Stadler <lukas.stadler@jku.at> parents: 3594 diff changeset	648 _instructions->relocate((address)inst, runtime_call_Relocation::spec(), Assembler::call32_operand);
5e9645341ec3 support for new RiRuntime features: add code without making it the default for the method, executing Java tasks on the compile thread, communicate nmethod reference to Java code as HotSpotCompiledMethod Lukas Stadler <lukas.stadler@jku.at> parents: 3594 diff changeset	649
5e9645341ec3 support for new RiRuntime features: add code without making it the default for the method, executing Java tasks on the compile thread, communicate nmethod reference to Java code as HotSpotCompiledMethod Lukas Stadler <lukas.stadler@jku.at> parents: 3594 diff changeset	650 return;
5e9645341ec3 support for new RiRuntime features: add code without making it the default for the method, executing Java tasks on the compile thread, communicate nmethod reference to Java code as HotSpotCompiledMethod Lukas Stadler <lukas.stadler@jku.at> parents: 3594 diff changeset	651 }
5e9645341ec3 support for new RiRuntime features: add code without making it the default for the method, executing Java tasks on the compile thread, communicate nmethod reference to Java code as HotSpotCompiledMethod Lukas Stadler <lukas.stadler@jku.at> parents: 3594 diff changeset	652
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	653 if (debug_info != NULL) {
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	654 _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	655 oop code_pos = CiDebugInfo::codePos(debug_info);
3090 536528f48708 more escape analysis work: debug info Lukas Stadler <lukas.stadler@jku.at> parents: 3053 diff changeset	656 record_scope(next_pc_offset, code_pos, new GrowableArray<ScopeValue*>());
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	657 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	658
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	659 if (runtime_call != NULL) {
3572 076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	660 if (runtime_call != CiRuntimeCall::Debug()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	661 address target_addr = runtime_call_target_address(runtime_call);
3563 8780fa370aab Support runtime calls to targets that don't fit in a 32-bit immediate: allow to query the maximum offset of a CiRuntimeCall target to determine the required immediate size and patch call sites with a mov/call instruction pair for indirect calls Peter Hofer <peter.hofer@jku.at> parents: 3561 diff changeset	662
3572 076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	663 if (inst->is_call()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	664 // NOTE: for call without a mov, the offset must fit a 32-bit immediate
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	665 // see also VMEntries.getMaxCallTargetOffset()
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	666 NativeCall* call = nativeCall_at(_instructions->start() + pc_offset);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	667 call->set_destination(target_addr);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	668 _instructions->relocate(call->instruction_address(), runtime_call_Relocation::spec(), Assembler::call32_operand);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	669 } else if (inst->is_mov_literal64()) {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	670 NativeMovConstReg* mov = nativeMovConstReg_at(_instructions->start() + pc_offset);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	671 mov->set_data((intptr_t) target_addr);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	672 _instructions->relocate(mov->instruction_address(), runtime_call_Relocation::spec(), Assembler::imm_operand);
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	673 } else {
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	674 runtime_call->print();
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	675 fatal("unknown type of instruction for runtime call");
076a2c9caf71 Factor out runtime call target address determination to avoid redundancy between CodeInstaller::site_Call() and VMEntries.getMaxCallTargetOffset() Peter Hofer <peter.hofer@jku.at> parents: 3568 diff changeset	676 }
3563 8780fa370aab Support runtime calls to targets that don't fit in a 32-bit immediate: allow to query the maximum offset of a CiRuntimeCall target to determine the required immediate size and patch call sites with a mov/call instruction pair for indirect calls Peter Hofer <peter.hofer@jku.at> parents: 3561 diff changeset	677 }
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	678 } else if (global_stub != NULL) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	679 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	680
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	681 if (inst->is_call()) {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	682 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	683 } else {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	684 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	685 }
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	686 _instructions->relocate((address)inst, runtime_call_Relocation::spec(), Assembler::call32_operand);
2891 75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	687 TRACE_graal_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	688 } else { // method != NULL
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	689 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	690 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	691 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	692
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	693 methodOop method = NULL;
3011 f00918f35c7f inlining and runtime interface related changes: Lukas Stadler <lukas.stadler@jku.at> parents: 2951 diff changeset	694 // we need to check, this might also be an unresolved method
f00918f35c7f inlining and runtime interface related changes: Lukas Stadler <lukas.stadler@jku.at> parents: 2951 diff changeset	695 if (hotspot_method->is_a(HotSpotMethodResolved::klass())) {
f00918f35c7f inlining and runtime interface related changes: Lukas Stadler <lukas.stadler@jku.at> parents: 2951 diff changeset	696 method = getMethodFromHotSpotMethod(hotspot_method);
f00918f35c7f inlining and runtime interface related changes: Lukas Stadler <lukas.stadler@jku.at> parents: 2951 diff changeset	697 }
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	698
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	699 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	700
2891 75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	701 TRACE_graal_3("method call");
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	702 switch (_next_call_type) {
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	703 case MARK_INVOKEVIRTUAL:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	704 case MARK_INVOKEINTERFACE: {
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	705 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	706
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	707 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	708 _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	709 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	710 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	711 case MARK_INVOKESTATIC: {
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	712 assert(method == NULL \|\| method->is_static(), "cannot call non-static method with invokestatic");
3538 e4616e3d207b support for new CiRuntimeCalls CreateNullPointerException and CreateOutOfBoundsException Lukas Stadler <lukas.stadler@jku.at> parents: 3133 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 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	715 _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	716 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	717 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	718 case MARK_INVOKESPECIAL: {
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	719 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	720
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	721 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	722 _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	723 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	724 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	725 case MARK_INVOKE_INVALID:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	726 default:
1931 48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	727 fatal("invalid _next_call_type value");
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	728 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	729 }
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	730 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	731 _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	732 if (debug_info != NULL) {
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	733 _debug_recorder->end_safepoint(next_pc_offset);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	734 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	735 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	736
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	737 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	738 oop constant = CiTargetMethod_DataPatch::constant(site);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	739 oop kind = CiConstant::kind(constant);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	740
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	741 address instruction = _instructions->start() + pc_offset;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	742
2494 e88293edf07c Fixed an issue with alignment of double/long values in the code buffer. Can now run Scimark again. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 2282 diff changeset	743 char typeChar = CiKind::typeChar(kind);
e88293edf07c Fixed an issue with alignment of double/long values in the code buffer. Can now run Scimark again. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 2282 diff changeset	744 switch (typeChar) {
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	745 case 'z':
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	746 case 'b':
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	747 case 's':
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	748 case 'c':
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	749 case 'i':
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	750 fatal("int-sized values not expected in DataPatch")
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	751 ;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	752 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	753 case 'f':
3594 af1319bc4fd5 Fixed wrong type char check. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3572 diff changeset	754 case 'j':
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	755 case 'd': {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	756 address operand = Assembler::locate_operand(instruction, Assembler::disp32_operand);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	757 address next_instruction = Assembler::locate_next_instruction(instruction);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	758 // we don't care if this is a long/double/etc., the primitive field contains the right bits
2494 e88293edf07c Fixed an issue with alignment of double/long values in the code buffer. Can now run Scimark again. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 2282 diff changeset	759 int size = _constants->size();
3594 af1319bc4fd5 Fixed wrong type char check. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3572 diff changeset	760 if (typeChar == 'd' \|\| typeChar == 'j') {
2494 e88293edf07c Fixed an issue with alignment of double/long values in the code buffer. Can now run Scimark again. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 2282 diff changeset	761 size = _constants->align_at_start(size);
e88293edf07c Fixed an issue with alignment of double/long values in the code buffer. Can now run Scimark again. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 2282 diff changeset	762 }
e88293edf07c Fixed an issue with alignment of double/long values in the code buffer. Can now run Scimark again. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 2282 diff changeset	763 address dest = _constants->start() + size;
e88293edf07c Fixed an issue with alignment of double/long values in the code buffer. Can now run Scimark again. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 2282 diff changeset	764 _constants->set_end(dest + BytesPerLong);
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	765 (jlong) dest = CiConstant::primitive(constant);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	766
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	767 long disp = dest - next_instruction;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	768 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	769 ((jint) operand) = (jint) disp;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	770
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	771 _instructions->relocate(instruction, section_word_Relocation::spec((address) dest, CodeBuffer::SECT_CONSTS), Assembler::disp32_operand);
2891 75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	772 TRACE_graal_3("relocating (%c) at %016x/%016x with destination at %016x (%d)", typeChar, instruction, operand, dest, size);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	773 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	774 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	775 case 'a': {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	776 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	777 Handle obj = CiConstant::object(constant);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	778
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	779 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	780 assert(!obj.is_null(), "");
1941 79d04223b8a5 Added caching for resolved types and resolved fields. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1938 diff changeset	781 ((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	782 _instructions->relocate(instruction, oop_Relocation::spec_for_immediate(), Assembler::imm_operand);
2891 75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	783 TRACE_graal_3("relocating (HotSpotType) at %016x/%016x", instruction, operand);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	784 } 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	785 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	786 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	787 value = (jobject) Universe::non_oop_word();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	788 } 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	789 value = JNIHandles::make_local(obj());
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	790 }
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	791 ((jobject) operand) = value;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	792 _instructions->relocate(instruction, oop_Relocation::spec_for_immediate(), Assembler::imm_operand);
2891 75a99b4f1c98 Rebranded C++ part from C1X to Graal. Thomas Wuerthinger <thomas@wuerthinger.net> parents: 2890 diff changeset	793 TRACE_graal_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	794 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	795 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	796 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	797 default:
1931 48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	798 fatal("unexpected CiKind in DataPatch");
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	799 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	800 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	801 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	802
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	803 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	804 oop id_obj = CiTargetMethod_Mark::id(site);
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	805 arrayOop references = (arrayOop) CiTargetMethod_Mark::references(site);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	806
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	807 if (id_obj != NULL) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	808 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	809 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	810
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	811 address instruction = _instructions->start() + pc_offset;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	812
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	813 switch (id) {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	814 case MARK_UNVERIFIED_ENTRY:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	815 _offsets.set_value(CodeOffsets::Entry, pc_offset);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	816 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	817 case MARK_VERIFIED_ENTRY:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	818 _offsets.set_value(CodeOffsets::Verified_Entry, pc_offset);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	819 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	820 case MARK_OSR_ENTRY:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	821 _offsets.set_value(CodeOffsets::OSR_Entry, pc_offset);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	822 break;
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	823 case MARK_UNWIND_ENTRY:
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	824 _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	825 break;
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	826 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	827 _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	828 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	829 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	830 _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	831 break;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	832 case MARK_STATIC_CALL_STUB: {
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	833 assert(references->length() == 1, "static call stub needs one reference");
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	834 oop ref = ((oop*) references->base(T_OBJECT))[0];
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	835 address call_pc = _instructions->start() + CiTargetMethod_Site::pcOffset(ref);
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	836 _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	837 _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	838 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	839 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	840 case MARK_INVOKE_INVALID:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	841 case MARK_INVOKEINTERFACE:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	842 case MARK_INVOKESTATIC:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	843 case MARK_INVOKESPECIAL:
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	844 case MARK_INVOKEVIRTUAL:
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	845 _next_call_type = (MarkId) id;
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	846 _invoke_mark_pc = instruction;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	847 break;
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	848 case MARK_IMPLICIT_NULL:
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	849 _implicit_exception_table.append(pc_offset, pc_offset);
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	850 break;
3550 aee1479c0a4b Use 2 different marks for NEAR/FAR polling : fixes wrong polling addresse problem after relocation Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3549 diff changeset	851 case MARK_POLL_NEAR: {
aee1479c0a4b Use 2 different marks for NEAR/FAR polling : fixes wrong polling addresse problem after relocation Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3549 diff changeset	852 NativeInstruction* ni = nativeInstruction_at(instruction);
aee1479c0a4b Use 2 different marks for NEAR/FAR polling : fixes wrong polling addresse problem after relocation Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3549 diff changeset	853 int32_t* disp = (int32_t*) Assembler::locate_operand(instruction, Assembler::disp32_operand);
aee1479c0a4b Use 2 different marks for NEAR/FAR polling : fixes wrong polling addresse problem after relocation Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3549 diff changeset	854 intptr_t new_disp = (intptr_t) (os::get_polling_page() + (SafepointPollOffset % os::vm_page_size())) - (intptr_t) ni;
aee1479c0a4b Use 2 different marks for NEAR/FAR polling : fixes wrong polling addresse problem after relocation Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3549 diff changeset	855 *disp = (int32_t)new_disp;
aee1479c0a4b Use 2 different marks for NEAR/FAR polling : fixes wrong polling addresse problem after relocation Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3549 diff changeset	856 }
aee1479c0a4b Use 2 different marks for NEAR/FAR polling : fixes wrong polling addresse problem after relocation Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3549 diff changeset	857 case MARK_POLL_FAR:
3549 25765a764212 Add support for polling mark in code installer Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3538 diff changeset	858 _instructions->relocate(instruction, relocInfo::poll_type);
25765a764212 Add support for polling mark in code installer Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3538 diff changeset	859 break;
3550 aee1479c0a4b Use 2 different marks for NEAR/FAR polling : fixes wrong polling addresse problem after relocation Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3549 diff changeset	860 case MARK_POLL_RETURN_NEAR: {
aee1479c0a4b Use 2 different marks for NEAR/FAR polling : fixes wrong polling addresse problem after relocation Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3549 diff changeset	861 NativeInstruction* ni = nativeInstruction_at(instruction);
aee1479c0a4b Use 2 different marks for NEAR/FAR polling : fixes wrong polling addresse problem after relocation Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3549 diff changeset	862 int32_t* disp = (int32_t*) Assembler::locate_operand(instruction, Assembler::disp32_operand);
aee1479c0a4b Use 2 different marks for NEAR/FAR polling : fixes wrong polling addresse problem after relocation Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3549 diff changeset	863 intptr_t new_disp = (intptr_t) (os::get_polling_page() + (SafepointPollOffset % os::vm_page_size())) - (intptr_t) ni;
aee1479c0a4b Use 2 different marks for NEAR/FAR polling : fixes wrong polling addresse problem after relocation Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3549 diff changeset	864 *disp = (int32_t)new_disp;
aee1479c0a4b Use 2 different marks for NEAR/FAR polling : fixes wrong polling addresse problem after relocation Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3549 diff changeset	865 }
aee1479c0a4b Use 2 different marks for NEAR/FAR polling : fixes wrong polling addresse problem after relocation Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3549 diff changeset	866 case MARK_POLL_RETURN_FAR:
3549 25765a764212 Add support for polling mark in code installer Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3538 diff changeset	867 _instructions->relocate(instruction, relocInfo::poll_return_type);
25765a764212 Add support for polling mark in code installer Gilles Duboscq <gilles.duboscq@oracle.com> parents: 3538 diff changeset	868 break;
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	869 case MARK_KLASS_PATCHING:
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	870 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	871 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	872 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	873 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	874
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	875 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	876
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	877 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	878 oop ref1 = ((oop*) references->base(T_OBJECT))[0];
b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	879 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	880 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	881 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	882 *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	883 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	884
1433 efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	885 // 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	886 if (id == MARK_ACCESS_FIELD_PATCHING) {
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	887 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	888 assert(inst->offset() == max_jint, "unexpected offset value");
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	889 inst->set_offset(0);
efba53f86c4f various fixes and enhancements Lukas Stadler <lukas.stadler@oracle.com> parents: 1432 diff changeset	890 }
1429 abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	891 break;
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	892 }
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	893 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	894 _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	895
1432 b61a43cd1255 sourcecode formatting Lukas Stadler <lukas.stadler@oracle.com> parents: 1429 diff changeset	896 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	897 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	898 break;
abc670a709dc * -XX:TraceC1X=0...5 controls the native c1x tracing Lukas Stadler <lukas.stadler@oracle.com> parents: 1428 diff changeset	899 }
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	900 default:
1931 48bbaead8b6c Adjustments after merge with OpenJDK repository. Thomas Wuerthinger <wuerthinger@ssw.jku.at> parents: 1484 diff changeset	901 ShouldNotReachHere();
1428 695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	902 break;
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	903 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	904 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	905 }
695451afc619 refactoring classes into separate files Lukas Stadler <lukas.stadler@oracle.com> parents: diff changeset	906

Mercurial > hg > graal-compiler

annotate src/share/vm/graal/graalCodeInstaller.cpp @ 3664:6e1abd79e7c8