1 /*
   2  * Copyright (c) 1999, 2007, Oracle and/or its affiliates. All rights reserved.
   3  * Copyright 2008, 2009 Red Hat, Inc.
   4  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   5  *
   6  * This code is free software; you can redistribute it and/or modify it
   7  * under the terms of the GNU General Public License version 2 only, as
   8  * published by the Free Software Foundation.
   9  *
  10  * This code is distributed in the hope that it will be useful, but WITHOUT
  11  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  12  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  13  * version 2 for more details (a copy is included in the LICENSE file that
  14  * accompanied this code).
  15  *
  16  * You should have received a copy of the GNU General Public License version
  17  * 2 along with this work; if not, write to the Free Software Foundation,
  18  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  19  *
  20  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  21  * or visit www.oracle.com if you need additional information or have any
  22  * questions.
  23  *
  24  */
  25 
  26 // Base classes used to track various values through the compilation.
  27 // SharkCompileInvariants is used to track values which remain the
  28 // same for the top-level method and any inlined methods it may have
  29 // (ie for the whole compilation).  SharkTargetInvariants is used to
  30 // track values which differ between methods.
  31 
  32 class SharkCompileInvariants : public ResourceObj {
  33  protected:
  34   SharkCompileInvariants(ciEnv* env, SharkBuilder* builder)
  35     : _env(env),
  36       _builder(builder),
  37       _thread(NULL) {}
  38 
  39   SharkCompileInvariants(const SharkCompileInvariants* parent)
  40     : _env(parent->_env),
  41       _builder(parent->_builder),
  42       _thread(parent->_thread) {}
  43 
  44  private:
  45   ciEnv*        _env;
  46   SharkBuilder* _builder;
  47   llvm::Value*  _thread;
  48 
  49   // Top-level broker for HotSpot's Compiler Interface.
  50   //
  51   // Its main purpose is to allow the various CI classes to access
  52   // oops in the VM without having to worry about safepointing.  In
  53   // addition to this it acts as a holder for various recorders and
  54   // memory allocators.
  55   //
  56   // Accessing this directly is kind of ugly, so it's private.  Add
  57   // new accessors below if you need something from it.
  58  private:
  59   ciEnv* env() const {
  60     assert(_env != NULL, "env not available");
  61     return _env;
  62   }
  63 
  64   // The SharkBuilder that is used to build LLVM IR.
  65  protected:
  66   SharkBuilder* builder() const {
  67     return _builder;
  68   }
  69 
  70   // Pointer to this thread's JavaThread object.  This is not
  71   // available until a short way into SharkFunction creation
  72   // so a setter is required.  Assertions are used to enforce
  73   // invariance.
  74  protected:
  75   llvm::Value* thread() const {
  76     assert(_thread != NULL, "thread not available");
  77     return _thread;
  78   }
  79   void set_thread(llvm::Value* thread) {
  80     assert(_thread == NULL, "thread already set");
  81     _thread = thread;
  82   }
  83 
  84   // Objects that handle various aspects of the compilation.
  85  protected:
  86   DebugInformationRecorder* debug_info() const {
  87     return env()->debug_info();
  88   }
  89   Dependencies* dependencies() const {
  90     return env()->dependencies();
  91   }
  92   SharkCodeBuffer* code_buffer() const {
  93     return builder()->code_buffer();
  94   }
  95 
  96   // Commonly used classes
  97  protected:
  98   ciInstanceKlass* java_lang_Object_klass() const {
  99     return env()->Object_klass();
 100   }
 101   ciInstanceKlass* java_lang_Throwable_klass() const {
 102     return env()->Throwable_klass();
 103   }
 104 };
 105 
 106 class SharkTargetInvariants : public SharkCompileInvariants {
 107  protected:
 108   SharkTargetInvariants(ciEnv* env, SharkBuilder* builder, ciTypeFlow* flow)
 109     : SharkCompileInvariants(env, builder),
 110       _target(flow->method()),
 111       _flow(flow),
 112       _max_monitors(count_monitors()) {}
 113 
 114   SharkTargetInvariants(const SharkCompileInvariants* parent, ciMethod* target)
 115     : SharkCompileInvariants(parent),
 116       _target(target),
 117       _flow(NULL),
 118       _max_monitors(count_monitors()) {}
 119 
 120   SharkTargetInvariants(const SharkTargetInvariants* parent)
 121     : SharkCompileInvariants(parent),
 122       _target(parent->_target),
 123       _flow(parent->_flow),
 124       _max_monitors(parent->_max_monitors) {}
 125 
 126  private:
 127   int count_monitors();
 128 
 129  private:
 130   ciMethod*   _target;
 131   ciTypeFlow* _flow;
 132   int         _max_monitors;
 133 
 134   // The method being compiled.
 135  protected:
 136   ciMethod* target() const {
 137     return _target;
 138   }
 139 
 140   // Typeflow analysis of the method being compiled.
 141  protected:
 142   ciTypeFlow* flow() const {
 143     assert(_flow != NULL, "typeflow not available");
 144     return _flow;
 145   }
 146 
 147   // Properties of the method.
 148  protected:
 149   int max_locals() const {
 150     return target()->max_locals();
 151   }
 152   int max_stack() const {
 153     return target()->max_stack();
 154   }
 155   int max_monitors() const {
 156     return _max_monitors;
 157   }
 158   int arg_size() const {
 159     return target()->arg_size();
 160   }
 161   bool is_static() const {
 162     return target()->is_static();
 163   }
 164   bool is_synchronized() const {
 165     return target()->is_synchronized();
 166   }
 167 };