annotate src/share/vm/opto/c2compiler.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 0e35fa8ebccd
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: 1397
diff changeset
2 * Copyright (c) 1999, 2010, 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: 1397
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1397
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: 1397
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/_c2compiler.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28
a61af66fc99e Initial load
duke
parents:
diff changeset
29 volatile int C2Compiler::_runtimes = uninitialized;
a61af66fc99e Initial load
duke
parents:
diff changeset
30
a61af66fc99e Initial load
duke
parents:
diff changeset
31 // register information defined by ADLC
a61af66fc99e Initial load
duke
parents:
diff changeset
32 extern const char register_save_policy[];
a61af66fc99e Initial load
duke
parents:
diff changeset
33 extern const int register_save_type[];
a61af66fc99e Initial load
duke
parents:
diff changeset
34
a61af66fc99e Initial load
duke
parents:
diff changeset
35 const char* C2Compiler::retry_no_subsuming_loads() {
a61af66fc99e Initial load
duke
parents:
diff changeset
36 return "retry without subsuming loads";
a61af66fc99e Initial load
duke
parents:
diff changeset
37 }
38
b789bcaf2dd9 6667610: (Escape Analysis) retry compilation without EA if it fails
kvn
parents: 0
diff changeset
38 const char* C2Compiler::retry_no_escape_analysis() {
b789bcaf2dd9 6667610: (Escape Analysis) retry compilation without EA if it fails
kvn
parents: 0
diff changeset
39 return "retry without escape analysis";
b789bcaf2dd9 6667610: (Escape Analysis) retry compilation without EA if it fails
kvn
parents: 0
diff changeset
40 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
41 void C2Compiler::initialize_runtime() {
a61af66fc99e Initial load
duke
parents:
diff changeset
42
a61af66fc99e Initial load
duke
parents:
diff changeset
43 // Check assumptions used while running ADLC
a61af66fc99e Initial load
duke
parents:
diff changeset
44 Compile::adlc_verification();
a61af66fc99e Initial load
duke
parents:
diff changeset
45 assert(REG_COUNT <= ConcreteRegisterImpl::number_of_registers, "incompatible register counts");
a61af66fc99e Initial load
duke
parents:
diff changeset
46
a61af66fc99e Initial load
duke
parents:
diff changeset
47 for (int i = 0; i < ConcreteRegisterImpl::number_of_registers ; i++ ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
48 OptoReg::vm2opto[i] = OptoReg::Bad;
a61af66fc99e Initial load
duke
parents:
diff changeset
49 }
a61af66fc99e Initial load
duke
parents:
diff changeset
50
a61af66fc99e Initial load
duke
parents:
diff changeset
51 for( OptoReg::Name i=OptoReg::Name(0); i<OptoReg::Name(REG_COUNT); i = OptoReg::add(i,1) ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
52 VMReg r = OptoReg::as_VMReg(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
53 if (r->is_valid()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
54 OptoReg::vm2opto[r->value()] = i;
a61af66fc99e Initial load
duke
parents:
diff changeset
55 }
a61af66fc99e Initial load
duke
parents:
diff changeset
56 }
a61af66fc99e Initial load
duke
parents:
diff changeset
57
a61af66fc99e Initial load
duke
parents:
diff changeset
58 // Check that runtime and architecture description agree on callee-saved-floats
a61af66fc99e Initial load
duke
parents:
diff changeset
59 bool callee_saved_floats = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
60 for( OptoReg::Name i=OptoReg::Name(0); i<OptoReg::Name(_last_Mach_Reg); i = OptoReg::add(i,1) ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
61 // Is there a callee-saved float or double?
a61af66fc99e Initial load
duke
parents:
diff changeset
62 if( register_save_policy[i] == 'E' /* callee-saved */ &&
a61af66fc99e Initial load
duke
parents:
diff changeset
63 (register_save_type[i] == Op_RegF || register_save_type[i] == Op_RegD) ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
64 callee_saved_floats = true;
a61af66fc99e Initial load
duke
parents:
diff changeset
65 }
a61af66fc99e Initial load
duke
parents:
diff changeset
66 }
a61af66fc99e Initial load
duke
parents:
diff changeset
67
a61af66fc99e Initial load
duke
parents:
diff changeset
68 DEBUG_ONLY( Node::init_NodeProperty(); )
a61af66fc99e Initial load
duke
parents:
diff changeset
69
a61af66fc99e Initial load
duke
parents:
diff changeset
70 Compile::pd_compiler2_init();
a61af66fc99e Initial load
duke
parents:
diff changeset
71
a61af66fc99e Initial load
duke
parents:
diff changeset
72 CompilerThread* thread = CompilerThread::current();
a61af66fc99e Initial load
duke
parents:
diff changeset
73
a61af66fc99e Initial load
duke
parents:
diff changeset
74 HandleMark handle_mark(thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
75
a61af66fc99e Initial load
duke
parents:
diff changeset
76 OptoRuntime::generate(thread->env());
a61af66fc99e Initial load
duke
parents:
diff changeset
77
a61af66fc99e Initial load
duke
parents:
diff changeset
78 }
a61af66fc99e Initial load
duke
parents:
diff changeset
79
a61af66fc99e Initial load
duke
parents:
diff changeset
80
a61af66fc99e Initial load
duke
parents:
diff changeset
81 void C2Compiler::initialize() {
a61af66fc99e Initial load
duke
parents:
diff changeset
82
a61af66fc99e Initial load
duke
parents:
diff changeset
83 // This method can only be called once per C2Compiler object
a61af66fc99e Initial load
duke
parents:
diff changeset
84 // The first compiler thread that gets here will initialize the
a61af66fc99e Initial load
duke
parents:
diff changeset
85 // small amount of global state (and runtime stubs) that c2 needs.
a61af66fc99e Initial load
duke
parents:
diff changeset
86
a61af66fc99e Initial load
duke
parents:
diff changeset
87 // There is a race possible once at startup and then we're fine
a61af66fc99e Initial load
duke
parents:
diff changeset
88
a61af66fc99e Initial load
duke
parents:
diff changeset
89 // Note that this is being called from a compiler thread not the
a61af66fc99e Initial load
duke
parents:
diff changeset
90 // main startup thread.
a61af66fc99e Initial load
duke
parents:
diff changeset
91
a61af66fc99e Initial load
duke
parents:
diff changeset
92 if (_runtimes != initialized) {
a61af66fc99e Initial load
duke
parents:
diff changeset
93 initialize_runtimes( initialize_runtime, &_runtimes);
a61af66fc99e Initial load
duke
parents:
diff changeset
94 }
a61af66fc99e Initial load
duke
parents:
diff changeset
95
a61af66fc99e Initial load
duke
parents:
diff changeset
96 // Mark this compiler object as ready to roll
a61af66fc99e Initial load
duke
parents:
diff changeset
97 mark_initialized();
a61af66fc99e Initial load
duke
parents:
diff changeset
98 }
a61af66fc99e Initial load
duke
parents:
diff changeset
99
a61af66fc99e Initial load
duke
parents:
diff changeset
100 void C2Compiler::compile_method(ciEnv* env,
a61af66fc99e Initial load
duke
parents:
diff changeset
101 ciMethod* target,
a61af66fc99e Initial load
duke
parents:
diff changeset
102 int entry_bci) {
a61af66fc99e Initial load
duke
parents:
diff changeset
103 if (!is_initialized()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
104 initialize();
a61af66fc99e Initial load
duke
parents:
diff changeset
105 }
1685
0e35fa8ebccd 6973963: SEGV in ciBlock::start_bci() with EA
kvn
parents: 1552
diff changeset
106 bool subsume_loads = SubsumeLoads;
818
b109e761e927 6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents: 196
diff changeset
107 bool do_escape_analysis = DoEscapeAnalysis &&
1397
b4776199210f 6943485: JVMTI always on capabilities change code generation too much
never
parents: 844
diff changeset
108 !env->jvmti_can_access_local_variables();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
109 while (!env->failing()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
110 // Attempt to compile while subsuming loads into machine instructions.
38
b789bcaf2dd9 6667610: (Escape Analysis) retry compilation without EA if it fails
kvn
parents: 0
diff changeset
111 Compile C(env, this, target, entry_bci, subsume_loads, do_escape_analysis);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
112
1685
0e35fa8ebccd 6973963: SEGV in ciBlock::start_bci() with EA
kvn
parents: 1552
diff changeset
113
0
a61af66fc99e Initial load
duke
parents:
diff changeset
114 // Check result and retry if appropriate.
a61af66fc99e Initial load
duke
parents:
diff changeset
115 if (C.failure_reason() != NULL) {
38
b789bcaf2dd9 6667610: (Escape Analysis) retry compilation without EA if it fails
kvn
parents: 0
diff changeset
116 if (C.failure_reason_is(retry_no_subsuming_loads())) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
117 assert(subsume_loads, "must make progress");
a61af66fc99e Initial load
duke
parents:
diff changeset
118 subsume_loads = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
119 continue; // retry
a61af66fc99e Initial load
duke
parents:
diff changeset
120 }
38
b789bcaf2dd9 6667610: (Escape Analysis) retry compilation without EA if it fails
kvn
parents: 0
diff changeset
121 if (C.failure_reason_is(retry_no_escape_analysis())) {
b789bcaf2dd9 6667610: (Escape Analysis) retry compilation without EA if it fails
kvn
parents: 0
diff changeset
122 assert(do_escape_analysis, "must make progress");
b789bcaf2dd9 6667610: (Escape Analysis) retry compilation without EA if it fails
kvn
parents: 0
diff changeset
123 do_escape_analysis = false;
b789bcaf2dd9 6667610: (Escape Analysis) retry compilation without EA if it fails
kvn
parents: 0
diff changeset
124 continue; // retry
b789bcaf2dd9 6667610: (Escape Analysis) retry compilation without EA if it fails
kvn
parents: 0
diff changeset
125 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
126 // Pass any other failure reason up to the ciEnv.
a61af66fc99e Initial load
duke
parents:
diff changeset
127 // Note that serious, irreversible failures are already logged
a61af66fc99e Initial load
duke
parents:
diff changeset
128 // on the ciEnv via env->record_method_not_compilable().
a61af66fc99e Initial load
duke
parents:
diff changeset
129 env->record_failure(C.failure_reason());
a61af66fc99e Initial load
duke
parents:
diff changeset
130 }
1685
0e35fa8ebccd 6973963: SEGV in ciBlock::start_bci() with EA
kvn
parents: 1552
diff changeset
131 if (StressRecompilation) {
0e35fa8ebccd 6973963: SEGV in ciBlock::start_bci() with EA
kvn
parents: 1552
diff changeset
132 if (subsume_loads) {
0e35fa8ebccd 6973963: SEGV in ciBlock::start_bci() with EA
kvn
parents: 1552
diff changeset
133 subsume_loads = false;
0e35fa8ebccd 6973963: SEGV in ciBlock::start_bci() with EA
kvn
parents: 1552
diff changeset
134 continue; // retry
0e35fa8ebccd 6973963: SEGV in ciBlock::start_bci() with EA
kvn
parents: 1552
diff changeset
135 }
0e35fa8ebccd 6973963: SEGV in ciBlock::start_bci() with EA
kvn
parents: 1552
diff changeset
136 if (do_escape_analysis) {
0e35fa8ebccd 6973963: SEGV in ciBlock::start_bci() with EA
kvn
parents: 1552
diff changeset
137 do_escape_analysis = false;
0e35fa8ebccd 6973963: SEGV in ciBlock::start_bci() with EA
kvn
parents: 1552
diff changeset
138 continue; // retry
0e35fa8ebccd 6973963: SEGV in ciBlock::start_bci() with EA
kvn
parents: 1552
diff changeset
139 }
0e35fa8ebccd 6973963: SEGV in ciBlock::start_bci() with EA
kvn
parents: 1552
diff changeset
140 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
141
a61af66fc99e Initial load
duke
parents:
diff changeset
142 // No retry; just break the loop.
a61af66fc99e Initial load
duke
parents:
diff changeset
143 break;
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
a61af66fc99e Initial load
duke
parents:
diff changeset
148 void C2Compiler::print_timers() {
a61af66fc99e Initial load
duke
parents:
diff changeset
149 // do nothing
a61af66fc99e Initial load
duke
parents:
diff changeset
150 }