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

 /*

  * Copyright (c) 1999, 2010, Oracle and/or its affiliates. All rights reserved.

  * Copyright 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.

  *

  */

 #include "precompiled.hpp"

 #include "ci/ciMethod.hpp"

 #include "shark/llvmHeaders.hpp"

 #include "shark/sharkIntrinsics.hpp"

 #include "shark/sharkState.hpp"

 #include "shark/sharkValue.hpp"

 #include "shark/shark_globals.hpp"

 using namespace llvm;

 bool SharkIntrinsics::is_intrinsic(ciMethod *target) {

   switch (target->intrinsic_id()) {

   case vmIntrinsics::_none:

     return false;

     // java.lang.Math

   case vmIntrinsics::_min:

   case vmIntrinsics::_max:

   case vmIntrinsics::_dabs:

   case vmIntrinsics::_dsin:

   case vmIntrinsics::_dcos:

   case vmIntrinsics::_dtan:

   case vmIntrinsics::_datan2:

   case vmIntrinsics::_dsqrt:

   case vmIntrinsics::_dlog:

   case vmIntrinsics::_dlog10:

   case vmIntrinsics::_dpow:

   case vmIntrinsics::_dexp:

     return true;

     // java.lang.Object

   case vmIntrinsics::_getClass:

     return true;

     // java.lang.System

   case vmIntrinsics::_currentTimeMillis:

     return true;

     // java.lang.Thread

   case vmIntrinsics::_currentThread:

     return true;

     // sun.misc.Unsafe

   case vmIntrinsics::_compareAndSwapInt:

     return true;

   default:

     if (SharkPerformanceWarnings) {

       warning(

         "unhandled intrinsic vmIntrinsic::%s",

         vmIntrinsics::name_at(target->intrinsic_id()));

     }

   }

   return false;

 }

 void SharkIntrinsics::inline_intrinsic(ciMethod *target, SharkState *state) {

   SharkIntrinsics intrinsic(state, target);

   intrinsic.do_intrinsic();

 }

 void SharkIntrinsics::do_intrinsic() {

   switch (target()->intrinsic_id()) {

     // java.lang.Math

   case vmIntrinsics::_min:

     do_Math_minmax(llvm::ICmpInst::ICMP_SLE);

     break;

   case vmIntrinsics::_max:

     do_Math_minmax(llvm::ICmpInst::ICMP_SGE);

     break;

   case vmIntrinsics::_dabs:

     do_Math_1to1(builder()->fabs());

     break;

   case vmIntrinsics::_dsin:

     do_Math_1to1(builder()->sin());

     break;

   case vmIntrinsics::_dcos:

     do_Math_1to1(builder()->cos());

     break;

   case vmIntrinsics::_dtan:

     do_Math_1to1(builder()->tan());

     break;

   case vmIntrinsics::_datan2:

     do_Math_2to1(builder()->atan2());

     break;

   case vmIntrinsics::_dsqrt:

     do_Math_1to1(builder()->sqrt());

     break;

   case vmIntrinsics::_dlog:

     do_Math_1to1(builder()->log());

     break;

   case vmIntrinsics::_dlog10:

     do_Math_1to1(builder()->log10());

     break;

   case vmIntrinsics::_dpow:

     do_Math_2to1(builder()->pow());

     break;

   case vmIntrinsics::_dexp:

     do_Math_1to1(builder()->exp());

     break;

     // java.lang.Object

   case vmIntrinsics::_getClass:

     do_Object_getClass();

     break;

     // java.lang.System

   case vmIntrinsics::_currentTimeMillis:

     do_System_currentTimeMillis();

     break;

     // java.lang.Thread

   case vmIntrinsics::_currentThread:

     do_Thread_currentThread();

     break;

     // sun.misc.Unsafe

   case vmIntrinsics::_compareAndSwapInt:

     do_Unsafe_compareAndSwapInt();

     break;

   default:

     ShouldNotReachHere();

   }

 }

 void SharkIntrinsics::do_Math_minmax(ICmpInst::Predicate p) {

   // Pop the arguments

   SharkValue *sb = state()->pop();

   SharkValue *sa = state()->pop();

   Value *a = sa->jint_value();

   Value *b = sb->jint_value();

   // Perform the test

   BasicBlock *ip       = builder()->GetBlockInsertionPoint();

   BasicBlock *return_a = builder()->CreateBlock(ip, "return_a");

   BasicBlock *return_b = builder()->CreateBlock(ip, "return_b");

   BasicBlock *done     = builder()->CreateBlock(ip, "done");

   builder()->CreateCondBr(builder()->CreateICmp(p, a, b), return_a, return_b);

   builder()->SetInsertPoint(return_a);

   builder()->CreateBr(done);

   builder()->SetInsertPoint(return_b);

   builder()->CreateBr(done);

   builder()->SetInsertPoint(done);

   PHINode *phi = builder()->CreatePHI(a->getType(), 0, "result");

   phi->addIncoming(a, return_a);

   phi->addIncoming(b, return_b);

   // Push the result

   state()->push(

     SharkValue::create_jint(

       phi,

       sa->zero_checked() && sb->zero_checked()));

 }

 void SharkIntrinsics::do_Math_1to1(Value *function) {

   SharkValue *empty = state()->pop();

   assert(empty == NULL, "should be");

   state()->push(

     SharkValue::create_jdouble(

       builder()->CreateCall(

         function, state()->pop()->jdouble_value())));

   state()->push(NULL);

 }

 void SharkIntrinsics::do_Math_2to1(Value *function) {

   SharkValue *empty = state()->pop();

   assert(empty == NULL, "should be");

   Value *y = state()->pop()->jdouble_value();

   empty = state()->pop();

   assert(empty == NULL, "should be");

   Value *x = state()->pop()->jdouble_value();

   state()->push(

     SharkValue::create_jdouble(

       builder()->CreateCall2(function, x, y)));

   state()->push(NULL);

 }

 void SharkIntrinsics::do_Object_getClass() {

   Value *klass = builder()->CreateValueOfStructEntry(

     state()->pop()->jobject_value(),

     in_ByteSize(oopDesc::klass_offset_in_bytes()),

     SharkType::klass_type(),

     "klass");

   state()->push(

     SharkValue::create_jobject(

       builder()->CreateValueOfStructEntry(

         klass,

         Klass::java_mirror_offset(),

         SharkType::oop_type(),

         "java_mirror"),

       true));

 }

 void SharkIntrinsics::do_System_currentTimeMillis() {

   state()->push(

     SharkValue::create_jlong(

       builder()->CreateCall(builder()->current_time_millis()),

       false));

   state()->push(NULL);

 }

 void SharkIntrinsics::do_Thread_currentThread() {

   state()->push(

     SharkValue::create_jobject(

       builder()->CreateValueOfStructEntry(

         thread(), JavaThread::threadObj_offset(),

         SharkType::oop_type(),

         "threadObj"),

       true));

 }

 void SharkIntrinsics::do_Unsafe_compareAndSwapInt() {

   // Pop the arguments

   Value *x      = state()->pop()->jint_value();

   Value *e      = state()->pop()->jint_value();

   SharkValue *empty = state()->pop();

   assert(empty == NULL, "should be");

   Value *offset = state()->pop()->jlong_value();

   Value *object = state()->pop()->jobject_value();

   Value *unsafe = state()->pop()->jobject_value();

   // Convert the offset

   offset = builder()->CreateCall(

     builder()->unsafe_field_offset_to_byte_offset(),

     offset);

   // Locate the field

   Value *addr = builder()->CreateIntToPtr(

     builder()->CreateAdd(

       builder()->CreatePtrToInt(object, SharkType::intptr_type()),

       builder()->CreateIntCast(offset, SharkType::intptr_type(), true)),

     PointerType::getUnqual(SharkType::jint_type()),

     "addr");

   // Perform the operation

   Value *result = builder()->CreateAtomicCmpXchg(addr, e, x, llvm::SequentiallyConsistent);

   // Push the result

   state()->push(

     SharkValue::create_jint(

       builder()->CreateIntCast(

         builder()->CreateICmpEQ(result, e), SharkType::jint_type(), true),

       false));

 }