annotate src/share/vm/opto/regalloc.hpp @ 4710:41406797186b

7113012: G1: rename not-fully-young GCs as "mixed" Summary: Renamed partially-young GCs as mixed and fully-young GCs as young. Change all external output that includes those terms (GC log and GC ergo log) as well as any comments, fields, methods, etc. The changeset also includes very minor code tidying up (added some curly brackets). Reviewed-by: johnc, brutisso
author tonyp
date Fri, 16 Dec 2011 02:14:27 -0500
parents f6f3bb0ee072
children 8373c19be854
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
3939
f6f3bb0ee072 7088955: add C2 IR support to the SA
never
parents: 1972
diff changeset
2 * Copyright (c) 2000, 2011, 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 #ifndef SHARE_VM_OPTO_REGALLOC_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
26 #define SHARE_VM_OPTO_REGALLOC_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
27
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
28 #include "code/vmreg.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
29 #include "opto/block.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
30 #include "opto/matcher.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
31 #include "opto/phase.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
32
0
a61af66fc99e Initial load
duke
parents:
diff changeset
33 class Node;
a61af66fc99e Initial load
duke
parents:
diff changeset
34 class Matcher;
a61af66fc99e Initial load
duke
parents:
diff changeset
35 class PhaseCFG;
a61af66fc99e Initial load
duke
parents:
diff changeset
36
a61af66fc99e Initial load
duke
parents:
diff changeset
37 #define MAX_REG_ALLOCATORS 10
a61af66fc99e Initial load
duke
parents:
diff changeset
38
a61af66fc99e Initial load
duke
parents:
diff changeset
39 //------------------------------PhaseRegAlloc------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
40 // Abstract register allocator
a61af66fc99e Initial load
duke
parents:
diff changeset
41 class PhaseRegAlloc : public Phase {
3939
f6f3bb0ee072 7088955: add C2 IR support to the SA
never
parents: 1972
diff changeset
42 friend class VMStructs;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
43 static void (*_alloc_statistics[MAX_REG_ALLOCATORS])();
a61af66fc99e Initial load
duke
parents:
diff changeset
44 static int _num_allocators;
a61af66fc99e Initial load
duke
parents:
diff changeset
45
a61af66fc99e Initial load
duke
parents:
diff changeset
46 protected:
a61af66fc99e Initial load
duke
parents:
diff changeset
47 OptoRegPair *_node_regs;
a61af66fc99e Initial load
duke
parents:
diff changeset
48 uint _node_regs_max_index;
a61af66fc99e Initial load
duke
parents:
diff changeset
49 VectorSet _node_oops; // Mapping from node indices to oopiness
a61af66fc99e Initial load
duke
parents:
diff changeset
50
a61af66fc99e Initial load
duke
parents:
diff changeset
51 void alloc_node_regs(int size); // allocate _node_regs table with at least "size" elements
a61af66fc99e Initial load
duke
parents:
diff changeset
52
a61af66fc99e Initial load
duke
parents:
diff changeset
53 PhaseRegAlloc( uint unique, PhaseCFG &cfg, Matcher &matcher,
a61af66fc99e Initial load
duke
parents:
diff changeset
54 void (*pr_stats)());
a61af66fc99e Initial load
duke
parents:
diff changeset
55 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
56 PhaseCFG &_cfg; // Control flow graph
a61af66fc99e Initial load
duke
parents:
diff changeset
57 uint _framesize; // Size of frame in stack-slots. not counting preserve area
a61af66fc99e Initial load
duke
parents:
diff changeset
58 OptoReg::Name _max_reg; // Past largest register seen
a61af66fc99e Initial load
duke
parents:
diff changeset
59 Matcher &_matcher; // Convert Ideal to MachNodes
a61af66fc99e Initial load
duke
parents:
diff changeset
60 uint node_regs_max_index() const { return _node_regs_max_index; }
a61af66fc99e Initial load
duke
parents:
diff changeset
61
a61af66fc99e Initial load
duke
parents:
diff changeset
62 // Get the register associated with the Node
a61af66fc99e Initial load
duke
parents:
diff changeset
63 OptoReg::Name get_reg_first( const Node *n ) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
64 debug_only( if( n->_idx >= _node_regs_max_index ) n->dump(); );
a61af66fc99e Initial load
duke
parents:
diff changeset
65 assert( n->_idx < _node_regs_max_index, "Exceeded _node_regs array");
a61af66fc99e Initial load
duke
parents:
diff changeset
66 return _node_regs[n->_idx].first();
a61af66fc99e Initial load
duke
parents:
diff changeset
67 }
a61af66fc99e Initial load
duke
parents:
diff changeset
68 OptoReg::Name get_reg_second( const Node *n ) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
69 debug_only( if( n->_idx >= _node_regs_max_index ) n->dump(); );
a61af66fc99e Initial load
duke
parents:
diff changeset
70 assert( n->_idx < _node_regs_max_index, "Exceeded _node_regs array");
a61af66fc99e Initial load
duke
parents:
diff changeset
71 return _node_regs[n->_idx].second();
a61af66fc99e Initial load
duke
parents:
diff changeset
72 }
a61af66fc99e Initial load
duke
parents:
diff changeset
73
a61af66fc99e Initial load
duke
parents:
diff changeset
74 // Do all the real work of allocate
a61af66fc99e Initial load
duke
parents:
diff changeset
75 virtual void Register_Allocate() = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
76
a61af66fc99e Initial load
duke
parents:
diff changeset
77
a61af66fc99e Initial load
duke
parents:
diff changeset
78 // notify the register allocator that "node" is a new reference
a61af66fc99e Initial load
duke
parents:
diff changeset
79 // to the value produced by "old_node"
a61af66fc99e Initial load
duke
parents:
diff changeset
80 virtual void add_reference( const Node *node, const Node *old_node) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
81
a61af66fc99e Initial load
duke
parents:
diff changeset
82
a61af66fc99e Initial load
duke
parents:
diff changeset
83 // Set the register associated with a new Node
a61af66fc99e Initial load
duke
parents:
diff changeset
84 void set_bad( uint idx ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
85 assert( idx < _node_regs_max_index, "Exceeded _node_regs array");
a61af66fc99e Initial load
duke
parents:
diff changeset
86 _node_regs[idx].set_bad();
a61af66fc99e Initial load
duke
parents:
diff changeset
87 }
a61af66fc99e Initial load
duke
parents:
diff changeset
88 void set1( uint idx, OptoReg::Name reg ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
89 assert( idx < _node_regs_max_index, "Exceeded _node_regs array");
a61af66fc99e Initial load
duke
parents:
diff changeset
90 _node_regs[idx].set1(reg);
a61af66fc99e Initial load
duke
parents:
diff changeset
91 }
a61af66fc99e Initial load
duke
parents:
diff changeset
92 void set2( uint idx, OptoReg::Name reg ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
93 assert( idx < _node_regs_max_index, "Exceeded _node_regs array");
a61af66fc99e Initial load
duke
parents:
diff changeset
94 _node_regs[idx].set2(reg);
a61af66fc99e Initial load
duke
parents:
diff changeset
95 }
a61af66fc99e Initial load
duke
parents:
diff changeset
96 void set_pair( uint idx, OptoReg::Name hi, OptoReg::Name lo ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
97 assert( idx < _node_regs_max_index, "Exceeded _node_regs array");
a61af66fc99e Initial load
duke
parents:
diff changeset
98 _node_regs[idx].set_pair(hi, lo);
a61af66fc99e Initial load
duke
parents:
diff changeset
99 }
a61af66fc99e Initial load
duke
parents:
diff changeset
100 void set_ptr( uint idx, OptoReg::Name reg ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
101 assert( idx < _node_regs_max_index, "Exceeded _node_regs array");
a61af66fc99e Initial load
duke
parents:
diff changeset
102 _node_regs[idx].set_ptr(reg);
a61af66fc99e Initial load
duke
parents:
diff changeset
103 }
a61af66fc99e Initial load
duke
parents:
diff changeset
104 // Set and query if a node produces an oop
a61af66fc99e Initial load
duke
parents:
diff changeset
105 void set_oop( const Node *n, bool );
a61af66fc99e Initial load
duke
parents:
diff changeset
106 bool is_oop( const Node *n ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
107
a61af66fc99e Initial load
duke
parents:
diff changeset
108 // Convert a register number to a stack offset
a61af66fc99e Initial load
duke
parents:
diff changeset
109 int reg2offset ( OptoReg::Name reg ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
110 int reg2offset_unchecked( OptoReg::Name reg ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
111
a61af66fc99e Initial load
duke
parents:
diff changeset
112 // Convert a stack offset to a register number
a61af66fc99e Initial load
duke
parents:
diff changeset
113 OptoReg::Name offset2reg( int stk_offset ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
114
a61af66fc99e Initial load
duke
parents:
diff changeset
115 // Get the register encoding associated with the Node
a61af66fc99e Initial load
duke
parents:
diff changeset
116 int get_encode( const Node *n ) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
117 assert( n->_idx < _node_regs_max_index, "Exceeded _node_regs array");
a61af66fc99e Initial load
duke
parents:
diff changeset
118 OptoReg::Name first = _node_regs[n->_idx].first();
a61af66fc99e Initial load
duke
parents:
diff changeset
119 OptoReg::Name second = _node_regs[n->_idx].second();
a61af66fc99e Initial load
duke
parents:
diff changeset
120 assert( !OptoReg::is_valid(second) || second == first+1, "" );
a61af66fc99e Initial load
duke
parents:
diff changeset
121 assert(OptoReg::is_reg(first), "out of range");
a61af66fc99e Initial load
duke
parents:
diff changeset
122 return Matcher::_regEncode[first];
a61af66fc99e Initial load
duke
parents:
diff changeset
123 }
a61af66fc99e Initial load
duke
parents:
diff changeset
124
a61af66fc99e Initial load
duke
parents:
diff changeset
125 // Platform dependent hook for actions prior to allocation
a61af66fc99e Initial load
duke
parents:
diff changeset
126 void pd_preallocate_hook();
a61af66fc99e Initial load
duke
parents:
diff changeset
127
a61af66fc99e Initial load
duke
parents:
diff changeset
128 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
129 // Platform dependent hook for verification after allocation. Will
a61af66fc99e Initial load
duke
parents:
diff changeset
130 // only get called when compiling with asserts.
a61af66fc99e Initial load
duke
parents:
diff changeset
131 void pd_postallocate_verify_hook();
a61af66fc99e Initial load
duke
parents:
diff changeset
132 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
133
a61af66fc99e Initial load
duke
parents:
diff changeset
134 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
135 static int _total_framesize;
a61af66fc99e Initial load
duke
parents:
diff changeset
136 static int _max_framesize;
a61af66fc99e Initial load
duke
parents:
diff changeset
137
a61af66fc99e Initial load
duke
parents:
diff changeset
138 virtual void dump_frame() const = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
139 virtual char *dump_register( const Node *n, char *buf ) const = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
140 static void print_statistics();
a61af66fc99e Initial load
duke
parents:
diff changeset
141 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
142 };
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
143
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
144 #endif // SHARE_VM_OPTO_REGALLOC_HPP