/*

 * Copyright (c) 2000, 2010, 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_REGALLOC_HPP

#define SHARE_VM_OPTO_REGALLOC_HPP

#include "code/vmreg.hpp"

#include "opto/block.hpp"

#include "opto/matcher.hpp"

#include "opto/phase.hpp"

class Node;

class Matcher;

class PhaseCFG;

#define  MAX_REG_ALLOCATORS   10

//------------------------------PhaseRegAlloc------------------------------------

// Abstract register allocator

class PhaseRegAlloc : public Phase {

  static void (*_alloc_statistics[MAX_REG_ALLOCATORS])();

  static int _num_allocators;

protected:

  OptoRegPair  *_node_regs;

  uint         _node_regs_max_index;

  VectorSet    _node_oops;         // Mapping from node indices to oopiness

  void alloc_node_regs(int size);  // allocate _node_regs table with at least "size" elements

  PhaseRegAlloc( uint unique, PhaseCFG &cfg, Matcher &matcher,

                 void (*pr_stats)());

public:

  PhaseCFG &_cfg;               // Control flow graph

  uint _framesize;              // Size of frame in stack-slots. not counting preserve area

  OptoReg::Name _max_reg;       // Past largest register seen

  Matcher &_matcher;            // Convert Ideal to MachNodes

  uint node_regs_max_index() const { return _node_regs_max_index; }

  // Get the register associated with the Node

  OptoReg::Name get_reg_first( const Node *n ) const {

    debug_only( if( n->_idx >= _node_regs_max_index ) n->dump(); );

    assert( n->_idx < _node_regs_max_index, "Exceeded _node_regs array");

    return _node_regs[n->_idx].first();

  }

  OptoReg::Name get_reg_second( const Node *n ) const {

    debug_only( if( n->_idx >= _node_regs_max_index ) n->dump(); );

    assert( n->_idx < _node_regs_max_index, "Exceeded _node_regs array");

    return _node_regs[n->_idx].second();

  }

  // Do all the real work of allocate

  virtual void Register_Allocate() = 0;

  // notify the register allocator that "node" is a new reference

  // to the value produced by "old_node"

  virtual void add_reference( const Node *node, const Node *old_node) = 0;

  // Set the register associated with a new Node

  void set_bad( uint idx ) {

    assert( idx < _node_regs_max_index, "Exceeded _node_regs array");

    _node_regs[idx].set_bad();

  }

  void set1( uint idx, OptoReg::Name reg ) {

    assert( idx < _node_regs_max_index, "Exceeded _node_regs array");

    _node_regs[idx].set1(reg);

  }

  void set2( uint idx, OptoReg::Name reg ) {

    assert( idx < _node_regs_max_index, "Exceeded _node_regs array");

    _node_regs[idx].set2(reg);

  }

  void set_pair( uint idx, OptoReg::Name hi, OptoReg::Name lo ) {

    assert( idx < _node_regs_max_index, "Exceeded _node_regs array");

    _node_regs[idx].set_pair(hi, lo);

  }

  void set_ptr( uint idx, OptoReg::Name reg ) {

    assert( idx < _node_regs_max_index, "Exceeded _node_regs array");

    _node_regs[idx].set_ptr(reg);

  }

  // Set and query if a node produces an oop

  void set_oop( const Node *n, bool );

  bool is_oop( const Node *n ) const;

  // Convert a register number to a stack offset

  int reg2offset          ( OptoReg::Name reg ) const;

  int reg2offset_unchecked( OptoReg::Name reg ) const;

  // Convert a stack offset to a register number

  OptoReg::Name offset2reg( int stk_offset ) const;

  // Get the register encoding associated with the Node

  int get_encode( const Node *n ) const {

    assert( n->_idx < _node_regs_max_index, "Exceeded _node_regs array");

    OptoReg::Name first = _node_regs[n->_idx].first();

    OptoReg::Name second = _node_regs[n->_idx].second();

    assert( !OptoReg::is_valid(second) || second == first+1, "" );

    assert(OptoReg::is_reg(first), "out of range");

    return Matcher::_regEncode[first];

  }

  // Platform dependent hook for actions prior to allocation

  void  pd_preallocate_hook();

#ifdef ASSERT

  // Platform dependent hook for verification after allocation.  Will

  // only get called when compiling with asserts.

  void  pd_postallocate_verify_hook();

#endif

#ifndef PRODUCT

  static int _total_framesize;

  static int _max_framesize;

  virtual void dump_frame() const = 0;

  virtual char *dump_register( const Node *n, char *buf  ) const = 0;

  static void print_statistics();

#endif

};

#endif // SHARE_VM_OPTO_REGALLOC_HPP