blob: 4854c9fa292ee1b10ce09d3af7a6124982919818 [file] [log] [blame]
Logan Chienf04364f2012-02-10 12:01:39 +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
TDYa127eead4ac2012-06-03 07:15:25 -070017#include "stub_compiler.h"
Logan Chienf04364f2012-02-10 12:01:39 +080018
Logan Chien8b977d32012-02-21 19:14:55 +080019#include "compilation_unit.h"
Logan Chienf04364f2012-02-10 12:01:39 +080020#include "compiled_method.h"
Logan Chien8b977d32012-02-21 19:14:55 +080021#include "compiler.h"
Logan Chienf04364f2012-02-10 12:01:39 +080022#include "compiler_llvm.h"
23#include "ir_builder.h"
24#include "logging.h"
25#include "object.h"
26#include "runtime_support_func.h"
Logan Chien937105a2012-04-02 02:37:37 +080027#include "utils_llvm.h"
Logan Chienf04364f2012-02-10 12:01:39 +080028
Logan Chienf04364f2012-02-10 12:01:39 +080029#include <llvm/BasicBlock.h>
30#include <llvm/Function.h>
31#include <llvm/GlobalVariable.h>
32#include <llvm/Intrinsics.h>
33
34#include <string>
35#include <string.h>
36
37namespace art {
38namespace compiler_llvm {
39
40using namespace runtime_support;
41
42
TDYa127eead4ac2012-06-03 07:15:25 -070043StubCompiler::StubCompiler(CompilationUnit* cunit, Compiler& compiler)
Logan Chien8b977d32012-02-21 19:14:55 +080044: cunit_(cunit), compiler_(&compiler), module_(cunit_->GetModule()),
TDYa127eead4ac2012-06-03 07:15:25 -070045 context_(cunit_->GetLLVMContext()), irb_(*cunit_->GetIRBuilder()) {
Logan Chienf04364f2012-02-10 12:01:39 +080046}
47
48
Logan Chien7a2a23a2012-06-06 11:01:00 +080049CompiledInvokeStub* StubCompiler::CreateInvokeStub(bool is_static,
Logan Chien12584172012-07-10 04:07:28 -070050 const char* shorty) {
Logan Chien7a2a23a2012-06-06 11:01:00 +080051 CHECK(shorty != NULL);
Logan Chienf04364f2012-02-10 12:01:39 +080052 size_t shorty_size = strlen(shorty);
53
54 // Function name
Logan Chien971bf3f2012-05-01 15:47:55 +080055 std::string func_name(ElfFuncName(cunit_->GetIndex()));
Logan Chienf04364f2012-02-10 12:01:39 +080056
57 // Get argument types
58 llvm::Type* arg_types[] = {
Logan Chienf04364f2012-02-10 12:01:39 +080059 irb_.getJObjectTy(), // Method object pointer
60 irb_.getJObjectTy(), // "this" object pointer (NULL for static)
61 irb_.getJObjectTy(), // Thread object pointer
62 irb_.getJValueTy()->getPointerTo(),
63 irb_.getJValueTy()->getPointerTo(),
64 };
65
66 // Function type
67 llvm::FunctionType* func_type =
68 llvm::FunctionType::get(irb_.getVoidTy(), arg_types, false);
69
70 // Create function
71 llvm::Function* func =
72 llvm::Function::Create(func_type, llvm::Function::ExternalLinkage,
73 func_name, module_);
74
75
76 // Create basic block for the body of this function
77 llvm::BasicBlock* block_body =
78 llvm::BasicBlock::Create(*context_, "upcall", func);
79
80 irb_.SetInsertPoint(block_body);
81
82 // Actual arguments
83 llvm::Function::arg_iterator arg_iter = func->arg_begin();
84
Logan Chienf04364f2012-02-10 12:01:39 +080085 llvm::Value* method_object_addr = arg_iter++;
86 llvm::Value* callee_this_addr = arg_iter++;
87 llvm::Value* thread_object_addr = arg_iter++;
88 llvm::Value* actual_args_array_addr = arg_iter++;
89 llvm::Value* retval_addr = arg_iter++;
90
91 // Setup thread pointer
TDYa127c1478262012-06-20 20:22:27 -070092 llvm::Value* old_thread_register = irb_.Runtime().EmitSetCurrentThread(thread_object_addr);
Logan Chienf04364f2012-02-10 12:01:39 +080093
94 // Accurate function type
95 llvm::Type* accurate_ret_type = irb_.getJType(shorty[0], kAccurate);
96
97 std::vector<llvm::Type*> accurate_arg_types;
98
99 accurate_arg_types.push_back(irb_.getJObjectTy()); // method object pointer
100
101 if (!is_static) {
102 accurate_arg_types.push_back(irb_.getJObjectTy());
103 }
104
105 for (size_t i = 1; i < shorty_size; ++i) {
106 accurate_arg_types.push_back(irb_.getJType(shorty[i], kAccurate));
107 }
108
109 llvm::FunctionType* accurate_func_type =
110 llvm::FunctionType::get(accurate_ret_type, accurate_arg_types, false);
111
112 // Load actual arguments
113 std::vector<llvm::Value*> args;
114
115 args.push_back(method_object_addr);
116
117 if (!is_static) {
118 args.push_back(callee_this_addr);
119 }
120
121 for (size_t i = 1; i < shorty_size; ++i) {
122 char arg_shorty = shorty[i];
123
124 if (arg_shorty == 'Z' || arg_shorty == 'B' || arg_shorty == 'C' ||
125 arg_shorty == 'S' || arg_shorty == 'I' || arg_shorty == 'J' ||
126 arg_shorty == 'F' || arg_shorty == 'D' || arg_shorty == 'L') {
127
128 llvm::Type* arg_type =
129 irb_.getJType(shorty[i], kAccurate)->getPointerTo();
130
131 llvm::Value* arg_jvalue_addr =
132 irb_.CreateConstGEP1_32(actual_args_array_addr, i - 1);
133
134 llvm::Value* arg_addr = irb_.CreateBitCast(arg_jvalue_addr, arg_type);
135
TDYa127aba61122012-05-04 18:28:36 -0700136 args.push_back(irb_.CreateLoad(arg_addr, kTBAAStackTemp));
Logan Chienf04364f2012-02-10 12:01:39 +0800137
138 } else {
Shih-wei Liao90d50992012-02-19 03:32:05 -0800139 LOG(FATAL) << "Unexpected arg shorty for invoke stub: " << shorty[i];
Logan Chienf04364f2012-02-10 12:01:39 +0800140 }
141 }
142
143 // Invoke managed method now!
144 llvm::Value* code_field_offset_value =
Mathieu Chartier66f19252012-09-18 08:57:04 -0700145 irb_.getPtrEquivInt(AbstractMethod::GetCodeOffset().Int32Value());
Logan Chienf04364f2012-02-10 12:01:39 +0800146
147 llvm::Value* code_field_addr =
148 irb_.CreatePtrDisp(method_object_addr, code_field_offset_value,
149 accurate_func_type->getPointerTo()->getPointerTo());
150
TDYa1278ca10052012-05-05 19:57:06 -0700151 llvm::Value* code_addr = irb_.CreateLoad(code_field_addr, kTBAAJRuntime);
Logan Chienf04364f2012-02-10 12:01:39 +0800152
TDYa1273fdb33a2012-08-21 20:09:35 -0700153 llvm::CallInst* retval = irb_.CreateCall(code_addr, args);
buzbeec531cef2012-10-18 07:09:20 -0700154#if defined(ART_USE_PORTABLE_COMPILER)
TDYa1273fdb33a2012-08-21 20:09:35 -0700155 for (size_t i = 1; i < shorty_size; ++i) {
156 switch(shorty[i]) {
157 case 'Z':
158 case 'C':
159 retval->addAttribute(i + (is_static ? 1 : 2), llvm::Attribute::ZExt);
160 break;
161
162 case 'B':
163 case 'S':
164 retval->addAttribute(i + (is_static ? 1 : 2), llvm::Attribute::SExt);
165 break;
166
167 default: break;
168 }
169 }
170#endif
Logan Chienf04364f2012-02-10 12:01:39 +0800171
172 // Store the returned value
173 if (shorty[0] != 'V') {
174 llvm::Value* ret_addr =
175 irb_.CreateBitCast(retval_addr, accurate_ret_type->getPointerTo());
176
TDYa127aba61122012-05-04 18:28:36 -0700177 irb_.CreateStore(retval, ret_addr, kTBAAStackTemp);
Logan Chienf04364f2012-02-10 12:01:39 +0800178 }
179
TDYa127c1478262012-06-20 20:22:27 -0700180 // Restore thread register
181 irb_.Runtime().EmitSetCurrentThread(old_thread_register);
Logan Chienf04364f2012-02-10 12:01:39 +0800182 irb_.CreateRetVoid();
183
Logan Chien8b977d32012-02-21 19:14:55 +0800184 // Verify the generated function
TDYa127853cd092012-04-21 22:15:31 -0700185 VERIFY_LLVM_FUNCTION(*func);
Logan Chienf04364f2012-02-10 12:01:39 +0800186
Logan Chien971bf3f2012-05-01 15:47:55 +0800187 cunit_->Materialize();
Logan Chien8b977d32012-02-21 19:14:55 +0800188
Logan Chien598c5132012-04-28 22:00:44 +0800189 return new CompiledInvokeStub(cunit_->GetInstructionSet(),
Logan Chien971bf3f2012-05-01 15:47:55 +0800190 cunit_->GetCompiledCode());
TDYa127eead4ac2012-06-03 07:15:25 -0700191}
192
TDYa127eead4ac2012-06-03 07:15:25 -0700193
Logan Chien12584172012-07-10 04:07:28 -0700194CompiledInvokeStub* StubCompiler::CreateProxyStub(const char* shorty) {
Logan Chien7a2a23a2012-06-06 11:01:00 +0800195 CHECK(shorty != NULL);
TDYa127eead4ac2012-06-03 07:15:25 -0700196 size_t shorty_size = strlen(shorty);
197
TDYa127eead4ac2012-06-03 07:15:25 -0700198 // Function name
Logan Chien971bf3f2012-05-01 15:47:55 +0800199 std::string func_name(ElfFuncName(cunit_->GetIndex()));
TDYa127eead4ac2012-06-03 07:15:25 -0700200
201 // Accurate function type
202 llvm::Type* accurate_ret_type = irb_.getJType(shorty[0], kAccurate);
Logan Chien7a2a23a2012-06-06 11:01:00 +0800203
TDYa127eead4ac2012-06-03 07:15:25 -0700204 std::vector<llvm::Type*> accurate_arg_types;
205 accurate_arg_types.push_back(irb_.getJObjectTy()); // method
206 accurate_arg_types.push_back(irb_.getJObjectTy()); // this
Logan Chien7a2a23a2012-06-06 11:01:00 +0800207
TDYa127eead4ac2012-06-03 07:15:25 -0700208 for (size_t i = 1; i < shorty_size; ++i) {
209 accurate_arg_types.push_back(irb_.getJType(shorty[i], kAccurate));
210 }
Logan Chien7a2a23a2012-06-06 11:01:00 +0800211
TDYa127eead4ac2012-06-03 07:15:25 -0700212 llvm::FunctionType* accurate_func_type =
213 llvm::FunctionType::get(accurate_ret_type, accurate_arg_types, false);
214
215 // Create function
216 llvm::Function* func =
217 llvm::Function::Create(accurate_func_type, llvm::Function::ExternalLinkage,
218 func_name, module_);
buzbeec531cef2012-10-18 07:09:20 -0700219#if defined(ART_USE_PORTABLE_COMPILER)
TDYa1273fdb33a2012-08-21 20:09:35 -0700220 switch(shorty[0]) {
221 case 'Z':
222 case 'C':
223 func->addAttribute(0, llvm::Attribute::ZExt);
224 break;
225
226 case 'B':
227 case 'S':
228 func->addAttribute(0, llvm::Attribute::SExt);
229 break;
230
231 default: break;
232 }
233#endif
TDYa127eead4ac2012-06-03 07:15:25 -0700234
235 // Create basic block for the body of this function
236 llvm::BasicBlock* block_body =
237 llvm::BasicBlock::Create(*context_, "proxy", func);
238 irb_.SetInsertPoint(block_body);
239
240 // JValue for proxy return
241 llvm::AllocaInst* jvalue_temp = irb_.CreateAlloca(irb_.getJValueTy());
242
243 // Load actual arguments
244 llvm::Function::arg_iterator arg_iter = func->arg_begin();
Logan Chien7a2a23a2012-06-06 11:01:00 +0800245
TDYa127eead4ac2012-06-03 07:15:25 -0700246 std::vector<llvm::Value*> args;
247 args.push_back(arg_iter++); // method
248 args.push_back(arg_iter++); // this
249 args.push_back(irb_.Runtime().EmitGetCurrentThread()); // thread
Logan Chien7a2a23a2012-06-06 11:01:00 +0800250
TDYa127eead4ac2012-06-03 07:15:25 -0700251 for (size_t i = 1; i < shorty_size; ++i) {
252 args.push_back(arg_iter++);
253 }
Logan Chien7a2a23a2012-06-06 11:01:00 +0800254
TDYa127eead4ac2012-06-03 07:15:25 -0700255 if (shorty[0] != 'V') {
256 args.push_back(jvalue_temp);
257 }
258
259 // Call ProxyInvokeHandler
260 // TODO: Partial inline ProxyInvokeHandler, don't use VarArg.
261 irb_.CreateCall(irb_.GetRuntime(ProxyInvokeHandler), args);
Logan Chien7a2a23a2012-06-06 11:01:00 +0800262
TDYa127eead4ac2012-06-03 07:15:25 -0700263 if (shorty[0] != 'V') {
264 llvm::Value* result_addr =
265 irb_.CreateBitCast(jvalue_temp, accurate_ret_type->getPointerTo());
266 llvm::Value* retval = irb_.CreateLoad(result_addr, kTBAAStackTemp);
267 irb_.CreateRet(retval);
268 } else {
269 irb_.CreateRetVoid();
270 }
271
272 // Verify the generated function
273 VERIFY_LLVM_FUNCTION(*func);
274
Logan Chien971bf3f2012-05-01 15:47:55 +0800275 cunit_->Materialize();
TDYa127eead4ac2012-06-03 07:15:25 -0700276
Logan Chien598c5132012-04-28 22:00:44 +0800277 return new CompiledInvokeStub(cunit_->GetInstructionSet(),
Logan Chien971bf3f2012-05-01 15:47:55 +0800278 cunit_->GetCompiledCode());
Logan Chienf04364f2012-02-10 12:01:39 +0800279}
280
281
282} // namespace compiler_llvm
283} // namespace art