hotspot/src/share/vm/opto/callnode.hpp
author roland
Wed, 18 Feb 2015 18:14:07 +0100
changeset 29337 ef2be52deeaf
parent 29086 74100114a95a
child 30629 b6e5ad2f18d5
permissions -rw-r--r--
6912521: System.arraycopy works slower than the simple loop for little lengths Summary: convert small array copies to series of loads and stores Reviewed-by: kvn, vlivanov
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
29086
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
     2
 * Copyright (c) 1997, 2015, Oracle and/or its affiliates. All rights reserved.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     4
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
489c9b5090e2 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
489c9b5090e2 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     8
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
489c9b5090e2 Initial load
duke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
489c9b5090e2 Initial load
duke
parents:
diff changeset
    13
 * accompanied this code).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    14
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
489c9b5090e2 Initial load
duke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    18
 *
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 4566
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 4566
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 4566
diff changeset
    21
 * questions.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    25
#ifndef SHARE_VM_OPTO_CALLNODE_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    26
#define SHARE_VM_OPTO_CALLNODE_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    27
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    28
#include "opto/connode.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    29
#include "opto/mulnode.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    30
#include "opto/multnode.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    31
#include "opto/opcodes.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    32
#include "opto/phaseX.hpp"
24946
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
    33
#include "opto/replacednodes.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    34
#include "opto/type.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    35
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
// Portions of code courtesy of Clifford Click
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
// Optimization - Graph Style
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
class Chaitin;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
class NamedCounter;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
class MultiNode;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
class  SafePointNode;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
class   CallNode;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
class     CallJavaNode;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
class       CallStaticJavaNode;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
class       CallDynamicJavaNode;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
class     CallRuntimeNode;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
class       CallLeafNode;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
class         CallLeafNoFPNode;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
class     AllocateNode;
206
d61cf247afd5 6667580: Optimize CmpP for allocations
kvn
parents: 1
diff changeset
    52
class       AllocateArrayNode;
17383
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
    53
