blob: c1152ab96e05377f22960cb05a9391b980e9e8ae [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
19#include "class_linker.h"
Logan Chien8b977d32012-02-21 19:14:55 +080020#include "compilation_unit.h"
Logan Chien88894ee2012-02-13 16:42:22 +080021#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"
TDYa12728f1a142012-03-15 21:51:52 -070029#include "runtime_support_func.h"
TDYa12731a99332012-03-19 02:58:02 -070030#include "shadow_frame.h"
Logan Chien88894ee2012-02-13 16:42:22 +080031#include "utils_llvm.h"
32
TDYa12728f1a142012-03-15 21:51:52 -070033#include <llvm/Analysis/Verifier.h>
34#include <llvm/BasicBlock.h>
Logan Chien88894ee2012-02-13 16:42:22 +080035#include <llvm/DerivedTypes.h>
36#include <llvm/Function.h>
37#include <llvm/Type.h>
38
39namespace art {
40namespace compiler_llvm {
41
TDYa1270b686e52012-04-09 22:43:35 -070042using namespace runtime_support;
Logan Chien88894ee2012-02-13 16:42:22 +080043
Logan Chien8b977d32012-02-21 19:14:55 +080044JniCompiler::JniCompiler(CompilationUnit* cunit,
Logan Chien88894ee2012-02-13 16:42:22 +080045 Compiler const& compiler,
46 OatCompilationUnit* oat_compilation_unit)
Logan Chien8b977d32012-02-21 19:14:55 +080047: cunit_(cunit), compiler_(&compiler), module_(cunit_->GetModule()),
48 context_(cunit_->GetLLVMContext()), irb_(*cunit_->GetIRBuilder()),
Logan Chien88894ee2012-02-13 16:42:22 +080049 oat_compilation_unit_(oat_compilation_unit),
50 access_flags_(oat_compilation_unit->access_flags_),
51 method_idx_(oat_compilation_unit->method_idx_),
52 class_linker_(oat_compilation_unit->class_linker_),
53 class_loader_(oat_compilation_unit->class_loader_),
54 dex_cache_(oat_compilation_unit->dex_cache_),
55 dex_file_(oat_compilation_unit->dex_file_),
Logan Chien937105a2012-04-02 02:37:37 +080056 method_(dex_cache_->GetResolvedMethod(method_idx_)),
57 elf_func_idx_(cunit_->AcquireUniqueElfFuncIndex()) {
Logan Chien88894ee2012-02-13 16:42:22 +080058
59 // Check: Ensure that the method is resolved
60 CHECK_NE(method_, static_cast<art::Method*>(NULL));
61
62 // Check: Ensure that JNI compiler will only get "native" method
63 CHECK((access_flags_ & kAccNative) != 0);
64}
65
66
67CompiledMethod* JniCompiler::Compile() {
TDYa1279000a842012-03-23 17:43:08 -070068 const bool is_static = (access_flags_ & kAccStatic) != 0;
69 const bool is_synchronized = (access_flags_ & kAccSynchronized) != 0;
70 DexFile::MethodId const& method_id = dex_file_->GetMethodId(method_idx_);
71 char const return_shorty = dex_file_->GetMethodShorty(method_id)[0];
72 llvm::Value* this_object_or_class_object;
TDYa12728f1a142012-03-15 21:51:52 -070073
Logan Chien88894ee2012-02-13 16:42:22 +080074 CreateFunction();
75
TDYa12728f1a142012-03-15 21:51:52 -070076 // Set argument name
77 llvm::Function::arg_iterator arg_begin(func_->arg_begin());
78 llvm::Function::arg_iterator arg_end(func_->arg_end());
79 llvm::Function::arg_iterator arg_iter(arg_begin);
80
81 DCHECK_NE(arg_iter, arg_end);
82 arg_iter->setName("method");
83 llvm::Value* method_object_addr = arg_iter++;
84
TDYa1279000a842012-03-23 17:43:08 -070085 if (!is_static) {
86 // Non-static, the second argument is "this object"
87 this_object_or_class_object = arg_iter++;
88 } else {
89 // Load class object
90 this_object_or_class_object =
TDYa1275bb86012012-04-11 05:57:28 -070091 irb_.LoadFromObjectOffset(method_object_addr,
92 Method::DeclaringClassOffset().Int32Value(),
93 irb_.getJObjectTy());
TDYa1279000a842012-03-23 17:43:08 -070094 }
95 // Actual argument (ignore method and this object)
TDYa12728f1a142012-03-15 21:51:52 -070096 arg_begin = arg_iter;
97
98 // Count the number of Object* arguments
TDYa1279000a842012-03-23 17:43:08 -070099 uint32_t sirt_size = 1;
100 // "this" object pointer for non-static
101 // "class" object pointer for static
TDYa12728f1a142012-03-15 21:51:52 -0700102 for (unsigned i = 0; arg_iter != arg_end; ++i, ++arg_iter) {
103 arg_iter->setName(StringPrintf("a%u", i));
104 if (arg_iter->getType() == irb_.getJObjectTy()) {
105 ++sirt_size;
106 }
107 }
108
TDYa12731a99332012-03-19 02:58:02 -0700109 // Get thread object
TDYa1270b686e52012-04-09 22:43:35 -0700110 llvm::Value* thread_object_addr = irb_.CreateCall(irb_.GetRuntime(GetCurrentThread));
TDYa12728f1a142012-03-15 21:51:52 -0700111
112 // Shadow stack
113 llvm::StructType* shadow_frame_type = irb_.getShadowFrameTy(sirt_size);
TDYa1279000a842012-03-23 17:43:08 -0700114 llvm::AllocaInst* shadow_frame_ = irb_.CreateAlloca(shadow_frame_type);
TDYa12728f1a142012-03-15 21:51:52 -0700115
116 // Zero-initialization of the shadow frame
117 llvm::ConstantAggregateZero* zero_initializer =
118 llvm::ConstantAggregateZero::get(shadow_frame_type);
TDYa12728f1a142012-03-15 21:51:52 -0700119 irb_.CreateStore(zero_initializer, shadow_frame_);
120
TDYa12728f1a142012-03-15 21:51:52 -0700121 // Store the method pointer
TDYa12731a99332012-03-19 02:58:02 -0700122 llvm::Value* method_field_addr =
123 irb_.CreatePtrDisp(shadow_frame_,
124 irb_.getPtrEquivInt(ShadowFrame::MethodOffset()),
125 irb_.getJObjectTy()->getPointerTo());
TDYa12728f1a142012-03-15 21:51:52 -0700126 irb_.CreateStore(method_object_addr, method_field_addr);
127
TDYa127c8dc1012012-04-19 07:03:33 -0700128 // Store the dex pc
TDYa1275bb86012012-04-11 05:57:28 -0700129 irb_.StoreToObjectOffset(shadow_frame_,
TDYa127c8dc1012012-04-19 07:03:33 -0700130 ShadowFrame::DexPCOffset(),
131 irb_.getInt32(0));
TDYa127a0f746b2012-04-09 22:46:30 -0700132
TDYa12728f1a142012-03-15 21:51:52 -0700133 // Store the number of the pointer slots
TDYa1275bb86012012-04-11 05:57:28 -0700134 irb_.StoreToObjectOffset(shadow_frame_,
135 ShadowFrame::NumberOfReferencesOffset(),
136 irb_.getInt32(sirt_size));
TDYa12728f1a142012-03-15 21:51:52 -0700137
138 // Push the shadow frame
139 llvm::Value* shadow_frame_upcast = irb_.CreateConstGEP2_32(shadow_frame_, 0, 0);
TDYa1270b686e52012-04-09 22:43:35 -0700140 irb_.CreateCall(irb_.GetRuntime(PushShadowFrame), shadow_frame_upcast);
TDYa12728f1a142012-03-15 21:51:52 -0700141
TDYa12728f1a142012-03-15 21:51:52 -0700142 // Get JNIEnv
TDYa1275bb86012012-04-11 05:57:28 -0700143 llvm::Value* jni_env_object_addr =
144 irb_.LoadFromObjectOffset(thread_object_addr,
145 Thread::JniEnvOffset().Int32Value(),
146 irb_.getJObjectTy());
TDYa12728f1a142012-03-15 21:51:52 -0700147
148 // Set thread state to kNative
TDYa1275bb86012012-04-11 05:57:28 -0700149 irb_.StoreToObjectOffset(thread_object_addr,
150 Thread::StateOffset().Int32Value(),
151 irb_.getInt32(kNative));
TDYa12728f1a142012-03-15 21:51:52 -0700152
153 // Get callee code_addr
TDYa1270b686e52012-04-09 22:43:35 -0700154 llvm::Value* code_addr =
TDYa1275bb86012012-04-11 05:57:28 -0700155 irb_.LoadFromObjectOffset(method_object_addr,
156 Method::NativeMethodOffset().Int32Value(),
157 GetFunctionType(method_idx_, is_static, true)->getPointerTo());
TDYa12728f1a142012-03-15 21:51:52 -0700158
159 // Load actual parameters
160 std::vector<llvm::Value*> args;
161
TDYa12731a99332012-03-19 02:58:02 -0700162 // The 1st parameter: JNIEnv*
TDYa12728f1a142012-03-15 21:51:52 -0700163 args.push_back(jni_env_object_addr);
TDYa12728f1a142012-03-15 21:51:52 -0700164
TDYa12731a99332012-03-19 02:58:02 -0700165 // Variables for GetElementPtr
166 llvm::Value* gep_index[] = {
167 irb_.getInt32(0), // No displacement for shadow frame pointer
168 irb_.getInt32(1), // SIRT
169 NULL,
170 };
171
TDYa12728f1a142012-03-15 21:51:52 -0700172 size_t sirt_member_index = 0;
173
TDYa1279000a842012-03-23 17:43:08 -0700174 // Store the "this object or class object" to SIRT
175 gep_index[2] = irb_.getInt32(sirt_member_index++);
176 llvm::Value* sirt_field_addr = irb_.CreateGEP(shadow_frame_, gep_index);
177 irb_.CreateStore(this_object_or_class_object, sirt_field_addr);
178 // Push the "this object or class object" to out args
179 args.push_back(irb_.CreateBitCast(sirt_field_addr, irb_.getJObjectTy()));
TDYa12731a99332012-03-19 02:58:02 -0700180 // Store arguments to SIRT, and push back to args
TDYa12728f1a142012-03-15 21:51:52 -0700181 for (arg_iter = arg_begin; arg_iter != arg_end; ++arg_iter) {
182 if (arg_iter->getType() == irb_.getJObjectTy()) {
TDYa12731a99332012-03-19 02:58:02 -0700183 // Store the reference type arguments to SIRT
TDYa12728f1a142012-03-15 21:51:52 -0700184 gep_index[2] = irb_.getInt32(sirt_member_index++);
185 llvm::Value* sirt_field_addr = irb_.CreateGEP(shadow_frame_, gep_index);
186 irb_.CreateStore(arg_iter, sirt_field_addr);
187 // Note null is placed in the SIRT but the jobject passed to the native code must be null
188 // (not a pointer into the SIRT as with regular references).
189 llvm::Value* equal_null = irb_.CreateICmpEQ(arg_iter, irb_.getJNull());
190 llvm::Value* arg =
191 irb_.CreateSelect(equal_null,
192 irb_.getJNull(),
193 irb_.CreateBitCast(sirt_field_addr, irb_.getJObjectTy()));
194 args.push_back(arg);
195 } else {
196 args.push_back(arg_iter);
197 }
198 }
199
TDYa1279000a842012-03-23 17:43:08 -0700200 // Acquire lock for synchronized methods.
201 if (is_synchronized) {
202 // Acquire lock
TDYa127706e9b62012-04-19 12:24:26 -0700203 irb_.CreateCall2(irb_.GetRuntime(LockObject),
204 this_object_or_class_object,
205 thread_object_addr);
TDYa1279000a842012-03-23 17:43:08 -0700206
207 // Check exception pending
TDYa1270b686e52012-04-09 22:43:35 -0700208 llvm::Value* exception_pending = irb_.CreateCall(irb_.GetRuntime(IsExceptionPending));
TDYa1279000a842012-03-23 17:43:08 -0700209
210 // Create two basic block for branch
211 llvm::BasicBlock* block_cont = llvm::BasicBlock::Create(*context_, "B.cont", func_);
212 llvm::BasicBlock* block_exception_ = llvm::BasicBlock::Create(*context_, "B.exception", func_);
213
214 // Branch by exception_pending
215 irb_.CreateCondBr(exception_pending, block_exception_, block_cont);
216
217
218 // If exception pending
219 irb_.SetInsertPoint(block_exception_);
220 // TODO: Set thread state?
221 // Pop the shadow frame
TDYa1270b686e52012-04-09 22:43:35 -0700222 irb_.CreateCall(irb_.GetRuntime(PopShadowFrame));
TDYa1279000a842012-03-23 17:43:08 -0700223 // Unwind
224 if (return_shorty != 'V') {
225 irb_.CreateRet(irb_.getJZero(return_shorty));
226 } else {
227 irb_.CreateRetVoid();
228 }
229
230 // If no exception pending
231 irb_.SetInsertPoint(block_cont);
232 }
TDYa12728f1a142012-03-15 21:51:52 -0700233
234 // saved_local_ref_cookie = env->local_ref_cookie
235 llvm::Value* saved_local_ref_cookie =
TDYa1275bb86012012-04-11 05:57:28 -0700236 irb_.LoadFromObjectOffset(jni_env_object_addr,
237 JNIEnvExt::LocalRefCookieOffset().Int32Value(),
238 irb_.getInt32Ty());
TDYa12728f1a142012-03-15 21:51:52 -0700239
240 // env->local_ref_cookie = env->locals.segment_state
241 llvm::Value* segment_state =
TDYa1275bb86012012-04-11 05:57:28 -0700242 irb_.LoadFromObjectOffset(jni_env_object_addr,
243 JNIEnvExt::SegmentStateOffset().Int32Value(),
244 irb_.getInt32Ty());
245 irb_.StoreToObjectOffset(jni_env_object_addr,
246 JNIEnvExt::LocalRefCookieOffset().Int32Value(),
247 segment_state);
TDYa12728f1a142012-03-15 21:51:52 -0700248
249
250 // Call!!!
251 llvm::Value* retval = irb_.CreateCall(code_addr, args);
252
253
TDYa1279000a842012-03-23 17:43:08 -0700254 // Release lock for synchronized methods.
255 if (is_synchronized) {
TDYa127706e9b62012-04-19 12:24:26 -0700256 irb_.CreateCall2(irb_.GetRuntime(UnlockObject),
257 this_object_or_class_object,
258 thread_object_addr);
TDYa1279000a842012-03-23 17:43:08 -0700259 }
260
TDYa12728f1a142012-03-15 21:51:52 -0700261 // Set thread state to kRunnable
TDYa1275bb86012012-04-11 05:57:28 -0700262 irb_.StoreToObjectOffset(thread_object_addr,
263 Thread::StateOffset().Int32Value(),
264 irb_.getInt32(kRunnable));
TDYa12728f1a142012-03-15 21:51:52 -0700265
TDYa12769eafaa2012-04-17 10:51:25 -0700266 // Do a suspend check
267 irb_.CreateCall(irb_.GetRuntime(TestSuspend));
268
TDYa1279000a842012-03-23 17:43:08 -0700269 if (return_shorty == 'L') {
TDYa12728f1a142012-03-15 21:51:52 -0700270 // If the return value is reference, it may point to SIRT, we should decode it.
TDYa1270b686e52012-04-09 22:43:35 -0700271 retval = irb_.CreateCall2(irb_.GetRuntime(DecodeJObjectInThread),
TDYa12731a99332012-03-19 02:58:02 -0700272 thread_object_addr,
273 retval);
TDYa12728f1a142012-03-15 21:51:52 -0700274 }
275
276 // env->locals.segment_state = env->local_ref_cookie
277 llvm::Value* local_ref_cookie =
TDYa1275bb86012012-04-11 05:57:28 -0700278 irb_.LoadFromObjectOffset(jni_env_object_addr,
279 JNIEnvExt::LocalRefCookieOffset().Int32Value(),
280 irb_.getInt32Ty());
281 irb_.StoreToObjectOffset(jni_env_object_addr,
282 JNIEnvExt::SegmentStateOffset().Int32Value(),
283 local_ref_cookie);
TDYa12728f1a142012-03-15 21:51:52 -0700284
285 // env->local_ref_cookie = saved_local_ref_cookie
TDYa1275bb86012012-04-11 05:57:28 -0700286 irb_.StoreToObjectOffset(jni_env_object_addr,
287 JNIEnvExt::LocalRefCookieOffset().Int32Value(),
288 saved_local_ref_cookie);
TDYa12728f1a142012-03-15 21:51:52 -0700289
290 // Pop the shadow frame
TDYa1270b686e52012-04-09 22:43:35 -0700291 irb_.CreateCall(irb_.GetRuntime(PopShadowFrame));
TDYa12728f1a142012-03-15 21:51:52 -0700292
293 // Return!
TDYa1279000a842012-03-23 17:43:08 -0700294 if (return_shorty != 'V') {
TDYa12728f1a142012-03-15 21:51:52 -0700295 irb_.CreateRet(retval);
296 } else {
297 irb_.CreateRetVoid();
298 }
299
TDYa12728f1a142012-03-15 21:51:52 -0700300 // Verify the generated bitcode
301 llvm::verifyFunction(*func_, llvm::PrintMessageAction);
302
TDYa1270200d072012-04-17 20:55:08 -0700303 // Add the memory usage approximation of the compilation unit
304 cunit_->AddMemUsageApproximation((sirt_size * 4 + 50) * 50);
305 // NOTE: We will emit 4 LLVM instructions per object argument,
306 // And about 50 instructions for other operations. (Some runtime support will be inlined.)
307 // Beside, we guess that we have to use 50 bytes to represent one LLVM instruction.
308
Logan Chien110bcba2012-04-16 19:11:28 +0800309 CompiledMethod* compiled_method =
310 new CompiledMethod(cunit_->GetInstructionSet(),
311 cunit_->GetElfIndex(),
312 elf_func_idx_);
313
314 cunit_->RegisterCompiledMethod(func_, compiled_method);
315
316 return compiled_method;
Logan Chien88894ee2012-02-13 16:42:22 +0800317}
318
319
320void JniCompiler::CreateFunction() {
321 // LLVM function name
Logan Chien937105a2012-04-02 02:37:37 +0800322 std::string func_name(ElfFuncName(elf_func_idx_));
Logan Chien88894ee2012-02-13 16:42:22 +0800323
324 // Get function type
325 llvm::FunctionType* func_type =
TDYa12728f1a142012-03-15 21:51:52 -0700326 GetFunctionType(method_idx_, method_->IsStatic(), false);
Logan Chien88894ee2012-02-13 16:42:22 +0800327
328 // Create function
329 func_ = llvm::Function::Create(func_type, llvm::Function::ExternalLinkage,
330 func_name, module_);
TDYa12728f1a142012-03-15 21:51:52 -0700331
332 // Create basic block
TDYa1279000a842012-03-23 17:43:08 -0700333 llvm::BasicBlock* basic_block = llvm::BasicBlock::Create(*context_, "B0", func_);
334
335 // Set insert point
336 irb_.SetInsertPoint(basic_block);
Logan Chien88894ee2012-02-13 16:42:22 +0800337}
338
339
340llvm::FunctionType* JniCompiler::GetFunctionType(uint32_t method_idx,
TDYa1279000a842012-03-23 17:43:08 -0700341 bool is_static, bool is_native_function) {
Logan Chien88894ee2012-02-13 16:42:22 +0800342 // Get method signature
343 DexFile::MethodId const& method_id = dex_file_->GetMethodId(method_idx);
344
345 uint32_t shorty_size;
346 char const* shorty = dex_file_->GetMethodShorty(method_id, &shorty_size);
347 CHECK_GE(shorty_size, 1u);
348
349 // Get return type
350 llvm::Type* ret_type = irb_.getJType(shorty[0], kAccurate);
351
352 // Get argument type
353 std::vector<llvm::Type*> args_type;
354
355 args_type.push_back(irb_.getJObjectTy()); // method object pointer
356
TDYa1279000a842012-03-23 17:43:08 -0700357 if (!is_static || is_native_function) {
TDYa12728f1a142012-03-15 21:51:52 -0700358 // "this" object pointer for non-static
TDYa1279000a842012-03-23 17:43:08 -0700359 // "class" object pointer for static naitve
TDYa12728f1a142012-03-15 21:51:52 -0700360 args_type.push_back(irb_.getJType('L', kAccurate));
Logan Chien88894ee2012-02-13 16:42:22 +0800361 }
362
363 for (uint32_t i = 1; i < shorty_size; ++i) {
364 args_type.push_back(irb_.getJType(shorty[i], kAccurate));
365 }
366
367 return llvm::FunctionType::get(ret_type, args_type, false);
368}
369
Logan Chien88894ee2012-02-13 16:42:22 +0800370} // namespace compiler_llvm
371} // namespace art