Logan Chien | f04364f | 2012-02-10 12:01:39 +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 | |
TDYa127 | eead4ac | 2012-06-03 07:15:25 -0700 | [diff] [blame] | 17 | #include "stub_compiler.h" |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 18 | |
Logan Chien | 8b977d3 | 2012-02-21 19:14:55 +0800 | [diff] [blame] | 19 | #include "compilation_unit.h" |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 20 | #include "compiled_method.h" |
Logan Chien | 8b977d3 | 2012-02-21 19:14:55 +0800 | [diff] [blame] | 21 | #include "compiler.h" |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 22 | #include "compiler_llvm.h" |
| 23 | #include "ir_builder.h" |
| 24 | #include "logging.h" |
| 25 | #include "object.h" |
| 26 | #include "runtime_support_func.h" |
Logan Chien | 937105a | 2012-04-02 02:37:37 +0800 | [diff] [blame] | 27 | #include "utils_llvm.h" |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 28 | |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 29 | #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 | |
| 37 | namespace art { |
| 38 | namespace compiler_llvm { |
| 39 | |
| 40 | using namespace runtime_support; |
| 41 | |
| 42 | |
TDYa127 | eead4ac | 2012-06-03 07:15:25 -0700 | [diff] [blame] | 43 | StubCompiler::StubCompiler(CompilationUnit* cunit, Compiler& compiler) |
Logan Chien | 8b977d3 | 2012-02-21 19:14:55 +0800 | [diff] [blame] | 44 | : cunit_(cunit), compiler_(&compiler), module_(cunit_->GetModule()), |
TDYa127 | eead4ac | 2012-06-03 07:15:25 -0700 | [diff] [blame] | 45 | context_(cunit_->GetLLVMContext()), irb_(*cunit_->GetIRBuilder()) { |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 46 | } |
| 47 | |
| 48 | |
Logan Chien | 7a2a23a | 2012-06-06 11:01:00 +0800 | [diff] [blame] | 49 | CompiledInvokeStub* StubCompiler::CreateInvokeStub(bool is_static, |
| 50 | char const* shorty) { |
TDYa127 | eead4ac | 2012-06-03 07:15:25 -0700 | [diff] [blame] | 51 | uint16_t elf_func_idx = cunit_->AcquireUniqueElfFuncIndex(); |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 52 | |
Logan Chien | 7a2a23a | 2012-06-06 11:01:00 +0800 | [diff] [blame] | 53 | CHECK(shorty != NULL); |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 54 | size_t shorty_size = strlen(shorty); |
| 55 | |
| 56 | // Function name |
TDYa127 | eead4ac | 2012-06-03 07:15:25 -0700 | [diff] [blame] | 57 | std::string func_name(ElfFuncName(elf_func_idx)); |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 58 | |
| 59 | // Get argument types |
| 60 | llvm::Type* arg_types[] = { |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 61 | irb_.getJObjectTy(), // Method object pointer |
| 62 | irb_.getJObjectTy(), // "this" object pointer (NULL for static) |
| 63 | irb_.getJObjectTy(), // Thread object pointer |
| 64 | irb_.getJValueTy()->getPointerTo(), |
| 65 | irb_.getJValueTy()->getPointerTo(), |
| 66 | }; |
| 67 | |
| 68 | // Function type |
| 69 | llvm::FunctionType* func_type = |
| 70 | llvm::FunctionType::get(irb_.getVoidTy(), arg_types, false); |
| 71 | |
| 72 | // Create function |
| 73 | llvm::Function* func = |
| 74 | llvm::Function::Create(func_type, llvm::Function::ExternalLinkage, |
| 75 | func_name, module_); |
| 76 | |
| 77 | |
| 78 | // Create basic block for the body of this function |
| 79 | llvm::BasicBlock* block_body = |
| 80 | llvm::BasicBlock::Create(*context_, "upcall", func); |
| 81 | |
| 82 | irb_.SetInsertPoint(block_body); |
| 83 | |
| 84 | // Actual arguments |
| 85 | llvm::Function::arg_iterator arg_iter = func->arg_begin(); |
| 86 | |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 87 | llvm::Value* method_object_addr = arg_iter++; |
| 88 | llvm::Value* callee_this_addr = arg_iter++; |
| 89 | llvm::Value* thread_object_addr = arg_iter++; |
| 90 | llvm::Value* actual_args_array_addr = arg_iter++; |
| 91 | llvm::Value* retval_addr = arg_iter++; |
| 92 | |
| 93 | // Setup thread pointer |
TDYa127 | c147826 | 2012-06-20 20:22:27 -0700 | [diff] [blame] | 94 | llvm::Value* old_thread_register = irb_.Runtime().EmitSetCurrentThread(thread_object_addr); |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 95 | |
| 96 | // Accurate function type |
| 97 | llvm::Type* accurate_ret_type = irb_.getJType(shorty[0], kAccurate); |
| 98 | |
| 99 | std::vector<llvm::Type*> accurate_arg_types; |
| 100 | |
| 101 | accurate_arg_types.push_back(irb_.getJObjectTy()); // method object pointer |
| 102 | |
| 103 | if (!is_static) { |
| 104 | accurate_arg_types.push_back(irb_.getJObjectTy()); |
| 105 | } |
| 106 | |
| 107 | for (size_t i = 1; i < shorty_size; ++i) { |
| 108 | accurate_arg_types.push_back(irb_.getJType(shorty[i], kAccurate)); |
| 109 | } |
| 110 | |
| 111 | llvm::FunctionType* accurate_func_type = |
| 112 | llvm::FunctionType::get(accurate_ret_type, accurate_arg_types, false); |
| 113 | |
| 114 | // Load actual arguments |
| 115 | std::vector<llvm::Value*> args; |
| 116 | |
| 117 | args.push_back(method_object_addr); |
| 118 | |
| 119 | if (!is_static) { |
| 120 | args.push_back(callee_this_addr); |
| 121 | } |
| 122 | |
| 123 | for (size_t i = 1; i < shorty_size; ++i) { |
| 124 | char arg_shorty = shorty[i]; |
| 125 | |
| 126 | if (arg_shorty == 'Z' || arg_shorty == 'B' || arg_shorty == 'C' || |
| 127 | arg_shorty == 'S' || arg_shorty == 'I' || arg_shorty == 'J' || |
| 128 | arg_shorty == 'F' || arg_shorty == 'D' || arg_shorty == 'L') { |
| 129 | |
| 130 | llvm::Type* arg_type = |
| 131 | irb_.getJType(shorty[i], kAccurate)->getPointerTo(); |
| 132 | |
| 133 | llvm::Value* arg_jvalue_addr = |
| 134 | irb_.CreateConstGEP1_32(actual_args_array_addr, i - 1); |
| 135 | |
| 136 | llvm::Value* arg_addr = irb_.CreateBitCast(arg_jvalue_addr, arg_type); |
| 137 | |
TDYa127 | aba6112 | 2012-05-04 18:28:36 -0700 | [diff] [blame] | 138 | args.push_back(irb_.CreateLoad(arg_addr, kTBAAStackTemp)); |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 139 | |
| 140 | } else { |
Shih-wei Liao | 90d5099 | 2012-02-19 03:32:05 -0800 | [diff] [blame] | 141 | LOG(FATAL) << "Unexpected arg shorty for invoke stub: " << shorty[i]; |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 142 | } |
| 143 | } |
| 144 | |
| 145 | // Invoke managed method now! |
TDYa127 | 0b686e5 | 2012-04-09 22:43:35 -0700 | [diff] [blame] | 146 | // TODO: If we solve the trampoline related problems, we can just get the code address and call. |
| 147 | #if 0 |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 148 | llvm::Value* code_field_offset_value = |
| 149 | irb_.getPtrEquivInt(Method::GetCodeOffset().Int32Value()); |
| 150 | |
| 151 | llvm::Value* code_field_addr = |
| 152 | irb_.CreatePtrDisp(method_object_addr, code_field_offset_value, |
| 153 | accurate_func_type->getPointerTo()->getPointerTo()); |
| 154 | |
TDYa127 | 8ca1005 | 2012-05-05 19:57:06 -0700 | [diff] [blame] | 155 | llvm::Value* code_addr = irb_.CreateLoad(code_field_addr, kTBAAJRuntime); |
TDYa127 | 0b686e5 | 2012-04-09 22:43:35 -0700 | [diff] [blame] | 156 | #else |
| 157 | llvm::Value* result = irb_.CreateCall(irb_.GetRuntime(FixStub), method_object_addr); |
| 158 | llvm::Value* code_addr = irb_.CreatePointerCast(result, accurate_func_type->getPointerTo()); |
| 159 | |
| 160 | // Exception unwind. |
TDYa127 | de479be | 2012-05-31 08:03:26 -0700 | [diff] [blame] | 161 | llvm::Value* exception_pending = irb_.Runtime().EmitIsExceptionPending(); |
TDYa127 | 0b686e5 | 2012-04-09 22:43:35 -0700 | [diff] [blame] | 162 | llvm::BasicBlock* block_unwind = llvm::BasicBlock::Create(*context_, "exception_unwind", func); |
| 163 | llvm::BasicBlock* block_cont = llvm::BasicBlock::Create(*context_, "cont", func); |
| 164 | irb_.CreateCondBr(exception_pending, block_unwind, block_cont); |
| 165 | irb_.SetInsertPoint(block_unwind); |
TDYa127 | c147826 | 2012-06-20 20:22:27 -0700 | [diff] [blame] | 166 | // Restore thread register |
| 167 | irb_.Runtime().EmitSetCurrentThread(old_thread_register); |
TDYa127 | 0b686e5 | 2012-04-09 22:43:35 -0700 | [diff] [blame] | 168 | irb_.CreateRetVoid(); |
| 169 | irb_.SetInsertPoint(block_cont); |
| 170 | #endif |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 171 | |
| 172 | llvm::Value* retval = irb_.CreateCall(code_addr, args); |
| 173 | |
| 174 | // Store the returned value |
| 175 | if (shorty[0] != 'V') { |
| 176 | llvm::Value* ret_addr = |
| 177 | irb_.CreateBitCast(retval_addr, accurate_ret_type->getPointerTo()); |
| 178 | |
TDYa127 | aba6112 | 2012-05-04 18:28:36 -0700 | [diff] [blame] | 179 | irb_.CreateStore(retval, ret_addr, kTBAAStackTemp); |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 180 | } |
| 181 | |
TDYa127 | c147826 | 2012-06-20 20:22:27 -0700 | [diff] [blame] | 182 | // Restore thread register |
| 183 | irb_.Runtime().EmitSetCurrentThread(old_thread_register); |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 184 | irb_.CreateRetVoid(); |
| 185 | |
Logan Chien | 8b977d3 | 2012-02-21 19:14:55 +0800 | [diff] [blame] | 186 | // Verify the generated function |
TDYa127 | 853cd09 | 2012-04-21 22:15:31 -0700 | [diff] [blame] | 187 | VERIFY_LLVM_FUNCTION(*func); |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 188 | |
Logan Chien | 8b977d3 | 2012-02-21 19:14:55 +0800 | [diff] [blame] | 189 | // Add the memory usage approximation of the compilation unit |
TDYa127 | 0200d07 | 2012-04-17 20:55:08 -0700 | [diff] [blame] | 190 | cunit_->AddMemUsageApproximation((shorty_size * 3 + 8) * 50); |
Logan Chien | 8b977d3 | 2012-02-21 19:14:55 +0800 | [diff] [blame] | 191 | // NOTE: We will emit 3 LLVM instructions per shorty for the argument, |
| 192 | // plus 3 for pointer arithmetic, and 5 for code_addr, retval, ret_addr, |
| 193 | // store ret_addr, and ret_void. Beside, we guess that we have to use |
| 194 | // 50 bytes to represent one LLVM instruction. |
| 195 | |
Logan Chien | 598c513 | 2012-04-28 22:00:44 +0800 | [diff] [blame] | 196 | return new CompiledInvokeStub(cunit_->GetInstructionSet(), |
| 197 | cunit_->GetElfIndex(), elf_func_idx); |
TDYa127 | eead4ac | 2012-06-03 07:15:25 -0700 | [diff] [blame] | 198 | } |
| 199 | |
TDYa127 | eead4ac | 2012-06-03 07:15:25 -0700 | [diff] [blame] | 200 | |
Logan Chien | 7a2a23a | 2012-06-06 11:01:00 +0800 | [diff] [blame] | 201 | CompiledInvokeStub* StubCompiler::CreateProxyStub(char const* shorty) { |
| 202 | CHECK(shorty != NULL); |
TDYa127 | eead4ac | 2012-06-03 07:15:25 -0700 | [diff] [blame] | 203 | size_t shorty_size = strlen(shorty); |
| 204 | |
| 205 | uint16_t elf_func_idx = cunit_->AcquireUniqueElfFuncIndex(); |
| 206 | |
| 207 | // Function name |
| 208 | std::string func_name(ElfFuncName(elf_func_idx)); |
| 209 | |
| 210 | // Accurate function type |
| 211 | llvm::Type* accurate_ret_type = irb_.getJType(shorty[0], kAccurate); |
Logan Chien | 7a2a23a | 2012-06-06 11:01:00 +0800 | [diff] [blame] | 212 | |
TDYa127 | eead4ac | 2012-06-03 07:15:25 -0700 | [diff] [blame] | 213 | std::vector<llvm::Type*> accurate_arg_types; |
| 214 | accurate_arg_types.push_back(irb_.getJObjectTy()); // method |
| 215 | accurate_arg_types.push_back(irb_.getJObjectTy()); // this |
Logan Chien | 7a2a23a | 2012-06-06 11:01:00 +0800 | [diff] [blame] | 216 | |
TDYa127 | eead4ac | 2012-06-03 07:15:25 -0700 | [diff] [blame] | 217 | for (size_t i = 1; i < shorty_size; ++i) { |
| 218 | accurate_arg_types.push_back(irb_.getJType(shorty[i], kAccurate)); |
| 219 | } |
Logan Chien | 7a2a23a | 2012-06-06 11:01:00 +0800 | [diff] [blame] | 220 | |
TDYa127 | eead4ac | 2012-06-03 07:15:25 -0700 | [diff] [blame] | 221 | llvm::FunctionType* accurate_func_type = |
| 222 | llvm::FunctionType::get(accurate_ret_type, accurate_arg_types, false); |
| 223 | |
| 224 | // Create function |
| 225 | llvm::Function* func = |
| 226 | llvm::Function::Create(accurate_func_type, llvm::Function::ExternalLinkage, |
| 227 | func_name, module_); |
| 228 | |
| 229 | // Create basic block for the body of this function |
| 230 | llvm::BasicBlock* block_body = |
| 231 | llvm::BasicBlock::Create(*context_, "proxy", func); |
| 232 | irb_.SetInsertPoint(block_body); |
| 233 | |
| 234 | // JValue for proxy return |
| 235 | llvm::AllocaInst* jvalue_temp = irb_.CreateAlloca(irb_.getJValueTy()); |
| 236 | |
| 237 | // Load actual arguments |
| 238 | llvm::Function::arg_iterator arg_iter = func->arg_begin(); |
Logan Chien | 7a2a23a | 2012-06-06 11:01:00 +0800 | [diff] [blame] | 239 | |
TDYa127 | eead4ac | 2012-06-03 07:15:25 -0700 | [diff] [blame] | 240 | std::vector<llvm::Value*> args; |
| 241 | args.push_back(arg_iter++); // method |
| 242 | args.push_back(arg_iter++); // this |
| 243 | args.push_back(irb_.Runtime().EmitGetCurrentThread()); // thread |
Logan Chien | 7a2a23a | 2012-06-06 11:01:00 +0800 | [diff] [blame] | 244 | |
TDYa127 | eead4ac | 2012-06-03 07:15:25 -0700 | [diff] [blame] | 245 | for (size_t i = 1; i < shorty_size; ++i) { |
| 246 | args.push_back(arg_iter++); |
| 247 | } |
Logan Chien | 7a2a23a | 2012-06-06 11:01:00 +0800 | [diff] [blame] | 248 | |
TDYa127 | eead4ac | 2012-06-03 07:15:25 -0700 | [diff] [blame] | 249 | if (shorty[0] != 'V') { |
| 250 | args.push_back(jvalue_temp); |
| 251 | } |
| 252 | |
| 253 | // Call ProxyInvokeHandler |
| 254 | // TODO: Partial inline ProxyInvokeHandler, don't use VarArg. |
| 255 | irb_.CreateCall(irb_.GetRuntime(ProxyInvokeHandler), args); |
Logan Chien | 7a2a23a | 2012-06-06 11:01:00 +0800 | [diff] [blame] | 256 | |
TDYa127 | eead4ac | 2012-06-03 07:15:25 -0700 | [diff] [blame] | 257 | if (shorty[0] != 'V') { |
| 258 | llvm::Value* result_addr = |
| 259 | irb_.CreateBitCast(jvalue_temp, accurate_ret_type->getPointerTo()); |
| 260 | llvm::Value* retval = irb_.CreateLoad(result_addr, kTBAAStackTemp); |
| 261 | irb_.CreateRet(retval); |
| 262 | } else { |
| 263 | irb_.CreateRetVoid(); |
| 264 | } |
| 265 | |
| 266 | // Verify the generated function |
| 267 | VERIFY_LLVM_FUNCTION(*func); |
| 268 | |
| 269 | // Add the memory usage approximation of the compilation unit |
| 270 | cunit_->AddMemUsageApproximation((shorty_size + 2) * 50); |
| 271 | |
Logan Chien | 598c513 | 2012-04-28 22:00:44 +0800 | [diff] [blame] | 272 | return new CompiledInvokeStub(cunit_->GetInstructionSet(), |
| 273 | cunit_->GetElfIndex(), elf_func_idx); |
Logan Chien | f04364f | 2012-02-10 12:01:39 +0800 | [diff] [blame] | 274 | } |
| 275 | |
| 276 | |
| 277 | } // namespace compiler_llvm |
| 278 | } // namespace art |