/*
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* 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.
*
*/
#ifndef SHARE_VM_CI_BCESCAPEANALYZER_HPP
#define SHARE_VM_CI_BCESCAPEANALYZER_HPP
#ifdef COMPILER2
#include "ci/ciMethod.hpp"
#include "ci/ciMethodData.hpp"
#include "code/dependencies.hpp"
#include "libadt/vectset.hpp"
#include "memory/allocation.hpp"
#include "utilities/growableArray.hpp"
#endif
// This class implements a fast, conservative analysis of effect of methods
// on the escape state of their arguments. The analysis is at the bytecode
// level.
class ciMethodBlocks;
class ciBlock;
private:
// conservative results.
int _arg_size;
bool _return_local;
bool _return_allocated;
bool _allocated_escapes;
bool _unknown_modified;
int _level;
public:
class ArgumentMap;
class StateInfo;
private:
// helper functions
void iterate_blocks(Arena *);
// analysis
void initialize();
void clear_escape_info();
void compute_escape_info();
bool do_analysis();
void read_escape_info();
public:
// accessors
// retrieval of interprocedural escape information
// The given argument does not escape the callee.
bool is_arg_local(int i) const {
}
// The given argument escapes the callee, but does not become globally
// reachable.
bool is_arg_stack(int i) const {
}
// The given argument does not escape globally, and may be returned.
bool is_arg_returned(int i) const {
// True iff only input arguments are returned.
bool is_return_local() const {
return !_conservative && _return_local;
}
// True iff only newly allocated unescaped objects are returned.
bool is_return_allocated() const {
}
// Tracking of argument modification
// Copy dependencies from this analysis into "deps"
#ifndef PRODUCT
// dump escape information
void dump();
#endif
};
#endif // SHARE_VM_CI_BCESCAPEANALYZER_HPP