1 /* 2 * Copyright (c) 2014, Oracle and/or its affiliates. All rights reserved. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4 * 5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. 8 * 9 * This code is distributed in the hope that it will be useful, but WITHOUT 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 12 * version 2 for more details (a copy is included in the LICENSE file that 13 * accompanied this code). 14 * 15 * You should have received a copy of the GNU General Public License version 16 * 2 along with this work; if not, write to the Free Software Foundation, 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 18 * 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 20 * or visit www.oracle.com if you need additional information or have any 21 * questions. 22 * 23 */ 24 25 #ifndef SHARE_VM_OPTO_MOVENODE_HPP 26 #define SHARE_VM_OPTO_MOVENODE_HPP 27 28 #include "opto/node.hpp" 29 30 //------------------------------CMoveNode-------------------------------------- 31 // Conditional move 32 class CMoveNode : public TypeNode { 33 public: 34 enum { Control, // When is it safe to do this cmove? 35 Condition, // Condition controlling the cmove 36 IfFalse, // Value if condition is false 37 IfTrue }; // Value if condition is true 38 CMoveNode( Node *bol, Node *left, Node *right, const Type *t ) : TypeNode(t,4) 39 { 40 init_class_id(Class_CMove); 41 // all inputs are nullified in Node::Node(int) 42 // init_req(Control,NULL); 43 init_req(Condition,bol); 44 init_req(IfFalse,left); 45 init_req(IfTrue,right); 46 } 47 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape); 48 virtual const Type *Value( PhaseTransform *phase ) const; 49 virtual Node *Identity( PhaseTransform *phase ); 50 static CMoveNode *make(Node *c, Node *bol, Node *left, Node *right, const Type *t); 51 // Helper function to spot cmove graph shapes 52 static Node *is_cmove_id( PhaseTransform *phase, Node *cmp, Node *t, Node *f, BoolNode *b ); 53 }; 54 55 //------------------------------CMoveDNode------------------------------------- 56 class CMoveDNode : public CMoveNode { 57 public: 58 CMoveDNode( Node *bol, Node *left, Node *right, const Type* t) : CMoveNode(bol,left,right,t){} 59 virtual int Opcode() const; 60 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape); 61 }; 62 63 //------------------------------CMoveFNode------------------------------------- 64 class CMoveFNode : public CMoveNode { 65 public: 66 CMoveFNode( Node *bol, Node *left, Node *right, const Type* t ) : CMoveNode(bol,left,right,t) {} 67 virtual int Opcode() const; 68 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape); 69 }; 70 71 //------------------------------CMoveINode------------------------------------- 72 class CMoveINode : public CMoveNode { 73 public: 74 CMoveINode( Node *bol, Node *left, Node *right, const TypeInt *ti ) : CMoveNode(bol,left,right,ti){} 75 virtual int Opcode() const; 76 virtual Node *Ideal(PhaseGVN *phase, bool can_reshape); 77 }; 78 79 //------------------------------CMoveLNode------------------------------------- 80 class CMoveLNode : public CMoveNode { 81 public: 82 CMoveLNode(Node *bol, Node *left, Node *right, const TypeLong *tl ) : CMoveNode(bol,left,right,tl){} 83 virtual int Opcode() const; 84 }; 85 86 //------------------------------CMovePNode------------------------------------- 87 class CMovePNode : public CMoveNode { 88 public: 89 CMovePNode( Node *c, Node *bol, Node *left, Node *right, const TypePtr* t ) : CMoveNode(bol,left,right,t) { init_req(Control,c); } 90 virtual int Opcode() const; 91 }; 92 93 //------------------------------CMoveNNode------------------------------------- 94 class CMoveNNode : public CMoveNode { 95 public: 96 CMoveNNode( Node *c, Node *bol, Node *left, Node *right, const Type* t ) : CMoveNode(bol,left,right,t) { init_req(Control,c); } 97 virtual int Opcode() const; 98 }; 99 100 // 101 class MoveI2FNode : public Node { 102 public: 103 MoveI2FNode( Node *value ) : Node(0,value) {} 104 virtual int Opcode() const; 105 virtual const Type *bottom_type() const { return Type::FLOAT; } 106 virtual uint ideal_reg() const { return Op_RegF; } 107 virtual const Type* Value( PhaseTransform *phase ) const; 108 }; 109 110 class MoveKNode : public Node { 111 public: 112 MoveKNode(Node *value) : Node(0, value) {} 113 virtual int Opcode() const; 114 virtual const Type *bottom_type() const { return TypeInt::INT; } 115 virtual uint ideal_reg() const { return Op_RegK; } 116 virtual const Type* Value(PhaseTransform *phase) const; 117 }; 118 119 class MoveL2DNode : public Node { 120 public: 121 MoveL2DNode( Node *value ) : Node(0,value) {} 122 virtual int Opcode() const; 123 virtual const Type *bottom_type() const { return Type::DOUBLE; } 124 virtual uint ideal_reg() const { return Op_RegD; } 125 virtual const Type* Value( PhaseTransform *phase ) const; 126 }; 127 128 class MoveF2INode : public Node { 129 public: 130 MoveF2INode( Node *value ) : Node(0,value) {} 131 virtual int Opcode() const; 132 virtual const Type *bottom_type() const { return TypeInt::INT; } 133 virtual uint ideal_reg() const { return Op_RegI; } 134 virtual const Type* Value( PhaseTransform *phase ) const; 135 }; 136 137 class MoveD2LNode : public Node { 138 public: 139 MoveD2LNode( Node *value ) : Node(0,value) {} 140 virtual int Opcode() const; 141 virtual const Type *bottom_type() const { return TypeLong::LONG; } 142 virtual uint ideal_reg() const { return Op_RegL; } 143 virtual const Type* Value( PhaseTransform *phase ) const; 144 }; 145 146 //------------------------------BinaryNode------------------------------------- 147 // Place holder for the 2 conditional inputs to a CMove. CMove needs 4 148 // inputs: the Bool (for the lt/gt/eq/ne bits), the flags (result of some 149 // compare), and the 2 values to select between. The Matcher requires a 150 // binary tree so we break it down like this: 151 // (CMove (Binary bol cmp) (Binary src1 src2)) 152 class BinaryNode : public Node { 153 public: 154 BinaryNode( Node *n1, Node *n2 ) : Node(0,n1,n2) { } 155 virtual int Opcode() const; 156 virtual uint ideal_reg() const { return 0; } 157 }; 158 159 160 #endif // SHARE_VM_OPTO_MOVENODE_HPP 161