src/share/vm/opto/connode.hpp

Wed, 23 Apr 2008 11:20:36 -0700

author
kvn
date
Wed, 23 Apr 2008 11:20:36 -0700
changeset 559
b130b98db9cf
parent 548
ba764ed4b6f2
child 561
72f4a668df19
permissions
-rw-r--r--

6689060: Escape Analysis does not work with Compressed Oops
Summary: 64-bits VM crashes with -XX:+AggresiveOpts (Escape Analysis + Compressed Oops)
Reviewed-by: never, sgoldman

     1 /*
     2  * Copyright 1997-2007 Sun Microsystems, Inc.  All Rights Reserved.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     4  *
     5  * This code is free software; you can redistribute it and/or modify it
     6  * under the terms of the GNU General Public License version 2 only, as
     7  * published by the Free Software Foundation.
     8  *
     9  * This code is distributed in the hope that it will be useful, but WITHOUT
    10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
    11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
    12  * version 2 for more details (a copy is included in the LICENSE file that
    13  * accompanied this code).
    14  *
    15  * You should have received a copy of the GNU General Public License version
    16  * 2 along with this work; if not, write to the Free Software Foundation,
    17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
    18  *
    19  * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
    20  * CA 95054 USA or visit www.sun.com if you need additional information or
    21  * have any questions.
    22  *
    23  */
    25 class PhaseTransform;
    26 class MachNode;
    28 //------------------------------ConNode----------------------------------------
    29 // Simple constants
    30 class ConNode : public TypeNode {
    31 public:
    32   ConNode( const Type *t ) : TypeNode(t,1) {
    33     init_req(0, (Node*)Compile::current()->root());
    34     init_flags(Flag_is_Con);
    35   }
    36   virtual int  Opcode() const;
    37   virtual uint hash() const;
    38   virtual const RegMask &out_RegMask() const { return RegMask::Empty; }
    39   virtual const RegMask &in_RegMask(uint) const { return RegMask::Empty; }
    41   // Polymorphic factory method:
    42   static ConNode* make( Compile* C, const Type *t );
    43 };
    45 //------------------------------ConINode---------------------------------------
    46 // Simple integer constants
    47 class ConINode : public ConNode {
    48 public:
    49   ConINode( const TypeInt *t ) : ConNode(t) {}
    50   virtual int Opcode() const;
    52   // Factory method:
    53   static ConINode* make( Compile* C, int con ) {
    54     return new (C, 1) ConINode( TypeInt::make(con) );
    55   }
    57 };
    59 //------------------------------ConPNode---------------------------------------
    60 // Simple pointer constants
    61 class ConPNode : public ConNode {
    62 public:
    63   ConPNode( const TypePtr *t ) : ConNode(t) {}
    64   virtual int Opcode() const;
    66   // Factory methods:
    67   static ConPNode* make( Compile *C ,address con ) {
    68     if (con == NULL)
    69       return new (C, 1) ConPNode( TypePtr::NULL_PTR ) ;
    70     else
    71       return new (C, 1) ConPNode( TypeRawPtr::make(con) );
    72   }
    74   static ConPNode* make( Compile *C, ciObject* con ) {
    75     return new (C, 1) ConPNode( TypeOopPtr::make_from_constant(con) );
    76   }
    78 };
    81 //------------------------------ConNNode--------------------------------------
    82 // Simple narrow oop constants
    83 class ConNNode : public ConNode {
    84 public:
    85   ConNNode( const TypeNarrowOop *t ) : ConNode(t) {}
    86   virtual int Opcode() const;
    88   static ConNNode* make( Compile *C, ciObject* con ) {
    89     return new (C, 1) ConNNode( TypeNarrowOop::make_from_constant(con) );
    90   }
    92 };
    95 //------------------------------ConLNode---------------------------------------
    96 // Simple long constants
    97 class ConLNode : public ConNode {
    98 public:
    99   ConLNode( const TypeLong *t ) : ConNode(t) {}
   100   virtual int Opcode() const;
   102   // Factory method:
   103   static ConLNode* make( Compile *C ,jlong con ) {
   104     return new (C, 1) ConLNode( TypeLong::make(con) );
   105   }
   107 };
   109 //------------------------------ConFNode---------------------------------------
   110 // Simple float constants
   111 class ConFNode : public ConNode {
   112 public:
   113   ConFNode( const TypeF *t ) : ConNode(t) {}
   114   virtual int Opcode() const;
   116   // Factory method:
   117   static ConFNode* make( Compile *C, float con  ) {
   118     return new (C, 1) ConFNode( TypeF::make(con) );
   119   }
   121 };
   123 //------------------------------ConDNode---------------------------------------
   124 // Simple double constants
   125 class ConDNode : public ConNode {
   126 public:
   127   ConDNode( const TypeD *t ) : ConNode(t) {}
   128   virtual int Opcode() const;
   130   // Factory method:
   131   static ConDNode* make( Compile *C, double con ) {
   132     return new (C, 1) ConDNode( TypeD::make(con) );
   133   }
   135 };
   137 //------------------------------BinaryNode-------------------------------------
   138 // Place holder for the 2 conditional inputs to a CMove.  CMove needs 4
   139 // inputs: the Bool (for the lt/gt/eq/ne bits), the flags (result of some
   140 // compare), and the 2 values to select between.  The Matcher requires a
   141 // binary tree so we break it down like this:
   142 //     (CMove (Binary bol cmp) (Binary src1 src2))
   143 class BinaryNode : public Node {
   144 public:
   145   BinaryNode( Node *n1, Node *n2 ) : Node(0,n1,n2) { }
   146   virtual int Opcode() const;
   147   virtual uint ideal_reg() const { return 0; }
   148 };
   150 //------------------------------CMoveNode--------------------------------------
   151 // Conditional move
   152 class CMoveNode : public TypeNode {
   153 public:
   154   enum { Control,               // When is it safe to do this cmove?
   155          Condition,             // Condition controlling the cmove
   156          IfFalse,               // Value if condition is false
   157          IfTrue };              // Value if condition is true
   158   CMoveNode( Node *bol, Node *left, Node *right, const Type *t ) : TypeNode(t,4)
   159   {
   160     init_class_id(Class_CMove);
   161     // all inputs are nullified in Node::Node(int)
   162     // init_req(Control,NULL);
   163     init_req(Condition,bol);
   164     init_req(IfFalse,left);
   165     init_req(IfTrue,right);
   166   }
   167   virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
   168   virtual const Type *Value( PhaseTransform *phase ) const;
   169   virtual Node *Identity( PhaseTransform *phase );
   170   static CMoveNode *make( Compile *C, Node *c, Node *bol, Node *left, Node *right, const Type *t );
   171   // Helper function to spot cmove graph shapes
   172   static Node *is_cmove_id( PhaseTransform *phase, Node *cmp, Node *t, Node *f, BoolNode *b );
   173 };
   175 //------------------------------CMoveDNode-------------------------------------
   176 class CMoveDNode : public CMoveNode {
   177 public:
   178   CMoveDNode( Node *bol, Node *left, Node *right, const Type* t) : CMoveNode(bol,left,right,t){}
   179   virtual int Opcode() const;
   180   virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
   181 };
   183 //------------------------------CMoveFNode-------------------------------------
   184 class CMoveFNode : public CMoveNode {
   185 public:
   186   CMoveFNode( Node *bol, Node *left, Node *right, const Type* t ) : CMoveNode(bol,left,right,t) {}
   187   virtual int Opcode() const;
   188   virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
   189 };
   191 //------------------------------CMoveINode-------------------------------------
   192 class CMoveINode : public CMoveNode {
   193 public:
   194   CMoveINode( Node *bol, Node *left, Node *right, const TypeInt *ti ) : CMoveNode(bol,left,right,ti){}
   195   virtual int Opcode() const;
   196   virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
   197 };
   199 //------------------------------CMoveLNode-------------------------------------
   200 class CMoveLNode : public CMoveNode {
   201 public:
   202   CMoveLNode(Node *bol, Node *left, Node *right, const TypeLong *tl ) : CMoveNode(bol,left,right,tl){}
   203   virtual int Opcode() const;
   204 };
   206 //------------------------------CMovePNode-------------------------------------
   207 class CMovePNode : public CMoveNode {
   208 public:
   209   CMovePNode( Node *c, Node *bol, Node *left, Node *right, const TypePtr* t ) : CMoveNode(bol,left,right,t) { init_req(Control,c); }
   210   virtual int Opcode() const;
   211 };
   213 //------------------------------ConstraintCastNode-------------------------------------
   214 // cast to a different range
   215 class ConstraintCastNode: public TypeNode {
   216 public:
   217   ConstraintCastNode (Node *n, const Type *t ): TypeNode(t,2) {
   218     init_class_id(Class_ConstraintCast);
   219     init_req(1, n);
   220   }
   221   virtual Node *Identity( PhaseTransform *phase );
   222   virtual const Type *Value( PhaseTransform *phase ) const;
   223   virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
   224   virtual int Opcode() const;
   225   virtual uint ideal_reg() const = 0;
   226   virtual Node *Ideal_DU_postCCP( PhaseCCP * );
   227 };
   229 //------------------------------CastIINode-------------------------------------
   230 // cast integer to integer (different range)
   231 class CastIINode: public ConstraintCastNode {
   232 public:
   233   CastIINode (Node *n, const Type *t ): ConstraintCastNode(n,t) {}
   234   virtual int Opcode() const;
   235   virtual uint ideal_reg() const { return Op_RegI; }
   236 };
   238 //------------------------------CastPPNode-------------------------------------
   239 // cast pointer to pointer (different type)
   240 class CastPPNode: public ConstraintCastNode {
   241 public:
   242   CastPPNode (Node *n, const Type *t ): ConstraintCastNode(n, t) {
   243     // Only CastPP is safe.  CastII can cause optimizer loops.
   244     init_flags(Flag_is_dead_loop_safe);
   245   }
   246   virtual int Opcode() const;
   247   virtual uint ideal_reg() const { return Op_RegP; }
   248   virtual Node *Ideal_DU_postCCP( PhaseCCP * );
   249 };
   251 //------------------------------CheckCastPPNode--------------------------------
   252 // for _checkcast, cast pointer to pointer (different type), without JOIN,
   253 class CheckCastPPNode: public TypeNode {
   254 public:
   255   CheckCastPPNode( Node *c, Node *n, const Type *t ) : TypeNode(t,2) {
   256     init_class_id(Class_CheckCastPP);
   257     init_flags(Flag_is_dead_loop_safe);
   258     init_req(0, c);
   259     init_req(1, n);
   260   }
   261   virtual Node *Identity( PhaseTransform *phase );
   262   virtual const Type *Value( PhaseTransform *phase ) const;
   263   virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
   264   virtual int   Opcode() const;
   265   virtual uint  ideal_reg() const { return Op_RegP; }
   266   // No longer remove CheckCast after CCP as it gives me a place to hang
   267   // the proper address type - which is required to compute anti-deps.
   268   //virtual Node *Ideal_DU_postCCP( PhaseCCP * );
   269 };
   272 //------------------------------EncodeP--------------------------------
   273 // Encodes an oop pointers into its compressed form
   274 // Takes an extra argument which is the real heap base as a long which
   275 // may be useful for code generation in the backend.
   276 class EncodePNode : public TypeNode {
   277  public:
   278   EncodePNode(Node* value, const Type* type):
   279     TypeNode(type, 2) {
   280     init_req(0, NULL);
   281     init_req(1, value);
   282   }
   283   virtual int Opcode() const;
   284   virtual Node *Identity( PhaseTransform *phase );
   285   virtual const Type *Value( PhaseTransform *phase ) const;
   286   virtual uint  ideal_reg() const { return Op_RegN; }
   288   static Node* encode(PhaseGVN* phase, Node* value);
   289 };
   291 //------------------------------DecodeN--------------------------------
   292 // Converts a narrow oop into a real oop ptr.
   293 // Takes an extra argument which is the real heap base as a long which
   294 // may be useful for code generation in the backend.
   295 class DecodeNNode : public TypeNode {
   296  public:
   297   DecodeNNode(Node* value, const Type* type):
   298     TypeNode(type, 2) {
   299     init_req(0, NULL);
   300     init_req(1, value);
   301   }
   302   virtual int Opcode() const;
   303   virtual Node *Identity( PhaseTransform *phase );
   304   virtual const Type *Value( PhaseTransform *phase ) const;
   305   virtual uint  ideal_reg() const { return Op_RegP; }
   307   static Node* decode(PhaseGVN* phase, Node* value);
   308 };
   310 //------------------------------Conv2BNode-------------------------------------
   311 // Convert int/pointer to a Boolean.  Map zero to zero, all else to 1.
   312 class Conv2BNode : public Node {
   313 public:
   314   Conv2BNode( Node *i ) : Node(0,i) {}
   315   virtual int Opcode() const;
   316   virtual const Type *bottom_type() const { return TypeInt::BOOL; }
   317   virtual Node *Identity( PhaseTransform *phase );
   318   virtual const Type *Value( PhaseTransform *phase ) const;
   319   virtual uint  ideal_reg() const { return Op_RegI; }
   320 };
   322 // The conversions operations are all Alpha sorted.  Please keep it that way!
   323 //------------------------------ConvD2FNode------------------------------------
   324 // Convert double to float
   325 class ConvD2FNode : public Node {
   326 public:
   327   ConvD2FNode( Node *in1 ) : Node(0,in1) {}
   328   virtual int Opcode() const;
   329   virtual const Type *bottom_type() const { return Type::FLOAT; }
   330   virtual const Type *Value( PhaseTransform *phase ) const;
   331   virtual Node *Identity( PhaseTransform *phase );
   332   virtual uint  ideal_reg() const { return Op_RegF; }
   333 };
   335 //------------------------------ConvD2INode------------------------------------
   336 // Convert Double to Integer
   337 class ConvD2INode : public Node {
   338 public:
   339   ConvD2INode( Node *in1 ) : Node(0,in1) {}
   340   virtual int Opcode() const;
   341   virtual const Type *bottom_type() const { return TypeInt::INT; }
   342   virtual const Type *Value( PhaseTransform *phase ) const;
   343   virtual Node *Identity( PhaseTransform *phase );
   344   virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
   345   virtual uint  ideal_reg() const { return Op_RegI; }
   346 };
   348 //------------------------------ConvD2LNode------------------------------------
   349 // Convert Double to Long
   350 class ConvD2LNode : public Node {
   351 public:
   352   ConvD2LNode( Node *dbl ) : Node(0,dbl) {}
   353   virtual int Opcode() const;
   354   virtual const Type *bottom_type() const { return TypeLong::LONG; }
   355   virtual const Type *Value( PhaseTransform *phase ) const;
   356   virtual Node *Identity( PhaseTransform *phase );
   357   virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
   358   virtual uint ideal_reg() const { return Op_RegL; }
   359 };
   361 //------------------------------ConvF2DNode------------------------------------
   362 // Convert Float to a Double.
   363 class ConvF2DNode : public Node {
   364 public:
   365   ConvF2DNode( Node *in1 ) : Node(0,in1) {}
   366   virtual int Opcode() const;
   367   virtual const Type *bottom_type() const { return Type::DOUBLE; }
   368   virtual const Type *Value( PhaseTransform *phase ) const;
   369   virtual uint  ideal_reg() const { return Op_RegD; }
   370 };
   372 //------------------------------ConvF2INode------------------------------------
   373 // Convert float to integer
   374 class ConvF2INode : public Node {
   375 public:
   376   ConvF2INode( Node *in1 ) : Node(0,in1) {}
   377   virtual int Opcode() const;
   378   virtual const Type *bottom_type() const { return TypeInt::INT; }
   379   virtual const Type *Value( PhaseTransform *phase ) const;
   380   virtual Node *Identity( PhaseTransform *phase );
   381   virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
   382   virtual uint  ideal_reg() const { return Op_RegI; }
   383 };
   385 //------------------------------ConvF2LNode------------------------------------
   386 // Convert float to long
   387 class ConvF2LNode : public Node {
   388 public:
   389   ConvF2LNode( Node *in1 ) : Node(0,in1) {}
   390   virtual int Opcode() const;
   391   virtual const Type *bottom_type() const { return TypeLong::LONG; }
   392   virtual const Type *Value( PhaseTransform *phase ) const;
   393   virtual Node *Identity( PhaseTransform *phase );
   394   virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
   395   virtual uint  ideal_reg() const { return Op_RegL; }
   396 };
   398 //------------------------------ConvI2DNode------------------------------------
   399 // Convert Integer to Double
   400 class ConvI2DNode : public Node {
   401 public:
   402   ConvI2DNode( Node *in1 ) : Node(0,in1) {}
   403   virtual int Opcode() const;
   404   virtual const Type *bottom_type() const { return Type::DOUBLE; }
   405   virtual const Type *Value( PhaseTransform *phase ) const;
   406   virtual uint  ideal_reg() const { return Op_RegD; }
   407 };
   409 //------------------------------ConvI2FNode------------------------------------
   410 // Convert Integer to Float
   411 class ConvI2FNode : public Node {
   412 public:
   413   ConvI2FNode( Node *in1 ) : Node(0,in1) {}
   414   virtual int Opcode() const;
   415   virtual const Type *bottom_type() const { return Type::FLOAT; }
   416   virtual const Type *Value( PhaseTransform *phase ) const;
   417   virtual Node *Identity( PhaseTransform *phase );
   418   virtual uint  ideal_reg() const { return Op_RegF; }
   419 };
   421 //------------------------------ConvI2LNode------------------------------------
   422 // Convert integer to long
   423 class ConvI2LNode : public TypeNode {
   424 public:
   425   ConvI2LNode(Node *in1, const TypeLong* t = TypeLong::INT)
   426     : TypeNode(t, 2)
   427   { init_req(1, in1); }
   428   virtual int Opcode() const;
   429   virtual const Type *Value( PhaseTransform *phase ) const;
   430   virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
   431   virtual uint  ideal_reg() const { return Op_RegL; }
   432 };
   434 //------------------------------ConvL2DNode------------------------------------
   435 // Convert Long to Double
   436 class ConvL2DNode : public Node {
   437 public:
   438   ConvL2DNode( Node *in1 ) : Node(0,in1) {}
   439   virtual int Opcode() const;
   440   virtual const Type *bottom_type() const { return Type::DOUBLE; }
   441   virtual const Type *Value( PhaseTransform *phase ) const;
   442   virtual uint ideal_reg() const { return Op_RegD; }
   443 };
   445 //------------------------------ConvL2FNode------------------------------------
   446 // Convert Long to Float
   447 class ConvL2FNode : public Node {
   448 public:
   449   ConvL2FNode( Node *in1 ) : Node(0,in1) {}
   450   virtual int Opcode() const;
   451   virtual const Type *bottom_type() const { return Type::FLOAT; }
   452   virtual const Type *Value( PhaseTransform *phase ) const;
   453   virtual uint  ideal_reg() const { return Op_RegF; }
   454 };
   456 //------------------------------ConvL2INode------------------------------------
   457 // Convert long to integer
   458 class ConvL2INode : public Node {
   459 public:
   460   ConvL2INode( Node *in1 ) : Node(0,in1) {}
   461   virtual int Opcode() const;
   462   virtual const Type *bottom_type() const { return TypeInt::INT; }
   463   virtual Node *Identity( PhaseTransform *phase );
   464   virtual const Type *Value( PhaseTransform *phase ) const;
   465   virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
   466   virtual uint  ideal_reg() const { return Op_RegI; }
   467 };
   469 //------------------------------CastX2PNode-------------------------------------
   470 // convert a machine-pointer-sized integer to a raw pointer
   471 class CastX2PNode : public Node {
   472 public:
   473   CastX2PNode( Node *n ) : Node(NULL, n) {}
   474   virtual int Opcode() const;
   475   virtual const Type *Value( PhaseTransform *phase ) const;
   476   virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
   477   virtual Node *Identity( PhaseTransform *phase );
   478   virtual uint ideal_reg() const { return Op_RegP; }
   479   virtual const Type *bottom_type() const { return TypeRawPtr::BOTTOM; }
   480 };
   482 //------------------------------CastP2XNode-------------------------------------
   483 // Used in both 32-bit and 64-bit land.
   484 // Used for card-marks and unsafe pointer math.
   485 class CastP2XNode : public Node {
   486 public:
   487   CastP2XNode( Node *ctrl, Node *n ) : Node(ctrl, n) {}
   488   virtual int Opcode() const;
   489   virtual const Type *Value( PhaseTransform *phase ) const;
   490   virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
   491   virtual Node *Identity( PhaseTransform *phase );
   492   virtual uint ideal_reg() const { return Op_RegX; }
   493   virtual const Type *bottom_type() const { return TypeX_X; }
   494   // Return false to keep node from moving away from an associated card mark.
   495   virtual bool depends_only_on_test() const { return false; }
   496 };
   498 //------------------------------MemMoveNode------------------------------------
   499 // Memory to memory move.  Inserted very late, after allocation.
   500 class MemMoveNode : public Node {
   501 public:
   502   MemMoveNode( Node *dst, Node *src ) : Node(0,dst,src) {}
   503   virtual int Opcode() const;
   504 };
   506 //------------------------------ThreadLocalNode--------------------------------
   507 // Ideal Node which returns the base of ThreadLocalStorage.
   508 class ThreadLocalNode : public Node {
   509 public:
   510   ThreadLocalNode( ) : Node((Node*)Compile::current()->root()) {}
   511   virtual int Opcode() const;
   512   virtual const Type *bottom_type() const { return TypeRawPtr::BOTTOM;}
   513   virtual uint ideal_reg() const { return Op_RegP; }
   514 };
   516 //------------------------------LoadReturnPCNode-------------------------------
   517 class LoadReturnPCNode: public Node {
   518 public:
   519   LoadReturnPCNode(Node *c) : Node(c) { }
   520   virtual int Opcode() const;
   521   virtual uint ideal_reg() const { return Op_RegP; }
   522 };
   525 //-----------------------------RoundFloatNode----------------------------------
   526 class RoundFloatNode: public Node {
   527 public:
   528   RoundFloatNode(Node* c, Node *in1): Node(c, in1) {}
   529   virtual int   Opcode() const;
   530   virtual const Type *bottom_type() const { return Type::FLOAT; }
   531   virtual uint  ideal_reg() const { return Op_RegF; }
   532   virtual Node *Identity( PhaseTransform *phase );
   533   virtual const Type *Value( PhaseTransform *phase ) const;
   534 };
   537 //-----------------------------RoundDoubleNode---------------------------------
   538 class RoundDoubleNode: public Node {
   539 public:
   540   RoundDoubleNode(Node* c, Node *in1): Node(c, in1) {}
   541   virtual int   Opcode() const;
   542   virtual const Type *bottom_type() const { return Type::DOUBLE; }
   543   virtual uint  ideal_reg() const { return Op_RegD; }
   544   virtual Node *Identity( PhaseTransform *phase );
   545   virtual const Type *Value( PhaseTransform *phase ) const;
   546 };
   548 //------------------------------Opaque1Node------------------------------------
   549 // A node to prevent unwanted optimizations.  Allows constant folding.
   550 // Stops value-numbering, Ideal calls or Identity functions.
   551 class Opaque1Node : public Node {
   552   virtual uint hash() const ;                  // { return NO_HASH; }
   553   virtual uint cmp( const Node &n ) const;
   554 public:
   555   Opaque1Node( Node *n ) : Node(0,n) {}
   556   // Special version for the pre-loop to hold the original loop limit
   557   // which is consumed by range check elimination.
   558   Opaque1Node( Node *n, Node* orig_limit ) : Node(0,n,orig_limit) {}
   559   Node* original_loop_limit() { return req()==3 ? in(2) : NULL; }
   560   virtual int Opcode() const;
   561   virtual const Type *bottom_type() const { return TypeInt::INT; }
   562   virtual Node *Identity( PhaseTransform *phase );
   563 };
   565 //------------------------------Opaque2Node------------------------------------
   566 // A node to prevent unwanted optimizations.  Allows constant folding.  Stops
   567 // value-numbering, most Ideal calls or Identity functions.  This Node is
   568 // specifically designed to prevent the pre-increment value of a loop trip
   569 // counter from being live out of the bottom of the loop (hence causing the
   570 // pre- and post-increment values both being live and thus requiring an extra
   571 // temp register and an extra move).  If we "accidentally" optimize through
   572 // this kind of a Node, we'll get slightly pessimal, but correct, code.  Thus
   573 // it's OK to be slightly sloppy on optimizations here.
   574 class Opaque2Node : public Node {
   575   virtual uint hash() const ;                  // { return NO_HASH; }
   576   virtual uint cmp( const Node &n ) const;
   577 public:
   578   Opaque2Node( Node *n ) : Node(0,n) {}
   579   virtual int Opcode() const;
   580   virtual const Type *bottom_type() const { return TypeInt::INT; }
   581 };
   583 //----------------------PartialSubtypeCheckNode--------------------------------
   584 // The 2nd slow-half of a subtype check.  Scan the subklass's 2ndary superklass
   585 // array for an instance of the superklass.  Set a hidden internal cache on a
   586 // hit (cache is checked with exposed code in gen_subtype_check()).  Return
   587 // not zero for a miss or zero for a hit.
   588 class PartialSubtypeCheckNode : public Node {
   589 public:
   590   PartialSubtypeCheckNode(Node* c, Node* sub, Node* super) : Node(c,sub,super) {}
   591   virtual int Opcode() const;
   592   virtual const Type *bottom_type() const { return TypeRawPtr::BOTTOM; }
   593   virtual uint ideal_reg() const { return Op_RegP; }
   594 };
   596 //
   597 class MoveI2FNode : public Node {
   598  public:
   599   MoveI2FNode( Node *value ) : Node(0,value) {}
   600   virtual int Opcode() const;
   601   virtual const Type *bottom_type() const { return Type::FLOAT; }
   602   virtual uint ideal_reg() const { return Op_RegF; }
   603   virtual const Type* Value( PhaseTransform *phase ) const;
   604 };
   606 class MoveL2DNode : public Node {
   607  public:
   608   MoveL2DNode( Node *value ) : Node(0,value) {}
   609   virtual int Opcode() const;
   610   virtual const Type *bottom_type() const { return Type::DOUBLE; }
   611   virtual uint ideal_reg() const { return Op_RegD; }
   612   virtual const Type* Value( PhaseTransform *phase ) const;
   613 };
   615 class MoveF2INode : public Node {
   616  public:
   617   MoveF2INode( Node *value ) : Node(0,value) {}
   618   virtual int Opcode() const;
   619   virtual const Type *bottom_type() const { return TypeInt::INT; }
   620   virtual uint ideal_reg() const { return Op_RegI; }
   621   virtual const Type* Value( PhaseTransform *phase ) const;
   622 };
   624 class MoveD2LNode : public Node {
   625  public:
   626   MoveD2LNode( Node *value ) : Node(0,value) {}
   627   virtual int Opcode() const;
   628   virtual const Type *bottom_type() const { return TypeLong::LONG; }
   629   virtual uint ideal_reg() const { return Op_RegL; }
   630   virtual const Type* Value( PhaseTransform *phase ) const;
   631 };

mercurial