blob: 8b5f1be8c30ff2fe5072b7edfeff8d349aa82b9d [file] [log] [blame]
Logan Chien88894ee2012-02-13 16:42:22 +08001/*
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
Elliott Hughes07ed66b2012-12-12 18:34:25 -080019#include "base/logging.h"
Logan Chien88894ee2012-02-13 16:42:22 +080020#include "class_linker.h"
21#include "compiled_method.h"
Ian Rogers1212a022013-03-04 10:48:41 -080022#include "compiler/driver/compiler_driver.h"
Logan Chien88894ee2012-02-13 16:42:22 +080023#include "compiler_llvm.h"
24#include "ir_builder.h"
Brian Carlstrom641ce032013-01-31 15:21:37 -080025#include "llvm_compilation_unit.h"
Ian Rogers98573f92013-01-30 17:26:32 -080026#include "mirror/abstract_method.h"
Logan Chien88894ee2012-02-13 16:42:22 +080027#include "oat_compilation_unit.h"
Logan Chien88894ee2012-02-13 16:42:22 +080028#include "runtime.h"
TDYa12728f1a142012-03-15 21:51:52 -070029#include "runtime_support_func.h"
Ian Rogers785e6182013-01-30 18:28:29 -080030#include "stack.h"
Ian Rogers6cbd3842013-01-30 18:53:39 -080031#include "thread.h"
Logan Chien88894ee2012-02-13 16:42:22 +080032#include "utils_llvm.h"
33
TDYa12728f1a142012-03-15 21:51:52 -070034#include <llvm/BasicBlock.h>
Logan Chien88894ee2012-02-13 16:42:22 +080035#include <llvm/DerivedTypes.h>
36#include <llvm/Function.h>
TDYa1273d71d802012-08-15 03:47:03 -070037#include <llvm/ADT/SmallVector.h>
Logan Chien88894ee2012-02-13 16:42:22 +080038#include <llvm/Type.h>
39
40namespace art {
41namespace compiler_llvm {
42
TDYa1270b686e52012-04-09 22:43:35 -070043using namespace runtime_support;
Logan Chien88894ee2012-02-13 16:42:22 +080044
Brian Carlstrom641ce032013-01-31 15:21:37 -080045JniCompiler::JniCompiler(LlvmCompilationUnit* cunit,
Ian Rogers1212a022013-03-04 10:48:41 -080046 const CompilerDriver& driver,
Logan Chien88894ee2012-02-13 16:42:22 +080047 OatCompilationUnit* oat_compilation_unit)
Ian Rogers1212a022013-03-04 10:48:41 -080048: cunit_(cunit), driver_(&driver), module_(cunit_->GetModule()),
Logan Chien8b977d32012-02-21 19:14:55 +080049 context_(cunit_->GetLLVMContext()), irb_(*cunit_->GetIRBuilder()),
Logan Chien88894ee2012-02-13 16:42:22 +080050 oat_compilation_unit_(oat_compilation_unit),
51 access_flags_(oat_compilation_unit->access_flags_),
52 method_idx_(oat_compilation_unit->method_idx_),
Ian Rogers1212a022013-03-04 10:48:41 -080053 dex_file_(oat_compilation_unit->dex_file_),
54 func_(NULL), elf_func_idx_(0) {
Logan Chien88894ee2012-02-13 16:42:22 +080055
56 // Check: Ensure that JNI compiler will only get "native" method
57 CHECK((access_flags_ & kAccNative) != 0);
58}
59
60
61CompiledMethod* JniCompiler::Compile() {
TDYa1279000a842012-03-23 17:43:08 -070062 const bool is_static = (access_flags_ & kAccStatic) != 0;
63 const bool is_synchronized = (access_flags_ & kAccSynchronized) != 0;
64 DexFile::MethodId const& method_id = dex_file_->GetMethodId(method_idx_);
65 char const return_shorty = dex_file_->GetMethodShorty(method_id)[0];
66 llvm::Value* this_object_or_class_object;
TDYa12728f1a142012-03-15 21:51:52 -070067
Logan Chien88894ee2012-02-13 16:42:22 +080068 CreateFunction();
69
TDYa12728f1a142012-03-15 21:51:52 -070070 // Set argument name
71 llvm::Function::arg_iterator arg_begin(func_->arg_begin());
72 llvm::Function::arg_iterator arg_end(func_->arg_end());
73 llvm::Function::arg_iterator arg_iter(arg_begin);
74
75 DCHECK_NE(arg_iter, arg_end);
76 arg_iter->setName("method");
77 llvm::Value* method_object_addr = arg_iter++;
78
TDYa1279000a842012-03-23 17:43:08 -070079 if (!is_static) {
80 // Non-static, the second argument is "this object"
81 this_object_or_class_object = arg_iter++;
82 } else {
83 // Load class object
84 this_object_or_class_object =
TDYa1275bb86012012-04-11 05:57:28 -070085 irb_.LoadFromObjectOffset(method_object_addr,
Ian Rogers98573f92013-01-30 17:26:32 -080086 mirror::AbstractMethod::DeclaringClassOffset().Int32Value(),
TDYa127aba61122012-05-04 18:28:36 -070087 irb_.getJObjectTy(),
TDYa127d3e24c22012-05-05 20:54:19 -070088 kTBAAConstJObject);
TDYa1279000a842012-03-23 17:43:08 -070089 }
90 // Actual argument (ignore method and this object)
TDYa12728f1a142012-03-15 21:51:52 -070091 arg_begin = arg_iter;
92
93 // Count the number of Object* arguments
TDYa1279000a842012-03-23 17:43:08 -070094 uint32_t sirt_size = 1;
95 // "this" object pointer for non-static
96 // "class" object pointer for static
TDYa12728f1a142012-03-15 21:51:52 -070097 for (unsigned i = 0; arg_iter != arg_end; ++i, ++arg_iter) {
TDYa12767ae8ff2012-05-02 19:08:02 -070098#if !defined(NDEBUG)
TDYa12728f1a142012-03-15 21:51:52 -070099 arg_iter->setName(StringPrintf("a%u", i));
TDYa12767ae8ff2012-05-02 19:08:02 -0700100#endif
TDYa12728f1a142012-03-15 21:51:52 -0700101 if (arg_iter->getType() == irb_.getJObjectTy()) {
102 ++sirt_size;
103 }
104 }
105
TDYa12728f1a142012-03-15 21:51:52 -0700106 // Shadow stack
TDYa127ce4cc0d2012-11-18 16:59:53 -0800107 llvm::StructType* shadow_frame_type = irb_.getShadowFrameTy(sirt_size);
TDYa1279000a842012-03-23 17:43:08 -0700108 llvm::AllocaInst* shadow_frame_ = irb_.CreateAlloca(shadow_frame_type);
TDYa12728f1a142012-03-15 21:51:52 -0700109
TDYa127c8dc1012012-04-19 07:03:33 -0700110 // Store the dex pc
TDYa1275bb86012012-04-11 05:57:28 -0700111 irb_.StoreToObjectOffset(shadow_frame_,
TDYa127c8dc1012012-04-19 07:03:33 -0700112 ShadowFrame::DexPCOffset(),
Ian Rogers0399dde2012-06-06 17:09:28 -0700113 irb_.getInt32(DexFile::kDexNoIndex),
TDYa127d955bec2012-05-11 10:54:02 -0700114 kTBAAShadowFrame);
TDYa127a0f746b2012-04-09 22:46:30 -0700115
TDYa12728f1a142012-03-15 21:51:52 -0700116 // Push the shadow frame
117 llvm::Value* shadow_frame_upcast = irb_.CreateConstGEP2_32(shadow_frame_, 0, 0);
TDYa1270de52be2012-05-27 20:49:31 -0700118 llvm::Value* old_shadow_frame =
TDYa127ce4cc0d2012-11-18 16:59:53 -0800119 irb_.Runtime().EmitPushShadowFrame(shadow_frame_upcast, method_object_addr, sirt_size);
TDYa12728f1a142012-03-15 21:51:52 -0700120
TDYa12728f1a142012-03-15 21:51:52 -0700121 // Get JNIEnv
TDYa1275bb86012012-04-11 05:57:28 -0700122 llvm::Value* jni_env_object_addr =
TDYa127de479be2012-05-31 08:03:26 -0700123 irb_.Runtime().EmitLoadFromThreadOffset(Thread::JniEnvOffset().Int32Value(),
TDYa1273d71d802012-08-15 03:47:03 -0700124 irb_.getJObjectTy(),
TDYa127ce4cc0d2012-11-18 16:59:53 -0800125 kTBAARuntimeInfo);
TDYa12728f1a142012-03-15 21:51:52 -0700126
127 // Get callee code_addr
TDYa1270b686e52012-04-09 22:43:35 -0700128 llvm::Value* code_addr =
TDYa1275bb86012012-04-11 05:57:28 -0700129 irb_.LoadFromObjectOffset(method_object_addr,
Ian Rogers98573f92013-01-30 17:26:32 -0800130 mirror::AbstractMethod::NativeMethodOffset().Int32Value(),
TDYa127aba61122012-05-04 18:28:36 -0700131 GetFunctionType(method_idx_, is_static, true)->getPointerTo(),
TDYa127ce4cc0d2012-11-18 16:59:53 -0800132 kTBAARuntimeInfo);
TDYa12728f1a142012-03-15 21:51:52 -0700133
134 // Load actual parameters
135 std::vector<llvm::Value*> args;
136
TDYa12731a99332012-03-19 02:58:02 -0700137 // The 1st parameter: JNIEnv*
TDYa12728f1a142012-03-15 21:51:52 -0700138 args.push_back(jni_env_object_addr);
TDYa12728f1a142012-03-15 21:51:52 -0700139
TDYa12731a99332012-03-19 02:58:02 -0700140 // Variables for GetElementPtr
141 llvm::Value* gep_index[] = {
142 irb_.getInt32(0), // No displacement for shadow frame pointer
143 irb_.getInt32(1), // SIRT
144 NULL,
145 };
146
TDYa12728f1a142012-03-15 21:51:52 -0700147 size_t sirt_member_index = 0;
148
TDYa1279000a842012-03-23 17:43:08 -0700149 // Store the "this object or class object" to SIRT
150 gep_index[2] = irb_.getInt32(sirt_member_index++);
TDYa127ce4cc0d2012-11-18 16:59:53 -0800151 llvm::Value* sirt_field_addr = irb_.CreateBitCast(irb_.CreateGEP(shadow_frame_, gep_index),
152 irb_.getJObjectTy()->getPointerTo());
TDYa127d955bec2012-05-11 10:54:02 -0700153 irb_.CreateStore(this_object_or_class_object, sirt_field_addr, kTBAAShadowFrame);
TDYa1279000a842012-03-23 17:43:08 -0700154 // Push the "this object or class object" to out args
TDYa1273d71d802012-08-15 03:47:03 -0700155 this_object_or_class_object = irb_.CreateBitCast(sirt_field_addr, irb_.getJObjectTy());
156 args.push_back(this_object_or_class_object);
TDYa12731a99332012-03-19 02:58:02 -0700157 // Store arguments to SIRT, and push back to args
TDYa12728f1a142012-03-15 21:51:52 -0700158 for (arg_iter = arg_begin; arg_iter != arg_end; ++arg_iter) {
159 if (arg_iter->getType() == irb_.getJObjectTy()) {
TDYa12731a99332012-03-19 02:58:02 -0700160 // Store the reference type arguments to SIRT
TDYa12728f1a142012-03-15 21:51:52 -0700161 gep_index[2] = irb_.getInt32(sirt_member_index++);
TDYa127ce4cc0d2012-11-18 16:59:53 -0800162 llvm::Value* sirt_field_addr = irb_.CreateBitCast(irb_.CreateGEP(shadow_frame_, gep_index),
163 irb_.getJObjectTy()->getPointerTo());
TDYa127d955bec2012-05-11 10:54:02 -0700164 irb_.CreateStore(arg_iter, sirt_field_addr, kTBAAShadowFrame);
TDYa12728f1a142012-03-15 21:51:52 -0700165 // Note null is placed in the SIRT but the jobject passed to the native code must be null
166 // (not a pointer into the SIRT as with regular references).
167 llvm::Value* equal_null = irb_.CreateICmpEQ(arg_iter, irb_.getJNull());
168 llvm::Value* arg =
169 irb_.CreateSelect(equal_null,
170 irb_.getJNull(),
171 irb_.CreateBitCast(sirt_field_addr, irb_.getJObjectTy()));
172 args.push_back(arg);
173 } else {
174 args.push_back(arg_iter);
175 }
176 }
177
TDYa1273d71d802012-08-15 03:47:03 -0700178 llvm::Value* saved_local_ref_cookie;
179 { // JniMethodStart
180 RuntimeId func_id = is_synchronized ? JniMethodStartSynchronized
181 : JniMethodStart;
182 llvm::SmallVector<llvm::Value*, 2> args;
183 if (is_synchronized) {
184 args.push_back(this_object_or_class_object);
185 }
186 args.push_back(irb_.Runtime().EmitGetCurrentThread());
187 saved_local_ref_cookie =
188 irb_.CreateCall(irb_.GetRuntime(func_id), args);
TDYa1279000a842012-03-23 17:43:08 -0700189 }
TDYa12728f1a142012-03-15 21:51:52 -0700190
TDYa12728f1a142012-03-15 21:51:52 -0700191 // Call!!!
192 llvm::Value* retval = irb_.CreateCall(code_addr, args);
193
TDYa1273d71d802012-08-15 03:47:03 -0700194 { // JniMethodEnd
195 bool is_return_ref = return_shorty == 'L';
196 RuntimeId func_id =
197 is_return_ref ? (is_synchronized ? JniMethodEndWithReferenceSynchronized
198 : JniMethodEndWithReference)
199 : (is_synchronized ? JniMethodEndSynchronized
200 : JniMethodEnd);
201 llvm::SmallVector<llvm::Value*, 4> args;
202 if (is_return_ref) {
203 args.push_back(retval);
204 }
205 args.push_back(saved_local_ref_cookie);
206 if (is_synchronized) {
207 args.push_back(this_object_or_class_object);
208 }
209 args.push_back(irb_.Runtime().EmitGetCurrentThread());
TDYa12728f1a142012-03-15 21:51:52 -0700210
TDYa1273d71d802012-08-15 03:47:03 -0700211 llvm::Value* decoded_jobject =
212 irb_.CreateCall(irb_.GetRuntime(func_id), args);
213
214 // Return decoded jobject if return reference.
215 if (is_return_ref) {
216 retval = decoded_jobject;
217 }
TDYa1279000a842012-03-23 17:43:08 -0700218 }
219
TDYa12728f1a142012-03-15 21:51:52 -0700220 // Pop the shadow frame
TDYa127de479be2012-05-31 08:03:26 -0700221 irb_.Runtime().EmitPopShadowFrame(old_shadow_frame);
TDYa12728f1a142012-03-15 21:51:52 -0700222
223 // Return!
TDYa1279000a842012-03-23 17:43:08 -0700224 if (return_shorty != 'V') {
TDYa12728f1a142012-03-15 21:51:52 -0700225 irb_.CreateRet(retval);
226 } else {
227 irb_.CreateRetVoid();
228 }
229
TDYa12728f1a142012-03-15 21:51:52 -0700230 // Verify the generated bitcode
TDYa127853cd092012-04-21 22:15:31 -0700231 VERIFY_LLVM_FUNCTION(*func_);
TDYa12728f1a142012-03-15 21:51:52 -0700232
Logan Chien971bf3f2012-05-01 15:47:55 +0800233 cunit_->Materialize();
TDYa1270200d072012-04-17 20:55:08 -0700234
Logan Chien971bf3f2012-05-01 15:47:55 +0800235 return new CompiledMethod(cunit_->GetInstructionSet(),
236 cunit_->GetCompiledCode());
Logan Chien88894ee2012-02-13 16:42:22 +0800237}
238
239
240void JniCompiler::CreateFunction() {
241 // LLVM function name
Logan Chien971bf3f2012-05-01 15:47:55 +0800242 std::string func_name(ElfFuncName(cunit_->GetIndex()));
Logan Chien88894ee2012-02-13 16:42:22 +0800243
Shih-wei Liaocd05a622012-08-15 00:02:05 -0700244 const bool is_static = (access_flags_ & kAccStatic) != 0;
245
Logan Chien88894ee2012-02-13 16:42:22 +0800246 // Get function type
247 llvm::FunctionType* func_type =
Shih-wei Liaocd05a622012-08-15 00:02:05 -0700248 GetFunctionType(method_idx_, is_static, false);
Logan Chien88894ee2012-02-13 16:42:22 +0800249
250 // Create function
251 func_ = llvm::Function::Create(func_type, llvm::Function::ExternalLinkage,
252 func_name, module_);
TDYa12728f1a142012-03-15 21:51:52 -0700253
254 // Create basic block
TDYa1279000a842012-03-23 17:43:08 -0700255 llvm::BasicBlock* basic_block = llvm::BasicBlock::Create(*context_, "B0", func_);
256
257 // Set insert point
258 irb_.SetInsertPoint(basic_block);
Logan Chien88894ee2012-02-13 16:42:22 +0800259}
260
261
262llvm::FunctionType* JniCompiler::GetFunctionType(uint32_t method_idx,
TDYa1279000a842012-03-23 17:43:08 -0700263 bool is_static, bool is_native_function) {
Logan Chien88894ee2012-02-13 16:42:22 +0800264 // Get method signature
265 DexFile::MethodId const& method_id = dex_file_->GetMethodId(method_idx);
266
267 uint32_t shorty_size;
Logan Chien12584172012-07-10 04:07:28 -0700268 const char* shorty = dex_file_->GetMethodShorty(method_id, &shorty_size);
Logan Chien88894ee2012-02-13 16:42:22 +0800269 CHECK_GE(shorty_size, 1u);
270
271 // Get return type
Ian Rogers76ae4fe2013-02-27 16:03:41 -0800272 llvm::Type* ret_type = irb_.getJType(shorty[0]);
Logan Chien88894ee2012-02-13 16:42:22 +0800273
274 // Get argument type
275 std::vector<llvm::Type*> args_type;
276
277 args_type.push_back(irb_.getJObjectTy()); // method object pointer
278
TDYa1279000a842012-03-23 17:43:08 -0700279 if (!is_static || is_native_function) {
TDYa12728f1a142012-03-15 21:51:52 -0700280 // "this" object pointer for non-static
TDYa1279000a842012-03-23 17:43:08 -0700281 // "class" object pointer for static naitve
Ian Rogers76ae4fe2013-02-27 16:03:41 -0800282 args_type.push_back(irb_.getJType('L'));
Logan Chien88894ee2012-02-13 16:42:22 +0800283 }
284
285 for (uint32_t i = 1; i < shorty_size; ++i) {
Ian Rogers76ae4fe2013-02-27 16:03:41 -0800286 args_type.push_back(irb_.getJType(shorty[i]));
Logan Chien88894ee2012-02-13 16:42:22 +0800287 }
288
289 return llvm::FunctionType::get(ret_type, args_type, false);
290}
291
Logan Chien88894ee2012-02-13 16:42:22 +0800292} // namespace compiler_llvm
293} // namespace art