減算に関する高レベル中間語(Ideal)クラス (SubNode, SubINode, SubLNode, SubFPNode, SubFNode, SubDNode, CmpNode, CmpINode, CmpUNode, CmpPNode, CmpNNode, CmpLNode, CmpL3Node, CmpFNode, CmpF3Node, CmpDNode, CmpD3Node, BoolNode, AbsNode, AbsINode, AbsFNode, AbsDNode, CmpLTMaskNode, NegNode, NegFNode, NegDNode, CosDNode, SinDNode, TanDNode, AtanDNode, SqrtDNode, ExpDNode, LogDNode, Log10DNode, PowDNode, ReverseBytesINode, ReverseBytesLNode, ReverseBytesUSNode, ReverseBytesSNode)

これらは, C2 JIT Compiler 用の高レベル中間語を表すクラス. より具体的に言うと, 主に「減算」を表すクラス.

なお単なる数値の減算だけでなく, 減算に似たものは全てここで扱う (例えば compare は {-1,0,1} への写像なので, 減算して符号だけ取得していると見なせる, 等).

(<= なぜか double の数学関数や, 整数のバイト反転処理も入っているが...?? #TODO)

なお, Cmp*Node の出力は {-1, 0, 1} のどれかを示す condition code だが, 名前に "3" を含むものは {-1, 0, 1} の int 値を返す (JVM の *cmp バイトコード命令が int 値を返すので, その値が branch の判定のみにしか使われないときは condition code, int 値としても使われるときは int, と最適化している模様 #TODO)

なお, 各 Sub*Node の先頭は「negative と add に置き換え可能」というコメントが書かれている (例: "NOTE: SubINode should be taken away and replaced by add and negate"). ただし, 逆に NegNode は SubNode で代用できないことに注意 (See: NegFNode, NegDNode).

クラス一覧(class list)

SubNode

概要(Summary)

Node クラスのサブクラスの1つ. 「減算」を表す全ての Node クラスの基底クラス.

(なお単なる数値の減算だけでなく, 減算に似たものは全てこのクラスのサブクラスで扱う) (例えば compare は {-1,0,1} への写像なので, 減算して符号だけ取得していると見なせる, 等).

なお, このクラス自体は abstract class であり, 実際に使われるのはサブクラス.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Class SUBTRACTION functionality.  This covers all the usual 'subtract'
    // behaviors.  Subtract-integer, -float, -double, binary xor, compare-integer,
    // -float, and -double are all inherited from this class.  The compare
    // functions behave like subtract functions, except that all negative answers
    // are compressed into -1, and all positive answers compressed to 1.
    class SubNode : public Node {

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      SubNode( Node *in1, Node *in2 ) : Node(0,in1,in2) {
        init_class_id(Class_Sub);
      }

備考(Notes)

なお, このクラスは以下のファイル中に書かれている Ideal クラスの一覧には出ていない.

詳細(Details)

SubINode

概要(Summary)

SubNode クラスの具象サブクラスの1つ. このクラスは int 値同士の減算用.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // NOTE: SubINode should be taken away and replaced by add and negate

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Subtract 2 integers
    class SubINode : public SubNode {

なお SubXNode という型も使われるが, #ifdef _LP64 でない場合は, これは SubINode の別名.

    ((cite: hotspot/src/share/vm/opto/type.hpp))
    #define SubXNode     SubINode

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      SubINode( Node *in1, Node *in2 ) : SubNode(in1,in2) {}

詳細(Details)

SubLNode

概要(Summary)

SubNode クラスの具象サブクラスの1つ. このクラスは long 値同士の減算用.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Subtract 2 integers
    class SubLNode : public SubNode {

なお SubXNode という型も使われるが, #ifdef _LP64 の場合は, これは SubLNode の別名.

    ((cite: hotspot/src/share/vm/opto/type.hpp))
    #define SubXNode     SubLNode

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      SubLNode( Node *in1, Node *in2 ) : SubNode(in1,in2) {}

詳細(Details)

SubFPNode

概要(Summary)

SubNode クラスのサブクラスの1つ. このクラスは float/double 値同士の減算用.

なお, このクラス自体は abstract class であり, 実際に使われるのはサブクラス.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // NOTE: SubFPNode should be taken away and replaced by add and negate

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Subtract 2 floats or doubles
    class SubFPNode : public SubNode {

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      SubFPNode( Node *in1, Node *in2 ) : SubNode(in1,in2) {}

備考(Notes)

なお, このクラスは以下のファイル中に書かれている Ideal クラスの一覧には出ていない.

詳細(Details)

SubFNode

概要(Summary)

SubFPNode クラスの具象サブクラスの1つ. このクラスは float 値同士の減算用.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // NOTE: SubFNode should be taken away and replaced by add and negate

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Subtract 2 doubles
    class SubFNode : public SubFPNode {

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      SubFNode( Node *in1, Node *in2 ) : SubFPNode(in1,in2) {}

詳細(Details)

SubDNode

概要(Summary)

SubFPNode クラスの具象サブクラスの1つ. このクラスは double 値同士の減算用.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // NOTE: SubDNode should be taken away and replaced by add and negate

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Subtract 2 doubles
    class SubDNode : public SubFPNode {

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      SubDNode( Node *in1, Node *in2 ) : SubFPNode(in1,in2) {}

詳細(Details)

CmpNode

概要(Summary)

SubNode クラスのサブクラスの1つ. このクラスは比較演算用. 結果としては {-1, 0, 1} のどれかを示す condition code を返す.

なお, このクラス自体は abstract class であり, 実際に使われるのはサブクラス.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Compare 2 values, returning condition codes (-1, 0 or 1).
    class CmpNode : public SubNode {

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      CmpNode( Node *in1, Node *in2 ) : SubNode(in1,in2) {
        init_class_id(Class_Cmp);
      }

備考(Notes)

なお, このクラスは以下のファイル中に書かれている Ideal クラスの一覧には出ていない.

詳細(Details)

CmpINode

概要(Summary)

CmpNode クラスの具象サブクラスの1つ. このクラスは int 値同士の比較(符号あり)用.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Compare 2 signed values, returning condition codes (-1, 0 or 1).
    class CmpINode : public CmpNode {

なお CmpXNode という型も使われるが, #ifdef _LP64 でない場合は, これは CmpINode の別名.

    ((cite: hotspot/src/share/vm/opto/type.hpp))
    #define CmpXNode     CmpINode

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      CmpINode( Node *in1, Node *in2 ) : CmpNode(in1,in2) {}

詳細(Details)

CmpUNode

概要(Summary)

CmpNode クラスの具象サブクラスの1つ. このクラスは int 値同士の比較(符号なし)用.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Compare 2 unsigned values (integer or pointer), returning condition codes (-1, 0 or 1).
    class CmpUNode : public CmpNode {

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      CmpUNode( Node *in1, Node *in2 ) : CmpNode(in1,in2) {}

詳細(Details)

CmpPNode

概要(Summary)

CmpNode クラスの具象サブクラスの1つ. このクラスはポインタ値同士の比較用.

結果としては {-1, 0, 1} のどれかを示す condition code を返す (といってもポインタ比較なので -1 と 1 の区別は要らない気もするが...#TODO)

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Compare 2 pointer values, returning condition codes (-1, 0 or 1).
    class CmpPNode : public CmpNode {

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      CmpPNode( Node *in1, Node *in2 ) : CmpNode(in1,in2) {}

詳細(Details)

CmpNNode

概要(Summary)

CmpNode クラスの具象サブクラスの1つ. このクラスは narrow oop 値同士の比較用.

結果としては {-1, 0, 1} のどれかを示す condition code を返す (といってもポインタ比較なので -1 と 1 の区別は要らない気もするが...#TODO)

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Compare 2 narrow oop values, returning condition codes (-1, 0 or 1).
    class CmpNNode : public CmpNode {

使われ方(Usage)

生成箇所(where its instances are created)

final_graph_reshaping_impl() 内で(のみ)生成されている. そして, この関数は現在は以下のパスで(のみ)呼び出されている.

Compile::Optimize()
-> Compile::final_graph_reshaping()
   -> final_graph_reshaping_walk()
      -> final_graph_reshaping_impl()

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      CmpNNode( Node *in1, Node *in2 ) : CmpNode(in1,in2) {}

詳細(Details)

CmpLNode

概要(Summary)

CmpNode クラスの具象サブクラスの1つ. このクラスは long 値同士の比較用.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Compare 2 long values, returning condition codes (-1, 0 or 1).
    class CmpLNode : public CmpNode {

なお CmpXNode という型も使われるが, #ifdef _LP64 の場合は, これは CmpLNode の別名.

    ((cite: hotspot/src/share/vm/opto/type.hpp))
    #define CmpXNode     CmpLNode

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      CmpLNode( Node *in1, Node *in2 ) : CmpNode(in1,in2) {}

詳細(Details)

CmpL3Node

概要(Summary)

スーパークラスと同じく long 値同士の比較用だが, このクラスは結果として {-1, 0, 1} の int 値を返す.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Compare 2 long values, returning integer value (-1, 0 or 1).
    class CmpL3Node : public CmpLNode {

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

なお BoolNode と組み合わせられない (= condition code を返さない) ので正確には Cmp*Node ではない. そのため class_id フィールドには Class_Cmp ではなく ClassSub を持つようにしている.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      CmpL3Node( Node *in1, Node *in2 ) : CmpLNode(in1,in2) {
        // Since it is not consumed by Bools, it is not really a Cmp.
        init_class_id(Class_Sub);
      }

詳細(Details)

CmpFNode

概要(Summary)

CmpNode クラスの具象サブクラスの1つ. このクラスは float 値同士の比較用.

なお, semantics は fcmpl バイトコード命令に合わせている. そのためどちらかが NaN 値であれば -1 が返される.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Compare 2 float values, returning condition codes (-1, 0 or 1).
    // This implements the Java bytecode fcmpl, so unordered returns -1.
    // Operands may not commute.
    class CmpFNode : public CmpNode {

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      CmpFNode( Node *in1, Node *in2 ) : CmpNode(in1,in2) {}

詳細(Details)

CmpF3Node

概要(Summary)

スーパークラスと同じく float 値同士の比較用だが, このクラスは結果として {-1, 0, 1} の int 値を返す.

なお, semantics は fcmpl バイトコード命令に合わせている. そのためどちらかが NaN 値であれば -1 が返される.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Compare 2 float values, returning integer value (-1, 0 or 1).
    // This implements the Java bytecode fcmpl, so unordered returns -1.
    // Operands may not commute.
    class CmpF3Node : public CmpFNode {

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      CmpF3Node( Node *in1, Node *in2 ) : CmpFNode(in1,in2) {
        // Since it is not consumed by Bools, it is not really a Cmp.
        init_class_id(Class_Sub);
      }

詳細(Details)

CmpDNode

概要(Summary)

CmpNode クラスの具象サブクラスの1つ. このクラスは double 値同士の比較用.

なお, semantics は dcmpl バイトコード命令に合わせている. そのためどちらかが NaN 値であれば -1 が返される.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Compare 2 double values, returning condition codes (-1, 0 or 1).
    // This implements the Java bytecode dcmpl, so unordered returns -1.
    // Operands may not commute.
    class CmpDNode : public CmpNode {

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      CmpDNode( Node *in1, Node *in2 ) : CmpNode(in1,in2) {}

詳細(Details)

CmpD3Node

概要(Summary)

スーパークラスと同じく double 値同士の比較用だが, このクラスは結果として {-1, 0, 1} の int 値を返す.

なお, semantics は dcmpl バイトコード命令に合わせている. そのためどちらかが NaN 値であれば -1 が返される.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Compare 2 double values, returning integer value (-1, 0 or 1).
    // This implements the Java bytecode dcmpl, so unordered returns -1.
    // Operands may not commute.
    class CmpD3Node : public CmpDNode {

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      CmpD3Node( Node *in1, Node *in2 ) : CmpDNode(in1,in2) {
        // Since it is not consumed by Bools, it is not really a Cmp.
        init_class_id(Class_Sub);
      }

詳細(Details)

BoolNode

概要(Summary)

Cmp*Node が出力する condition code から bool 値への変換を表す Node クラス (Cmp*Node で condition code を生成する時点では比較条件(equal, greater than, 等)は指定されておらず, BoolNode で bool へ変換する際に指定する).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // A Node to convert a Condition Codes to a Logical result.
    class BoolNode : public Node {

使われ方(Usage)

使用例(usage examples)

    ((cite: hotspot/src/share/vm/opto/graphKit.cpp))
        Node* chk = _gvn.transform( new (C, 3) CmpINode(should_post_flag, intcon(0)) );
        Node* tst = _gvn.transform( new (C, 2) BoolNode(chk, BoolTest::eq) );

内部構造(Internal structure)

(control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される). control input 以外の入力ノードは, 変換対象の condition code を示す.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      BoolNode( Node *cc, BoolTest::mask t): _test(t), Node(0,cc) {
        init_class_id(Class_Bool);
      }

詳細(Details)

AbsNode

概要(Summary)

Node クラスのサブクラスの1つ. 「絶対値演算」を表す全ての Node クラスの基底クラス.

なお, このクラス自体は abstract class であり, 実際に使われるのはサブクラス.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Abstract class for absolute value.  Mostly used to get a handy wrapper
    // for finding this pattern in the graph.
    class AbsNode : public Node {

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      AbsNode( Node *value ) : Node(0,value) {}

備考(Notes)

なお, このクラスは以下のファイル中に書かれている Ideal クラスの一覧には出ていない.

詳細(Details)

AbsINode

概要(Summary)

AbsNode クラスの具象サブクラスの1つ. このクラスは int 値を対象とした絶対値演算用.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Absolute value an integer.  Since a naive graph involves control flow, we
    // "match" it in the ideal world (so the control flow can be removed).
    class AbsINode : public AbsNode {

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      AbsINode( Node *in1 ) : AbsNode(in1) {}

詳細(Details)

AbsFNode

概要(Summary)

AbsNode クラスの具象サブクラスの1つ. このクラスは float 値を対象とした絶対値演算用.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Absolute value a float, a common float-point idiom with a cheap hardware
    // implemention on most chips.  Since a naive graph involves control flow, we
    // "match" it in the ideal world (so the control flow can be removed).
    class AbsFNode : public AbsNode {

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      AbsFNode( Node *in1 ) : AbsNode(in1) {}

詳細(Details)

AbsDNode

概要(Summary)

AbsNode クラスの具象サブクラスの1つ. このクラスは double 値を対象とした絶対値演算用.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Absolute value a double, a common float-point idiom with a cheap hardware
    // implemention on most chips.  Since a naive graph involves control flow, we
    // "match" it in the ideal world (so the control flow can be removed).
    class AbsDNode : public AbsNode {

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      AbsDNode( Node *in1 ) : AbsNode(in1) {}

詳細(Details)

CmpLTMaskNode

概要(Summary)

2つの入力ノード間に p < q の関係が成り立てば -1, そうでなければ 0 を返す.

"(P < Q) ? X+Y : X" というパターンの式を "(sgn(P-Q))&Y) + X" に置き換えるために使用される.

(なお, このノードは (名前に反して) CmpNode のサブクラスではなく Node のサブクラス)

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // If p < q, return -1 else return 0.  Nice for flow-free idioms.
    class CmpLTMaskNode : public Node {

使われ方(Usage)

生成箇所(where its instances are created)

is_cond_add() 内で(のみ)生成されている. そして, この関数は現在は以下のパスで(のみ)呼び出されている.

PhiNode::Ideal()
-> is_cond_add()

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      CmpLTMaskNode( Node *p, Node *q ) : Node(0, p, q) {}

詳細(Details)

NegNode

概要(Summary)

Node クラスのサブクラスの1つ. 「符号反転処理」を表す全ての Node クラスの基底クラス.

なお, このクラス自体は abstract class であり, 実際に使われるのはサブクラス.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    class NegNode : public Node {

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      NegNode( Node *in1 ) : Node(0,in1) {}

備考(Notes)

なお, このクラスは以下のファイル中に書かれている Ideal クラスの一覧には出ていない.

詳細(Details)

NegFNode

概要(Summary)

NegNode クラスの具象サブクラスの1つ. このクラスは float 値に対する符号反転用.

なおコメントによると「浮動小数の場合, 符号反転はゼロからの減算で代用できないので別の Node を作った. 駄目なのは 0.0 の反転で, -0.0 になるべきだがゼロからの減算だと +0.0 になる. なお, 符号反転を減算で置き換えることは出来ないが, 逆に減算を符号反転と加算で置き換えることは出来る」, とのこと.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Negate value a float.  Negating 0.0 returns -0.0, but subtracting from
    // zero returns +0.0 (per JVM spec on 'fneg' bytecode).  As subtraction
    // cannot be used to replace negation we have to implement negation as ideal
    // node; note that negation and addition can replace subtraction.
    class NegFNode : public NegNode {

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      NegFNode( Node *in1 ) : NegNode(in1) {}

詳細(Details)

NegDNode

概要(Summary)

NegNode クラスの具象サブクラスの1つ. このクラスは double 値に対する符号反転用.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Negate value a double.  Negating 0.0 returns -0.0, but subtracting from
    // zero returns +0.0 (per JVM spec on 'dneg' bytecode).  As subtraction
    // cannot be used to replace negation we have to implement negation as ideal
    // node; note that negation and addition can replace subtraction.
    class NegDNode : public NegNode {

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      NegDNode( Node *in1 ) : NegNode(in1) {}

詳細(Details)

CosDNode

概要(Summary)

LibraryIntrinsic による最適化用の Node クラス. double 値に対する cos (コサイン) 演算を表す.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Cosinus of a double
    class CosDNode : public Node {

使われ方(Usage)

生成箇所(where its instances are created)

LibraryCallKit::inline_trig() 内で(のみ)生成されている. そして, この関数は現在は以下のパスで(のみ)呼び出されている.

LibraryIntrinsic::generate()
-> LibraryCallKit::try_to_inline()
   -> LibraryCallKit::inline_math_native()
      -> LibraryCallKit::inline_trig()

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      CosDNode( Node *in1  ) : Node(0, in1) {}

詳細(Details)

SinDNode

概要(Summary)

LibraryIntrinsic による最適化用の Node クラス. double 値に対する sin (サイン) 演算を表す.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Sinus of a double
    class SinDNode : public Node {

使われ方(Usage)

生成箇所(where its instances are created)

LibraryCallKit::inline_trig() 内で(のみ)生成されている. そして, この関数は現在は以下のパスで(のみ)呼び出されている.

LibraryIntrinsic::generate()
-> LibraryCallKit::try_to_inline()
   -> LibraryCallKit::inline_math_native()
      -> LibraryCallKit::inline_trig()

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      SinDNode( Node *in1  ) : Node(0, in1) {}

詳細(Details)

TanDNode

概要(Summary)

LibraryIntrinsic による最適化用の Node クラス. double 値に対する tan (タンジェント) 演算を表す.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // tangens of a double
    class TanDNode : public Node {

使われ方(Usage)

生成箇所(where its instances are created)

LibraryCallKit::inline_trig() 内で(のみ)生成されている. そして, この関数は現在は以下のパスで(のみ)呼び出されている.

LibraryIntrinsic::generate()
-> LibraryCallKit::try_to_inline()
   -> LibraryCallKit::inline_math_native()
      -> LibraryCallKit::inline_trig()

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      TanDNode(Node *in1  ) : Node(0, in1) {}

詳細(Details)

AtanDNode

概要(Summary)

2つの double 値に対する atan2 (アークタンジェント) 演算を表す模様 (LibraryCallKit::inline_math_native() 内に該当する case 節だけはあるが, まだ未実装とのこと)

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // arcus tangens of a double
    class AtanDNode : public Node {

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      AtanDNode(Node *c, Node *in1, Node *in2  ) : Node(c, in1, in2) {}

詳細(Details)

SqrtDNode

概要(Summary)

LibraryIntrinsic による最適化用の Node クラス. double 値に対する sqrt (平方根) 演算を表す.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // square root a double
    class SqrtDNode : public Node {

使われ方(Usage)

生成箇所(where its instances are created)

LibraryCallKit::inline_sqrt() 内で(のみ)生成されている. そして, この関数は現在は以下のパスで(のみ)呼び出されている.

LibraryIntrinsic::generate()
-> LibraryCallKit::try_to_inline()
   -> LibraryCallKit::inline_math_native()
      -> LibraryCallKit::inline_sqrt()

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ.

なお, コンストラクタで指定することにより 0 以外の control input を設定できる. ただし現状では 0 しか指定されていない (control input が指定できるのは, 境界値での挙動が java.lang.Math.sqrt() とは異なるアーキテクチャ向けだと思われる).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      SqrtDNode(Node *c, Node *in1  ) : Node(c, in1) {}

詳細(Details)

ExpDNode

概要(Summary)

double 値に対する exp (指数) 演算を表す模様 (LibraryCallKit::inline_math_native() 内に該当する case 節だけはあるが, x86 用の AD ファイルのバグで一時的に無効化されており現在は使われていない).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    //  Exponentiate a double
    class ExpDNode : public Node {

使われ方(Usage)

生成箇所(where its instances are created)

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ.

なお, コンストラクタで指定することにより 0 以外の control input を設定できる. ただし現状では 0 しか指定されていない (control input が指定できるのは, 境界値での挙動が java.lang.Math.exp() とは異なるアーキテクチャ向けだと思われる).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      ExpDNode( Node *c, Node *in1 ) : Node(c, in1) {}

詳細(Details)

LogDNode

概要(Summary)

LibraryIntrinsic による最適化用の Node クラス. double 値に対する log_e (自然対数) 演算を表す.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Log_e of a double
    class LogDNode : public Node {

使われ方(Usage)

生成箇所(where its instances are created)

LibraryCallKit::inline_trans() 内で(のみ)生成されている. そして, この関数は現在は以下のパスで(のみ)呼び出されている.

LibraryIntrinsic::generate()
-> LibraryCallKit::try_to_inline()
   -> LibraryCallKit::inline_math_native()
      -> LibraryCallKit::inline_trans()

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      LogDNode( Node *in1 ) : Node(0, in1) {}

詳細(Details)

Log10DNode

概要(Summary)

LibraryIntrinsic による最適化用の Node クラス. double 値に対する log_10 (常用対数) 演算を表す.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Log_10 of a double
    class Log10DNode : public Node {

使われ方(Usage)

生成箇所(where its instances are created)

LibraryCallKit::inline_trans() 内で(のみ)生成されている. そして, この関数は現在は以下のパスで(のみ)呼び出されている.

LibraryIntrinsic::generate()
-> LibraryCallKit::try_to_inline()
   -> LibraryCallKit::inline_math_native()
      -> LibraryCallKit::inline_trans()

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ. ただし control input は常に空 (0 が設定される).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      Log10DNode( Node *in1 ) : Node(0, in1) {}

詳細(Details)

PowDNode

概要(Summary)

double 値に対する power (累乗) 演算を表す模様 (LibraryCallKit::inline_math_native() 内に該当する case 節だけはあるが, x86 用の AD ファイルのバグで一時的に無効化されており現在は使われていない).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // Raise a double to a double power
    class PowDNode : public Node {

使われ方(Usage)

生成箇所(where its instances are created)

内部構造(Internal structure)

2項演算を表すノードなので, (control input も含めて) 3つの入力ノードを持つ.

なお, コンストラクタで指定することにより 0 以外の control input を設定できる. ただし現状では 0 しか指定されていない (control input が指定できるのは, 境界値での挙動が java.lang.Math.pow() とは異なるアーキテクチャ向けだと思われる).

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      PowDNode(Node *c, Node *in1, Node *in2  ) : Node(c, in1, in2) {}

詳細(Details)

ReverseBytesINode

概要(Summary)

LibraryIntrinsic による最適化用の Node クラス. int 値に対するバイト順の反転演算(java.lang.Integer.reverseBytes())を表す.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // reverse bytes of an integer
    class ReverseBytesINode : public Node {

使われ方(Usage)

生成箇所(where its instances are created)

LibraryCallKit::inline_reverseBytes() 内で(のみ)生成されている. そして, この関数は現在は以下のパスで(のみ)呼び出されている.

LibraryIntrinsic::generate()
-> LibraryCallKit::try_to_inline()
   -> LibraryCallKit::inline_reverseBytes()

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ.

なお, コンストラクタで指定することにより 0 以外の control input を設定できる. ただし現状では 0 しか指定されていない.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      ReverseBytesINode(Node *c, Node *in1) : Node(c, in1) {}

詳細(Details)

ReverseBytesLNode

概要(Summary)

LibraryIntrinsic による最適化用の Node クラス. long 値に対するバイト順の反転演算(java.lang.Long.reverseBytes())を表す.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // reverse bytes of a long
    class ReverseBytesLNode : public Node {

使われ方(Usage)

生成箇所(where its instances are created)

LibraryCallKit::inline_reverseBytes() 内で(のみ)生成されている. そして, この関数は現在は以下のパスで(のみ)呼び出されている.

LibraryIntrinsic::generate()
-> LibraryCallKit::try_to_inline()
   -> LibraryCallKit::inline_reverseBytes()

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ.

なお, コンストラクタで指定することにより 0 以外の control input を設定できる. ただし現状では 0 しか指定されていない.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      ReverseBytesLNode(Node *c, Node *in1) : Node(c, in1) {}

詳細(Details)

ReverseBytesUSNode

概要(Summary)

LibraryIntrinsic による最適化用の Node クラス. unsigned short (= char) 値に対するバイト順の反転演算(java.lang.Character.reverseBytes())を表す.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // reverse bytes of an unsigned short / char
    class ReverseBytesUSNode : public Node {

使われ方(Usage)

生成箇所(where its instances are created)

LibraryCallKit::inline_reverseBytes() 内で(のみ)生成されている. そして, この関数は現在は以下のパスで(のみ)呼び出されている.

LibraryIntrinsic::generate()
-> LibraryCallKit::try_to_inline()
   -> LibraryCallKit::inline_reverseBytes()

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ.

なお, コンストラクタで指定することにより 0 以外の control input を設定できる. ただし現状では 0 しか指定されていない.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      ReverseBytesUSNode(Node *c, Node *in1) : Node(c, in1) {}

詳細(Details)

ReverseBytesSNode

概要(Summary)

LibraryIntrinsic による最適化用の Node クラス. short 値に対するバイト順の反転演算(java.lang.Short.reverseBytes())を表す.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
    // reverse bytes of a short
    class ReverseBytesSNode : public Node {

使われ方(Usage)

生成箇所(where its instances are created)

LibraryCallKit::inline_reverseBytes() 内で(のみ)生成されている. そして, この関数は現在は以下のパスで(のみ)呼び出されている.

LibraryIntrinsic::generate()
-> LibraryCallKit::try_to_inline()
   -> LibraryCallKit::inline_reverseBytes()

内部構造(Internal structure)

単項演算を表すノードなので (control input も含めて) 2つの入力ノードを持つ.

なお, コンストラクタで指定することにより 0 以外の control input を設定できる. ただし現状では 0 しか指定されていない.

    ((cite: hotspot/src/share/vm/opto/subnode.hpp))
      ReverseBytesSNode(Node *c, Node *in1) : Node(c, in1) {}