hotspot/src/share/vm/opto/subnode.hpp
author stefank
Tue, 23 Nov 2010 13:22:55 -0800
changeset 7397 5b173b4ca846
parent 5547 f4b087cbb361
child 9439 79dc8699094b
permissions -rw-r--r--
6989984: Use standard include model for Hospot Summary: Replaced MakeDeps and the includeDB files with more standardized solutions. Reviewed-by: coleenp, kvn, kamg
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5352
diff changeset
     2
 * Copyright (c) 1997, 2010, 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: 5352
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5352
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: 5352
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_SUBNODE_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    26
#define SHARE_VM_OPTO_SUBNODE_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/node.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    29
#include "opto/opcodes.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    30
#include "opto/type.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    31
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    32
// Portions of code courtesy of Clifford Click
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
//------------------------------SUBNode----------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
// Class SUBTRACTION functionality.  This covers all the usual 'subtract'
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
// behaviors.  Subtract-integer, -float, -double, binary xor, compare-integer,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
// -float, and -double are all inherited from this class.  The compare
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
// functions behave like subtract functions, except that all negative answers
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
// are compressed into -1, and all positive answers compressed to 1.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
class SubNode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
  SubNode( Node *in1, Node *in2 ) : Node(0,in1,in2) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
    init_class_id(Class_Sub);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
  // Handle algebraic identities here.  If we have an identity, return the Node
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
  // we are equivalent to.  We look for "add of zero" as an identity.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
  virtual Node *Identity( PhaseTransform *phase );
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
  // Compute a new Type for this node.  Basically we just do the pre-check,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
  // then call the virtual add() to set the type.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
  virtual const Type *Value( PhaseTransform *phase ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
  // Supplied function returns the subtractend of the inputs.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
  // This also type-checks the inputs for sanity.  Guaranteed never to
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
  // be passed a TOP or BOTTOM type, these are filtered out by a pre-check.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
  virtual const Type *sub( const Type *, const Type * ) const = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
  // Supplied function to return the additive identity type.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
  // This is returned whenever the subtracts inputs are the same.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
  virtual const Type *add_id() const = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
// NOTE: SubINode should be taken away and replaced by add and negate
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
//------------------------------SubINode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
// Subtract 2 integers
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
class SubINode : public SubNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
  SubINode( Node *in1, Node *in2 ) : SubNode(in1,in2) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
  virtual const Type *sub( const Type *, const Type * ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
  const Type *add_id() const { return TypeInt::ZERO; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
  const Type *bottom_type() const { return TypeInt::INT; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
  virtual uint ideal_reg() const { return Op_RegI; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
//------------------------------SubLNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
// Subtract 2 integers
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
class SubLNode : public SubNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
  SubLNode( Node *in1, Node *in2 ) : SubNode(in1,in2) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
  virtual const Type *sub( const Type *, const Type * ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
  const Type *add_id() const { return TypeLong::ZERO; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
  const Type *bottom_type() const { return TypeLong::LONG; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
  virtual uint ideal_reg() const { return Op_RegL; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
// NOTE: SubFPNode should be taken away and replaced by add and negate
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
//------------------------------SubFPNode--------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
// Subtract 2 floats or doubles
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
class SubFPNode : public SubNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
protected:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
  SubFPNode( Node *in1, Node *in2 ) : SubNode(in1,in2) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
  const Type *Value( PhaseTransform *phase ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
// NOTE: SubFNode should be taken away and replaced by add and negate
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
//------------------------------SubFNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
// Subtract 2 doubles
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
class SubFNode : public SubFPNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
  SubFNode( Node *in1, Node *in2 ) : SubFPNode(in1,in2) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
  virtual const Type *sub( const Type *, const Type * ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
  const Type   *add_id() const { return TypeF::ZERO; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
  const Type   *bottom_type() const { return Type::FLOAT; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
  virtual uint  ideal_reg() const { return Op_RegF; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
// NOTE: SubDNode should be taken away and replaced by add and negate
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
//------------------------------SubDNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
// Subtract 2 doubles
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
class SubDNode : public SubFPNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
  SubDNode( Node *in1, Node *in2 ) : SubFPNode(in1,in2) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
  virtual const Type *sub( const Type *, const Type * ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
  const Type   *add_id() const { return TypeD::ZERO; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
  const Type   *bottom_type() const { return Type::DOUBLE; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
  virtual uint  ideal_reg() const { return Op_RegD; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
//------------------------------CmpNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
// Compare 2 values, returning condition codes (-1, 0 or 1).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
class CmpNode : public SubNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
  CmpNode( Node *in1, Node *in2 ) : SubNode(in1,in2) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
    init_class_id(Class_Cmp);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
  virtual Node *Identity( PhaseTransform *phase );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
  const Type *add_id() const { return TypeInt::ZERO; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
  const Type *bottom_type() const { return TypeInt::CC; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
  virtual uint ideal_reg() const { return Op_RegFlags; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
//------------------------------CmpINode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
// Compare 2 signed values, returning condition codes (-1, 0 or 1).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
class CmpINode : public CmpNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
  CmpINode( Node *in1, Node *in2 ) : CmpNode(in1,in2) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
  virtual const Type *sub( const Type *, const Type * ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
//------------------------------CmpUNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
// Compare 2 unsigned values (integer or pointer), returning condition codes (-1, 0 or 1).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
class CmpUNode : public CmpNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
  CmpUNode( Node *in1, Node *in2 ) : CmpNode(in1,in2) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   160
  virtual const Type *sub( const Type *, const Type * ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
//------------------------------CmpPNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   164
// Compare 2 pointer values, returning condition codes (-1, 0 or 1).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
class CmpPNode : public CmpNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
  CmpPNode( Node *in1, Node *in2 ) : CmpNode(in1,in2) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   168
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   169
  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
  virtual const Type *sub( const Type *, const Type * ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   173
//------------------------------CmpNNode--------------------------------------
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   174
// Compare 2 narrow oop values, returning condition codes (-1, 0 or 1).
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   175
class CmpNNode : public CmpNode {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   176
public:
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   177
  CmpNNode( Node *in1, Node *in2 ) : CmpNode(in1,in2) {}
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   178
  virtual int Opcode() const;
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   179
  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   180
  virtual const Type *sub( const Type *, const Type * ) const;
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   181
};
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   182
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   183
//------------------------------CmpLNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
// Compare 2 long values, returning condition codes (-1, 0 or 1).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   185
class CmpLNode : public CmpNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
  CmpLNode( Node *in1, Node *in2 ) : CmpNode(in1,in2) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   188
  virtual int    Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   189
  virtual const Type *sub( const Type *, const Type * ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   190
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   191
489c9b5090e2 Initial load
duke
parents:
diff changeset
   192
//------------------------------CmpL3Node--------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   193
// Compare 2 long values, returning integer value (-1, 0 or 1).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   194
class CmpL3Node : public CmpLNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   195
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   196
  CmpL3Node( Node *in1, Node *in2 ) : CmpLNode(in1,in2) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   197
    // Since it is not consumed by Bools, it is not really a Cmp.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   198
    init_class_id(Class_Sub);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   199
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   200
  virtual int    Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   201
  virtual uint ideal_reg() const { return Op_RegI; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   202
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   203
489c9b5090e2 Initial load
duke
parents:
diff changeset
   204
//------------------------------CmpFNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   205
// Compare 2 float values, returning condition codes (-1, 0 or 1).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   206
// This implements the Java bytecode fcmpl, so unordered returns -1.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   207
// Operands may not commute.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   208
class CmpFNode : public CmpNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   209
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   210
  CmpFNode( Node *in1, Node *in2 ) : CmpNode(in1,in2) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   211
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   212
  virtual const Type *sub( const Type *, const Type * ) const { ShouldNotReachHere(); return NULL; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   213
  const Type *Value( PhaseTransform *phase ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   214
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   215
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
//------------------------------CmpF3Node--------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   217
// Compare 2 float values, returning integer value (-1, 0 or 1).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
// This implements the Java bytecode fcmpl, so unordered returns -1.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   219
// Operands may not commute.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
class CmpF3Node : public CmpFNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
  CmpF3Node( Node *in1, Node *in2 ) : CmpFNode(in1,in2) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   223
    // Since it is not consumed by Bools, it is not really a Cmp.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
    init_class_id(Class_Sub);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
  // Since it is not consumed by Bools, it is not really a Cmp.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   228
  virtual uint ideal_reg() const { return Op_RegI; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   229
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
//------------------------------CmpDNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   233
// Compare 2 double values, returning condition codes (-1, 0 or 1).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   234
// This implements the Java bytecode dcmpl, so unordered returns -1.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   235
// Operands may not commute.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
class CmpDNode : public CmpNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
  CmpDNode( Node *in1, Node *in2 ) : CmpNode(in1,in2) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   239
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
  virtual const Type *sub( const Type *, const Type * ) const { ShouldNotReachHere(); return NULL; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   241
  const Type *Value( PhaseTransform *phase ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   242
  virtual Node  *Ideal(PhaseGVN *phase, bool can_reshape);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   243
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   244
489c9b5090e2 Initial load
duke
parents:
diff changeset
   245
//------------------------------CmpD3Node--------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   246
// Compare 2 double values, returning integer value (-1, 0 or 1).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
// This implements the Java bytecode dcmpl, so unordered returns -1.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   248
// Operands may not commute.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   249
class CmpD3Node : public CmpDNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   250
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   251
  CmpD3Node( Node *in1, Node *in2 ) : CmpDNode(in1,in2) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   252
    // Since it is not consumed by Bools, it is not really a Cmp.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   253
    init_class_id(Class_Sub);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   254
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   255
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
  virtual uint ideal_reg() const { return Op_RegI; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   257
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   258
489c9b5090e2 Initial load
duke
parents:
diff changeset
   259
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
//------------------------------BoolTest---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   261
// Convert condition codes to a boolean test value (0 or -1).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   262
// We pick the values as 3 bits; the low order 2 bits we compare against the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   263
// condition codes, the high bit flips the sense of the result.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
struct BoolTest VALUE_OBJ_CLASS_SPEC {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   265
  enum mask { eq = 0, ne = 4, le = 5, ge = 7, lt = 3, gt = 1, illegal = 8 };
489c9b5090e2 Initial load
duke
parents:
diff changeset
   266
  mask _test;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   267
  BoolTest( mask btm ) : _test(btm) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   268
  const Type *cc2logical( const Type *CC ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   269
  // Commute the test.  I use a small table lookup.  The table is created as
489c9b5090e2 Initial load
duke
parents:
diff changeset
   270
  // a simple char array where each element is the ASCII version of a 'mask'
489c9b5090e2 Initial load
duke
parents:
diff changeset
   271
  // enum from above.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   272
  mask commute( ) const { return mask("038147858"[_test]-'0'); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   273
  mask negate( ) const { return mask(_test^4); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   274
  bool is_canonical( ) const { return (_test == BoolTest::ne || _test == BoolTest::lt || _test == BoolTest::le); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   275
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   276
  void dump_on(outputStream *st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   277
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   278
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   279
489c9b5090e2 Initial load
duke
parents:
diff changeset
   280
//------------------------------BoolNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   281
// A Node to convert a Condition Codes to a Logical result.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   282
class BoolNode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   283
  virtual uint hash() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   284
  virtual uint cmp( const Node &n ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   285
  virtual uint size_of() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   286
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   287
  const BoolTest _test;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   288
  BoolNode( Node *cc, BoolTest::mask t): _test(t), Node(0,cc) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   289
    init_class_id(Class_Bool);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   290
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   291
  // Convert an arbitrary int value to a Bool or other suitable predicate.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   292
  static Node* make_predicate(Node* test_value, PhaseGVN* phase);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
  // Convert self back to an integer value.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
  Node* as_int_value(PhaseGVN* phase);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
  // Invert sense of self, returning new Bool.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   296
  BoolNode* negate(PhaseGVN* phase);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   297
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   298
  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   299
  virtual const Type *Value( PhaseTransform *phase ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   300
  virtual const Type *bottom_type() const { return TypeInt::BOOL; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   301
  uint match_edge(uint idx) const { return 0; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   302
  virtual uint ideal_reg() const { return Op_RegI; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   303
489c9b5090e2 Initial load
duke
parents:
diff changeset
   304
  bool is_counted_loop_exit_test();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   305
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   306
  virtual void dump_spec(outputStream *st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   307
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   308
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   309
489c9b5090e2 Initial load
duke
parents:
diff changeset
   310
//------------------------------AbsNode----------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   311
// Abstract class for absolute value.  Mostly used to get a handy wrapper
489c9b5090e2 Initial load
duke
parents:
diff changeset
   312
// for finding this pattern in the graph.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   313
class AbsNode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   314
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   315
  AbsNode( Node *value ) : Node(0,value) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   316
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   317
489c9b5090e2 Initial load
duke
parents:
diff changeset
   318
//------------------------------AbsINode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   319
// Absolute value an integer.  Since a naive graph involves control flow, we
489c9b5090e2 Initial load
duke
parents:
diff changeset
   320
// "match" it in the ideal world (so the control flow can be removed).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   321
class AbsINode : public AbsNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   322
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   323
  AbsINode( Node *in1 ) : AbsNode(in1) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   324
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   325
  const Type *bottom_type() const { return TypeInt::INT; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   326
  virtual uint ideal_reg() const { return Op_RegI; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   327
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   328
489c9b5090e2 Initial load
duke
parents:
diff changeset
   329
//------------------------------AbsFNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   330
// Absolute value a float, a common float-point idiom with a cheap hardware
489c9b5090e2 Initial load
duke
parents:
diff changeset
   331
// implemention on most chips.  Since a naive graph involves control flow, we
489c9b5090e2 Initial load
duke
parents:
diff changeset
   332
// "match" it in the ideal world (so the control flow can be removed).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   333
class AbsFNode : public AbsNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   334
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   335
  AbsFNode( Node *in1 ) : AbsNode(in1) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   336
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   337
  const Type *bottom_type() const { return Type::FLOAT; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   338
  virtual uint ideal_reg() const { return Op_RegF; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   339
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   340
489c9b5090e2 Initial load
duke
parents:
diff changeset
   341
//------------------------------AbsDNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   342
// Absolute value a double, a common float-point idiom with a cheap hardware
489c9b5090e2 Initial load
duke
parents:
diff changeset
   343
// implemention on most chips.  Since a naive graph involves control flow, we
489c9b5090e2 Initial load
duke
parents:
diff changeset
   344
// "match" it in the ideal world (so the control flow can be removed).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   345
class AbsDNode : public AbsNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   346
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   347
  AbsDNode( Node *in1 ) : AbsNode(in1) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   348
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   349
  const Type *bottom_type() const { return Type::DOUBLE; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   350
  virtual uint ideal_reg() const { return Op_RegD; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   351
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   352
489c9b5090e2 Initial load
duke
parents:
diff changeset
   353
489c9b5090e2 Initial load
duke
parents:
diff changeset
   354
//------------------------------CmpLTMaskNode----------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   355
// If p < q, return -1 else return 0.  Nice for flow-free idioms.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   356
class CmpLTMaskNode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   357
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   358
  CmpLTMaskNode( Node *p, Node *q ) : Node(0, p, q) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   359
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   360
  const Type *bottom_type() const { return TypeInt::INT; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   361
  virtual uint ideal_reg() const { return Op_RegI; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   362
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   363
489c9b5090e2 Initial load
duke
parents:
diff changeset
   364
489c9b5090e2 Initial load
duke
parents:
diff changeset
   365
//------------------------------NegNode----------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   366
class NegNode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   367
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   368
  NegNode( Node *in1 ) : Node(0,in1) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   369
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   370
489c9b5090e2 Initial load
duke
parents:
diff changeset
   371
//------------------------------NegFNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   372
// Negate value a float.  Negating 0.0 returns -0.0, but subtracting from
489c9b5090e2 Initial load
duke
parents:
diff changeset
   373
// zero returns +0.0 (per JVM spec on 'fneg' bytecode).  As subtraction
489c9b5090e2 Initial load
duke
parents:
diff changeset
   374
// cannot be used to replace negation we have to implement negation as ideal
489c9b5090e2 Initial load
duke
parents:
diff changeset
   375
// node; note that negation and addition can replace subtraction.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   376
class NegFNode : public NegNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   377
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   378
  NegFNode( Node *in1 ) : NegNode(in1) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   379
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   380
  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   381
  const Type *bottom_type() const { return Type::FLOAT; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   382
  virtual uint ideal_reg() const { return Op_RegF; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   383
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   384
489c9b5090e2 Initial load
duke
parents:
diff changeset
   385
//------------------------------NegDNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   386
// Negate value a double.  Negating 0.0 returns -0.0, but subtracting from
489c9b5090e2 Initial load
duke
parents:
diff changeset
   387
// zero returns +0.0 (per JVM spec on 'dneg' bytecode).  As subtraction
489c9b5090e2 Initial load
duke
parents:
diff changeset
   388
// cannot be used to replace negation we have to implement negation as ideal
489c9b5090e2 Initial load
duke
parents:
diff changeset
   389
// node; note that negation and addition can replace subtraction.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   390
class NegDNode : public NegNode {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   391
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   392
  NegDNode( Node *in1 ) : NegNode(in1) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   393
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   394
  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   395
  const Type *bottom_type() const { return Type::DOUBLE; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   396
  virtual uint ideal_reg() const { return Op_RegD; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   397
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   398
489c9b5090e2 Initial load
duke
parents:
diff changeset
   399
//------------------------------CosDNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   400
// Cosinus of a double
489c9b5090e2 Initial load
duke
parents:
diff changeset
   401
class CosDNode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   402
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   403
  CosDNode( Node *in1  ) : Node(0, in1) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   404
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   405
  const Type *bottom_type() const { return Type::DOUBLE; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   406
  virtual uint ideal_reg() const { return Op_RegD; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   407
  virtual const Type *Value( PhaseTransform *phase ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   408
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   409
489c9b5090e2 Initial load
duke
parents:
diff changeset
   410
//------------------------------CosDNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   411
// Sinus of a double
489c9b5090e2 Initial load
duke
parents:
diff changeset
   412
class SinDNode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   413
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   414
  SinDNode( Node *in1  ) : Node(0, in1) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   415
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   416
  const Type *bottom_type() const { return Type::DOUBLE; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   417
  virtual uint ideal_reg() const { return Op_RegD; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   418
  virtual const Type *Value( PhaseTransform *phase ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   419
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   420
489c9b5090e2 Initial load
duke
parents:
diff changeset
   421
489c9b5090e2 Initial load
duke
parents:
diff changeset
   422
//------------------------------TanDNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   423
// tangens of a double
489c9b5090e2 Initial load
duke
parents:
diff changeset
   424
class TanDNode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   425
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   426
  TanDNode(Node *in1  ) : Node(0, in1) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   427
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   428
  const Type *bottom_type() const { return Type::DOUBLE; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   429
  virtual uint ideal_reg() const { return Op_RegD; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   430
  virtual const Type *Value( PhaseTransform *phase ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   431
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   432
489c9b5090e2 Initial load
duke
parents:
diff changeset
   433
489c9b5090e2 Initial load
duke
parents:
diff changeset
   434
//------------------------------AtanDNode--------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   435
// arcus tangens of a double
489c9b5090e2 Initial load
duke
parents:
diff changeset
   436
class AtanDNode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   437
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   438
  AtanDNode(Node *c, Node *in1, Node *in2  ) : Node(c, in1, in2) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   439
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   440
  const Type *bottom_type() const { return Type::DOUBLE; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   441
  virtual uint ideal_reg() const { return Op_RegD; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   442
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   443
489c9b5090e2 Initial load
duke
parents:
diff changeset
   444
489c9b5090e2 Initial load
duke
parents:
diff changeset
   445
//------------------------------SqrtDNode--------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   446
// square root a double
489c9b5090e2 Initial load
duke
parents:
diff changeset
   447
class SqrtDNode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   448
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   449
  SqrtDNode(Node *c, Node *in1  ) : Node(c, in1) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   450
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   451
  const Type *bottom_type() const { return Type::DOUBLE; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   452
  virtual uint ideal_reg() const { return Op_RegD; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   453
  virtual const Type *Value( PhaseTransform *phase ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   454
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   455
489c9b5090e2 Initial load
duke
parents:
diff changeset
   456
//------------------------------ExpDNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   457
//  Exponentiate a double
489c9b5090e2 Initial load
duke
parents:
diff changeset
   458
class ExpDNode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   459
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   460
  ExpDNode( Node *c, Node *in1 ) : Node(c, in1) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   461
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   462
  const Type *bottom_type() const { return Type::DOUBLE; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   463
  virtual uint ideal_reg() const { return Op_RegD; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   464
  virtual const Type *Value( PhaseTransform *phase ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   465
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   466
489c9b5090e2 Initial load
duke
parents:
diff changeset
   467
//------------------------------LogDNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   468
// Log_e of a double
489c9b5090e2 Initial load
duke
parents:
diff changeset
   469
class LogDNode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   470
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   471
  LogDNode( Node *in1 ) : Node(0, in1) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   472
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   473
  const Type *bottom_type() const { return Type::DOUBLE; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   474
  virtual uint ideal_reg() const { return Op_RegD; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   475
  virtual const Type *Value( PhaseTransform *phase ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   476
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   477
489c9b5090e2 Initial load
duke
parents:
diff changeset
   478
//------------------------------Log10DNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   479
// Log_10 of a double
489c9b5090e2 Initial load
duke
parents:
diff changeset
   480
class Log10DNode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   481
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   482
  Log10DNode( Node *in1 ) : Node(0, in1) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   483
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   484
  const Type *bottom_type() const { return Type::DOUBLE; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   485
  virtual uint ideal_reg() const { return Op_RegD; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   486
  virtual const Type *Value( PhaseTransform *phase ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   487
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   488
489c9b5090e2 Initial load
duke
parents:
diff changeset
   489
//------------------------------PowDNode---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   490
// Raise a double to a double power
489c9b5090e2 Initial load
duke
parents:
diff changeset
   491
class PowDNode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   492
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   493
  PowDNode(Node *c, Node *in1, Node *in2  ) : Node(c, in1, in2) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   494
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   495
  const Type *bottom_type() const { return Type::DOUBLE; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   496
  virtual uint ideal_reg() const { return Op_RegD; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   497
  virtual const Type *Value( PhaseTransform *phase ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   498
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   499
489c9b5090e2 Initial load
duke
parents:
diff changeset
   500
//-------------------------------ReverseBytesINode--------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   501
// reverse bytes of an integer
489c9b5090e2 Initial load
duke
parents:
diff changeset
   502
class ReverseBytesINode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   503
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   504
  ReverseBytesINode(Node *c, Node *in1) : Node(c, in1) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   505
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   506
  const Type *bottom_type() const { return TypeInt::INT; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   507
  virtual uint ideal_reg() const { return Op_RegI; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   508
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   509
489c9b5090e2 Initial load
duke
parents:
diff changeset
   510
//-------------------------------ReverseBytesLNode--------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   511
// reverse bytes of a long
489c9b5090e2 Initial load
duke
parents:
diff changeset
   512
class ReverseBytesLNode : public Node {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   513
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   514
  ReverseBytesLNode(Node *c, Node *in1) : Node(c, in1) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   515
  virtual int Opcode() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   516
  const Type *bottom_type() const { return TypeLong::LONG; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   517
  virtual uint ideal_reg() const { return Op_RegL; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   518
};
5352
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   519
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   520
//-------------------------------ReverseBytesUSNode--------------------------------
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   521
// reverse bytes of an unsigned short / char
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   522
class ReverseBytesUSNode : public Node {
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   523
public:
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   524
  ReverseBytesUSNode(Node *c, Node *in1) : Node(c, in1) {}
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   525
  virtual int Opcode() const;
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   526
  const Type *bottom_type() const { return TypeInt::CHAR; }
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   527
  virtual uint ideal_reg() const { return Op_RegI; }
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   528
};
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   529
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   530
//-------------------------------ReverseBytesSNode--------------------------------
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   531
// reverse bytes of a short
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   532
class ReverseBytesSNode : public Node {
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   533
public:
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   534
  ReverseBytesSNode(Node *c, Node *in1) : Node(c, in1) {}
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   535
  virtual int Opcode() const;
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   536
  const Type *bottom_type() const { return TypeInt::SHORT; }
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   537
  virtual uint ideal_reg() const { return Op_RegI; }
cee8f7acb7bc 6946040: add intrinsic for short and char reverseBytes
never
parents: 670
diff changeset
   538
};
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
   539
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
   540
#endif // SHARE_VM_OPTO_SUBNODE_HPP