Logan Chien | 88894ee | 2012-02-13 16:42:22 +0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2012 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
| 17 | #include "jni_compiler.h" |
| 18 | |
| 19 | #include "class_linker.h" |
Logan Chien | 8b977d3 | 2012-02-21 19:14:55 +0800 | [diff] [blame] | 20 | #include "compilation_unit.h" |
Logan Chien | 88894ee | 2012-02-13 16:42:22 +0800 | [diff] [blame] | 21 | #include "compiled_method.h" |
| 22 | #include "compiler.h" |
| 23 | #include "compiler_llvm.h" |
| 24 | #include "ir_builder.h" |
| 25 | #include "logging.h" |
| 26 | #include "oat_compilation_unit.h" |
| 27 | #include "object.h" |
| 28 | #include "runtime.h" |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 29 | #include "runtime_support_func.h" |
Logan Chien | 88894ee | 2012-02-13 16:42:22 +0800 | [diff] [blame] | 30 | #include "utils_llvm.h" |
| 31 | |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 32 | #include <llvm/BasicBlock.h> |
Logan Chien | 88894ee | 2012-02-13 16:42:22 +0800 | [diff] [blame] | 33 | #include <llvm/DerivedTypes.h> |
| 34 | #include <llvm/Function.h> |
| 35 | #include <llvm/Type.h> |
| 36 | |
| 37 | namespace art { |
| 38 | namespace compiler_llvm { |
| 39 | |
TDYa127 | 0b686e5 | 2012-04-09 22:43:35 -0700 | [diff] [blame] | 40 | using namespace runtime_support; |
Logan Chien | 88894ee | 2012-02-13 16:42:22 +0800 | [diff] [blame] | 41 | |
Logan Chien | 8b977d3 | 2012-02-21 19:14:55 +0800 | [diff] [blame] | 42 | JniCompiler::JniCompiler(CompilationUnit* cunit, |
Logan Chien | 88894ee | 2012-02-13 16:42:22 +0800 | [diff] [blame] | 43 | Compiler const& compiler, |
| 44 | OatCompilationUnit* oat_compilation_unit) |
Logan Chien | 8b977d3 | 2012-02-21 19:14:55 +0800 | [diff] [blame] | 45 | : cunit_(cunit), compiler_(&compiler), module_(cunit_->GetModule()), |
| 46 | context_(cunit_->GetLLVMContext()), irb_(*cunit_->GetIRBuilder()), |
Logan Chien | 88894ee | 2012-02-13 16:42:22 +0800 | [diff] [blame] | 47 | oat_compilation_unit_(oat_compilation_unit), |
| 48 | access_flags_(oat_compilation_unit->access_flags_), |
| 49 | method_idx_(oat_compilation_unit->method_idx_), |
| 50 | class_linker_(oat_compilation_unit->class_linker_), |
| 51 | class_loader_(oat_compilation_unit->class_loader_), |
| 52 | dex_cache_(oat_compilation_unit->dex_cache_), |
| 53 | dex_file_(oat_compilation_unit->dex_file_), |
Logan Chien | 971bf3f | 2012-05-01 15:47:55 +0800 | [diff] [blame^] | 54 | method_(dex_cache_->GetResolvedMethod(method_idx_)) { |
Logan Chien | 88894ee | 2012-02-13 16:42:22 +0800 | [diff] [blame] | 55 | |
| 56 | // Check: Ensure that the method is resolved |
| 57 | CHECK_NE(method_, static_cast<art::Method*>(NULL)); |
| 58 | |
| 59 | // Check: Ensure that JNI compiler will only get "native" method |
| 60 | CHECK((access_flags_ & kAccNative) != 0); |
| 61 | } |
| 62 | |
| 63 | |
| 64 | CompiledMethod* JniCompiler::Compile() { |
TDYa127 | 9000a84 | 2012-03-23 17:43:08 -0700 | [diff] [blame] | 65 | const bool is_static = (access_flags_ & kAccStatic) != 0; |
| 66 | const bool is_synchronized = (access_flags_ & kAccSynchronized) != 0; |
| 67 | DexFile::MethodId const& method_id = dex_file_->GetMethodId(method_idx_); |
| 68 | char const return_shorty = dex_file_->GetMethodShorty(method_id)[0]; |
| 69 | llvm::Value* this_object_or_class_object; |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 70 | |
Logan Chien | 88894ee | 2012-02-13 16:42:22 +0800 | [diff] [blame] | 71 | CreateFunction(); |
| 72 | |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 73 | // Set argument name |
| 74 | llvm::Function::arg_iterator arg_begin(func_->arg_begin()); |
| 75 | llvm::Function::arg_iterator arg_end(func_->arg_end()); |
| 76 | llvm::Function::arg_iterator arg_iter(arg_begin); |
| 77 | |
| 78 | DCHECK_NE(arg_iter, arg_end); |
| 79 | arg_iter->setName("method"); |
| 80 | llvm::Value* method_object_addr = arg_iter++; |
| 81 | |
TDYa127 | 9000a84 | 2012-03-23 17:43:08 -0700 | [diff] [blame] | 82 | if (!is_static) { |
| 83 | // Non-static, the second argument is "this object" |
| 84 | this_object_or_class_object = arg_iter++; |
| 85 | } else { |
| 86 | // Load class object |
| 87 | this_object_or_class_object = |
TDYa127 | 5bb8601 | 2012-04-11 05:57:28 -0700 | [diff] [blame] | 88 | irb_.LoadFromObjectOffset(method_object_addr, |
| 89 | Method::DeclaringClassOffset().Int32Value(), |
TDYa127 | aba6112 | 2012-05-04 18:28:36 -0700 | [diff] [blame] | 90 | irb_.getJObjectTy(), |
TDYa127 | d3e24c2 | 2012-05-05 20:54:19 -0700 | [diff] [blame] | 91 | kTBAAConstJObject); |
TDYa127 | 9000a84 | 2012-03-23 17:43:08 -0700 | [diff] [blame] | 92 | } |
| 93 | // Actual argument (ignore method and this object) |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 94 | arg_begin = arg_iter; |
| 95 | |
| 96 | // Count the number of Object* arguments |
TDYa127 | 9000a84 | 2012-03-23 17:43:08 -0700 | [diff] [blame] | 97 | uint32_t sirt_size = 1; |
| 98 | // "this" object pointer for non-static |
| 99 | // "class" object pointer for static |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 100 | for (unsigned i = 0; arg_iter != arg_end; ++i, ++arg_iter) { |
TDYa127 | 67ae8ff | 2012-05-02 19:08:02 -0700 | [diff] [blame] | 101 | #if !defined(NDEBUG) |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 102 | arg_iter->setName(StringPrintf("a%u", i)); |
TDYa127 | 67ae8ff | 2012-05-02 19:08:02 -0700 | [diff] [blame] | 103 | #endif |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 104 | if (arg_iter->getType() == irb_.getJObjectTy()) { |
| 105 | ++sirt_size; |
| 106 | } |
| 107 | } |
| 108 | |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 109 | // Shadow stack |
| 110 | llvm::StructType* shadow_frame_type = irb_.getShadowFrameTy(sirt_size); |
TDYa127 | 9000a84 | 2012-03-23 17:43:08 -0700 | [diff] [blame] | 111 | llvm::AllocaInst* shadow_frame_ = irb_.CreateAlloca(shadow_frame_type); |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 112 | |
TDYa127 | c8dc101 | 2012-04-19 07:03:33 -0700 | [diff] [blame] | 113 | // Store the dex pc |
TDYa127 | 5bb8601 | 2012-04-11 05:57:28 -0700 | [diff] [blame] | 114 | irb_.StoreToObjectOffset(shadow_frame_, |
TDYa127 | c8dc101 | 2012-04-19 07:03:33 -0700 | [diff] [blame] | 115 | ShadowFrame::DexPCOffset(), |
Ian Rogers | 0399dde | 2012-06-06 17:09:28 -0700 | [diff] [blame] | 116 | irb_.getInt32(DexFile::kDexNoIndex), |
TDYa127 | d955bec | 2012-05-11 10:54:02 -0700 | [diff] [blame] | 117 | kTBAAShadowFrame); |
TDYa127 | a0f746b | 2012-04-09 22:46:30 -0700 | [diff] [blame] | 118 | |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 119 | // Push the shadow frame |
| 120 | llvm::Value* shadow_frame_upcast = irb_.CreateConstGEP2_32(shadow_frame_, 0, 0); |
TDYa127 | 0de52be | 2012-05-27 20:49:31 -0700 | [diff] [blame] | 121 | llvm::Value* old_shadow_frame = |
TDYa127 | de479be | 2012-05-31 08:03:26 -0700 | [diff] [blame] | 122 | irb_.Runtime().EmitPushShadowFrame(shadow_frame_upcast, method_object_addr, sirt_size); |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 123 | |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 124 | // Get JNIEnv |
TDYa127 | 5bb8601 | 2012-04-11 05:57:28 -0700 | [diff] [blame] | 125 | llvm::Value* jni_env_object_addr = |
TDYa127 | de479be | 2012-05-31 08:03:26 -0700 | [diff] [blame] | 126 | irb_.Runtime().EmitLoadFromThreadOffset(Thread::JniEnvOffset().Int32Value(), |
| 127 | irb_.getJObjectTy(), |
| 128 | kTBAAJRuntime); |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 129 | |
| 130 | // Set thread state to kNative |
TDYa127 | de479be | 2012-05-31 08:03:26 -0700 | [diff] [blame] | 131 | irb_.Runtime().EmitStoreToThreadOffset(Thread::StateOffset().Int32Value(), |
| 132 | irb_.getInt32(kNative), |
| 133 | kTBAARuntimeInfo); |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 134 | |
| 135 | // Get callee code_addr |
TDYa127 | 0b686e5 | 2012-04-09 22:43:35 -0700 | [diff] [blame] | 136 | llvm::Value* code_addr = |
TDYa127 | 5bb8601 | 2012-04-11 05:57:28 -0700 | [diff] [blame] | 137 | irb_.LoadFromObjectOffset(method_object_addr, |
| 138 | Method::NativeMethodOffset().Int32Value(), |
TDYa127 | aba6112 | 2012-05-04 18:28:36 -0700 | [diff] [blame] | 139 | GetFunctionType(method_idx_, is_static, true)->getPointerTo(), |
TDYa127 | 8ca1005 | 2012-05-05 19:57:06 -0700 | [diff] [blame] | 140 | kTBAAJRuntime); |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 141 | |
| 142 | // Load actual parameters |
| 143 | std::vector<llvm::Value*> args; |
| 144 | |
TDYa127 | 31a9933 | 2012-03-19 02:58:02 -0700 | [diff] [blame] | 145 | // The 1st parameter: JNIEnv* |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 146 | args.push_back(jni_env_object_addr); |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 147 | |
TDYa127 | 31a9933 | 2012-03-19 02:58:02 -0700 | [diff] [blame] | 148 | // Variables for GetElementPtr |
| 149 | llvm::Value* gep_index[] = { |
| 150 | irb_.getInt32(0), // No displacement for shadow frame pointer |
| 151 | irb_.getInt32(1), // SIRT |
| 152 | NULL, |
| 153 | }; |
| 154 | |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 155 | size_t sirt_member_index = 0; |
| 156 | |
TDYa127 | 9000a84 | 2012-03-23 17:43:08 -0700 | [diff] [blame] | 157 | // Store the "this object or class object" to SIRT |
| 158 | gep_index[2] = irb_.getInt32(sirt_member_index++); |
| 159 | llvm::Value* sirt_field_addr = irb_.CreateGEP(shadow_frame_, gep_index); |
TDYa127 | d955bec | 2012-05-11 10:54:02 -0700 | [diff] [blame] | 160 | irb_.CreateStore(this_object_or_class_object, sirt_field_addr, kTBAAShadowFrame); |
TDYa127 | 9000a84 | 2012-03-23 17:43:08 -0700 | [diff] [blame] | 161 | // Push the "this object or class object" to out args |
| 162 | args.push_back(irb_.CreateBitCast(sirt_field_addr, irb_.getJObjectTy())); |
TDYa127 | 31a9933 | 2012-03-19 02:58:02 -0700 | [diff] [blame] | 163 | // Store arguments to SIRT, and push back to args |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 164 | for (arg_iter = arg_begin; arg_iter != arg_end; ++arg_iter) { |
| 165 | if (arg_iter->getType() == irb_.getJObjectTy()) { |
TDYa127 | 31a9933 | 2012-03-19 02:58:02 -0700 | [diff] [blame] | 166 | // Store the reference type arguments to SIRT |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 167 | gep_index[2] = irb_.getInt32(sirt_member_index++); |
| 168 | llvm::Value* sirt_field_addr = irb_.CreateGEP(shadow_frame_, gep_index); |
TDYa127 | d955bec | 2012-05-11 10:54:02 -0700 | [diff] [blame] | 169 | irb_.CreateStore(arg_iter, sirt_field_addr, kTBAAShadowFrame); |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 170 | // Note null is placed in the SIRT but the jobject passed to the native code must be null |
| 171 | // (not a pointer into the SIRT as with regular references). |
| 172 | llvm::Value* equal_null = irb_.CreateICmpEQ(arg_iter, irb_.getJNull()); |
| 173 | llvm::Value* arg = |
| 174 | irb_.CreateSelect(equal_null, |
| 175 | irb_.getJNull(), |
| 176 | irb_.CreateBitCast(sirt_field_addr, irb_.getJObjectTy())); |
| 177 | args.push_back(arg); |
| 178 | } else { |
| 179 | args.push_back(arg_iter); |
| 180 | } |
| 181 | } |
| 182 | |
TDYa127 | 9000a84 | 2012-03-23 17:43:08 -0700 | [diff] [blame] | 183 | // Acquire lock for synchronized methods. |
| 184 | if (is_synchronized) { |
TDYa127 | b08ed12 | 2012-06-05 23:51:19 -0700 | [diff] [blame] | 185 | irb_.Runtime().EmitLockObject(this_object_or_class_object); |
TDYa127 | 9000a84 | 2012-03-23 17:43:08 -0700 | [diff] [blame] | 186 | } |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 187 | |
| 188 | // saved_local_ref_cookie = env->local_ref_cookie |
| 189 | llvm::Value* saved_local_ref_cookie = |
TDYa127 | 5bb8601 | 2012-04-11 05:57:28 -0700 | [diff] [blame] | 190 | irb_.LoadFromObjectOffset(jni_env_object_addr, |
| 191 | JNIEnvExt::LocalRefCookieOffset().Int32Value(), |
TDYa127 | aba6112 | 2012-05-04 18:28:36 -0700 | [diff] [blame] | 192 | irb_.getInt32Ty(), |
| 193 | kTBAARuntimeInfo); |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 194 | |
| 195 | // env->local_ref_cookie = env->locals.segment_state |
| 196 | llvm::Value* segment_state = |
TDYa127 | 5bb8601 | 2012-04-11 05:57:28 -0700 | [diff] [blame] | 197 | irb_.LoadFromObjectOffset(jni_env_object_addr, |
| 198 | JNIEnvExt::SegmentStateOffset().Int32Value(), |
TDYa127 | aba6112 | 2012-05-04 18:28:36 -0700 | [diff] [blame] | 199 | irb_.getInt32Ty(), |
| 200 | kTBAARuntimeInfo); |
TDYa127 | 5bb8601 | 2012-04-11 05:57:28 -0700 | [diff] [blame] | 201 | irb_.StoreToObjectOffset(jni_env_object_addr, |
| 202 | JNIEnvExt::LocalRefCookieOffset().Int32Value(), |
TDYa127 | aba6112 | 2012-05-04 18:28:36 -0700 | [diff] [blame] | 203 | segment_state, |
| 204 | kTBAARuntimeInfo); |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 205 | |
| 206 | |
| 207 | // Call!!! |
| 208 | llvm::Value* retval = irb_.CreateCall(code_addr, args); |
| 209 | |
| 210 | |
TDYa127 | 9000a84 | 2012-03-23 17:43:08 -0700 | [diff] [blame] | 211 | // Release lock for synchronized methods. |
| 212 | if (is_synchronized) { |
TDYa127 | b08ed12 | 2012-06-05 23:51:19 -0700 | [diff] [blame] | 213 | irb_.Runtime().EmitUnlockObject(this_object_or_class_object); |
TDYa127 | 9000a84 | 2012-03-23 17:43:08 -0700 | [diff] [blame] | 214 | } |
| 215 | |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 216 | // Set thread state to kRunnable |
TDYa127 | de479be | 2012-05-31 08:03:26 -0700 | [diff] [blame] | 217 | irb_.Runtime().EmitStoreToThreadOffset(Thread::StateOffset().Int32Value(), |
| 218 | irb_.getInt32(kRunnable), |
| 219 | kTBAARuntimeInfo); |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 220 | |
TDYa127 | 69eafaa | 2012-04-17 10:51:25 -0700 | [diff] [blame] | 221 | // Do a suspend check |
TDYa127 | de479be | 2012-05-31 08:03:26 -0700 | [diff] [blame] | 222 | irb_.Runtime().EmitTestSuspend(); |
TDYa127 | 69eafaa | 2012-04-17 10:51:25 -0700 | [diff] [blame] | 223 | |
TDYa127 | 9000a84 | 2012-03-23 17:43:08 -0700 | [diff] [blame] | 224 | if (return_shorty == 'L') { |
TDYa127 | b08ed12 | 2012-06-05 23:51:19 -0700 | [diff] [blame] | 225 | // Get thread object |
| 226 | llvm::Value* thread_object_addr = irb_.Runtime().EmitGetCurrentThread(); |
| 227 | |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 228 | // If the return value is reference, it may point to SIRT, we should decode it. |
TDYa127 | 0b686e5 | 2012-04-09 22:43:35 -0700 | [diff] [blame] | 229 | retval = irb_.CreateCall2(irb_.GetRuntime(DecodeJObjectInThread), |
TDYa127 | 31a9933 | 2012-03-19 02:58:02 -0700 | [diff] [blame] | 230 | thread_object_addr, |
| 231 | retval); |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 232 | } |
| 233 | |
| 234 | // env->locals.segment_state = env->local_ref_cookie |
| 235 | llvm::Value* local_ref_cookie = |
TDYa127 | 5bb8601 | 2012-04-11 05:57:28 -0700 | [diff] [blame] | 236 | irb_.LoadFromObjectOffset(jni_env_object_addr, |
| 237 | JNIEnvExt::LocalRefCookieOffset().Int32Value(), |
TDYa127 | aba6112 | 2012-05-04 18:28:36 -0700 | [diff] [blame] | 238 | irb_.getInt32Ty(), |
| 239 | kTBAARuntimeInfo); |
TDYa127 | 5bb8601 | 2012-04-11 05:57:28 -0700 | [diff] [blame] | 240 | irb_.StoreToObjectOffset(jni_env_object_addr, |
| 241 | JNIEnvExt::SegmentStateOffset().Int32Value(), |
TDYa127 | aba6112 | 2012-05-04 18:28:36 -0700 | [diff] [blame] | 242 | local_ref_cookie, |
| 243 | kTBAARuntimeInfo); |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 244 | |
| 245 | // env->local_ref_cookie = saved_local_ref_cookie |
TDYa127 | 5bb8601 | 2012-04-11 05:57:28 -0700 | [diff] [blame] | 246 | irb_.StoreToObjectOffset(jni_env_object_addr, |
| 247 | JNIEnvExt::LocalRefCookieOffset().Int32Value(), |
TDYa127 | aba6112 | 2012-05-04 18:28:36 -0700 | [diff] [blame] | 248 | saved_local_ref_cookie, |
| 249 | kTBAARuntimeInfo); |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 250 | |
| 251 | // Pop the shadow frame |
TDYa127 | de479be | 2012-05-31 08:03:26 -0700 | [diff] [blame] | 252 | irb_.Runtime().EmitPopShadowFrame(old_shadow_frame); |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 253 | |
| 254 | // Return! |
TDYa127 | 9000a84 | 2012-03-23 17:43:08 -0700 | [diff] [blame] | 255 | if (return_shorty != 'V') { |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 256 | irb_.CreateRet(retval); |
| 257 | } else { |
| 258 | irb_.CreateRetVoid(); |
| 259 | } |
| 260 | |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 261 | // Verify the generated bitcode |
TDYa127 | 853cd09 | 2012-04-21 22:15:31 -0700 | [diff] [blame] | 262 | VERIFY_LLVM_FUNCTION(*func_); |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 263 | |
Logan Chien | 971bf3f | 2012-05-01 15:47:55 +0800 | [diff] [blame^] | 264 | cunit_->Materialize(); |
TDYa127 | 0200d07 | 2012-04-17 20:55:08 -0700 | [diff] [blame] | 265 | |
Logan Chien | 971bf3f | 2012-05-01 15:47:55 +0800 | [diff] [blame^] | 266 | return new CompiledMethod(cunit_->GetInstructionSet(), |
| 267 | cunit_->GetCompiledCode()); |
Logan Chien | 88894ee | 2012-02-13 16:42:22 +0800 | [diff] [blame] | 268 | } |
| 269 | |
| 270 | |
| 271 | void JniCompiler::CreateFunction() { |
| 272 | // LLVM function name |
Logan Chien | 971bf3f | 2012-05-01 15:47:55 +0800 | [diff] [blame^] | 273 | std::string func_name(ElfFuncName(cunit_->GetIndex())); |
Logan Chien | 88894ee | 2012-02-13 16:42:22 +0800 | [diff] [blame] | 274 | |
| 275 | // Get function type |
| 276 | llvm::FunctionType* func_type = |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 277 | GetFunctionType(method_idx_, method_->IsStatic(), false); |
Logan Chien | 88894ee | 2012-02-13 16:42:22 +0800 | [diff] [blame] | 278 | |
| 279 | // Create function |
| 280 | func_ = llvm::Function::Create(func_type, llvm::Function::ExternalLinkage, |
| 281 | func_name, module_); |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 282 | |
| 283 | // Create basic block |
TDYa127 | 9000a84 | 2012-03-23 17:43:08 -0700 | [diff] [blame] | 284 | llvm::BasicBlock* basic_block = llvm::BasicBlock::Create(*context_, "B0", func_); |
| 285 | |
| 286 | // Set insert point |
| 287 | irb_.SetInsertPoint(basic_block); |
Logan Chien | 88894ee | 2012-02-13 16:42:22 +0800 | [diff] [blame] | 288 | } |
| 289 | |
| 290 | |
| 291 | llvm::FunctionType* JniCompiler::GetFunctionType(uint32_t method_idx, |
TDYa127 | 9000a84 | 2012-03-23 17:43:08 -0700 | [diff] [blame] | 292 | bool is_static, bool is_native_function) { |
Logan Chien | 88894ee | 2012-02-13 16:42:22 +0800 | [diff] [blame] | 293 | // Get method signature |
| 294 | DexFile::MethodId const& method_id = dex_file_->GetMethodId(method_idx); |
| 295 | |
| 296 | uint32_t shorty_size; |
| 297 | char const* shorty = dex_file_->GetMethodShorty(method_id, &shorty_size); |
| 298 | CHECK_GE(shorty_size, 1u); |
| 299 | |
| 300 | // Get return type |
| 301 | llvm::Type* ret_type = irb_.getJType(shorty[0], kAccurate); |
| 302 | |
| 303 | // Get argument type |
| 304 | std::vector<llvm::Type*> args_type; |
| 305 | |
| 306 | args_type.push_back(irb_.getJObjectTy()); // method object pointer |
| 307 | |
TDYa127 | 9000a84 | 2012-03-23 17:43:08 -0700 | [diff] [blame] | 308 | if (!is_static || is_native_function) { |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 309 | // "this" object pointer for non-static |
TDYa127 | 9000a84 | 2012-03-23 17:43:08 -0700 | [diff] [blame] | 310 | // "class" object pointer for static naitve |
TDYa127 | 28f1a14 | 2012-03-15 21:51:52 -0700 | [diff] [blame] | 311 | args_type.push_back(irb_.getJType('L', kAccurate)); |
Logan Chien | 88894ee | 2012-02-13 16:42:22 +0800 | [diff] [blame] | 312 | } |
| 313 | |
| 314 | for (uint32_t i = 1; i < shorty_size; ++i) { |
| 315 | args_type.push_back(irb_.getJType(shorty[i], kAccurate)); |
| 316 | } |
| 317 | |
| 318 | return llvm::FunctionType::get(ret_type, args_type, false); |
| 319 | } |
| 320 | |
Logan Chien | 88894ee | 2012-02-13 16:42:22 +0800 | [diff] [blame] | 321 | } // namespace compiler_llvm |
| 322 | } // namespace art |