duke@435: /*
duke@435:  * Copyright 1997-2005 Sun Microsystems, Inc.  All Rights Reserved.
duke@435:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435:  *
duke@435:  * This code is free software; you can redistribute it and/or modify it
duke@435:  * under the terms of the GNU General Public License version 2 only, as
duke@435:  * published by the Free Software Foundation.
duke@435:  *
duke@435:  * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
duke@435:  * version 2 for more details (a copy is included in the LICENSE file that
duke@435:  * accompanied this code).
duke@435:  *
duke@435:  * You should have received a copy of the GNU General Public License version
duke@435:  * 2 along with this work; if not, write to the Free Software Foundation,
duke@435:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435:  *
duke@435:  * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
duke@435:  * CA 95054 USA or visit www.sun.com if you need additional information or
duke@435:  * have any questions.
duke@435:  *
duke@435:  */
duke@435: 
duke@435: class Matcher;
duke@435: class ProjNode;
duke@435: 
duke@435: //------------------------------MultiNode--------------------------------------
duke@435: // This class defines a MultiNode, a Node which produces many values.  The
duke@435: // values are wrapped up in a tuple Type, i.e. a TypeTuple.
duke@435: class MultiNode : public Node {
duke@435: public:
duke@435:   MultiNode( uint required ) : Node(required) {
duke@435:     init_class_id(Class_Multi);
duke@435:   }
duke@435:   virtual int Opcode() const;
duke@435:   virtual const Type *bottom_type() const = 0;
duke@435:   virtual bool       is_CFG() const { return true; }
duke@435:   virtual uint hash() const { return NO_HASH; }  // CFG nodes do not hash
duke@435:   virtual bool depends_only_on_test() const { return false; }
duke@435:   virtual const RegMask &out_RegMask() const;
duke@435:   virtual Node *match( const ProjNode *proj, const Matcher *m );
duke@435:   virtual uint ideal_reg() const { return NotAMachineReg; }
duke@435:   ProjNode* proj_out(uint which_proj) const; // Get a named projection
duke@435: 
duke@435: };
duke@435: 
duke@435: //------------------------------ProjNode---------------------------------------
duke@435: // This class defines a Projection node.  Projections project a single element
duke@435: // out of a tuple (or Signature) type.  Only MultiNodes produce TypeTuple
duke@435: // results.
duke@435: class ProjNode : public Node {
duke@435: protected:
duke@435:   virtual uint hash() const;
duke@435:   virtual uint cmp( const Node &n ) const;
duke@435:   virtual uint size_of() const;
duke@435:   void check_con() const;       // Called from constructor.
duke@435: 
duke@435: public:
duke@435:   ProjNode( Node *src, uint con, bool io_use = false )
duke@435:     : Node( src ), _con(con), _is_io_use(io_use)
duke@435:   {
duke@435:     init_class_id(Class_Proj);
duke@435:     debug_only(check_con());
duke@435:   }
duke@435:   const uint _con;              // The field in the tuple we are projecting
duke@435:   const bool _is_io_use;        // Used to distinguish between the projections
duke@435:                                 // used on the control and io paths from a macro node
duke@435:   virtual int Opcode() const;
duke@435:   virtual bool      is_CFG() const;
duke@435:   virtual bool depends_only_on_test() const { return false; }
duke@435:   virtual const Type *bottom_type() const;
duke@435:   virtual const TypePtr *adr_type() const;
duke@435:   virtual bool pinned() const;
duke@435:   virtual const Type *Value( PhaseTransform *phase ) const;
duke@435:   virtual uint ideal_reg() const;
duke@435:   virtual const RegMask &out_RegMask() const;
duke@435: #ifndef PRODUCT
duke@435:   virtual void dump_spec(outputStream *st) const;
duke@435: #endif
duke@435: };