src/share/vm/opto/live.hpp

Fri, 11 Jul 2014 19:51:36 -0400

author
drchase
date
Fri, 11 Jul 2014 19:51:36 -0400
changeset 7161
fc2c88ea11a9
parent 6198
55fb97c4c58d
child 6876
710a3c8b516e
permissions
-rw-r--r--

8036588: VerifyFieldClosure fails instanceKlass:3133
Summary: Changed deopt live-pointer test to use returns-object instead of live-and-returns-object
Reviewed-by: iveresov, kvn, jrose

     1 /*
     2  * Copyright (c) 1997, 2013, 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_LIVE_HPP
    26 #define SHARE_VM_OPTO_LIVE_HPP
    28 #include "libadt/port.hpp"
    29 #include "libadt/vectset.hpp"
    30 #include "opto/block.hpp"
    31 #include "opto/indexSet.hpp"
    32 #include "opto/phase.hpp"
    33 #include "opto/regmask.hpp"
    35 class Block;
    36 class PhaseCFG;
    37 class VectorSet;
    38 class IndexSet;
    40 //------------------------------LRG_List---------------------------------------
    41 // Map Node indices to Live RanGe indices.
    42 // Array lookup in the optimized case.
    43 typedef GrowableArray<uint> LRG_List;
    45 //------------------------------PhaseLive--------------------------------------
    46 // Compute live-in/live-out
    47 class PhaseLive : public Phase {
    48   // Array of Sets of values live at the start of a block.
    49   // Indexed by block pre-order number.
    50   IndexSet *_live;
    52   // Array of Sets of values defined locally in the block
    53   // Indexed by block pre-order number.
    54   IndexSet *_defs;
    56   // Array of delta-set pointers, indexed by block pre-order number
    57   IndexSet **_deltas;
    58   IndexSet *_free_IndexSet;     // Free list of same
    60   Block_List *_worklist;        // Worklist for iterative solution
    62   const PhaseCFG &_cfg;         // Basic blocks
    63   const LRG_List &_names;       // Mapping from Nodes to live ranges
    64   uint _maxlrg;                 // Largest live-range number
    65   Arena *_arena;
    67   IndexSet *getset( Block *p );
    68   IndexSet *getfreeset( );
    69   void freeset( const Block *p );
    70   void add_liveout( Block *p, uint r, VectorSet &first_pass );
    71   void add_liveout( Block *p, IndexSet *lo, VectorSet &first_pass );
    73 public:
    74   PhaseLive(const PhaseCFG &cfg, const LRG_List &names, Arena *arena);
    75   ~PhaseLive() {}
    76   // Compute liveness info
    77   void compute(uint maxlrg);
    78   // Reset arena storage
    79   void reset() { _live = NULL; }
    81   // Return the live-out set for this block
    82   IndexSet *live( const Block * b ) { return &_live[b->_pre_order-1]; }
    84 #ifndef PRODUCT
    85   void dump( const Block *b ) const;
    86   void stats(uint iters) const;
    87 #endif
    88 };
    90 #endif // SHARE_VM_OPTO_LIVE_HPP

mercurial