hotspot/src/share/vm/interpreter/bytecodeStream.cpp
author never
Thu, 13 Jan 2011 22:15:41 -0800
changeset 7913 dd096a83bdbb
parent 7397 5b173b4ca846
child 39712 dccb9af07ee1
permissions -rw-r--r--
4926272: methodOopDesc::method_from_bcp is unsafe Reviewed-by: coleenp, jrose, kvn, dcubed
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
7913
dd096a83bdbb 4926272: methodOopDesc::method_from_bcp is unsafe
never
parents: 7397
diff changeset
     2
 * Copyright (c) 1997, 2011, Oracle and/or its affiliates. All rights reserved.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     4
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
489c9b5090e2 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
489c9b5090e2 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     8
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
489c9b5090e2 Initial load
duke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
489c9b5090e2 Initial load
duke
parents:
diff changeset
    13
 * accompanied this code).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    14
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
489c9b5090e2 Initial load
duke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    18
 *
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1623
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1623
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1623
diff changeset
    21
 * questions.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5702
diff changeset
    25
#include "precompiled.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5702
diff changeset
    26
#include "interpreter/bytecodeStream.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5702
diff changeset
    27
#include "interpreter/bytecodes.hpp"
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    28
489c9b5090e2 Initial load
duke
parents:
diff changeset
    29
Bytecodes::Code RawBytecodeStream::raw_next_special(Bytecodes::Code code) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    30
  assert(!is_last_bytecode(), "should have been checked");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    31
  // set next bytecode position
1493
7d2dc5fbfa8c 6756528: Bytecodes::special_length_at reads past end of code buffer
kamg
parents: 1
diff changeset
    32
  address bcp = RawBytecodeStream::bcp();
7d2dc5fbfa8c 6756528: Bytecodes::special_length_at reads past end of code buffer
kamg
parents: 1
diff changeset
    33
  address end = method()->code_base() + end_bci();
7d2dc5fbfa8c 6756528: Bytecodes::special_length_at reads past end of code buffer
kamg
parents: 1
diff changeset
    34
  int l = Bytecodes::raw_special_length_at(bcp, end);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
  if (l <= 0 || (_bci + l) > _end_bci) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
    code = Bytecodes::_illegal;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
    _next_bci += l;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
    assert(_bci < _next_bci, "length must be > 0");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
    // set attributes
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
    _is_wide = false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
    // check for special (uncommon) cases
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
    if (code == Bytecodes::_wide) {
1493
7d2dc5fbfa8c 6756528: Bytecodes::special_length_at reads past end of code buffer
kamg
parents: 1
diff changeset
    44
      if (bcp + 1 >= end) {
7d2dc5fbfa8c 6756528: Bytecodes::special_length_at reads past end of code buffer
kamg
parents: 1
diff changeset
    45
        code = Bytecodes::_illegal;
7d2dc5fbfa8c 6756528: Bytecodes::special_length_at reads past end of code buffer
kamg
parents: 1
diff changeset
    46
      } else {
7d2dc5fbfa8c 6756528: Bytecodes::special_length_at reads past end of code buffer
kamg
parents: 1
diff changeset
    47
        code = (Bytecodes::Code)bcp[1];
7d2dc5fbfa8c 6756528: Bytecodes::special_length_at reads past end of code buffer
kamg
parents: 1
diff changeset
    48
        _is_wide = true;
7d2dc5fbfa8c 6756528: Bytecodes::special_length_at reads past end of code buffer
kamg
parents: 1
diff changeset
    49
      }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
  }
5688
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    52
  _raw_code = code;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
  return code;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
}
5688
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    55
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    56
#ifdef ASSERT
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    57
void BaseBytecodeStream::assert_raw_index_size(int size) const {
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    58
  if (raw_code() == Bytecodes::_invokedynamic && is_raw()) {
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    59
    // in raw mode, pretend indy is "bJJ__"
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    60
    assert(size == 2, "raw invokedynamic instruction has 2-byte index only");
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    61
  } else {
7913
dd096a83bdbb 4926272: methodOopDesc::method_from_bcp is unsafe
never
parents: 7397
diff changeset
    62
    bytecode().assert_index_size(size, raw_code(), is_wide());
5688
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    63
  }
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    64
}
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    65
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    66
void BaseBytecodeStream::assert_raw_stream(bool want_raw) const {
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    67
  if (want_raw) {
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    68
    assert( is_raw(), "this function only works on raw streams");
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    69
  } else {
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    70
    assert(!is_raw(), "this function only works on non-raw streams");
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    71
  }
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    72
}
9052dc91ea67 6939207: refactor constant pool index processing
jrose
parents: 1623
diff changeset
    73
#endif //ASSERT