aoqi@0: /*
aoqi@0:  * Copyright (c) 2006, 2010, Oracle and/or its affiliates. All rights reserved.
aoqi@0:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0:  *
aoqi@0:  * This code is free software; you can redistribute it and/or modify it
aoqi@0:  * under the terms of the GNU General Public License version 2 only, as
aoqi@0:  * published by the Free Software Foundation.
aoqi@0:  *
aoqi@0:  * This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
aoqi@0:  * version 2 for more details (a copy is included in the LICENSE file that
aoqi@0:  * accompanied this code).
aoqi@0:  *
aoqi@0:  * You should have received a copy of the GNU General Public License version
aoqi@0:  * 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0:  *
aoqi@0:  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0:  * or visit www.oracle.com if you need additional information or have any
aoqi@0:  * questions.
aoqi@0:  *
aoqi@0:  */
aoqi@0: 
aoqi@0: #ifndef SHARE_VM_CI_CIMETHODBLOCKS_HPP
aoqi@0: #define SHARE_VM_CI_CIMETHODBLOCKS_HPP
aoqi@0: 
aoqi@0: #include "ci/ciMethod.hpp"
aoqi@0: #include "memory/resourceArea.hpp"
aoqi@0: #include "utilities/growableArray.hpp"
aoqi@0: 
aoqi@0: 
aoqi@0: class ciBlock;
aoqi@0: 
aoqi@0: typedef short ciBlockIndex;
aoqi@0: 
aoqi@0: class ciMethodBlocks : public ResourceObj {
aoqi@0: private:
aoqi@0:   ciMethod *_method;
aoqi@0:   Arena *_arena;
aoqi@0:   GrowableArray<ciBlock *>  *_blocks;
aoqi@0:   ciBlock  **_bci_to_block;
aoqi@0:   int _num_blocks;
aoqi@0:   int _code_size;
aoqi@0: 
aoqi@0:   void do_analysis();
aoqi@0: public:
aoqi@0:   ciMethodBlocks(Arena *arena, ciMethod *meth);
aoqi@0: 
aoqi@0:   ciBlock *block_containing(int bci);
aoqi@0:   ciBlock *block(int index)  { return _blocks->at(index); }
aoqi@0:   ciBlock *make_block_at(int bci);
aoqi@0:   ciBlock *split_block_at(int bci);
aoqi@0:   bool is_block_start(int bci);
aoqi@0:   int num_blocks()  { return _num_blocks;}
aoqi@0:   void clear_processed();
aoqi@0: 
aoqi@0:   ciBlock *make_dummy_block(); // a block not associated with a bci
aoqi@0: 
aoqi@0: #ifndef PRODUCT
aoqi@0:   void dump();
aoqi@0: #endif
aoqi@0: };
aoqi@0: 
aoqi@0: class ciBlock : public ResourceObj {
aoqi@0: private:
aoqi@0:   int _idx;
aoqi@0:   int _start_bci;
aoqi@0:   int _limit_bci;
aoqi@0:   int _control_bci;
aoqi@0:   uint _flags;
aoqi@0:   int _ex_start_bci;
aoqi@0:   int _ex_limit_bci;
aoqi@0: #ifndef PRODUCT
aoqi@0:   ciMethod *_method;
aoqi@0: #endif
aoqi@0:   enum {
aoqi@0:     Processed   = (1 << 0),
aoqi@0:     Handler     = (1 << 1),
aoqi@0:     MayThrow    = (1 << 2),
aoqi@0:     DoesJsr     = (1 << 3),
aoqi@0:     DoesRet     = (1 << 4),
aoqi@0:     RetTarget   = (1 << 5),
aoqi@0:     HasHandler  = (1 << 6)
aoqi@0:   };
aoqi@0: 
aoqi@0: 
aoqi@0: public:
aoqi@0:   enum {
aoqi@0:     fall_through_bci = -1
aoqi@0:   };
aoqi@0: 
aoqi@0:   ciBlock(ciMethod *method, int index, int start_bci);
aoqi@0:   int start_bci() const         { return _start_bci; }
aoqi@0:   int limit_bci() const         { return _limit_bci; }
aoqi@0:   int control_bci() const       { return _control_bci; }
aoqi@0:   int index() const             { return _idx; }
aoqi@0:   void set_start_bci(int bci)   { _start_bci = bci; }
aoqi@0:   void set_limit_bci(int bci)   { _limit_bci = bci; }
aoqi@0:   void set_control_bci(int bci) { _control_bci = bci;}
aoqi@0:   void set_exception_range(int start_bci, int limit_bci);
aoqi@0:   int ex_start_bci() const      { return _ex_start_bci; }
aoqi@0:   int ex_limit_bci() const      { return _ex_limit_bci; }
aoqi@0:   bool contains(int bci) const { return start_bci() <= bci && bci < limit_bci(); }
aoqi@0: 
aoqi@0:   // flag handling
aoqi@0:   bool  processed() const           { return (_flags & Processed) != 0; }
aoqi@0:   bool  is_handler() const          { return (_flags & Handler) != 0; }
aoqi@0:   bool  may_throw() const           { return (_flags & MayThrow) != 0; }
aoqi@0:   bool  does_jsr() const            { return (_flags & DoesJsr) != 0; }
aoqi@0:   bool  does_ret() const            { return (_flags & DoesRet) != 0; }
aoqi@0:   bool  has_handler() const         { return (_flags & HasHandler) != 0; }
aoqi@0:   bool  is_ret_target() const       { return (_flags & RetTarget) != 0; }
aoqi@0:   void  set_processed()             { _flags |= Processed; }
aoqi@0:   void  clear_processed()           { _flags &= ~Processed; }
aoqi@0:   void  set_handler()               { _flags |= Handler; }
aoqi@0:   void  set_may_throw()             { _flags |= MayThrow; }
aoqi@0:   void  set_does_jsr()              { _flags |= DoesJsr; }
aoqi@0:   void  clear_does_jsr()            { _flags &= ~DoesJsr; }
aoqi@0:   void  set_does_ret()              { _flags |= DoesRet; }
aoqi@0:   void  clear_does_ret()            { _flags &= ~DoesRet; }
aoqi@0:   void  set_is_ret_target()         { _flags |= RetTarget; }
aoqi@0:   void  set_has_handler()           { _flags |= HasHandler; }
aoqi@0:   void  clear_exception_handler()   { _flags &= ~Handler; _ex_start_bci = -1; _ex_limit_bci = -1; }
aoqi@0: #ifndef PRODUCT
aoqi@0:   ciMethod *method() const          { return _method; }
aoqi@0:   void dump();
aoqi@0:   void print_on(outputStream* st) const  PRODUCT_RETURN;
aoqi@0: #endif
aoqi@0: };
aoqi@0: 
aoqi@0: #endif // SHARE_VM_CI_CIMETHODBLOCKS_HPP