hotspot/src/share/vm/opto/live.hpp
author neliasso
Wed, 13 Mar 2013 10:56:54 +0100
changeset 15944 095248beb690
parent 7397 5b173b4ca846
child 17013 22a05c7f3314
permissions -rw-r--r--
8009721: Make PhaseLive independent from regalloc Summary: Moved class definition of LRG_List from chaitin.hpp to live.hpp Reviewed-by: kvn, rbackman, roland Contributed-by: niclas.adlertz@oracle.com
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
     2
 * Copyright (c) 1997, 2010, Oracle and/or its affiliates. All rights reserved.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     4
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
489c9b5090e2 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
489c9b5090e2 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     8
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
489c9b5090e2 Initial load
duke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
489c9b5090e2 Initial load
duke
parents:
diff changeset
    13
 * accompanied this code).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    14
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
489c9b5090e2 Initial load
duke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    18
 *
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1
diff changeset
    21
 * questions.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    25
#ifndef SHARE_VM_OPTO_LIVE_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    26
#define SHARE_VM_OPTO_LIVE_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    27
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    28
#include "libadt/port.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    29
#include "libadt/vectset.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    30
#include "opto/block.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    31
#include "opto/indexSet.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    32
#include "opto/phase.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    33
#include "opto/regmask.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    34
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
class Block;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
class PhaseCFG;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
class VectorSet;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
class IndexSet;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
15944
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    40
//------------------------------LRG_List---------------------------------------
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    41
// Map Node indices to Live RanGe indices.
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    42
// Array lookup in the optimized case.
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    43
class LRG_List : public ResourceObj {
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    44
  friend class VMStructs;
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    45
  uint _cnt, _max;
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    46
  uint* _lidxs;
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    47
  ReallocMark _nesting;         // assertion check for reallocations
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    48
public:
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    49
  LRG_List( uint max );
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    50
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    51
  uint lookup( uint nidx ) const {
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    52
    return _lidxs[nidx];
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    53
  }
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    54
  uint operator[] (uint nidx) const { return lookup(nidx); }
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    55
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    56
  void map( uint nidx, uint lidx ) {
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    57
    assert( nidx < _cnt, "oob" );
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    58
    _lidxs[nidx] = lidx;
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    59
  }
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    60
  void extend( uint nidx, uint lidx );
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    61
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    62
  uint Size() const { return _cnt; }
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    63
};
095248beb690 8009721: Make PhaseLive independent from regalloc
neliasso
parents: 7397
diff changeset
    64
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
//------------------------------PhaseLive--------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
// Compute live-in/live-out
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
class PhaseLive : public Phase {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
  // Array of Sets of values live at the start of a block.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
  // Indexed by block pre-order number.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
  IndexSet *_live;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
  // Array of Sets of values defined locally in the block
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
  // Indexed by block pre-order number.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
  IndexSet *_defs;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
  // Array of delta-set pointers, indexed by block pre-order number
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
  IndexSet **_deltas;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
  IndexSet *_free_IndexSet;     // Free list of same
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
  Block_List *_worklist;        // Worklist for iterative solution
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
  const PhaseCFG &_cfg;         // Basic blocks
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
  LRG_List &_names;             // Mapping from Nodes to live ranges
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
  uint _maxlrg;                 // Largest live-range number
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
  Arena *_arena;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
  IndexSet *getset( Block *p );
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
  IndexSet *getfreeset( );
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
  void freeset( const Block *p );
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
  void add_liveout( Block *p, uint r, VectorSet &first_pass );
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
  void add_liveout( Block *p, IndexSet *lo, VectorSet &first_pass );
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
  PhaseLive( const PhaseCFG &cfg, LRG_List &names, Arena *arena );
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
  ~PhaseLive() {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
  // Compute liveness info
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
  void compute(uint maxlrg);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
  // Reset arena storage
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
  void reset() { _live = NULL; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
  // Return the live-out set for this block
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
  IndexSet *live( const Block * b ) { return &_live[b->_pre_order-1]; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
  void dump( const Block *b ) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
  void stats(uint iters) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
};
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
   109
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
   110
#endif // SHARE_VM_OPTO_LIVE_HPP