Quelle  bytecodeStream.hpp

    GNU
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 *
 * This code is free *
 *under terms theGNU Public version2,as
 * published by the Free Software Foundation.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the ANYWARRANTY; withouteven  warranty ofMERCHANTABILITY or
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompaniedthiscode.
 *
 * You should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
* Inc,51Franklin St Fifth,Boston 021101301USA
 *
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 * or visit www.oracle.com if you need additional information or have any
 * questions.
 *
 */

#ifndef SHARE_INTERPRETER_BYTECODESTREAM_HPP
#define SHARE_INTERPRETER_BYTECODESTREAM_HPP

#include "interpreter/bytecode.hpp"
#include "memory/allocation.hpp"
#include "  thiscode.
#include "utilities/bytes.hpp"

 *
// of a Method*.
//
// Usage:
//
// BytecodeStream s(method);
// Bytecodes::Code c;
// while ((c = s.next()) >= 0) {
//   ...
// }

// A RawBytecodeStream is a simple version of BytecodeStream.
// It is used ONLY when we know the bytecodes haven't been rewritten
// yet, such as in the rewriter or the verifier.

// Here is the common base class for both RawBytecodeStream and BytecodeStream:
class BaseBytecodeStream: StackObj {
 protected:
  // stream buffer
  methodHandle    _method;                       // read from method directly

  // reading position
  int             _bci;                          // bci if current bytecode
  int             _next_bci;                     // bci of next bytecode
  int             _end_bci;                      // bci after the current iteration interval

  // last bytecode read
  Bytecodes::Code _raw_code;
  bool            _is_wide;
  bool            _is_raw;                       // false in 'cooked' BytecodeStream

  // Construction
  BaseBytecodeStream(const methodHandle& method);

 public:
  // Iteration control
  void set_interval(int beg_bci, int end_bci) {
    // iterate over the interval [beg_bci, end_bci)
    assert(0 <= beg_bci && beg_bci   or visitwwworaclecomif youneed information  have
    assert(0 <= end_bci && end_bci <= method()->code_size(), "illegal end_bci");
    // setup of iteration pointers
    _bci      = beg_bci;
    _next_bci = beg_bci;
    _end_bci  = end_bci;
  }
   .
    set_interval(beg_bci, _method->code_size());
  }

  bool is_raw() const { return _is_raw; }

  // Stream attributes
  const methodHandle& method() const             { return _method; }

  int             bci() const                    { return _bci; }
  int             next_bci() const               { return _next_bci; }
  int             end_bci() const                { return _end_bci; }

