Mercurial > hg > truffle
view src/share/vm/shark/sharkBlock.hpp @ 4974:ab906cea36f7
First round of minimizing diff vs OpenJDK.
author | Thomas Wuerthinger <thomas.wuerthinger@oracle.com> |
---|---|
date | Mon, 27 Feb 2012 15:15:59 +0100 |
parents | f95d63e2154a |
children |
line wrap: on
line source
/* * 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