annotate src/share/vm/opto/generateOptoStub.cpp @ 1721:413ad0331a0c

6977924: Changes for 6975078 produce build error with certain gcc versions Summary: The changes introduced for 6975078 assign badHeapOopVal to the _allocation field in the ResourceObj class. In 32 bit linux builds with certain versions of gcc this assignment will be flagged as an error while compiling allocation.cpp. In 32 bit builds the constant value badHeapOopVal (which is cast to an intptr_t) is negative. The _allocation field is typed as an unsigned intptr_t and gcc catches this as an error. Reviewed-by: jcoomes, ysr, phh
author johnc
date Wed, 18 Aug 2010 10:59:06 -0700
parents c18cbe5936b8
children f95d63e2154a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
2 * Copyright (c) 1999, 2006, 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: 0
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
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: 0
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
a61af66fc99e Initial load
duke
parents:
diff changeset
25 #include "incls/_precompiled.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
26 #include "incls/_generateOptoStub.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28 //--------------------gen_stub-------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
29 void GraphKit::gen_stub(address C_function,
a61af66fc99e Initial load
duke
parents:
diff changeset
30 const char *name,
a61af66fc99e Initial load
duke
parents:
diff changeset
31 int is_fancy_jump,
a61af66fc99e Initial load
duke
parents:
diff changeset
32 bool pass_tls,
a61af66fc99e Initial load
duke
parents:
diff changeset
33 bool return_pc) {
a61af66fc99e Initial load
duke
parents:
diff changeset
34 ResourceMark rm;
a61af66fc99e Initial load
duke
parents:
diff changeset
35
a61af66fc99e Initial load
duke
parents:
diff changeset
36 const TypeTuple *jdomain = C->tf()->domain();
a61af66fc99e Initial load
duke
parents:
diff changeset
37 const TypeTuple *jrange = C->tf()->range();
a61af66fc99e Initial load
duke
parents:
diff changeset
38
a61af66fc99e Initial load
duke
parents:
diff changeset
39 // The procedure start
a61af66fc99e Initial load
duke
parents:
diff changeset
40 StartNode* start = new (C, 2) StartNode(root(), jdomain);
a61af66fc99e Initial load
duke
parents:
diff changeset
41 _gvn.set_type_bottom(start);
a61af66fc99e Initial load
duke
parents:
diff changeset
42
a61af66fc99e Initial load
duke
parents:
diff changeset
43 // Make a map, with JVM state
a61af66fc99e Initial load
duke
parents:
diff changeset
44 uint parm_cnt = jdomain->cnt();
a61af66fc99e Initial load
duke
parents:
diff changeset
45 uint max_map = MAX2(2*parm_cnt+1, jrange->cnt());
a61af66fc99e Initial load
duke
parents:
diff changeset
46 // %%% SynchronizationEntryBCI is redundant; use InvocationEntryBci in interfaces
a61af66fc99e Initial load
duke
parents:
diff changeset
47 assert(SynchronizationEntryBCI == InvocationEntryBci, "");
a61af66fc99e Initial load
duke
parents:
diff changeset
48 JVMState* jvms = new (C) JVMState(0);
a61af66fc99e Initial load
duke
parents:
diff changeset
49 jvms->set_bci(InvocationEntryBci);
a61af66fc99e Initial load
duke
parents:
diff changeset
50 jvms->set_monoff(max_map);
a61af66fc99e Initial load
duke
parents:
diff changeset
51 jvms->set_endoff(max_map);
a61af66fc99e Initial load
duke
parents:
diff changeset
52 {
a61af66fc99e Initial load
duke
parents:
diff changeset
53 SafePointNode *map = new (C, max_map) SafePointNode( max_map, jvms );
a61af66fc99e Initial load
duke
parents:
diff changeset
54 jvms->set_map(map);
a61af66fc99e Initial load
duke
parents:
diff changeset
55 set_jvms(jvms);
a61af66fc99e Initial load
duke
parents:
diff changeset
56 assert(map == this->map(), "kit.map is set");
a61af66fc99e Initial load
duke
parents:
diff changeset
57 }
a61af66fc99e Initial load
duke
parents:
diff changeset
58
a61af66fc99e Initial load
duke
parents:
diff changeset
59 // Make up the parameters
a61af66fc99e Initial load
duke
parents:
diff changeset
60 uint i;
a61af66fc99e Initial load
duke
parents:
diff changeset
61 for( i = 0; i < parm_cnt; i++ )
a61af66fc99e Initial load
duke
parents:
diff changeset
62 map()->init_req(i, _gvn.transform(new (C, 1) ParmNode(start, i)));
a61af66fc99e Initial load
duke
parents:
diff changeset
63 for( ; i<map()->req(); i++ )
a61af66fc99e Initial load
duke
parents:
diff changeset
64 map()->init_req(i, top()); // For nicer debugging
a61af66fc99e Initial load
duke
parents:
diff changeset
65
a61af66fc99e Initial load
duke
parents:
diff changeset
66 // GraphKit requires memory to be a MergeMemNode:
a61af66fc99e Initial load
duke
parents:
diff changeset
67 set_all_memory(map()->memory());
a61af66fc99e Initial load
duke
parents:
diff changeset
68
a61af66fc99e Initial load
duke
parents:
diff changeset
69 // Get base of thread-local storage area
a61af66fc99e Initial load
duke
parents:
diff changeset
70 Node* thread = _gvn.transform( new (C, 1) ThreadLocalNode() );
a61af66fc99e Initial load
duke
parents:
diff changeset
71
a61af66fc99e Initial load
duke
parents:
diff changeset
72 const int NoAlias = Compile::AliasIdxBot;
a61af66fc99e Initial load
duke
parents:
diff changeset
73
a61af66fc99e Initial load
duke
parents:
diff changeset
74 Node* adr_last_Java_pc = basic_plus_adr(top(),
a61af66fc99e Initial load
duke
parents:
diff changeset
75 thread,
a61af66fc99e Initial load
duke
parents:
diff changeset
76 in_bytes(JavaThread::frame_anchor_offset()) +
a61af66fc99e Initial load
duke
parents:
diff changeset
77 in_bytes(JavaFrameAnchor::last_Java_pc_offset()));
a61af66fc99e Initial load
duke
parents:
diff changeset
78 #if defined(SPARC) || defined(IA64)
a61af66fc99e Initial load
duke
parents:
diff changeset
79 Node* adr_flags = basic_plus_adr(top(),
a61af66fc99e Initial load
duke
parents:
diff changeset
80 thread,
a61af66fc99e Initial load
duke
parents:
diff changeset
81 in_bytes(JavaThread::frame_anchor_offset()) +
a61af66fc99e Initial load
duke
parents:
diff changeset
82 in_bytes(JavaFrameAnchor::flags_offset()));
a61af66fc99e Initial load
duke
parents:
diff changeset
83 #endif /* defined(SPARC) || defined(IA64) */
a61af66fc99e Initial load
duke
parents:
diff changeset
84
a61af66fc99e Initial load
duke
parents:
diff changeset
85
a61af66fc99e Initial load
duke
parents:
diff changeset
86 // Drop in the last_Java_sp. last_Java_fp is not touched.
a61af66fc99e Initial load
duke
parents:
diff changeset
87 // Always do this after the other "last_Java_frame" fields are set since
a61af66fc99e Initial load
duke
parents:
diff changeset
88 // as soon as last_Java_sp != NULL the has_last_Java_frame is true and
a61af66fc99e Initial load
duke
parents:
diff changeset
89 // users will look at the other fields.
a61af66fc99e Initial load
duke
parents:
diff changeset
90 //
a61af66fc99e Initial load
duke
parents:
diff changeset
91 Node *adr_sp = basic_plus_adr(top(), thread, in_bytes(JavaThread::last_Java_sp_offset()));
a61af66fc99e Initial load
duke
parents:
diff changeset
92 #ifndef IA64
a61af66fc99e Initial load
duke
parents:
diff changeset
93 Node *last_sp = basic_plus_adr(top(), frameptr(), (intptr_t) STACK_BIAS);
a61af66fc99e Initial load
duke
parents:
diff changeset
94 store_to_memory(NULL, adr_sp, last_sp, T_ADDRESS, NoAlias);
a61af66fc99e Initial load
duke
parents:
diff changeset
95 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
96
a61af66fc99e Initial load
duke
parents:
diff changeset
97 // Set _thread_in_native
a61af66fc99e Initial load
duke
parents:
diff changeset
98 // The order of stores into TLS is critical! Setting _thread_in_native MUST
a61af66fc99e Initial load
duke
parents:
diff changeset
99 // be last, because a GC is allowed at any time after setting it and the GC
a61af66fc99e Initial load
duke
parents:
diff changeset
100 // will require last_Java_pc and last_Java_sp.
a61af66fc99e Initial load
duke
parents:
diff changeset
101 Node* adr_state = basic_plus_adr(top(), thread, in_bytes(JavaThread::thread_state_offset()));
a61af66fc99e Initial load
duke
parents:
diff changeset
102
a61af66fc99e Initial load
duke
parents:
diff changeset
103 //-----------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
104 // Compute signature for C call. Varies from the Java signature!
a61af66fc99e Initial load
duke
parents:
diff changeset
105 const Type **fields = TypeTuple::fields(2*parm_cnt+2);
a61af66fc99e Initial load
duke
parents:
diff changeset
106 uint cnt = TypeFunc::Parms;
a61af66fc99e Initial load
duke
parents:
diff changeset
107 // The C routines gets the base of thread-local storage passed in as an
a61af66fc99e Initial load
duke
parents:
diff changeset
108 // extra argument. Not all calls need it, but its cheap to add here.
a61af66fc99e Initial load
duke
parents:
diff changeset
109 for( ; cnt<parm_cnt; cnt++ )
a61af66fc99e Initial load
duke
parents:
diff changeset
110 fields[cnt] = jdomain->field_at(cnt);
a61af66fc99e Initial load
duke
parents:
diff changeset
111 fields[cnt++] = TypeRawPtr::BOTTOM; // Thread-local storage
a61af66fc99e Initial load
duke
parents:
diff changeset
112 // Also pass in the caller's PC, if asked for.
a61af66fc99e Initial load
duke
parents:
diff changeset
113 if( return_pc )
a61af66fc99e Initial load
duke
parents:
diff changeset
114 fields[cnt++] = TypeRawPtr::BOTTOM; // Return PC
a61af66fc99e Initial load
duke
parents:
diff changeset
115
a61af66fc99e Initial load
duke
parents:
diff changeset
116 const TypeTuple* domain = TypeTuple::make(cnt,fields);
a61af66fc99e Initial load
duke
parents:
diff changeset
117 // The C routine we are about to call cannot return an oop; it can block on
a61af66fc99e Initial load
duke
parents:
diff changeset
118 // exit and a GC will trash the oop while it sits in C-land. Instead, we
a61af66fc99e Initial load
duke
parents:
diff changeset
119 // return the oop through TLS for runtime calls.
a61af66fc99e Initial load
duke
parents:
diff changeset
120 // Also, C routines returning integer subword values leave the high
a61af66fc99e Initial load
duke
parents:
diff changeset
121 // order bits dirty; these must be cleaned up by explicit sign extension.
a61af66fc99e Initial load
duke
parents:
diff changeset
122 const Type* retval = (jrange->cnt() == TypeFunc::Parms) ? Type::TOP : jrange->field_at(TypeFunc::Parms);
a61af66fc99e Initial load
duke
parents:
diff changeset
123 // Make a private copy of jrange->fields();
a61af66fc99e Initial load
duke
parents:
diff changeset
124 const Type **rfields = TypeTuple::fields(jrange->cnt() - TypeFunc::Parms);
a61af66fc99e Initial load
duke
parents:
diff changeset
125 // Fixup oop returns
a61af66fc99e Initial load
duke
parents:
diff changeset
126 int retval_ptr = retval->isa_oop_ptr();
a61af66fc99e Initial load
duke
parents:
diff changeset
127 if( retval_ptr ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
128 assert( pass_tls, "Oop must be returned thru TLS" );
a61af66fc99e Initial load
duke
parents:
diff changeset
129 // Fancy-jumps return address; others return void
a61af66fc99e Initial load
duke
parents:
diff changeset
130 rfields[TypeFunc::Parms] = is_fancy_jump ? TypeRawPtr::BOTTOM : Type::TOP;
a61af66fc99e Initial load
duke
parents:
diff changeset
131
a61af66fc99e Initial load
duke
parents:
diff changeset
132 } else if( retval->isa_int() ) { // Returning any integer subtype?
a61af66fc99e Initial load
duke
parents:
diff changeset
133 // "Fatten" byte, char & short return types to 'int' to show that
a61af66fc99e Initial load
duke
parents:
diff changeset
134 // the native C code can return values with junk high order bits.
a61af66fc99e Initial load
duke
parents:
diff changeset
135 // We'll sign-extend it below later.
a61af66fc99e Initial load
duke
parents:
diff changeset
136 rfields[TypeFunc::Parms] = TypeInt::INT; // It's "dirty" and needs sign-ext
a61af66fc99e Initial load
duke
parents:
diff changeset
137
a61af66fc99e Initial load
duke
parents:
diff changeset
138 } else if( jrange->cnt() >= TypeFunc::Parms+1 ) { // Else copy other types
a61af66fc99e Initial load
duke
parents:
diff changeset
139 rfields[TypeFunc::Parms] = jrange->field_at(TypeFunc::Parms);
a61af66fc99e Initial load
duke
parents:
diff changeset
140 if( jrange->cnt() == TypeFunc::Parms+2 )
a61af66fc99e Initial load
duke
parents:
diff changeset
141 rfields[TypeFunc::Parms+1] = jrange->field_at(TypeFunc::Parms+1);
a61af66fc99e Initial load
duke
parents:
diff changeset
142 }
a61af66fc99e Initial load
duke
parents:
diff changeset
143 const TypeTuple* range = TypeTuple::make(jrange->cnt(),rfields);
a61af66fc99e Initial load
duke
parents:
diff changeset
144
a61af66fc99e Initial load
duke
parents:
diff changeset
145 // Final C signature
a61af66fc99e Initial load
duke
parents:
diff changeset
146 const TypeFunc *c_sig = TypeFunc::make(domain,range);
a61af66fc99e Initial load
duke
parents:
diff changeset
147
a61af66fc99e Initial load
duke
parents:
diff changeset
148 //-----------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
149 // Make the call node
a61af66fc99e Initial load
duke
parents:
diff changeset
150 CallRuntimeNode *call = new (C, c_sig->domain()->cnt())
a61af66fc99e Initial load
duke
parents:
diff changeset
151 CallRuntimeNode(c_sig, C_function, name, TypePtr::BOTTOM);
a61af66fc99e Initial load
duke
parents:
diff changeset
152 //-----------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
153
a61af66fc99e Initial load
duke
parents:
diff changeset
154 // Fix-up the debug info for the call
a61af66fc99e Initial load
duke
parents:
diff changeset
155 call->set_jvms( new (C) JVMState(0) );
a61af66fc99e Initial load
duke
parents:
diff changeset
156 call->jvms()->set_bci(0);
a61af66fc99e Initial load
duke
parents:
diff changeset
157 call->jvms()->set_offsets(cnt);
a61af66fc99e Initial load
duke
parents:
diff changeset
158
a61af66fc99e Initial load
duke
parents:
diff changeset
159 // Set fixed predefined input arguments
a61af66fc99e Initial load
duke
parents:
diff changeset
160 cnt = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
161 for( i=0; i<TypeFunc::Parms; i++ )
a61af66fc99e Initial load
duke
parents:
diff changeset
162 call->init_req( cnt++, map()->in(i) );
a61af66fc99e Initial load
duke
parents:
diff changeset
163 // A little too aggressive on the parm copy; return address is not an input
a61af66fc99e Initial load
duke
parents:
diff changeset
164 call->set_req(TypeFunc::ReturnAdr, top());
a61af66fc99e Initial load
duke
parents:
diff changeset
165 for( ; i<parm_cnt; i++ ) // Regular input arguments
a61af66fc99e Initial load
duke
parents:
diff changeset
166 call->init_req( cnt++, map()->in(i) );
a61af66fc99e Initial load
duke
parents:
diff changeset
167
a61af66fc99e Initial load
duke
parents:
diff changeset
168 call->init_req( cnt++, thread );
a61af66fc99e Initial load
duke
parents:
diff changeset
169 if( return_pc ) // Return PC, if asked for
a61af66fc99e Initial load
duke
parents:
diff changeset
170 call->init_req( cnt++, returnadr() );
a61af66fc99e Initial load
duke
parents:
diff changeset
171 _gvn.transform_no_reclaim(call);
a61af66fc99e Initial load
duke
parents:
diff changeset
172
a61af66fc99e Initial load
duke
parents:
diff changeset
173
a61af66fc99e Initial load
duke
parents:
diff changeset
174 //-----------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
175 // Now set up the return results
a61af66fc99e Initial load
duke
parents:
diff changeset
176 set_control( _gvn.transform( new (C, 1) ProjNode(call,TypeFunc::Control)) );
a61af66fc99e Initial load
duke
parents:
diff changeset
177 set_i_o( _gvn.transform( new (C, 1) ProjNode(call,TypeFunc::I_O )) );
a61af66fc99e Initial load
duke
parents:
diff changeset
178 set_all_memory_call(call);
a61af66fc99e Initial load
duke
parents:
diff changeset
179 if (range->cnt() > TypeFunc::Parms) {
a61af66fc99e Initial load
duke
parents:
diff changeset
180 Node* retnode = _gvn.transform( new (C, 1) ProjNode(call,TypeFunc::Parms) );
a61af66fc99e Initial load
duke
parents:
diff changeset
181 // C-land is allowed to return sub-word values. Convert to integer type.
a61af66fc99e Initial load
duke
parents:
diff changeset
182 assert( retval != Type::TOP, "" );
a61af66fc99e Initial load
duke
parents:
diff changeset
183 if (retval == TypeInt::BOOL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
184 retnode = _gvn.transform( new (C, 3) AndINode(retnode, intcon(0xFF)) );
a61af66fc99e Initial load
duke
parents:
diff changeset
185 } else if (retval == TypeInt::CHAR) {
a61af66fc99e Initial load
duke
parents:
diff changeset
186 retnode = _gvn.transform( new (C, 3) AndINode(retnode, intcon(0xFFFF)) );
a61af66fc99e Initial load
duke
parents:
diff changeset
187 } else if (retval == TypeInt::BYTE) {
a61af66fc99e Initial load
duke
parents:
diff changeset
188 retnode = _gvn.transform( new (C, 3) LShiftINode(retnode, intcon(24)) );
a61af66fc99e Initial load
duke
parents:
diff changeset
189 retnode = _gvn.transform( new (C, 3) RShiftINode(retnode, intcon(24)) );
a61af66fc99e Initial load
duke
parents:
diff changeset
190 } else if (retval == TypeInt::SHORT) {
a61af66fc99e Initial load
duke
parents:
diff changeset
191 retnode = _gvn.transform( new (C, 3) LShiftINode(retnode, intcon(16)) );
a61af66fc99e Initial load
duke
parents:
diff changeset
192 retnode = _gvn.transform( new (C, 3) RShiftINode(retnode, intcon(16)) );
a61af66fc99e Initial load
duke
parents:
diff changeset
193 }
a61af66fc99e Initial load
duke
parents:
diff changeset
194 map()->set_req( TypeFunc::Parms, retnode );
a61af66fc99e Initial load
duke
parents:
diff changeset
195 }
a61af66fc99e Initial load
duke
parents:
diff changeset
196
a61af66fc99e Initial load
duke
parents:
diff changeset
197 //-----------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
198
a61af66fc99e Initial load
duke
parents:
diff changeset
199 // Clear last_Java_sp
a61af66fc99e Initial load
duke
parents:
diff changeset
200 #ifdef IA64
a61af66fc99e Initial load
duke
parents:
diff changeset
201 if( os::is_MP() ) insert_mem_bar(Op_MemBarRelease);
a61af66fc99e Initial load
duke
parents:
diff changeset
202 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
203
a61af66fc99e Initial load
duke
parents:
diff changeset
204 store_to_memory(NULL, adr_sp, null(), T_ADDRESS, NoAlias);
a61af66fc99e Initial load
duke
parents:
diff changeset
205 #ifdef IA64
a61af66fc99e Initial load
duke
parents:
diff changeset
206 if (os::is_MP() && UseMembar) insert_mem_bar(new MemBarVolatileNode());
a61af66fc99e Initial load
duke
parents:
diff changeset
207 #endif // def IA64
a61af66fc99e Initial load
duke
parents:
diff changeset
208 // Clear last_Java_pc and (optionally)_flags
a61af66fc99e Initial load
duke
parents:
diff changeset
209 store_to_memory(NULL, adr_last_Java_pc, null(), T_ADDRESS, NoAlias);
a61af66fc99e Initial load
duke
parents:
diff changeset
210 #if defined(SPARC) || defined(IA64)
a61af66fc99e Initial load
duke
parents:
diff changeset
211 store_to_memory(NULL, adr_flags, intcon(0), T_INT, NoAlias);
a61af66fc99e Initial load
duke
parents:
diff changeset
212 #endif /* defined(SPARC) || defined(IA64) */
a61af66fc99e Initial load
duke
parents:
diff changeset
213 #ifdef IA64
a61af66fc99e Initial load
duke
parents:
diff changeset
214 Node* adr_last_Java_fp = basic_plus_adr(top(), thread, in_bytes(JavaThread::last_Java_fp_offset()));
a61af66fc99e Initial load
duke
parents:
diff changeset
215 if( os::is_MP() ) insert_mem_bar(Op_MemBarRelease);
a61af66fc99e Initial load
duke
parents:
diff changeset
216 store_to_memory(NULL, adr_last_Java_fp, null(), T_ADDRESS, NoAlias);
a61af66fc99e Initial load
duke
parents:
diff changeset
217 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
218
a61af66fc99e Initial load
duke
parents:
diff changeset
219 // For is-fancy-jump, the C-return value is also the branch target
a61af66fc99e Initial load
duke
parents:
diff changeset
220 Node* target = map()->in(TypeFunc::Parms);
a61af66fc99e Initial load
duke
parents:
diff changeset
221 // Runtime call returning oop in TLS? Fetch it out
a61af66fc99e Initial load
duke
parents:
diff changeset
222 if( pass_tls ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
223 Node* adr = basic_plus_adr(top(), thread, in_bytes(JavaThread::vm_result_offset()));
a61af66fc99e Initial load
duke
parents:
diff changeset
224 Node* vm_result = make_load(NULL, adr, TypeOopPtr::BOTTOM, T_OBJECT, NoAlias, false);
a61af66fc99e Initial load
duke
parents:
diff changeset
225 map()->set_req(TypeFunc::Parms, vm_result); // vm_result passed as result
a61af66fc99e Initial load
duke
parents:
diff changeset
226 // clear thread-local-storage(tls)
a61af66fc99e Initial load
duke
parents:
diff changeset
227 store_to_memory(NULL, adr, null(), T_ADDRESS, NoAlias);
a61af66fc99e Initial load
duke
parents:
diff changeset
228 }
a61af66fc99e Initial load
duke
parents:
diff changeset
229
a61af66fc99e Initial load
duke
parents:
diff changeset
230 //-----------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
231 // check exception
a61af66fc99e Initial load
duke
parents:
diff changeset
232 Node* adr = basic_plus_adr(top(), thread, in_bytes(Thread::pending_exception_offset()));
a61af66fc99e Initial load
duke
parents:
diff changeset
233 Node* pending = make_load(NULL, adr, TypeOopPtr::BOTTOM, T_OBJECT, NoAlias, false);
a61af66fc99e Initial load
duke
parents:
diff changeset
234
a61af66fc99e Initial load
duke
parents:
diff changeset
235 Node* exit_memory = reset_memory();
a61af66fc99e Initial load
duke
parents:
diff changeset
236
a61af66fc99e Initial load
duke
parents:
diff changeset
237 Node* cmp = _gvn.transform( new (C, 3) CmpPNode(pending, null()) );
a61af66fc99e Initial load
duke
parents:
diff changeset
238 Node* bo = _gvn.transform( new (C, 2) BoolNode(cmp, BoolTest::ne) );
a61af66fc99e Initial load
duke
parents:
diff changeset
239 IfNode *iff = create_and_map_if(control(), bo, PROB_MIN, COUNT_UNKNOWN);
a61af66fc99e Initial load
duke
parents:
diff changeset
240
a61af66fc99e Initial load
duke
parents:
diff changeset
241 Node* if_null = _gvn.transform( new (C, 1) IfFalseNode(iff) );
a61af66fc99e Initial load
duke
parents:
diff changeset
242 Node* if_not_null = _gvn.transform( new (C, 1) IfTrueNode(iff) );
a61af66fc99e Initial load
duke
parents:
diff changeset
243
a61af66fc99e Initial load
duke
parents:
diff changeset
244 assert (StubRoutines::forward_exception_entry() != NULL, "must be generated before");
a61af66fc99e Initial load
duke
parents:
diff changeset
245 Node *exc_target = makecon(TypeRawPtr::make( StubRoutines::forward_exception_entry() ));
a61af66fc99e Initial load
duke
parents:
diff changeset
246 Node *to_exc = new (C, TypeFunc::Parms+2) TailCallNode(if_not_null,
a61af66fc99e Initial load
duke
parents:
diff changeset
247 i_o(),
a61af66fc99e Initial load
duke
parents:
diff changeset
248 exit_memory,
a61af66fc99e Initial load
duke
parents:
diff changeset
249 frameptr(),
a61af66fc99e Initial load
duke
parents:
diff changeset
250 returnadr(),
a61af66fc99e Initial load
duke
parents:
diff changeset
251 exc_target, null());
a61af66fc99e Initial load
duke
parents:
diff changeset
252 root()->add_req(_gvn.transform(to_exc)); // bind to root to keep live
a61af66fc99e Initial load
duke
parents:
diff changeset
253 C->init_start(start);
a61af66fc99e Initial load
duke
parents:
diff changeset
254
a61af66fc99e Initial load
duke
parents:
diff changeset
255 //-----------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
256 // If this is a normal subroutine return, issue the return and be done.
a61af66fc99e Initial load
duke
parents:
diff changeset
257 Node *ret;
a61af66fc99e Initial load
duke
parents:
diff changeset
258 switch( is_fancy_jump ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
259 case 0: // Make a return instruction
a61af66fc99e Initial load
duke
parents:
diff changeset
260 // Return to caller, free any space for return address
a61af66fc99e Initial load
duke
parents:
diff changeset
261 ret = new (C, TypeFunc::Parms) ReturnNode(TypeFunc::Parms, if_null,
a61af66fc99e Initial load
duke
parents:
diff changeset
262 i_o(),
a61af66fc99e Initial load
duke
parents:
diff changeset
263 exit_memory,
a61af66fc99e Initial load
duke
parents:
diff changeset
264 frameptr(),
a61af66fc99e Initial load
duke
parents:
diff changeset
265 returnadr());
a61af66fc99e Initial load
duke
parents:
diff changeset
266 if (C->tf()->range()->cnt() > TypeFunc::Parms)
a61af66fc99e Initial load
duke
parents:
diff changeset
267 ret->add_req( map()->in(TypeFunc::Parms) );
a61af66fc99e Initial load
duke
parents:
diff changeset
268 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
269 case 1: // This is a fancy tail-call jump. Jump to computed address.
a61af66fc99e Initial load
duke
parents:
diff changeset
270 // Jump to new callee; leave old return address alone.
a61af66fc99e Initial load
duke
parents:
diff changeset
271 ret = new (C, TypeFunc::Parms+2) TailCallNode(if_null,
a61af66fc99e Initial load
duke
parents:
diff changeset
272 i_o(),
a61af66fc99e Initial load
duke
parents:
diff changeset
273 exit_memory,
a61af66fc99e Initial load
duke
parents:
diff changeset
274 frameptr(),
a61af66fc99e Initial load
duke
parents:
diff changeset
275 returnadr(),
a61af66fc99e Initial load
duke
parents:
diff changeset
276 target, map()->in(TypeFunc::Parms));
a61af66fc99e Initial load
duke
parents:
diff changeset
277 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
278 case 2: // Pop return address & jump
a61af66fc99e Initial load
duke
parents:
diff changeset
279 // Throw away old return address; jump to new computed address
a61af66fc99e Initial load
duke
parents:
diff changeset
280 //assert(C_function == CAST_FROM_FN_PTR(address, OptoRuntime::rethrow_C), "fancy_jump==2 only for rethrow");
a61af66fc99e Initial load
duke
parents:
diff changeset
281 ret = new (C, TypeFunc::Parms+2) TailJumpNode(if_null,
a61af66fc99e Initial load
duke
parents:
diff changeset
282 i_o(),
a61af66fc99e Initial load
duke
parents:
diff changeset
283 exit_memory,
a61af66fc99e Initial load
duke
parents:
diff changeset
284 frameptr(),
a61af66fc99e Initial load
duke
parents:
diff changeset
285 target, map()->in(TypeFunc::Parms));
a61af66fc99e Initial load
duke
parents:
diff changeset
286 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
287 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
288 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
289 }
a61af66fc99e Initial load
duke
parents:
diff changeset
290 root()->add_req(_gvn.transform(ret));
a61af66fc99e Initial load
duke
parents:
diff changeset
291 }