src/share/vm/shark/sharkStack.cpp

Wed, 11 Aug 2010 05:51:21 -0700

author
twisti
date
Wed, 11 Aug 2010 05:51:21 -0700
changeset 2047
d2ede61b7a12
child 2314
f95d63e2154a
permissions
-rw-r--r--

6976186: integrate Shark HotSpot changes
Summary: Shark is a JIT compiler for Zero that uses the LLVM compiler infrastructure.
Reviewed-by: kvn, twisti
Contributed-by: Gary Benson <gbenson@redhat.com>

     1 /*
     2  * Copyright (c) 1999, 2007, Oracle and/or its affiliates. All rights reserved.
     3  * Copyright 2008, 2009, 2010 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  */
    26 #include "incls/_precompiled.incl"
    27 #include "incls/_sharkStack.cpp.incl"
    29 using namespace llvm;
    31 void SharkStack::initialize(Value* method) {
    32   bool setup_sp_and_method = (method != NULL);
    34   int locals_words  = max_locals();
    35   int extra_locals  = locals_words - arg_size();
    36   int header_words  = SharkFrame::header_words;
    37   int monitor_words = max_monitors()*frame::interpreter_frame_monitor_size();
    38   int stack_words   = max_stack();
    39   int frame_words   = header_words + monitor_words + stack_words;
    41   _extended_frame_size = frame_words + locals_words;
    43   // Update the stack pointer
    44   Value *stack_pointer = builder()->CreateSub(
    45     CreateLoadStackPointer(),
    46     LLVMValue::intptr_constant((frame_words + extra_locals) * wordSize));
    47   CreateStackOverflowCheck(stack_pointer);
    48   if (setup_sp_and_method)
    49     CreateStoreStackPointer(stack_pointer);
    51   // Create the frame
    52   _frame = builder()->CreateIntToPtr(
    53     stack_pointer,
    54     PointerType::getUnqual(
    55       ArrayType::get(SharkType::intptr_type(), extended_frame_size())),
    56     "frame");
    57   int offset = 0;
    59   // Expression stack
    60   _stack_slots_offset = offset;
    61   offset += stack_words;
    63   // Monitors
    64   _monitors_slots_offset = offset;
    65   offset += monitor_words;
    67   // Temporary oop slot
    68   _oop_tmp_slot_offset = offset++;
    70   // Method pointer
    71   _method_slot_offset = offset++;
    72   if (setup_sp_and_method) {
    73     builder()->CreateStore(
    74       method, slot_addr(method_slot_offset(), SharkType::methodOop_type()));
    75   }
    77   // Unextended SP
    78   builder()->CreateStore(stack_pointer, slot_addr(offset++));
    80   // PC
    81   _pc_slot_offset = offset++;
    83   // Frame header
    84   builder()->CreateStore(
    85     LLVMValue::intptr_constant(ZeroFrame::SHARK_FRAME), slot_addr(offset++));
    86   Value *fp = slot_addr(offset++);
    88   // Local variables
    89   _locals_slots_offset = offset;
    90   offset += locals_words;
    92   // Push the frame
    93   assert(offset == extended_frame_size(), "should do");
    94   builder()->CreateStore(CreateLoadFramePointer(), fp);
    95   CreateStoreFramePointer(
    96     builder()->CreatePtrToInt(fp, SharkType::intptr_type()));
    97 }
    99 // This function should match ZeroStack::overflow_check
   100 void SharkStack::CreateStackOverflowCheck(Value* sp) {
   101   BasicBlock *zero_ok  = CreateBlock("zero_stack_ok");
   102   BasicBlock *overflow = CreateBlock("stack_overflow");
   103   BasicBlock *abi_ok   = CreateBlock("abi_stack_ok");
   105   // Check the Zero stack
   106   builder()->CreateCondBr(
   107     builder()->CreateICmpULT(sp, stack_base()),
   108     overflow, zero_ok);
   110   // Check the ABI stack
   111   builder()->SetInsertPoint(zero_ok);
   112   Value *stack_top = builder()->CreateSub(
   113     builder()->CreateValueOfStructEntry(
   114       thread(),
   115       Thread::stack_base_offset(),
   116       SharkType::intptr_type(),
   117       "abi_base"),
   118     builder()->CreateValueOfStructEntry(
   119       thread(),
   120       Thread::stack_size_offset(),
   121       SharkType::intptr_type(),
   122       "abi_size"));
   123   Value *free_stack = builder()->CreateSub(
   124     builder()->CreatePtrToInt(
   125       builder()->CreateGetFrameAddress(),
   126       SharkType::intptr_type(),
   127       "abi_sp"),
   128     stack_top);
   129   builder()->CreateCondBr(
   130     builder()->CreateICmpULT(
   131       free_stack,
   132       LLVMValue::intptr_constant(StackShadowPages * os::vm_page_size())),
   133     overflow, abi_ok);
   135   // Handle overflows
   136   builder()->SetInsertPoint(overflow);
   137   builder()->CreateCall(builder()->throw_StackOverflowError(), thread());
   138   builder()->CreateRet(LLVMValue::jint_constant(0));
   140   builder()->SetInsertPoint(abi_ok);
   141 }
   143 Value* SharkStack::CreatePopFrame(int result_slots) {
   144   assert(result_slots >= 0 && result_slots <= 2, "should be");
   145   int locals_to_pop = max_locals() - result_slots;
   147   Value *fp = CreateLoadFramePointer();
   148   Value *sp = builder()->CreateAdd(
   149     fp,
   150     LLVMValue::intptr_constant((1 + locals_to_pop) * wordSize));
   152   CreateStoreStackPointer(sp);
   153   CreateStoreFramePointer(
   154     builder()->CreateLoad(
   155       builder()->CreateIntToPtr(
   156         fp, PointerType::getUnqual(SharkType::intptr_type()))));
   158   return sp;
   159 }
   161 Value* SharkStack::slot_addr(int         offset,
   162                              const Type* type,
   163                              const char* name) const {
   164   bool needs_cast = type && type != SharkType::intptr_type();
   166   Value* result = builder()->CreateStructGEP(
   167     _frame, offset, needs_cast ? "" : name);
   169   if (needs_cast) {
   170     result = builder()->CreateBitCast(
   171       result, PointerType::getUnqual(type), name);
   172   }
   173   return result;
   174 }
   176 // The bits that differentiate stacks with normal and native frames on top
   178 SharkStack* SharkStack::CreateBuildAndPushFrame(SharkFunction* function,
   179                                                 Value*         method) {
   180   return new SharkStackWithNormalFrame(function, method);
   181 }
   182 SharkStack* SharkStack::CreateBuildAndPushFrame(SharkNativeWrapper* wrapper,
   183                                                 Value*              method) {
   184   return new SharkStackWithNativeFrame(wrapper, method);
   185 }
   187 SharkStackWithNormalFrame::SharkStackWithNormalFrame(SharkFunction* function,
   188                                                      Value*         method)
   189   : SharkStack(function), _function(function) {
   190   // For normal frames, the stack pointer and the method slot will
   191   // be set during each decache, so it is not necessary to do them
   192   // at the time the frame is created.  However, we set them for
   193   // non-PRODUCT builds to make crash dumps easier to understand.
   194   initialize(PRODUCT_ONLY(NULL) NOT_PRODUCT(method));
   195 }
   196 SharkStackWithNativeFrame::SharkStackWithNativeFrame(SharkNativeWrapper* wrp,
   197                                                      Value*              method)
   198   : SharkStack(wrp), _wrapper(wrp) {
   199   initialize(method);
   200 }
   202 int SharkStackWithNormalFrame::arg_size() const {
   203   return function()->arg_size();
   204 }
   205 int SharkStackWithNativeFrame::arg_size() const {
   206   return wrapper()->arg_size();
   207 }
   209 int SharkStackWithNormalFrame::max_locals() const {
   210   return function()->max_locals();
   211 }
   212 int SharkStackWithNativeFrame::max_locals() const {
   213   return wrapper()->arg_size();
   214 }
   216 int SharkStackWithNormalFrame::max_stack() const {
   217   return function()->max_stack();
   218 }
   219 int SharkStackWithNativeFrame::max_stack() const {
   220   return 0;
   221 }
   223 int SharkStackWithNormalFrame::max_monitors() const {
   224   return function()->max_monitors();
   225 }
   226 int SharkStackWithNativeFrame::max_monitors() const {
   227   return wrapper()->is_synchronized() ? 1 : 0;
   228 }
   230 BasicBlock* SharkStackWithNormalFrame::CreateBlock(const char* name) const {
   231   return function()->CreateBlock(name);
   232 }
   233 BasicBlock* SharkStackWithNativeFrame::CreateBlock(const char* name) const {
   234   return wrapper()->CreateBlock(name);
   235 }
   237 address SharkStackWithNormalFrame::interpreter_entry_point() const {
   238   return (address) CppInterpreter::normal_entry;
   239 }
   240 address SharkStackWithNativeFrame::interpreter_entry_point() const {
   241   return (address) CppInterpreter::native_entry;
   242 }
   244 #ifndef PRODUCT
   245 void SharkStack::CreateAssertLastJavaSPIsNull() const {
   246 #ifdef ASSERT
   247   BasicBlock *fail = CreateBlock("assert_failed");
   248   BasicBlock *pass = CreateBlock("assert_ok");
   250   builder()->CreateCondBr(
   251     builder()->CreateICmpEQ(
   252       builder()->CreateLoad(last_Java_sp_addr()),
   253       LLVMValue::intptr_constant(0)),
   254     pass, fail);
   256   builder()->SetInsertPoint(fail);
   257   builder()->CreateShouldNotReachHere(__FILE__, __LINE__);
   258   builder()->CreateUnreachable();
   260   builder()->SetInsertPoint(pass);
   261 #endif // ASSERT
   262 }
   263 #endif // !PRODUCT

mercurial