annotate src/share/vm/graal/graalRuntime.cpp @ 7222:720925633b3a

fixes after merge
author Christian Haeubl <haeubl@ssw.jku.at>
date Tue, 11 Dec 2012 09:10:50 +0100
parents 2ae3e26b7e9a
children 8a3efb8c831d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
1 /*
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
2 * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
4 *
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
7 * published by the Free Software Foundation.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
8 *
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
13 * accompanied this code).
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
14 *
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
15 * You should have received a copy of the GNU General Public License version
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
18 *
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
21 * questions.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
22 */
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
23
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
24 #include "precompiled.hpp"
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
25 #include "runtime/interfaceSupport.hpp"
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
26 #include "prims/jvm.h"
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
27 #include "graal/graalRuntime.hpp"
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
28 #include "graal/graalVMToCompiler.hpp"
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
29 #include "asm/codeBuffer.hpp"
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
30 #include "runtime/biasedLocking.hpp"
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
31
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
32 // Implementation of GraalStubAssembler
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
33
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
34 GraalStubAssembler::GraalStubAssembler(CodeBuffer* code, const char * name, int stub_id) : MacroAssembler(code) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
35 _name = name;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
36 _must_gc_arguments = false;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
37 _frame_size = no_frame_size;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
38 _num_rt_args = 0;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
39 _stub_id = stub_id;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
40 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
41
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
42
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
43 void GraalStubAssembler::set_info(const char* name, bool must_gc_arguments) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
44 _name = name;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
45 _must_gc_arguments = must_gc_arguments;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
46 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
47
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
48
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
49 void GraalStubAssembler::set_frame_size(int size) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
50 if (_frame_size == no_frame_size) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
51 _frame_size = size;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
52 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
53 assert(_frame_size == size, "can't change the frame size");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
54 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
55
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
56
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
57 void GraalStubAssembler::set_num_rt_args(int args) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
58 if (_num_rt_args == 0) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
59 _num_rt_args = args;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
60 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
61 assert(_num_rt_args == args, "can't change the number of args");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
62 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
63
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
64 // Implementation of GraalRuntime
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
65
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
66 CodeBlob* GraalRuntime::_blobs[GraalRuntime::number_of_ids];
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
67 const char *GraalRuntime::_blob_names[] = {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
68 GRAAL_STUBS(STUB_NAME, LAST_STUB_NAME)
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
69 };
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
70
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
71 // Simple helper to see if the caller of a runtime stub which
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
72 // entered the VM has been deoptimized
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
73
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
74 static bool caller_is_deopted() {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
75 JavaThread* thread = JavaThread::current();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
76 RegisterMap reg_map(thread, false);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
77 frame runtime_frame = thread->last_frame();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
78 frame caller_frame = runtime_frame.sender(&reg_map);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
79 assert(caller_frame.is_compiled_frame(), "must be compiled");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
80 return caller_frame.is_deoptimized_frame();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
81 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
82
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
83 // Stress deoptimization
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
84 static void deopt_caller() {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
85 if ( !caller_is_deopted()) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
86 JavaThread* thread = JavaThread::current();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
87 RegisterMap reg_map(thread, false);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
88 frame runtime_frame = thread->last_frame();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
89 frame caller_frame = runtime_frame.sender(&reg_map);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
90 Deoptimization::deoptimize_frame(thread, caller_frame.id(), Deoptimization::Reason_constraint);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
91 assert(caller_is_deopted(), "Must be deoptimized");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
92 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
93 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
94
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
95 static bool setup_code_buffer(CodeBuffer* code) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
96 // Preinitialize the consts section to some large size:
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
97 int locs_buffer_size = 1 * (relocInfo::length_limit + sizeof(relocInfo));
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
98 char* locs_buffer = NEW_RESOURCE_ARRAY(char, locs_buffer_size);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
99 code->insts()->initialize_shared_locs((relocInfo*)locs_buffer,
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
100 locs_buffer_size / sizeof(relocInfo));
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
101
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
102 // Global stubs have neither constants nor local stubs
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
103 code->initialize_consts_size(0);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
104 code->initialize_stubs_size(0);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
105
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
106 return true;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
107 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
108
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
109 void GraalRuntime::generate_blob_for(BufferBlob* buffer_blob, StubID id) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
110 assert(0 <= id && id < number_of_ids, "illegal stub id");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
111 ResourceMark rm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
112 // create code buffer for code storage
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
113 CodeBuffer code(buffer_blob);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
114
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
115 setup_code_buffer(&code);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
116
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
117 // create assembler for code generation
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
118 GraalStubAssembler* sasm = new GraalStubAssembler(&code, name_for(id), id);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
119 // generate code for runtime stub
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
120 OopMapSet* oop_maps;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
121 oop_maps = generate_code_for(id, sasm);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
122 assert(oop_maps == NULL || sasm->frame_size() != no_frame_size,
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
123 "if stub has an oop map it must have a valid frame size");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
124
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
125 #ifdef ASSERT
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
126 // Make sure that stubs that need oopmaps have them
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
127 switch (id) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
128 // These stubs don't need to have an oopmap
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
129 case graal_slow_subtype_check_id:
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
130 #if defined(SPARC) || defined(PPC)
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
131 case handle_exception_nofpu_id: // Unused on sparc
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
132 #endif
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
133 #ifdef GRAAL
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
134 case graal_verify_oop_id:
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
135 case graal_unwind_exception_call_id:
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
136 case graal_OSR_migration_end_id:
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
137 case graal_arithmetic_frem_id:
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
138 case graal_arithmetic_drem_id:
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
139 case graal_set_deopt_info_id:
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
140 #endif
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
141 break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
142
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
143 // All other stubs should have oopmaps
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
144 default:
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
145 assert(oop_maps != NULL, "must have an oopmap");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
146 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
147 #endif
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
148
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
149 // align so printing shows nop's instead of random code at the end (SimpleStubs are aligned)
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
150 sasm->align(BytesPerWord);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
151 // make sure all code is in code buffer
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
152 sasm->flush();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
153 // create blob - distinguish a few special cases
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
154 CodeBlob* blob = RuntimeStub::new_runtime_stub(name_for(id),
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
155 &code,
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
156 CodeOffsets::frame_never_safe,
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
157 sasm->frame_size(),
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
158 oop_maps,
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
159 sasm->must_gc_arguments());
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
160 // install blob
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
161 assert(blob != NULL, "blob must exist");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
162 _blobs[id] = blob;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
163 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
164
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
165
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
166 void GraalRuntime::initialize(BufferBlob* blob) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
167 // generate stubs
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
168 for (int id = 0; id < number_of_ids; id++) generate_blob_for(blob, (StubID)id);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
169 // printing
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
170 #ifndef PRODUCT
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
171 if (PrintSimpleStubs) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
172 ResourceMark rm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
173 for (int id = 0; id < number_of_ids; id++) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
174 _blobs[id]->print();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
175 if (_blobs[id]->oop_maps() != NULL) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
176 _blobs[id]->oop_maps()->print();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
177 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
178 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
179 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
180 #endif
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
181 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
182
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
183
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
184 CodeBlob* GraalRuntime::blob_for(StubID id) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
185 assert(0 <= id && id < number_of_ids, "illegal stub id");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
186 return _blobs[id];
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
187 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
188
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
189
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
190 const char* GraalRuntime::name_for(StubID id) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
191 assert(0 <= id && id < number_of_ids, "illegal stub id");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
192 return _blob_names[id];
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
193 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
194
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
195 const char* GraalRuntime::name_for_address(address entry) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
196 for (int id = 0; id < number_of_ids; id++) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
197 if (entry == entry_for((StubID)id)) return name_for((StubID)id);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
198 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
199
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
200 #define FUNCTION_CASE(a, f) \
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
201 if ((intptr_t)a == CAST_FROM_FN_PTR(intptr_t, f)) return #f
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
202
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
203 FUNCTION_CASE(entry, os::javaTimeMillis);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
204 FUNCTION_CASE(entry, os::javaTimeNanos);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
205 FUNCTION_CASE(entry, SharedRuntime::OSR_migration_end);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
206 FUNCTION_CASE(entry, SharedRuntime::d2f);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
207 FUNCTION_CASE(entry, SharedRuntime::d2i);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
208 FUNCTION_CASE(entry, SharedRuntime::d2l);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
209 FUNCTION_CASE(entry, SharedRuntime::dcos);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
210 FUNCTION_CASE(entry, SharedRuntime::dexp);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
211 FUNCTION_CASE(entry, SharedRuntime::dlog);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
212 FUNCTION_CASE(entry, SharedRuntime::dlog10);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
213 FUNCTION_CASE(entry, SharedRuntime::dpow);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
214 FUNCTION_CASE(entry, SharedRuntime::drem);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
215 FUNCTION_CASE(entry, SharedRuntime::dsin);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
216 FUNCTION_CASE(entry, SharedRuntime::dtan);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
217 FUNCTION_CASE(entry, SharedRuntime::f2i);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
218 FUNCTION_CASE(entry, SharedRuntime::f2l);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
219 FUNCTION_CASE(entry, SharedRuntime::frem);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
220 FUNCTION_CASE(entry, SharedRuntime::l2d);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
221 FUNCTION_CASE(entry, SharedRuntime::l2f);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
222 FUNCTION_CASE(entry, SharedRuntime::ldiv);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
223 FUNCTION_CASE(entry, SharedRuntime::lmul);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
224 FUNCTION_CASE(entry, SharedRuntime::lrem);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
225 FUNCTION_CASE(entry, SharedRuntime::lrem);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
226 FUNCTION_CASE(entry, SharedRuntime::dtrace_method_entry);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
227 FUNCTION_CASE(entry, SharedRuntime::dtrace_method_exit);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
228 #ifdef TRACE_HAVE_INTRINSICS
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
229 FUNCTION_CASE(entry, TRACE_TIME_METHOD);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
230 #endif
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
231
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
232 ShouldNotReachHere();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
233 return NULL;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
234
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
235 #undef FUNCTION_CASE
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
236 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
237
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
238
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
239 JRT_ENTRY(void, GraalRuntime::new_instance(JavaThread* thread, Klass* klass))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
240 assert(klass->is_klass(), "not a class");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
241 instanceKlassHandle h(thread, klass);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
242 h->check_valid_for_instantiation(true, CHECK);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
243 // make sure klass is initialized
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
244 h->initialize(CHECK);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
245 // allocate instance and return via TLS
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
246 oop obj = h->allocate_instance(CHECK);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
247 thread->set_vm_result(obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
248 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
249
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
250 JRT_ENTRY(void, GraalRuntime::new_array(JavaThread* thread, Klass* array_klass, jint length))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
251 // Note: no handle for klass needed since they are not used
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
252 // anymore after new_objArray() and no GC can happen before.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
253 // (This may have to change if this code changes!)
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
254 assert(array_klass->is_klass(), "not a class");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
255 oop obj;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
256 if (array_klass->oop_is_typeArray()) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
257 BasicType elt_type = TypeArrayKlass::cast(array_klass)->element_type();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
258 obj = oopFactory::new_typeArray(elt_type, length, CHECK);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
259 } else {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
260 Klass* elem_klass = ObjArrayKlass::cast(array_klass)->element_klass();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
261 obj = oopFactory::new_objArray(elem_klass, length, CHECK);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
262 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
263 thread->set_vm_result(obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
264 // This is pretty rare but this runtime patch is stressful to deoptimization
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
265 // if we deoptimize here so force a deopt to stress the path.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
266 if (DeoptimizeALot) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
267 deopt_caller();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
268 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
269 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
270
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
271
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
272 JRT_ENTRY(void, GraalRuntime::new_multi_array(JavaThread* thread, Klass* klass, int rank, jint* dims))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
273 assert(klass->is_klass(), "not a class");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
274 assert(rank >= 1, "rank must be nonzero");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
275 oop obj = ArrayKlass::cast(klass)->multi_allocate(rank, dims, CHECK);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
276 thread->set_vm_result(obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
277 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
278
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
279 JRT_ENTRY(void, GraalRuntime::unimplemented_entry(JavaThread* thread, StubID id))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
280 tty->print_cr("GraalRuntime::entry_for(%d) returned unimplemented entry point", id);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
281 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
282
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
283 extern void vm_exit(int code);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
284
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
285 // Enter this method from compiled code handler below. This is where we transition
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
286 // to VM mode. This is done as a helper routine so that the method called directly
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
287 // from compiled code does not have to transition to VM. This allows the entry
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
288 // method to see if the nmethod that we have just looked up a handler for has
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
289 // been deoptimized while we were in the vm. This simplifies the assembly code
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
290 // cpu directories.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
291 //
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
292 // We are entering here from exception stub (via the entry method below)
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
293 // If there is a compiled exception handler in this method, we will continue there;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
294 // otherwise we will unwind the stack and continue at the caller of top frame method
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
295 // Note: we enter in Java using a special JRT wrapper. This wrapper allows us to
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
296 // control the area where we can allow a safepoint. After we exit the safepoint area we can
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
297 // check to see if the handler we are going to return is now in a nmethod that has
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
298 // been deoptimized. If that is the case we return the deopt blob
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
299 // unpack_with_exception entry instead. This makes life for the exception blob easier
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
300 // because making that same check and diverting is painful from assembly language.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
301 JRT_ENTRY_NO_ASYNC(static address, exception_handler_for_pc_helper(JavaThread* thread, oopDesc* ex, address pc, nmethod*& nm))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
302 // Reset method handle flag.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
303 thread->set_is_method_handle_return(false);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
304
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
305 Handle exception(thread, ex);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
306 nm = CodeCache::find_nmethod(pc);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
307 assert(nm != NULL, "this is not an nmethod");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
308 // Adjust the pc as needed/
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
309 if (nm->is_deopt_pc(pc)) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
310 RegisterMap map(thread, false);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
311 frame exception_frame = thread->last_frame().sender(&map);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
312 // if the frame isn't deopted then pc must not correspond to the caller of last_frame
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
313 assert(exception_frame.is_deoptimized_frame(), "must be deopted");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
314 pc = exception_frame.pc();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
315 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
316 #ifdef ASSERT
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
317 assert(exception.not_null(), "NULL exceptions should be handled by throw_exception");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
318 assert(exception->is_oop(), "just checking");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
319 // Check that exception is a subclass of Throwable, otherwise we have a VerifyError
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
320 if (!(exception->is_a(SystemDictionary::Throwable_klass()))) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
321 if (ExitVMOnVerifyError) vm_exit(-1);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
322 ShouldNotReachHere();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
323 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
324 #endif
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
325
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
326 // Check the stack guard pages and reenable them if necessary and there is
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
327 // enough space on the stack to do so. Use fast exceptions only if the guard
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
328 // pages are enabled.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
329 bool guard_pages_enabled = thread->stack_yellow_zone_enabled();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
330 if (!guard_pages_enabled) guard_pages_enabled = thread->reguard_stack();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
331
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
332 if (JvmtiExport::can_post_on_exceptions()) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
333 // To ensure correct notification of exception catches and throws
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
334 // we have to deoptimize here. If we attempted to notify the
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
335 // catches and throws during this exception lookup it's possible
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
336 // we could deoptimize on the way out of the VM and end back in
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
337 // the interpreter at the throw site. This would result in double
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
338 // notifications since the interpreter would also notify about
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
339 // these same catches and throws as it unwound the frame.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
340
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
341 RegisterMap reg_map(thread);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
342 frame stub_frame = thread->last_frame();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
343 frame caller_frame = stub_frame.sender(&reg_map);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
344
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
345 // We don't really want to deoptimize the nmethod itself since we
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
346 // can actually continue in the exception handler ourselves but I
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
347 // don't see an easy way to have the desired effect.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
348 Deoptimization::deoptimize_frame(thread, caller_frame.id(), Deoptimization::Reason_constraint);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
349 assert(caller_is_deopted(), "Must be deoptimized");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
350
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
351 return SharedRuntime::deopt_blob()->unpack_with_exception_in_tls();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
352 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
353
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
354 // ExceptionCache is used only for exceptions at call sites and not for implicit exceptions
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
355 if (guard_pages_enabled) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
356 address fast_continuation = nm->handler_for_exception_and_pc(exception, pc);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
357 if (fast_continuation != NULL) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
358 // Set flag if return address is a method handle call site.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
359 thread->set_is_method_handle_return(nm->is_method_handle_return(pc));
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
360 return fast_continuation;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
361 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
362 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
363
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
364 // If the stack guard pages are enabled, check whether there is a handler in
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
365 // the current method. Otherwise (guard pages disabled), force an unwind and
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
366 // skip the exception cache update (i.e., just leave continuation==NULL).
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
367 address continuation = NULL;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
368 if (guard_pages_enabled) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
369
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
370 // New exception handling mechanism can support inlined methods
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
371 // with exception handlers since the mappings are from PC to PC
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
372
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
373 // debugging support
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
374 // tracing
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
375 if (TraceExceptions) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
376 ttyLocker ttyl;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
377 ResourceMark rm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
378 int offset = pc - nm->code_begin();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
379 tty->print_cr("Exception <%s> (0x%x) thrown in compiled method <%s> at PC " PTR_FORMAT " [" PTR_FORMAT "+%d] for thread 0x%x",
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
380 exception->print_value_string(), (address)exception(), nm->method()->print_value_string(), pc, nm->code_begin(), offset, thread);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
381 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
382 // for AbortVMOnException flag
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
383 NOT_PRODUCT(Exceptions::debug_check_abort(exception));
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
384
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
385 // Clear out the exception oop and pc since looking up an
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
386 // exception handler can cause class loading, which might throw an
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
387 // exception and those fields are expected to be clear during
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
388 // normal bytecode execution.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
389 thread->set_exception_oop(NULL);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
390 thread->set_exception_pc(NULL);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
391
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
392 continuation = SharedRuntime::compute_compiled_exc_handler(nm, pc, exception, false, false);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
393 // If an exception was thrown during exception dispatch, the exception oop may have changed
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
394 thread->set_exception_oop(exception());
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
395 thread->set_exception_pc(pc);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
396
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
397 // the exception cache is used only by non-implicit exceptions
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
398 if (continuation != NULL && !SharedRuntime::deopt_blob()->contains(continuation)) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
399 nm->add_handler_for_exception_and_pc(exception, pc, continuation);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
400 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
401 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
402
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
403 thread->set_vm_result(exception());
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
404 // Set flag if return address is a method handle call site.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
405 thread->set_is_method_handle_return(nm->is_method_handle_return(pc));
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
406
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
407 if (TraceExceptions) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
408 ttyLocker ttyl;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
409 ResourceMark rm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
410 tty->print_cr("Thread " PTR_FORMAT " continuing at PC " PTR_FORMAT " for exception thrown at PC " PTR_FORMAT,
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
411 thread, continuation, pc);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
412 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
413
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
414 return continuation;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
415 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
416
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
417 // Enter this method from compiled code only if there is a Java exception handler
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
418 // in the method handling the exception.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
419 // We are entering here from exception stub. We don't do a normal VM transition here.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
420 // We do it in a helper. This is so we can check to see if the nmethod we have just
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
421 // searched for an exception handler has been deoptimized in the meantime.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
422 address GraalRuntime::exception_handler_for_pc(JavaThread* thread) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
423 oop exception = thread->exception_oop();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
424 address pc = thread->exception_pc();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
425 // Still in Java mode
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
426 DEBUG_ONLY(ResetNoHandleMark rnhm);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
427 nmethod* nm = NULL;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
428 address continuation = NULL;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
429 {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
430 // Enter VM mode by calling the helper
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
431 ResetNoHandleMark rnhm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
432 continuation = exception_handler_for_pc_helper(thread, exception, pc, nm);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
433 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
434 // Back in JAVA, use no oops DON'T safepoint
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
435
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
436 // Now check to see if the nmethod we were called from is now deoptimized.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
437 // If so we must return to the deopt blob and deoptimize the nmethod
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
438 if (nm != NULL && caller_is_deopted()) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
439 continuation = SharedRuntime::deopt_blob()->unpack_with_exception_in_tls();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
440 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
441
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
442 assert(continuation != NULL, "no handler found");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
443 return continuation;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
444 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
445
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
446 JRT_ENTRY(void, GraalRuntime::graal_create_null_exception(JavaThread* thread))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
447 thread->set_vm_result(Exceptions::new_exception(thread, vmSymbols::java_lang_NullPointerException(), NULL)());
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
448 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
449
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
450 JRT_ENTRY(void, GraalRuntime::graal_create_out_of_bounds_exception(JavaThread* thread, jint index))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
451 char message[jintAsStringSize];
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
452 sprintf(message, "%d", index);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
453 thread->set_vm_result(Exceptions::new_exception(thread, vmSymbols::java_lang_ArrayIndexOutOfBoundsException(), message)());
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
454 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
455
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
456 JRT_ENTRY_NO_ASYNC(void, GraalRuntime::graal_monitorenter(JavaThread* thread, oopDesc* obj, BasicLock* lock))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
457 if (TraceGraal >= 3) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
458 char type[O_BUFLEN];
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
459 obj->klass()->name()->as_C_string(type, O_BUFLEN);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
460 markOop mark = obj->mark();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
461 tty->print_cr("%s: entered locking slow case with obj=" INTPTR_FORMAT ", type=%s, mark=" INTPTR_FORMAT ", lock=" INTPTR_FORMAT, thread->name(), obj, type, mark, lock);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
462 tty->flush();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
463 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
464 #ifdef ASSERT
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
465 if (PrintBiasedLockingStatistics) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
466 Atomic::inc(BiasedLocking::slow_path_entry_count_addr());
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
467 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
468 #endif
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
469 Handle h_obj(thread, obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
470 assert(h_obj()->is_oop(), "must be NULL or an object");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
471 if (UseBiasedLocking) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
472 // Retry fast entry if bias is revoked to avoid unnecessary inflation
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
473 ObjectSynchronizer::fast_enter(h_obj, lock, true, CHECK);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
474 } else {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
475 if (UseFastLocking) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
476 // When using fast locking, the compiled code has already tried the fast case
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
477 ObjectSynchronizer::slow_enter(h_obj, lock, THREAD);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
478 } else {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
479 ObjectSynchronizer::fast_enter(h_obj, lock, false, THREAD);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
480 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
481 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
482 if (TraceGraal >= 3) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
483 tty->print_cr("%s: exiting locking slow with obj=" INTPTR_FORMAT, thread->name(), obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
484 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
485 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
486
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
487
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
488 JRT_LEAF(void, GraalRuntime::graal_monitorexit(JavaThread* thread, oopDesc* obj, BasicLock* lock))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
489 assert(thread == JavaThread::current(), "threads must correspond");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
490 assert(thread->last_Java_sp(), "last_Java_sp must be set");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
491 // monitorexit is non-blocking (leaf routine) => no exceptions can be thrown
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
492 EXCEPTION_MARK;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
493
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
494 #ifdef DEBUG
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
495 if (!obj->is_oop()) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
496 ResetNoHandleMark rhm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
497 nmethod* method = thread->last_frame().cb()->as_nmethod_or_null();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
498 if (method != NULL) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
499 tty->print_cr("ERROR in monitorexit in method %s wrong obj " INTPTR_FORMAT, method->name(), obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
500 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
501 thread->print_stack_on(tty);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
502 assert(false, "invalid lock object pointer dected");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
503 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
504 #endif
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
505
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
506 if (UseFastLocking) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
507 // When using fast locking, the compiled code has already tried the fast case
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
508 ObjectSynchronizer::slow_exit(obj, lock, THREAD);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
509 } else {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
510 ObjectSynchronizer::fast_exit(obj, lock, THREAD);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
511 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
512 if (TraceGraal >= 3) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
513 char type[O_BUFLEN];
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
514 obj->klass()->name()->as_C_string(type, O_BUFLEN);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
515 tty->print_cr("%s: exited locking slow case with obj=" INTPTR_FORMAT ", type=%s, mark=" INTPTR_FORMAT ", lock=" INTPTR_FORMAT, thread->name(), obj, type, obj->mark(), lock);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
516 tty->flush();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
517 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
518 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
519
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
520 JRT_ENTRY(void, GraalRuntime::graal_log_object(JavaThread* thread, oop obj, jint flags))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
521 bool string = mask_bits_are_true(flags, LOG_OBJECT_STRING);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
522 bool address = mask_bits_are_true(flags, LOG_OBJECT_ADDRESS);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
523 bool newline = mask_bits_are_true(flags, LOG_OBJECT_NEWLINE);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
524 if (!string) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
525 if (!address && obj->is_oop_or_null(true)) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
526 char buf[O_BUFLEN];
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
527 tty->print("%s@%p", obj->klass()->name()->as_C_string(buf, O_BUFLEN), obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
528 } else {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
529 tty->print("%p", obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
530 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
531 } else {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
532 ResourceMark rm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
533 assert(obj != NULL && java_lang_String::is_instance(obj), "must be");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
534 char *buf = java_lang_String::as_utf8_string(obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
535 tty->print(buf);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
536 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
537 if (newline) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
538 tty->cr();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
539 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
540 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
541
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
542 JRT_ENTRY(void, GraalRuntime::graal_vm_error(JavaThread* thread, oop where, oop format, jlong value))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
543 ResourceMark rm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
544 assert(where == NULL || java_lang_String::is_instance(where), "must be");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
545 const char *error_msg = where == NULL ? "<internal Graal error>" : java_lang_String::as_utf8_string(where);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
546 char *detail_msg = NULL;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
547 if (format != NULL) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
548 const char* buf = java_lang_String::as_utf8_string(format);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
549 size_t detail_msg_length = strlen(buf) * 2;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
550 detail_msg = (char *) NEW_RESOURCE_ARRAY(u_char, detail_msg_length);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
551 jio_snprintf(detail_msg, detail_msg_length, buf, value);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
552 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
553 report_vm_error(__FILE__, __LINE__, error_msg, detail_msg);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
554 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
555
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
556 JRT_ENTRY(void, GraalRuntime::graal_log_printf(JavaThread* thread, oop format, jlong val))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
557 ResourceMark rm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
558 assert(format != NULL && java_lang_String::is_instance(format), "must be");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
559 char *buf = java_lang_String::as_utf8_string(format);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
560 tty->print(buf, val);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
561 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
562
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
563 JRT_ENTRY(void, GraalRuntime::graal_log_primitive(JavaThread* thread, jchar typeChar, jlong value, jboolean newline))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
564 union {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
565 jlong l;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
566 jdouble d;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
567 jfloat f;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
568 } uu;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
569 uu.l = value;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
570 switch (typeChar) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
571 case 'z': tty->print(value == 0 ? "false" : "true"); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
572 case 'b': tty->print("%d", (jbyte) value); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
573 case 'c': tty->print("%c", (jchar) value); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
574 case 's': tty->print("%d", (jshort) value); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
575 case 'i': tty->print("%d", (jint) value); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
576 case 'f': tty->print("%f", uu.f); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
577 case 'j': tty->print(INT64_FORMAT, value); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
578 case 'd': tty->print("%lf", uu.d); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
579 default: assert(false, "unknown typeChar"); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
580 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
581 if (newline) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
582 tty->cr();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
583 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
584 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
585
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
586 JRT_ENTRY(jint, GraalRuntime::graal_identity_hash_code(JavaThread* thread, oop obj))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
587 return (jint) obj->identity_hash();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
588 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
589
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
590 JRT_ENTRY(jboolean, GraalRuntime::graal_thread_is_interrupted(JavaThread* thread, oop receiver, jboolean clear_interrupted))
7220
fcae6d960acd added more compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7216
diff changeset
591 // Ensure that the C++ Thread and OSThread structures aren't freed before we operate
fcae6d960acd added more compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7216
diff changeset
592 Handle receiverHandle(thread, receiver);
fcae6d960acd added more compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7216
diff changeset
593 JRT_BLOCK
fcae6d960acd added more compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7216
diff changeset
594 MutexLockerEx ml(thread->threadObj() == receiver ? NULL : Threads_lock);
fcae6d960acd added more compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7216
diff changeset
595 JavaThread* receiverThread = java_lang_Thread::thread(receiverHandle());
fcae6d960acd added more compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7216
diff changeset
596 return (jint) Thread::is_interrupted(receiverThread, clear_interrupted != 0);
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
597 JRT_BLOCK_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
598 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
599
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
600 // JVM_InitializeGraalRuntime
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
601 JVM_ENTRY(jobject, JVM_InitializeGraalRuntime(JNIEnv *env, jclass graalclass))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
602 return VMToCompiler::graalRuntimePermObject();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
603 JVM_END