annotate src/share/vm/opto/connode.hpp @ 1994:6cd6d394f280

7001033: assert(gch->gc_cause() == GCCause::_scavenge_alot || !gch->incremental_collection_failed()) 7002546: regression on SpecJbb2005 on 7b118 comparing to 7b117 on small heaps Summary: Relaxed assertion checking related to incremental_collection_failed flag to allow for ExplicitGCInvokesConcurrent behaviour where we do not want a failing scavenge to bail to a stop-world collection. Parameterized incremental_collection_will_fail() so we can selectively use, or not use, as appropriate, the statistical prediction at specific use sites. This essentially reverts the scavenge bail-out logic to what it was prior to some recent changes that had inadvertently started using the statistical prediction which can be noisy in the presence of bursty loads. Added some associated verbose non-product debugging messages. Reviewed-by: johnc, tonyp
author ysr
date Tue, 07 Dec 2010 21:55:53 -0800
parents f95d63e2154a
children c124e2e7463e
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) 1997, 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: 775
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 775
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: 775
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_CONNODE_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
26 #define SHARE_VM_OPTO_CONNODE_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 "opto/node.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
29 #include "opto/opcodes.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
30 #include "opto/type.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
31
0
a61af66fc99e Initial load
duke
parents:
diff changeset
32 class PhaseTransform;
a61af66fc99e Initial load
duke
parents:
diff changeset
33 class MachNode;
a61af66fc99e Initial load
duke
parents:
diff changeset
34
a61af66fc99e Initial load
duke
parents:
diff changeset
35 //------------------------------ConNode----------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
36 // Simple constants
a61af66fc99e Initial load
duke
parents:
diff changeset
37 class ConNode : public TypeNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
38 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
39 ConNode( const Type *t ) : TypeNode(t,1) {
a61af66fc99e Initial load
duke
parents:
diff changeset
40 init_req(0, (Node*)Compile::current()->root());
a61af66fc99e Initial load
duke
parents:
diff changeset
41 init_flags(Flag_is_Con);
a61af66fc99e Initial load
duke
parents:
diff changeset
42 }
a61af66fc99e Initial load
duke
parents:
diff changeset
43 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
44 virtual uint hash() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
45 virtual const RegMask &out_RegMask() const { return RegMask::Empty; }
a61af66fc99e Initial load
duke
parents:
diff changeset
46 virtual const RegMask &in_RegMask(uint) const { return RegMask::Empty; }
a61af66fc99e Initial load
duke
parents:
diff changeset
47
a61af66fc99e Initial load
duke
parents:
diff changeset
48 // Polymorphic factory method:
a61af66fc99e Initial load
duke
parents:
diff changeset
49 static ConNode* make( Compile* C, const Type *t );
a61af66fc99e Initial load
duke
parents:
diff changeset
50 };
a61af66fc99e Initial load
duke
parents:
diff changeset
51
a61af66fc99e Initial load
duke
parents:
diff changeset
52 //------------------------------ConINode---------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
53 // Simple integer constants
a61af66fc99e Initial load
duke
parents:
diff changeset
54 class ConINode : public ConNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
55 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
56 ConINode( const TypeInt *t ) : ConNode(t) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
57 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
58
a61af66fc99e Initial load
duke
parents:
diff changeset
59 // Factory method:
a61af66fc99e Initial load
duke
parents:
diff changeset
60 static ConINode* make( Compile* C, int con ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
61 return new (C, 1) ConINode( TypeInt::make(con) );
a61af66fc99e Initial load
duke
parents:
diff changeset
62 }
a61af66fc99e Initial load
duke
parents:
diff changeset
63
a61af66fc99e Initial load
duke
parents:
diff changeset
64 };
a61af66fc99e Initial load
duke
parents:
diff changeset
65
a61af66fc99e Initial load
duke
parents:
diff changeset
66 //------------------------------ConPNode---------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
67 // Simple pointer constants
a61af66fc99e Initial load
duke
parents:
diff changeset
68 class ConPNode : public ConNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
69 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
70 ConPNode( const TypePtr *t ) : ConNode(t) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
71 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
72
a61af66fc99e Initial load
duke
parents:
diff changeset
73 // Factory methods:
a61af66fc99e Initial load
duke
parents:
diff changeset
74 static ConPNode* make( Compile *C ,address con ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
75 if (con == NULL)
a61af66fc99e Initial load
duke
parents:
diff changeset
76 return new (C, 1) ConPNode( TypePtr::NULL_PTR ) ;
a61af66fc99e Initial load
duke
parents:
diff changeset
77 else
a61af66fc99e Initial load
duke
parents:
diff changeset
78 return new (C, 1) ConPNode( TypeRawPtr::make(con) );
a61af66fc99e Initial load
duke
parents:
diff changeset
79 }
a61af66fc99e Initial load
duke
parents:
diff changeset
80 };
a61af66fc99e Initial load
duke
parents:
diff changeset
81
a61af66fc99e Initial load
duke
parents:
diff changeset
82
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
83 //------------------------------ConNNode--------------------------------------
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
84 // Simple narrow oop constants
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
85 class ConNNode : public ConNode {
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
86 public:
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
87 ConNNode( const TypeNarrowOop *t ) : ConNode(t) {}
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
88 virtual int Opcode() const;
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
89 };
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
90
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
91
0
a61af66fc99e Initial load
duke
parents:
diff changeset
92 //------------------------------ConLNode---------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
93 // Simple long constants
a61af66fc99e Initial load
duke
parents:
diff changeset
94 class ConLNode : public ConNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
95 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
96 ConLNode( const TypeLong *t ) : ConNode(t) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
97 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
98
a61af66fc99e Initial load
duke
parents:
diff changeset
99 // Factory method:
a61af66fc99e Initial load
duke
parents:
diff changeset
100 static ConLNode* make( Compile *C ,jlong con ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
101 return new (C, 1) ConLNode( TypeLong::make(con) );
a61af66fc99e Initial load
duke
parents:
diff changeset
102 }
a61af66fc99e Initial load
duke
parents:
diff changeset
103
a61af66fc99e Initial load
duke
parents:
diff changeset
104 };
a61af66fc99e Initial load
duke
parents:
diff changeset
105
a61af66fc99e Initial load
duke
parents:
diff changeset
106 //------------------------------ConFNode---------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
107 // Simple float constants
a61af66fc99e Initial load
duke
parents:
diff changeset
108 class ConFNode : public ConNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
109 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
110 ConFNode( const TypeF *t ) : ConNode(t) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
111 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
112
a61af66fc99e Initial load
duke
parents:
diff changeset
113 // Factory method:
a61af66fc99e Initial load
duke
parents:
diff changeset
114 static ConFNode* make( Compile *C, float con ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
115 return new (C, 1) ConFNode( TypeF::make(con) );
a61af66fc99e Initial load
duke
parents:
diff changeset
116 }
a61af66fc99e Initial load
duke
parents:
diff changeset
117
a61af66fc99e Initial load
duke
parents:
diff changeset
118 };
a61af66fc99e Initial load
duke
parents:
diff changeset
119
a61af66fc99e Initial load
duke
parents:
diff changeset
120 //------------------------------ConDNode---------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
121 // Simple double constants
a61af66fc99e Initial load
duke
parents:
diff changeset
122 class ConDNode : public ConNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
123 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
124 ConDNode( const TypeD *t ) : ConNode(t) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
125 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
126
a61af66fc99e Initial load
duke
parents:
diff changeset
127 // Factory method:
a61af66fc99e Initial load
duke
parents:
diff changeset
128 static ConDNode* make( Compile *C, double con ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
129 return new (C, 1) ConDNode( TypeD::make(con) );
a61af66fc99e Initial load
duke
parents:
diff changeset
130 }
a61af66fc99e Initial load
duke
parents:
diff changeset
131
a61af66fc99e Initial load
duke
parents:
diff changeset
132 };
a61af66fc99e Initial load
duke
parents:
diff changeset
133
a61af66fc99e Initial load
duke
parents:
diff changeset
134 //------------------------------BinaryNode-------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
135 // Place holder for the 2 conditional inputs to a CMove. CMove needs 4
a61af66fc99e Initial load
duke
parents:
diff changeset
136 // inputs: the Bool (for the lt/gt/eq/ne bits), the flags (result of some
a61af66fc99e Initial load
duke
parents:
diff changeset
137 // compare), and the 2 values to select between. The Matcher requires a
a61af66fc99e Initial load
duke
parents:
diff changeset
138 // binary tree so we break it down like this:
a61af66fc99e Initial load
duke
parents:
diff changeset
139 // (CMove (Binary bol cmp) (Binary src1 src2))
a61af66fc99e Initial load
duke
parents:
diff changeset
140 class BinaryNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
141 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
142 BinaryNode( Node *n1, Node *n2 ) : Node(0,n1,n2) { }
a61af66fc99e Initial load
duke
parents:
diff changeset
143 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
144 virtual uint ideal_reg() const { return 0; }
a61af66fc99e Initial load
duke
parents:
diff changeset
145 };
a61af66fc99e Initial load
duke
parents:
diff changeset
146
a61af66fc99e Initial load
duke
parents:
diff changeset
147 //------------------------------CMoveNode--------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
148 // Conditional move
a61af66fc99e Initial load
duke
parents:
diff changeset
149 class CMoveNode : public TypeNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
150 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
151 enum { Control, // When is it safe to do this cmove?
a61af66fc99e Initial load
duke
parents:
diff changeset
152 Condition, // Condition controlling the cmove
a61af66fc99e Initial load
duke
parents:
diff changeset
153 IfFalse, // Value if condition is false
a61af66fc99e Initial load
duke
parents:
diff changeset
154 IfTrue }; // Value if condition is true
a61af66fc99e Initial load
duke
parents:
diff changeset
155 CMoveNode( Node *bol, Node *left, Node *right, const Type *t ) : TypeNode(t,4)
a61af66fc99e Initial load
duke
parents:
diff changeset
156 {
a61af66fc99e Initial load
duke
parents:
diff changeset
157 init_class_id(Class_CMove);
a61af66fc99e Initial load
duke
parents:
diff changeset
158 // all inputs are nullified in Node::Node(int)
a61af66fc99e Initial load
duke
parents:
diff changeset
159 // init_req(Control,NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
160 init_req(Condition,bol);
a61af66fc99e Initial load
duke
parents:
diff changeset
161 init_req(IfFalse,left);
a61af66fc99e Initial load
duke
parents:
diff changeset
162 init_req(IfTrue,right);
a61af66fc99e Initial load
duke
parents:
diff changeset
163 }
a61af66fc99e Initial load
duke
parents:
diff changeset
164 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
a61af66fc99e Initial load
duke
parents:
diff changeset
165 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
166 virtual Node *Identity( PhaseTransform *phase );
a61af66fc99e Initial load
duke
parents:
diff changeset
167 static CMoveNode *make( Compile *C, Node *c, Node *bol, Node *left, Node *right, const Type *t );
a61af66fc99e Initial load
duke
parents:
diff changeset
168 // Helper function to spot cmove graph shapes
a61af66fc99e Initial load
duke
parents:
diff changeset
169 static Node *is_cmove_id( PhaseTransform *phase, Node *cmp, Node *t, Node *f, BoolNode *b );
a61af66fc99e Initial load
duke
parents:
diff changeset
170 };
a61af66fc99e Initial load
duke
parents:
diff changeset
171
a61af66fc99e Initial load
duke
parents:
diff changeset
172 //------------------------------CMoveDNode-------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
173 class CMoveDNode : public CMoveNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
174 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
175 CMoveDNode( Node *bol, Node *left, Node *right, const Type* t) : CMoveNode(bol,left,right,t){}
a61af66fc99e Initial load
duke
parents:
diff changeset
176 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
177 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
a61af66fc99e Initial load
duke
parents:
diff changeset
178 };
a61af66fc99e Initial load
duke
parents:
diff changeset
179
a61af66fc99e Initial load
duke
parents:
diff changeset
180 //------------------------------CMoveFNode-------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
181 class CMoveFNode : public CMoveNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
182 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
183 CMoveFNode( Node *bol, Node *left, Node *right, const Type* t ) : CMoveNode(bol,left,right,t) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
184 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
185 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
a61af66fc99e Initial load
duke
parents:
diff changeset
186 };
a61af66fc99e Initial load
duke
parents:
diff changeset
187
a61af66fc99e Initial load
duke
parents:
diff changeset
188 //------------------------------CMoveINode-------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
189 class CMoveINode : public CMoveNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
190 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
191 CMoveINode( Node *bol, Node *left, Node *right, const TypeInt *ti ) : CMoveNode(bol,left,right,ti){}
a61af66fc99e Initial load
duke
parents:
diff changeset
192 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
193 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
a61af66fc99e Initial load
duke
parents:
diff changeset
194 };
a61af66fc99e Initial load
duke
parents:
diff changeset
195
a61af66fc99e Initial load
duke
parents:
diff changeset
196 //------------------------------CMoveLNode-------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
197 class CMoveLNode : public CMoveNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
198 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
199 CMoveLNode(Node *bol, Node *left, Node *right, const TypeLong *tl ) : CMoveNode(bol,left,right,tl){}
a61af66fc99e Initial load
duke
parents:
diff changeset
200 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
201 };
a61af66fc99e Initial load
duke
parents:
diff changeset
202
a61af66fc99e Initial load
duke
parents:
diff changeset
203 //------------------------------CMovePNode-------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
204 class CMovePNode : public CMoveNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
205 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
206 CMovePNode( Node *c, Node *bol, Node *left, Node *right, const TypePtr* t ) : CMoveNode(bol,left,right,t) { init_req(Control,c); }
a61af66fc99e Initial load
duke
parents:
diff changeset
207 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
208 };
a61af66fc99e Initial load
duke
parents:
diff changeset
209
164
c436414a719e 6703890: Compressed Oops: add LoadNKlass node to generate narrow oops (32-bits) compare instructions
kvn
parents: 163
diff changeset
210 //------------------------------CMoveNNode-------------------------------------
c436414a719e 6703890: Compressed Oops: add LoadNKlass node to generate narrow oops (32-bits) compare instructions
kvn
parents: 163
diff changeset
211 class CMoveNNode : public CMoveNode {
c436414a719e 6703890: Compressed Oops: add LoadNKlass node to generate narrow oops (32-bits) compare instructions
kvn
parents: 163
diff changeset
212 public:
c436414a719e 6703890: Compressed Oops: add LoadNKlass node to generate narrow oops (32-bits) compare instructions
kvn
parents: 163
diff changeset
213 CMoveNNode( Node *c, Node *bol, Node *left, Node *right, const Type* t ) : CMoveNode(bol,left,right,t) { init_req(Control,c); }
c436414a719e 6703890: Compressed Oops: add LoadNKlass node to generate narrow oops (32-bits) compare instructions
kvn
parents: 163
diff changeset
214 virtual int Opcode() const;
c436414a719e 6703890: Compressed Oops: add LoadNKlass node to generate narrow oops (32-bits) compare instructions
kvn
parents: 163
diff changeset
215 };
c436414a719e 6703890: Compressed Oops: add LoadNKlass node to generate narrow oops (32-bits) compare instructions
kvn
parents: 163
diff changeset
216
c436414a719e 6703890: Compressed Oops: add LoadNKlass node to generate narrow oops (32-bits) compare instructions
kvn
parents: 163
diff changeset
217 //------------------------------ConstraintCastNode-----------------------------
0
a61af66fc99e Initial load
duke
parents:
diff changeset
218 // cast to a different range
a61af66fc99e Initial load
duke
parents:
diff changeset
219 class ConstraintCastNode: public TypeNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
220 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
221 ConstraintCastNode (Node *n, const Type *t ): TypeNode(t,2) {
a61af66fc99e Initial load
duke
parents:
diff changeset
222 init_class_id(Class_ConstraintCast);
a61af66fc99e Initial load
duke
parents:
diff changeset
223 init_req(1, n);
a61af66fc99e Initial load
duke
parents:
diff changeset
224 }
a61af66fc99e Initial load
duke
parents:
diff changeset
225 virtual Node *Identity( PhaseTransform *phase );
a61af66fc99e Initial load
duke
parents:
diff changeset
226 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
227 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
a61af66fc99e Initial load
duke
parents:
diff changeset
228 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
229 virtual uint ideal_reg() const = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
230 virtual Node *Ideal_DU_postCCP( PhaseCCP * );
a61af66fc99e Initial load
duke
parents:
diff changeset
231 };
a61af66fc99e Initial load
duke
parents:
diff changeset
232
a61af66fc99e Initial load
duke
parents:
diff changeset
233 //------------------------------CastIINode-------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
234 // cast integer to integer (different range)
a61af66fc99e Initial load
duke
parents:
diff changeset
235 class CastIINode: public ConstraintCastNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
236 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
237 CastIINode (Node *n, const Type *t ): ConstraintCastNode(n,t) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
238 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
239 virtual uint ideal_reg() const { return Op_RegI; }
a61af66fc99e Initial load
duke
parents:
diff changeset
240 };
a61af66fc99e Initial load
duke
parents:
diff changeset
241
a61af66fc99e Initial load
duke
parents:
diff changeset
242 //------------------------------CastPPNode-------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
243 // cast pointer to pointer (different type)
a61af66fc99e Initial load
duke
parents:
diff changeset
244 class CastPPNode: public ConstraintCastNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
245 public:
126
72f4a668df19 6625997: CastPP, CheckCastPP and Proj nodes are not dead loop safe
kvn
parents: 124
diff changeset
246 CastPPNode (Node *n, const Type *t ): ConstraintCastNode(n, t) {}
0
a61af66fc99e Initial load
duke
parents:
diff changeset
247 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
248 virtual uint ideal_reg() const { return Op_RegP; }
a61af66fc99e Initial load
duke
parents:
diff changeset
249 virtual Node *Ideal_DU_postCCP( PhaseCCP * );
a61af66fc99e Initial load
duke
parents:
diff changeset
250 };
a61af66fc99e Initial load
duke
parents:
diff changeset
251
a61af66fc99e Initial load
duke
parents:
diff changeset
252 //------------------------------CheckCastPPNode--------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
253 // for _checkcast, cast pointer to pointer (different type), without JOIN,
a61af66fc99e Initial load
duke
parents:
diff changeset
254 class CheckCastPPNode: public TypeNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
255 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
256 CheckCastPPNode( Node *c, Node *n, const Type *t ) : TypeNode(t,2) {
a61af66fc99e Initial load
duke
parents:
diff changeset
257 init_class_id(Class_CheckCastPP);
a61af66fc99e Initial load
duke
parents:
diff changeset
258 init_req(0, c);
a61af66fc99e Initial load
duke
parents:
diff changeset
259 init_req(1, n);
a61af66fc99e Initial load
duke
parents:
diff changeset
260 }
126
72f4a668df19 6625997: CastPP, CheckCastPP and Proj nodes are not dead loop safe
kvn
parents: 124
diff changeset
261
0
a61af66fc99e Initial load
duke
parents:
diff changeset
262 virtual Node *Identity( PhaseTransform *phase );
a61af66fc99e Initial load
duke
parents:
diff changeset
263 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
264 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
a61af66fc99e Initial load
duke
parents:
diff changeset
265 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
266 virtual uint ideal_reg() const { return Op_RegP; }
a61af66fc99e Initial load
duke
parents:
diff changeset
267 // No longer remove CheckCast after CCP as it gives me a place to hang
a61af66fc99e Initial load
duke
parents:
diff changeset
268 // the proper address type - which is required to compute anti-deps.
a61af66fc99e Initial load
duke
parents:
diff changeset
269 //virtual Node *Ideal_DU_postCCP( PhaseCCP * );
a61af66fc99e Initial load
duke
parents:
diff changeset
270 };
a61af66fc99e Initial load
duke
parents:
diff changeset
271
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
272
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
273 //------------------------------EncodeP--------------------------------
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
274 // Encodes an oop pointers into its compressed form
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
275 // Takes an extra argument which is the real heap base as a long which
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
276 // may be useful for code generation in the backend.
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
277 class EncodePNode : public TypeNode {
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
278 public:
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
279 EncodePNode(Node* value, const Type* type):
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
280 TypeNode(type, 2) {
168
7793bd37a336 6705887: Compressed Oops: generate x64 addressing and implicit null checks with narrow oops
kvn
parents: 164
diff changeset
281 init_class_id(Class_EncodeP);
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
282 init_req(0, NULL);
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
283 init_req(1, value);
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
284 }
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
285 virtual int Opcode() const;
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
286 virtual Node *Identity( PhaseTransform *phase );
124
b130b98db9cf 6689060: Escape Analysis does not work with Compressed Oops
kvn
parents: 113
diff changeset
287 virtual const Type *Value( PhaseTransform *phase ) const;
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
288 virtual uint ideal_reg() const { return Op_RegN; }
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
289
163
885ed790ecf0 6695810: null oop passed to encode_heap_oop_not_null
kvn
parents: 126
diff changeset
290 virtual Node *Ideal_DU_postCCP( PhaseCCP *ccp );
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
291 };
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
292
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
293 //------------------------------DecodeN--------------------------------
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
294 // Converts a narrow oop into a real oop ptr.
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
295 // Takes an extra argument which is the real heap base as a long which
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
296 // may be useful for code generation in the backend.
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
297 class DecodeNNode : public TypeNode {
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
298 public:
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
299 DecodeNNode(Node* value, const Type* type):
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
300 TypeNode(type, 2) {
168
7793bd37a336 6705887: Compressed Oops: generate x64 addressing and implicit null checks with narrow oops
kvn
parents: 164
diff changeset
301 init_class_id(Class_DecodeN);
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
302 init_req(0, NULL);
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
303 init_req(1, value);
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
304 }
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
305 virtual int Opcode() const;
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
306 virtual Node *Identity( PhaseTransform *phase );
124
b130b98db9cf 6689060: Escape Analysis does not work with Compressed Oops
kvn
parents: 113
diff changeset
307 virtual const Type *Value( PhaseTransform *phase ) const;
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
308 virtual uint ideal_reg() const { return Op_RegP; }
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
309 };
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
310
0
a61af66fc99e Initial load
duke
parents:
diff changeset
311 //------------------------------Conv2BNode-------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
312 // Convert int/pointer to a Boolean. Map zero to zero, all else to 1.
a61af66fc99e Initial load
duke
parents:
diff changeset
313 class Conv2BNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
314 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
315 Conv2BNode( Node *i ) : Node(0,i) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
316 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
317 virtual const Type *bottom_type() const { return TypeInt::BOOL; }
a61af66fc99e Initial load
duke
parents:
diff changeset
318 virtual Node *Identity( PhaseTransform *phase );
a61af66fc99e Initial load
duke
parents:
diff changeset
319 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
320 virtual uint ideal_reg() const { return Op_RegI; }
a61af66fc99e Initial load
duke
parents:
diff changeset
321 };
a61af66fc99e Initial load
duke
parents:
diff changeset
322
a61af66fc99e Initial load
duke
parents:
diff changeset
323 // The conversions operations are all Alpha sorted. Please keep it that way!
a61af66fc99e Initial load
duke
parents:
diff changeset
324 //------------------------------ConvD2FNode------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
325 // Convert double to float
a61af66fc99e Initial load
duke
parents:
diff changeset
326 class ConvD2FNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
327 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
328 ConvD2FNode( Node *in1 ) : Node(0,in1) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
329 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
330 virtual const Type *bottom_type() const { return Type::FLOAT; }
a61af66fc99e Initial load
duke
parents:
diff changeset
331 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
332 virtual Node *Identity( PhaseTransform *phase );
a61af66fc99e Initial load
duke
parents:
diff changeset
333 virtual uint ideal_reg() const { return Op_RegF; }
a61af66fc99e Initial load
duke
parents:
diff changeset
334 };
a61af66fc99e Initial load
duke
parents:
diff changeset
335
a61af66fc99e Initial load
duke
parents:
diff changeset
336 //------------------------------ConvD2INode------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
337 // Convert Double to Integer
a61af66fc99e Initial load
duke
parents:
diff changeset
338 class ConvD2INode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
339 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
340 ConvD2INode( Node *in1 ) : Node(0,in1) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
341 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
342 virtual const Type *bottom_type() const { return TypeInt::INT; }
a61af66fc99e Initial load
duke
parents:
diff changeset
343 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
344 virtual Node *Identity( PhaseTransform *phase );
a61af66fc99e Initial load
duke
parents:
diff changeset
345 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
a61af66fc99e Initial load
duke
parents:
diff changeset
346 virtual uint ideal_reg() const { return Op_RegI; }
a61af66fc99e Initial load
duke
parents:
diff changeset
347 };
a61af66fc99e Initial load
duke
parents:
diff changeset
348
a61af66fc99e Initial load
duke
parents:
diff changeset
349 //------------------------------ConvD2LNode------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
350 // Convert Double to Long
a61af66fc99e Initial load
duke
parents:
diff changeset
351 class ConvD2LNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
352 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
353 ConvD2LNode( Node *dbl ) : Node(0,dbl) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
354 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
355 virtual const Type *bottom_type() const { return TypeLong::LONG; }
a61af66fc99e Initial load
duke
parents:
diff changeset
356 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
357 virtual Node *Identity( PhaseTransform *phase );
a61af66fc99e Initial load
duke
parents:
diff changeset
358 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
a61af66fc99e Initial load
duke
parents:
diff changeset
359 virtual uint ideal_reg() const { return Op_RegL; }
a61af66fc99e Initial load
duke
parents:
diff changeset
360 };
a61af66fc99e Initial load
duke
parents:
diff changeset
361
a61af66fc99e Initial load
duke
parents:
diff changeset
362 //------------------------------ConvF2DNode------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
363 // Convert Float to a Double.
a61af66fc99e Initial load
duke
parents:
diff changeset
364 class ConvF2DNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
365 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
366 ConvF2DNode( Node *in1 ) : Node(0,in1) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
367 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
368 virtual const Type *bottom_type() const { return Type::DOUBLE; }
a61af66fc99e Initial load
duke
parents:
diff changeset
369 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
370 virtual uint ideal_reg() const { return Op_RegD; }
a61af66fc99e Initial load
duke
parents:
diff changeset
371 };
a61af66fc99e Initial load
duke
parents:
diff changeset
372
a61af66fc99e Initial load
duke
parents:
diff changeset
373 //------------------------------ConvF2INode------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
374 // Convert float to integer
a61af66fc99e Initial load
duke
parents:
diff changeset
375 class ConvF2INode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
376 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
377 ConvF2INode( Node *in1 ) : Node(0,in1) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
378 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
379 virtual const Type *bottom_type() const { return TypeInt::INT; }
a61af66fc99e Initial load
duke
parents:
diff changeset
380 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
381 virtual Node *Identity( PhaseTransform *phase );
a61af66fc99e Initial load
duke
parents:
diff changeset
382 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
a61af66fc99e Initial load
duke
parents:
diff changeset
383 virtual uint ideal_reg() const { return Op_RegI; }
a61af66fc99e Initial load
duke
parents:
diff changeset
384 };
a61af66fc99e Initial load
duke
parents:
diff changeset
385
a61af66fc99e Initial load
duke
parents:
diff changeset
386 //------------------------------ConvF2LNode------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
387 // Convert float to long
a61af66fc99e Initial load
duke
parents:
diff changeset
388 class ConvF2LNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
389 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
390 ConvF2LNode( Node *in1 ) : Node(0,in1) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
391 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
392 virtual const Type *bottom_type() const { return TypeLong::LONG; }
a61af66fc99e Initial load
duke
parents:
diff changeset
393 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
394 virtual Node *Identity( PhaseTransform *phase );
a61af66fc99e Initial load
duke
parents:
diff changeset
395 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
a61af66fc99e Initial load
duke
parents:
diff changeset
396 virtual uint ideal_reg() const { return Op_RegL; }
a61af66fc99e Initial load
duke
parents:
diff changeset
397 };
a61af66fc99e Initial load
duke
parents:
diff changeset
398
a61af66fc99e Initial load
duke
parents:
diff changeset
399 //------------------------------ConvI2DNode------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
400 // Convert Integer to Double
a61af66fc99e Initial load
duke
parents:
diff changeset
401 class ConvI2DNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
402 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
403 ConvI2DNode( Node *in1 ) : Node(0,in1) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
404 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
405 virtual const Type *bottom_type() const { return Type::DOUBLE; }
a61af66fc99e Initial load
duke
parents:
diff changeset
406 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
407 virtual uint ideal_reg() const { return Op_RegD; }
a61af66fc99e Initial load
duke
parents:
diff changeset
408 };
a61af66fc99e Initial load
duke
parents:
diff changeset
409
a61af66fc99e Initial load
duke
parents:
diff changeset
410 //------------------------------ConvI2FNode------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
411 // Convert Integer to Float
a61af66fc99e Initial load
duke
parents:
diff changeset
412 class ConvI2FNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
413 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
414 ConvI2FNode( Node *in1 ) : Node(0,in1) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
415 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
416 virtual const Type *bottom_type() const { return Type::FLOAT; }
a61af66fc99e Initial load
duke
parents:
diff changeset
417 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
418 virtual Node *Identity( PhaseTransform *phase );
a61af66fc99e Initial load
duke
parents:
diff changeset
419 virtual uint ideal_reg() const { return Op_RegF; }
a61af66fc99e Initial load
duke
parents:
diff changeset
420 };
a61af66fc99e Initial load
duke
parents:
diff changeset
421
a61af66fc99e Initial load
duke
parents:
diff changeset
422 //------------------------------ConvI2LNode------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
423 // Convert integer to long
a61af66fc99e Initial load
duke
parents:
diff changeset
424 class ConvI2LNode : public TypeNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
425 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
426 ConvI2LNode(Node *in1, const TypeLong* t = TypeLong::INT)
a61af66fc99e Initial load
duke
parents:
diff changeset
427 : TypeNode(t, 2)
a61af66fc99e Initial load
duke
parents:
diff changeset
428 { init_req(1, in1); }
a61af66fc99e Initial load
duke
parents:
diff changeset
429 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
430 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
431 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
a61af66fc99e Initial load
duke
parents:
diff changeset
432 virtual uint ideal_reg() const { return Op_RegL; }
a61af66fc99e Initial load
duke
parents:
diff changeset
433 };
a61af66fc99e Initial load
duke
parents:
diff changeset
434
a61af66fc99e Initial load
duke
parents:
diff changeset
435 //------------------------------ConvL2DNode------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
436 // Convert Long to Double
a61af66fc99e Initial load
duke
parents:
diff changeset
437 class ConvL2DNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
438 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
439 ConvL2DNode( Node *in1 ) : Node(0,in1) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
440 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
441 virtual const Type *bottom_type() const { return Type::DOUBLE; }
a61af66fc99e Initial load
duke
parents:
diff changeset
442 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
443 virtual uint ideal_reg() const { return Op_RegD; }
a61af66fc99e Initial load
duke
parents:
diff changeset
444 };
a61af66fc99e Initial load
duke
parents:
diff changeset
445
a61af66fc99e Initial load
duke
parents:
diff changeset
446 //------------------------------ConvL2FNode------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
447 // Convert Long to Float
a61af66fc99e Initial load
duke
parents:
diff changeset
448 class ConvL2FNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
449 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
450 ConvL2FNode( Node *in1 ) : Node(0,in1) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
451 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
452 virtual const Type *bottom_type() const { return Type::FLOAT; }
a61af66fc99e Initial load
duke
parents:
diff changeset
453 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
454 virtual uint ideal_reg() const { return Op_RegF; }
a61af66fc99e Initial load
duke
parents:
diff changeset
455 };
a61af66fc99e Initial load
duke
parents:
diff changeset
456
a61af66fc99e Initial load
duke
parents:
diff changeset
457 //------------------------------ConvL2INode------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
458 // Convert long to integer
a61af66fc99e Initial load
duke
parents:
diff changeset
459 class ConvL2INode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
460 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
461 ConvL2INode( Node *in1 ) : Node(0,in1) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
462 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
463 virtual const Type *bottom_type() const { return TypeInt::INT; }
a61af66fc99e Initial load
duke
parents:
diff changeset
464 virtual Node *Identity( PhaseTransform *phase );
a61af66fc99e Initial load
duke
parents:
diff changeset
465 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
466 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
a61af66fc99e Initial load
duke
parents:
diff changeset
467 virtual uint ideal_reg() const { return Op_RegI; }
a61af66fc99e Initial load
duke
parents:
diff changeset
468 };
a61af66fc99e Initial load
duke
parents:
diff changeset
469
a61af66fc99e Initial load
duke
parents:
diff changeset
470 //------------------------------CastX2PNode-------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
471 // convert a machine-pointer-sized integer to a raw pointer
a61af66fc99e Initial load
duke
parents:
diff changeset
472 class CastX2PNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
473 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
474 CastX2PNode( Node *n ) : Node(NULL, n) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
475 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
476 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
477 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
a61af66fc99e Initial load
duke
parents:
diff changeset
478 virtual Node *Identity( PhaseTransform *phase );
a61af66fc99e Initial load
duke
parents:
diff changeset
479 virtual uint ideal_reg() const { return Op_RegP; }
a61af66fc99e Initial load
duke
parents:
diff changeset
480 virtual const Type *bottom_type() const { return TypeRawPtr::BOTTOM; }
a61af66fc99e Initial load
duke
parents:
diff changeset
481 };
a61af66fc99e Initial load
duke
parents:
diff changeset
482
a61af66fc99e Initial load
duke
parents:
diff changeset
483 //------------------------------CastP2XNode-------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
484 // Used in both 32-bit and 64-bit land.
a61af66fc99e Initial load
duke
parents:
diff changeset
485 // Used for card-marks and unsafe pointer math.
a61af66fc99e Initial load
duke
parents:
diff changeset
486 class CastP2XNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
487 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
488 CastP2XNode( Node *ctrl, Node *n ) : Node(ctrl, n) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
489 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
490 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
491 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
a61af66fc99e Initial load
duke
parents:
diff changeset
492 virtual Node *Identity( PhaseTransform *phase );
a61af66fc99e Initial load
duke
parents:
diff changeset
493 virtual uint ideal_reg() const { return Op_RegX; }
a61af66fc99e Initial load
duke
parents:
diff changeset
494 virtual const Type *bottom_type() const { return TypeX_X; }
a61af66fc99e Initial load
duke
parents:
diff changeset
495 // Return false to keep node from moving away from an associated card mark.
a61af66fc99e Initial load
duke
parents:
diff changeset
496 virtual bool depends_only_on_test() const { return false; }
a61af66fc99e Initial load
duke
parents:
diff changeset
497 };
a61af66fc99e Initial load
duke
parents:
diff changeset
498
a61af66fc99e Initial load
duke
parents:
diff changeset
499 //------------------------------MemMoveNode------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
500 // Memory to memory move. Inserted very late, after allocation.
a61af66fc99e Initial load
duke
parents:
diff changeset
501 class MemMoveNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
502 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
503 MemMoveNode( Node *dst, Node *src ) : Node(0,dst,src) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
504 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
505 };
a61af66fc99e Initial load
duke
parents:
diff changeset
506
a61af66fc99e Initial load
duke
parents:
diff changeset
507 //------------------------------ThreadLocalNode--------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
508 // Ideal Node which returns the base of ThreadLocalStorage.
a61af66fc99e Initial load
duke
parents:
diff changeset
509 class ThreadLocalNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
510 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
511 ThreadLocalNode( ) : Node((Node*)Compile::current()->root()) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
512 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
513 virtual const Type *bottom_type() const { return TypeRawPtr::BOTTOM;}
a61af66fc99e Initial load
duke
parents:
diff changeset
514 virtual uint ideal_reg() const { return Op_RegP; }
a61af66fc99e Initial load
duke
parents:
diff changeset
515 };
a61af66fc99e Initial load
duke
parents:
diff changeset
516
a61af66fc99e Initial load
duke
parents:
diff changeset
517 //------------------------------LoadReturnPCNode-------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
518 class LoadReturnPCNode: public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
519 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
520 LoadReturnPCNode(Node *c) : Node(c) { }
a61af66fc99e Initial load
duke
parents:
diff changeset
521 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
522 virtual uint ideal_reg() const { return Op_RegP; }
a61af66fc99e Initial load
duke
parents:
diff changeset
523 };
a61af66fc99e Initial load
duke
parents:
diff changeset
524
a61af66fc99e Initial load
duke
parents:
diff changeset
525
a61af66fc99e Initial load
duke
parents:
diff changeset
526 //-----------------------------RoundFloatNode----------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
527 class RoundFloatNode: public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
528 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
529 RoundFloatNode(Node* c, Node *in1): Node(c, in1) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
530 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
531 virtual const Type *bottom_type() const { return Type::FLOAT; }
a61af66fc99e Initial load
duke
parents:
diff changeset
532 virtual uint ideal_reg() const { return Op_RegF; }
a61af66fc99e Initial load
duke
parents:
diff changeset
533 virtual Node *Identity( PhaseTransform *phase );
a61af66fc99e Initial load
duke
parents:
diff changeset
534 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
535 };
a61af66fc99e Initial load
duke
parents:
diff changeset
536
a61af66fc99e Initial load
duke
parents:
diff changeset
537
a61af66fc99e Initial load
duke
parents:
diff changeset
538 //-----------------------------RoundDoubleNode---------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
539 class RoundDoubleNode: public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
540 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
541 RoundDoubleNode(Node* c, Node *in1): Node(c, in1) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
542 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
543 virtual const Type *bottom_type() const { return Type::DOUBLE; }
a61af66fc99e Initial load
duke
parents:
diff changeset
544 virtual uint ideal_reg() const { return Op_RegD; }
a61af66fc99e Initial load
duke
parents:
diff changeset
545 virtual Node *Identity( PhaseTransform *phase );
a61af66fc99e Initial load
duke
parents:
diff changeset
546 virtual const Type *Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
547 };
a61af66fc99e Initial load
duke
parents:
diff changeset
548
a61af66fc99e Initial load
duke
parents:
diff changeset
549 //------------------------------Opaque1Node------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
550 // A node to prevent unwanted optimizations. Allows constant folding.
a61af66fc99e Initial load
duke
parents:
diff changeset
551 // Stops value-numbering, Ideal calls or Identity functions.
a61af66fc99e Initial load
duke
parents:
diff changeset
552 class Opaque1Node : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
553 virtual uint hash() const ; // { return NO_HASH; }
a61af66fc99e Initial load
duke
parents:
diff changeset
554 virtual uint cmp( const Node &n ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
555 public:
216
8d191a7697e2 6715633: when matching a memory node the adr_type should not change
kvn
parents: 168
diff changeset
556 Opaque1Node( Compile* C, Node *n ) : Node(0,n) {
8d191a7697e2 6715633: when matching a memory node the adr_type should not change
kvn
parents: 168
diff changeset
557 // Put it on the Macro nodes list to removed during macro nodes expansion.
8d191a7697e2 6715633: when matching a memory node the adr_type should not change
kvn
parents: 168
diff changeset
558 init_flags(Flag_is_macro);
8d191a7697e2 6715633: when matching a memory node the adr_type should not change
kvn
parents: 168
diff changeset
559 C->add_macro_node(this);
8d191a7697e2 6715633: when matching a memory node the adr_type should not change
kvn
parents: 168
diff changeset
560 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
561 // Special version for the pre-loop to hold the original loop limit
a61af66fc99e Initial load
duke
parents:
diff changeset
562 // which is consumed by range check elimination.
216
8d191a7697e2 6715633: when matching a memory node the adr_type should not change
kvn
parents: 168
diff changeset
563 Opaque1Node( Compile* C, Node *n, Node* orig_limit ) : Node(0,n,orig_limit) {
8d191a7697e2 6715633: when matching a memory node the adr_type should not change
kvn
parents: 168
diff changeset
564 // Put it on the Macro nodes list to removed during macro nodes expansion.
8d191a7697e2 6715633: when matching a memory node the adr_type should not change
kvn
parents: 168
diff changeset
565 init_flags(Flag_is_macro);
8d191a7697e2 6715633: when matching a memory node the adr_type should not change
kvn
parents: 168
diff changeset
566 C->add_macro_node(this);
8d191a7697e2 6715633: when matching a memory node the adr_type should not change
kvn
parents: 168
diff changeset
567 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
568 Node* original_loop_limit() { return req()==3 ? in(2) : NULL; }
a61af66fc99e Initial load
duke
parents:
diff changeset
569 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
570 virtual const Type *bottom_type() const { return TypeInt::INT; }
a61af66fc99e Initial load
duke
parents:
diff changeset
571 virtual Node *Identity( PhaseTransform *phase );
a61af66fc99e Initial load
duke
parents:
diff changeset
572 };
a61af66fc99e Initial load
duke
parents:
diff changeset
573
a61af66fc99e Initial load
duke
parents:
diff changeset
574 //------------------------------Opaque2Node------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
575 // A node to prevent unwanted optimizations. Allows constant folding. Stops
a61af66fc99e Initial load
duke
parents:
diff changeset
576 // value-numbering, most Ideal calls or Identity functions. This Node is
a61af66fc99e Initial load
duke
parents:
diff changeset
577 // specifically designed to prevent the pre-increment value of a loop trip
a61af66fc99e Initial load
duke
parents:
diff changeset
578 // counter from being live out of the bottom of the loop (hence causing the
a61af66fc99e Initial load
duke
parents:
diff changeset
579 // pre- and post-increment values both being live and thus requiring an extra
a61af66fc99e Initial load
duke
parents:
diff changeset
580 // temp register and an extra move). If we "accidentally" optimize through
a61af66fc99e Initial load
duke
parents:
diff changeset
581 // this kind of a Node, we'll get slightly pessimal, but correct, code. Thus
a61af66fc99e Initial load
duke
parents:
diff changeset
582 // it's OK to be slightly sloppy on optimizations here.
a61af66fc99e Initial load
duke
parents:
diff changeset
583 class Opaque2Node : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
584 virtual uint hash() const ; // { return NO_HASH; }
a61af66fc99e Initial load
duke
parents:
diff changeset
585 virtual uint cmp( const Node &n ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
586 public:
216
8d191a7697e2 6715633: when matching a memory node the adr_type should not change
kvn
parents: 168
diff changeset
587 Opaque2Node( Compile* C, Node *n ) : Node(0,n) {
8d191a7697e2 6715633: when matching a memory node the adr_type should not change
kvn
parents: 168
diff changeset
588 // Put it on the Macro nodes list to removed during macro nodes expansion.
8d191a7697e2 6715633: when matching a memory node the adr_type should not change
kvn
parents: 168
diff changeset
589 init_flags(Flag_is_macro);
8d191a7697e2 6715633: when matching a memory node the adr_type should not change
kvn
parents: 168
diff changeset
590 C->add_macro_node(this);
8d191a7697e2 6715633: when matching a memory node the adr_type should not change
kvn
parents: 168
diff changeset
591 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
592 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
593 virtual const Type *bottom_type() const { return TypeInt::INT; }
a61af66fc99e Initial load
duke
parents:
diff changeset
594 };
a61af66fc99e Initial load
duke
parents:
diff changeset
595
a61af66fc99e Initial load
duke
parents:
diff changeset
596 //----------------------PartialSubtypeCheckNode--------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
597 // The 2nd slow-half of a subtype check. Scan the subklass's 2ndary superklass
a61af66fc99e Initial load
duke
parents:
diff changeset
598 // array for an instance of the superklass. Set a hidden internal cache on a
a61af66fc99e Initial load
duke
parents:
diff changeset
599 // hit (cache is checked with exposed code in gen_subtype_check()). Return
a61af66fc99e Initial load
duke
parents:
diff changeset
600 // not zero for a miss or zero for a hit.
a61af66fc99e Initial load
duke
parents:
diff changeset
601 class PartialSubtypeCheckNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
602 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
603 PartialSubtypeCheckNode(Node* c, Node* sub, Node* super) : Node(c,sub,super) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
604 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
605 virtual const Type *bottom_type() const { return TypeRawPtr::BOTTOM; }
a61af66fc99e Initial load
duke
parents:
diff changeset
606 virtual uint ideal_reg() const { return Op_RegP; }
a61af66fc99e Initial load
duke
parents:
diff changeset
607 };
a61af66fc99e Initial load
duke
parents:
diff changeset
608
a61af66fc99e Initial load
duke
parents:
diff changeset
609 //
a61af66fc99e Initial load
duke
parents:
diff changeset
610 class MoveI2FNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
611 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
612 MoveI2FNode( Node *value ) : Node(0,value) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
613 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
614 virtual const Type *bottom_type() const { return Type::FLOAT; }
a61af66fc99e Initial load
duke
parents:
diff changeset
615 virtual uint ideal_reg() const { return Op_RegF; }
a61af66fc99e Initial load
duke
parents:
diff changeset
616 virtual const Type* Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
617 };
a61af66fc99e Initial load
duke
parents:
diff changeset
618
a61af66fc99e Initial load
duke
parents:
diff changeset
619 class MoveL2DNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
620 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
621 MoveL2DNode( Node *value ) : Node(0,value) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
622 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
623 virtual const Type *bottom_type() const { return Type::DOUBLE; }
a61af66fc99e Initial load
duke
parents:
diff changeset
624 virtual uint ideal_reg() const { return Op_RegD; }
a61af66fc99e Initial load
duke
parents:
diff changeset
625 virtual const Type* Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
626 };
a61af66fc99e Initial load
duke
parents:
diff changeset
627
a61af66fc99e Initial load
duke
parents:
diff changeset
628 class MoveF2INode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
629 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
630 MoveF2INode( Node *value ) : Node(0,value) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
631 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
632 virtual const Type *bottom_type() const { return TypeInt::INT; }
a61af66fc99e Initial load
duke
parents:
diff changeset
633 virtual uint ideal_reg() const { return Op_RegI; }
a61af66fc99e Initial load
duke
parents:
diff changeset
634 virtual const Type* Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
635 };
a61af66fc99e Initial load
duke
parents:
diff changeset
636
a61af66fc99e Initial load
duke
parents:
diff changeset
637 class MoveD2LNode : public Node {
a61af66fc99e Initial load
duke
parents:
diff changeset
638 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
639 MoveD2LNode( Node *value ) : Node(0,value) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
640 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
641 virtual const Type *bottom_type() const { return TypeLong::LONG; }
a61af66fc99e Initial load
duke
parents:
diff changeset
642 virtual uint ideal_reg() const { return Op_RegL; }
a61af66fc99e Initial load
duke
parents:
diff changeset
643 virtual const Type* Value( PhaseTransform *phase ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
644 };
643
c771b7f43bbf 6378821: bitCount() should use POPC on SPARC processors and AMD+10h
twisti
parents: 235
diff changeset
645
775
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
646 //---------- CountBitsNode -----------------------------------------------------
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
647 class CountBitsNode : public Node {
643
c771b7f43bbf 6378821: bitCount() should use POPC on SPARC processors and AMD+10h
twisti
parents: 235
diff changeset
648 public:
775
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
649 CountBitsNode(Node* in1) : Node(0, in1) {}
643
c771b7f43bbf 6378821: bitCount() should use POPC on SPARC processors and AMD+10h
twisti
parents: 235
diff changeset
650 const Type* bottom_type() const { return TypeInt::INT; }
c771b7f43bbf 6378821: bitCount() should use POPC on SPARC processors and AMD+10h
twisti
parents: 235
diff changeset
651 virtual uint ideal_reg() const { return Op_RegI; }
c771b7f43bbf 6378821: bitCount() should use POPC on SPARC processors and AMD+10h
twisti
parents: 235
diff changeset
652 };
c771b7f43bbf 6378821: bitCount() should use POPC on SPARC processors and AMD+10h
twisti
parents: 235
diff changeset
653
775
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
654 //---------- CountLeadingZerosINode --------------------------------------------
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
655 // Count leading zeros (0-bit count starting from MSB) of an integer.
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
656 class CountLeadingZerosINode : public CountBitsNode {
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
657 public:
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
658 CountLeadingZerosINode(Node* in1) : CountBitsNode(in1) {}
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
659 virtual int Opcode() const;
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
660 virtual const Type* Value(PhaseTransform* phase) const;
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
661 };
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
662
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
663 //---------- CountLeadingZerosLNode --------------------------------------------
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
664 // Count leading zeros (0-bit count starting from MSB) of a long.
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
665 class CountLeadingZerosLNode : public CountBitsNode {
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
666 public:
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
667 CountLeadingZerosLNode(Node* in1) : CountBitsNode(in1) {}
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
668 virtual int Opcode() const;
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
669 virtual const Type* Value(PhaseTransform* phase) const;
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
670 };
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
671
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
672 //---------- CountTrailingZerosINode -------------------------------------------
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
673 // Count trailing zeros (0-bit count starting from LSB) of an integer.
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
674 class CountTrailingZerosINode : public CountBitsNode {
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
675 public:
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
676 CountTrailingZerosINode(Node* in1) : CountBitsNode(in1) {}
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
677 virtual int Opcode() const;
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
678 virtual const Type* Value(PhaseTransform* phase) const;
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
679 };
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
680
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
681 //---------- CountTrailingZerosLNode -------------------------------------------
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
682 // Count trailing zeros (0-bit count starting from LSB) of a long.
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
683 class CountTrailingZerosLNode : public CountBitsNode {
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
684 public:
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
685 CountTrailingZerosLNode(Node* in1) : CountBitsNode(in1) {}
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
686 virtual int Opcode() const;
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
687 virtual const Type* Value(PhaseTransform* phase) const;
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
688 };
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
689
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
690 //---------- PopCountINode -----------------------------------------------------
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
691 // Population count (bit count) of an integer.
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
692 class PopCountINode : public CountBitsNode {
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
693 public:
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
694 PopCountINode(Node* in1) : CountBitsNode(in1) {}
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
695 virtual int Opcode() const;
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
696 };
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
697
643
c771b7f43bbf 6378821: bitCount() should use POPC on SPARC processors and AMD+10h
twisti
parents: 235
diff changeset
698 //---------- PopCountLNode -----------------------------------------------------
c771b7f43bbf 6378821: bitCount() should use POPC on SPARC processors and AMD+10h
twisti
parents: 235
diff changeset
699 // Population count (bit count) of a long.
775
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
700 class PopCountLNode : public CountBitsNode {
643
c771b7f43bbf 6378821: bitCount() should use POPC on SPARC processors and AMD+10h
twisti
parents: 235
diff changeset
701 public:
775
93c14e5562c4 6823354: Add intrinsics for {Integer,Long}.{numberOfLeadingZeros,numberOfTrailingZeros}()
twisti
parents: 643
diff changeset
702 PopCountLNode(Node* in1) : CountBitsNode(in1) {}
643
c771b7f43bbf 6378821: bitCount() should use POPC on SPARC processors and AMD+10h
twisti
parents: 235
diff changeset
703 virtual int Opcode() const;
c771b7f43bbf 6378821: bitCount() should use POPC on SPARC processors and AMD+10h
twisti
parents: 235
diff changeset
704 };
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
705
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
706 #endif // SHARE_VM_OPTO_CONNODE_HPP