annotate src/share/vm/c1/c1_LIRAssembler.cpp @ 13212:eb03a7335eb0

Use fixed instead of virtual register for target in far foreign call, since the register allocator does not support virtual registers to be used at call sites.
author Christian Wimmer <christian.wimmer@oracle.com>
date Mon, 02 Dec 2013 14:20:32 -0800
parents cefad50507d8
children c9daba2a2bac
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6616
diff changeset
2 * Copyright (c) 2000, 2012, Oracle and/or its affiliates. All rights reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1378
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1378
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1378
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
25 #include "precompiled.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
26 #include "c1/c1_Compilation.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
27 #include "c1/c1_Instruction.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
28 #include "c1/c1_InstructionPrinter.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
29 #include "c1/c1_LIRAssembler.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
30 #include "c1/c1_MacroAssembler.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
31 #include "c1/c1_ValueStack.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
32 #include "ci/ciInstance.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
33 #ifdef TARGET_ARCH_x86
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
34 # include "nativeInst_x86.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
35 # include "vmreg_x86.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
36 #endif
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
37 #ifdef TARGET_ARCH_sparc
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
38 # include "nativeInst_sparc.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
39 # include "vmreg_sparc.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
40 #endif
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
41 #ifdef TARGET_ARCH_zero
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
42 # include "nativeInst_zero.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
43 # include "vmreg_zero.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1819
diff changeset
44 #endif
2192
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 2089
diff changeset
45 #ifdef TARGET_ARCH_arm
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 2089
diff changeset
46 # include "nativeInst_arm.hpp"
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 2089
diff changeset
47 # include "vmreg_arm.inline.hpp"
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 2089
diff changeset
48 #endif
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 2089
diff changeset
49 #ifdef TARGET_ARCH_ppc
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 2089
diff changeset
50 # include "nativeInst_ppc.hpp"
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 2089
diff changeset
51 # include "vmreg_ppc.inline.hpp"
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 2089
diff changeset
52 #endif
0
a61af66fc99e Initial load
duke
parents:
diff changeset
53
a61af66fc99e Initial load
duke
parents:
diff changeset
54
a61af66fc99e Initial load
duke
parents:
diff changeset
55 void LIR_Assembler::patching_epilog(PatchingStub* patch, LIR_PatchCode patch_code, Register obj, CodeEmitInfo* info) {
a61af66fc99e Initial load
duke
parents:
diff changeset
56 // we must have enough patching space so that call can be inserted
a61af66fc99e Initial load
duke
parents:
diff changeset
57 while ((intx) _masm->pc() - (intx) patch->pc_start() < NativeCall::instruction_size) {
a61af66fc99e Initial load
duke
parents:
diff changeset
58 _masm->nop();
a61af66fc99e Initial load
duke
parents:
diff changeset
59 }
a61af66fc99e Initial load
duke
parents:
diff changeset
60 patch->install(_masm, patch_code, obj, info);
a61af66fc99e Initial load
duke
parents:
diff changeset
61 append_patching_stub(patch);
a61af66fc99e Initial load
duke
parents:
diff changeset
62
a61af66fc99e Initial load
duke
parents:
diff changeset
63 #ifdef ASSERT
1819
f02a8bbe6ed4 6986046: C1 valuestack cleanup
roland
parents: 1783
diff changeset
64 Bytecodes::Code code = info->scope()->method()->java_code_at_bci(info->stack()->bci());
0
a61af66fc99e Initial load
duke
parents:
diff changeset
65 if (patch->id() == PatchingStub::access_field_id) {
a61af66fc99e Initial load
duke
parents:
diff changeset
66 switch (code) {
a61af66fc99e Initial load
duke
parents:
diff changeset
67 case Bytecodes::_putstatic:
a61af66fc99e Initial load
duke
parents:
diff changeset
68 case Bytecodes::_getstatic:
a61af66fc99e Initial load
duke
parents:
diff changeset
69 case Bytecodes::_putfield:
a61af66fc99e Initial load
duke
parents:
diff changeset
70 case Bytecodes::_getfield:
a61af66fc99e Initial load
duke
parents:
diff changeset
71 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
72 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
73 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
74 }
a61af66fc99e Initial load
duke
parents:
diff changeset
75 } else if (patch->id() == PatchingStub::load_klass_id) {
a61af66fc99e Initial load
duke
parents:
diff changeset
76 switch (code) {
a61af66fc99e Initial load
duke
parents:
diff changeset
77 case Bytecodes::_new:
a61af66fc99e Initial load
duke
parents:
diff changeset
78 case Bytecodes::_anewarray:
a61af66fc99e Initial load
duke
parents:
diff changeset
79 case Bytecodes::_multianewarray:
a61af66fc99e Initial load
duke
parents:
diff changeset
80 case Bytecodes::_instanceof:
a61af66fc99e Initial load
duke
parents:
diff changeset
81 case Bytecodes::_checkcast:
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6616
diff changeset
82 break;
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6616
diff changeset
83 default:
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6616
diff changeset
84 ShouldNotReachHere();
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6616
diff changeset
85 }
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6616
diff changeset
86 } else if (patch->id() == PatchingStub::load_mirror_id) {
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6616
diff changeset
87 switch (code) {
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6616
diff changeset
88 case Bytecodes::_putstatic:
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6616
diff changeset
89 case Bytecodes::_getstatic:
0
a61af66fc99e Initial load
duke
parents:
diff changeset
90 case Bytecodes::_ldc:
a61af66fc99e Initial load
duke
parents:
diff changeset
91 case Bytecodes::_ldc_w:
a61af66fc99e Initial load
duke
parents:
diff changeset
92 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
93 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
94 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
95 }
12160
f98f5d48f511 7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents: 6795
diff changeset
96 } else if (patch->id() == PatchingStub::load_appendix_id) {
f98f5d48f511 7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents: 6795
diff changeset
97 Bytecodes::Code bc_raw = info->scope()->method()->raw_code_at_bci(info->stack()->bci());
f98f5d48f511 7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents: 6795
diff changeset
98 assert(Bytecodes::has_optional_appendix(bc_raw), "unexpected appendix resolution");
0
a61af66fc99e Initial load
duke
parents:
diff changeset
99 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
100 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
101 }
a61af66fc99e Initial load
duke
parents:
diff changeset
102 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
103 }
a61af66fc99e Initial load
duke
parents:
diff changeset
104
12160
f98f5d48f511 7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents: 6795
diff changeset
105 PatchingStub::PatchID LIR_Assembler::patching_id(CodeEmitInfo* info) {
f98f5d48f511 7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents: 6795
diff changeset
106 IRScope* scope = info->scope();
f98f5d48f511 7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents: 6795
diff changeset
107 Bytecodes::Code bc_raw = scope->method()->raw_code_at_bci(info->stack()->bci());
f98f5d48f511 7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents: 6795
diff changeset
108 if (Bytecodes::has_optional_appendix(bc_raw)) {
f98f5d48f511 7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents: 6795
diff changeset
109 return PatchingStub::load_appendix_id;
f98f5d48f511 7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents: 6795
diff changeset
110 }
f98f5d48f511 7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents: 6795
diff changeset
111 return PatchingStub::load_mirror_id;
f98f5d48f511 7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents: 6795
diff changeset
112 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
113
a61af66fc99e Initial load
duke
parents:
diff changeset
114 //---------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
115
a61af66fc99e Initial load
duke
parents:
diff changeset
116
a61af66fc99e Initial load
duke
parents:
diff changeset
117 LIR_Assembler::LIR_Assembler(Compilation* c):
a61af66fc99e Initial load
duke
parents:
diff changeset
118 _compilation(c)
a61af66fc99e Initial load
duke
parents:
diff changeset
119 , _masm(c->masm())
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
120 , _bs(Universe::heap()->barrier_set())
0
a61af66fc99e Initial load
duke
parents:
diff changeset
121 , _frame_map(c->frame_map())
a61af66fc99e Initial load
duke
parents:
diff changeset
122 , _current_block(NULL)
a61af66fc99e Initial load
duke
parents:
diff changeset
123 , _pending_non_safepoint(NULL)
a61af66fc99e Initial load
duke
parents:
diff changeset
124 , _pending_non_safepoint_offset(0)
a61af66fc99e Initial load
duke
parents:
diff changeset
125 {
a61af66fc99e Initial load
duke
parents:
diff changeset
126 _slow_case_stubs = new CodeStubList();
a61af66fc99e Initial load
duke
parents:
diff changeset
127 }
a61af66fc99e Initial load
duke
parents:
diff changeset
128
a61af66fc99e Initial load
duke
parents:
diff changeset
129
a61af66fc99e Initial load
duke
parents:
diff changeset
130 LIR_Assembler::~LIR_Assembler() {
a61af66fc99e Initial load
duke
parents:
diff changeset
131 }
a61af66fc99e Initial load
duke
parents:
diff changeset
132
a61af66fc99e Initial load
duke
parents:
diff changeset
133
a61af66fc99e Initial load
duke
parents:
diff changeset
134 void LIR_Assembler::append_patching_stub(PatchingStub* stub) {
a61af66fc99e Initial load
duke
parents:
diff changeset
135 _slow_case_stubs->append(stub);
a61af66fc99e Initial load
duke
parents:
diff changeset
136 }
a61af66fc99e Initial load
duke
parents:
diff changeset
137
a61af66fc99e Initial load
duke
parents:
diff changeset
138
a61af66fc99e Initial load
duke
parents:
diff changeset
139 void LIR_Assembler::check_codespace() {
a61af66fc99e Initial load
duke
parents:
diff changeset
140 CodeSection* cs = _masm->code_section();
3896
b346f13112d8 7085279: C1 overflows code buffer with VerifyOops and CompressedOops
iveresov
parents: 2468
diff changeset
141 if (cs->remaining() < (int)(NOT_LP64(1*K)LP64_ONLY(2*K))) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
142 BAILOUT("CodeBuffer overflow");
a61af66fc99e Initial load
duke
parents:
diff changeset
143 }
a61af66fc99e Initial load
duke
parents:
diff changeset
144 }
a61af66fc99e Initial load
duke
parents:
diff changeset
145
a61af66fc99e Initial load
duke
parents:
diff changeset
146
a61af66fc99e Initial load
duke
parents:
diff changeset
147 void LIR_Assembler::emit_code_stub(CodeStub* stub) {
a61af66fc99e Initial load
duke
parents:
diff changeset
148 _slow_case_stubs->append(stub);
a61af66fc99e Initial load
duke
parents:
diff changeset
149 }
a61af66fc99e Initial load
duke
parents:
diff changeset
150
a61af66fc99e Initial load
duke
parents:
diff changeset
151 void LIR_Assembler::emit_stubs(CodeStubList* stub_list) {
a61af66fc99e Initial load
duke
parents:
diff changeset
152 for (int m = 0; m < stub_list->length(); m++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
153 CodeStub* s = (*stub_list)[m];
a61af66fc99e Initial load
duke
parents:
diff changeset
154
a61af66fc99e Initial load
duke
parents:
diff changeset
155 check_codespace();
a61af66fc99e Initial load
duke
parents:
diff changeset
156 CHECK_BAILOUT();
a61af66fc99e Initial load
duke
parents:
diff changeset
157
a61af66fc99e Initial load
duke
parents:
diff changeset
158 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
159 if (CommentedAssembly) {
a61af66fc99e Initial load
duke
parents:
diff changeset
160 stringStream st;
a61af66fc99e Initial load
duke
parents:
diff changeset
161 s->print_name(&st);
a61af66fc99e Initial load
duke
parents:
diff changeset
162 st.print(" slow case");
a61af66fc99e Initial load
duke
parents:
diff changeset
163 _masm->block_comment(st.as_string());
a61af66fc99e Initial load
duke
parents:
diff changeset
164 }
a61af66fc99e Initial load
duke
parents:
diff changeset
165 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
166 s->emit_code(this);
a61af66fc99e Initial load
duke
parents:
diff changeset
167 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
168 s->assert_no_unbound_labels();
a61af66fc99e Initial load
duke
parents:
diff changeset
169 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
170 }
a61af66fc99e Initial load
duke
parents:
diff changeset
171 }
a61af66fc99e Initial load
duke
parents:
diff changeset
172
a61af66fc99e Initial load
duke
parents:
diff changeset
173
a61af66fc99e Initial load
duke
parents:
diff changeset
174 void LIR_Assembler::emit_slow_case_stubs() {
a61af66fc99e Initial load
duke
parents:
diff changeset
175 emit_stubs(_slow_case_stubs);
a61af66fc99e Initial load
duke
parents:
diff changeset
176 }
a61af66fc99e Initial load
duke
parents:
diff changeset
177
a61af66fc99e Initial load
duke
parents:
diff changeset
178
a61af66fc99e Initial load
duke
parents:
diff changeset
179 bool LIR_Assembler::needs_icache(ciMethod* method) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
180 return !method->is_static();
a61af66fc99e Initial load
duke
parents:
diff changeset
181 }
a61af66fc99e Initial load
duke
parents:
diff changeset
182
a61af66fc99e Initial load
duke
parents:
diff changeset
183
a61af66fc99e Initial load
duke
parents:
diff changeset
184 int LIR_Assembler::code_offset() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
185 return _masm->offset();
a61af66fc99e Initial load
duke
parents:
diff changeset
186 }
a61af66fc99e Initial load
duke
parents:
diff changeset
187
a61af66fc99e Initial load
duke
parents:
diff changeset
188
a61af66fc99e Initial load
duke
parents:
diff changeset
189 address LIR_Assembler::pc() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
190 return _masm->pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
191 }
a61af66fc99e Initial load
duke
parents:
diff changeset
192
a61af66fc99e Initial load
duke
parents:
diff changeset
193
a61af66fc99e Initial load
duke
parents:
diff changeset
194 void LIR_Assembler::emit_exception_entries(ExceptionInfoList* info_list) {
a61af66fc99e Initial load
duke
parents:
diff changeset
195 for (int i = 0; i < info_list->length(); i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
196 XHandlers* handlers = info_list->at(i)->exception_handlers();
a61af66fc99e Initial load
duke
parents:
diff changeset
197
a61af66fc99e Initial load
duke
parents:
diff changeset
198 for (int j = 0; j < handlers->length(); j++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
199 XHandler* handler = handlers->handler_at(j);
a61af66fc99e Initial load
duke
parents:
diff changeset
200 assert(handler->lir_op_id() != -1, "handler not processed by LinearScan");
a61af66fc99e Initial load
duke
parents:
diff changeset
201 assert(handler->entry_code() == NULL ||
a61af66fc99e Initial load
duke
parents:
diff changeset
202 handler->entry_code()->instructions_list()->last()->code() == lir_branch ||
a61af66fc99e Initial load
duke
parents:
diff changeset
203 handler->entry_code()->instructions_list()->last()->code() == lir_delay_slot, "last operation must be branch");
a61af66fc99e Initial load
duke
parents:
diff changeset
204
a61af66fc99e Initial load
duke
parents:
diff changeset
205 if (handler->entry_pco() == -1) {
a61af66fc99e Initial load
duke
parents:
diff changeset
206 // entry code not emitted yet
a61af66fc99e Initial load
duke
parents:
diff changeset
207 if (handler->entry_code() != NULL && handler->entry_code()->instructions_list()->length() > 1) {
a61af66fc99e Initial load
duke
parents:
diff changeset
208 handler->set_entry_pco(code_offset());
a61af66fc99e Initial load
duke
parents:
diff changeset
209 if (CommentedAssembly) {
a61af66fc99e Initial load
duke
parents:
diff changeset
210 _masm->block_comment("Exception adapter block");
a61af66fc99e Initial load
duke
parents:
diff changeset
211 }
a61af66fc99e Initial load
duke
parents:
diff changeset
212 emit_lir_list(handler->entry_code());
a61af66fc99e Initial load
duke
parents:
diff changeset
213 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
214 handler->set_entry_pco(handler->entry_block()->exception_handler_pco());
a61af66fc99e Initial load
duke
parents:
diff changeset
215 }
a61af66fc99e Initial load
duke
parents:
diff changeset
216
a61af66fc99e Initial load
duke
parents:
diff changeset
217 assert(handler->entry_pco() != -1, "must be set now");
a61af66fc99e Initial load
duke
parents:
diff changeset
218 }
a61af66fc99e Initial load
duke
parents:
diff changeset
219 }
a61af66fc99e Initial load
duke
parents:
diff changeset
220 }
a61af66fc99e Initial load
duke
parents:
diff changeset
221 }
a61af66fc99e Initial load
duke
parents:
diff changeset
222
a61af66fc99e Initial load
duke
parents:
diff changeset
223
a61af66fc99e Initial load
duke
parents:
diff changeset
224 void LIR_Assembler::emit_code(BlockList* hir) {
a61af66fc99e Initial load
duke
parents:
diff changeset
225 if (PrintLIR) {
a61af66fc99e Initial load
duke
parents:
diff changeset
226 print_LIR(hir);
a61af66fc99e Initial load
duke
parents:
diff changeset
227 }
a61af66fc99e Initial load
duke
parents:
diff changeset
228
a61af66fc99e Initial load
duke
parents:
diff changeset
229 int n = hir->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
230 for (int i = 0; i < n; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
231 emit_block(hir->at(i));
a61af66fc99e Initial load
duke
parents:
diff changeset
232 CHECK_BAILOUT();
a61af66fc99e Initial load
duke
parents:
diff changeset
233 }
a61af66fc99e Initial load
duke
parents:
diff changeset
234
a61af66fc99e Initial load
duke
parents:
diff changeset
235 flush_debug_info(code_offset());
a61af66fc99e Initial load
duke
parents:
diff changeset
236
a61af66fc99e Initial load
duke
parents:
diff changeset
237 DEBUG_ONLY(check_no_unbound_labels());
a61af66fc99e Initial load
duke
parents:
diff changeset
238 }
a61af66fc99e Initial load
duke
parents:
diff changeset
239
a61af66fc99e Initial load
duke
parents:
diff changeset
240
a61af66fc99e Initial load
duke
parents:
diff changeset
241 void LIR_Assembler::emit_block(BlockBegin* block) {
a61af66fc99e Initial load
duke
parents:
diff changeset
242 if (block->is_set(BlockBegin::backward_branch_target_flag)) {
a61af66fc99e Initial load
duke
parents:
diff changeset
243 align_backward_branch_target();
a61af66fc99e Initial load
duke
parents:
diff changeset
244 }
a61af66fc99e Initial load
duke
parents:
diff changeset
245
a61af66fc99e Initial load
duke
parents:
diff changeset
246 // if this block is the start of an exception handler, record the
a61af66fc99e Initial load
duke
parents:
diff changeset
247 // PC offset of the first instruction for later construction of
a61af66fc99e Initial load
duke
parents:
diff changeset
248 // the ExceptionHandlerTable
a61af66fc99e Initial load
duke
parents:
diff changeset
249 if (block->is_set(BlockBegin::exception_entry_flag)) {
a61af66fc99e Initial load
duke
parents:
diff changeset
250 block->set_exception_handler_pco(code_offset());
a61af66fc99e Initial load
duke
parents:
diff changeset
251 }
a61af66fc99e Initial load
duke
parents:
diff changeset
252
a61af66fc99e Initial load
duke
parents:
diff changeset
253 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
254 if (PrintLIRWithAssembly) {
a61af66fc99e Initial load
duke
parents:
diff changeset
255 // don't print Phi's
a61af66fc99e Initial load
duke
parents:
diff changeset
256 InstructionPrinter ip(false);
a61af66fc99e Initial load
duke
parents:
diff changeset
257 block->print(ip);
a61af66fc99e Initial load
duke
parents:
diff changeset
258 }
a61af66fc99e Initial load
duke
parents:
diff changeset
259 #endif /* PRODUCT */
a61af66fc99e Initial load
duke
parents:
diff changeset
260
a61af66fc99e Initial load
duke
parents:
diff changeset
261 assert(block->lir() != NULL, "must have LIR");
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 0
diff changeset
262 X86_ONLY(assert(_masm->rsp_offset() == 0, "frame size should be fixed"));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
263
a61af66fc99e Initial load
duke
parents:
diff changeset
264 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
265 if (CommentedAssembly) {
a61af66fc99e Initial load
duke
parents:
diff changeset
266 stringStream st;
1819
f02a8bbe6ed4 6986046: C1 valuestack cleanup
roland
parents: 1783
diff changeset
267 st.print_cr(" block B%d [%d, %d]", block->block_id(), block->bci(), block->end()->printable_bci());
0
a61af66fc99e Initial load
duke
parents:
diff changeset
268 _masm->block_comment(st.as_string());
a61af66fc99e Initial load
duke
parents:
diff changeset
269 }
a61af66fc99e Initial load
duke
parents:
diff changeset
270 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
271
a61af66fc99e Initial load
duke
parents:
diff changeset
272 emit_lir_list(block->lir());
a61af66fc99e Initial load
duke
parents:
diff changeset
273
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 0
diff changeset
274 X86_ONLY(assert(_masm->rsp_offset() == 0, "frame size should be fixed"));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
275 }
a61af66fc99e Initial load
duke
parents:
diff changeset
276
a61af66fc99e Initial load
duke
parents:
diff changeset
277
a61af66fc99e Initial load
duke
parents:
diff changeset
278 void LIR_Assembler::emit_lir_list(LIR_List* list) {
a61af66fc99e Initial load
duke
parents:
diff changeset
279 peephole(list);
a61af66fc99e Initial load
duke
parents:
diff changeset
280
a61af66fc99e Initial load
duke
parents:
diff changeset
281 int n = list->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
282 for (int i = 0; i < n; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
283 LIR_Op* op = list->at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
284
a61af66fc99e Initial load
duke
parents:
diff changeset
285 check_codespace();
a61af66fc99e Initial load
duke
parents:
diff changeset
286 CHECK_BAILOUT();
a61af66fc99e Initial load
duke
parents:
diff changeset
287
a61af66fc99e Initial load
duke
parents:
diff changeset
288 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
289 if (CommentedAssembly) {
a61af66fc99e Initial load
duke
parents:
diff changeset
290 // Don't record out every op since that's too verbose. Print
a61af66fc99e Initial load
duke
parents:
diff changeset
291 // branches since they include block and stub names. Also print
a61af66fc99e Initial load
duke
parents:
diff changeset
292 // patching moves since they generate funny looking code.
a61af66fc99e Initial load
duke
parents:
diff changeset
293 if (op->code() == lir_branch ||
a61af66fc99e Initial load
duke
parents:
diff changeset
294 (op->code() == lir_move && op->as_Op1()->patch_code() != lir_patch_none)) {
a61af66fc99e Initial load
duke
parents:
diff changeset
295 stringStream st;
a61af66fc99e Initial load
duke
parents:
diff changeset
296 op->print_on(&st);
a61af66fc99e Initial load
duke
parents:
diff changeset
297 _masm->block_comment(st.as_string());
a61af66fc99e Initial load
duke
parents:
diff changeset
298 }
a61af66fc99e Initial load
duke
parents:
diff changeset
299 }
a61af66fc99e Initial load
duke
parents:
diff changeset
300 if (PrintLIRWithAssembly) {
a61af66fc99e Initial load
duke
parents:
diff changeset
301 // print out the LIR operation followed by the resulting assembly
a61af66fc99e Initial load
duke
parents:
diff changeset
302 list->at(i)->print(); tty->cr();
a61af66fc99e Initial load
duke
parents:
diff changeset
303 }
a61af66fc99e Initial load
duke
parents:
diff changeset
304 #endif /* PRODUCT */
a61af66fc99e Initial load
duke
parents:
diff changeset
305
a61af66fc99e Initial load
duke
parents:
diff changeset
306 op->emit_code(this);
a61af66fc99e Initial load
duke
parents:
diff changeset
307
a61af66fc99e Initial load
duke
parents:
diff changeset
308 if (compilation()->debug_info_recorder()->recording_non_safepoints()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
309 process_debug_info(op);
a61af66fc99e Initial load
duke
parents:
diff changeset
310 }
a61af66fc99e Initial load
duke
parents:
diff changeset
311
a61af66fc99e Initial load
duke
parents:
diff changeset
312 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
313 if (PrintLIRWithAssembly) {
a61af66fc99e Initial load
duke
parents:
diff changeset
314 _masm->code()->decode();
a61af66fc99e Initial load
duke
parents:
diff changeset
315 }
a61af66fc99e Initial load
duke
parents:
diff changeset
316 #endif /* PRODUCT */
a61af66fc99e Initial load
duke
parents:
diff changeset
317 }
a61af66fc99e Initial load
duke
parents:
diff changeset
318 }
a61af66fc99e Initial load
duke
parents:
diff changeset
319
a61af66fc99e Initial load
duke
parents:
diff changeset
320 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
321 void LIR_Assembler::check_no_unbound_labels() {
a61af66fc99e Initial load
duke
parents:
diff changeset
322 CHECK_BAILOUT();
a61af66fc99e Initial load
duke
parents:
diff changeset
323
a61af66fc99e Initial load
duke
parents:
diff changeset
324 for (int i = 0; i < _branch_target_blocks.length() - 1; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
325 if (!_branch_target_blocks.at(i)->label()->is_bound()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
326 tty->print_cr("label of block B%d is not bound", _branch_target_blocks.at(i)->block_id());
a61af66fc99e Initial load
duke
parents:
diff changeset
327 assert(false, "unbound label");
a61af66fc99e Initial load
duke
parents:
diff changeset
328 }
a61af66fc99e Initial load
duke
parents:
diff changeset
329 }
a61af66fc99e Initial load
duke
parents:
diff changeset
330 }
a61af66fc99e Initial load
duke
parents:
diff changeset
331 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
332
a61af66fc99e Initial load
duke
parents:
diff changeset
333 //----------------------------------debug info--------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
334
a61af66fc99e Initial load
duke
parents:
diff changeset
335
a61af66fc99e Initial load
duke
parents:
diff changeset
336 void LIR_Assembler::add_debug_info_for_branch(CodeEmitInfo* info) {
a61af66fc99e Initial load
duke
parents:
diff changeset
337 _masm->code_section()->relocate(pc(), relocInfo::poll_type);
a61af66fc99e Initial load
duke
parents:
diff changeset
338 int pc_offset = code_offset();
a61af66fc99e Initial load
duke
parents:
diff changeset
339 flush_debug_info(pc_offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
340 info->record_debug_info(compilation()->debug_info_recorder(), pc_offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
341 if (info->exception_handlers() != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
342 compilation()->add_exception_handlers_for_pco(pc_offset, info->exception_handlers());
a61af66fc99e Initial load
duke
parents:
diff changeset
343 }
a61af66fc99e Initial load
duke
parents:
diff changeset
344 }
a61af66fc99e Initial load
duke
parents:
diff changeset
345
a61af66fc99e Initial load
duke
parents:
diff changeset
346
1564
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1378
diff changeset
347 void LIR_Assembler::add_call_info(int pc_offset, CodeEmitInfo* cinfo) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
348 flush_debug_info(pc_offset);
1564
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1378
diff changeset
349 cinfo->record_debug_info(compilation()->debug_info_recorder(), pc_offset);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
350 if (cinfo->exception_handlers() != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
351 compilation()->add_exception_handlers_for_pco(pc_offset, cinfo->exception_handlers());
a61af66fc99e Initial load
duke
parents:
diff changeset
352 }
a61af66fc99e Initial load
duke
parents:
diff changeset
353 }
a61af66fc99e Initial load
duke
parents:
diff changeset
354
a61af66fc99e Initial load
duke
parents:
diff changeset
355 static ValueStack* debug_info(Instruction* ins) {
a61af66fc99e Initial load
duke
parents:
diff changeset
356 StateSplit* ss = ins->as_StateSplit();
a61af66fc99e Initial load
duke
parents:
diff changeset
357 if (ss != NULL) return ss->state();
1819
f02a8bbe6ed4 6986046: C1 valuestack cleanup
roland
parents: 1783
diff changeset
358 return ins->state_before();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
359 }
a61af66fc99e Initial load
duke
parents:
diff changeset
360
a61af66fc99e Initial load
duke
parents:
diff changeset
361 void LIR_Assembler::process_debug_info(LIR_Op* op) {
a61af66fc99e Initial load
duke
parents:
diff changeset
362 Instruction* src = op->source();
a61af66fc99e Initial load
duke
parents:
diff changeset
363 if (src == NULL) return;
a61af66fc99e Initial load
duke
parents:
diff changeset
364 int pc_offset = code_offset();
a61af66fc99e Initial load
duke
parents:
diff changeset
365 if (_pending_non_safepoint == src) {
a61af66fc99e Initial load
duke
parents:
diff changeset
366 _pending_non_safepoint_offset = pc_offset;
a61af66fc99e Initial load
duke
parents:
diff changeset
367 return;
a61af66fc99e Initial load
duke
parents:
diff changeset
368 }
a61af66fc99e Initial load
duke
parents:
diff changeset
369 ValueStack* vstack = debug_info(src);
a61af66fc99e Initial load
duke
parents:
diff changeset
370 if (vstack == NULL) return;
a61af66fc99e Initial load
duke
parents:
diff changeset
371 if (_pending_non_safepoint != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
372 // Got some old debug info. Get rid of it.
1819
f02a8bbe6ed4 6986046: C1 valuestack cleanup
roland
parents: 1783
diff changeset
373 if (debug_info(_pending_non_safepoint) == vstack) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
374 _pending_non_safepoint_offset = pc_offset;
a61af66fc99e Initial load
duke
parents:
diff changeset
375 return;
a61af66fc99e Initial load
duke
parents:
diff changeset
376 }
a61af66fc99e Initial load
duke
parents:
diff changeset
377 if (_pending_non_safepoint_offset < pc_offset) {
a61af66fc99e Initial load
duke
parents:
diff changeset
378 record_non_safepoint_debug_info();
a61af66fc99e Initial load
duke
parents:
diff changeset
379 }
a61af66fc99e Initial load
duke
parents:
diff changeset
380 _pending_non_safepoint = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
381 }
a61af66fc99e Initial load
duke
parents:
diff changeset
382 // Remember the debug info.
a61af66fc99e Initial load
duke
parents:
diff changeset
383 if (pc_offset > compilation()->debug_info_recorder()->last_pc_offset()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
384 _pending_non_safepoint = src;
a61af66fc99e Initial load
duke
parents:
diff changeset
385 _pending_non_safepoint_offset = pc_offset;
a61af66fc99e Initial load
duke
parents:
diff changeset
386 }
a61af66fc99e Initial load
duke
parents:
diff changeset
387 }
a61af66fc99e Initial load
duke
parents:
diff changeset
388
a61af66fc99e Initial load
duke
parents:
diff changeset
389 // Index caller states in s, where 0 is the oldest, 1 its callee, etc.
a61af66fc99e Initial load
duke
parents:
diff changeset
390 // Return NULL if n is too large.
a61af66fc99e Initial load
duke
parents:
diff changeset
391 // Returns the caller_bci for the next-younger state, also.
a61af66fc99e Initial load
duke
parents:
diff changeset
392 static ValueStack* nth_oldest(ValueStack* s, int n, int& bci_result) {
a61af66fc99e Initial load
duke
parents:
diff changeset
393 ValueStack* t = s;
a61af66fc99e Initial load
duke
parents:
diff changeset
394 for (int i = 0; i < n; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
395 if (t == NULL) break;
a61af66fc99e Initial load
duke
parents:
diff changeset
396 t = t->caller_state();
a61af66fc99e Initial load
duke
parents:
diff changeset
397 }
a61af66fc99e Initial load
duke
parents:
diff changeset
398 if (t == NULL) return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
399 for (;;) {
a61af66fc99e Initial load
duke
parents:
diff changeset
400 ValueStack* tc = t->caller_state();
a61af66fc99e Initial load
duke
parents:
diff changeset
401 if (tc == NULL) return s;
a61af66fc99e Initial load
duke
parents:
diff changeset
402 t = tc;
1819
f02a8bbe6ed4 6986046: C1 valuestack cleanup
roland
parents: 1783
diff changeset
403 bci_result = tc->bci();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
404 s = s->caller_state();
a61af66fc99e Initial load
duke
parents:
diff changeset
405 }
a61af66fc99e Initial load
duke
parents:
diff changeset
406 }
a61af66fc99e Initial load
duke
parents:
diff changeset
407
a61af66fc99e Initial load
duke
parents:
diff changeset
408 void LIR_Assembler::record_non_safepoint_debug_info() {
a61af66fc99e Initial load
duke
parents:
diff changeset
409 int pc_offset = _pending_non_safepoint_offset;
a61af66fc99e Initial load
duke
parents:
diff changeset
410 ValueStack* vstack = debug_info(_pending_non_safepoint);
1819
f02a8bbe6ed4 6986046: C1 valuestack cleanup
roland
parents: 1783
diff changeset
411 int bci = vstack->bci();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
412
a61af66fc99e Initial load
duke
parents:
diff changeset
413 DebugInformationRecorder* debug_info = compilation()->debug_info_recorder();
a61af66fc99e Initial load
duke
parents:
diff changeset
414 assert(debug_info->recording_non_safepoints(), "sanity");
a61af66fc99e Initial load
duke
parents:
diff changeset
415
a61af66fc99e Initial load
duke
parents:
diff changeset
416 debug_info->add_non_safepoint(pc_offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
417
a61af66fc99e Initial load
duke
parents:
diff changeset
418 // Visit scopes from oldest to youngest.
a61af66fc99e Initial load
duke
parents:
diff changeset
419 for (int n = 0; ; n++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
420 int s_bci = bci;
a61af66fc99e Initial load
duke
parents:
diff changeset
421 ValueStack* s = nth_oldest(vstack, n, s_bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
422 if (s == NULL) break;
a61af66fc99e Initial load
duke
parents:
diff changeset
423 IRScope* scope = s->scope();
900
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 380
diff changeset
424 //Always pass false for reexecute since these ScopeDescs are never used for deopt
4583
597bc897257d Made DebugInformationRecorder::describe_scope() take both a methodHandle _and_ a ciMethod* parameter to avoid creating handles in scopes where it is not allowed.
Doug Simon <doug.simon@oracle.com>
parents: 4578
diff changeset
425 methodHandle null_mh;
597bc897257d Made DebugInformationRecorder::describe_scope() take both a methodHandle _and_ a ciMethod* parameter to avoid creating handles in scopes where it is not allowed.
Doug Simon <doug.simon@oracle.com>
parents: 4578
diff changeset
426 debug_info->describe_scope(pc_offset, null_mh, scope->method(), s->bci(), false/*reexecute*/);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
427 }
a61af66fc99e Initial load
duke
parents:
diff changeset
428
a61af66fc99e Initial load
duke
parents:
diff changeset
429 debug_info->end_non_safepoint(pc_offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
430 }
a61af66fc99e Initial load
duke
parents:
diff changeset
431
a61af66fc99e Initial load
duke
parents:
diff changeset
432
a61af66fc99e Initial load
duke
parents:
diff changeset
433 void LIR_Assembler::add_debug_info_for_null_check_here(CodeEmitInfo* cinfo) {
a61af66fc99e Initial load
duke
parents:
diff changeset
434 add_debug_info_for_null_check(code_offset(), cinfo);
a61af66fc99e Initial load
duke
parents:
diff changeset
435 }
a61af66fc99e Initial load
duke
parents:
diff changeset
436
a61af66fc99e Initial load
duke
parents:
diff changeset
437 void LIR_Assembler::add_debug_info_for_null_check(int pc_offset, CodeEmitInfo* cinfo) {
a61af66fc99e Initial load
duke
parents:
diff changeset
438 ImplicitNullCheckStub* stub = new ImplicitNullCheckStub(pc_offset, cinfo);
a61af66fc99e Initial load
duke
parents:
diff changeset
439 emit_code_stub(stub);
a61af66fc99e Initial load
duke
parents:
diff changeset
440 }
a61af66fc99e Initial load
duke
parents:
diff changeset
441
a61af66fc99e Initial load
duke
parents:
diff changeset
442 void LIR_Assembler::add_debug_info_for_div0_here(CodeEmitInfo* info) {
a61af66fc99e Initial load
duke
parents:
diff changeset
443 add_debug_info_for_div0(code_offset(), info);
a61af66fc99e Initial load
duke
parents:
diff changeset
444 }
a61af66fc99e Initial load
duke
parents:
diff changeset
445
a61af66fc99e Initial load
duke
parents:
diff changeset
446 void LIR_Assembler::add_debug_info_for_div0(int pc_offset, CodeEmitInfo* cinfo) {
a61af66fc99e Initial load
duke
parents:
diff changeset
447 DivByZeroStub* stub = new DivByZeroStub(pc_offset, cinfo);
a61af66fc99e Initial load
duke
parents:
diff changeset
448 emit_code_stub(stub);
a61af66fc99e Initial load
duke
parents:
diff changeset
449 }
a61af66fc99e Initial load
duke
parents:
diff changeset
450
a61af66fc99e Initial load
duke
parents:
diff changeset
451 void LIR_Assembler::emit_rtcall(LIR_OpRTCall* op) {
a61af66fc99e Initial load
duke
parents:
diff changeset
452 rt_call(op->result_opr(), op->addr(), op->arguments(), op->tmp(), op->info());
a61af66fc99e Initial load
duke
parents:
diff changeset
453 }
a61af66fc99e Initial load
duke
parents:
diff changeset
454
a61af66fc99e Initial load
duke
parents:
diff changeset
455
a61af66fc99e Initial load
duke
parents:
diff changeset
456 void LIR_Assembler::emit_call(LIR_OpJavaCall* op) {
a61af66fc99e Initial load
duke
parents:
diff changeset
457 verify_oop_map(op->info());
a61af66fc99e Initial load
duke
parents:
diff changeset
458
a61af66fc99e Initial load
duke
parents:
diff changeset
459 if (os::is_MP()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
460 // must align calls sites, otherwise they can't be updated atomically on MP hardware
a61af66fc99e Initial load
duke
parents:
diff changeset
461 align_call(op->code());
a61af66fc99e Initial load
duke
parents:
diff changeset
462 }
a61af66fc99e Initial load
duke
parents:
diff changeset
463
a61af66fc99e Initial load
duke
parents:
diff changeset
464 // emit the static call stub stuff out of line
a61af66fc99e Initial load
duke
parents:
diff changeset
465 emit_static_call_stub();
a61af66fc99e Initial load
duke
parents:
diff changeset
466
a61af66fc99e Initial load
duke
parents:
diff changeset
467 switch (op->code()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
468 case lir_static_call:
6616
7a302948f5a4 7192167: JSR 292: C1 has old broken code which needs to be removed
twisti
parents: 6084
diff changeset
469 case lir_dynamic_call:
1295
3cf667df43ef 6919934: JSR 292 needs to support x86 C1
twisti
parents: 948
diff changeset
470 call(op, relocInfo::static_call_type);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
471 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
472 case lir_optvirtual_call:
1295
3cf667df43ef 6919934: JSR 292 needs to support x86 C1
twisti
parents: 948
diff changeset
473 call(op, relocInfo::opt_virtual_call_type);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
474 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
475 case lir_icvirtual_call:
1295
3cf667df43ef 6919934: JSR 292 needs to support x86 C1
twisti
parents: 948
diff changeset
476 ic_call(op);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
477 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
478 case lir_virtual_call:
1295
3cf667df43ef 6919934: JSR 292 needs to support x86 C1
twisti
parents: 948
diff changeset
479 vtable_call(op);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
480 break;
6616
7a302948f5a4 7192167: JSR 292: C1 has old broken code which needs to be removed
twisti
parents: 6084
diff changeset
481 default:
7a302948f5a4 7192167: JSR 292: C1 has old broken code which needs to be removed
twisti
parents: 6084
diff changeset
482 fatal(err_msg_res("unexpected op code: %s", op->name()));
7a302948f5a4 7192167: JSR 292: C1 has old broken code which needs to be removed
twisti
parents: 6084
diff changeset
483 break;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
484 }
1295
3cf667df43ef 6919934: JSR 292 needs to support x86 C1
twisti
parents: 948
diff changeset
485
1691
4a665be40fd3 6975855: don't emit deopt MH handler in C1 if not required
twisti
parents: 1579
diff changeset
486 // JSR 292
4a665be40fd3 6975855: don't emit deopt MH handler in C1 if not required
twisti
parents: 1579
diff changeset
487 // Record if this method has MethodHandle invokes.
4a665be40fd3 6975855: don't emit deopt MH handler in C1 if not required
twisti
parents: 1579
diff changeset
488 if (op->is_method_handle_invoke()) {
4a665be40fd3 6975855: don't emit deopt MH handler in C1 if not required
twisti
parents: 1579
diff changeset
489 compilation()->set_has_method_handle_invokes(true);
4a665be40fd3 6975855: don't emit deopt MH handler in C1 if not required
twisti
parents: 1579
diff changeset
490 }
4a665be40fd3 6975855: don't emit deopt MH handler in C1 if not required
twisti
parents: 1579
diff changeset
491
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 0
diff changeset
492 #if defined(X86) && defined(TIERED)
0
a61af66fc99e Initial load
duke
parents:
diff changeset
493 // C2 leave fpu stack dirty clean it
a61af66fc99e Initial load
duke
parents:
diff changeset
494 if (UseSSE < 2) {
a61af66fc99e Initial load
duke
parents:
diff changeset
495 int i;
a61af66fc99e Initial load
duke
parents:
diff changeset
496 for ( i = 1; i <= 7 ; i++ ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
497 ffree(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
498 }
a61af66fc99e Initial load
duke
parents:
diff changeset
499 if (!op->result_opr()->is_float_kind()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
500 ffree(0);
a61af66fc99e Initial load
duke
parents:
diff changeset
501 }
a61af66fc99e Initial load
duke
parents:
diff changeset
502 }
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 0
diff changeset
503 #endif // X86 && TIERED
0
a61af66fc99e Initial load
duke
parents:
diff changeset
504 }
a61af66fc99e Initial load
duke
parents:
diff changeset
505
a61af66fc99e Initial load
duke
parents:
diff changeset
506
a61af66fc99e Initial load
duke
parents:
diff changeset
507 void LIR_Assembler::emit_opLabel(LIR_OpLabel* op) {
a61af66fc99e Initial load
duke
parents:
diff changeset
508 _masm->bind (*(op->label()));
a61af66fc99e Initial load
duke
parents:
diff changeset
509 }
a61af66fc99e Initial load
duke
parents:
diff changeset
510
a61af66fc99e Initial load
duke
parents:
diff changeset
511
a61af66fc99e Initial load
duke
parents:
diff changeset
512 void LIR_Assembler::emit_op1(LIR_Op1* op) {
a61af66fc99e Initial load
duke
parents:
diff changeset
513 switch (op->code()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
514 case lir_move:
a61af66fc99e Initial load
duke
parents:
diff changeset
515 if (op->move_kind() == lir_move_volatile) {
a61af66fc99e Initial load
duke
parents:
diff changeset
516 assert(op->patch_code() == lir_patch_none, "can't patch volatiles");
a61af66fc99e Initial load
duke
parents:
diff changeset
517 volatile_move_op(op->in_opr(), op->result_opr(), op->type(), op->info());
a61af66fc99e Initial load
duke
parents:
diff changeset
518 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
519 move_op(op->in_opr(), op->result_opr(), op->type(),
2002
ac637b7220d1 6985015: C1 needs to support compressed oops
iveresov
parents: 1972
diff changeset
520 op->patch_code(), op->info(), op->pop_fpu_stack(),
ac637b7220d1 6985015: C1 needs to support compressed oops
iveresov
parents: 1972
diff changeset
521 op->move_kind() == lir_move_unaligned,
ac637b7220d1 6985015: C1 needs to support compressed oops
iveresov
parents: 1972
diff changeset
522 op->move_kind() == lir_move_wide);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
523 }
a61af66fc99e Initial load
duke
parents:
diff changeset
524 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
525
a61af66fc99e Initial load
duke
parents:
diff changeset
526 case lir_prefetchr:
a61af66fc99e Initial load
duke
parents:
diff changeset
527 prefetchr(op->in_opr());
a61af66fc99e Initial load
duke
parents:
diff changeset
528 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
529
a61af66fc99e Initial load
duke
parents:
diff changeset
530 case lir_prefetchw:
a61af66fc99e Initial load
duke
parents:
diff changeset
531 prefetchw(op->in_opr());
a61af66fc99e Initial load
duke
parents:
diff changeset
532 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
533
a61af66fc99e Initial load
duke
parents:
diff changeset
534 case lir_roundfp: {
a61af66fc99e Initial load
duke
parents:
diff changeset
535 LIR_OpRoundFP* round_op = op->as_OpRoundFP();
a61af66fc99e Initial load
duke
parents:
diff changeset
536 roundfp_op(round_op->in_opr(), round_op->tmp(), round_op->result_opr(), round_op->pop_fpu_stack());
a61af66fc99e Initial load
duke
parents:
diff changeset
537 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
538 }
a61af66fc99e Initial load
duke
parents:
diff changeset
539
a61af66fc99e Initial load
duke
parents:
diff changeset
540 case lir_return:
a61af66fc99e Initial load
duke
parents:
diff changeset
541 return_op(op->in_opr());
a61af66fc99e Initial load
duke
parents:
diff changeset
542 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
543
a61af66fc99e Initial load
duke
parents:
diff changeset
544 case lir_safepoint:
a61af66fc99e Initial load
duke
parents:
diff changeset
545 if (compilation()->debug_info_recorder()->last_pc_offset() == code_offset()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
546 _masm->nop();
a61af66fc99e Initial load
duke
parents:
diff changeset
547 }
a61af66fc99e Initial load
duke
parents:
diff changeset
548 safepoint_poll(op->in_opr(), op->info());
a61af66fc99e Initial load
duke
parents:
diff changeset
549 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
550
a61af66fc99e Initial load
duke
parents:
diff changeset
551 case lir_fxch:
a61af66fc99e Initial load
duke
parents:
diff changeset
552 fxch(op->in_opr()->as_jint());
a61af66fc99e Initial load
duke
parents:
diff changeset
553 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
554
a61af66fc99e Initial load
duke
parents:
diff changeset
555 case lir_fld:
a61af66fc99e Initial load
duke
parents:
diff changeset
556 fld(op->in_opr()->as_jint());
a61af66fc99e Initial load
duke
parents:
diff changeset
557 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
558
a61af66fc99e Initial load
duke
parents:
diff changeset
559 case lir_ffree:
a61af66fc99e Initial load
duke
parents:
diff changeset
560 ffree(op->in_opr()->as_jint());
a61af66fc99e Initial load
duke
parents:
diff changeset
561 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
562
a61af66fc99e Initial load
duke
parents:
diff changeset
563 case lir_branch:
a61af66fc99e Initial load
duke
parents:
diff changeset
564 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
565
a61af66fc99e Initial load
duke
parents:
diff changeset
566 case lir_push:
a61af66fc99e Initial load
duke
parents:
diff changeset
567 push(op->in_opr());
a61af66fc99e Initial load
duke
parents:
diff changeset
568 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
569
a61af66fc99e Initial load
duke
parents:
diff changeset
570 case lir_pop:
a61af66fc99e Initial load
duke
parents:
diff changeset
571 pop(op->in_opr());
a61af66fc99e Initial load
duke
parents:
diff changeset
572 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
573
a61af66fc99e Initial load
duke
parents:
diff changeset
574 case lir_neg:
a61af66fc99e Initial load
duke
parents:
diff changeset
575 negate(op->in_opr(), op->result_opr());
a61af66fc99e Initial load
duke
parents:
diff changeset
576 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
577
a61af66fc99e Initial load
duke
parents:
diff changeset
578 case lir_leal:
a61af66fc99e Initial load
duke
parents:
diff changeset
579 leal(op->in_opr(), op->result_opr());
a61af66fc99e Initial load
duke
parents:
diff changeset
580 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
581
a61af66fc99e Initial load
duke
parents:
diff changeset
582 case lir_null_check:
a61af66fc99e Initial load
duke
parents:
diff changeset
583 if (GenerateCompilerNullChecks) {
a61af66fc99e Initial load
duke
parents:
diff changeset
584 add_debug_info_for_null_check_here(op->info());
a61af66fc99e Initial load
duke
parents:
diff changeset
585
a61af66fc99e Initial load
duke
parents:
diff changeset
586 if (op->in_opr()->is_single_cpu()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
587 _masm->null_check(op->in_opr()->as_register());
a61af66fc99e Initial load
duke
parents:
diff changeset
588 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
589 Unimplemented();
a61af66fc99e Initial load
duke
parents:
diff changeset
590 }
a61af66fc99e Initial load
duke
parents:
diff changeset
591 }
a61af66fc99e Initial load
duke
parents:
diff changeset
592 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
593
a61af66fc99e Initial load
duke
parents:
diff changeset
594 case lir_monaddr:
a61af66fc99e Initial load
duke
parents:
diff changeset
595 monitor_address(op->in_opr()->as_constant_ptr()->as_jint(), op->result_opr());
a61af66fc99e Initial load
duke
parents:
diff changeset
596 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
597
1783
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1691
diff changeset
598 #ifdef SPARC
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1691
diff changeset
599 case lir_pack64:
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1691
diff changeset
600 pack64(op->in_opr(), op->result_opr());
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1691
diff changeset
601 break;
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1691
diff changeset
602
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1691
diff changeset
603 case lir_unpack64:
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1691
diff changeset
604 unpack64(op->in_opr(), op->result_opr());
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1691
diff changeset
605 break;
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1691
diff changeset
606 #endif
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1691
diff changeset
607
1378
9f5b60a14736 6939930: exception unwind changes in 6919934 hurts compilation speed
never
parents: 1301
diff changeset
608 case lir_unwind:
9f5b60a14736 6939930: exception unwind changes in 6919934 hurts compilation speed
never
parents: 1301
diff changeset
609 unwind_op(op->in_opr());
9f5b60a14736 6939930: exception unwind changes in 6919934 hurts compilation speed
never
parents: 1301
diff changeset
610 break;
9f5b60a14736 6939930: exception unwind changes in 6919934 hurts compilation speed
never
parents: 1301
diff changeset
611
0
a61af66fc99e Initial load
duke
parents:
diff changeset
612 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
613 Unimplemented();
a61af66fc99e Initial load
duke
parents:
diff changeset
614 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
615 }
a61af66fc99e Initial load
duke
parents:
diff changeset
616 }
a61af66fc99e Initial load
duke
parents:
diff changeset
617
a61af66fc99e Initial load
duke
parents:
diff changeset
618
a61af66fc99e Initial load
duke
parents:
diff changeset
619 void LIR_Assembler::emit_op0(LIR_Op0* op) {
a61af66fc99e Initial load
duke
parents:
diff changeset
620 switch (op->code()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
621 case lir_word_align: {
a61af66fc99e Initial load
duke
parents:
diff changeset
622 while (code_offset() % BytesPerWord != 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
623 _masm->nop();
a61af66fc99e Initial load
duke
parents:
diff changeset
624 }
a61af66fc99e Initial load
duke
parents:
diff changeset
625 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
626 }
a61af66fc99e Initial load
duke
parents:
diff changeset
627
a61af66fc99e Initial load
duke
parents:
diff changeset
628 case lir_nop:
a61af66fc99e Initial load
duke
parents:
diff changeset
629 assert(op->info() == NULL, "not supported");
a61af66fc99e Initial load
duke
parents:
diff changeset
630 _masm->nop();
a61af66fc99e Initial load
duke
parents:
diff changeset
631 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
632
a61af66fc99e Initial load
duke
parents:
diff changeset
633 case lir_label:
a61af66fc99e Initial load
duke
parents:
diff changeset
634 Unimplemented();
a61af66fc99e Initial load
duke
parents:
diff changeset
635 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
636
a61af66fc99e Initial load
duke
parents:
diff changeset
637 case lir_build_frame:
a61af66fc99e Initial load
duke
parents:
diff changeset
638 build_frame();
a61af66fc99e Initial load
duke
parents:
diff changeset
639 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
640
a61af66fc99e Initial load
duke
parents:
diff changeset
641 case lir_std_entry:
a61af66fc99e Initial load
duke
parents:
diff changeset
642 // init offsets
a61af66fc99e Initial load
duke
parents:
diff changeset
643 offsets()->set_value(CodeOffsets::OSR_Entry, _masm->offset());
a61af66fc99e Initial load
duke
parents:
diff changeset
644 _masm->align(CodeEntryAlignment);
a61af66fc99e Initial load
duke
parents:
diff changeset
645 if (needs_icache(compilation()->method())) {
a61af66fc99e Initial load
duke
parents:
diff changeset
646 check_icache();
a61af66fc99e Initial load
duke
parents:
diff changeset
647 }
a61af66fc99e Initial load
duke
parents:
diff changeset
648 offsets()->set_value(CodeOffsets::Verified_Entry, _masm->offset());
a61af66fc99e Initial load
duke
parents:
diff changeset
649 _masm->verified_entry();
a61af66fc99e Initial load
duke
parents:
diff changeset
650 build_frame();
a61af66fc99e Initial load
duke
parents:
diff changeset
651 offsets()->set_value(CodeOffsets::Frame_Complete, _masm->offset());
a61af66fc99e Initial load
duke
parents:
diff changeset
652 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
653
a61af66fc99e Initial load
duke
parents:
diff changeset
654 case lir_osr_entry:
a61af66fc99e Initial load
duke
parents:
diff changeset
655 offsets()->set_value(CodeOffsets::OSR_Entry, _masm->offset());
a61af66fc99e Initial load
duke
parents:
diff changeset
656 osr_entry();
a61af66fc99e Initial load
duke
parents:
diff changeset
657 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
658
a61af66fc99e Initial load
duke
parents:
diff changeset
659 case lir_24bit_FPU:
a61af66fc99e Initial load
duke
parents:
diff changeset
660 set_24bit_FPU();
a61af66fc99e Initial load
duke
parents:
diff changeset
661 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
662
a61af66fc99e Initial load
duke
parents:
diff changeset
663 case lir_reset_FPU:
a61af66fc99e Initial load
duke
parents:
diff changeset
664 reset_FPU();
a61af66fc99e Initial load
duke
parents:
diff changeset
665 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
666
a61af66fc99e Initial load
duke
parents:
diff changeset
667 case lir_breakpoint:
a61af66fc99e Initial load
duke
parents:
diff changeset
668 breakpoint();
a61af66fc99e Initial load
duke
parents:
diff changeset
669 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
670
a61af66fc99e Initial load
duke
parents:
diff changeset
671 case lir_fpop_raw:
a61af66fc99e Initial load
duke
parents:
diff changeset
672 fpop();
a61af66fc99e Initial load
duke
parents:
diff changeset
673 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
674
a61af66fc99e Initial load
duke
parents:
diff changeset
675 case lir_membar:
a61af66fc99e Initial load
duke
parents:
diff changeset
676 membar();
a61af66fc99e Initial load
duke
parents:
diff changeset
677 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
678
a61af66fc99e Initial load
duke
parents:
diff changeset
679 case lir_membar_acquire:
a61af66fc99e Initial load
duke
parents:
diff changeset
680 membar_acquire();
a61af66fc99e Initial load
duke
parents:
diff changeset
681 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
682
a61af66fc99e Initial load
duke
parents:
diff changeset
683 case lir_membar_release:
a61af66fc99e Initial load
duke
parents:
diff changeset
684 membar_release();
a61af66fc99e Initial load
duke
parents:
diff changeset
685 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
686
4966
701a83c86f28 7120481: storeStore barrier in constructor with final field
jiangli
parents: 3896
diff changeset
687 case lir_membar_loadload:
701a83c86f28 7120481: storeStore barrier in constructor with final field
jiangli
parents: 3896
diff changeset
688 membar_loadload();
701a83c86f28 7120481: storeStore barrier in constructor with final field
jiangli
parents: 3896
diff changeset
689 break;
701a83c86f28 7120481: storeStore barrier in constructor with final field
jiangli
parents: 3896
diff changeset
690
701a83c86f28 7120481: storeStore barrier in constructor with final field
jiangli
parents: 3896
diff changeset
691 case lir_membar_storestore:
701a83c86f28 7120481: storeStore barrier in constructor with final field
jiangli
parents: 3896
diff changeset
692 membar_storestore();
701a83c86f28 7120481: storeStore barrier in constructor with final field
jiangli
parents: 3896
diff changeset
693 break;
701a83c86f28 7120481: storeStore barrier in constructor with final field
jiangli
parents: 3896
diff changeset
694
701a83c86f28 7120481: storeStore barrier in constructor with final field
jiangli
parents: 3896
diff changeset
695 case lir_membar_loadstore:
701a83c86f28 7120481: storeStore barrier in constructor with final field
jiangli
parents: 3896
diff changeset
696 membar_loadstore();
701a83c86f28 7120481: storeStore barrier in constructor with final field
jiangli
parents: 3896
diff changeset
697 break;
701a83c86f28 7120481: storeStore barrier in constructor with final field
jiangli
parents: 3896
diff changeset
698
701a83c86f28 7120481: storeStore barrier in constructor with final field
jiangli
parents: 3896
diff changeset
699 case lir_membar_storeload:
701a83c86f28 7120481: storeStore barrier in constructor with final field
jiangli
parents: 3896
diff changeset
700 membar_storeload();
701a83c86f28 7120481: storeStore barrier in constructor with final field
jiangli
parents: 3896
diff changeset
701 break;
701a83c86f28 7120481: storeStore barrier in constructor with final field
jiangli
parents: 3896
diff changeset
702
0
a61af66fc99e Initial load
duke
parents:
diff changeset
703 case lir_get_thread:
a61af66fc99e Initial load
duke
parents:
diff changeset
704 get_thread(op->result_opr());
a61af66fc99e Initial load
duke
parents:
diff changeset
705 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
706
a61af66fc99e Initial load
duke
parents:
diff changeset
707 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
708 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
709 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
710 }
a61af66fc99e Initial load
duke
parents:
diff changeset
711 }
a61af66fc99e Initial load
duke
parents:
diff changeset
712
a61af66fc99e Initial load
duke
parents:
diff changeset
713
a61af66fc99e Initial load
duke
parents:
diff changeset
714 void LIR_Assembler::emit_op2(LIR_Op2* op) {
a61af66fc99e Initial load
duke
parents:
diff changeset
715 switch (op->code()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
716 case lir_cmp:
a61af66fc99e Initial load
duke
parents:
diff changeset
717 if (op->info() != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
718 assert(op->in_opr1()->is_address() || op->in_opr2()->is_address(),
a61af66fc99e Initial load
duke
parents:
diff changeset
719 "shouldn't be codeemitinfo for non-address operands");
a61af66fc99e Initial load
duke
parents:
diff changeset
720 add_debug_info_for_null_check_here(op->info()); // exception possible
a61af66fc99e Initial load
duke
parents:
diff changeset
721 }
a61af66fc99e Initial load
duke
parents:
diff changeset
722 comp_op(op->condition(), op->in_opr1(), op->in_opr2(), op);
a61af66fc99e Initial load
duke
parents:
diff changeset
723 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
724
a61af66fc99e Initial load
duke
parents:
diff changeset
725 case lir_cmp_l2i:
a61af66fc99e Initial load
duke
parents:
diff changeset
726 case lir_cmp_fd2i:
a61af66fc99e Initial load
duke
parents:
diff changeset
727 case lir_ucmp_fd2i:
a61af66fc99e Initial load
duke
parents:
diff changeset
728 comp_fl2i(op->code(), op->in_opr1(), op->in_opr2(), op->result_opr(), op);
a61af66fc99e Initial load
duke
parents:
diff changeset
729 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
730
a61af66fc99e Initial load
duke
parents:
diff changeset
731 case lir_cmove:
2089
037c727f35fb 7009231: C1: Incorrect CAS code for longs on SPARC 32bit
iveresov
parents: 2002
diff changeset
732 cmove(op->condition(), op->in_opr1(), op->in_opr2(), op->result_opr(), op->type());
0
a61af66fc99e Initial load
duke
parents:
diff changeset
733 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
734
a61af66fc99e Initial load
duke
parents:
diff changeset
735 case lir_shl:
a61af66fc99e Initial load
duke
parents:
diff changeset
736 case lir_shr:
a61af66fc99e Initial load
duke
parents:
diff changeset
737 case lir_ushr:
a61af66fc99e Initial load
duke
parents:
diff changeset
738 if (op->in_opr2()->is_constant()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
739 shift_op(op->code(), op->in_opr1(), op->in_opr2()->as_constant_ptr()->as_jint(), op->result_opr());
a61af66fc99e Initial load
duke
parents:
diff changeset
740 } else {
6084
6759698e3140 7133857: exp() and pow() should use the x87 ISA on x86
roland
parents: 4966
diff changeset
741 shift_op(op->code(), op->in_opr1(), op->in_opr2(), op->result_opr(), op->tmp1_opr());
0
a61af66fc99e Initial load
duke
parents:
diff changeset
742 }
a61af66fc99e Initial load
duke
parents:
diff changeset
743 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
744
a61af66fc99e Initial load
duke
parents:
diff changeset
745 case lir_add:
a61af66fc99e Initial load
duke
parents:
diff changeset
746 case lir_sub:
a61af66fc99e Initial load
duke
parents:
diff changeset
747 case lir_mul:
a61af66fc99e Initial load
duke
parents:
diff changeset
748 case lir_mul_strictfp:
a61af66fc99e Initial load
duke
parents:
diff changeset
749 case lir_div:
a61af66fc99e Initial load
duke
parents:
diff changeset
750 case lir_div_strictfp:
a61af66fc99e Initial load
duke
parents:
diff changeset
751 case lir_rem:
a61af66fc99e Initial load
duke
parents:
diff changeset
752 assert(op->fpu_pop_count() < 2, "");
a61af66fc99e Initial load
duke
parents:
diff changeset
753 arith_op(
a61af66fc99e Initial load
duke
parents:
diff changeset
754 op->code(),
a61af66fc99e Initial load
duke
parents:
diff changeset
755 op->in_opr1(),
a61af66fc99e Initial load
duke
parents:
diff changeset
756 op->in_opr2(),
a61af66fc99e Initial load
duke
parents:
diff changeset
757 op->result_opr(),
a61af66fc99e Initial load
duke
parents:
diff changeset
758 op->info(),
a61af66fc99e Initial load
duke
parents:
diff changeset
759 op->fpu_pop_count() == 1);
a61af66fc99e Initial load
duke
parents:
diff changeset
760 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
761
a61af66fc99e Initial load
duke
parents:
diff changeset
762 case lir_abs:
a61af66fc99e Initial load
duke
parents:
diff changeset
763 case lir_sqrt:
a61af66fc99e Initial load
duke
parents:
diff changeset
764 case lir_sin:
a61af66fc99e Initial load
duke
parents:
diff changeset
765 case lir_tan:
a61af66fc99e Initial load
duke
parents:
diff changeset
766 case lir_cos:
a61af66fc99e Initial load
duke
parents:
diff changeset
767 case lir_log:
a61af66fc99e Initial load
duke
parents:
diff changeset
768 case lir_log10:
6084
6759698e3140 7133857: exp() and pow() should use the x87 ISA on x86
roland
parents: 4966
diff changeset
769 case lir_exp:
6759698e3140 7133857: exp() and pow() should use the x87 ISA on x86
roland
parents: 4966
diff changeset
770 case lir_pow:
0
a61af66fc99e Initial load
duke
parents:
diff changeset
771 intrinsic_op(op->code(), op->in_opr1(), op->in_opr2(), op->result_opr(), op);
a61af66fc99e Initial load
duke
parents:
diff changeset
772 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
773
a61af66fc99e Initial load
duke
parents:
diff changeset
774 case lir_logic_and:
a61af66fc99e Initial load
duke
parents:
diff changeset
775 case lir_logic_or:
a61af66fc99e Initial load
duke
parents:
diff changeset
776 case lir_logic_xor:
a61af66fc99e Initial load
duke
parents:
diff changeset
777 logic_op(
a61af66fc99e Initial load
duke
parents:
diff changeset
778 op->code(),
a61af66fc99e Initial load
duke
parents:
diff changeset
779 op->in_opr1(),
a61af66fc99e Initial load
duke
parents:
diff changeset
780 op->in_opr2(),
a61af66fc99e Initial load
duke
parents:
diff changeset
781 op->result_opr());
a61af66fc99e Initial load
duke
parents:
diff changeset
782 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
783
a61af66fc99e Initial load
duke
parents:
diff changeset
784 case lir_throw:
1378
9f5b60a14736 6939930: exception unwind changes in 6919934 hurts compilation speed
never
parents: 1301
diff changeset
785 throw_op(op->in_opr1(), op->in_opr2(), op->info());
0
a61af66fc99e Initial load
duke
parents:
diff changeset
786 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
787
6795
7eca5de9e0b6 7023898: Intrinsify AtomicLongFieldUpdater.getAndIncrement()
roland
parents: 6725
diff changeset
788 case lir_xadd:
7eca5de9e0b6 7023898: Intrinsify AtomicLongFieldUpdater.getAndIncrement()
roland
parents: 6725
diff changeset
789 case lir_xchg:
7eca5de9e0b6 7023898: Intrinsify AtomicLongFieldUpdater.getAndIncrement()
roland
parents: 6725
diff changeset
790 atomic_op(op->code(), op->in_opr1(), op->in_opr2(), op->result_opr(), op->tmp1_opr());
7eca5de9e0b6 7023898: Intrinsify AtomicLongFieldUpdater.getAndIncrement()
roland
parents: 6725
diff changeset
791 break;
7eca5de9e0b6 7023898: Intrinsify AtomicLongFieldUpdater.getAndIncrement()
roland
parents: 6725
diff changeset
792
0
a61af66fc99e Initial load
duke
parents:
diff changeset
793 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
794 Unimplemented();
a61af66fc99e Initial load
duke
parents:
diff changeset
795 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
796 }
a61af66fc99e Initial load
duke
parents:
diff changeset
797 }
a61af66fc99e Initial load
duke
parents:
diff changeset
798
a61af66fc99e Initial load
duke
parents:
diff changeset
799
a61af66fc99e Initial load
duke
parents:
diff changeset
800 void LIR_Assembler::build_frame() {
a61af66fc99e Initial load
duke
parents:
diff changeset
801 _masm->build_frame(initial_frame_size_in_bytes());
a61af66fc99e Initial load
duke
parents:
diff changeset
802 }
a61af66fc99e Initial load
duke
parents:
diff changeset
803
a61af66fc99e Initial load
duke
parents:
diff changeset
804
a61af66fc99e Initial load
duke
parents:
diff changeset
805 void LIR_Assembler::roundfp_op(LIR_Opr src, LIR_Opr tmp, LIR_Opr dest, bool pop_fpu_stack) {
a61af66fc99e Initial load
duke
parents:
diff changeset
806 assert((src->is_single_fpu() && dest->is_single_stack()) ||
a61af66fc99e Initial load
duke
parents:
diff changeset
807 (src->is_double_fpu() && dest->is_double_stack()),
a61af66fc99e Initial load
duke
parents:
diff changeset
808 "round_fp: rounds register -> stack location");
a61af66fc99e Initial load
duke
parents:
diff changeset
809
a61af66fc99e Initial load
duke
parents:
diff changeset
810 reg2stack (src, dest, src->type(), pop_fpu_stack);
a61af66fc99e Initial load
duke
parents:
diff changeset
811 }
a61af66fc99e Initial load
duke
parents:
diff changeset
812
a61af66fc99e Initial load
duke
parents:
diff changeset
813
2002
ac637b7220d1 6985015: C1 needs to support compressed oops
iveresov
parents: 1972
diff changeset
814 void LIR_Assembler::move_op(LIR_Opr src, LIR_Opr dest, BasicType type, LIR_PatchCode patch_code, CodeEmitInfo* info, bool pop_fpu_stack, bool unaligned, bool wide) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
815 if (src->is_register()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
816 if (dest->is_register()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
817 assert(patch_code == lir_patch_none && info == NULL, "no patching and info allowed here");
a61af66fc99e Initial load
duke
parents:
diff changeset
818 reg2reg(src, dest);
a61af66fc99e Initial load
duke
parents:
diff changeset
819 } else if (dest->is_stack()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
820 assert(patch_code == lir_patch_none && info == NULL, "no patching and info allowed here");
a61af66fc99e Initial load
duke
parents:
diff changeset
821 reg2stack(src, dest, type, pop_fpu_stack);
a61af66fc99e Initial load
duke
parents:
diff changeset
822 } else if (dest->is_address()) {
2002
ac637b7220d1 6985015: C1 needs to support compressed oops
iveresov
parents: 1972
diff changeset
823 reg2mem(src, dest, type, patch_code, info, pop_fpu_stack, wide, unaligned);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
824 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
825 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
826 }
a61af66fc99e Initial load
duke
parents:
diff changeset
827
a61af66fc99e Initial load
duke
parents:
diff changeset
828 } else if (src->is_stack()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
829 assert(patch_code == lir_patch_none && info == NULL, "no patching and info allowed here");
a61af66fc99e Initial load
duke
parents:
diff changeset
830 if (dest->is_register()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
831 stack2reg(src, dest, type);
a61af66fc99e Initial load
duke
parents:
diff changeset
832 } else if (dest->is_stack()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
833 stack2stack(src, dest, type);
a61af66fc99e Initial load
duke
parents:
diff changeset
834 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
835 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
836 }
a61af66fc99e Initial load
duke
parents:
diff changeset
837
a61af66fc99e Initial load
duke
parents:
diff changeset
838 } else if (src->is_constant()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
839 if (dest->is_register()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
840 const2reg(src, dest, patch_code, info); // patching is possible
a61af66fc99e Initial load
duke
parents:
diff changeset
841 } else if (dest->is_stack()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
842 assert(patch_code == lir_patch_none && info == NULL, "no patching and info allowed here");
a61af66fc99e Initial load
duke
parents:
diff changeset
843 const2stack(src, dest);
a61af66fc99e Initial load
duke
parents:
diff changeset
844 } else if (dest->is_address()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
845 assert(patch_code == lir_patch_none, "no patching allowed here");
2002
ac637b7220d1 6985015: C1 needs to support compressed oops
iveresov
parents: 1972
diff changeset
846 const2mem(src, dest, type, info, wide);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
847 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
848 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
849 }
a61af66fc99e Initial load
duke
parents:
diff changeset
850
a61af66fc99e Initial load
duke
parents:
diff changeset
851 } else if (src->is_address()) {
2002
ac637b7220d1 6985015: C1 needs to support compressed oops
iveresov
parents: 1972
diff changeset
852 mem2reg(src, dest, type, patch_code, info, wide, unaligned);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
853
a61af66fc99e Initial load
duke
parents:
diff changeset
854 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
855 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
856 }
a61af66fc99e Initial load
duke
parents:
diff changeset
857 }
a61af66fc99e Initial load
duke
parents:
diff changeset
858
a61af66fc99e Initial load
duke
parents:
diff changeset
859
a61af66fc99e Initial load
duke
parents:
diff changeset
860 void LIR_Assembler::verify_oop_map(CodeEmitInfo* info) {
a61af66fc99e Initial load
duke
parents:
diff changeset
861 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
862 if (VerifyOopMaps || VerifyOops) {
a61af66fc99e Initial load
duke
parents:
diff changeset
863 bool v = VerifyOops;
a61af66fc99e Initial load
duke
parents:
diff changeset
864 VerifyOops = true;
a61af66fc99e Initial load
duke
parents:
diff changeset
865 OopMapStream s(info->oop_map());
a61af66fc99e Initial load
duke
parents:
diff changeset
866 while (!s.is_done()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
867 OopMapValue v = s.current();
a61af66fc99e Initial load
duke
parents:
diff changeset
868 if (v.is_oop()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
869 VMReg r = v.reg();
a61af66fc99e Initial load
duke
parents:
diff changeset
870 if (!r->is_stack()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
871 stringStream st;
a61af66fc99e Initial load
duke
parents:
diff changeset
872 st.print("bad oop %s at %d", r->as_Register()->name(), _masm->offset());
a61af66fc99e Initial load
duke
parents:
diff changeset
873 #ifdef SPARC
a61af66fc99e Initial load
duke
parents:
diff changeset
874 _masm->_verify_oop(r->as_Register(), strdup(st.as_string()), __FILE__, __LINE__);
a61af66fc99e Initial load
duke
parents:
diff changeset
875 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
876 _masm->verify_oop(r->as_Register());
a61af66fc99e Initial load
duke
parents:
diff changeset
877 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
878 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
879 _masm->verify_stack_oop(r->reg2stack() * VMRegImpl::stack_slot_size);
a61af66fc99e Initial load
duke
parents:
diff changeset
880 }
a61af66fc99e Initial load
duke
parents:
diff changeset
881 }
2451
87ce328c6a21 6528013: C1 CTW failure with -XX:+VerifyOops assert(allocates2(pc),"")
never
parents: 2192
diff changeset
882 check_codespace();
87ce328c6a21 6528013: C1 CTW failure with -XX:+VerifyOops assert(allocates2(pc),"")
never
parents: 2192
diff changeset
883 CHECK_BAILOUT();
87ce328c6a21 6528013: C1 CTW failure with -XX:+VerifyOops assert(allocates2(pc),"")
never
parents: 2192
diff changeset
884
0
a61af66fc99e Initial load
duke
parents:
diff changeset
885 s.next();
a61af66fc99e Initial load
duke
parents:
diff changeset
886 }
a61af66fc99e Initial load
duke
parents:
diff changeset
887 VerifyOops = v;
a61af66fc99e Initial load
duke
parents:
diff changeset
888 }
a61af66fc99e Initial load
duke
parents:
diff changeset
889 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
890 }