Mercurial > jdk8-mips64-public > hotspot / file revision

 /*

  * 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