298 lines
6.9 KiB
C++
298 lines
6.9 KiB
C++
/*
|
|
* Copyright (c) 1999, 2010, Oracle and/or its affiliates. All rights reserved.
|
|
* Copyright 2008, 2009 Red Hat, Inc.
|
|
* 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.
|
|
*
|
|
*/
|
|
|
|
#ifndef SHARE_VM_SHARK_SHARKBLOCK_HPP
|
|
#define SHARE_VM_SHARK_SHARKBLOCK_HPP
|
|
|
|
#include "ci/ciMethod.hpp"
|
|
#include "ci/ciStreams.hpp"
|
|
#include "memory/allocation.hpp"
|
|
#include "shark/llvmHeaders.hpp"
|
|
#include "shark/sharkBuilder.hpp"
|
|
#include "shark/sharkConstant.hpp"
|
|
#include "shark/sharkInvariants.hpp"
|
|
#include "shark/sharkState.hpp"
|
|
#include "shark/sharkValue.hpp"
|
|
#include "utilities/debug.hpp"
|
|
|
|
class SharkState;
|
|
|
|
class SharkBlock : public SharkTargetInvariants {
|
|
protected:
|
|
SharkBlock(const SharkTargetInvariants* parent)
|
|
: SharkTargetInvariants(parent),
|
|
_iter(target()),
|
|
_current_state(NULL) {}
|
|
|
|
SharkBlock(const SharkCompileInvariants* parent, ciMethod* target)
|
|
: SharkTargetInvariants(parent, target),
|
|
_iter(target),
|
|
_current_state(NULL) {}
|
|
|
|
private:
|
|
ciBytecodeStream _iter;
|
|
SharkState* _current_state;
|
|
|
|
public:
|
|
ciBytecodeStream* iter() {
|
|
return &_iter;
|
|
}
|
|
Bytecodes::Code bc() {
|
|
return iter()->cur_bc();
|
|
}
|
|
int bci() {
|
|
return iter()->cur_bci();
|
|
}
|
|
|
|
// Entry state
|
|
protected:
|
|
virtual SharkState* entry_state();
|
|
|
|
// Current state
|
|
private:
|
|
SharkState* initial_current_state();
|
|
|
|
public:
|
|
SharkState* current_state() {
|
|
if (_current_state == NULL)
|
|
set_current_state(initial_current_state());
|
|
return _current_state;
|
|
}
|
|
|
|
protected:
|
|
void set_current_state(SharkState* current_state) {
|
|
_current_state = current_state;
|
|
}
|
|
|
|
// Local variables
|
|
protected:
|
|
SharkValue* local(int index) {
|
|
SharkValue *value = current_state()->local(index);
|
|
assert(value != NULL, "shouldn't be");
|
|
assert(value->is_one_word() ||
|
|
(index + 1 < max_locals() &&
|
|
current_state()->local(index + 1) == NULL), "should be");
|
|
return value;
|
|
}
|
|
void set_local(int index, SharkValue* value) {
|
|
assert(value != NULL, "shouldn't be");
|
|
current_state()->set_local(index, value);
|
|
if (value->is_two_word())
|
|
current_state()->set_local(index + 1, NULL);
|
|
}
|
|
|
|
// Expression stack (raw)
|
|
protected:
|
|
void xpush(SharkValue* value) {
|
|
current_state()->push(value);
|
|
}
|
|
SharkValue* xpop() {
|
|
return current_state()->pop();
|
|
}
|
|
SharkValue* xstack(int slot) {
|
|
SharkValue *value = current_state()->stack(slot);
|
|
assert(value != NULL, "shouldn't be");
|
|
assert(value->is_one_word() ||
|
|
(slot > 0 &&
|
|
current_state()->stack(slot - 1) == NULL), "should be");
|
|
return value;
|
|
}
|
|
int xstack_depth() {
|
|
return current_state()->stack_depth();
|
|
}
|
|
|
|
// Expression stack (cooked)
|
|
protected:
|
|
void push(SharkValue* value) {
|
|
assert(value != NULL, "shouldn't be");
|
|
xpush(value);
|
|
if (value->is_two_word())
|
|
xpush(NULL);
|
|
}
|
|
SharkValue* pop() {
|
|
int size = current_state()->stack(0) == NULL ? 2 : 1;
|
|
if (size == 2)
|
|
xpop();
|
|
SharkValue *value = xpop();
|
|
assert(value && value->size() == size, "should be");
|
|
return value;
|
|
}
|
|
SharkValue* pop_result(BasicType type) {
|
|
SharkValue *result = pop();
|
|
|
|
#ifdef ASSERT
|
|
switch (result->basic_type()) {
|
|
case T_BOOLEAN:
|
|
case T_BYTE:
|
|
case T_CHAR:
|
|
case T_SHORT:
|
|
assert(type == T_INT, "type mismatch");
|
|
break;
|
|
|
|
case T_ARRAY:
|
|
assert(type == T_OBJECT, "type mismatch");
|
|
break;
|
|
|
|
default:
|
|
assert(result->basic_type() == type, "type mismatch");
|
|
}
|
|
#endif // ASSERT
|
|
|
|
return result;
|
|
}
|
|
|
|
// Code generation
|
|
public:
|
|
virtual void emit_IR();
|
|
|
|
protected:
|
|
void parse_bytecode(int start, int limit);
|
|
|
|
// Helpers
|
|
protected:
|
|
virtual void do_zero_check(SharkValue* value);
|
|
|
|
// Zero checking
|
|
protected:
|
|
void check_null(SharkValue* object) {
|
|
zero_check(object);
|
|
}
|
|
void check_divide_by_zero(SharkValue* value) {
|
|
zero_check(value);
|
|
}
|
|
private:
|
|
void zero_check(SharkValue* value) {
|
|
if (!value->zero_checked())
|
|
do_zero_check(value);
|
|
}
|
|
|
|
// Safepoints
|
|
protected:
|
|
virtual void maybe_add_backedge_safepoint();
|
|
|
|
// Traps
|
|
protected:
|
|
virtual bool has_trap();
|
|
virtual int trap_request();
|
|
virtual int trap_bci();
|
|
virtual void do_trap(int trap_request);
|
|
|
|
// arraylength
|
|
protected:
|
|
virtual void do_arraylength();
|
|
|
|
// *aload and *astore
|
|
protected:
|
|
virtual void do_aload(BasicType basic_type);
|
|
virtual void do_astore(BasicType basic_type);
|
|
|
|
// *div and *rem
|
|
private:
|
|
void do_idiv() {
|
|
do_div_or_rem(false, false);
|
|
}
|
|
void do_irem() {
|
|
do_div_or_rem(false, true);
|
|
}
|
|
void do_ldiv() {
|
|
do_div_or_rem(true, false);
|
|
}
|
|
void do_lrem() {
|
|
do_div_or_rem(true, true);
|
|
}
|
|
void do_div_or_rem(bool is_long, bool is_rem);
|
|
|
|
// get* and put*
|
|
private:
|
|
void do_getstatic() {
|
|
do_field_access(true, false);
|
|
}
|
|
void do_getfield() {
|
|
do_field_access(true, true);
|
|
}
|
|
void do_putstatic() {
|
|
do_field_access(false, false);
|
|
}
|
|
void do_putfield() {
|
|
do_field_access(false, true);
|
|
}
|
|
void do_field_access(bool is_get, bool is_field);
|
|
|
|
// lcmp and [fd]cmp[lg]
|
|
private:
|
|
void do_lcmp();
|
|
void do_fcmp(bool is_double, bool unordered_is_greater);
|
|
|
|
// *return and athrow
|
|
protected:
|
|
virtual void do_return(BasicType type);
|
|
virtual void do_athrow();
|
|
|
|
// goto*
|
|
protected:
|
|
virtual void do_goto();
|
|
|
|
// jsr* and ret
|
|
protected:
|
|
virtual void do_jsr();
|
|
virtual void do_ret();
|
|
|
|
// if*
|
|
protected:
|
|
virtual void do_if(llvm::ICmpInst::Predicate p, SharkValue* b, SharkValue* a);
|
|
|
|
// *switch
|
|
protected:
|
|
int switch_default_dest();
|
|
int switch_table_length();
|
|
int switch_key(int i);
|
|
int switch_dest(int i);
|
|
|
|
virtual void do_switch();
|
|
|
|
// invoke*
|
|
protected:
|
|
virtual void do_call();
|
|
|
|
// checkcast and instanceof
|
|
protected:
|
|
virtual void do_instance_check();
|
|
virtual bool maybe_do_instanceof_if();
|
|
|
|
// new and *newarray
|
|
protected:
|
|
virtual void do_new();
|
|
virtual void do_newarray();
|
|
virtual void do_anewarray();
|
|
virtual void do_multianewarray();
|
|
|
|
// monitorenter and monitorexit
|
|
protected:
|
|
virtual void do_monitorenter();
|
|
virtual void do_monitorexit();
|
|
};
|
|
|
|
#endif // SHARE_VM_SHARK_SHARKBLOCK_HPP
|