Mercurial > hg > truffle
view src/share/vm/interpreter/bytecodeStream.cpp @ 11860:762dc2f23d1c
InvokeWithException: make next successor a special begin node which has the same locationidentity as the invoke
InvokeWithExceptionNode has the unpleasant property that it is a ControlSplit
and MemoryCheckPoint at the same time. In terms of scheduling, a node cannot
be placed after a ControlSplit node as it denotes the end of a block. Thus,
instead of connecting a FloatingReadNode to the InvokeWithException node
directly (as lastLocationAccess), we point rather to the BeginNode
(non-exceptional case) or ExceptionBeginNode.
To preserve consistency regarding memory dependencies, the former node must be
also a MemoryCheckPoint.
author | Bernhard Urban <bernhard.urban@jku.at> |
---|---|
date | Wed, 02 Oct 2013 11:16:21 +0200 |
parents | 8012aa3ccede |
children |
line wrap: on
line source
/* * Copyright (c) 1997, 2011, Oracle and/or its affiliates. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, 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 GNU General Public License * version 2 for more details (a copy is included in the LICENSE file that * accompanied this code). * * 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., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. * * 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. * */ #include "precompiled.hpp" #include "interpreter/bytecodeStream.hpp" #include "interpreter/bytecodes.hpp" Bytecodes::Code RawBytecodeStream::raw_next_special(Bytecodes::Code code) { assert(!is_last_bytecode(), "should have been checked"); // set next bytecode position address bcp = RawBytecodeStream::bcp(); address end = method()->code_base() + end_bci(); int l = Bytecodes::raw_special_length_at(bcp, end); if (l <= 0 || (_bci + l) > _end_bci) { code = Bytecodes::_illegal; } else { _next_bci += l; assert(_bci < _next_bci, "length must be > 0"); // set attributes _is_wide = false; // check for special (uncommon) cases if (code == Bytecodes::_wide) { if (bcp + 1 >= end) { code = Bytecodes::_illegal; } else { code = (Bytecodes::Code)bcp[1]; _is_wide = true; } } } _raw_code = code; return code; } #ifdef ASSERT void BaseBytecodeStream::assert_raw_index_size(int size) const { if (raw_code() == Bytecodes::_invokedynamic && is_raw()) { // in raw mode, pretend indy is "bJJ__" assert(size == 2, "raw invokedynamic instruction has 2-byte index only"); } else { bytecode().assert_index_size(size, raw_code(), is_wide()); } } void BaseBytecodeStream::assert_raw_stream(bool want_raw) const { if (want_raw) { assert( is_raw(), "this function only works on raw streams"); } else { assert(!is_raw(), "this function only works on non-raw streams"); } } #endif //ASSERT