これらは, C2 JIT Compiler 用の高レベル中間語を表すクラス. より具体的に言うと, 定数値, 条件付き転送, 型変換, 等を表すクラス.
Node クラスのサブクラスの1つ. 「定数値」を表す全ての Node クラスの基底クラス.
なお, このクラスは abstract class ではない. (不定な値を表す際に使用されている. 例えば void や long/double の 2スロット目などに使われる).
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConNode----------------------------------------
// Simple constants
class ConNode : public TypeNode {
以下の箇所で(のみ)生成されている.
入力ノードは control input のみ. そして control input は常に RootNode.
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConNode( const Type *t ) : TypeNode(t,1) {
init_req(0, (Node*)Compile::current()->root());
init_flags(Flag_is_Con);
}
(なお, コンストラクタで指定された定数値 (t引数) は TypeNode のコンストラクタに引き渡される)
See: here for details
ConNode クラスのサブクラスの1つ. このクラスは int 型の定数用.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConINode---------------------------------------
// Simple integer constants
class ConINode : public ConNode {
なお ConXNode という型も使われるが,
#ifdef _LP64
でない場合は, これは ConINode の別名.
((cite: hotspot/src/share/vm/opto/type.hpp))
#define ConXNode ConINode
以下の箇所で(のみ)生成されている.
入力ノードは control input のみ. そして control input は常に RootNode.
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConINode( const TypeInt *t ) : ConNode(t) {}
See: here for details
ConNode クラスのサブクラスの1つ. このクラスはポインタ型の定数用.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConPNode---------------------------------------
// Simple pointer constants
class ConPNode : public ConNode {
以下の箇所で(のみ)生成されている.
入力ノードは control input のみ. そして control input は常に RootNode.
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConPNode( const TypePtr *t ) : ConNode(t) {}
See: here for details
ConNode クラスのサブクラスの1つ. このクラスは narrow oop 型の定数用.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConNNode--------------------------------------
// Simple narrow oop constants
class ConNNode : public ConNode {
以下の箇所で(のみ)生成されている.
入力ノードは control input のみ. そして control input は常に RootNode.
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConNNode( const TypeNarrowOop *t ) : ConNode(t) {}
See: here for details
ConNode クラスのサブクラスの1つ. このクラスは long 型の定数用.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConLNode---------------------------------------
// Simple long constants
class ConLNode : public ConNode {
なお ConXNode という型も使われるが,
#ifdef _LP64
の場合は, これは ConLNode の別名.
((cite: hotspot/src/share/vm/opto/type.hpp))
#define ConXNode ConLNode
以下の箇所で(のみ)生成されている.
入力ノードは control input のみ. そして control input は常に RootNode.
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConLNode( const TypeLong *t ) : ConNode(t) {}
See: here for details
ConNode クラスのサブクラスの1つ. このクラスは float 型の定数用.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConFNode---------------------------------------
// Simple float constants
class ConFNode : public ConNode {
以下の箇所で(のみ)生成されている.
入力ノードは control input のみ. そして control input は常に RootNode.
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConFNode( const TypeF *t ) : ConNode(t) {}
See: here for details
ConNode クラスのサブクラスの1つ. このクラスは double 型の定数用.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConDNode---------------------------------------
// Simple double constants
class ConDNode : public ConNode {
以下の箇所で(のみ)生成されている.
入力ノードは control input のみ. そして control input は常に RootNode.
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConDNode( const TypeD *t ) : ConNode(t) {}
See: here for details
TypeNode クラスのサブクラスの1つ. 全ての CMove*Node クラスの基底クラス (なお CMove*Node は条件に応じて 2つの値のどちらかを出力する Node. C 言語の3項演算子のようなもの (<= あるいは関数型言語の if 式のようなもの)).
なお, このクラス自体は abstract class であり, 実際に使われるのはサブクラス.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------CMoveNode--------------------------------------
// Conditional move
class CMoveNode : public TypeNode {
(control input も含めて) 4つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
その他の 3つは以下の通り.
((cite: hotspot/src/share/vm/opto/connode.hpp))
enum { Control, // When is it safe to do this cmove?
Condition, // Condition controlling the cmove
IfFalse, // Value if condition is false
IfTrue }; // Value if condition is true
((cite: hotspot/src/share/vm/opto/connode.hpp))
CMoveNode( Node *bol, Node *left, Node *right, const Type *t ) : TypeNode(t,4)
{
init_class_id(Class_CMove);
// all inputs are nullified in Node::Node(int)
// init_req(Control,NULL);
init_req(Condition,bol);
init_req(IfFalse,left);
init_req(IfTrue,right);
}
なお, このクラスは以下のファイル中に書かれている Ideal クラスの一覧には出ていない.
See: here for details
CMoveNode クラスの具象サブクラスの1つ. このクラスは 2つの double 値から 1つを選ぶ場合用.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------CMoveDNode-------------------------------------
class CMoveDNode : public CMoveNode {
CMoveNode::make() 内で(のみ)生成されている.
(control input も含めて) 4つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
その他の 3つは以下の通り.
((cite: hotspot/src/share/vm/opto/connode.hpp))
CMoveDNode( Node *bol, Node *left, Node *right, const Type* t) : CMoveNode(bol,left,right,t){}
See: here for details
CMoveNode クラスの具象サブクラスの1つ. このクラスは 2つの float 値から 1つを選ぶ場合用.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------CMoveFNode-------------------------------------
class CMoveFNode : public CMoveNode {
CMoveNode::make() 内で(のみ)生成されている.
(control input も含めて) 4つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
その他の 3つは以下の通り.
((cite: hotspot/src/share/vm/opto/connode.hpp))
CMoveFNode( Node *bol, Node *left, Node *right, const Type* t ) : CMoveNode(bol,left,right,t) {}
See: here for details
CMoveNode クラスの具象サブクラスの1つ. このクラスは 2つの int 値から 1つを選ぶ場合用.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------CMoveINode-------------------------------------
class CMoveINode : public CMoveNode {
以下の箇所で(のみ)生成されている.
(control input も含めて) 4つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
その他の 3つは以下の通り.
((cite: hotspot/src/share/vm/opto/connode.hpp))
CMoveINode( Node *bol, Node *left, Node *right, const TypeInt *ti ) : CMoveNode(bol,left,right,ti){}
See: here for details
CMoveNode クラスの具象サブクラスの1つ. このクラスは 2つの long 値から 1つを選ぶ場合用.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------CMoveLNode-------------------------------------
class CMoveLNode : public CMoveNode {
以下の箇所で(のみ)生成されている.
(control input も含めて) 4つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
その他の 3つは以下の通り.
((cite: hotspot/src/share/vm/opto/connode.hpp))
CMoveLNode(Node *bol, Node *left, Node *right, const TypeLong *tl ) : CMoveNode(bol,left,right,tl){}
See: here for details
CMoveNode クラスの具象サブクラスの1つ. このクラスは 2つのポインタ値から 1つを選ぶ場合用.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------CMovePNode-------------------------------------
class CMovePNode : public CMoveNode {
CMoveNode::make() 内で(のみ)生成されている.
(control input も含めて) 4つの入力ノードを持つ. それぞれの入力の意味は以下の通り
((cite: hotspot/src/share/vm/opto/connode.hpp))
CMovePNode( Node *c, Node *bol, Node *left, Node *right, const TypePtr* t ) : CMoveNode(bol,left,right,t) { init_req(Control,c); }
See: here for details
CMoveNode クラスの具象サブクラスの1つ. このクラスは 2つの narrow oop 値から 1つを選ぶ場合用.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------CMoveNNode-------------------------------------
class CMoveNNode : public CMoveNode {
CMoveNode::make() 内で(のみ)生成されている.
(control input も含めて) 4つの入力ノードを持つ. それぞれの入力の意味は以下の通り
((cite: hotspot/src/share/vm/opto/connode.hpp))
CMoveNNode( Node *c, Node *bol, Node *left, Node *right, const Type* t ) : CMoveNode(bol,left,right,t) { init_req(Control,c); }
See: here for details
CMoveNode クラス(及びそのサブクラス)を補佐する Node クラス. 低レベル中間語で使用される.
CMoveNode は 4つの入力を必要とするが, Matcher は二分木を要求する. そこで BinaryNode を使って "(CMove (Binary bol cmp) (Binary src1 src2))" という二分木として表現する.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------BinaryNode-------------------------------------
// Place holder for the 2 conditional inputs to a CMove. CMove needs 4
// inputs: the Bool (for the lt/gt/eq/ne bits), the flags (result of some
// compare), and the 2 values to select between. The Matcher requires a
// binary tree so we break it down like this:
// (CMove (Binary bol cmp) (Binary src1 src2))
class BinaryNode : public Node {
Matcher::find_shared() 内で(のみ)生成されている.
(control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
BinaryNode( Node *n1, Node *n2 ) : Node(0,n1,n2) { }
See: here for details
TypeNode クラスの具象サブクラスの1つ.
Ideal の型情報を扱うための便宜的な Node クラスの基底クラス(?). 型に含まれている「取り得る値の範囲(value range)情報」を修正したい場合に使用される模様.
(C2 内で使用される型情報(Type クラス)は, 型だけでなく取り得る値の範囲も保持している (See: Type). この取り得る値の範囲が変わる場合に ConstraintCastNode (のサブクラス) で表現される模様. 例えば, 「Null の可能性があるポインタ型」は Null チェックが終わった後は「Null の可能性がないポインタ型」にキャストされる, 等)
(<= 実際問題 AD ファイルでは何も出力されない(enc が空になっている)ので, 実質的な処理には対応していない模様)
なお, このクラス自体は abstract class であり, 実際に使われるのはサブクラス.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConstraintCastNode-----------------------------
// cast to a different range
class ConstraintCastNode: public TypeNode {
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConstraintCastNode (Node *n, const Type *t ): TypeNode(t,2) {
init_class_id(Class_ConstraintCast);
init_req(1, n);
}
See: here for details
ConstraintCastNode クラスの具象サブクラスの1つ.
このクラスは, 整数型の取り得る値の範囲が変わった場合用 (? #TODO).
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------CastIINode-------------------------------------
// cast integer to integer (different range)
class CastIINode: public ConstraintCastNode {
以下の箇所で(のみ)生成されている.
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
CastIINode (Node *n, const Type *t ): ConstraintCastNode(n,t) {}
See: here for details
ConstraintCastNode クラスの具象サブクラスの1つ.
このクラスは, ポインタ型の取り得る値の範囲が変わった場合用 (? #TODO).
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------CastPPNode-------------------------------------
// cast pointer to pointer (different type)
class CastPPNode: public ConstraintCastNode {
以下の箇所で(のみ)生成されている.
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
CastPPNode (Node *n, const Type *t ): ConstraintCastNode(n, t) {}
See: here for details
TypeNode クラスの具象サブクラスの1つ. オブジェクトの型を検査する処理 (checkcast 相当の処理) を表す Node.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------CheckCastPPNode--------------------------------
// for _checkcast, cast pointer to pointer (different type), without JOIN,
class CheckCastPPNode: public TypeNode {
以下の箇所で(のみ)生成されている.
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ.
((cite: hotspot/src/share/vm/opto/connode.hpp))
CheckCastPPNode( Node *c, Node *n, const Type *t ) : TypeNode(t,2) {
init_class_id(Class_CheckCastPP);
init_req(0, c);
init_req(1, n);
}
See: here for details
UseCompressedOops 機能のための Node. ポインタを narrow oop に変換する処理を表す.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------EncodeP--------------------------------
// Encodes an oop pointers into its compressed form
// Takes an extra argument which is the real heap base as a long which
// may be useful for code generation in the backend.
class EncodePNode : public TypeNode {
以下の箇所で(のみ)生成されている.
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
EncodePNode(Node* value, const Type* type):
TypeNode(type, 2) {
init_class_id(Class_EncodeP);
init_req(0, NULL);
init_req(1, value);
}
See: here for details
UseCompressedOops 機能のための Node. narrow oop をポインタに戻す処理を表す.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------DecodeN--------------------------------
// Converts a narrow oop into a real oop ptr.
// Takes an extra argument which is the real heap base as a long which
// may be useful for code generation in the backend.
class DecodeNNode : public TypeNode {
以下の箇所で(のみ)生成されている.
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
DecodeNNode(Node* value, const Type* type):
TypeNode(type, 2) {
init_class_id(Class_DecodeN);
init_req(0, NULL);
init_req(1, value);
}
See: here for details
Node クラスの具象サブクラスの1つ. int やポインタ値から boolean への型変換処理を表す (0 なら 0, 非0 なら 1 になる).
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------Conv2BNode-------------------------------------
// Convert int/pointer to a Boolean. Map zero to zero, all else to 1.
class Conv2BNode : public Node {
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
Conv2BNode( Node *i ) : Node(0,i) {}
See: here for details
Node クラスの具象サブクラスの1つ. double 値から float への型変換処理を表す.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConvD2FNode------------------------------------
// Convert double to float
class ConvD2FNode : public Node {
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConvD2FNode( Node *in1 ) : Node(0,in1) {}
なお, ファイル中では Conv*Node はアルファベット順に定義しているとのこと.
((cite: hotspot/src/share/vm/opto/connode.hpp))
// The conversions operations are all Alpha sorted. Please keep it that way!
See: here for details
Node クラスの具象サブクラスの1つ. double 値から int への型変換処理を表す.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConvD2INode------------------------------------
// Convert Double to Integer
class ConvD2INode : public Node {
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConvD2INode( Node *in1 ) : Node(0,in1) {}
なお, ファイル中では Conv*Node はアルファベット順に定義しているとのこと.
((cite: hotspot/src/share/vm/opto/connode.hpp))
// The conversions operations are all Alpha sorted. Please keep it that way!
See: here for details
Node クラスの具象サブクラスの1つ. double 値から lont への型変換処理を表す.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConvD2LNode------------------------------------
// Convert Double to Long
class ConvD2LNode : public Node {
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConvD2LNode( Node *dbl ) : Node(0,dbl) {}
なお, ファイル中では Conv*Node はアルファベット順に定義しているとのこと.
((cite: hotspot/src/share/vm/opto/connode.hpp))
// The conversions operations are all Alpha sorted. Please keep it that way!
See: here for details
Node クラスの具象サブクラスの1つ. float 値から double への型変換処理を表す.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConvF2DNode------------------------------------
// Convert Float to a Double.
class ConvF2DNode : public Node {
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConvF2DNode( Node *in1 ) : Node(0,in1) {}
なお, ファイル中では Conv*Node はアルファベット順に定義しているとのこと.
((cite: hotspot/src/share/vm/opto/connode.hpp))
// The conversions operations are all Alpha sorted. Please keep it that way!
See: here for details
Node クラスの具象サブクラスの1つ. float 値から int への型変換処理を表す.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConvF2INode------------------------------------
// Convert float to integer
class ConvF2INode : public Node {
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConvF2INode( Node *in1 ) : Node(0,in1) {}
なお, ファイル中では Conv*Node はアルファベット順に定義しているとのこと.
((cite: hotspot/src/share/vm/opto/connode.hpp))
// The conversions operations are all Alpha sorted. Please keep it that way!
See: here for details
Node クラスの具象サブクラスの1つ. float 値から lont への型変換処理を表す.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConvF2LNode------------------------------------
// Convert float to long
class ConvF2LNode : public Node {
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConvF2LNode( Node *in1 ) : Node(0,in1) {}
なお, ファイル中では Conv*Node はアルファベット順に定義しているとのこと.
((cite: hotspot/src/share/vm/opto/connode.hpp))
// The conversions operations are all Alpha sorted. Please keep it that way!
See: here for details
Node クラスの具象サブクラスの1つ. int 値から double への型変換処理を表す.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConvI2DNode------------------------------------
// Convert Integer to Double
class ConvI2DNode : public Node {
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConvI2DNode( Node *in1 ) : Node(0,in1) {}
なお, ファイル中では Conv*Node はアルファベット順に定義しているとのこと.
((cite: hotspot/src/share/vm/opto/connode.hpp))
// The conversions operations are all Alpha sorted. Please keep it that way!
See: here for details
Node クラスの具象サブクラスの1つ. int 値から float への型変換処理を表す.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConvI2FNode------------------------------------
// Convert Integer to Float
class ConvI2FNode : public Node {
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConvI2FNode( Node *in1 ) : Node(0,in1) {}
なお, ファイル中では Conv*Node はアルファベット順に定義しているとのこと.
((cite: hotspot/src/share/vm/opto/connode.hpp))
// The conversions operations are all Alpha sorted. Please keep it that way!
See: here for details
TypeNode クラスの具象サブクラスの1つ. int 値から long への型変換処理を表す.
(他の Conv*Node は Node のサブクラスなのにこいつは TypeNode のサブクラス. 中身が int 範囲の (上 32bit は 0 の) long 値だと分かっていれば最適化できることがある?? #TODO)
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConvI2LNode------------------------------------
// Convert integer to long
class ConvI2LNode : public TypeNode {
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConvI2LNode(Node *in1, const TypeLong* t = TypeLong::INT)
: TypeNode(t, 2)
{ init_req(1, in1); }
なお, ファイル中では Conv*Node はアルファベット順に定義しているとのこと.
((cite: hotspot/src/share/vm/opto/connode.hpp))
// The conversions operations are all Alpha sorted. Please keep it that way!
See: here for details
Node クラスの具象サブクラスの1つ. long 値から double への型変換処理を表す.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConvL2DNode------------------------------------
// Convert Long to Double
class ConvL2DNode : public Node {
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConvL2DNode( Node *in1 ) : Node(0,in1) {}
なお, ファイル中では Conv*Node はアルファベット順に定義しているとのこと.
((cite: hotspot/src/share/vm/opto/connode.hpp))
// The conversions operations are all Alpha sorted. Please keep it that way!
See: here for details
Node クラスの具象サブクラスの1つ. long 値から float への型変換処理を表す.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConvL2FNode------------------------------------
// Convert Long to Float
class ConvL2FNode : public Node {
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConvL2FNode( Node *in1 ) : Node(0,in1) {}
なお, ファイル中では Conv*Node はアルファベット順に定義しているとのこと.
((cite: hotspot/src/share/vm/opto/connode.hpp))
// The conversions operations are all Alpha sorted. Please keep it that way!
See: here for details
Node クラスの具象サブクラスの1つ. long 値から int への型変換処理を表す.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ConvL2INode------------------------------------
// Convert long to integer
class ConvL2INode : public Node {
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
ConvL2INode( Node *in1 ) : Node(0,in1) {}
なお, ファイル中では Conv*Node はアルファベット順に定義しているとのこと.
((cite: hotspot/src/share/vm/opto/connode.hpp))
// The conversions operations are all Alpha sorted. Please keep it that way!
See: here for details
Node クラスの具象サブクラスの1つ. ポインタと同ビット幅の整数値(int/long)からポインタへのキャスト処理を表す.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------CastX2PNode-------------------------------------
// convert a machine-pointer-sized integer to a raw pointer
class CastX2PNode : public Node {
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
CastX2PNode( Node *n ) : Node(NULL, n) {}
See: here for details
Node クラスの具象サブクラスの1つ. ポインタからポインタと同ビット幅の整数値(int/long)へのキャスト処理を表す.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------CastP2XNode-------------------------------------
// Used in both 32-bit and 64-bit land.
// Used for card-marks and unsafe pointer math.
class CastP2XNode : public Node {
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. なお, コンストラクタで指定することにより 0 以外の control input を設定できる.
(何で制御依存が必要なのかよく分からない. 実質何もしないノード(やるとしてもレジスタ間コピー程度のノード)に見えるが... #TODO)
((cite: hotspot/src/share/vm/opto/connode.hpp))
CastP2XNode( Node *ctrl, Node *n ) : Node(ctrl, n) {}
See: here for details
?? (このクラスは使用箇所が見当たらない...)
(メモリ間コピーを表す Node のようだが... #TODO)
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------MemMoveNode------------------------------------
// Memory to memory move. Inserted very late, after allocation.
class MemMoveNode : public Node {
((cite: hotspot/src/share/vm/opto/connode.hpp))
MemMoveNode( Node *dst, Node *src ) : Node(0,dst,src) {}
See: here for details
Node クラスの具象サブクラスの1つ. カレントスレッドに対応する ThreadLocalStorage オブジェクトのアドレスを表す (See: ThreadLocalStorage).
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------ThreadLocalNode--------------------------------
// Ideal Node which returns the base of ThreadLocalStorage.
class ThreadLocalNode : public Node {
入力ノードは control input のみ. そして control input は常に RootNode.
((cite: hotspot/src/share/vm/opto/connode.hpp))
ThreadLocalNode( ) : Node((Node*)Compile::current()->root()) {}
See: here for details
?? (このクラスは使用箇所が見当たらない...)
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------LoadReturnPCNode-------------------------------
class LoadReturnPCNode: public Node {
((cite: hotspot/src/share/vm/opto/connode.hpp))
LoadReturnPCNode(Node *c) : Node(c) { }
See: here for details
Node クラスの具象サブクラスの1つ. float 値を IEEE 754 で規定された 32bit のフォーマットに変換する処理を表す (この Node は x87 のような独自フォーマットが使われている場合にのみ意味を持つ).
((cite: hotspot/src/share/vm/opto/connode.hpp))
//-----------------------------RoundFloatNode----------------------------------
class RoundFloatNode: public Node {
GraphKit::precision_rounding() 内で(のみ)生成されている.
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ.
なお, コンストラクタで指定することにより 0 以外の control input を設定できる. ただし現状では 0 しか指定されていない.
((cite: hotspot/src/share/vm/opto/connode.hpp))
RoundFloatNode(Node* c, Node *in1): Node(c, in1) {}
See: here for details
Node クラスの具象サブクラスの1つ. double 値を IEEE 754 で規定された 64bit のフォーマットに変換する処理を表す (この Node は x87 のような独自フォーマットが使われている場合にのみ意味を持つ).
((cite: hotspot/src/share/vm/opto/connode.hpp))
//-----------------------------RoundDoubleNode---------------------------------
class RoundDoubleNode: public Node {
以下の箇所で(のみ)生成されている.
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ.
なお, コンストラクタで指定することにより 0 以外の control input を設定できる. ただし現状では 0 しか指定されていない.
((cite: hotspot/src/share/vm/opto/connode.hpp))
RoundDoubleNode(Node* c, Node *in1): Node(c, in1) {}
See: here for details
Node クラスの具象サブクラスの1つ. 最適化されたくない箇所を最適化から保護するための Node (?? #TODO).
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------Opaque1Node------------------------------------
// A node to prevent unwanted optimizations. Allows constant folding.
// Stops value-numbering, Ideal calls or Identity functions.
class Opaque1Node : public Node {
以下の箇所で(のみ)生成されている.
(control input も含めて) 2つまたは3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
Opaque1Node( Compile* C, Node *n ) : Node(0,n) {
// Put it on the Macro nodes list to removed during macro nodes expansion.
init_flags(Flag_is_macro);
C->add_macro_node(this);
}
// Special version for the pre-loop to hold the original loop limit
// which is consumed by range check elimination.
Opaque1Node( Compile* C, Node *n, Node* orig_limit ) : Node(0,n,orig_limit) {
// Put it on the Macro nodes list to removed during macro nodes expansion.
init_flags(Flag_is_macro);
C->add_macro_node(this);
}
See: here for details
Node クラスの具象サブクラスの1つ. 最適化されたくない箇所を最適化から保護するための Node (?? #TODO).
((cite: hotspot/src/share/vm/opto/connode.hpp))
//------------------------------Opaque2Node------------------------------------
// A node to prevent unwanted optimizations. Allows constant folding. Stops
// value-numbering, most Ideal calls or Identity functions. This Node is
// specifically designed to prevent the pre-increment value of a loop trip
// counter from being live out of the bottom of the loop (hence causing the
// pre- and post-increment values both being live and thus requiring an extra
// temp register and an extra move). If we "accidentally" optimize through
// this kind of a Node, we'll get slightly pessimal, but correct, code. Thus
// it's OK to be slightly sloppy on optimizations here.
class Opaque2Node : public Node {
以下の箇所で(のみ)生成されている.
(control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
Opaque2Node( Compile* C, Node *n ) : Node(0,n) {
// Put it on the Macro nodes list to removed during macro nodes expansion.
init_flags(Flag_is_macro);
C->add_macro_node(this);
}
See: here for details
Node クラスの具象サブクラスの1つ. 2つのクラス(klassOop)がサブタイプ関係にあるかどうかを判定する処理を表す.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//----------------------PartialSubtypeCheckNode--------------------------------
// The 2nd slow-half of a subtype check. Scan the subklass's 2ndary superklass
// array for an instance of the superklass. Set a hidden internal cache on a
// hit (cache is checked with exposed code in gen_subtype_check()). Return
// not zero for a miss or zero for a hit.
class PartialSubtypeCheckNode : public Node {
GraphKit::gen_subtype_check() 内で(のみ)生成されている.
2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ.
((cite: hotspot/src/share/vm/opto/connode.hpp))
PartialSubtypeCheckNode(Node* c, Node* sub, Node* super) : Node(c,sub,super) {}
See: here for details
LibraryIntrinsic による最適化用の Node クラス.
整数値から浮動小数値へのキャストを表す. なお, この変換では値(ビットのレイアウト)は変わらず型が変わるのみ (= java.lang.Float.intBitsToFloat() 用の Node).
((cite: hotspot/src/share/vm/opto/connode.hpp))
class MoveI2FNode : public Node {
LibraryCallKit::inline_fp_conversions() 内で(のみ)生成されている.
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
MoveI2FNode( Node *value ) : Node(0,value) {}
See: here for details
LibraryIntrinsic による最適化用の Node クラス.
整数値から浮動小数値へのキャストを表す. なお, この変換では値(ビットのレイアウト)は変わらず型が変わるのみ (= java.lang.Double.longBitsToDouble() 用の Node).
((cite: hotspot/src/share/vm/opto/connode.hpp))
class MoveL2DNode : public Node {
LibraryCallKit::inline_fp_conversions() 内で(のみ)生成されている.
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
MoveL2DNode( Node *value ) : Node(0,value) {}
See: here for details
Node クラスの具象サブクラスの1つ.
浮動小数値から整数値へのキャストを表す. なお, この変換では値(ビットのレイアウト)は変わらず型が変わるのみ.
((cite: hotspot/src/share/vm/opto/connode.hpp))
class MoveF2INode : public Node {
以下の箇所で(のみ)生成されている.
(java.lang.Float.floatToRawIntBits() の変換用)
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
MoveF2INode( Node *value ) : Node(0,value) {}
See: here for details
Node クラスの具象サブクラスの1つ.
浮動小数値から整数値へのキャストを表す. なお, この変換では値(ビットのレイアウト)は変わらず型が変わるのみ.
((cite: hotspot/src/share/vm/opto/connode.hpp))
class MoveD2LNode : public Node {
以下の箇所で(のみ)生成されている.
(java.lang.Float.floatToRawIntBits() の変換用)
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
MoveD2LNode( Node *value ) : Node(0,value) {}
See: here for details
LibraryIntrinsic による最適化用の Node クラス (の基底クラス).
Node クラスのサブクラスの1つ. 全ての CountLeadingZero*Node/CountTrailingZero*Node/PopCount*Node クラスの基底クラス.
なお, このクラス自体は abstract class であり, 実際に使われるのはサブクラス.
((cite: hotspot/src/share/vm/opto/connode.hpp))
//---------- CountBitsNode -----------------------------------------------------
class CountBitsNode : public Node {
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
CountBitsNode(Node* in1) : Node(0, in1) {}
なお, このクラスは以下のファイル中に書かれている Ideal クラスの一覧には出ていない.
See: here for details
LibraryIntrinsic による最適化用の Node クラス.
CountBitsNode クラスの具象サブクラスの1つ. このクラスは int 値に対する count leading zero 演算用 (= java.lang.Integer.numberOfLeadingZeros() 用).
((cite: hotspot/src/share/vm/opto/connode.hpp))
//---------- CountLeadingZerosINode --------------------------------------------
// Count leading zeros (0-bit count starting from MSB) of an integer.
class CountLeadingZerosINode : public CountBitsNode {
LibraryCallKit::inline_numberOfLeadingZeros() 内で(のみ)生成されている.
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
CountLeadingZerosINode(Node* in1) : CountBitsNode(in1) {}
See: here for details
LibraryIntrinsic による最適化用の Node クラス.
CountBitsNode クラスの具象サブクラスの1つ. このクラスは long 値に対する count leading zero 演算用 (= java.lang.Long.numberOfLeadingZeros() 用).
((cite: hotspot/src/share/vm/opto/connode.hpp))
//---------- CountLeadingZerosLNode --------------------------------------------
// Count leading zeros (0-bit count starting from MSB) of a long.
class CountLeadingZerosLNode : public CountBitsNode {
LibraryCallKit::inline_numberOfLeadingZeros() 内で(のみ)生成されている.
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
CountLeadingZerosLNode(Node* in1) : CountBitsNode(in1) {}
See: here for details
LibraryIntrinsic による最適化用の Node クラス.
CountBitsNode クラスの具象サブクラスの1つ. このクラスは int 値に対する count trailing zero 演算用 (= java.lang.Integer.numberOfTrailingZeros() 用).
((cite: hotspot/src/share/vm/opto/connode.hpp))
//---------- CountTrailingZerosINode -------------------------------------------
// Count trailing zeros (0-bit count starting from LSB) of an integer.
class CountTrailingZerosINode : public CountBitsNode {
LibraryCallKit::inline_numberOfTrailingZeros() 内で(のみ)生成されている.
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
CountTrailingZerosINode(Node* in1) : CountBitsNode(in1) {}
See: here for details
LibraryIntrinsic による最適化用の Node クラス.
CountBitsNode クラスの具象サブクラスの1つ. このクラスは long 値に対する count trailing zero 演算用 (= java.lang.Integer.numberOfTrailingZeros() 用).
((cite: hotspot/src/share/vm/opto/connode.hpp))
//---------- CountTrailingZerosLNode -------------------------------------------
// Count trailing zeros (0-bit count starting from LSB) of a long.
class CountTrailingZerosLNode : public CountBitsNode {
LibraryCallKit::inline_numberOfTrailingZeros() 内で(のみ)生成されている.
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
CountTrailingZerosLNode(Node* in1) : CountBitsNode(in1) {}
See: here for details
LibraryIntrinsic による最適化用の Node クラス.
CountBitsNode クラスの具象サブクラスの1つ. このクラスは int 値に対する population count 演算用 (= java.lang.Integer.bitCount() 用).
((cite: hotspot/src/share/vm/opto/connode.hpp))
//---------- PopCountINode -----------------------------------------------------
// Population count (bit count) of an integer.
class PopCountINode : public CountBitsNode {
LibraryCallKit::inline_bitCount() 内で(のみ)生成されている.
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
PopCountINode(Node* in1) : CountBitsNode(in1) {}
See: here for details
LibraryIntrinsic による最適化用の Node クラス.
CountBitsNode クラスの具象サブクラスの1つ. このクラスは long 値に対する population count 演算用 (= java.lang.Long.bitCount() 用).
((cite: hotspot/src/share/vm/opto/connode.hpp))
//---------- PopCountLNode -----------------------------------------------------
// Population count (bit count) of a long.
class PopCountLNode : public CountBitsNode {
LibraryCallKit::inline_bitCount() 内で(のみ)生成されている.
単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).
((cite: hotspot/src/share/vm/opto/connode.hpp))
PopCountLNode(Node* in1) : CountBitsNode(in1) {}
See: here for details
This document is available under the GNU GENERAL PUBLIC LICENSE Version 2.