src/share/vm/opto/coalesce.hpp

Thu, 13 Jun 2013 22:02:40 -0700

author
ccheung
date
Thu, 13 Jun 2013 22:02:40 -0700
changeset 5259
ef57c43512d6
parent 4949
8373c19be854
child 5722
8c83625e3a53
permissions
-rw-r--r--

8014431: cleanup warnings indicated by the -Wunused-value compiler option on linux
Reviewed-by: dholmes, coleenp
Contributed-by: jeremymanson@google.com, calvin.cheung@oracle.com

     1 /*
     2  * Copyright (c) 1997, 2010, 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  */
    25 #ifndef SHARE_VM_OPTO_COALESCE_HPP
    26 #define SHARE_VM_OPTO_COALESCE_HPP
    28 #include "opto/phase.hpp"
    30 class LoopTree;
    31 class LRG;
    32 class LRG_List;
    33 class Matcher;
    34 class PhaseIFG;
    35 class PhaseCFG;
    37 //------------------------------PhaseCoalesce----------------------------------
    38 class PhaseCoalesce : public Phase {
    39 protected:
    40   PhaseChaitin &_phc;
    42 public:
    43   // Coalesce copies
    44   PhaseCoalesce(PhaseChaitin &phc)
    45   : Phase(Coalesce)
    46   , _phc(phc) {}
    48   virtual void verify() = 0;
    50   // Coalesce copies
    51   void coalesce_driver();
    53   // Coalesce copies in this block
    54   virtual void coalesce(Block *b) = 0;
    56   // Attempt to coalesce live ranges defined by these 2
    57   void combine_these_two(Node *n1, Node *n2);
    59   LRG &lrgs(uint lidx) { return _phc.lrgs(lidx); }
    60 #ifndef PRODUCT
    61   // Dump internally name
    62   void dump(Node *n) const;
    63   // Dump whole shebang
    64   void dump() const;
    65 #endif
    66 };
    68 //------------------------------PhaseAggressiveCoalesce------------------------
    69 // Aggressively, pessimistic coalesce copies.  Aggressive means ignore graph
    70 // colorability; perhaps coalescing to the point of forcing a spill.
    71 // Pessimistic means we cannot coalesce if 2 live ranges interfere.  This
    72 // implies we do not hit a fixed point right away.
    73 class PhaseAggressiveCoalesce : public PhaseCoalesce {
    74   uint _unique;
    75 public:
    76   // Coalesce copies
    77   PhaseAggressiveCoalesce( PhaseChaitin &chaitin ) : PhaseCoalesce(chaitin) {}
    79   virtual void verify() { };
    81   // Aggressively coalesce copies in this block
    82   virtual void coalesce( Block *b );
    84   // Where I fail to coalesce, manifest virtual copies as the Real Thing
    85   void insert_copies( Matcher &matcher );
    87   // Copy insertion needs some smarts in case live ranges overlap
    88   void insert_copy_with_overlap( Block *b, Node *copy, uint dst_name, uint src_name );
    89 };
    92 //------------------------------PhaseConservativeCoalesce----------------------
    93 // Conservatively, pessimistic coalesce copies.  Conservative means do not
    94 // coalesce if the resultant live range will be uncolorable.  Pessimistic
    95 // means we cannot coalesce if 2 live ranges interfere.  This implies we do
    96 // not hit a fixed point right away.
    97 class PhaseConservativeCoalesce : public PhaseCoalesce {
    98   IndexSet _ulr;               // Union live range interferences
    99 public:
   100   // Coalesce copies
   101   PhaseConservativeCoalesce( PhaseChaitin &chaitin );
   103   virtual void verify();
   105   // Conservatively coalesce copies in this block
   106   virtual void coalesce( Block *b );
   108   // Coalesce this chain of copies away
   109   bool copy_copy( Node *dst_copy, Node *src_copy, Block *b, uint bindex );
   111   void union_helper( Node *lr1_node, Node *lr2_node, uint lr1, uint lr2, Node *src_def, Node *dst_copy, Node *src_copy, Block *b, uint bindex );
   113   uint compute_separating_interferences(Node *dst_copy, Node *src_copy, Block *b, uint bindex, RegMask &rm, uint rm_size, uint reg_degree, uint lr1, uint lr2);
   115   void update_ifg(uint lr1, uint lr2, IndexSet *n_lr1, IndexSet *n_lr2);
   116 };
   118 #endif // SHARE_VM_OPTO_COALESCE_HPP

mercurial