| 1 | /* | 
|---|
| 2 | * Copyright (c) 1997, 2018, 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 | #include "precompiled.hpp" | 
|---|
| 26 | #include "interpreter/bytecodeStream.hpp" | 
|---|
| 27 | #include "interpreter/bytecodes.hpp" | 
|---|
| 28 | #include "runtime/handles.inline.hpp" | 
|---|
| 29 |  | 
|---|
| 30 | Bytecodes::Code RawBytecodeStream::raw_next_special(Bytecodes::Code code) { | 
|---|
| 31 | assert(!is_last_bytecode(), "should have been checked"); | 
|---|
| 32 | // set next bytecode position | 
|---|
| 33 | address bcp = RawBytecodeStream::bcp(); | 
|---|
| 34 | address end = method()->code_base() + end_bci(); | 
|---|
| 35 | int len = Bytecodes::raw_special_length_at(bcp, end); | 
|---|
| 36 | // Very large tableswitch or lookupswitch size can cause _next_bci to overflow. | 
|---|
| 37 | if (len <= 0 || (_bci > _end_bci - len) || (_bci - len >= _next_bci)) { | 
|---|
| 38 | code = Bytecodes::_illegal; | 
|---|
| 39 | } else { | 
|---|
| 40 | _next_bci += len; | 
|---|
| 41 | // set attributes | 
|---|
| 42 | _is_wide = false; | 
|---|
| 43 | // check for special (uncommon) cases | 
|---|
| 44 | if (code == Bytecodes::_wide) { | 
|---|
| 45 | if (bcp + 1 >= end) { | 
|---|
| 46 | code = Bytecodes::_illegal; | 
|---|
| 47 | } else { | 
|---|
| 48 | code = (Bytecodes::Code)bcp[1]; | 
|---|
| 49 | _is_wide = true; | 
|---|
| 50 | } | 
|---|
| 51 | } | 
|---|
| 52 | } | 
|---|
| 53 | _raw_code = code; | 
|---|
| 54 | return code; | 
|---|
| 55 | } | 
|---|
| 56 |  | 
|---|
| 57 | BaseBytecodeStream::BaseBytecodeStream(const methodHandle& method) : _method(method) { | 
|---|
| 58 | set_interval(0, _method->code_size()); | 
|---|
| 59 | _is_raw = false; | 
|---|
| 60 | } | 
|---|
| 61 |  | 
|---|
| 62 | #ifdef ASSERT | 
|---|
| 63 | void BaseBytecodeStream::assert_raw_index_size(int size) const { | 
|---|
| 64 | if (raw_code() == Bytecodes::_invokedynamic && is_raw()) { | 
|---|
| 65 | // in raw mode, pretend indy is "bJJ__" | 
|---|
| 66 | assert(size == 2, "raw invokedynamic instruction has 2-byte index only"); | 
|---|
| 67 | } else { | 
|---|
| 68 | bytecode().assert_index_size(size, raw_code(), is_wide()); | 
|---|
| 69 | } | 
|---|
| 70 | } | 
|---|
| 71 |  | 
|---|
| 72 | void BaseBytecodeStream::assert_raw_stream(bool want_raw) const { | 
|---|
| 73 | if (want_raw) { | 
|---|
| 74 | assert( is_raw(), "this function only works on raw streams"); | 
|---|
| 75 | } else { | 
|---|
| 76 | assert(!is_raw(), "this function only works on non-raw streams"); | 
|---|
| 77 | } | 
|---|
| 78 | } | 
|---|
| 79 | #endif //ASSERT | 
|---|
| 80 |  | 
|---|