annotate src/share/vm/opto/regalloc.cpp @ 6972:bd7a7ce2e264

6830717: replay of compilations would help with debugging Summary: When java process crashed in compiler thread, repeat the compilation process will help finding root cause. This is done with using SA dump application class data and replay data from core dump, then use debug version of jvm to recompile the problematic java method. Reviewed-by: kvn, twisti, sspitsyn Contributed-by: yumin.qi@oracle.com
author minqi
date Mon, 12 Nov 2012 14:03:53 -0800
parents f95d63e2154a
children a7114d3d712e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
2 * Copyright (c) 2000, 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: 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
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
25 #include "precompiled.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
26 #include "opto/regalloc.hpp"
0
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28 static const int NodeRegsOverflowSize = 200;
a61af66fc99e Initial load
duke
parents:
diff changeset
29
a61af66fc99e Initial load
duke
parents:
diff changeset
30 void (*PhaseRegAlloc::_alloc_statistics[MAX_REG_ALLOCATORS])();
a61af66fc99e Initial load
duke
parents:
diff changeset
31 int PhaseRegAlloc::_num_allocators = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
32 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
33 int PhaseRegAlloc::_total_framesize = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
34 int PhaseRegAlloc::_max_framesize = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
35 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
36
a61af66fc99e Initial load
duke
parents:
diff changeset
37 PhaseRegAlloc::PhaseRegAlloc( uint unique, PhaseCFG &cfg,
a61af66fc99e Initial load
duke
parents:
diff changeset
38 Matcher &matcher,
a61af66fc99e Initial load
duke
parents:
diff changeset
39 void (*pr_stats)() ):
a61af66fc99e Initial load
duke
parents:
diff changeset
40 Phase(Register_Allocation), _cfg(cfg), _matcher(matcher),
a61af66fc99e Initial load
duke
parents:
diff changeset
41 _node_oops(Thread::current()->resource_area()),
a61af66fc99e Initial load
duke
parents:
diff changeset
42 _node_regs(0),
a61af66fc99e Initial load
duke
parents:
diff changeset
43 _framesize(0xdeadbeef)
a61af66fc99e Initial load
duke
parents:
diff changeset
44 {
a61af66fc99e Initial load
duke
parents:
diff changeset
45 int i;
a61af66fc99e Initial load
duke
parents:
diff changeset
46
a61af66fc99e Initial load
duke
parents:
diff changeset
47 for (i=0; i < _num_allocators; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
48 if (_alloc_statistics[i] == pr_stats)
a61af66fc99e Initial load
duke
parents:
diff changeset
49 return;
a61af66fc99e Initial load
duke
parents:
diff changeset
50 }
a61af66fc99e Initial load
duke
parents:
diff changeset
51 assert((_num_allocators + 1) < MAX_REG_ALLOCATORS, "too many register allocators");
a61af66fc99e Initial load
duke
parents:
diff changeset
52 _alloc_statistics[_num_allocators++] = pr_stats;
a61af66fc99e Initial load
duke
parents:
diff changeset
53 }
a61af66fc99e Initial load
duke
parents:
diff changeset
54
a61af66fc99e Initial load
duke
parents:
diff changeset
55
a61af66fc99e Initial load
duke
parents:
diff changeset
56 //------------------------------reg2offset-------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
57 int PhaseRegAlloc::reg2offset_unchecked( OptoReg::Name reg ) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
58 // Slots below _max_in_arg_stack_reg are offset by the entire frame.
a61af66fc99e Initial load
duke
parents:
diff changeset
59 // Slots above _max_in_arg_stack_reg are frame_slots and are not offset.
a61af66fc99e Initial load
duke
parents:
diff changeset
60 int slot = (reg < _matcher._new_SP)
a61af66fc99e Initial load
duke
parents:
diff changeset
61 ? reg - OptoReg::stack0() + _framesize
a61af66fc99e Initial load
duke
parents:
diff changeset
62 : reg - _matcher._new_SP;
a61af66fc99e Initial load
duke
parents:
diff changeset
63 // Note: We use the direct formula (reg - SharedInfo::stack0) instead of
a61af66fc99e Initial load
duke
parents:
diff changeset
64 // OptoReg::reg2stack(reg), in order to avoid asserts in the latter
a61af66fc99e Initial load
duke
parents:
diff changeset
65 // function. This routine must remain unchecked, so that dump_frame()
a61af66fc99e Initial load
duke
parents:
diff changeset
66 // can do its work undisturbed.
a61af66fc99e Initial load
duke
parents:
diff changeset
67 // %%% not really clear why reg2stack would assert here
a61af66fc99e Initial load
duke
parents:
diff changeset
68
a61af66fc99e Initial load
duke
parents:
diff changeset
69 return slot*VMRegImpl::stack_slot_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
70 }
a61af66fc99e Initial load
duke
parents:
diff changeset
71
a61af66fc99e Initial load
duke
parents:
diff changeset
72 int PhaseRegAlloc::reg2offset( OptoReg::Name reg ) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
73
a61af66fc99e Initial load
duke
parents:
diff changeset
74 // Not allowed in the out-preserve area.
a61af66fc99e Initial load
duke
parents:
diff changeset
75 // In-preserve area is allowed so Intel can fetch the return pc out.
a61af66fc99e Initial load
duke
parents:
diff changeset
76 assert( reg < _matcher._old_SP ||
a61af66fc99e Initial load
duke
parents:
diff changeset
77 (reg >= OptoReg::add(_matcher._old_SP,C->out_preserve_stack_slots()) &&
a61af66fc99e Initial load
duke
parents:
diff changeset
78 reg < _matcher._in_arg_limit) ||
a61af66fc99e Initial load
duke
parents:
diff changeset
79 reg >= OptoReg::add(_matcher._new_SP,C->out_preserve_stack_slots()),
a61af66fc99e Initial load
duke
parents:
diff changeset
80 "register allocated in a preserve area" );
a61af66fc99e Initial load
duke
parents:
diff changeset
81 return reg2offset_unchecked( reg );
a61af66fc99e Initial load
duke
parents:
diff changeset
82 }
a61af66fc99e Initial load
duke
parents:
diff changeset
83
a61af66fc99e Initial load
duke
parents:
diff changeset
84 //------------------------------offset2reg-------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
85 OptoReg::Name PhaseRegAlloc::offset2reg(int stk_offset) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
86 int slot = stk_offset / jintSize;
a61af66fc99e Initial load
duke
parents:
diff changeset
87 int reg = (slot < (int) _framesize)
a61af66fc99e Initial load
duke
parents:
diff changeset
88 ? slot + _matcher._new_SP
a61af66fc99e Initial load
duke
parents:
diff changeset
89 : OptoReg::stack2reg(slot) - _framesize;
a61af66fc99e Initial load
duke
parents:
diff changeset
90 assert(stk_offset == reg2offset((OptoReg::Name) reg),
a61af66fc99e Initial load
duke
parents:
diff changeset
91 "offset2reg does not invert properly");
a61af66fc99e Initial load
duke
parents:
diff changeset
92 return (OptoReg::Name) reg;
a61af66fc99e Initial load
duke
parents:
diff changeset
93 }
a61af66fc99e Initial load
duke
parents:
diff changeset
94
a61af66fc99e Initial load
duke
parents:
diff changeset
95 //------------------------------set_oop----------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
96 void PhaseRegAlloc::set_oop( const Node *n, bool is_an_oop ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
97 if( is_an_oop ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
98 _node_oops.set(n->_idx);
a61af66fc99e Initial load
duke
parents:
diff changeset
99 }
a61af66fc99e Initial load
duke
parents:
diff changeset
100 }
a61af66fc99e Initial load
duke
parents:
diff changeset
101
a61af66fc99e Initial load
duke
parents:
diff changeset
102 //------------------------------is_oop-----------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
103 bool PhaseRegAlloc::is_oop( const Node *n ) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
104 return _node_oops.test(n->_idx) != 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
105 }
a61af66fc99e Initial load
duke
parents:
diff changeset
106
a61af66fc99e Initial load
duke
parents:
diff changeset
107 // Allocate _node_regs table with at least "size" elements
a61af66fc99e Initial load
duke
parents:
diff changeset
108 void PhaseRegAlloc::alloc_node_regs(int size) {
a61af66fc99e Initial load
duke
parents:
diff changeset
109 _node_regs_max_index = size + (size >> 1) + NodeRegsOverflowSize;
a61af66fc99e Initial load
duke
parents:
diff changeset
110 _node_regs = NEW_RESOURCE_ARRAY( OptoRegPair, _node_regs_max_index );
a61af66fc99e Initial load
duke
parents:
diff changeset
111 // We assume our caller will fill in all elements up to size-1, so
a61af66fc99e Initial load
duke
parents:
diff changeset
112 // only the extra space we allocate is initialized here.
a61af66fc99e Initial load
duke
parents:
diff changeset
113 for( uint i = size; i < _node_regs_max_index; ++i )
a61af66fc99e Initial load
duke
parents:
diff changeset
114 _node_regs[i].set_bad();
a61af66fc99e Initial load
duke
parents:
diff changeset
115 }
a61af66fc99e Initial load
duke
parents:
diff changeset
116
a61af66fc99e Initial load
duke
parents:
diff changeset
117 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
118 void
a61af66fc99e Initial load
duke
parents:
diff changeset
119 PhaseRegAlloc::print_statistics() {
a61af66fc99e Initial load
duke
parents:
diff changeset
120 tty->print_cr("Total frameslots = %d, Max frameslots = %d", _total_framesize, _max_framesize);
a61af66fc99e Initial load
duke
parents:
diff changeset
121 int i;
a61af66fc99e Initial load
duke
parents:
diff changeset
122
a61af66fc99e Initial load
duke
parents:
diff changeset
123 for (i=0; i < _num_allocators; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
124 _alloc_statistics[i]();
a61af66fc99e Initial load
duke
parents:
diff changeset
125 }
a61af66fc99e Initial load
duke
parents:
diff changeset
126 }
a61af66fc99e Initial load
duke
parents:
diff changeset
127 #endif