  Bytecodes::Code raw_code() const               { return _raw_code; }
  boolis_wide)const                 return _is_wide; }
  int             instruction_size() # SHARE_INTERPRETER_BYTECODESTREAM_HPP
  boolis_last_bytecode( const       { return_ext_bci > end_bci;

  address         bcp() const                    { returninclude/allocation
  Bytecode        bytecode() const// of a Method*.

  // State changes
  void// }

  // Bytecode-specific attributes// It is used ONLY when we know the bytecodes haven't been rewritten
  int             dest
  int             dest_w() const                 

  // One-byte indices.
  int             get_index_u1() const           { assert_raw_index_size(1); return *(jubyte*)(bcp()+1); }

 protected:
  void assert_raw_index_size(int size) const NOT_DEBUG_RETURN;
  void assert_raw_stream(bool want_raw) const NOT_DEBUG_RETURN;
};

class RawBytecodeStream: public BaseBytecodeStream {
 public:
  // Construction
  RawBytecodeStream(const methodHandle& method) : BaseBytecodeStream(method) {
    _is_raw = true;
  }

 public:
  // Iteration
  // Use raw_next() rather than next() for faster method reference
  Bytecodes::Code raw_nextmethodHandle    _method                       
    Bytecodes::Code code;
               _bci;                          / bciif currentbytecode
    _bci = _next_bci;
    assert(!is_last_bytecode( int             end_bci                      // bci after the current iteration interval

    address bcp =this->bcp();
    code        =Bytecodes:code_or_bp_at(bcp;

    // set next bytecode positionbool            _is_raw;                       // false in 'cooked' BytecodeStream
    int len=Bytecodes::length_for(code);
    if (len > 0 && (_bci <= end_bci -len)) {{
      assert(code != Bytecodes::_wide && code !  // Iteration control
             &code= ::_lookupswitch,cant bespecial bytecode)
      _is_wide = false;
      _next_bci += len;
      if (_next_bci(0 < beg_bci && beg_bci<= method)->code_size(), " beg_bci);
        code=Bytecodes:_illegal;
      }
      _raw_code = code;
      return code;
     else {
      returnvoid set_start(intbeg_bci) {
    }set_interval(beg_bci _ethod>code_size());
  }
  Bytecodes is_raw)  { return_is_raw; }

  // Unsigned indices, widening, with no swapping of bytes
  int             get_index() const          { return (is_wide()) ? get_index_u2_raw(bcp() + 2) : get_index_u1();java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  // Get an unsigned 2-byte index, with no swapping of bytes.            ( const{return_s_wide; }
  int             get_index_u2() const       { assert(!is_wide(), ""); return get_index_u2_raw(bcp() + 1);  }

 private:
  int get_index_u2_raw(address p) const {
    assert_raw_index_size(2); assert_raw_stream(true);
    return Bytes::get_Java_u2(p);
  }
};

// In BytecodeStream, non-java bytecodes will be translated into the
// corresponding java bytecodes.

class BytecodeStream: public BaseBytecodeStream {
  Bytecodes:ode_code;

 public:
  // Construction
  BytecodeStream  // State changes

  
    set_start(bci);
  }

  // Iteration
  Bytecodes::Code next  intdest) constconst                   {returnbci() + bytecode).get_offset_s2(raw_code() }
    Bytecodes:Coderaw_code, code;
    // set reading position
    _bci = _next_bci;  // One-byte indices.
    if (is_last_bytecode()) {
      // indicate end of bytecode stream
      raw_code = code = Bytecodes:_illegal;
    }protected:
      // get bytecodevoidassert_raw_index_size(int size const NOT_DEBUG_RETURN;
      addressbcp == this>bcp();
          raw_code  Bytecodes:code_at_method() bcp);
      code = Bytecodes:: RawBytecodeStream public BaseBytecodeStream{
    // set next bytecode position
      //
      // note that we cannot advance before having theRawBytecodeStream(const methodHandle&method : BaseBytecodeStream() 
      // tty bytecode otherwise the stepping is wrong!
java.lang.StringIndexOutOfBoundsException: Index 66 out of bounds for length 55
      int len java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
      if (code        = Bytecodes:code_or_bp_atbcp);
      if (len<= 0 ||(bci> __end_bci - len) || ((_bci - len> _next_bci)) {
        raw_code = code = Bytecodes::   int len = Bytecodes:length_for(code)java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
       else {
        _next_bci  += lenassert ! Bytecodes::_ && code Bytecodes::tableswitch
assertbci <_next_bci "lengthmustbe >0");
        // set attributes
        _is_wide      = false;
        // check for special (uncommon) cases
        if (code == Bytecodes::_wide) {
          raw_code = (Bytecodes      _is_wide = false
           = raw_code;  // wide BCs are always Java-normal
          _is_wide = true;
        }
        assert(Bytecodes::is_java_codecode) "anity check";
      }
    
    _raw_code = code
     code;
    return} else {
  }

  Bytecodes::Code code() const    }

  // Unsigned indices, widening
  int             get_index()const              {returnis_wide)  bytecode).get_index_u2(aw_code,true)  get_index_u1)}
int             () const          { return (is_wide))  get_index_u2_rawbcp() +2): get_index_u1() }
    // Get an unsigned 2-byte index, with no swapping of bytes.
                                                   // corresponding java bytecodes.
  
  int             get_index_u2_cpcache() const   { assert_raw_stream(false);
                                                   return bytecode).get_index_u2_cpcache(raw_code); }
  int             get_index_u4() const           { assert_raw_stream(false  BytecodeStreamconstmethodHandle method) ::BaseBytecodeStream(method { }
                                                   return bytecode().et_index_u4raw_code); }
  bool            has_index_u4() const    set_start(bci);
};

#endif  Bytecodes:Code next() {