blob: 7dded3341220ae3ae99767e9d1ebfa9efebb491f [file] [log] [blame]
Shih-wei Liaod1fec812012-02-13 09:51:10 -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#ifndef ART_SRC_COMPILER_LLVM_METHOD_COMPILER_H_
18#define ART_SRC_COMPILER_LLVM_METHOD_COMPILER_H_
19
Logan Chienfca7e872011-12-20 20:08:22 +080020#include "backend_types.h"
Logan Chienc670a8d2011-12-20 21:25:56 +080021#include "dalvik_reg.h"
Shih-wei Liaod1fec812012-02-13 09:51:10 -080022#include "dex_file.h"
23#include "dex_instruction.h"
Elliott Hughes0f3c5532012-03-30 14:51:51 -070024#include "invoke_type.h"
Shih-wei Liaod1fec812012-02-13 09:51:10 -080025#include "object_utils.h"
TDYa127a4746872012-04-11 23:48:55 -070026#include "runtime_support_func.h"
Shih-wei Liaod1fec812012-02-13 09:51:10 -080027
28#include <llvm/Support/IRBuilder.h>
29
30#include <vector>
31
32#include <stdint.h>
33
34
35namespace art {
36 class ClassLinker;
37 class ClassLoader;
38 class CompiledMethod;
39 class Compiler;
40 class DexCache;
Logan Chien438c4b62012-01-17 16:06:00 +080041 class Field;
Logan Chien4dd96f52012-02-29 01:26:58 +080042 class OatCompilationUnit;
Shih-wei Liaod1fec812012-02-13 09:51:10 -080043}
44
45
46namespace llvm {
47 class AllocaInst;
48 class BasicBlock;
49 class Function;
50 class FunctionType;
51 class LLVMContext;
52 class Module;
53 class Type;
54}
55
56
57namespace art {
58namespace compiler_llvm {
59
Logan Chien8b977d32012-02-21 19:14:55 +080060class CompilationUnit;
Shih-wei Liaod1fec812012-02-13 09:51:10 -080061class CompilerLLVM;
62class IRBuilder;
63
64class MethodCompiler {
Shih-wei Liaod1fec812012-02-13 09:51:10 -080065 public:
Logan Chien8b977d32012-02-21 19:14:55 +080066 MethodCompiler(CompilationUnit* cunit,
Logan Chien83426162011-12-09 09:29:50 +080067 Compiler* compiler,
Logan Chien4dd96f52012-02-29 01:26:58 +080068 OatCompilationUnit* oat_compilation_unit);
Shih-wei Liaod1fec812012-02-13 09:51:10 -080069
70 ~MethodCompiler();
71
Logan Chien83426162011-12-09 09:29:50 +080072 CompiledMethod* Compile();
Shih-wei Liaod1fec812012-02-13 09:51:10 -080073
Logan Chienc670a8d2011-12-20 21:25:56 +080074
75 // Code generation helper function
76
77 IRBuilder& GetIRBuilder() const {
78 return irb_;
79 }
80
81
82 // Register helper function
83
84 llvm::Value* AllocDalvikLocalVarReg(RegCategory cat, uint32_t reg_idx);
85
86 llvm::Value* AllocDalvikRetValReg(RegCategory cat);
87
88
Shih-wei Liaod1fec812012-02-13 09:51:10 -080089 private:
90 void CreateFunction();
Shih-wei Liaod1fec812012-02-13 09:51:10 -080091 void EmitPrologue();
TDYa1274165a832012-04-03 17:47:16 -070092 void EmitStackOverflowCheck();
Logan Chienc670a8d2011-12-20 21:25:56 +080093 void EmitPrologueLastBranch();
Logan Chien8dfcbea2012-02-17 18:50:32 +080094 void EmitPrologueAllocShadowFrame();
Logan Chiend6ececa2011-12-27 16:20:15 +080095 void EmitPrologueAssignArgRegister();
Shih-wei Liaod1fec812012-02-13 09:51:10 -080096 void EmitInstructions();
Logan Chien83426162011-12-09 09:29:50 +080097 void EmitInstruction(uint32_t dex_pc, Instruction const* insn);
Shih-wei Liaod1fec812012-02-13 09:51:10 -080098
Logan Chien70f94b42011-12-27 17:49:11 +080099 enum CondBranchKind {
100 kCondBranch_EQ,
101 kCondBranch_NE,
102 kCondBranch_LT,
103 kCondBranch_GE,
104 kCondBranch_GT,
105 kCondBranch_LE,
106 };
107
108 enum IntArithmKind {
109 kIntArithm_Add,
110 kIntArithm_Sub,
111 kIntArithm_Mul,
112 kIntArithm_Div,
113 kIntArithm_Rem,
114 kIntArithm_And,
115 kIntArithm_Or,
116 kIntArithm_Xor,
Logan Chien5539ad02012-04-02 14:36:55 +0800117 };
118
119 enum IntShiftArithmKind {
Logan Chien70f94b42011-12-27 17:49:11 +0800120 kIntArithm_Shl,
121 kIntArithm_Shr,
122 kIntArithm_UShr,
123 };
124
125 enum FPArithmKind {
126 kFPArithm_Add,
127 kFPArithm_Sub,
128 kFPArithm_Mul,
129 kFPArithm_Div,
130 kFPArithm_Rem,
131 };
132
Logan Chien7e7fabc2012-04-10 18:59:11 +0800133 enum InvokeArgFmt {
134 kArgReg,
135 kArgRange,
136 };
137
Logan Chien70f94b42011-12-27 17:49:11 +0800138#define GEN_INSN_ARGS uint32_t dex_pc, Instruction const* insn
139
140 // NOP, PAYLOAD (unreachable) instructions
141 void EmitInsn_Nop(GEN_INSN_ARGS);
142
143 // MOVE, MOVE_RESULT instructions
144 void EmitInsn_Move(GEN_INSN_ARGS, JType jty);
145 void EmitInsn_MoveResult(GEN_INSN_ARGS, JType jty);
146
147 // MOVE_EXCEPTION, THROW instructions
148 void EmitInsn_MoveException(GEN_INSN_ARGS);
149 void EmitInsn_ThrowException(GEN_INSN_ARGS);
Logan Chien9e5f5c12012-04-10 13:51:45 +0800150 void EmitInsn_ThrowVerificationError(GEN_INSN_ARGS);
Logan Chien70f94b42011-12-27 17:49:11 +0800151
152 // RETURN instructions
153 void EmitInsn_ReturnVoid(GEN_INSN_ARGS);
154 void EmitInsn_Return(GEN_INSN_ARGS);
155
156 // CONST, CONST_CLASS, CONST_STRING instructions
157 void EmitInsn_LoadConstant(GEN_INSN_ARGS, JType imm_jty);
158 void EmitInsn_LoadConstantString(GEN_INSN_ARGS);
159 void EmitInsn_LoadConstantClass(GEN_INSN_ARGS);
160
161 // MONITOR_ENTER, MONITOR_EXIT instructions
162 void EmitInsn_MonitorEnter(GEN_INSN_ARGS);
163 void EmitInsn_MonitorExit(GEN_INSN_ARGS);
164
165 // CHECK_CAST, INSTANCE_OF instructions
166 void EmitInsn_CheckCast(GEN_INSN_ARGS);
167 void EmitInsn_InstanceOf(GEN_INSN_ARGS);
168
169 // NEW_INSTANCE instructions
170 void EmitInsn_NewInstance(GEN_INSN_ARGS);
171
172 // ARRAY_LEN, NEW_ARRAY, FILLED_NEW_ARRAY, FILL_ARRAY_DATA instructions
173 void EmitInsn_ArrayLength(GEN_INSN_ARGS);
174 void EmitInsn_NewArray(GEN_INSN_ARGS);
175 void EmitInsn_FilledNewArray(GEN_INSN_ARGS, bool is_range);
176 void EmitInsn_FillArrayData(GEN_INSN_ARGS);
177
178 // GOTO, IF_TEST, IF_TESTZ instructions
179 void EmitInsn_UnconditionalBranch(GEN_INSN_ARGS);
180 void EmitInsn_BinaryConditionalBranch(GEN_INSN_ARGS, CondBranchKind cond);
181 void EmitInsn_UnaryConditionalBranch(GEN_INSN_ARGS, CondBranchKind cond);
182
183 // PACKED_SWITCH, SPARSE_SWITCH instrutions
184 void EmitInsn_PackedSwitch(GEN_INSN_ARGS);
185 void EmitInsn_SparseSwitch(GEN_INSN_ARGS);
186
187 // CMPX_FLOAT, CMPX_DOUBLE, CMP_LONG instructions
188 void EmitInsn_FPCompare(GEN_INSN_ARGS, JType fp_jty, bool gt_bias);
189 void EmitInsn_LongCompare(GEN_INSN_ARGS);
190
191 // AGET, APUT instrutions
192 void EmitInsn_AGet(GEN_INSN_ARGS, JType elem_jty);
193 void EmitInsn_APut(GEN_INSN_ARGS, JType elem_jty);
194
195 // IGET, IPUT instructions
196 void EmitInsn_IGet(GEN_INSN_ARGS, JType field_jty);
197 void EmitInsn_IPut(GEN_INSN_ARGS, JType field_jty);
198
199 // SGET, SPUT instructions
200 void EmitInsn_SGet(GEN_INSN_ARGS, JType field_jty);
201 void EmitInsn_SPut(GEN_INSN_ARGS, JType field_jty);
202
203 // INVOKE instructions
TDYa1270b686e52012-04-09 22:43:35 -0700204 llvm::Value* EmitFixStub(llvm::Value* callee_method_object_addr,
205 uint32_t method_idx,
206 bool is_static);
TDYa12785321912012-04-01 15:24:56 -0700207 llvm::Value* EmitEnsureResolved(llvm::Value* callee,
208 llvm::Value* caller,
209 uint32_t dex_method_idx,
TDYa1270b686e52012-04-09 22:43:35 -0700210 bool is_virtual);
TDYa12785321912012-04-01 15:24:56 -0700211
Logan Chien7e7fabc2012-04-10 18:59:11 +0800212 void EmitInsn_Invoke(GEN_INSN_ARGS,
213 InvokeType invoke_type,
214 InvokeArgFmt arg_fmt);
215
216 llvm::Value* EmitLoadSDCalleeMethodObjectAddr(uint32_t callee_method_idx);
217
218 llvm::Value* EmitLoadVirtualCalleeMethodObjectAddr(int vtable_idx,
219 llvm::Value* this_addr);
220
221 llvm::Value* EmitCallRuntimeForCalleeMethodObjectAddr(uint32_t callee_method_idx,
222 InvokeType invoke_type,
223 llvm::Value* this_addr,
224 uint32_t dex_pc,
225 bool is_fast_path);
Logan Chien70f94b42011-12-27 17:49:11 +0800226
227 // Unary instructions
228 void EmitInsn_Neg(GEN_INSN_ARGS, JType op_jty);
229 void EmitInsn_Not(GEN_INSN_ARGS, JType op_jty);
230 void EmitInsn_SExt(GEN_INSN_ARGS);
231 void EmitInsn_Trunc(GEN_INSN_ARGS);
232 void EmitInsn_TruncAndSExt(GEN_INSN_ARGS, unsigned N);
233 void EmitInsn_TruncAndZExt(GEN_INSN_ARGS, unsigned N);
234
235 void EmitInsn_FNeg(GEN_INSN_ARGS, JType op_jty);
236 void EmitInsn_IntToFP(GEN_INSN_ARGS, JType src_jty, JType dest_jty);
TDYa127a4746872012-04-11 23:48:55 -0700237 void EmitInsn_FPToInt(GEN_INSN_ARGS, JType src_jty, JType dest_jty,
238 runtime_support::RuntimeId runtime_func_id);
Logan Chien70f94b42011-12-27 17:49:11 +0800239 void EmitInsn_FExt(GEN_INSN_ARGS);
240 void EmitInsn_FTrunc(GEN_INSN_ARGS);
241
242 // Integer binary arithmetic instructions
243 void EmitInsn_IntArithm(GEN_INSN_ARGS, IntArithmKind arithm,
244 JType op_jty, bool is_2addr);
245
246 void EmitInsn_IntArithmImmediate(GEN_INSN_ARGS, IntArithmKind arithm);
247
Logan Chien5539ad02012-04-02 14:36:55 +0800248 void EmitInsn_IntShiftArithm(GEN_INSN_ARGS, IntShiftArithmKind arithm,
249 JType op_jty, bool is_2addr);
250
251 void EmitInsn_IntShiftArithmImmediate(GEN_INSN_ARGS,
252 IntShiftArithmKind arithm);
253
Logan Chien70f94b42011-12-27 17:49:11 +0800254 void EmitInsn_RSubImmediate(GEN_INSN_ARGS);
255
256
257 // Floating-point binary arithmetic instructions
258 void EmitInsn_FPArithm(GEN_INSN_ARGS, FPArithmKind arithm,
259 JType op_jty, bool is_2addr);
260
261#undef GEN_INSN_ARGS
262
TDYa12783bb6622012-04-17 02:20:34 -0700263 // GC card table helper function
264 void EmitMarkGCCard(llvm::Value* value, llvm::Value* target_addr);
Logan Chien0b827102011-12-20 19:46:14 +0800265
Logan Chien8dfcbea2012-02-17 18:50:32 +0800266 // Shadow frame helper function
267 void EmitPopShadowFrame();
TDYa127c8dc1012012-04-19 07:03:33 -0700268 void EmitUpdateDexPC(uint32_t dex_pc);
Logan Chien8dfcbea2012-02-17 18:50:32 +0800269
270
Logan Chienbb4d12a2012-02-17 14:10:01 +0800271 // Dex cache code generation helper function
272 llvm::Value* EmitLoadDexCacheAddr(MemberOffset dex_cache_offset);
273
Logan Chienbb4d12a2012-02-17 14:10:01 +0800274 llvm::Value* EmitLoadDexCacheStaticStorageFieldAddr(uint32_t type_idx);
275
276 llvm::Value* EmitLoadDexCacheResolvedTypeFieldAddr(uint32_t type_idx);
277
Logan Chien61c65dc2012-02-29 03:22:30 +0800278 llvm::Value* EmitLoadDexCacheResolvedMethodFieldAddr(uint32_t method_idx);
279
Logan Chienbb4d12a2012-02-17 14:10:01 +0800280 llvm::Value* EmitLoadDexCacheStringFieldAddr(uint32_t string_idx);
281
282
Logan Chien0b827102011-12-20 19:46:14 +0800283 // Code generation helper function
284
285 llvm::Value* EmitLoadMethodObjectAddr();
286
287 llvm::FunctionType* GetFunctionType(uint32_t method_idx, bool is_static);
288
Logan Chien5bcc04e2012-01-30 14:15:12 +0800289 void EmitGuard_ExceptionLandingPad(uint32_t dex_pc);
290
291 void EmitBranchExceptionLandingPad(uint32_t dex_pc);
292
Logan Chien70f94b42011-12-27 17:49:11 +0800293 void EmitGuard_GarbageCollectionSuspend(uint32_t dex_pc);
Logan Chien924072f2012-01-30 15:07:24 +0800294
Logan Chien2c37e8e2011-12-27 17:58:46 +0800295 llvm::Value* EmitCompareResultSelection(llvm::Value* cmp_eq,
296 llvm::Value* cmp_lt);
297
Logan Chiena78e3c82011-12-27 17:59:35 +0800298 llvm::Value* EmitConditionResult(llvm::Value* lhs,
299 llvm::Value* rhs,
300 CondBranchKind cond);
301
Logan Chienc3f7d962011-12-27 18:13:18 +0800302 llvm::Value* EmitIntArithmResultComputation(uint32_t dex_pc,
303 llvm::Value* lhs,
304 llvm::Value* rhs,
305 IntArithmKind arithm,
306 JType op_jty);
307
TDYa127f8641ce2012-04-02 06:40:40 -0700308 llvm::Value* EmitIntDivRemResultComputation(uint32_t dex_pc,
309 llvm::Value* dividend,
310 llvm::Value* divisor,
311 IntArithmKind arithm,
312 JType op_jty);
313
Logan Chien5539ad02012-04-02 14:36:55 +0800314 llvm::Value* EmitIntShiftArithmResultComputation(uint32_t dex_pc,
315 llvm::Value* lhs,
316 llvm::Value* rhs,
317 IntShiftArithmKind arithm,
318 JType op_jty);
319
Logan Chien76e1c792011-12-27 18:15:01 +0800320 llvm::Value* EmitFPArithmResultComputation(uint32_t dex_pc,
321 llvm::Value* lhs,
322 llvm::Value* rhs,
323 FPArithmKind arithm);
324
Logan Chiena2cc6a32012-01-16 10:38:41 +0800325 llvm::Value* EmitAllocNewArray(uint32_t dex_pc,
326 int32_t length,
327 uint32_t type_idx,
328 bool is_filled_new_array);
329
Logan Chien46fbb412012-02-15 22:29:08 +0800330 llvm::Value* EmitLoadClassObjectAddr(llvm::Value* this_addr);
331
332 llvm::Value* EmitLoadVTableAddr(llvm::Value* class_object_addr);
333
334 llvm::Value* EmitLoadMethodObjectAddrFromVTable(llvm::Value* vtable_addr,
335 uint16_t vtable_index);
336
337 llvm::Value* EmitLoadCodeAddr(llvm::Value* method_object_addr,
338 uint32_t method_idx,
339 bool is_static);
340
Logan Chien61bb6142012-02-03 15:34:53 +0800341 llvm::Value* EmitLoadArrayLength(llvm::Value* array);
342
Logan Chiene27fdbb2012-01-02 23:27:26 +0800343 llvm::Value* EmitArrayGEP(llvm::Value* array_addr,
344 llvm::Value* index_value,
Ian Rogers04ec04e2012-02-28 16:15:33 -0800345 llvm::Type* elem_type,
346 JType elem_jty);
Logan Chiene27fdbb2012-01-02 23:27:26 +0800347
Logan Chien27b30252012-01-14 03:43:35 +0800348 llvm::Value* EmitLoadConstantClass(uint32_t dex_pc, uint32_t type_idx);
349
Logan Chien438c4b62012-01-17 16:06:00 +0800350 llvm::Value* EmitLoadStaticStorage(uint32_t dex_pc, uint32_t type_idx);
351
Logan Chien1a121b92012-02-15 22:23:42 +0800352 void EmitLoadActualParameters(std::vector<llvm::Value*>& args,
353 uint32_t callee_method_idx,
Elliott Hughesadb8c672012-03-06 16:49:32 -0800354 DecodedInstruction const& di,
Logan Chien7e7fabc2012-04-10 18:59:11 +0800355 InvokeArgFmt arg_fmt,
Logan Chien1a121b92012-02-15 22:23:42 +0800356 bool is_static);
357
Logan Chienc3f7d962011-12-27 18:13:18 +0800358 void EmitGuard_DivZeroException(uint32_t dex_pc,
359 llvm::Value* denominator,
360 JType op_jty);
361
Logan Chien61bb6142012-02-03 15:34:53 +0800362 void EmitGuard_NullPointerException(uint32_t dex_pc,
363 llvm::Value* object);
364
Logan Chiene27fdbb2012-01-02 23:27:26 +0800365 void EmitGuard_ArrayIndexOutOfBoundsException(uint32_t dex_pc,
366 llvm::Value* array,
367 llvm::Value* index);
368
369 void EmitGuard_ArrayException(uint32_t dex_pc,
370 llvm::Value* array,
371 llvm::Value* index);
372
Logan Chiena78e3c82011-12-27 17:59:35 +0800373 RegCategory GetInferredRegCategory(uint32_t dex_pc, uint16_t reg);
374
Logan Chien48f1d2a2012-01-02 22:49:53 +0800375
Logan Chiend6c239a2011-12-23 15:11:45 +0800376 // Basic block helper functions
377 llvm::BasicBlock* GetBasicBlock(uint32_t dex_pc);
378
379 llvm::BasicBlock* GetNextBasicBlock(uint32_t dex_pc);
380
381 llvm::BasicBlock* CreateBasicBlockWithDexPC(uint32_t dex_pc,
382 char const* postfix = NULL);
383
Logan Chien5bcc04e2012-01-30 14:15:12 +0800384 int32_t GetTryItemOffset(uint32_t dex_pc);
385
386 llvm::BasicBlock* GetLandingPadBasicBlock(uint32_t dex_pc);
387
388 llvm::BasicBlock* GetUnwindBasicBlock();
389
Logan Chienc670a8d2011-12-20 21:25:56 +0800390
391 // Register helper function
392
393 llvm::Value* EmitLoadDalvikReg(uint32_t reg_idx, JType jty,
394 JTypeSpace space) {
395 return regs_[reg_idx]->GetValue(jty, space);
396 }
397
398 llvm::Value* EmitLoadDalvikReg(uint32_t reg_idx, char shorty,
399 JTypeSpace space) {
400 return EmitLoadDalvikReg(reg_idx, GetJTypeFromShorty(shorty), space);
401 }
402
403 void EmitStoreDalvikReg(uint32_t reg_idx, JType jty,
404 JTypeSpace space, llvm::Value* new_value) {
405 regs_[reg_idx]->SetValue(jty, space, new_value);
406 }
407
408 void EmitStoreDalvikReg(uint32_t reg_idx, char shorty,
409 JTypeSpace space, llvm::Value* new_value) {
410 EmitStoreDalvikReg(reg_idx, GetJTypeFromShorty(shorty), space, new_value);
411 }
412
413 llvm::Value* EmitLoadDalvikRetValReg(JType jty, JTypeSpace space) {
414 return retval_reg_->GetValue(jty, space);
415 }
416
417 llvm::Value* EmitLoadDalvikRetValReg(char shorty, JTypeSpace space) {
418 return EmitLoadDalvikRetValReg(GetJTypeFromShorty(shorty), space);
419 }
420
421 void EmitStoreDalvikRetValReg(JType jty, JTypeSpace space,
422 llvm::Value* new_value) {
423 retval_reg_->SetValue(jty, space, new_value);
424 }
425
426 void EmitStoreDalvikRetValReg(char shorty, JTypeSpace space,
427 llvm::Value* new_value) {
428 EmitStoreDalvikRetValReg(GetJTypeFromShorty(shorty), space, new_value);
429 }
Logan Chien50aaf812012-03-01 21:03:24 +0800430
431
432 private:
433 CompilationUnit* cunit_;
434 Compiler* compiler_;
435
436 ClassLinker* class_linker_;
437 ClassLoader const* class_loader_;
438
439 DexFile const* dex_file_;
440 DexCache* dex_cache_;
441 DexFile::CodeItem const* code_item_;
442
443 OatCompilationUnit* oat_compilation_unit_;
Logan Chien50aaf812012-03-01 21:03:24 +0800444
445 uint32_t method_idx_;
446 uint32_t access_flags_;
447
448 llvm::Module* module_;
449 llvm::LLVMContext* context_;
450 IRBuilder& irb_;
451 llvm::Function* func_;
452
453 std::vector<DalvikReg*> regs_;
454 UniquePtr<DalvikReg> retval_reg_;
455
TDYa1274165a832012-04-03 17:47:16 -0700456 llvm::BasicBlock* basic_block_stack_overflow_;
Logan Chien50aaf812012-03-01 21:03:24 +0800457 llvm::BasicBlock* basic_block_reg_alloca_;
458 llvm::BasicBlock* basic_block_shadow_frame_alloca_;
459 llvm::BasicBlock* basic_block_reg_zero_init_;
460 llvm::BasicBlock* basic_block_reg_arg_init_;
461 std::vector<llvm::BasicBlock*> basic_blocks_;
462
463 std::vector<llvm::BasicBlock*> basic_block_landing_pads_;
464 llvm::BasicBlock* basic_block_unwind_;
465 llvm::BasicBlock* basic_block_unreachable_;
466
467 llvm::AllocaInst* shadow_frame_;
Logan Chien937105a2012-04-02 02:37:37 +0800468
469 uint16_t elf_func_idx_;
Shih-wei Liaod1fec812012-02-13 09:51:10 -0800470};
471
472
473} // namespace compiler_llvm
474} // namespace art
475
476#endif // ART_SRC_COMPILER_LLVM_METHOD_COMPILER_H_