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