class     BoxLockNode;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
class     LockNode;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
class     UnlockNode;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
class JVMState;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
class OopMap;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
class State;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
class StartNode;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
class MachCallNode;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
class FastLockNode;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
//------------------------------StartNode--------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
// The method start node
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
class StartNode : public MultiNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
  virtual uint cmp( const Node &n ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
  virtual uint size_of() const; // Size is bigger
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
  const TypeTuple *_domain;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
  StartNode( Node *root, const TypeTuple *domain ) : MultiNode(2), _domain(domain) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
    init_class_id(Class_Start);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
    init_req(0,this);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
    init_req(1,root);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
  virtual bool pinned() const { return true; };
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
  virtual const Type *bottom_type() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
  virtual const TypePtr *adr_type() const { return TypePtr::BOTTOM; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
  virtual const Type *Value( PhaseTransform *phase ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
  virtual void  calling_convention( BasicType* sig_bt, VMRegPair *parm_reg, uint length ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
  virtual const RegMask &in_RegMask(uint) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
  virtual Node *match( const ProjNode *proj, const Matcher *m );
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
  virtual uint ideal_reg() const { return 0; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
  virtual void  dump_spec(outputStream *st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
//------------------------------StartOSRNode-----------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
// The method start node for on stack replacement code
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
class StartOSRNode : public StartNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
  StartOSRNode( Node *root, const TypeTuple *domain ) : StartNode(root, domain) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
  virtual int   Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
  static  const TypeTuple *osr_domain();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
//------------------------------ParmNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
// Incoming parameters
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
class ParmNode : public ProjNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
  static const char * const names[TypeFunc::Parms+1];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
public:
206
d61cf247afd5 6667580: Optimize CmpP for allocations
kvn
parents: 1
diff changeset
   105
  ParmNode( StartNode *src, uint con ) : ProjNode(src,con) {
d61cf247afd5 6667580: Optimize CmpP for allocations
kvn
parents: 1
diff changeset
   106
    init_class_id(Class_Parm);
d61cf247afd5 6667580: Optimize CmpP for allocations
kvn
parents: 1
diff changeset
   107
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
  virtual bool  is_CFG() const { return (_con == TypeFunc::Control); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
  virtual uint ideal_reg() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
  virtual void dump_spec(outputStream *st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
//------------------------------ReturnNode-------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
// Return from subroutine node
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
class ReturnNode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
  ReturnNode( uint edges, Node *cntrl, Node *i_o, Node *memory, Node *retadr, Node *frameptr );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
  virtual bool  is_CFG() const { return true; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
  virtual uint hash() const { return NO_HASH; }  // CFG nodes do not hash
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
  virtual bool depends_only_on_test() const { return false; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
  virtual const Type *Value( PhaseTransform *phase ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
  virtual uint ideal_reg() const { return NotAMachineReg; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
  virtual uint match_edge(uint idx) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
#ifndef PRODUCT
15241
87d217c2d183 8005055: pass outputStream to more opto debug routines
kvn
parents: 15113
diff changeset
   131
  virtual void dump_req(outputStream *st = tty) const;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
//------------------------------RethrowNode------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
// Rethrow of exception at call site.  Ends a procedure before rethrowing;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
// ends the current basic block like a ReturnNode.  Restores registers and
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
// unwinds stack.  Rethrow happens in the caller's method.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
class RethrowNode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
  RethrowNode( Node *cntrl, Node *i_o, Node *memory, Node *frameptr, Node *ret_adr, Node *exception );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
  virtual bool  is_CFG() const { return true; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
  virtual uint hash() const { return NO_HASH; }  // CFG nodes do not hash
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
  virtual bool depends_only_on_test() const { return false; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
  virtual const Type *Value( PhaseTransform *phase ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
  virtual uint match_edge(uint idx) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
  virtual uint ideal_reg() const { return NotAMachineReg; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
#ifndef PRODUCT
15241
87d217c2d183 8005055: pass outputStream to more opto debug routines
kvn
parents: 15113
diff changeset
   152
  virtual void dump_req(outputStream *st = tty) const;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
//------------------------------TailCallNode-----------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
// Pop stack frame and jump indirect
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
class TailCallNode : public ReturnNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   160
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
  TailCallNode( Node *cntrl, Node *i_o, Node *memory, Node *frameptr, Node *retadr, Node *target, Node *moop )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
    : ReturnNode( TypeFunc::Parms+2, cntrl, i_o, memory, frameptr, retadr ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
    init_req(TypeFunc::Parms, target);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   164
    init_req(TypeFunc::Parms+1, moop);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   168
  virtual uint match_edge(uint idx) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   169
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
//------------------------------TailJumpNode-----------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
// Pop stack frame and jump indirect
489c9b5090e2 Initial load
duke
parents:
diff changeset
   173
class TailJumpNode : public ReturnNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   174
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   175
  TailJumpNode( Node *cntrl, Node *i_o, Node *memory, Node *frameptr, Node *target, Node *ex_oop)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
    : ReturnNode(TypeFunc::Parms+2, cntrl, i_o, memory, frameptr, Compile::current()->top()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
    init_req(TypeFunc::Parms, target);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   178
    init_req(TypeFunc::Parms+1, ex_oop);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   179
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   180
489c9b5090e2 Initial load
duke
parents:
diff changeset
   181
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   182
  virtual uint match_edge(uint idx) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   183
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
489c9b5090e2 Initial load
duke
parents:
diff changeset
   185
//-------------------------------JVMState-------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
// A linked list of JVMState nodes captures the whole interpreter state,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
// plus GC roots, for all active calls at some call site in this compilation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   188
// unit.  (If there is no inlining, then the list has exactly one link.)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   189
// This provides a way to map the optimized program back into the interpreter,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   190
// or to let the GC mark the stack.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   191
class JVMState : public ResourceObj {
10547
ea4a2ec31ae2 7088955: add C2 IR support to the SA
never
parents: 10255
diff changeset
   192
  friend class VMStructs;
3600
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   193
public:
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   194
  typedef enum {
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   195
    Reexecute_Undefined = -1, // not defined -- will be translated into false later
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   196
    Reexecute_False     =  0, // false       -- do not reexecute
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   197
    Reexecute_True      =  1  // true        -- reexecute the bytecode
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   198
  } ReexecuteState; //Reexecute State
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   199
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   200
private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   201
  JVMState*         _caller;    // List pointer for forming scope chains
13391
30245956af37 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 12158
diff changeset
   202
  uint              _depth;     // One more than caller depth, or one.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   203
  uint              _locoff;    // Offset to locals in input edge mapping
489c9b5090e2 Initial load
duke
parents:
diff changeset
   204
  uint              _stkoff;    // Offset to stack in input edge mapping
489c9b5090e2 Initial load
duke
parents:
diff changeset
   205
  uint              _monoff;    // Offset to monitors in input edge mapping
236
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   206
  uint              _scloff;    // Offset to fields of scalar objs in input edge mapping
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   207
  uint              _endoff;    // Offset to end of input edge mapping
489c9b5090e2 Initial load
duke
parents:
diff changeset
   208
  uint              _sp;        // Jave Expression Stack Pointer for this state
489c9b5090e2 Initial load
duke
parents:
diff changeset
   209
  int               _bci;       // Byte Code Index of this JVM point
3600
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   210
  ReexecuteState    _reexecute; // Whether this bytecode need to be re-executed
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   211
  ciMethod*         _method;    // Method Pointer
489c9b5090e2 Initial load
duke
parents:
diff changeset
   212
  SafePointNode*    _map;       // Map node associated with this scope
489c9b5090e2 Initial load
duke
parents:
diff changeset
   213
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   214
  friend class Compile;
3600
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   215
  friend class PreserveReexecuteState;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
489c9b5090e2 Initial load
duke
parents:
diff changeset
   217
  // Because JVMState objects live over the entire lifetime of the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
  // Compile object, they are allocated into the comp_arena, which
489c9b5090e2 Initial load
duke
parents:
diff changeset
   219
  // does not get resource marked or reset during the compile process
19696
bd5a0131bde1 8021954: VM SIGSEGV during classloading on MacOS; hs_err_pid file produced
coleenp
parents: 17383
diff changeset
   220
  void *operator new( size_t x, Compile* C ) throw() { return C->comp_arena()->Amalloc(x); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
  void operator delete( void * ) { } // fast deallocation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
489c9b5090e2 Initial load
duke
parents:
diff changeset
   223
  // Create a new JVMState, ready for abstract interpretation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
  JVMState(ciMethod* method, JVMState* caller);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
  JVMState(int stack_size);  // root state; has a null method
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
  // Access functions for the JVM
13391
30245956af37 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 12158
diff changeset
   228
  // ... --|--- loc ---|--- stk ---|--- arg ---|--- mon ---|--- scl ---|
30245956af37 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 12158
diff changeset
   229
  //       \ locoff    \ stkoff    \ argoff    \ monoff    \ scloff    \ endoff
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
  uint              locoff() const { return _locoff; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
  uint              stkoff() const { return _stkoff; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
  uint              argoff() const { return _stkoff + _sp; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   233
  uint              monoff() const { return _monoff; }
236
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   234
  uint              scloff() const { return _scloff; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   235
  uint              endoff() const { return _endoff; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
  uint              oopoff() const { return debug_end(); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
13391
30245956af37 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 12158
diff changeset
   238
  int            loc_size() const { return stkoff() - locoff(); }
30245956af37 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 12158
diff changeset
   239
  int            stk_size() const { return monoff() - stkoff(); }
30245956af37 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 12158
diff changeset
   240
  int            mon_size() const { return scloff() - monoff(); }
30245956af37 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 12158
diff changeset
   241
  int            scl_size() const { return endoff() - scloff(); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   242
13391
30245956af37 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 12158
diff changeset
   243
  bool        is_loc(uint i) const { return locoff() <= i && i < stkoff(); }
30245956af37 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 12158
diff changeset
   244
  bool        is_stk(uint i) const { return stkoff() <= i && i < monoff(); }
30245956af37 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 12158
diff changeset
   245
  bool        is_mon(uint i) const { return monoff() <= i && i < scloff(); }
30245956af37 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 12158
diff changeset
   246
  bool        is_scl(uint i) const { return scloff() <= i && i < endoff(); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
3600
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   248
  uint                      sp() const { return _sp; }
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   249
  int                      bci() const { return _bci; }
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   250
  bool        should_reexecute() const { return _reexecute==Reexecute_True; }
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   251
  bool  is_reexecute_undefined() const { return _reexecute==Reexecute_Undefined; }
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   252
  bool              has_method() const { return _method != NULL; }
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   253
  ciMethod*             method() const { assert(has_method(), ""); return _method; }
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   254
  JVMState*             caller() const { return _caller; }
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   255
  SafePointNode*           map() const { return _map; }
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   256
  uint                   depth() const { return _depth; }
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   257
  uint             debug_start() const; // returns locoff of root caller
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   258
  uint               debug_end() const; // returns endoff of self
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   259
  uint              debug_size() const {
236
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   260
    return loc_size() + sp() + mon_size() + scl_size();
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   261
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   262
  uint        debug_depth()  const; // returns sum of debug_size values at all depths
489c9b5090e2 Initial load
duke
parents:
diff changeset
   263
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
  // Returns the JVM state at the desired depth (1 == root).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   265
  JVMState* of_depth(int d) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   266
489c9b5090e2 Initial load
duke
parents:
diff changeset
   267
  // Tells if two JVM states have the same call chain (depth, methods, & bcis).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   268
  bool same_calls_as(const JVMState* that) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   269
489c9b5090e2 Initial load
duke
parents:
diff changeset
   270
  // Monitors (monitors are stored as (boxNode, objNode) pairs
489c9b5090e2 Initial load
duke
parents:
diff changeset
   271
  enum { logMonitorEdges = 1 };
489c9b5090e2 Initial load
duke
parents:
diff changeset
   272
  int  nof_monitors()              const { return mon_size() >> logMonitorEdges; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   273
  int  monitor_depth()             const { return nof_monitors() + (caller() ? caller()->monitor_depth() : 0); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   274
  int  monitor_box_offset(int idx) const { return monoff() + (idx << logMonitorEdges) + 0; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   275
  int  monitor_obj_offset(int idx) const { return monoff() + (idx << logMonitorEdges) + 1; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   276
  bool is_monitor_box(uint off)    const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   277
    assert(is_mon(off), "should be called only for monitor edge");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   278
    return (0 == bitfield(off - monoff(), 0, logMonitorEdges));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   279
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   280
  bool is_monitor_use(uint off)    const { return (is_mon(off)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   281
                                                   && is_monitor_box(off))
489c9b5090e2 Initial load
duke
parents:
diff changeset
   282
                                             || (caller() && caller()->is_monitor_use(off)); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   283
489c9b5090e2 Initial load
duke
parents:
diff changeset
   284
  // Initialization functions for the JVM
489c9b5090e2 Initial load
duke
parents:
diff changeset
   285
  void              set_locoff(uint off) { _locoff = off; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   286
  void              set_stkoff(uint off) { _stkoff = off; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   287
  void              set_monoff(uint off) { _monoff = off; }
236
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   288
  void              set_scloff(uint off) { _scloff = off; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   289
  void              set_endoff(uint off) { _endoff = off; }
236
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   290
  void              set_offsets(uint off) {
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   291
    _locoff = _stkoff = _monoff = _scloff = _endoff = off;
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   292
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
  void              set_map(SafePointNode *map) { _map = map; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
  void              set_sp(uint sp) { _sp = sp; }
3600
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   295
                    // _reexecute is initialized to "undefined" for a new bci
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   296
  void              set_bci(int bci) {if(_bci != bci)_reexecute=Reexecute_Undefined; _bci = bci; }
27aa4477d039 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 2528
diff changeset
   297
  void              set_should_reexecute(bool reexec) {_reexecute = reexec ? Reexecute_True : Reexecute_False;}
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   298
489c9b5090e2 Initial load
duke
parents:
diff changeset
   299
  // Miscellaneous utility functions
489c9b5090e2 Initial load
duke
parents:
diff changeset
   300
  JVMState* clone_deep(Compile* C) const;    // recursively clones caller chain
489c9b5090e2 Initial load
duke
parents:
diff changeset
   301
  JVMState* clone_shallow(Compile* C) const; // retains uncloned caller
17383
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   302
  void      set_map_deep(SafePointNode *map);// reset map for all callers
22865
3b8857d7b3cc 8030863: PPC64: (part 220): ConstantTableBase for calls between args and jvms
goetz
parents: 19725
diff changeset
   303
  void      adapt_position(int delta);       // Adapt offsets in in-array after adding an edge.
24018
77b156916bab 8032410: compiler/uncommontrap/TestStackBangRbp.java times out on Solaris-Sparc V9
roland
parents: 22865
diff changeset
   304
  int       interpreter_frame_size() const;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   305
489c9b5090e2 Initial load
duke
parents:
diff changeset
   306
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   307
  void      format(PhaseRegAlloc *regalloc, const Node *n, outputStream* st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   308
  void      dump_spec(outputStream *st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   309
  void      dump_on(outputStream* st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   310
  void      dump() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   311
    dump_on(tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   312
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   313
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   314
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   315
489c9b5090e2 Initial load
duke
parents:
diff changeset
   316
//------------------------------SafePointNode----------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   317
// A SafePointNode is a subclass of a MultiNode for convenience (and
489c9b5090e2 Initial load
duke
parents:
diff changeset
   318
// potential code sharing) only - conceptually it is independent of
489c9b5090e2 Initial load
duke
parents:
diff changeset
   319
// the Node semantics.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   320
class SafePointNode : public MultiNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   321
  virtual uint           cmp( const Node &n ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   322
  virtual uint           size_of() const;       // Size is bigger
489c9b5090e2 Initial load
duke
parents:
diff changeset
   323
489c9b5090e2 Initial load
duke
parents:
diff changeset
   324
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   325
  SafePointNode(uint edges, JVMState* jvms,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   326
                // A plain safepoint advertises no memory effects (NULL):
489c9b5090e2 Initial load
duke
parents:
diff changeset
   327
                const TypePtr* adr_type = NULL)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   328
    : MultiNode( edges ),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   329
      _jvms(jvms),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   330
      _oop_map(NULL),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   331
      _adr_type(adr_type)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   332
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   333
    init_class_id(Class_SafePoint);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   334
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   335
489c9b5090e2 Initial load
duke
parents:
diff changeset
   336
  OopMap*         _oop_map;   // Array of OopMap info (8-bit char) for GC
489c9b5090e2 Initial load
duke
parents:
diff changeset
   337
  JVMState* const _jvms;      // Pointer to list of JVM State objects
489c9b5090e2 Initial load
duke
parents:
diff changeset
   338
  const TypePtr*  _adr_type;  // What type of memory does this node produce?
24946
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   339
  ReplacedNodes   _replaced_nodes; // During parsing: list of pair of nodes from calls to GraphKit::replace_in_map()
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   340
489c9b5090e2 Initial load
duke
parents:
diff changeset
   341
  // Many calls take *all* of memory as input,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   342
  // but some produce a limited subset of that memory as output.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   343
  // The adr_type reports the call's behavior as a store, not a load.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   344
489c9b5090e2 Initial load
duke
parents:
diff changeset
   345
  virtual JVMState* jvms() const { return _jvms; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   346
  void set_jvms(JVMState* s) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   347
    *(JVMState**)&_jvms = s;  // override const attribute in the accessor
489c9b5090e2 Initial load
duke
parents:
diff changeset
   348
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   349
  OopMap *oop_map() const { return _oop_map; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   350
  void set_oop_map(OopMap *om) { _oop_map = om; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   351
14621
fd9265ab0f67 7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents: 13391
diff changeset
   352
 private:
fd9265ab0f67 7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents: 13391
diff changeset
   353
  void verify_input(JVMState* jvms, uint idx) const {
fd9265ab0f67 7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents: 13391
diff changeset
   354
    assert(verify_jvms(jvms), "jvms must match");
fd9265ab0f67 7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents: 13391
diff changeset
   355
    Node* n = in(idx);
fd9265ab0f67 7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents: 13391
diff changeset
   356
    assert((!n->bottom_type()->isa_long() && !n->bottom_type()->isa_double()) ||
fd9265ab0f67 7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents: 13391
diff changeset
   357
           in(idx + 1)->is_top(), "2nd half of long/double");
fd9265ab0f67 7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents: 13391
diff changeset
   358
  }
fd9265ab0f67 7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents: 13391
diff changeset
   359
fd9265ab0f67 7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents: 13391
diff changeset
   360
 public:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   361
  // Functionality from old debug nodes which has changed
489c9b5090e2 Initial load
duke
parents:
diff changeset
   362
  Node *local(JVMState* jvms, uint idx) const {
14621
fd9265ab0f67 7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents: 13391
diff changeset
   363
    verify_input(jvms, jvms->locoff() + idx);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   364
    return in(jvms->locoff() + idx);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   365
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   366
  Node *stack(JVMState* jvms, uint idx) const {
14621
fd9265ab0f67 7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents: 13391
diff changeset
   367
    verify_input(jvms, jvms->stkoff() + idx);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   368
    return in(jvms->stkoff() + idx);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   369
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   370
  Node *argument(JVMState* jvms, uint idx) const {
14621
fd9265ab0f67 7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents: 13391
diff changeset
   371
    verify_input(jvms, jvms->argoff() + idx);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   372
    return in(jvms->argoff() + idx);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   373
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   374
  Node *monitor_box(JVMState* jvms, uint idx) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   375
    assert(verify_jvms(jvms), "jvms must match");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   376
    return in(jvms->monitor_box_offset(idx));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   377
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   378
  Node *monitor_obj(JVMState* jvms, uint idx) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   379
    assert(verify_jvms(jvms), "jvms must match");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   380
    return in(jvms->monitor_obj_offset(idx));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   381
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   382
489c9b5090e2 Initial load
duke
parents:
diff changeset
   383
  void  set_local(JVMState* jvms, uint idx, Node *c);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   384
489c9b5090e2 Initial load
duke
parents:
diff changeset
   385
  void  set_stack(JVMState* jvms, uint idx, Node *c) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   386
    assert(verify_jvms(jvms), "jvms must match");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   387
    set_req(jvms->stkoff() + idx, c);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   388
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   389
  void  set_argument(JVMState* jvms, uint idx, Node *c) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   390
    assert(verify_jvms(jvms), "jvms must match");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   391
    set_req(jvms->argoff() + idx, c);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   392
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   393
  void ensure_stack(JVMState* jvms, uint stk_size) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   394
    assert(verify_jvms(jvms), "jvms must match");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   395
    int grow_by = (int)stk_size - (int)jvms->stk_size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   396
    if (grow_by > 0)  grow_stack(jvms, grow_by);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   397
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   398
  void grow_stack(JVMState* jvms, uint grow_by);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   399
  // Handle monitor stack
489c9b5090e2 Initial load
duke
parents:
diff changeset
   400
  void push_monitor( const FastLockNode *lock );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   401
  void pop_monitor ();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   402
  Node *peek_monitor_box() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   403
  Node *peek_monitor_obj() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   404
489c9b5090e2 Initial load
duke
parents:
diff changeset
   405
  // Access functions for the JVM
489c9b5090e2 Initial load
duke
parents:
diff changeset
   406
  Node *control  () const { return in(TypeFunc::Control  ); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   407
  Node *i_o      () const { return in(TypeFunc::I_O      ); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   408
  Node *memory   () const { return in(TypeFunc::Memory   ); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   409
  Node *returnadr() const { return in(TypeFunc::ReturnAdr); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   410
  Node *frameptr () const { return in(TypeFunc::FramePtr ); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   411
489c9b5090e2 Initial load
duke
parents:
diff changeset
   412
  void set_control  ( Node *c ) { set_req(TypeFunc::Control,c); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   413
  void set_i_o      ( Node *c ) { set_req(TypeFunc::I_O    ,c); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   414
  void set_memory   ( Node *c ) { set_req(TypeFunc::Memory ,c); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   415
489c9b5090e2 Initial load
duke
parents:
diff changeset
   416
  MergeMemNode* merged_memory() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   417
    return in(TypeFunc::Memory)->as_MergeMem();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   418
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   419
489c9b5090e2 Initial load
duke
parents:
diff changeset
   420
  // The parser marks useless maps as dead when it's done with them:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   421
  bool is_killed() { return in(TypeFunc::Control) == NULL; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   422
489c9b5090e2 Initial load
duke
parents:
diff changeset
   423
  // Exception states bubbling out of subgraphs such as inlined calls
489c9b5090e2 Initial load
duke
parents:
diff changeset
   424
  // are recorded here.  (There might be more than one, hence the "next".)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   425
  // This feature is used only for safepoints which serve as "maps"
489c9b5090e2 Initial load
duke
parents:
diff changeset
   426
  // for JVM states during parsing, intrinsic expansion, etc.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   427
  SafePointNode*         next_exception() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   428
  void               set_next_exception(SafePointNode* n);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   429
  bool                   has_exceptions() const { return next_exception() != NULL; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   430
24946
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   431
  // Helper methods to operate on replaced nodes
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   432
  ReplacedNodes replaced_nodes() const {
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   433
    return _replaced_nodes;
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   434
  }
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   435
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   436
  void set_replaced_nodes(ReplacedNodes replaced_nodes) {
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   437
    _replaced_nodes = replaced_nodes;
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   438
  }
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   439
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   440
  void clone_replaced_nodes() {
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   441
    _replaced_nodes.clone();
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   442
  }
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   443
  void record_replaced_node(Node* initial, Node* improved) {
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   444
    _replaced_nodes.record(initial, improved);
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   445
  }
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   446
  void transfer_replaced_nodes_from(SafePointNode* sfpt, uint idx = 0) {
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   447
    _replaced_nodes.transfer_from(sfpt->_replaced_nodes, idx);
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   448
  }
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   449
  void delete_replaced_nodes() {
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   450
    _replaced_nodes.reset();
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   451
  }
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   452
  void apply_replaced_nodes() {
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   453
    _replaced_nodes.apply(this);
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   454
  }
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   455
  void merge_replaced_nodes_with(SafePointNode* sfpt) {
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   456
    _replaced_nodes.merge_with(sfpt->_replaced_nodes);
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   457
  }
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   458
  bool has_replaced_nodes() const {
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   459
    return !_replaced_nodes.is_empty();
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   460
  }
24b68ccf3fc4 8026796: Make replace_in_map() on parent maps generic
roland
parents: 24018
diff changeset
   461
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   462
  // Standard Node stuff
489c9b5090e2 Initial load
duke
parents:
diff changeset
   463
  virtual int            Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   464
  virtual bool           pinned() const { return true; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   465
  virtual const Type    *Value( PhaseTransform *phase ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   466
  virtual const Type    *bottom_type() const { return Type::CONTROL; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   467
  virtual const TypePtr *adr_type() const { return _adr_type; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   468
  virtual Node          *Ideal(PhaseGVN *phase, bool can_reshape);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   469
  virtual Node          *Identity( PhaseTransform *phase );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   470
  virtual uint           ideal_reg() const { return 0; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   471
  virtual const RegMask &in_RegMask(uint) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   472
  virtual const RegMask &out_RegMask() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   473
  virtual uint           match_edge(uint idx) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   474
489c9b5090e2 Initial load
duke
parents:
diff changeset
   475
  static  bool           needs_polling_address_input();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   476
489c9b5090e2 Initial load
duke
parents:
diff changeset
   477
#ifndef PRODUCT
17383
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   478
  virtual void           dump_spec(outputStream *st) const;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   479
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   480
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   481
236
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   482
//------------------------------SafePointScalarObjectNode----------------------
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   483
// A SafePointScalarObjectNode represents the state of a scalarized object
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   484
// at a safepoint.
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   485
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   486
class SafePointScalarObjectNode: public TypeNode {
19708
64e8c91f5f3e 8012972: Incremental Inlining should support scalar replaced object in debug info
kvn
parents: 17383
diff changeset
   487
  uint _first_index; // First input edge relative index of a SafePoint node where
236
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   488
                     // states of the scalarized object fields are collected.
19708
64e8c91f5f3e 8012972: Incremental Inlining should support scalar replaced object in debug info
kvn
parents: 17383
diff changeset
   489
                     // It is relative to the last (youngest) jvms->_scloff.
236
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   490
  uint _n_fields;    // Number of non-static fields of the scalarized object.
247
2aeab9ac7fea 6674600: (Escape Analysis) Optimize memory graph for instance's fields
kvn
parents: 238
diff changeset
   491
  DEBUG_ONLY(AllocateNode* _alloc;)
11191
d54ab5dcba83 6890673: Eliminate allocations immediately after EA
kvn
parents: 10547
diff changeset
   492
d54ab5dcba83 6890673: Eliminate allocations immediately after EA
kvn
parents: 10547
diff changeset
   493
  virtual uint hash() const ; // { return NO_HASH; }
d54ab5dcba83 6890673: Eliminate allocations immediately after EA
kvn
parents: 10547
diff changeset
   494
  virtual uint cmp( const Node &n ) const;
d54ab5dcba83 6890673: Eliminate allocations immediately after EA
kvn
parents: 10547
diff changeset
   495
19708
64e8c91f5f3e 8012972: Incremental Inlining should support scalar replaced object in debug info
kvn
parents: 17383
diff changeset
   496
  uint first_index() const { return _first_index; }
64e8c91f5f3e 8012972: Incremental Inlining should support scalar replaced object in debug info
kvn
parents: 17383
diff changeset
   497
236
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   498
public:
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   499
  SafePointScalarObjectNode(const TypeOopPtr* tp,
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   500
#ifdef ASSERT
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   501
                            AllocateNode* alloc,
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   502
#endif
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   503
                            uint first_index, uint n_fields);
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   504
  virtual int Opcode() const;
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   505
  virtual uint           ideal_reg() const;
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   506
  virtual const RegMask &in_RegMask(uint) const;
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   507
  virtual const RegMask &out_RegMask() const;
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   508
  virtual uint           match_edge(uint idx) const;
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   509
19708
64e8c91f5f3e 8012972: Incremental Inlining should support scalar replaced object in debug info
kvn
parents: 17383
diff changeset
   510
  uint first_index(JVMState* jvms) const {
64e8c91f5f3e 8012972: Incremental Inlining should support scalar replaced object in debug info
kvn
parents: 17383
diff changeset
   511
    assert(jvms != NULL, "missed JVMS");
64e8c91f5f3e 8012972: Incremental Inlining should support scalar replaced object in debug info
kvn
parents: 17383
diff changeset
   512
    return jvms->scloff() + _first_index;
64e8c91f5f3e 8012972: Incremental Inlining should support scalar replaced object in debug info
kvn
parents: 17383
diff changeset
   513
  }
236
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   514
  uint n_fields()    const { return _n_fields; }
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   515
11191
d54ab5dcba83 6890673: Eliminate allocations immediately after EA
kvn
parents: 10547
diff changeset
   516
#ifdef ASSERT
d54ab5dcba83 6890673: Eliminate allocations immediately after EA
kvn
parents: 10547
diff changeset
   517
  AllocateNode* alloc() const { return _alloc; }
d54ab5dcba83 6890673: Eliminate allocations immediately after EA
kvn
parents: 10547
diff changeset
   518
#endif
2127
268ea58ed775 6809798: SafePointScalarObject node placed into incorrect block during GCM
kvn
parents: 1613
diff changeset
   519
236
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   520
  virtual uint size_of() const { return sizeof(*this); }
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   521
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   522
  // Assumes that "this" is an argument to a safepoint node "s", and that
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   523
  // "new_call" is being created to correspond to "s".  But the difference
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   524
  // between the start index of the jvmstates of "new_call" and "s" is
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   525
  // "jvms_adj".  Produce and return a SafePointScalarObjectNode that
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   526
  // corresponds appropriately to "this" in "new_call".  Assumes that
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   527
  // "sosn_map" is a map, specific to the translation of "s" to "new_call",
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   528
  // mapping old SafePointScalarObjectNodes to new, to avoid multiple copies.
19708
64e8c91f5f3e 8012972: Incremental Inlining should support scalar replaced object in debug info
kvn
parents: 17383
diff changeset
   529
  SafePointScalarObjectNode* clone(Dict* sosn_map) const;
236
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   530
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   531
#ifndef PRODUCT
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   532
  virtual void              dump_spec(outputStream *st) const;
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   533
#endif
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   534
};
9a04268c8eea 6671807: (Escape Analysis) Add new ideal node to represent the state of a scalarized object at a safepoint
kvn
parents: 212
diff changeset
   535
4450
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   536
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   537
// Simple container for the outgoing projections of a call.  Useful
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   538
// for serious surgery on calls.
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   539
class CallProjections : public StackObj {
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   540
public:
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   541
  Node* fallthrough_proj;
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   542
  Node* fallthrough_catchproj;
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   543
  Node* fallthrough_memproj;
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   544
  Node* fallthrough_ioproj;
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   545
  Node* catchall_catchproj;
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   546
  Node* catchall_memproj;
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   547
  Node* catchall_ioproj;
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   548
  Node* resproj;
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   549
  Node* exobj;
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   550
};
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   551
15113
823590505eb4 8005071: Incremental inlining for JSR 292
roland
parents: 14621
diff changeset
   552
class CallGenerator;
4450
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   553
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   554
//------------------------------CallNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   555
// Call nodes now subsume the function of debug nodes at callsites, so they
489c9b5090e2 Initial load
duke
parents:
diff changeset
   556
// contain the functionality of a full scope chain of debug nodes.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   557
class CallNode : public SafePointNode {
10547
ea4a2ec31ae2 7088955: add C2 IR support to the SA
never
parents: 10255
diff changeset
   558
  friend class VMStructs;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   559
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   560
  const TypeFunc *_tf;        // Function type
489c9b5090e2 Initial load
duke
parents:
diff changeset
   561
  address      _entry_point;  // Address of method being called
489c9b5090e2 Initial load
duke
parents:
diff changeset
   562
  float        _cnt;          // Estimate of number of times called
15113
823590505eb4 8005071: Incremental inlining for JSR 292
roland
parents: 14621
diff changeset
   563
  CallGenerator* _generator;  // corresponding CallGenerator for some late inline calls
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   564
489c9b5090e2 Initial load
duke
parents:
diff changeset
   565
  CallNode(const TypeFunc* tf, address addr, const TypePtr* adr_type)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   566
    : SafePointNode(tf->domain()->cnt(), NULL, adr_type),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   567
      _tf(tf),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   568
      _entry_point(addr),
15113
823590505eb4 8005071: Incremental inlining for JSR 292
roland
parents: 14621
diff changeset
   569
      _cnt(COUNT_UNKNOWN),
823590505eb4 8005071: Incremental inlining for JSR 292
roland
parents: 14621
diff changeset
   570
      _generator(NULL)
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   571
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   572
    init_class_id(Class_Call);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   573
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   574
15113
823590505eb4 8005071: Incremental inlining for JSR 292
roland
parents: 14621
diff changeset
   575
  const TypeFunc* tf()         const { return _tf; }
823590505eb4 8005071: Incremental inlining for JSR 292
roland
parents: 14621
diff changeset
   576
  const address  entry_point() const { return _entry_point; }
823590505eb4 8005071: Incremental inlining for JSR 292
roland
parents: 14621
diff changeset
   577
  const float    cnt()         const { return _cnt; }
823590505eb4 8005071: Incremental inlining for JSR 292
roland
parents: 14621
diff changeset
   578
  CallGenerator* generator()   const { return _generator; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   579
15113
823590505eb4 8005071: Incremental inlining for JSR 292
roland
parents: 14621
diff changeset
   580
  void set_tf(const TypeFunc* tf)       { _tf = tf; }
823590505eb4 8005071: Incremental inlining for JSR 292
roland
parents: 14621
diff changeset
   581
  void set_entry_point(address p)       { _entry_point = p; }
823590505eb4 8005071: Incremental inlining for JSR 292
roland
parents: 14621
diff changeset
   582
  void set_cnt(float c)                 { _cnt = c; }
823590505eb4 8005071: Incremental inlining for JSR 292
roland
parents: 14621
diff changeset
   583
  void set_generator(CallGenerator* cg) { _generator = cg; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   584
489c9b5090e2 Initial load
duke
parents:
diff changeset
   585
  virtual const Type *bottom_type() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   586
  virtual const Type *Value( PhaseTransform *phase ) const;
15113
823590505eb4 8005071: Incremental inlining for JSR 292
roland
parents: 14621
diff changeset
   587
  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   588
  virtual Node *Identity( PhaseTransform *phase ) { return this; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   589
  virtual uint        cmp( const Node &n ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   590
  virtual uint        size_of() const = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   591
  virtual void        calling_convention( BasicType* sig_bt, VMRegPair *parm_regs, uint argcnt ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   592
  virtual Node       *match( const ProjNode *proj, const Matcher *m );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   593
  virtual uint        ideal_reg() const { return NotAMachineReg; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   594
  // Are we guaranteed that this node is a safepoint?  Not true for leaf calls and
489c9b5090e2 Initial load
duke
parents:
diff changeset
   595
  // for some macro nodes whose expansion does not have a safepoint on the fast path.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   596
  virtual bool        guaranteed_safepoint()  { return true; }
22865
3b8857d7b3cc 8030863: PPC64: (part 220): ConstantTableBase for calls between args and jvms
goetz
parents: 19725
diff changeset
   597
  // For macro nodes, the JVMState gets modified during expansion. If calls
3b8857d7b3cc 8030863: PPC64: (part 220): ConstantTableBase for calls between args and jvms
goetz
parents: 19725
diff changeset
   598
  // use MachConstantBase, it gets modified during matching. So when cloning
3b8857d7b3cc 8030863: PPC64: (part 220): ConstantTableBase for calls between args and jvms
goetz
parents: 19725
diff changeset
   599
  // the node the JVMState must be cloned. Default is not to clone.
3b8857d7b3cc 8030863: PPC64: (part 220): ConstantTableBase for calls between args and jvms
goetz
parents: 19725
diff changeset
   600
  virtual void clone_jvms(Compile* C) {
3b8857d7b3cc 8030863: PPC64: (part 220): ConstantTableBase for calls between args and jvms
goetz
parents: 19725
diff changeset
   601
    if (C->needs_clone_jvms() && jvms() != NULL) {
3b8857d7b3cc 8030863: PPC64: (part 220): ConstantTableBase for calls between args and jvms
goetz
parents: 19725
diff changeset
   602
      set_jvms(jvms()->clone_deep(C));
3b8857d7b3cc 8030863: PPC64: (part 220): ConstantTableBase for calls between args and jvms
goetz
parents: 19725
diff changeset
   603
      jvms()->set_map_deep(this);
3b8857d7b3cc 8030863: PPC64: (part 220): ConstantTableBase for calls between args and jvms
goetz
parents: 19725
diff changeset
   604
    }
3b8857d7b3cc 8030863: PPC64: (part 220): ConstantTableBase for calls between args and jvms
goetz
parents: 19725
diff changeset
   605
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   606
238
803c80713999 6674588: (Escape Analysis) Improve Escape Analysis code
kvn
parents: 236
diff changeset
   607
  // Returns true if the call may modify n
17383
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   608
  virtual bool        may_modify(const TypeOopPtr *t_oop, PhaseTransform *phase);
238
803c80713999 6674588: (Escape Analysis) Improve Escape Analysis code
kvn
parents: 236
diff changeset
   609
  // Does this node have a use of n other than in debug information?
594
9f4474e5dbaf 6705887: Compressed Oops: generate x64 addressing and implicit null checks with narrow oops
kvn
parents: 360
diff changeset
   610
  bool                has_non_debug_use(Node *n);
238
803c80713999 6674588: (Escape Analysis) Improve Escape Analysis code
kvn
parents: 236
diff changeset
   611
  // Returns the unique CheckCastPP of a call
803c80713999 6674588: (Escape Analysis) Improve Escape Analysis code
kvn
parents: 236
diff changeset
   612
  // or result projection is there are several CheckCastPP
803c80713999 6674588: (Escape Analysis) Improve Escape Analysis code
kvn
parents: 236
diff changeset
   613
  // or returns NULL if there is no one.
803c80713999 6674588: (Escape Analysis) Improve Escape Analysis code
kvn
parents: 236
diff changeset
   614
  Node *result_cast();
12158
f24f2560da32 7147744: CTW: assert(false) failed: infinite EA connection graph build
kvn
parents: 11445
diff changeset
   615
  // Does this node returns pointer?
f24f2560da32 7147744: CTW: assert(false) failed: infinite EA connection graph build
kvn
parents: 11445
diff changeset
   616
  bool returns_pointer() const {
f24f2560da32 7147744: CTW: assert(false) failed: infinite EA connection graph build
kvn
parents: 11445
diff changeset
   617
    const TypeTuple *r = tf()->range();
f24f2560da32 7147744: CTW: assert(false) failed: infinite EA connection graph build
kvn
parents: 11445
diff changeset
   618
    return (r->cnt() > TypeFunc::Parms &&
f24f2560da32 7147744: CTW: assert(false) failed: infinite EA connection graph build
kvn
parents: 11445
diff changeset
   619
            r->field_at(TypeFunc::Parms)->isa_ptr());
f24f2560da32 7147744: CTW: assert(false) failed: infinite EA connection graph build
kvn
parents: 11445
diff changeset
   620
  }
238
803c80713999 6674588: (Escape Analysis) Improve Escape Analysis code
kvn
parents: 236
diff changeset
   621
4450
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   622
  // Collect all the interesting edges from a call for use in
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   623
  // replacing the call by something else.  Used by macro expansion
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   624
  // and the late inlining support.
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   625
  void extract_projections(CallProjections* projs, bool separate_io_proj);
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   626
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   627
  virtual uint match_edge(uint idx) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   628
489c9b5090e2 Initial load
duke
parents:
diff changeset
   629
#ifndef PRODUCT
15241
87d217c2d183 8005055: pass outputStream to more opto debug routines
kvn
parents: 15113
diff changeset
   630
  virtual void        dump_req(outputStream *st = tty) const;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   631
  virtual void        dump_spec(outputStream *st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   632
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   633
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   634
4450
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3603
diff changeset
   635
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   636
//------------------------------CallJavaNode-----------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   637
// Make a static or dynamic subroutine call node using Java calling
489c9b5090e2 Initial load
duke
parents:
diff changeset
   638
// convention.  (The "Java" calling convention is the compiler's calling
489c9b5090e2 Initial load
duke
parents:
diff changeset
   639
// convention, as opposed to the interpreter's or that of native C.)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   640
class CallJavaNode : public CallNode {
10547
ea4a2ec31ae2 7088955: add C2 IR support to the SA
never
parents: 10255
diff changeset
   641
  friend class VMStructs;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   642
protected:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   643
  virtual uint cmp( const Node &n ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   644
  virtual uint size_of() const; // Size is bigger
489c9b5090e2 Initial load
duke
parents:
diff changeset
   645
489c9b5090e2 Initial load
duke
parents:
diff changeset
   646
  bool    _optimized_virtual;
4566
b363f6ef4068 6829187: compiler optimizations required for JSR 292
twisti
parents: 4450
diff changeset
   647
  bool    _method_handle_invoke;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   648
  ciMethod* _method;            // Method being direct called
489c9b5090e2 Initial load
duke
parents:
diff changeset
   649
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   650
  const int       _bci;         // Byte Code Index of call byte code
489c9b5090e2 Initial load
duke
parents:
diff changeset
   651
  CallJavaNode(const TypeFunc* tf , address addr, ciMethod* method, int bci)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   652
    : CallNode(tf, addr, TypePtr::BOTTOM),
4566
b363f6ef4068 6829187: compiler optimizations required for JSR 292
twisti
parents: 4450
diff changeset
   653
      _method(method), _bci(bci),
b363f6ef4068 6829187: compiler optimizations required for JSR 292
twisti
parents: 4450
diff changeset
   654
      _optimized_virtual(false),
b363f6ef4068 6829187: compiler optimizations required for JSR 292
twisti
parents: 4450
diff changeset
   655
      _method_handle_invoke(false)
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   656
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   657
    init_class_id(Class_CallJava);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   658
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   659
489c9b5090e2 Initial load
duke
parents:
diff changeset
   660
  virtual int   Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   661
  ciMethod* method() const                { return _method; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   662
  void  set_method(ciMethod *m)           { _method = m; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   663
  void  set_optimized_virtual(bool f)     { _optimized_virtual = f; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   664
  bool  is_optimized_virtual() const      { return _optimized_virtual; }
4566
b363f6ef4068 6829187: compiler optimizations required for JSR 292
twisti
parents: 4450
diff changeset
   665
  void  set_method_handle_invoke(bool f)  { _method_handle_invoke = f; }
b363f6ef4068 6829187: compiler optimizations required for JSR 292
twisti
parents: 4450
diff changeset
   666
  bool  is_method_handle_invoke() const   { return _method_handle_invoke; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   667
489c9b5090e2 Initial load
duke
parents:
diff changeset
   668
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   669
  virtual void  dump_spec(outputStream *st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   670
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   671
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   672
489c9b5090e2 Initial load
duke
parents:
diff changeset
   673
//------------------------------CallStaticJavaNode-----------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   674
// Make a direct subroutine call using Java calling convention (for static
489c9b5090e2 Initial load
duke
parents:
diff changeset
   675
// calls and optimized virtual calls, plus calls to wrappers for run-time
489c9b5090e2 Initial load
duke
parents:
diff changeset
   676
// routines); generates static stub.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   677
class CallStaticJavaNode : public CallJavaNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   678
  virtual uint cmp( const Node &n ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   679
  virtual uint size_of() const; // Size is bigger
489c9b5090e2 Initial load
duke
parents:
diff changeset
   680
public:
17383
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   681
  CallStaticJavaNode(Compile* C, const TypeFunc* tf, address addr, ciMethod* method, int bci)
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   682
    : CallJavaNode(tf, addr, method, bci), _name(NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   683
    init_class_id(Class_CallStaticJava);
17383
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   684
    if (C->eliminate_boxing() && (method != NULL) && method->is_boxing_method()) {
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   685
      init_flags(Flag_is_macro);
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   686
      C->add_macro_node(this);
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   687
    }
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   688
    _is_scalar_replaceable = false;
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   689
    _is_non_escaping = false;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   690
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   691
  CallStaticJavaNode(const TypeFunc* tf, address addr, const char* name, int bci,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   692
                     const TypePtr* adr_type)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   693
    : CallJavaNode(tf, addr, NULL, bci), _name(name) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   694
    init_class_id(Class_CallStaticJava);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   695
    // This node calls a runtime stub, which often has narrow memory effects.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   696
    _adr_type = adr_type;
17383
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   697
    _is_scalar_replaceable = false;
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   698
    _is_non_escaping = false;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   699
  }
17383
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   700
  const char *_name;      // Runtime wrapper name
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   701
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   702
  // Result of Escape Analysis
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   703
  bool _is_scalar_replaceable;
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   704
  bool _is_non_escaping;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   705
489c9b5090e2 Initial load
duke
parents:
diff changeset
   706
  // If this is an uncommon trap, return the request code, else zero.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   707
  int uncommon_trap_request() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   708
  static int extract_uncommon_trap_request(const Node* call);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   709
17383
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   710
  bool is_boxing_method() const {
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   711
    return is_macro() && (method() != NULL) && method()->is_boxing_method();
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   712
  }
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   713
  // Later inlining modifies the JVMState, so we need to clone it
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   714
  // when the call node is cloned (because it is macro node).
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   715
  virtual void  clone_jvms(Compile* C) {
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   716
    if ((jvms() != NULL) && is_boxing_method()) {
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   717
      set_jvms(jvms()->clone_deep(C));
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   718
      jvms()->set_map_deep(this);
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   719
    }
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   720
  }
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   721
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   722
  virtual int         Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   723
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   724
  virtual void        dump_spec(outputStream *st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   725
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   726
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   727
489c9b5090e2 Initial load
duke
parents:
diff changeset
   728
//------------------------------CallDynamicJavaNode----------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   729
// Make a dispatched call using Java calling convention.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   730
class CallDynamicJavaNode : public CallJavaNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   731
  virtual uint cmp( const Node &n ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   732
  virtual uint size_of() const; // Size is bigger
489c9b5090e2 Initial load
duke
parents:
diff changeset
   733
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   734
  CallDynamicJavaNode( const TypeFunc *tf , address addr, ciMethod* method, int vtable_index, int bci ) : CallJavaNode(tf,addr,method,bci), _vtable_index(vtable_index) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   735
    init_class_id(Class_CallDynamicJava);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   736
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   737
489c9b5090e2 Initial load
duke
parents:
diff changeset
   738
  int _vtable_index;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   739
  virtual int   Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   740
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   741
  virtual void  dump_spec(outputStream *st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   742
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   743
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   744
489c9b5090e2 Initial load
duke
parents:
diff changeset
   745
//------------------------------CallRuntimeNode--------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   746
// Make a direct subroutine call node into compiled C++ code.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   747
class CallRuntimeNode : public CallNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   748
  virtual uint cmp( const Node &n ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   749
  virtual uint size_of() const; // Size is bigger
489c9b5090e2 Initial load
duke
parents:
diff changeset
   750
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   751
  CallRuntimeNode(const TypeFunc* tf, address addr, const char* name,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   752
                  const TypePtr* adr_type)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   753
    : CallNode(tf, addr, adr_type),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   754
      _name(name)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   755
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   756
    init_class_id(Class_CallRuntime);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   757
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   758
489c9b5090e2 Initial load
duke
parents:
diff changeset
   759
  const char *_name;            // Printable name, if _method is NULL
489c9b5090e2 Initial load
duke
parents:
diff changeset
   760
  virtual int   Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   761
  virtual void  calling_convention( BasicType* sig_bt, VMRegPair *parm_regs, uint argcnt ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   762
489c9b5090e2 Initial load
duke
parents:
diff changeset
   763
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   764
  virtual void  dump_spec(outputStream *st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   765
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   766
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   767
489c9b5090e2 Initial load
duke
parents:
diff changeset
   768
//------------------------------CallLeafNode-----------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   769
// Make a direct subroutine call node into compiled C++ code, without
489c9b5090e2 Initial load
duke
parents:
diff changeset
   770
// safepoints
489c9b5090e2 Initial load
duke
parents:
diff changeset
   771
class CallLeafNode : public CallRuntimeNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   772
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   773
  CallLeafNode(const TypeFunc* tf, address addr, const char* name,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   774
               const TypePtr* adr_type)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   775
    : CallRuntimeNode(tf, addr, name, adr_type)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   776
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   777
    init_class_id(Class_CallLeaf);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   778
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   779
  virtual int   Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   780
  virtual bool        guaranteed_safepoint()  { return false; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   781
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   782
  virtual void  dump_spec(outputStream *st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   783
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   784
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   785
489c9b5090e2 Initial load
duke
parents:
diff changeset
   786
//------------------------------CallLeafNoFPNode-------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   787
// CallLeafNode, not using floating point or using it in the same manner as
489c9b5090e2 Initial load
duke
parents:
diff changeset
   788
// the generated code
489c9b5090e2 Initial load
duke
parents:
diff changeset
   789
class CallLeafNoFPNode : public CallLeafNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   790
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   791
  CallLeafNoFPNode(const TypeFunc* tf, address addr, const char* name,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   792
                   const TypePtr* adr_type)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   793
    : CallLeafNode(tf, addr, name, adr_type)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   794
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   795
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   796
  virtual int   Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   797
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   798
489c9b5090e2 Initial load
duke
parents:
diff changeset
   799
489c9b5090e2 Initial load
duke
parents:
diff changeset
   800
//------------------------------Allocate---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   801
// High-level memory allocation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   802
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
   803
//  AllocateNode and AllocateArrayNode are subclasses of CallNode because they will
489c9b5090e2 Initial load
duke
parents:
diff changeset
   804
//  get expanded into a code sequence containing a call.  Unlike other CallNodes,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   805
//  they have 2 memory projections and 2 i_o projections (which are distinguished by
489c9b5090e2 Initial load
duke
parents:
diff changeset
   806
//  the _is_io_use flag in the projection.)  This is needed when expanding the node in
489c9b5090e2 Initial load
duke
parents:
diff changeset
   807
//  order to differentiate the uses of the projection on the normal control path from
489c9b5090e2 Initial load
duke
parents:
diff changeset
   808
//  those on the exception return path.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   809
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
   810
class AllocateNode : public CallNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   811
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   812
  enum {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   813
    // Output:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   814
    RawAddress  = TypeFunc::Parms,    // the newly-allocated raw address
489c9b5090e2 Initial load
duke
parents:
diff changeset
   815
    // Inputs:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   816
    AllocSize   = TypeFunc::Parms,    // size (in bytes) of the new object
489c9b5090e2 Initial load
duke
parents:
diff changeset
   817
    KlassNode,                        // type (maybe dynamic) of the obj.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   818
    InitialTest,                      // slow-path test (may be constant)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   819
    ALength,                          // array length (or TOP if none)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   820
    ParmLimit
489c9b5090e2 Initial load
duke
parents:
diff changeset
   821
  };
489c9b5090e2 Initial load
duke
parents:
diff changeset
   822
17383
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   823
  static const TypeFunc* alloc_type(const Type* t) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   824
    const Type** fields = TypeTuple::fields(ParmLimit - TypeFunc::Parms);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   825
    fields[AllocSize]   = TypeInt::POS;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   826
    fields[KlassNode]   = TypeInstPtr::NOTNULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   827
    fields[InitialTest] = TypeInt::BOOL;
17383
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   828
    fields[ALength]     = t;  // length (can be a bad length)
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   829
489c9b5090e2 Initial load
duke
parents:
diff changeset
   830
    const TypeTuple *domain = TypeTuple::make(ParmLimit, fields);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   831
489c9b5090e2 Initial load
duke
parents:
diff changeset
   832
    // create result type (range)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   833
    fields = TypeTuple::fields(1);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   834
    fields[TypeFunc::Parms+0] = TypeRawPtr::NOTNULL; // Returned oop
489c9b5090e2 Initial load
duke
parents:
diff changeset
   835
489c9b5090e2 Initial load
duke
parents:
diff changeset
   836
    const TypeTuple *range = TypeTuple::make(TypeFunc::Parms+1, fields);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   837
489c9b5090e2 Initial load
duke
parents:
diff changeset
   838
    return TypeFunc::make(domain, range);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   839
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   840
17383
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   841
  // Result of Escape Analysis
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   842
  bool _is_scalar_replaceable;
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   843
  bool _is_non_escaping;
212
cd4963e67949 6667612: (Escape Analysis) disable loop cloning if it has a scalar replaceable allocation
kvn
parents: 206
diff changeset
   844
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   845
  virtual uint size_of() const; // Size is bigger
489c9b5090e2 Initial load
duke
parents:
diff changeset
   846
  AllocateNode(Compile* C, const TypeFunc *atype, Node *ctrl, Node *mem, Node *abio,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   847
               Node *size, Node *klass_node, Node *initial_test);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   848
  // Expansion modifies the JVMState, so we need to clone it
17383
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   849
  virtual void  clone_jvms(Compile* C) {
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   850
    if (jvms() != NULL) {
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   851
      set_jvms(jvms()->clone_deep(C));
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   852
      jvms()->set_map_deep(this);
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   853
    }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   854
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   855
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   856
  virtual uint ideal_reg() const { return Op_RegP; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   857
  virtual bool        guaranteed_safepoint()  { return false; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   858
238
803c80713999 6674588: (Escape Analysis) Improve Escape Analysis code
kvn
parents: 236
diff changeset
   859
  // allocations do not modify their arguments
17383
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   860
  virtual bool        may_modify(const TypeOopPtr *t_oop, PhaseTransform *phase) { return false;}
238
803c80713999 6674588: (Escape Analysis) Improve Escape Analysis code
kvn
parents: 236
diff changeset
   861
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   862
  // Pattern-match a possible usage of AllocateNode.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   863
  // Return null if no allocation is recognized.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   864
  // The operand is the pointer produced by the (possible) allocation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   865
  // It must be a projection of the Allocate or its subsequent CastPP.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   866
  // (Note:  This function is defined in file graphKit.cpp, near
489c9b5090e2 Initial load
duke
parents:
diff changeset
   867
  // GraphKit::new_instance/new_array, whose output it recognizes.)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   868
  // The 'ptr' may not have an offset unless the 'offset' argument is given.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   869
  static AllocateNode* Ideal_allocation(Node* ptr, PhaseTransform* phase);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   870
489c9b5090e2 Initial load
duke
parents:
diff changeset
   871
  // Fancy version which uses AddPNode::Ideal_base_and_offset to strip
489c9b5090e2 Initial load
duke
parents:
diff changeset
   872
  // an offset, which is reported back to the caller.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   873
  // (Note:  AllocateNode::Ideal_allocation is defined in graphKit.cpp.)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   874
  static AllocateNode* Ideal_allocation(Node* ptr, PhaseTransform* phase,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   875
                                        intptr_t& offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   876
489c9b5090e2 Initial load
duke
parents:
diff changeset
   877
  // Dig the klass operand out of a (possible) allocation site.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   878
  static Node* Ideal_klass(Node* ptr, PhaseTransform* phase) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   879
    AllocateNode* allo = Ideal_allocation(ptr, phase);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   880
    return (allo == NULL) ? NULL : allo->in(KlassNode);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   881
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   882
489c9b5090e2 Initial load
duke
parents:
diff changeset
   883
  // Conservatively small estimate of offset of first non-header byte.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   884
  int minimum_header_size() {
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 247
diff changeset
   885
    return is_AllocateArray() ? arrayOopDesc::base_offset_in_bytes(T_BYTE) :
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 247
diff changeset
   886
                                instanceOopDesc::base_offset_in_bytes();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   887
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   888
489c9b5090e2 Initial load
duke
parents:
diff changeset
   889
  // Return the corresponding initialization barrier (or null if none).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   890
  // Walks out edges to find it...
489c9b5090e2 Initial load
duke
parents:
diff changeset
   891
  // (Note: Both InitializeNode::allocation and AllocateNode::initialization
489c9b5090e2 Initial load
duke
parents:
diff changeset
   892
  // are defined in graphKit.cpp, which sets up the bidirectional relation.)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   893
  InitializeNode* initialization();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   894
489c9b5090e2 Initial load
duke
parents:
diff changeset
   895
  // Convenience for initialization->maybe_set_complete(phase)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   896
  bool maybe_set_complete(PhaseGVN* phase);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   897
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   898
489c9b5090e2 Initial load
duke
parents:
diff changeset
   899
//------------------------------AllocateArray---------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   900
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
   901
// High-level array allocation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   902
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
   903
class AllocateArrayNode : public AllocateNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   904
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   905
  AllocateArrayNode(Compile* C, const TypeFunc *atype, Node *ctrl, Node *mem, Node *abio,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   906
                    Node* size, Node* klass_node, Node* initial_test,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   907
                    Node* count_val
489c9b5090e2 Initial load
duke
parents:
diff changeset
   908
                    )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   909
    : AllocateNode(C, atype, ctrl, mem, abio, size, klass_node,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   910
                   initial_test)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   911
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   912
    init_class_id(Class_AllocateArray);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   913
    set_req(AllocateNode::ALength,        count_val);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   914
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   915
  virtual int Opcode() const;
2528
feeff04a3129 6823453: DeoptimizeALot causes fastdebug server jvm to fail with assert(false,"unscheduable graph")
kvn
parents: 2127
diff changeset
   916
  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   917
1398
342890a5d031 6711100: 64bit fastdebug server vm crashes with assert(_base == Int,"Not an Int")
rasbold
parents: 670
diff changeset
   918
  // Dig the length operand out of a array allocation site.
342890a5d031 6711100: 64bit fastdebug server vm crashes with assert(_base == Int,"Not an Int")
rasbold
parents: 670
diff changeset
   919
  Node* Ideal_length() {
342890a5d031 6711100: 64bit fastdebug server vm crashes with assert(_base == Int,"Not an Int")
rasbold
parents: 670
diff changeset
   920
    return in(AllocateNode::ALength);
342890a5d031 6711100: 64bit fastdebug server vm crashes with assert(_base == Int,"Not an Int")
rasbold
parents: 670
diff changeset
   921
  }
342890a5d031 6711100: 64bit fastdebug server vm crashes with assert(_base == Int,"Not an Int")
rasbold
parents: 670
diff changeset
   922
342890a5d031 6711100: 64bit fastdebug server vm crashes with assert(_base == Int,"Not an Int")
rasbold
parents: 670
diff changeset
   923
  // Dig the length operand out of a array allocation site and narrow the
342890a5d031 6711100: 64bit fastdebug server vm crashes with assert(_base == Int,"Not an Int")
rasbold
parents: 670
diff changeset
   924
  // type with a CastII, if necesssary
342890a5d031 6711100: 64bit fastdebug server vm crashes with assert(_base == Int,"Not an Int")
rasbold
parents: 670
diff changeset
   925
  Node* make_ideal_length(const TypeOopPtr* ary_type, PhaseTransform *phase, bool can_create = true);
342890a5d031 6711100: 64bit fastdebug server vm crashes with assert(_base == Int,"Not an Int")
rasbold
parents: 670
diff changeset
   926
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   927
  // Pattern-match a possible usage of AllocateArrayNode.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   928
  // Return null if no allocation is recognized.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   929
  static AllocateArrayNode* Ideal_array_allocation(Node* ptr, PhaseTransform* phase) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   930
    AllocateNode* allo = Ideal_allocation(ptr, phase);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   931
    return (allo == NULL || !allo->is_AllocateArray())
489c9b5090e2 Initial load
duke
parents:
diff changeset
   932
           ? NULL : allo->as_AllocateArray();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   933
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   934
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   935
489c9b5090e2 Initial load
duke
parents:
diff changeset
   936
//------------------------------AbstractLockNode-----------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   937
class AbstractLockNode: public CallNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   938
private:
11445
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   939
  enum {
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   940
    Regular = 0,  // Normal lock
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   941
    NonEscObj,    // Lock is used for non escaping object
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   942
    Coarsened,    // Lock was coarsened
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   943
    Nested        // Nested lock
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   944
  } _kind;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   945
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   946
  NamedCounter* _counter;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   947
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   948
489c9b5090e2 Initial load
duke
parents:
diff changeset
   949
protected:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   950
  // helper functions for lock elimination
489c9b5090e2 Initial load
duke
parents:
diff changeset
   951
  //
489c9b5090e2 Initial load
duke
parents:
diff changeset
   952
489c9b5090e2 Initial load
duke
parents:
diff changeset
   953
  bool find_matching_unlock(const Node* ctrl, LockNode* lock,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   954
                            GrowableArray<AbstractLockNode*> &lock_ops);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   955
  bool find_lock_and_unlock_through_if(Node* node, LockNode* lock,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   956
                                       GrowableArray<AbstractLockNode*> &lock_ops);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   957
  bool find_unlocks_for_region(const RegionNode* region, LockNode* lock,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   958
                               GrowableArray<AbstractLockNode*> &lock_ops);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   959
  LockNode *find_matching_lock(UnlockNode* unlock);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   960
11445
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   961
  // Update the counter to indicate that this lock was eliminated.
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   962
  void set_eliminated_lock_counter() PRODUCT_RETURN;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   963
489c9b5090e2 Initial load
duke
parents:
diff changeset
   964
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   965
  AbstractLockNode(const TypeFunc *tf)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   966
    : CallNode(tf, NULL, TypeRawPtr::BOTTOM),
11445
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   967
      _kind(Regular)
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   968
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   969
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   970
    _counter = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   971
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   972
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   973
  virtual int Opcode() const = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   974
  Node *   obj_node() const       {return in(TypeFunc::Parms + 0); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   975
  Node *   box_node() const       {return in(TypeFunc::Parms + 1); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   976
  Node *   fastlock_node() const  {return in(TypeFunc::Parms + 2); }
11445
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   977
  void     set_box_node(Node* box) { set_req(TypeFunc::Parms + 1, box); }
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   978
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   979
  const Type *sub(const Type *t1, const Type *t2) const { return TypeInt::CC;}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   980
489c9b5090e2 Initial load
duke
parents:
diff changeset
   981
  virtual uint size_of() const { return sizeof(*this); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   982
11445
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   983
  bool is_eliminated()  const { return (_kind != Regular); }
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   984
  bool is_non_esc_obj() const { return (_kind == NonEscObj); }
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   985
  bool is_coarsened()   const { return (_kind == Coarsened); }
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   986
  bool is_nested()      const { return (_kind == Nested); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   987
29086
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
   988
  const char * kind_as_string() const;
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
   989
  void log_lock_optimization(Compile* c, const char * tag) const;
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
   990
11445
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   991
  void set_non_esc_obj() { _kind = NonEscObj; set_eliminated_lock_counter(); }
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   992
  void set_coarsened()   { _kind = Coarsened; set_eliminated_lock_counter(); }
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
   993
  void set_nested()      { _kind = Nested; set_eliminated_lock_counter(); }
1613
be097ec639a2 6775880: EA +DeoptimizeALot: assert(mon_info->owner()->is_locked(),"object must be locked now")
kvn
parents: 1500
diff changeset
   994
238
803c80713999 6674588: (Escape Analysis) Improve Escape Analysis code
kvn
parents: 236
diff changeset
   995
  // locking does not modify its arguments
17383
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
   996
  virtual bool may_modify(const TypeOopPtr *t_oop, PhaseTransform *phase){ return false;}
238
803c80713999 6674588: (Escape Analysis) Improve Escape Analysis code
kvn
parents: 236
diff changeset
   997
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   998
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   999
  void create_lock_counter(JVMState* s);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1000
  NamedCounter* counter() const { return _counter; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1001
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1002
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1003
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1004
//------------------------------Lock---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1005
// High-level lock operation
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1006
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1007
// This is a subclass of CallNode because it is a macro node which gets expanded
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1008
// into a code sequence containing a call.  This node takes 3 "parameters":
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1009
//    0  -  object to lock
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1010
//    1 -   a BoxLockNode
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1011
//    2 -   a FastLockNode
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1012
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1013
class LockNode : public AbstractLockNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1014
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1015
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1016
  static const TypeFunc *lock_type() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1017
    // create input type (domain)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1018
    const Type **fields = TypeTuple::fields(3);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1019
    fields[TypeFunc::Parms+0] = TypeInstPtr::NOTNULL;  // Object to be Locked
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1020
    fields[TypeFunc::Parms+1] = TypeRawPtr::BOTTOM;    // Address of stack location for lock
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1021
    fields[TypeFunc::Parms+2] = TypeInt::BOOL;         // FastLock
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1022
    const TypeTuple *domain = TypeTuple::make(TypeFunc::Parms+3,fields);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1023
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1024
    // create result type (range)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1025
    fields = TypeTuple::fields(0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1026
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1027
    const TypeTuple *range = TypeTuple::make(TypeFunc::Parms+0,fields);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1028
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1029
    return TypeFunc::make(domain,range);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1030
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1031
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1032
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1033
  virtual uint size_of() const; // Size is bigger
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1034
  LockNode(Compile* C, const TypeFunc *tf) : AbstractLockNode( tf ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1035
    init_class_id(Class_Lock);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1036
    init_flags(Flag_is_macro);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1037
    C->add_macro_node(this);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1038
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1039
  virtual bool        guaranteed_safepoint()  { return false; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1040
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1041
  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1042
  // Expansion modifies the JVMState, so we need to clone it
17383
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
  1043
  virtual void  clone_jvms(Compile* C) {
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
  1044
    if (jvms() != NULL) {
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
  1045
      set_jvms(jvms()->clone_deep(C));
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
  1046
      jvms()->set_map_deep(this);
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 15241
diff changeset
  1047
    }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1048
  }
11445
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
  1049
3c768dca60f5 7125896: Eliminate nested locks
kvn
parents: 11431
diff changeset
  1050
  bool is_nested_lock_region(); // Is this Lock nested?
29086
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1051
  bool is_nested_lock_region(Compile * c); // Why isn't this Lock nested?
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1052
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1053
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1054
//------------------------------Unlock---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1055
// High-level unlock operation
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1056
class UnlockNode : public AbstractLockNode {
29086
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1057
private:
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1058
#ifdef ASSERT
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1059
  JVMState* const _dbg_jvms;      // Pointer to list of JVM State objects
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1060
#endif
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1061
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1062
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1063
  virtual uint size_of() const; // Size is bigger
29086
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1064
  UnlockNode(Compile* C, const TypeFunc *tf) : AbstractLockNode( tf )
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1065
#ifdef ASSERT
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1066
    , _dbg_jvms(NULL)
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1067
#endif
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1068
  {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1069
    init_class_id(Class_Unlock);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1070
    init_flags(Flag_is_macro);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1071
    C->add_macro_node(this);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1072
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1073
  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1074
  // unlock is never a safepoint
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1075
  virtual bool        guaranteed_safepoint()  { return false; }
29086
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1076
#ifdef ASSERT
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1077
  void set_dbg_jvms(JVMState* s) {
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1078
    *(JVMState**)&_dbg_jvms = s;  // override const attribute in the accessor
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1079
  }
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1080
  JVMState* dbg_jvms() const { return _dbg_jvms; }
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1081
#else
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1082
  JVMState* dbg_jvms() const { return NULL; }
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 28396
diff changeset
  1083
#endif
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1084
};
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
  1085
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
  1086
#endif // SHARE_VM_OPTO_CALLNODE_HPP