Mercurial > hg > graal-compiler
annotate src/share/vm/opto/regalloc.hpp @ 8499:96a337d307bd
-More progress in G1 WBs
author | Christos Kotselidis <christos.kotselidis@oracle.com> |
---|---|
date | Mon, 04 Mar 2013 16:46:37 +0100 |
parents | f6f3bb0ee072 |
children | 8373c19be854 |
rev | line source |
---|---|
0 | 1 /* |
3939 | 2 * Copyright (c) 2000, 2011, Oracle and/or its affiliates. All rights reserved. |
0 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * | |
5 * This code is free software; you can redistribute it and/or modify it | |
6 * under the terms of the GNU General Public License version 2 only, as | |
7 * published by the Free Software Foundation. | |
8 * | |
9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 * version 2 for more details (a copy is included in the LICENSE file that | |
13 * accompanied this code). | |
14 * | |
15 * You should have received a copy of the GNU General Public License version | |
16 * 2 along with this work; if not, write to the Free Software Foundation, | |
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
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 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_OPTO_REGALLOC_HPP |
26 #define SHARE_VM_OPTO_REGALLOC_HPP | |
27 | |
28 #include "code/vmreg.hpp" | |
29 #include "opto/block.hpp" | |
30 #include "opto/matcher.hpp" | |
31 #include "opto/phase.hpp" | |
32 | |
0 | 33 class Node; |
34 class Matcher; | |
35 class PhaseCFG; | |
36 | |
37 #define MAX_REG_ALLOCATORS 10 | |
38 | |
39 //------------------------------PhaseRegAlloc------------------------------------ | |
40 // Abstract register allocator | |
41 class PhaseRegAlloc : public Phase { | |
3939 | 42 friend class VMStructs; |
0 | 43 static void (*_alloc_statistics[MAX_REG_ALLOCATORS])(); |
44 static int _num_allocators; | |
45 | |
46 protected: | |
47 OptoRegPair *_node_regs; | |
48 uint _node_regs_max_index; | |
49 VectorSet _node_oops; // Mapping from node indices to oopiness | |
50 | |
51 void alloc_node_regs(int size); // allocate _node_regs table with at least "size" elements | |
52 | |
53 PhaseRegAlloc( uint unique, PhaseCFG &cfg, Matcher &matcher, | |
54 void (*pr_stats)()); | |
55 public: | |
56 PhaseCFG &_cfg; // Control flow graph | |
57 uint _framesize; // Size of frame in stack-slots. not counting preserve area | |
58 OptoReg::Name _max_reg; // Past largest register seen | |
59 Matcher &_matcher; // Convert Ideal to MachNodes | |
60 uint node_regs_max_index() const { return _node_regs_max_index; } | |
61 | |
62 // Get the register associated with the Node | |
63 OptoReg::Name get_reg_first( const Node *n ) const { | |
64 debug_only( if( n->_idx >= _node_regs_max_index ) n->dump(); ); | |
65 assert( n->_idx < _node_regs_max_index, "Exceeded _node_regs array"); | |
66 return _node_regs[n->_idx].first(); | |
67 } | |
68 OptoReg::Name get_reg_second( const Node *n ) const { | |
69 debug_only( if( n->_idx >= _node_regs_max_index ) n->dump(); ); | |
70 assert( n->_idx < _node_regs_max_index, "Exceeded _node_regs array"); | |
71 return _node_regs[n->_idx].second(); | |
72 } | |
73 | |
74 // Do all the real work of allocate | |
75 virtual void Register_Allocate() = 0; | |
76 | |
77 | |
78 // notify the register allocator that "node" is a new reference | |
79 // to the value produced by "old_node" | |
80 virtual void add_reference( const Node *node, const Node *old_node) = 0; | |
81 | |
82 | |
83 // Set the register associated with a new Node | |
84 void set_bad( uint idx ) { | |
85 assert( idx < _node_regs_max_index, "Exceeded _node_regs array"); | |
86 _node_regs[idx].set_bad(); | |
87 } | |
88 void set1( uint idx, OptoReg::Name reg ) { | |
89 assert( idx < _node_regs_max_index, "Exceeded _node_regs array"); | |
90 _node_regs[idx].set1(reg); | |
91 } | |
92 void set2( uint idx, OptoReg::Name reg ) { | |
93 assert( idx < _node_regs_max_index, "Exceeded _node_regs array"); | |
94 _node_regs[idx].set2(reg); | |
95 } | |
96 void set_pair( uint idx, OptoReg::Name hi, OptoReg::Name lo ) { | |
97 assert( idx < _node_regs_max_index, "Exceeded _node_regs array"); | |
98 _node_regs[idx].set_pair(hi, lo); | |
99 } | |
100 void set_ptr( uint idx, OptoReg::Name reg ) { | |
101 assert( idx < _node_regs_max_index, "Exceeded _node_regs array"); | |
102 _node_regs[idx].set_ptr(reg); | |
103 } | |
104 // Set and query if a node produces an oop | |
105 void set_oop( const Node *n, bool ); | |
106 bool is_oop( const Node *n ) const; | |
107 | |
108 // Convert a register number to a stack offset | |
109 int reg2offset ( OptoReg::Name reg ) const; | |
110 int reg2offset_unchecked( OptoReg::Name reg ) const; | |
111 | |
112 // Convert a stack offset to a register number | |
113 OptoReg::Name offset2reg( int stk_offset ) const; | |
114 | |
115 // Get the register encoding associated with the Node | |
116 int get_encode( const Node *n ) const { | |
117 assert( n->_idx < _node_regs_max_index, "Exceeded _node_regs array"); | |
118 OptoReg::Name first = _node_regs[n->_idx].first(); | |
119 OptoReg::Name second = _node_regs[n->_idx].second(); | |
120 assert( !OptoReg::is_valid(second) || second == first+1, "" ); | |
121 assert(OptoReg::is_reg(first), "out of range"); | |
122 return Matcher::_regEncode[first]; | |
123 } | |
124 | |
125 // Platform dependent hook for actions prior to allocation | |
126 void pd_preallocate_hook(); | |
127 | |
128 #ifdef ASSERT | |
129 // Platform dependent hook for verification after allocation. Will | |
130 // only get called when compiling with asserts. | |
131 void pd_postallocate_verify_hook(); | |
132 #endif | |
133 | |
134 #ifndef PRODUCT | |
135 static int _total_framesize; | |
136 static int _max_framesize; | |
137 | |
138 virtual void dump_frame() const = 0; | |
139 virtual char *dump_register( const Node *n, char *buf ) const = 0; | |
140 static void print_statistics(); | |
141 #endif | |
142 }; | |
1972 | 143 |
144 #endif // SHARE_VM_OPTO_REGALLOC_HPP |