/*

 * Copyright (c) 2014, 2015, Oracle and/or its affiliates. All rights reserved.

 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

 *

 * This code is free software; you can redistribute it and/or modify it

 * under the terms of the GNU General Public License version 2 only, as

 * published by the Free Software Foundation.

 *

 * This code is distributed in the hope that it will be useful, but WITHOUT

 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

 * version 2 for more details (a copy is included in the LICENSE file that

 * accompanied this code).

 *

 * You should have received a copy of the GNU General Public License version

 * 2 along with this work; if not, write to the Free Software Foundation,

 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

 *

 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

 * or visit www.oracle.com if you need additional information or have any

 * questions.

 *

 */

#ifndef SHARE_VM_OPTO_MOVENODE_HPP

#define SHARE_VM_OPTO_MOVENODE_HPP

#include "opto/node.hpp"

//------------------------------CMoveNode--------------------------------------

// Conditional move

class CMoveNode : public TypeNode {

  public:

  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

  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);

  }

  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);

  virtual const Type *Value( PhaseTransform *phase ) const;

  virtual Node *Identity( PhaseTransform *phase );

  static CMoveNode *make(Node *c, Node *bol, Node *left, Node *right, const Type *t);

  // Helper function to spot cmove graph shapes

  static Node *is_cmove_id( PhaseTransform *phase, Node *cmp, Node *t, Node *f, BoolNode *b );

};

//------------------------------CMoveDNode-------------------------------------

class CMoveDNode : public CMoveNode {

  public:

  CMoveDNode( Node *bol, Node *left, Node *right, const Type* t) : CMoveNode(bol,left,right,t){}

  virtual int Opcode() const;

  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);

};

//------------------------------CMoveFNode-------------------------------------

class CMoveFNode : public CMoveNode {

  public:

  CMoveFNode( Node *bol, Node *left, Node *right, const Type* t ) : CMoveNode(bol,left,right,t) {}

  virtual int Opcode() const;

  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);

};

//------------------------------CMoveINode-------------------------------------

class CMoveINode : public CMoveNode {

  public:

  CMoveINode( Node *bol, Node *left, Node *right, const TypeInt *ti ) : CMoveNode(bol,left,right,ti){}

  virtual int Opcode() const;

  virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);

};

//------------------------------CMoveLNode-------------------------------------

class CMoveLNode : public CMoveNode {

  public:

  CMoveLNode(Node *bol, Node *left, Node *right, const TypeLong *tl ) : CMoveNode(bol,left,right,tl){}

  virtual int Opcode() const;

};

//------------------------------CMovePNode-------------------------------------

class CMovePNode : public CMoveNode {

  public:

  CMovePNode( Node *c, Node *bol, Node *left, Node *right, const TypePtr* t ) : CMoveNode(bol,left,right,t) { init_req(Control,c); }

  virtual int Opcode() const;

};

//------------------------------CMoveNNode-------------------------------------

class CMoveNNode : public CMoveNode {

  public:

  CMoveNNode( Node *c, Node *bol, Node *left, Node *right, const Type* t ) : CMoveNode(bol,left,right,t) { init_req(Control,c); }

  virtual int Opcode() const;

};

//

class MoveI2FNode : public Node {

  public:

  MoveI2FNode( Node *value ) : Node(0,value) {}

  virtual int Opcode() const;

  virtual const Type *bottom_type() const { return Type::FLOAT; }

  virtual uint ideal_reg() const { return Op_RegF; }

  virtual const Type* Value( PhaseTransform *phase ) const;

};

class MoveL2DNode : public Node {

  public:

  MoveL2DNode( Node *value ) : Node(0,value) {}

  virtual int Opcode() const;

  virtual const Type *bottom_type() const { return Type::DOUBLE; }

  virtual uint ideal_reg() const { return Op_RegD; }

  virtual const Type* Value( PhaseTransform *phase ) const;

};

class MoveF2INode : public Node {

  public:

  MoveF2INode( Node *value ) : Node(0,value) {}

  virtual int Opcode() const;

  virtual const Type *bottom_type() const { return TypeInt::INT; }

  virtual uint ideal_reg() const { return Op_RegI; }

  virtual const Type* Value( PhaseTransform *phase ) const;

};

class MoveD2LNode : public Node {

  public:

  MoveD2LNode( Node *value ) : Node(0,value) {}

  virtual int Opcode() const;

  virtual const Type *bottom_type() const { return TypeLong::LONG; }

  virtual uint ideal_reg() const { return Op_RegL; }

  virtual const Type* Value( PhaseTransform *phase ) const;

};

//------------------------------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 {

  public:

  BinaryNode( Node *n1, Node *n2 ) : Node(0,n1,n2) { }

  virtual int Opcode() const;

  virtual uint ideal_reg() const { return 0; }

#ifndef PRODUCT

  virtual void related(GrowableArray<Node*> *in_rel, GrowableArray<Node*> *out_rel, bool compact) const;

#endif

};

#endif // SHARE_VM_OPTO_MOVENODE_HPP