src/share/vm/opto/connode.hpp

Thu, 31 Jul 2014 19:59:36 +0200

author
roland
date
Thu, 31 Jul 2014 19:59:36 +0200
changeset 7003
69ea58782b1a
parent 6429
606acabe7b5c
child 6876
710a3c8b516e
child 7394
5b8e0f84f00f
permissions
-rw-r--r--

8054054: 8040121 is broken
Summary: C++ code pattern from 8040121 is incorrect
Reviewed-by: kvn

duke@435 1 /*
mikael@4153 2 * Copyright (c) 1997, 2012, Oracle and/or its affiliates. All rights reserved.
duke@435 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435 4 *
duke@435 5 * This code is free software; you can redistribute it and/or modify it
duke@435 6 * under the terms of the GNU General Public License version 2 only, as
duke@435 7 * published by the Free Software Foundation.
duke@435 8 *
duke@435 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@435 13 * accompanied this code).
duke@435 14 *
duke@435 15 * You should have received a copy of the GNU General Public License version
duke@435 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@435 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435 18 *
trims@1907 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907 20 * or visit www.oracle.com if you need additional information or have any
trims@1907 21 * questions.
duke@435 22 *
duke@435 23 */
duke@435 24
stefank@2314 25 #ifndef SHARE_VM_OPTO_CONNODE_HPP
stefank@2314 26 #define SHARE_VM_OPTO_CONNODE_HPP
stefank@2314 27
stefank@2314 28 #include "opto/node.hpp"
stefank@2314 29 #include "opto/opcodes.hpp"
stefank@2314 30 #include "opto/type.hpp"
stefank@2314 31
duke@435 32 class PhaseTransform;
duke@435 33 class MachNode;
duke@435 34
duke@435 35 //------------------------------ConNode----------------------------------------
duke@435 36 // Simple constants
duke@435 37 class ConNode : public TypeNode {
duke@435 38 public:
roland@6313 39 ConNode( const Type *t ) : TypeNode(t->remove_speculative(),1) {
duke@435 40 init_req(0, (Node*)Compile::current()->root());
duke@435 41 init_flags(Flag_is_Con);
duke@435 42 }
duke@435 43 virtual int Opcode() const;
duke@435 44 virtual uint hash() const;
duke@435 45 virtual const RegMask &out_RegMask() const { return RegMask::Empty; }
duke@435 46 virtual const RegMask &in_RegMask(uint) const { return RegMask::Empty; }
duke@435 47
duke@435 48 // Polymorphic factory method:
duke@435 49 static ConNode* make( Compile* C, const Type *t );
duke@435 50 };
duke@435 51
duke@435 52 //------------------------------ConINode---------------------------------------
duke@435 53 // Simple integer constants
duke@435 54 class ConINode : public ConNode {
duke@435 55 public:
duke@435 56 ConINode( const TypeInt *t ) : ConNode(t) {}
duke@435 57 virtual int Opcode() const;
duke@435 58
duke@435 59 // Factory method:
duke@435 60 static ConINode* make( Compile* C, int con ) {
kvn@4115 61 return new (C) ConINode( TypeInt::make(con) );
duke@435 62 }
duke@435 63
duke@435 64 };
duke@435 65
duke@435 66 //------------------------------ConPNode---------------------------------------
duke@435 67 // Simple pointer constants
duke@435 68 class ConPNode : public ConNode {
duke@435 69 public:
duke@435 70 ConPNode( const TypePtr *t ) : ConNode(t) {}
duke@435 71 virtual int Opcode() const;
duke@435 72
duke@435 73 // Factory methods:
duke@435 74 static ConPNode* make( Compile *C ,address con ) {
duke@435 75 if (con == NULL)
kvn@4115 76 return new (C) ConPNode( TypePtr::NULL_PTR ) ;
duke@435 77 else
kvn@4115 78 return new (C) ConPNode( TypeRawPtr::make(con) );
duke@435 79 }
duke@435 80 };
duke@435 81
duke@435 82
coleenp@548 83 //------------------------------ConNNode--------------------------------------
coleenp@548 84 // Simple narrow oop constants
coleenp@548 85 class ConNNode : public ConNode {
coleenp@548 86 public:
coleenp@548 87 ConNNode( const TypeNarrowOop *t ) : ConNode(t) {}
coleenp@548 88 virtual int Opcode() const;
coleenp@548 89 };
coleenp@548 90
roland@4159 91 //------------------------------ConNKlassNode---------------------------------
roland@4159 92 // Simple narrow klass constants
roland@4159 93 class ConNKlassNode : public ConNode {
roland@4159 94 public:
roland@4159 95 ConNKlassNode( const TypeNarrowKlass *t ) : ConNode(t) {}
roland@4159 96 virtual int Opcode() const;
roland@4159 97 };
roland@4159 98
coleenp@548 99
duke@435 100 //------------------------------ConLNode---------------------------------------
duke@435 101 // Simple long constants
duke@435 102 class ConLNode : public ConNode {
duke@435 103 public:
duke@435 104 ConLNode( const TypeLong *t ) : ConNode(t) {}
duke@435 105 virtual int Opcode() const;
duke@435 106
duke@435 107 // Factory method:
duke@435 108 static ConLNode* make( Compile *C ,jlong con ) {
kvn@4115 109 return new (C) ConLNode( TypeLong::make(con) );
duke@435 110 }
duke@435 111
duke@435 112 };
duke@435 113
duke@435 114 //------------------------------ConFNode---------------------------------------
duke@435 115 // Simple float constants
duke@435 116 class ConFNode : public ConNode {
duke@435 117 public:
duke@435 118 ConFNode( const TypeF *t ) : ConNode(t) {}
duke@435 119 virtual int Opcode() const;
duke@435 120
duke@435 121 // Factory method:
duke@435 122 static ConFNode* make( Compile *C, float con ) {
kvn@4115 123 return new (C) ConFNode( TypeF::make(con) );
duke@435 124 }
duke@435 125
duke@435 126 };
duke@435 127
duke@435 128 //------------------------------ConDNode---------------------------------------
duke@435 129 // Simple double constants
duke@435 130 class ConDNode : public ConNode {
duke@435 131 public:
duke@435 132 ConDNode( const TypeD *t ) : ConNode(t) {}
duke@435 133 virtual int Opcode() const;
duke@435 134
duke@435 135 // Factory method:
duke@435 136 static ConDNode* make( Compile *C, double con ) {
kvn@4115 137 return new (C) ConDNode( TypeD::make(con) );
duke@435 138 }
duke@435 139
duke@435 140 };
duke@435 141
duke@435 142 //------------------------------BinaryNode-------------------------------------
duke@435 143 // Place holder for the 2 conditional inputs to a CMove. CMove needs 4
duke@435 144 // inputs: the Bool (for the lt/gt/eq/ne bits), the flags (result of some
duke@435 145 // compare), and the 2 values to select between. The Matcher requires a
duke@435 146 // binary tree so we break it down like this:
duke@435 147 // (CMove (Binary bol cmp) (Binary src1 src2))
duke@435 148 class BinaryNode : public Node {
duke@435 149 public:
duke@435 150 BinaryNode( Node *n1, Node *n2 ) : Node(0,n1,n2) { }
duke@435 151 virtual int Opcode() const;
duke@435 152 virtual uint ideal_reg() const { return 0; }
duke@435 153 };
duke@435 154
duke@435 155 //------------------------------CMoveNode--------------------------------------
duke@435 156 // Conditional move
duke@435 157 class CMoveNode : public TypeNode {
duke@435 158 public:
duke@435 159 enum { Control, // When is it safe to do this cmove?
duke@435 160 Condition, // Condition controlling the cmove
duke@435 161 IfFalse, // Value if condition is false
duke@435 162 IfTrue }; // Value if condition is true
duke@435 163 CMoveNode( Node *bol, Node *left, Node *right, const Type *t ) : TypeNode(t,4)
duke@435 164 {
duke@435 165 init_class_id(Class_CMove);
duke@435 166 // all inputs are nullified in Node::Node(int)
duke@435 167 // init_req(Control,NULL);
duke@435 168 init_req(Condition,bol);
duke@435 169 init_req(IfFalse,left);
duke@435 170 init_req(IfTrue,right);
duke@435 171 }
duke@435 172 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
duke@435 173 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 174 virtual Node *Identity( PhaseTransform *phase );
duke@435 175 static CMoveNode *make( Compile *C, Node *c, Node *bol, Node *left, Node *right, const Type *t );
duke@435 176 // Helper function to spot cmove graph shapes
duke@435 177 static Node *is_cmove_id( PhaseTransform *phase, Node *cmp, Node *t, Node *f, BoolNode *b );
duke@435 178 };
duke@435 179
duke@435 180 //------------------------------CMoveDNode-------------------------------------
duke@435 181 class CMoveDNode : public CMoveNode {
duke@435 182 public:
duke@435 183 CMoveDNode( Node *bol, Node *left, Node *right, const Type* t) : CMoveNode(bol,left,right,t){}
duke@435 184 virtual int Opcode() const;
duke@435 185 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
duke@435 186 };
duke@435 187
duke@435 188 //------------------------------CMoveFNode-------------------------------------
duke@435 189 class CMoveFNode : public CMoveNode {
duke@435 190 public:
duke@435 191 CMoveFNode( Node *bol, Node *left, Node *right, const Type* t ) : CMoveNode(bol,left,right,t) {}
duke@435 192 virtual int Opcode() const;
duke@435 193 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
duke@435 194 };
duke@435 195
duke@435 196 //------------------------------CMoveINode-------------------------------------
duke@435 197 class CMoveINode : public CMoveNode {
duke@435 198 public:
duke@435 199 CMoveINode( Node *bol, Node *left, Node *right, const TypeInt *ti ) : CMoveNode(bol,left,right,ti){}
duke@435 200 virtual int Opcode() const;
duke@435 201 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
duke@435 202 };
duke@435 203
duke@435 204 //------------------------------CMoveLNode-------------------------------------
duke@435 205 class CMoveLNode : public CMoveNode {
duke@435 206 public:
duke@435 207 CMoveLNode(Node *bol, Node *left, Node *right, const TypeLong *tl ) : CMoveNode(bol,left,right,tl){}
duke@435 208 virtual int Opcode() const;
duke@435 209 };
duke@435 210
duke@435 211 //------------------------------CMovePNode-------------------------------------
duke@435 212 class CMovePNode : public CMoveNode {
duke@435 213 public:
duke@435 214 CMovePNode( Node *c, Node *bol, Node *left, Node *right, const TypePtr* t ) : CMoveNode(bol,left,right,t) { init_req(Control,c); }
duke@435 215 virtual int Opcode() const;
duke@435 216 };
duke@435 217
kvn@599 218 //------------------------------CMoveNNode-------------------------------------
kvn@599 219 class CMoveNNode : public CMoveNode {
kvn@599 220 public:
kvn@599 221 CMoveNNode( Node *c, Node *bol, Node *left, Node *right, const Type* t ) : CMoveNode(bol,left,right,t) { init_req(Control,c); }
kvn@599 222 virtual int Opcode() const;
kvn@599 223 };
kvn@599 224
kvn@599 225 //------------------------------ConstraintCastNode-----------------------------
duke@435 226 // cast to a different range
duke@435 227 class ConstraintCastNode: public TypeNode {
duke@435 228 public:
duke@435 229 ConstraintCastNode (Node *n, const Type *t ): TypeNode(t,2) {
duke@435 230 init_class_id(Class_ConstraintCast);
duke@435 231 init_req(1, n);
duke@435 232 }
duke@435 233 virtual Node *Identity( PhaseTransform *phase );
duke@435 234 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 235 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
duke@435 236 virtual int Opcode() const;
duke@435 237 virtual uint ideal_reg() const = 0;
duke@435 238 virtual Node *Ideal_DU_postCCP( PhaseCCP * );
duke@435 239 };
duke@435 240
duke@435 241 //------------------------------CastIINode-------------------------------------
duke@435 242 // cast integer to integer (different range)
duke@435 243 class CastIINode: public ConstraintCastNode {
duke@435 244 public:
duke@435 245 CastIINode (Node *n, const Type *t ): ConstraintCastNode(n,t) {}
duke@435 246 virtual int Opcode() const;
duke@435 247 virtual uint ideal_reg() const { return Op_RegI; }
duke@435 248 };
duke@435 249
duke@435 250 //------------------------------CastPPNode-------------------------------------
duke@435 251 // cast pointer to pointer (different type)
duke@435 252 class CastPPNode: public ConstraintCastNode {
duke@435 253 public:
kvn@561 254 CastPPNode (Node *n, const Type *t ): ConstraintCastNode(n, t) {}
duke@435 255 virtual int Opcode() const;
duke@435 256 virtual uint ideal_reg() const { return Op_RegP; }
duke@435 257 virtual Node *Ideal_DU_postCCP( PhaseCCP * );
duke@435 258 };
duke@435 259
duke@435 260 //------------------------------CheckCastPPNode--------------------------------
duke@435 261 // for _checkcast, cast pointer to pointer (different type), without JOIN,
duke@435 262 class CheckCastPPNode: public TypeNode {
duke@435 263 public:
duke@435 264 CheckCastPPNode( Node *c, Node *n, const Type *t ) : TypeNode(t,2) {
duke@435 265 init_class_id(Class_CheckCastPP);
duke@435 266 init_req(0, c);
duke@435 267 init_req(1, n);
duke@435 268 }
kvn@561 269
duke@435 270 virtual Node *Identity( PhaseTransform *phase );
duke@435 271 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 272 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
duke@435 273 virtual int Opcode() const;
duke@435 274 virtual uint ideal_reg() const { return Op_RegP; }
duke@435 275 // No longer remove CheckCast after CCP as it gives me a place to hang
duke@435 276 // the proper address type - which is required to compute anti-deps.
duke@435 277 //virtual Node *Ideal_DU_postCCP( PhaseCCP * );
duke@435 278 };
duke@435 279
coleenp@548 280
roland@4159 281 //------------------------------EncodeNarrowPtr--------------------------------
roland@4159 282 class EncodeNarrowPtrNode : public TypeNode {
roland@4159 283 protected:
roland@4159 284 EncodeNarrowPtrNode(Node* value, const Type* type):
roland@4159 285 TypeNode(type, 2) {
roland@4159 286 init_class_id(Class_EncodeNarrowPtr);
roland@4159 287 init_req(0, NULL);
roland@4159 288 init_req(1, value);
roland@4159 289 }
roland@4159 290 public:
roland@4159 291 virtual uint ideal_reg() const { return Op_RegN; }
roland@4159 292 virtual Node *Ideal_DU_postCCP( PhaseCCP *ccp );
roland@4159 293 };
roland@4159 294
coleenp@548 295 //------------------------------EncodeP--------------------------------
coleenp@548 296 // Encodes an oop pointers into its compressed form
coleenp@548 297 // Takes an extra argument which is the real heap base as a long which
coleenp@548 298 // may be useful for code generation in the backend.
roland@4159 299 class EncodePNode : public EncodeNarrowPtrNode {
coleenp@548 300 public:
coleenp@548 301 EncodePNode(Node* value, const Type* type):
roland@4159 302 EncodeNarrowPtrNode(value, type) {
kvn@603 303 init_class_id(Class_EncodeP);
coleenp@548 304 }
coleenp@548 305 virtual int Opcode() const;
coleenp@548 306 virtual Node *Identity( PhaseTransform *phase );
kvn@559 307 virtual const Type *Value( PhaseTransform *phase ) const;
roland@4159 308 };
coleenp@548 309
roland@4159 310 //------------------------------EncodePKlass--------------------------------
roland@4159 311 // Encodes a klass pointer into its compressed form
roland@4159 312 // Takes an extra argument which is the real heap base as a long which
roland@4159 313 // may be useful for code generation in the backend.
roland@4159 314 class EncodePKlassNode : public EncodeNarrowPtrNode {
roland@4159 315 public:
roland@4159 316 EncodePKlassNode(Node* value, const Type* type):
roland@4159 317 EncodeNarrowPtrNode(value, type) {
roland@4159 318 init_class_id(Class_EncodePKlass);
roland@4159 319 }
roland@4159 320 virtual int Opcode() const;
roland@4159 321 virtual Node *Identity( PhaseTransform *phase );
roland@4159 322 virtual const Type *Value( PhaseTransform *phase ) const;
roland@4159 323 };
roland@4159 324
roland@4159 325 //------------------------------DecodeNarrowPtr--------------------------------
roland@4159 326 class DecodeNarrowPtrNode : public TypeNode {
roland@4159 327 protected:
roland@4159 328 DecodeNarrowPtrNode(Node* value, const Type* type):
roland@4159 329 TypeNode(type, 2) {
roland@4159 330 init_class_id(Class_DecodeNarrowPtr);
roland@4159 331 init_req(0, NULL);
roland@4159 332 init_req(1, value);
roland@4159 333 }
roland@4159 334 public:
roland@4159 335 virtual uint ideal_reg() const { return Op_RegP; }
coleenp@548 336 };
coleenp@548 337
coleenp@548 338 //------------------------------DecodeN--------------------------------
coleenp@548 339 // Converts a narrow oop into a real oop ptr.
coleenp@548 340 // Takes an extra argument which is the real heap base as a long which
coleenp@548 341 // may be useful for code generation in the backend.
roland@4159 342 class DecodeNNode : public DecodeNarrowPtrNode {
coleenp@548 343 public:
coleenp@548 344 DecodeNNode(Node* value, const Type* type):
roland@4159 345 DecodeNarrowPtrNode(value, type) {
kvn@603 346 init_class_id(Class_DecodeN);
coleenp@548 347 }
coleenp@548 348 virtual int Opcode() const;
roland@4159 349 virtual const Type *Value( PhaseTransform *phase ) const;
coleenp@548 350 virtual Node *Identity( PhaseTransform *phase );
roland@4159 351 };
roland@4159 352
roland@4159 353 //------------------------------DecodeNKlass--------------------------------
roland@4159 354 // Converts a narrow klass pointer into a real klass ptr.
roland@4159 355 // Takes an extra argument which is the real heap base as a long which
roland@4159 356 // may be useful for code generation in the backend.
roland@4159 357 class DecodeNKlassNode : public DecodeNarrowPtrNode {
roland@4159 358 public:
roland@4159 359 DecodeNKlassNode(Node* value, const Type* type):
roland@4159 360 DecodeNarrowPtrNode(value, type) {
roland@4159 361 init_class_id(Class_DecodeNKlass);
roland@4159 362 }
roland@4159 363 virtual int Opcode() const;
kvn@559 364 virtual const Type *Value( PhaseTransform *phase ) const;
roland@4159 365 virtual Node *Identity( PhaseTransform *phase );
coleenp@548 366 };
coleenp@548 367
duke@435 368 //------------------------------Conv2BNode-------------------------------------
duke@435 369 // Convert int/pointer to a Boolean. Map zero to zero, all else to 1.
duke@435 370 class Conv2BNode : public Node {
duke@435 371 public:
duke@435 372 Conv2BNode( Node *i ) : Node(0,i) {}
duke@435 373 virtual int Opcode() const;
duke@435 374 virtual const Type *bottom_type() const { return TypeInt::BOOL; }
duke@435 375 virtual Node *Identity( PhaseTransform *phase );
duke@435 376 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 377 virtual uint ideal_reg() const { return Op_RegI; }
duke@435 378 };
duke@435 379
duke@435 380 // The conversions operations are all Alpha sorted. Please keep it that way!
duke@435 381 //------------------------------ConvD2FNode------------------------------------
duke@435 382 // Convert double to float
duke@435 383 class ConvD2FNode : public Node {
duke@435 384 public:
duke@435 385 ConvD2FNode( Node *in1 ) : Node(0,in1) {}
duke@435 386 virtual int Opcode() const;
duke@435 387 virtual const Type *bottom_type() const { return Type::FLOAT; }
duke@435 388 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 389 virtual Node *Identity( PhaseTransform *phase );
duke@435 390 virtual uint ideal_reg() const { return Op_RegF; }
duke@435 391 };
duke@435 392
duke@435 393 //------------------------------ConvD2INode------------------------------------
duke@435 394 // Convert Double to Integer
duke@435 395 class ConvD2INode : public Node {
duke@435 396 public:
duke@435 397 ConvD2INode( Node *in1 ) : Node(0,in1) {}
duke@435 398 virtual int Opcode() const;
duke@435 399 virtual const Type *bottom_type() const { return TypeInt::INT; }
duke@435 400 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 401 virtual Node *Identity( PhaseTransform *phase );
duke@435 402 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
duke@435 403 virtual uint ideal_reg() const { return Op_RegI; }
duke@435 404 };
duke@435 405
duke@435 406 //------------------------------ConvD2LNode------------------------------------
duke@435 407 // Convert Double to Long
duke@435 408 class ConvD2LNode : public Node {
duke@435 409 public:
duke@435 410 ConvD2LNode( Node *dbl ) : Node(0,dbl) {}
duke@435 411 virtual int Opcode() const;
duke@435 412 virtual const Type *bottom_type() const { return TypeLong::LONG; }
duke@435 413 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 414 virtual Node *Identity( PhaseTransform *phase );
duke@435 415 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
duke@435 416 virtual uint ideal_reg() const { return Op_RegL; }
duke@435 417 };
duke@435 418
duke@435 419 //------------------------------ConvF2DNode------------------------------------
duke@435 420 // Convert Float to a Double.
duke@435 421 class ConvF2DNode : public Node {
duke@435 422 public:
duke@435 423 ConvF2DNode( Node *in1 ) : Node(0,in1) {}
duke@435 424 virtual int Opcode() const;
duke@435 425 virtual const Type *bottom_type() const { return Type::DOUBLE; }
duke@435 426 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 427 virtual uint ideal_reg() const { return Op_RegD; }
duke@435 428 };
duke@435 429
duke@435 430 //------------------------------ConvF2INode------------------------------------
duke@435 431 // Convert float to integer
duke@435 432 class ConvF2INode : public Node {
duke@435 433 public:
duke@435 434 ConvF2INode( Node *in1 ) : Node(0,in1) {}
duke@435 435 virtual int Opcode() const;
duke@435 436 virtual const Type *bottom_type() const { return TypeInt::INT; }
duke@435 437 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 438 virtual Node *Identity( PhaseTransform *phase );
duke@435 439 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
duke@435 440 virtual uint ideal_reg() const { return Op_RegI; }
duke@435 441 };
duke@435 442
duke@435 443 //------------------------------ConvF2LNode------------------------------------
duke@435 444 // Convert float to long
duke@435 445 class ConvF2LNode : public Node {
duke@435 446 public:
duke@435 447 ConvF2LNode( Node *in1 ) : Node(0,in1) {}
duke@435 448 virtual int Opcode() const;
duke@435 449 virtual const Type *bottom_type() const { return TypeLong::LONG; }
duke@435 450 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 451 virtual Node *Identity( PhaseTransform *phase );
duke@435 452 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
duke@435 453 virtual uint ideal_reg() const { return Op_RegL; }
duke@435 454 };
duke@435 455
duke@435 456 //------------------------------ConvI2DNode------------------------------------
duke@435 457 // Convert Integer to Double
duke@435 458 class ConvI2DNode : public Node {
duke@435 459 public:
duke@435 460 ConvI2DNode( Node *in1 ) : Node(0,in1) {}
duke@435 461 virtual int Opcode() const;
duke@435 462 virtual const Type *bottom_type() const { return Type::DOUBLE; }
duke@435 463 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 464 virtual uint ideal_reg() const { return Op_RegD; }
duke@435 465 };
duke@435 466
duke@435 467 //------------------------------ConvI2FNode------------------------------------
duke@435 468 // Convert Integer to Float
duke@435 469 class ConvI2FNode : public Node {
duke@435 470 public:
duke@435 471 ConvI2FNode( Node *in1 ) : Node(0,in1) {}
duke@435 472 virtual int Opcode() const;
duke@435 473 virtual const Type *bottom_type() const { return Type::FLOAT; }
duke@435 474 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 475 virtual Node *Identity( PhaseTransform *phase );
duke@435 476 virtual uint ideal_reg() const { return Op_RegF; }
duke@435 477 };
duke@435 478
duke@435 479 //------------------------------ConvI2LNode------------------------------------
duke@435 480 // Convert integer to long
duke@435 481 class ConvI2LNode : public TypeNode {
duke@435 482 public:
duke@435 483 ConvI2LNode(Node *in1, const TypeLong* t = TypeLong::INT)
duke@435 484 : TypeNode(t, 2)
duke@435 485 { init_req(1, in1); }
duke@435 486 virtual int Opcode() const;
duke@435 487 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 488 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
duke@435 489 virtual uint ideal_reg() const { return Op_RegL; }
duke@435 490 };
duke@435 491
duke@435 492 //------------------------------ConvL2DNode------------------------------------
duke@435 493 // Convert Long to Double
duke@435 494 class ConvL2DNode : public Node {
duke@435 495 public:
duke@435 496 ConvL2DNode( Node *in1 ) : Node(0,in1) {}
duke@435 497 virtual int Opcode() const;
duke@435 498 virtual const Type *bottom_type() const { return Type::DOUBLE; }
duke@435 499 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 500 virtual uint ideal_reg() const { return Op_RegD; }
duke@435 501 };
duke@435 502
duke@435 503 //------------------------------ConvL2FNode------------------------------------
duke@435 504 // Convert Long to Float
duke@435 505 class ConvL2FNode : public Node {
duke@435 506 public:
duke@435 507 ConvL2FNode( Node *in1 ) : Node(0,in1) {}
duke@435 508 virtual int Opcode() const;
duke@435 509 virtual const Type *bottom_type() const { return Type::FLOAT; }
duke@435 510 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 511 virtual uint ideal_reg() const { return Op_RegF; }
duke@435 512 };
duke@435 513
duke@435 514 //------------------------------ConvL2INode------------------------------------
duke@435 515 // Convert long to integer
duke@435 516 class ConvL2INode : public Node {
duke@435 517 public:
duke@435 518 ConvL2INode( Node *in1 ) : Node(0,in1) {}
duke@435 519 virtual int Opcode() const;
duke@435 520 virtual const Type *bottom_type() const { return TypeInt::INT; }
duke@435 521 virtual Node *Identity( PhaseTransform *phase );
duke@435 522 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 523 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
duke@435 524 virtual uint ideal_reg() const { return Op_RegI; }
duke@435 525 };
duke@435 526
duke@435 527 //------------------------------CastX2PNode-------------------------------------
duke@435 528 // convert a machine-pointer-sized integer to a raw pointer
duke@435 529 class CastX2PNode : public Node {
duke@435 530 public:
duke@435 531 CastX2PNode( Node *n ) : Node(NULL, n) {}
duke@435 532 virtual int Opcode() const;
duke@435 533 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 534 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
duke@435 535 virtual Node *Identity( PhaseTransform *phase );
duke@435 536 virtual uint ideal_reg() const { return Op_RegP; }
duke@435 537 virtual const Type *bottom_type() const { return TypeRawPtr::BOTTOM; }
duke@435 538 };
duke@435 539
duke@435 540 //------------------------------CastP2XNode-------------------------------------
duke@435 541 // Used in both 32-bit and 64-bit land.
duke@435 542 // Used for card-marks and unsafe pointer math.
duke@435 543 class CastP2XNode : public Node {
duke@435 544 public:
duke@435 545 CastP2XNode( Node *ctrl, Node *n ) : Node(ctrl, n) {}
duke@435 546 virtual int Opcode() const;
duke@435 547 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 548 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
duke@435 549 virtual Node *Identity( PhaseTransform *phase );
duke@435 550 virtual uint ideal_reg() const { return Op_RegX; }
duke@435 551 virtual const Type *bottom_type() const { return TypeX_X; }
duke@435 552 // Return false to keep node from moving away from an associated card mark.
duke@435 553 virtual bool depends_only_on_test() const { return false; }
duke@435 554 };
duke@435 555
duke@435 556 //------------------------------ThreadLocalNode--------------------------------
duke@435 557 // Ideal Node which returns the base of ThreadLocalStorage.
duke@435 558 class ThreadLocalNode : public Node {
duke@435 559 public:
duke@435 560 ThreadLocalNode( ) : Node((Node*)Compile::current()->root()) {}
duke@435 561 virtual int Opcode() const;
duke@435 562 virtual const Type *bottom_type() const { return TypeRawPtr::BOTTOM;}
duke@435 563 virtual uint ideal_reg() const { return Op_RegP; }
duke@435 564 };
duke@435 565
duke@435 566 //------------------------------LoadReturnPCNode-------------------------------
duke@435 567 class LoadReturnPCNode: public Node {
duke@435 568 public:
duke@435 569 LoadReturnPCNode(Node *c) : Node(c) { }
duke@435 570 virtual int Opcode() const;
duke@435 571 virtual uint ideal_reg() const { return Op_RegP; }
duke@435 572 };
duke@435 573
duke@435 574
duke@435 575 //-----------------------------RoundFloatNode----------------------------------
duke@435 576 class RoundFloatNode: public Node {
duke@435 577 public:
duke@435 578 RoundFloatNode(Node* c, Node *in1): Node(c, in1) {}
duke@435 579 virtual int Opcode() const;
duke@435 580 virtual const Type *bottom_type() const { return Type::FLOAT; }
duke@435 581 virtual uint ideal_reg() const { return Op_RegF; }
duke@435 582 virtual Node *Identity( PhaseTransform *phase );
duke@435 583 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 584 };
duke@435 585
duke@435 586
duke@435 587 //-----------------------------RoundDoubleNode---------------------------------
duke@435 588 class RoundDoubleNode: public Node {
duke@435 589 public:
duke@435 590 RoundDoubleNode(Node* c, Node *in1): Node(c, in1) {}
duke@435 591 virtual int Opcode() const;
duke@435 592 virtual const Type *bottom_type() const { return Type::DOUBLE; }
duke@435 593 virtual uint ideal_reg() const { return Op_RegD; }
duke@435 594 virtual Node *Identity( PhaseTransform *phase );
duke@435 595 virtual const Type *Value( PhaseTransform *phase ) const;
duke@435 596 };
duke@435 597
duke@435 598 //------------------------------Opaque1Node------------------------------------
duke@435 599 // A node to prevent unwanted optimizations. Allows constant folding.
duke@435 600 // Stops value-numbering, Ideal calls or Identity functions.
duke@435 601 class Opaque1Node : public Node {
duke@435 602 virtual uint hash() const ; // { return NO_HASH; }
duke@435 603 virtual uint cmp( const Node &n ) const;
duke@435 604 public:
kvn@651 605 Opaque1Node( Compile* C, Node *n ) : Node(0,n) {
kvn@651 606 // Put it on the Macro nodes list to removed during macro nodes expansion.
kvn@651 607 init_flags(Flag_is_macro);
kvn@651 608 C->add_macro_node(this);
kvn@651 609 }
duke@435 610 // Special version for the pre-loop to hold the original loop limit
duke@435 611 // which is consumed by range check elimination.
kvn@651 612 Opaque1Node( Compile* C, Node *n, Node* orig_limit ) : Node(0,n,orig_limit) {
kvn@651 613 // Put it on the Macro nodes list to removed during macro nodes expansion.
kvn@651 614 init_flags(Flag_is_macro);
kvn@651 615 C->add_macro_node(this);
kvn@651 616 }
duke@435 617 Node* original_loop_limit() { return req()==3 ? in(2) : NULL; }
duke@435 618 virtual int Opcode() const;
duke@435 619 virtual const Type *bottom_type() const { return TypeInt::INT; }
duke@435 620 virtual Node *Identity( PhaseTransform *phase );
duke@435 621 };
duke@435 622
duke@435 623 //------------------------------Opaque2Node------------------------------------
duke@435 624 // A node to prevent unwanted optimizations. Allows constant folding. Stops
duke@435 625 // value-numbering, most Ideal calls or Identity functions. This Node is
duke@435 626 // specifically designed to prevent the pre-increment value of a loop trip
duke@435 627 // counter from being live out of the bottom of the loop (hence causing the
duke@435 628 // pre- and post-increment values both being live and thus requiring an extra
duke@435 629 // temp register and an extra move). If we "accidentally" optimize through
duke@435 630 // this kind of a Node, we'll get slightly pessimal, but correct, code. Thus
duke@435 631 // it's OK to be slightly sloppy on optimizations here.
duke@435 632 class Opaque2Node : public Node {
duke@435 633 virtual uint hash() const ; // { return NO_HASH; }
duke@435 634 virtual uint cmp( const Node &n ) const;
duke@435 635 public:
kvn@651 636 Opaque2Node( Compile* C, Node *n ) : Node(0,n) {
kvn@651 637 // Put it on the Macro nodes list to removed during macro nodes expansion.
kvn@651 638 init_flags(Flag_is_macro);
kvn@651 639 C->add_macro_node(this);
kvn@651 640 }
duke@435 641 virtual int Opcode() const;
duke@435 642 virtual const Type *bottom_type() const { return TypeInt::INT; }
duke@435 643 };
duke@435 644
kvn@6429 645 //------------------------------Opaque3Node------------------------------------
kvn@6429 646 // A node to prevent unwanted optimizations. Will be optimized only during
kvn@6429 647 // macro nodes expansion.
kvn@6429 648 class Opaque3Node : public Opaque2Node {
kvn@6429 649 int _opt; // what optimization it was used for
kvn@6429 650 public:
kvn@6429 651 enum { RTM_OPT };
kvn@6429 652 Opaque3Node(Compile* C, Node *n, int opt) : Opaque2Node(C, n), _opt(opt) {}
kvn@6429 653 virtual int Opcode() const;
kvn@6429 654 bool rtm_opt() const { return (_opt == RTM_OPT); }
kvn@6429 655 };
kvn@6429 656
kvn@6429 657
duke@435 658 //----------------------PartialSubtypeCheckNode--------------------------------
duke@435 659 // The 2nd slow-half of a subtype check. Scan the subklass's 2ndary superklass
duke@435 660 // array for an instance of the superklass. Set a hidden internal cache on a
duke@435 661 // hit (cache is checked with exposed code in gen_subtype_check()). Return
duke@435 662 // not zero for a miss or zero for a hit.
duke@435 663 class PartialSubtypeCheckNode : public Node {
duke@435 664 public:
duke@435 665 PartialSubtypeCheckNode(Node* c, Node* sub, Node* super) : Node(c,sub,super) {}
duke@435 666 virtual int Opcode() const;
duke@435 667 virtual const Type *bottom_type() const { return TypeRawPtr::BOTTOM; }
duke@435 668 virtual uint ideal_reg() const { return Op_RegP; }
duke@435 669 };
duke@435 670
duke@435 671 //
duke@435 672 class MoveI2FNode : public Node {
duke@435 673 public:
duke@435 674 MoveI2FNode( Node *value ) : Node(0,value) {}
duke@435 675 virtual int Opcode() const;
duke@435 676 virtual const Type *bottom_type() const { return Type::FLOAT; }
duke@435 677 virtual uint ideal_reg() const { return Op_RegF; }
duke@435 678 virtual const Type* Value( PhaseTransform *phase ) const;
duke@435 679 };
duke@435 680
duke@435 681 class MoveL2DNode : public Node {
duke@435 682 public:
duke@435 683 MoveL2DNode( Node *value ) : Node(0,value) {}
duke@435 684 virtual int Opcode() const;
duke@435 685 virtual const Type *bottom_type() const { return Type::DOUBLE; }
duke@435 686 virtual uint ideal_reg() const { return Op_RegD; }
duke@435 687 virtual const Type* Value( PhaseTransform *phase ) const;
duke@435 688 };
duke@435 689
duke@435 690 class MoveF2INode : public Node {
duke@435 691 public:
duke@435 692 MoveF2INode( Node *value ) : Node(0,value) {}
duke@435 693 virtual int Opcode() const;
duke@435 694 virtual const Type *bottom_type() const { return TypeInt::INT; }
duke@435 695 virtual uint ideal_reg() const { return Op_RegI; }
duke@435 696 virtual const Type* Value( PhaseTransform *phase ) const;
duke@435 697 };
duke@435 698
duke@435 699 class MoveD2LNode : public Node {
duke@435 700 public:
duke@435 701 MoveD2LNode( Node *value ) : Node(0,value) {}
duke@435 702 virtual int Opcode() const;
duke@435 703 virtual const Type *bottom_type() const { return TypeLong::LONG; }
duke@435 704 virtual uint ideal_reg() const { return Op_RegL; }
duke@435 705 virtual const Type* Value( PhaseTransform *phase ) const;
duke@435 706 };
twisti@1078 707
twisti@1210 708 //---------- CountBitsNode -----------------------------------------------------
twisti@1210 709 class CountBitsNode : public Node {
twisti@1078 710 public:
twisti@1210 711 CountBitsNode(Node* in1) : Node(0, in1) {}
twisti@1078 712 const Type* bottom_type() const { return TypeInt::INT; }
twisti@1078 713 virtual uint ideal_reg() const { return Op_RegI; }
twisti@1078 714 };
twisti@1078 715
twisti@1210 716 //---------- CountLeadingZerosINode --------------------------------------------
twisti@1210 717 // Count leading zeros (0-bit count starting from MSB) of an integer.
twisti@1210 718 class CountLeadingZerosINode : public CountBitsNode {
twisti@1210 719 public:
twisti@1210 720 CountLeadingZerosINode(Node* in1) : CountBitsNode(in1) {}
twisti@1210 721 virtual int Opcode() const;
twisti@1210 722 virtual const Type* Value(PhaseTransform* phase) const;
twisti@1210 723 };
twisti@1210 724
twisti@1210 725 //---------- CountLeadingZerosLNode --------------------------------------------
twisti@1210 726 // Count leading zeros (0-bit count starting from MSB) of a long.
twisti@1210 727 class CountLeadingZerosLNode : public CountBitsNode {
twisti@1210 728 public:
twisti@1210 729 CountLeadingZerosLNode(Node* in1) : CountBitsNode(in1) {}
twisti@1210 730 virtual int Opcode() const;
twisti@1210 731 virtual const Type* Value(PhaseTransform* phase) const;
twisti@1210 732 };
twisti@1210 733
twisti@1210 734 //---------- CountTrailingZerosINode -------------------------------------------
twisti@1210 735 // Count trailing zeros (0-bit count starting from LSB) of an integer.
twisti@1210 736 class CountTrailingZerosINode : public CountBitsNode {
twisti@1210 737 public:
twisti@1210 738 CountTrailingZerosINode(Node* in1) : CountBitsNode(in1) {}
twisti@1210 739 virtual int Opcode() const;
twisti@1210 740 virtual const Type* Value(PhaseTransform* phase) const;
twisti@1210 741 };
twisti@1210 742
twisti@1210 743 //---------- CountTrailingZerosLNode -------------------------------------------
twisti@1210 744 // Count trailing zeros (0-bit count starting from LSB) of a long.
twisti@1210 745 class CountTrailingZerosLNode : public CountBitsNode {
twisti@1210 746 public:
twisti@1210 747 CountTrailingZerosLNode(Node* in1) : CountBitsNode(in1) {}
twisti@1210 748 virtual int Opcode() const;
twisti@1210 749 virtual const Type* Value(PhaseTransform* phase) const;
twisti@1210 750 };
twisti@1210 751
twisti@1210 752 //---------- PopCountINode -----------------------------------------------------
twisti@1210 753 // Population count (bit count) of an integer.
twisti@1210 754 class PopCountINode : public CountBitsNode {
twisti@1210 755 public:
twisti@1210 756 PopCountINode(Node* in1) : CountBitsNode(in1) {}
twisti@1210 757 virtual int Opcode() const;
twisti@1210 758 };
twisti@1210 759
twisti@1078 760 //---------- PopCountLNode -----------------------------------------------------
twisti@1078 761 // Population count (bit count) of a long.
twisti@1210 762 class PopCountLNode : public CountBitsNode {
twisti@1078 763 public:
twisti@1210 764 PopCountLNode(Node* in1) : CountBitsNode(in1) {}
twisti@1078 765 virtual int Opcode() const;
twisti@1078 766 };
stefank@2314 767
stefank@2314 768 #endif // SHARE_VM_OPTO_CONNODE_HPP

mercurial