blob: 5a17b0203b7309d40d9ca71f140162fa9ec7b493 [file] [log] [blame]
buzbee67bf8852011-08-17 17:51:35 -07001/*
2 * Copyright (C) 2011 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
buzbeeeaf09bc2012-11-15 14:51:41 -080017#include "compiler.h"
buzbeeefc63692012-11-14 16:31:52 -080018#include "compiler_internals.h"
19#include "dataflow.h"
buzbeeeaf09bc2012-11-15 14:51:41 -080020#include "ssa_transformation.h"
Ian Rogers0571d352011-11-03 19:51:38 -070021#include "leb128.h"
Brian Carlstrom9baa4ae2011-09-01 21:14:14 -070022#include "object.h"
Brian Carlstrom1f870082011-08-23 16:02:11 -070023#include "runtime.h"
buzbeeeaf09bc2012-11-15 14:51:41 -080024#include "codegen/codegen_util.h"
25#include "codegen/method_bitcode.h"
26#include "codegen/method_codegen_driver.h"
buzbee67bf8852011-08-17 17:51:35 -070027
buzbee4df2bbd2012-10-11 14:46:06 -070028#include <llvm/Support/Threading.h>
29
30namespace {
Shih-wei Liao215a9262012-10-12 10:29:46 -070031#if !defined(ART_USE_LLVM_COMPILER)
buzbee4df2bbd2012-10-11 14:46:06 -070032 pthread_once_t llvm_multi_init = PTHREAD_ONCE_INIT;
Shih-wei Liao215a9262012-10-12 10:29:46 -070033#endif
buzbee4df2bbd2012-10-11 14:46:06 -070034 void InitializeLLVMForQuick() {
35 llvm::llvm_start_multithreaded();
36 }
37}
buzbee4df2bbd2012-10-11 14:46:06 -070038
Elliott Hughes11d1b0c2012-01-23 16:57:47 -080039namespace art {
40
buzbee4df2bbd2012-10-11 14:46:06 -070041LLVMInfo::LLVMInfo() {
42#if !defined(ART_USE_LLVM_COMPILER)
43 pthread_once(&llvm_multi_init, InitializeLLVMForQuick);
44#endif
buzbee692be802012-08-29 15:52:59 -070045 // Create context, module, intrinsic helper & ir builder
46 llvm_context_.reset(new llvm::LLVMContext());
TDYa12755e5e6c2012-09-11 15:14:42 -070047 llvm_module_ = new llvm::Module("art", *llvm_context_);
buzbee692be802012-08-29 15:52:59 -070048 llvm::StructType::create(*llvm_context_, "JavaObject");
buzbee692be802012-08-29 15:52:59 -070049 intrinsic_helper_.reset( new greenland::IntrinsicHelper(*llvm_context_, *llvm_module_));
50 ir_builder_.reset(new greenland::IRBuilder(*llvm_context_, *llvm_module_, *intrinsic_helper_));
51}
52
buzbee4df2bbd2012-10-11 14:46:06 -070053LLVMInfo::~LLVMInfo() {
buzbee692be802012-08-29 15:52:59 -070054}
55
56extern "C" void ArtInitQuickCompilerContext(art::Compiler& compiler) {
57 CHECK(compiler.GetCompilerContext() == NULL);
buzbee4df2bbd2012-10-11 14:46:06 -070058 LLVMInfo* llvmInfo = new LLVMInfo();
59 compiler.SetCompilerContext(llvmInfo);
buzbee692be802012-08-29 15:52:59 -070060}
61
62extern "C" void ArtUnInitQuickCompilerContext(art::Compiler& compiler) {
buzbee4df2bbd2012-10-11 14:46:06 -070063 delete reinterpret_cast<LLVMInfo*>(compiler.GetCompilerContext());
buzbee692be802012-08-29 15:52:59 -070064 compiler.SetCompilerContext(NULL);
65}
buzbee692be802012-08-29 15:52:59 -070066
buzbeece302932011-10-04 14:32:18 -070067/* Default optimizer/debug setting for the compiler. */
Elliott Hughese52e49b2012-04-02 16:05:44 -070068static uint32_t kCompilerOptimizerDisableFlags = 0 | // Disable specific optimizations
Bill Buzbeea114add2012-05-03 15:00:40 -070069 //(1 << kLoadStoreElimination) |
70 //(1 << kLoadHoisting) |
71 //(1 << kSuppressLoads) |
72 //(1 << kNullCheckElimination) |
73 //(1 << kPromoteRegs) |
74 //(1 << kTrackLiveTemps) |
75 //(1 << kSkipLargeMethodOptimization) |
76 //(1 << kSafeOptimizations) |
77 //(1 << kBBOpt) |
78 //(1 << kMatch) |
79 //(1 << kPromoteCompilerTemps) |
80 0;
buzbeece302932011-10-04 14:32:18 -070081
Elliott Hughese52e49b2012-04-02 16:05:44 -070082static uint32_t kCompilerDebugFlags = 0 | // Enable debug/testing modes
Bill Buzbeea114add2012-05-03 15:00:40 -070083 //(1 << kDebugDisplayMissingTargets) |
84 //(1 << kDebugVerbose) |
85 //(1 << kDebugDumpCFG) |
86 //(1 << kDebugSlowFieldPath) |
87 //(1 << kDebugSlowInvokePath) |
88 //(1 << kDebugSlowStringPath) |
89 //(1 << kDebugSlowestFieldPath) |
90 //(1 << kDebugSlowestStringPath) |
91 //(1 << kDebugExerciseResolveMethod) |
92 //(1 << kDebugVerifyDataflow) |
93 //(1 << kDebugShowMemoryUsage) |
94 //(1 << kDebugShowNops) |
95 //(1 << kDebugCountOpcodes) |
buzbeed1643e42012-09-05 14:06:51 -070096 //(1 << kDebugDumpCheckStats) |
buzbeead8f15e2012-06-18 14:49:45 -070097 //(1 << kDebugDumpBitcodeFile) |
Bill Buzbeec9f40dd2012-08-15 11:35:25 -070098 //(1 << kDebugVerifyBitcode) |
Bill Buzbeea114add2012-05-03 15:00:40 -070099 0;
buzbeece302932011-10-04 14:32:18 -0700100
buzbeeaad94382012-11-21 07:40:50 -0800101static bool ContentIsInsn(const uint16_t* codePtr) {
buzbeeeaf09bc2012-11-15 14:51:41 -0800102 uint16_t instr = *codePtr;
buzbeecbd6d442012-11-17 14:11:25 -0800103 Instruction::Code opcode = static_cast<Instruction::Code>(instr & 0xff);
buzbee67bf8852011-08-17 17:51:35 -0700104
Bill Buzbeea114add2012-05-03 15:00:40 -0700105 /*
106 * Since the low 8-bit in metadata may look like NOP, we need to check
107 * both the low and whole sub-word to determine whether it is code or data.
108 */
109 return (opcode != Instruction::NOP || instr == 0);
buzbee67bf8852011-08-17 17:51:35 -0700110}
111
112/*
113 * Parse an instruction, return the length of the instruction
114 */
buzbeeaad94382012-11-21 07:40:50 -0800115static int ParseInsn(CompilationUnit* cUnit, const uint16_t* codePtr,
116 DecodedInstruction* decoded_instruction, bool printMe)
buzbee67bf8852011-08-17 17:51:35 -0700117{
Elliott Hughesadb8c672012-03-06 16:49:32 -0800118 // Don't parse instruction data
buzbee52a77fc2012-11-20 19:50:46 -0800119 if (!ContentIsInsn(codePtr)) {
Elliott Hughesadb8c672012-03-06 16:49:32 -0800120 return 0;
121 }
buzbee67bf8852011-08-17 17:51:35 -0700122
Elliott Hughesadb8c672012-03-06 16:49:32 -0800123 const Instruction* instruction = Instruction::At(codePtr);
124 *decoded_instruction = DecodedInstruction(instruction);
buzbee67bf8852011-08-17 17:51:35 -0700125
Elliott Hughesadb8c672012-03-06 16:49:32 -0800126 if (printMe) {
buzbee52a77fc2012-11-20 19:50:46 -0800127 char* decodedString = GetDalvikDisassembly(cUnit, *decoded_instruction,
Bill Buzbeea114add2012-05-03 15:00:40 -0700128 NULL);
buzbeecbd6d442012-11-17 14:11:25 -0800129 LOG(INFO) << codePtr << ": 0x" << std::hex << static_cast<int>(decoded_instruction->opcode)
Elliott Hughesadb8c672012-03-06 16:49:32 -0800130 << " " << decodedString;
131 }
132 return instruction->SizeInCodeUnits();
buzbee67bf8852011-08-17 17:51:35 -0700133}
134
135#define UNKNOWN_TARGET 0xffffffff
136
buzbee67bf8852011-08-17 17:51:35 -0700137/* Split an existing block from the specified code offset into two */
buzbee52a77fc2012-11-20 19:50:46 -0800138static BasicBlock *SplitBlock(CompilationUnit* cUnit, unsigned int codeOffset,
139 BasicBlock* origBlock, BasicBlock** immedPredBlockP)
buzbee67bf8852011-08-17 17:51:35 -0700140{
Bill Buzbeea114add2012-05-03 15:00:40 -0700141 MIR* insn = origBlock->firstMIRInsn;
142 while (insn) {
143 if (insn->offset == codeOffset) break;
144 insn = insn->next;
145 }
146 if (insn == NULL) {
147 LOG(FATAL) << "Break split failed";
148 }
buzbee52a77fc2012-11-20 19:50:46 -0800149 BasicBlock *bottomBlock = NewMemBB(cUnit, kDalvikByteCode,
Bill Buzbeea114add2012-05-03 15:00:40 -0700150 cUnit->numBlocks++);
buzbee52a77fc2012-11-20 19:50:46 -0800151 InsertGrowableList(cUnit, &cUnit->blockList, reinterpret_cast<uintptr_t>(bottomBlock));
buzbee67bf8852011-08-17 17:51:35 -0700152
Bill Buzbeea114add2012-05-03 15:00:40 -0700153 bottomBlock->startOffset = codeOffset;
154 bottomBlock->firstMIRInsn = insn;
155 bottomBlock->lastMIRInsn = origBlock->lastMIRInsn;
buzbee67bf8852011-08-17 17:51:35 -0700156
Bill Buzbeea114add2012-05-03 15:00:40 -0700157 /* Add it to the quick lookup cache */
158 cUnit->blockMap.Put(bottomBlock->startOffset, bottomBlock);
buzbee5b537102012-01-17 17:33:47 -0800159
Bill Buzbeea114add2012-05-03 15:00:40 -0700160 /* Handle the taken path */
161 bottomBlock->taken = origBlock->taken;
162 if (bottomBlock->taken) {
163 origBlock->taken = NULL;
buzbee52a77fc2012-11-20 19:50:46 -0800164 DeleteGrowableList(bottomBlock->taken->predecessors, reinterpret_cast<uintptr_t>(origBlock));
165 InsertGrowableList(cUnit, bottomBlock->taken->predecessors,
buzbeecbd6d442012-11-17 14:11:25 -0800166 reinterpret_cast<uintptr_t>(bottomBlock));
Bill Buzbeea114add2012-05-03 15:00:40 -0700167 }
168
169 /* Handle the fallthrough path */
Bill Buzbeea114add2012-05-03 15:00:40 -0700170 bottomBlock->fallThrough = origBlock->fallThrough;
171 origBlock->fallThrough = bottomBlock;
buzbee52a77fc2012-11-20 19:50:46 -0800172 InsertGrowableList(cUnit, bottomBlock->predecessors,
buzbeecbd6d442012-11-17 14:11:25 -0800173 reinterpret_cast<uintptr_t>(origBlock));
Bill Buzbeea114add2012-05-03 15:00:40 -0700174 if (bottomBlock->fallThrough) {
buzbee52a77fc2012-11-20 19:50:46 -0800175 DeleteGrowableList(bottomBlock->fallThrough->predecessors,
buzbeecbd6d442012-11-17 14:11:25 -0800176 reinterpret_cast<uintptr_t>(origBlock));
buzbee52a77fc2012-11-20 19:50:46 -0800177 InsertGrowableList(cUnit, bottomBlock->fallThrough->predecessors,
buzbeecbd6d442012-11-17 14:11:25 -0800178 reinterpret_cast<uintptr_t>(bottomBlock));
Bill Buzbeea114add2012-05-03 15:00:40 -0700179 }
180
181 /* Handle the successor list */
182 if (origBlock->successorBlockList.blockListType != kNotUsed) {
183 bottomBlock->successorBlockList = origBlock->successorBlockList;
184 origBlock->successorBlockList.blockListType = kNotUsed;
185 GrowableListIterator iterator;
186
buzbee52a77fc2012-11-20 19:50:46 -0800187 GrowableListIteratorInit(&bottomBlock->successorBlockList.blocks,
Bill Buzbeea114add2012-05-03 15:00:40 -0700188 &iterator);
189 while (true) {
190 SuccessorBlockInfo *successorBlockInfo =
buzbee52a77fc2012-11-20 19:50:46 -0800191 reinterpret_cast<SuccessorBlockInfo*>(GrowableListIteratorNext(&iterator));
Bill Buzbeea114add2012-05-03 15:00:40 -0700192 if (successorBlockInfo == NULL) break;
193 BasicBlock *bb = successorBlockInfo->block;
buzbee52a77fc2012-11-20 19:50:46 -0800194 DeleteGrowableList(bb->predecessors, reinterpret_cast<uintptr_t>(origBlock));
195 InsertGrowableList(cUnit, bb->predecessors, reinterpret_cast<uintptr_t>(bottomBlock));
buzbee67bf8852011-08-17 17:51:35 -0700196 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700197 }
buzbee67bf8852011-08-17 17:51:35 -0700198
Bill Buzbeea114add2012-05-03 15:00:40 -0700199 origBlock->lastMIRInsn = insn->prev;
buzbee67bf8852011-08-17 17:51:35 -0700200
Bill Buzbeea114add2012-05-03 15:00:40 -0700201 insn->prev->next = NULL;
202 insn->prev = NULL;
203 /*
204 * Update the immediate predecessor block pointer so that outgoing edges
205 * can be applied to the proper block.
206 */
207 if (immedPredBlockP) {
208 DCHECK_EQ(*immedPredBlockP, origBlock);
209 *immedPredBlockP = bottomBlock;
210 }
211 return bottomBlock;
buzbee67bf8852011-08-17 17:51:35 -0700212}
213
214/*
215 * Given a code offset, find out the block that starts with it. If the offset
buzbee9ab05de2012-01-18 15:43:48 -0800216 * is in the middle of an existing block, split it into two. If immedPredBlockP
217 * is not non-null and is the block being split, update *immedPredBlockP to
218 * point to the bottom block so that outgoing edges can be set up properly
219 * (by the caller)
buzbee5b537102012-01-17 17:33:47 -0800220 * Utilizes a map for fast lookup of the typical cases.
buzbee67bf8852011-08-17 17:51:35 -0700221 */
buzbee52a77fc2012-11-20 19:50:46 -0800222BasicBlock *FindBlock(CompilationUnit* cUnit, unsigned int codeOffset,
buzbee31a4a6f2012-02-28 15:36:15 -0800223 bool split, bool create, BasicBlock** immedPredBlockP)
buzbee67bf8852011-08-17 17:51:35 -0700224{
Bill Buzbeea114add2012-05-03 15:00:40 -0700225 GrowableList* blockList = &cUnit->blockList;
226 BasicBlock* bb;
227 unsigned int i;
228 SafeMap<unsigned int, BasicBlock*>::iterator it;
buzbee67bf8852011-08-17 17:51:35 -0700229
Bill Buzbeea114add2012-05-03 15:00:40 -0700230 it = cUnit->blockMap.find(codeOffset);
231 if (it != cUnit->blockMap.end()) {
232 return it->second;
233 } else if (!create) {
234 return NULL;
235 }
236
237 if (split) {
238 for (i = 0; i < blockList->numUsed; i++) {
buzbeecbd6d442012-11-17 14:11:25 -0800239 bb = reinterpret_cast<BasicBlock*>(blockList->elemList[i]);
Bill Buzbeea114add2012-05-03 15:00:40 -0700240 if (bb->blockType != kDalvikByteCode) continue;
241 /* Check if a branch jumps into the middle of an existing block */
242 if ((codeOffset > bb->startOffset) && (bb->lastMIRInsn != NULL) &&
243 (codeOffset <= bb->lastMIRInsn->offset)) {
buzbee52a77fc2012-11-20 19:50:46 -0800244 BasicBlock *newBB = SplitBlock(cUnit, codeOffset, bb,
Bill Buzbeea114add2012-05-03 15:00:40 -0700245 bb == *immedPredBlockP ?
246 immedPredBlockP : NULL);
247 return newBB;
248 }
buzbee5b537102012-01-17 17:33:47 -0800249 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700250 }
buzbee5b537102012-01-17 17:33:47 -0800251
Bill Buzbeea114add2012-05-03 15:00:40 -0700252 /* Create a new one */
buzbee52a77fc2012-11-20 19:50:46 -0800253 bb = NewMemBB(cUnit, kDalvikByteCode, cUnit->numBlocks++);
254 InsertGrowableList(cUnit, &cUnit->blockList, reinterpret_cast<uintptr_t>(bb));
Bill Buzbeea114add2012-05-03 15:00:40 -0700255 bb->startOffset = codeOffset;
256 cUnit->blockMap.Put(bb->startOffset, bb);
257 return bb;
buzbee67bf8852011-08-17 17:51:35 -0700258}
259
buzbeef58c12c2012-07-03 15:06:29 -0700260/* Find existing block */
buzbee52a77fc2012-11-20 19:50:46 -0800261BasicBlock* FindBlock(CompilationUnit* cUnit, unsigned int codeOffset)
buzbeef58c12c2012-07-03 15:06:29 -0700262{
buzbee52a77fc2012-11-20 19:50:46 -0800263 return FindBlock(cUnit, codeOffset, false, false, NULL);
buzbeef58c12c2012-07-03 15:06:29 -0700264}
265
buzbeead8f15e2012-06-18 14:49:45 -0700266/* Turn method name into a legal Linux file name */
buzbee52a77fc2012-11-20 19:50:46 -0800267void ReplaceSpecialChars(std::string& str)
buzbeead8f15e2012-06-18 14:49:45 -0700268{
269 static const struct { const char before; const char after; } match[] =
270 {{'/','-'}, {';','#'}, {' ','#'}, {'$','+'},
271 {'(','@'}, {')','@'}, {'<','='}, {'>','='}};
272 for (unsigned int i = 0; i < sizeof(match)/sizeof(match[0]); i++) {
273 std::replace(str.begin(), str.end(), match[i].before, match[i].after);
274 }
275}
276
buzbee67bf8852011-08-17 17:51:35 -0700277/* Dump the CFG into a DOT graph */
buzbee52a77fc2012-11-20 19:50:46 -0800278void DumpCFG(CompilationUnit* cUnit, const char* dirPrefix)
buzbee67bf8852011-08-17 17:51:35 -0700279{
Bill Buzbeea114add2012-05-03 15:00:40 -0700280 FILE* file;
buzbeead8f15e2012-06-18 14:49:45 -0700281 std::string fname(PrettyMethod(cUnit->method_idx, *cUnit->dex_file));
buzbee52a77fc2012-11-20 19:50:46 -0800282 ReplaceSpecialChars(fname);
buzbeead8f15e2012-06-18 14:49:45 -0700283 fname = StringPrintf("%s%s%x.dot", dirPrefix, fname.c_str(),
284 cUnit->entryBlock->fallThrough->startOffset);
285 file = fopen(fname.c_str(), "w");
Bill Buzbeea114add2012-05-03 15:00:40 -0700286 if (file == NULL) {
287 return;
288 }
289 fprintf(file, "digraph G {\n");
290
291 fprintf(file, " rankdir=TB\n");
292
293 int numReachableBlocks = cUnit->numReachableBlocks;
294 int idx;
295 const GrowableList *blockList = &cUnit->blockList;
296
297 for (idx = 0; idx < numReachableBlocks; idx++) {
298 int blockIdx = cUnit->dfsOrder.elemList[idx];
buzbee52a77fc2012-11-20 19:50:46 -0800299 BasicBlock *bb = reinterpret_cast<BasicBlock*>(GrowableListGetElement(blockList, blockIdx));
Bill Buzbeea114add2012-05-03 15:00:40 -0700300 if (bb == NULL) break;
buzbeed1643e42012-09-05 14:06:51 -0700301 if (bb->blockType == kDead) continue;
Bill Buzbeea114add2012-05-03 15:00:40 -0700302 if (bb->blockType == kEntryBlock) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700303 fprintf(file, " entry_%d [shape=Mdiamond];\n", bb->id);
Bill Buzbeea114add2012-05-03 15:00:40 -0700304 } else if (bb->blockType == kExitBlock) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700305 fprintf(file, " exit_%d [shape=Mdiamond];\n", bb->id);
Bill Buzbeea114add2012-05-03 15:00:40 -0700306 } else if (bb->blockType == kDalvikByteCode) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700307 fprintf(file, " block%04x_%d [shape=record,label = \"{ \\\n",
308 bb->startOffset, bb->id);
Bill Buzbeea114add2012-05-03 15:00:40 -0700309 const MIR *mir;
310 fprintf(file, " {block id %d\\l}%s\\\n", bb->id,
311 bb->firstMIRInsn ? " | " : " ");
312 for (mir = bb->firstMIRInsn; mir; mir = mir->next) {
313 fprintf(file, " {%04x %s\\l}%s\\\n", mir->offset,
buzbee52a77fc2012-11-20 19:50:46 -0800314 mir->ssaRep ? FullDisassembler(cUnit, mir) :
Bill Buzbeea114add2012-05-03 15:00:40 -0700315 Instruction::Name(mir->dalvikInsn.opcode),
316 mir->next ? " | " : " ");
317 }
318 fprintf(file, " }\"];\n\n");
319 } else if (bb->blockType == kExceptionHandling) {
320 char blockName[BLOCK_NAME_LEN];
321
buzbee52a77fc2012-11-20 19:50:46 -0800322 GetBlockName(bb, blockName);
Bill Buzbeea114add2012-05-03 15:00:40 -0700323 fprintf(file, " %s [shape=invhouse];\n", blockName);
buzbee67bf8852011-08-17 17:51:35 -0700324 }
buzbee67bf8852011-08-17 17:51:35 -0700325
Bill Buzbeea114add2012-05-03 15:00:40 -0700326 char blockName1[BLOCK_NAME_LEN], blockName2[BLOCK_NAME_LEN];
buzbee67bf8852011-08-17 17:51:35 -0700327
Bill Buzbeea114add2012-05-03 15:00:40 -0700328 if (bb->taken) {
buzbee52a77fc2012-11-20 19:50:46 -0800329 GetBlockName(bb, blockName1);
330 GetBlockName(bb->taken, blockName2);
Bill Buzbeea114add2012-05-03 15:00:40 -0700331 fprintf(file, " %s:s -> %s:n [style=dotted]\n",
332 blockName1, blockName2);
buzbee67bf8852011-08-17 17:51:35 -0700333 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700334 if (bb->fallThrough) {
buzbee52a77fc2012-11-20 19:50:46 -0800335 GetBlockName(bb, blockName1);
336 GetBlockName(bb->fallThrough, blockName2);
Bill Buzbeea114add2012-05-03 15:00:40 -0700337 fprintf(file, " %s:s -> %s:n\n", blockName1, blockName2);
338 }
339
340 if (bb->successorBlockList.blockListType != kNotUsed) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700341 fprintf(file, " succ%04x_%d [shape=%s,label = \"{ \\\n",
342 bb->startOffset, bb->id,
Bill Buzbeea114add2012-05-03 15:00:40 -0700343 (bb->successorBlockList.blockListType == kCatch) ?
344 "Mrecord" : "record");
345 GrowableListIterator iterator;
buzbee52a77fc2012-11-20 19:50:46 -0800346 GrowableListIteratorInit(&bb->successorBlockList.blocks,
Bill Buzbeea114add2012-05-03 15:00:40 -0700347 &iterator);
348 SuccessorBlockInfo *successorBlockInfo =
buzbee52a77fc2012-11-20 19:50:46 -0800349 reinterpret_cast<SuccessorBlockInfo*>(GrowableListIteratorNext(&iterator));
Bill Buzbeea114add2012-05-03 15:00:40 -0700350
351 int succId = 0;
352 while (true) {
353 if (successorBlockInfo == NULL) break;
354
355 BasicBlock *destBlock = successorBlockInfo->block;
356 SuccessorBlockInfo *nextSuccessorBlockInfo =
buzbee52a77fc2012-11-20 19:50:46 -0800357 reinterpret_cast<SuccessorBlockInfo*>(GrowableListIteratorNext(&iterator));
Bill Buzbeea114add2012-05-03 15:00:40 -0700358
359 fprintf(file, " {<f%d> %04x: %04x\\l}%s\\\n",
360 succId++,
361 successorBlockInfo->key,
362 destBlock->startOffset,
363 (nextSuccessorBlockInfo != NULL) ? " | " : " ");
364
365 successorBlockInfo = nextSuccessorBlockInfo;
366 }
367 fprintf(file, " }\"];\n\n");
368
buzbee52a77fc2012-11-20 19:50:46 -0800369 GetBlockName(bb, blockName1);
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700370 fprintf(file, " %s:s -> succ%04x_%d:n [style=dashed]\n",
371 blockName1, bb->startOffset, bb->id);
Bill Buzbeea114add2012-05-03 15:00:40 -0700372
373 if (bb->successorBlockList.blockListType == kPackedSwitch ||
374 bb->successorBlockList.blockListType == kSparseSwitch) {
375
buzbee52a77fc2012-11-20 19:50:46 -0800376 GrowableListIteratorInit(&bb->successorBlockList.blocks,
Bill Buzbeea114add2012-05-03 15:00:40 -0700377 &iterator);
378
379 succId = 0;
380 while (true) {
buzbeecbd6d442012-11-17 14:11:25 -0800381 SuccessorBlockInfo *successorBlockInfo =
buzbee52a77fc2012-11-20 19:50:46 -0800382 reinterpret_cast<SuccessorBlockInfo*>( GrowableListIteratorNext(&iterator));
Bill Buzbeea114add2012-05-03 15:00:40 -0700383 if (successorBlockInfo == NULL) break;
384
385 BasicBlock *destBlock = successorBlockInfo->block;
386
buzbee52a77fc2012-11-20 19:50:46 -0800387 GetBlockName(destBlock, blockName2);
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700388 fprintf(file, " succ%04x_%d:f%d:e -> %s:n\n", bb->startOffset,
389 bb->id, succId++, blockName2);
Bill Buzbeea114add2012-05-03 15:00:40 -0700390 }
391 }
392 }
393 fprintf(file, "\n");
394
395 /* Display the dominator tree */
buzbee52a77fc2012-11-20 19:50:46 -0800396 GetBlockName(bb, blockName1);
Bill Buzbeea114add2012-05-03 15:00:40 -0700397 fprintf(file, " cfg%s [label=\"%s\", shape=none];\n",
398 blockName1, blockName1);
399 if (bb->iDom) {
buzbee52a77fc2012-11-20 19:50:46 -0800400 GetBlockName(bb->iDom, blockName2);
Bill Buzbeea114add2012-05-03 15:00:40 -0700401 fprintf(file, " cfg%s:s -> cfg%s:n\n\n", blockName2, blockName1);
402 }
403 }
404 fprintf(file, "}\n");
405 fclose(file);
buzbee67bf8852011-08-17 17:51:35 -0700406}
407
408/* Verify if all the successor is connected with all the claimed predecessors */
buzbee52a77fc2012-11-20 19:50:46 -0800409static bool VerifyPredInfo(CompilationUnit* cUnit, BasicBlock* bb)
buzbee67bf8852011-08-17 17:51:35 -0700410{
Bill Buzbeea114add2012-05-03 15:00:40 -0700411 GrowableListIterator iter;
buzbee67bf8852011-08-17 17:51:35 -0700412
buzbee52a77fc2012-11-20 19:50:46 -0800413 GrowableListIteratorInit(bb->predecessors, &iter);
Bill Buzbeea114add2012-05-03 15:00:40 -0700414 while (true) {
buzbee52a77fc2012-11-20 19:50:46 -0800415 BasicBlock *predBB = reinterpret_cast<BasicBlock*>(GrowableListIteratorNext(&iter));
Bill Buzbeea114add2012-05-03 15:00:40 -0700416 if (!predBB) break;
417 bool found = false;
418 if (predBB->taken == bb) {
419 found = true;
420 } else if (predBB->fallThrough == bb) {
421 found = true;
422 } else if (predBB->successorBlockList.blockListType != kNotUsed) {
423 GrowableListIterator iterator;
buzbee52a77fc2012-11-20 19:50:46 -0800424 GrowableListIteratorInit(&predBB->successorBlockList.blocks,
Bill Buzbeea114add2012-05-03 15:00:40 -0700425 &iterator);
426 while (true) {
buzbeecbd6d442012-11-17 14:11:25 -0800427 SuccessorBlockInfo *successorBlockInfo =
buzbee52a77fc2012-11-20 19:50:46 -0800428 reinterpret_cast<SuccessorBlockInfo*>(GrowableListIteratorNext(&iterator));
Bill Buzbeea114add2012-05-03 15:00:40 -0700429 if (successorBlockInfo == NULL) break;
430 BasicBlock *succBB = successorBlockInfo->block;
431 if (succBB == bb) {
buzbee67bf8852011-08-17 17:51:35 -0700432 found = true;
Bill Buzbeea114add2012-05-03 15:00:40 -0700433 break;
buzbee67bf8852011-08-17 17:51:35 -0700434 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700435 }
buzbee67bf8852011-08-17 17:51:35 -0700436 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700437 if (found == false) {
438 char blockName1[BLOCK_NAME_LEN], blockName2[BLOCK_NAME_LEN];
buzbee52a77fc2012-11-20 19:50:46 -0800439 GetBlockName(bb, blockName1);
440 GetBlockName(predBB, blockName2);
441 DumpCFG(cUnit, "/sdcard/cfg/");
Bill Buzbeea114add2012-05-03 15:00:40 -0700442 LOG(FATAL) << "Successor " << blockName1 << "not found from "
443 << blockName2;
444 }
445 }
446 return true;
buzbee67bf8852011-08-17 17:51:35 -0700447}
448
449/* Identify code range in try blocks and set up the empty catch blocks */
buzbee52a77fc2012-11-20 19:50:46 -0800450static void ProcessTryCatchBlocks(CompilationUnit* cUnit)
buzbee67bf8852011-08-17 17:51:35 -0700451{
Bill Buzbeea114add2012-05-03 15:00:40 -0700452 const DexFile::CodeItem* code_item = cUnit->code_item;
453 int triesSize = code_item->tries_size_;
454 int offset;
buzbee67bf8852011-08-17 17:51:35 -0700455
Bill Buzbeea114add2012-05-03 15:00:40 -0700456 if (triesSize == 0) {
457 return;
458 }
459
460 ArenaBitVector* tryBlockAddr = cUnit->tryBlockAddr;
461
462 for (int i = 0; i < triesSize; i++) {
463 const DexFile::TryItem* pTry =
464 DexFile::GetTryItems(*code_item, i);
465 int startOffset = pTry->start_addr_;
466 int endOffset = startOffset + pTry->insn_count_;
467 for (offset = startOffset; offset < endOffset; offset++) {
buzbee52a77fc2012-11-20 19:50:46 -0800468 SetBit(cUnit, tryBlockAddr, offset);
buzbee67bf8852011-08-17 17:51:35 -0700469 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700470 }
buzbee67bf8852011-08-17 17:51:35 -0700471
Bill Buzbeea114add2012-05-03 15:00:40 -0700472 // Iterate over each of the handlers to enqueue the empty Catch blocks
473 const byte* handlers_ptr = DexFile::GetCatchHandlerData(*code_item, 0);
474 uint32_t handlers_size = DecodeUnsignedLeb128(&handlers_ptr);
475 for (uint32_t idx = 0; idx < handlers_size; idx++) {
476 CatchHandlerIterator iterator(handlers_ptr);
477 for (; iterator.HasNext(); iterator.Next()) {
478 uint32_t address = iterator.GetHandlerAddress();
buzbee52a77fc2012-11-20 19:50:46 -0800479 FindBlock(cUnit, address, false /* split */, true /*create*/,
Bill Buzbeea114add2012-05-03 15:00:40 -0700480 /* immedPredBlockP */ NULL);
buzbee67bf8852011-08-17 17:51:35 -0700481 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700482 handlers_ptr = iterator.EndDataPointer();
483 }
buzbee67bf8852011-08-17 17:51:35 -0700484}
485
Elliott Hughesadb8c672012-03-06 16:49:32 -0800486/* Process instructions with the kBranch flag */
buzbee52a77fc2012-11-20 19:50:46 -0800487static BasicBlock* ProcessCanBranch(CompilationUnit* cUnit, BasicBlock* curBlock,
488 MIR* insn, int curOffset, int width, int flags,
489 const uint16_t* codePtr, const uint16_t* codeEnd)
buzbee67bf8852011-08-17 17:51:35 -0700490{
Bill Buzbeea114add2012-05-03 15:00:40 -0700491 int target = curOffset;
492 switch (insn->dalvikInsn.opcode) {
493 case Instruction::GOTO:
494 case Instruction::GOTO_16:
495 case Instruction::GOTO_32:
buzbeecbd6d442012-11-17 14:11:25 -0800496 target += insn->dalvikInsn.vA;
Bill Buzbeea114add2012-05-03 15:00:40 -0700497 break;
498 case Instruction::IF_EQ:
499 case Instruction::IF_NE:
500 case Instruction::IF_LT:
501 case Instruction::IF_GE:
502 case Instruction::IF_GT:
503 case Instruction::IF_LE:
buzbee0967a252012-09-14 10:43:54 -0700504 curBlock->conditionalBranch = true;
buzbeecbd6d442012-11-17 14:11:25 -0800505 target += insn->dalvikInsn.vC;
Bill Buzbeea114add2012-05-03 15:00:40 -0700506 break;
507 case Instruction::IF_EQZ:
508 case Instruction::IF_NEZ:
509 case Instruction::IF_LTZ:
510 case Instruction::IF_GEZ:
511 case Instruction::IF_GTZ:
512 case Instruction::IF_LEZ:
buzbee0967a252012-09-14 10:43:54 -0700513 curBlock->conditionalBranch = true;
buzbeecbd6d442012-11-17 14:11:25 -0800514 target += insn->dalvikInsn.vB;
Bill Buzbeea114add2012-05-03 15:00:40 -0700515 break;
516 default:
buzbeecbd6d442012-11-17 14:11:25 -0800517 LOG(FATAL) << "Unexpected opcode(" << insn->dalvikInsn.opcode << ") with kBranch set";
Bill Buzbeea114add2012-05-03 15:00:40 -0700518 }
buzbee52a77fc2012-11-20 19:50:46 -0800519 BasicBlock *takenBlock = FindBlock(cUnit, target,
Bill Buzbeea114add2012-05-03 15:00:40 -0700520 /* split */
521 true,
522 /* create */
523 true,
524 /* immedPredBlockP */
525 &curBlock);
526 curBlock->taken = takenBlock;
buzbee52a77fc2012-11-20 19:50:46 -0800527 InsertGrowableList(cUnit, takenBlock->predecessors, reinterpret_cast<uintptr_t>(curBlock));
buzbee67bf8852011-08-17 17:51:35 -0700528
Bill Buzbeea114add2012-05-03 15:00:40 -0700529 /* Always terminate the current block for conditional branches */
530 if (flags & Instruction::kContinue) {
buzbee52a77fc2012-11-20 19:50:46 -0800531 BasicBlock *fallthroughBlock = FindBlock(cUnit,
Bill Buzbeea114add2012-05-03 15:00:40 -0700532 curOffset + width,
533 /*
534 * If the method is processed
535 * in sequential order from the
536 * beginning, we don't need to
537 * specify split for continue
538 * blocks. However, this
539 * routine can be called by
540 * compileLoop, which starts
541 * parsing the method from an
542 * arbitrary address in the
543 * method body.
544 */
545 true,
546 /* create */
547 true,
548 /* immedPredBlockP */
549 &curBlock);
550 curBlock->fallThrough = fallthroughBlock;
buzbee52a77fc2012-11-20 19:50:46 -0800551 InsertGrowableList(cUnit, fallthroughBlock->predecessors,
buzbeecbd6d442012-11-17 14:11:25 -0800552 reinterpret_cast<uintptr_t>(curBlock));
Bill Buzbeea114add2012-05-03 15:00:40 -0700553 } else if (codePtr < codeEnd) {
554 /* Create a fallthrough block for real instructions (incl. NOP) */
buzbee52a77fc2012-11-20 19:50:46 -0800555 if (ContentIsInsn(codePtr)) {
556 FindBlock(cUnit, curOffset + width,
Bill Buzbeea114add2012-05-03 15:00:40 -0700557 /* split */
558 false,
559 /* create */
560 true,
561 /* immedPredBlockP */
562 NULL);
buzbee67bf8852011-08-17 17:51:35 -0700563 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700564 }
565 return curBlock;
buzbee67bf8852011-08-17 17:51:35 -0700566}
567
Elliott Hughesadb8c672012-03-06 16:49:32 -0800568/* Process instructions with the kSwitch flag */
buzbee52a77fc2012-11-20 19:50:46 -0800569static void ProcessCanSwitch(CompilationUnit* cUnit, BasicBlock* curBlock,
570 MIR* insn, int curOffset, int width, int flags)
buzbee67bf8852011-08-17 17:51:35 -0700571{
buzbeecbd6d442012-11-17 14:11:25 -0800572 const uint16_t* switchData =
573 reinterpret_cast<const uint16_t*>(cUnit->insns + curOffset + insn->dalvikInsn.vB);
Bill Buzbeea114add2012-05-03 15:00:40 -0700574 int size;
buzbeecbd6d442012-11-17 14:11:25 -0800575 const int* keyTable;
576 const int* targetTable;
Bill Buzbeea114add2012-05-03 15:00:40 -0700577 int i;
578 int firstKey;
buzbee67bf8852011-08-17 17:51:35 -0700579
Bill Buzbeea114add2012-05-03 15:00:40 -0700580 /*
581 * Packed switch data format:
582 * ushort ident = 0x0100 magic value
583 * ushort size number of entries in the table
584 * int first_key first (and lowest) switch case value
585 * int targets[size] branch targets, relative to switch opcode
586 *
587 * Total size is (4+size*2) 16-bit code units.
588 */
589 if (insn->dalvikInsn.opcode == Instruction::PACKED_SWITCH) {
590 DCHECK_EQ(static_cast<int>(switchData[0]),
591 static_cast<int>(Instruction::kPackedSwitchSignature));
592 size = switchData[1];
593 firstKey = switchData[2] | (switchData[3] << 16);
buzbeecbd6d442012-11-17 14:11:25 -0800594 targetTable = reinterpret_cast<const int*>(&switchData[4]);
Bill Buzbeea114add2012-05-03 15:00:40 -0700595 keyTable = NULL; // Make the compiler happy
596 /*
597 * Sparse switch data format:
598 * ushort ident = 0x0200 magic value
599 * ushort size number of entries in the table; > 0
600 * int keys[size] keys, sorted low-to-high; 32-bit aligned
601 * int targets[size] branch targets, relative to switch opcode
602 *
603 * Total size is (2+size*4) 16-bit code units.
604 */
605 } else {
606 DCHECK_EQ(static_cast<int>(switchData[0]),
607 static_cast<int>(Instruction::kSparseSwitchSignature));
608 size = switchData[1];
buzbeecbd6d442012-11-17 14:11:25 -0800609 keyTable = reinterpret_cast<const int*>(&switchData[2]);
610 targetTable = reinterpret_cast<const int*>(&switchData[2 + size*2]);
Bill Buzbeea114add2012-05-03 15:00:40 -0700611 firstKey = 0; // To make the compiler happy
612 }
buzbee67bf8852011-08-17 17:51:35 -0700613
Bill Buzbeea114add2012-05-03 15:00:40 -0700614 if (curBlock->successorBlockList.blockListType != kNotUsed) {
615 LOG(FATAL) << "Successor block list already in use: "
buzbeecbd6d442012-11-17 14:11:25 -0800616 << static_cast<int>(curBlock->successorBlockList.blockListType);
Bill Buzbeea114add2012-05-03 15:00:40 -0700617 }
618 curBlock->successorBlockList.blockListType =
619 (insn->dalvikInsn.opcode == Instruction::PACKED_SWITCH) ?
620 kPackedSwitch : kSparseSwitch;
buzbee52a77fc2012-11-20 19:50:46 -0800621 CompilerInitGrowableList(cUnit, &curBlock->successorBlockList.blocks, size,
Bill Buzbeea114add2012-05-03 15:00:40 -0700622 kListSuccessorBlocks);
623
624 for (i = 0; i < size; i++) {
buzbee52a77fc2012-11-20 19:50:46 -0800625 BasicBlock *caseBlock = FindBlock(cUnit, curOffset + targetTable[i],
Bill Buzbeea114add2012-05-03 15:00:40 -0700626 /* split */
627 true,
628 /* create */
629 true,
630 /* immedPredBlockP */
631 &curBlock);
632 SuccessorBlockInfo *successorBlockInfo =
buzbee52a77fc2012-11-20 19:50:46 -0800633 static_cast<SuccessorBlockInfo*>(NewMem(cUnit, sizeof(SuccessorBlockInfo),
buzbeecbd6d442012-11-17 14:11:25 -0800634 false, kAllocSuccessor));
Bill Buzbeea114add2012-05-03 15:00:40 -0700635 successorBlockInfo->block = caseBlock;
636 successorBlockInfo->key =
Elliott Hughesadb8c672012-03-06 16:49:32 -0800637 (insn->dalvikInsn.opcode == Instruction::PACKED_SWITCH) ?
Bill Buzbeea114add2012-05-03 15:00:40 -0700638 firstKey + i : keyTable[i];
buzbee52a77fc2012-11-20 19:50:46 -0800639 InsertGrowableList(cUnit, &curBlock->successorBlockList.blocks,
buzbeecbd6d442012-11-17 14:11:25 -0800640 reinterpret_cast<uintptr_t>(successorBlockInfo));
buzbee52a77fc2012-11-20 19:50:46 -0800641 InsertGrowableList(cUnit, caseBlock->predecessors,
buzbeecbd6d442012-11-17 14:11:25 -0800642 reinterpret_cast<uintptr_t>(curBlock));
Bill Buzbeea114add2012-05-03 15:00:40 -0700643 }
644
645 /* Fall-through case */
buzbee52a77fc2012-11-20 19:50:46 -0800646 BasicBlock* fallthroughBlock = FindBlock(cUnit,
Bill Buzbeea114add2012-05-03 15:00:40 -0700647 curOffset + width,
648 /* split */
649 false,
650 /* create */
651 true,
652 /* immedPredBlockP */
653 NULL);
654 curBlock->fallThrough = fallthroughBlock;
buzbee52a77fc2012-11-20 19:50:46 -0800655 InsertGrowableList(cUnit, fallthroughBlock->predecessors,
buzbeecbd6d442012-11-17 14:11:25 -0800656 reinterpret_cast<uintptr_t>(curBlock));
buzbee67bf8852011-08-17 17:51:35 -0700657}
658
Elliott Hughesadb8c672012-03-06 16:49:32 -0800659/* Process instructions with the kThrow flag */
buzbee52a77fc2012-11-20 19:50:46 -0800660static BasicBlock* ProcessCanThrow(CompilationUnit* cUnit, BasicBlock* curBlock,
661 MIR* insn, int curOffset, int width, int flags,
662 ArenaBitVector* tryBlockAddr, const uint16_t* codePtr,
663 const uint16_t* codeEnd)
buzbee67bf8852011-08-17 17:51:35 -0700664{
Bill Buzbeea114add2012-05-03 15:00:40 -0700665 const DexFile::CodeItem* code_item = cUnit->code_item;
buzbee52a77fc2012-11-20 19:50:46 -0800666 bool inTryBlock = IsBitSet(tryBlockAddr, curOffset);
buzbee67bf8852011-08-17 17:51:35 -0700667
Bill Buzbeea114add2012-05-03 15:00:40 -0700668 /* In try block */
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700669 if (inTryBlock) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700670 CatchHandlerIterator iterator(*code_item, curOffset);
buzbee67bf8852011-08-17 17:51:35 -0700671
Bill Buzbeea114add2012-05-03 15:00:40 -0700672 if (curBlock->successorBlockList.blockListType != kNotUsed) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700673 LOG(INFO) << PrettyMethod(cUnit->method_idx, *cUnit->dex_file);
Bill Buzbeea114add2012-05-03 15:00:40 -0700674 LOG(FATAL) << "Successor block list already in use: "
buzbeecbd6d442012-11-17 14:11:25 -0800675 << static_cast<int>(curBlock->successorBlockList.blockListType);
buzbee67bf8852011-08-17 17:51:35 -0700676 }
677
Bill Buzbeea114add2012-05-03 15:00:40 -0700678 curBlock->successorBlockList.blockListType = kCatch;
buzbee52a77fc2012-11-20 19:50:46 -0800679 CompilerInitGrowableList(cUnit, &curBlock->successorBlockList.blocks, 2,
Bill Buzbeea114add2012-05-03 15:00:40 -0700680 kListSuccessorBlocks);
681
682 for (;iterator.HasNext(); iterator.Next()) {
buzbee52a77fc2012-11-20 19:50:46 -0800683 BasicBlock *catchBlock = FindBlock(cUnit, iterator.GetHandlerAddress(),
Bill Buzbeea114add2012-05-03 15:00:40 -0700684 false /* split*/,
685 false /* creat */,
686 NULL /* immedPredBlockP */);
687 catchBlock->catchEntry = true;
buzbee6459e7c2012-10-02 14:42:41 -0700688 cUnit->catches.insert(catchBlock->startOffset);
buzbeecbd6d442012-11-17 14:11:25 -0800689 SuccessorBlockInfo *successorBlockInfo = reinterpret_cast<SuccessorBlockInfo*>
buzbee52a77fc2012-11-20 19:50:46 -0800690 (NewMem(cUnit, sizeof(SuccessorBlockInfo), false, kAllocSuccessor));
Bill Buzbeea114add2012-05-03 15:00:40 -0700691 successorBlockInfo->block = catchBlock;
692 successorBlockInfo->key = iterator.GetHandlerTypeIndex();
buzbee52a77fc2012-11-20 19:50:46 -0800693 InsertGrowableList(cUnit, &curBlock->successorBlockList.blocks,
buzbeecbd6d442012-11-17 14:11:25 -0800694 reinterpret_cast<uintptr_t>(successorBlockInfo));
buzbee52a77fc2012-11-20 19:50:46 -0800695 InsertGrowableList(cUnit, catchBlock->predecessors,
buzbeecbd6d442012-11-17 14:11:25 -0800696 reinterpret_cast<uintptr_t>(curBlock));
buzbee67bf8852011-08-17 17:51:35 -0700697 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700698 } else {
buzbee52a77fc2012-11-20 19:50:46 -0800699 BasicBlock *ehBlock = NewMemBB(cUnit, kExceptionHandling,
Bill Buzbeea114add2012-05-03 15:00:40 -0700700 cUnit->numBlocks++);
701 curBlock->taken = ehBlock;
buzbee52a77fc2012-11-20 19:50:46 -0800702 InsertGrowableList(cUnit, &cUnit->blockList, reinterpret_cast<uintptr_t>(ehBlock));
Bill Buzbeea114add2012-05-03 15:00:40 -0700703 ehBlock->startOffset = curOffset;
buzbee52a77fc2012-11-20 19:50:46 -0800704 InsertGrowableList(cUnit, ehBlock->predecessors, reinterpret_cast<uintptr_t>(curBlock));
Bill Buzbeea114add2012-05-03 15:00:40 -0700705 }
706
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700707 if (insn->dalvikInsn.opcode == Instruction::THROW){
buzbee0967a252012-09-14 10:43:54 -0700708 curBlock->explicitThrow = true;
buzbee52a77fc2012-11-20 19:50:46 -0800709 if ((codePtr < codeEnd) && ContentIsInsn(codePtr)) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700710 // Force creation of new block following THROW via side-effect
buzbee52a77fc2012-11-20 19:50:46 -0800711 FindBlock(cUnit, curOffset + width, /* split */ false,
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700712 /* create */ true, /* immedPredBlockP */ NULL);
713 }
714 if (!inTryBlock) {
715 // Don't split a THROW that can't rethrow - we're done.
716 return curBlock;
Bill Buzbeea114add2012-05-03 15:00:40 -0700717 }
718 }
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700719
720 /*
721 * Split the potentially-throwing instruction into two parts.
722 * The first half will be a pseudo-op that captures the exception
723 * edges and terminates the basic block. It always falls through.
724 * Then, create a new basic block that begins with the throwing instruction
725 * (minus exceptions). Note: this new basic block must NOT be entered into
726 * the blockMap. If the potentially-throwing instruction is the target of a
727 * future branch, we need to find the check psuedo half. The new
728 * basic block containing the work portion of the instruction should
729 * only be entered via fallthrough from the block containing the
730 * pseudo exception edge MIR. Note also that this new block is
731 * not automatically terminated after the work portion, and may
732 * contain following instructions.
733 */
buzbee52a77fc2012-11-20 19:50:46 -0800734 BasicBlock *newBlock = NewMemBB(cUnit, kDalvikByteCode, cUnit->numBlocks++);
735 InsertGrowableList(cUnit, &cUnit->blockList, reinterpret_cast<uintptr_t>(newBlock));
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700736 newBlock->startOffset = insn->offset;
737 curBlock->fallThrough = newBlock;
buzbee52a77fc2012-11-20 19:50:46 -0800738 InsertGrowableList(cUnit, newBlock->predecessors, reinterpret_cast<uintptr_t>(curBlock));
739 MIR* newInsn = static_cast<MIR*>(NewMem(cUnit, sizeof(MIR), true, kAllocMIR));
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700740 *newInsn = *insn;
741 insn->dalvikInsn.opcode =
742 static_cast<Instruction::Code>(kMirOpCheck);
743 // Associate the two halves
744 insn->meta.throwInsn = newInsn;
745 newInsn->meta.throwInsn = insn;
buzbee52a77fc2012-11-20 19:50:46 -0800746 AppendMIR(newBlock, newInsn);
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700747 return newBlock;
buzbee67bf8852011-08-17 17:51:35 -0700748}
749
buzbee52a77fc2012-11-20 19:50:46 -0800750void CompilerInit(CompilationUnit* cUnit, const Compiler& compiler) {
751 if (!ArchInit()) {
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800752 LOG(FATAL) << "Failed to initialize oat";
753 }
buzbee52a77fc2012-11-20 19:50:46 -0800754 if (!HeapInit(cUnit)) {
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800755 LOG(FATAL) << "Failed to initialize oat heap";
756 }
757}
758
buzbee52a77fc2012-11-20 19:50:46 -0800759static CompiledMethod* CompileMethod(Compiler& compiler,
760 const CompilerBackend compilerBackend,
761 const DexFile::CodeItem* code_item,
762 uint32_t access_flags, InvokeType invoke_type,
763 uint32_t method_idx, jobject class_loader,
764 const DexFile& dex_file,
765 LLVMInfo* llvm_info)
buzbee67bf8852011-08-17 17:51:35 -0700766{
Bill Buzbeea114add2012-05-03 15:00:40 -0700767 VLOG(compiler) << "Compiling " << PrettyMethod(method_idx, dex_file) << "...";
Brian Carlstrom94496d32011-08-22 09:22:47 -0700768
buzbeeeaf09bc2012-11-15 14:51:41 -0800769 const uint16_t* codePtr = code_item->insns_;
770 const uint16_t* codeEnd = code_item->insns_ + code_item->insns_size_in_code_units_;
Bill Buzbeea114add2012-05-03 15:00:40 -0700771 int numBlocks = 0;
772 unsigned int curOffset = 0;
buzbee67bf8852011-08-17 17:51:35 -0700773
Bill Buzbeea114add2012-05-03 15:00:40 -0700774 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
775 UniquePtr<CompilationUnit> cUnit(new CompilationUnit);
buzbeeba938cb2012-02-03 14:47:55 -0800776
buzbee52a77fc2012-11-20 19:50:46 -0800777 CompilerInit(cUnit.get(), compiler);
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800778
Bill Buzbeea114add2012-05-03 15:00:40 -0700779 cUnit->compiler = &compiler;
780 cUnit->class_linker = class_linker;
781 cUnit->dex_file = &dex_file;
Bill Buzbeea114add2012-05-03 15:00:40 -0700782 cUnit->method_idx = method_idx;
783 cUnit->code_item = code_item;
784 cUnit->access_flags = access_flags;
Ian Rogers08f753d2012-08-24 14:35:25 -0700785 cUnit->invoke_type = invoke_type;
Bill Buzbeea114add2012-05-03 15:00:40 -0700786 cUnit->shorty = dex_file.GetMethodShorty(dex_file.GetMethodId(method_idx));
787 cUnit->instructionSet = compiler.GetInstructionSet();
788 cUnit->insns = code_item->insns_;
789 cUnit->insnsSize = code_item->insns_size_in_code_units_;
790 cUnit->numIns = code_item->ins_size_;
791 cUnit->numRegs = code_item->registers_size_ - cUnit->numIns;
792 cUnit->numOuts = code_item->outs_size_;
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700793 DCHECK((cUnit->instructionSet == kThumb2) ||
794 (cUnit->instructionSet == kX86) ||
795 (cUnit->instructionSet == kMips));
buzbeec531cef2012-10-18 07:09:20 -0700796 if ((compilerBackend == kQuickGBC) || (compilerBackend == kPortable)) {
buzbee85eee022012-07-16 22:12:38 -0700797 cUnit->genBitcode = true;
798 }
buzbeec531cef2012-10-18 07:09:20 -0700799 DCHECK_NE(compilerBackend, kIceland); // TODO: remove when Portable/Iceland merge complete
800 // TODO: remove this once x86 is tested
801 if (cUnit->genBitcode && (cUnit->instructionSet != kThumb2)) {
802 UNIMPLEMENTED(WARNING) << "GBC generation untested for non-Thumb targets";
803 }
804 cUnit->llvm_info = llvm_info;
Bill Buzbeea114add2012-05-03 15:00:40 -0700805 /* Adjust this value accordingly once inlining is performed */
806 cUnit->numDalvikRegisters = code_item->registers_size_;
807 // TODO: set this from command line
808 cUnit->compilerFlipMatch = false;
809 bool useMatch = !cUnit->compilerMethodMatch.empty();
810 bool match = useMatch && (cUnit->compilerFlipMatch ^
811 (PrettyMethod(method_idx, dex_file).find(cUnit->compilerMethodMatch) !=
812 std::string::npos));
813 if (!useMatch || match) {
814 cUnit->disableOpt = kCompilerOptimizerDisableFlags;
815 cUnit->enableDebug = kCompilerDebugFlags;
816 cUnit->printMe = VLOG_IS_ON(compiler) ||
817 (cUnit->enableDebug & (1 << kDebugVerbose));
818 }
buzbee6459e7c2012-10-02 14:42:41 -0700819#ifndef NDEBUG
buzbeec531cef2012-10-18 07:09:20 -0700820 if (cUnit->genBitcode) {
buzbee6459e7c2012-10-02 14:42:41 -0700821 cUnit->enableDebug |= (1 << kDebugVerifyBitcode);
buzbee6969d502012-06-15 16:40:31 -0700822 }
buzbee2cfc6392012-05-07 14:51:40 -0700823#endif
buzbee9281f002012-10-24 12:17:24 -0700824
825#if 1
826// *** Temporary ****
827// For use in debugging issue 7250540. Disable optimization in problem method
828// to see if monkey results change. Should be removed after monkey runs
829// complete.
830if (PrettyMethod(method_idx, dex_file).find("void com.android.inputmethod.keyboard.Key.<init>(android.content.res.Resources, com.android.inputmethod.keyboard.Keyboard$Params, com.android.inputmethod.keyboard.Keyboard$Builder$Row, org.xmlpull.v1.XmlPullParser)") != std::string::npos) {
831 cUnit->disableOpt |= (
832 (1 << kLoadStoreElimination) |
833 (1 << kLoadHoisting) |
834 (1 << kSuppressLoads) |
buzbee663c09f2012-10-31 05:21:00 -0700835 //(1 << kNullCheckElimination) |
836 //(1 << kPromoteRegs) |
buzbee9281f002012-10-24 12:17:24 -0700837 (1 << kTrackLiveTemps) |
buzbee663c09f2012-10-31 05:21:00 -0700838 //(1 << kSkipLargeMethodOptimization) |
839 //(1 << kSafeOptimizations) |
buzbee9281f002012-10-24 12:17:24 -0700840 (1 << kBBOpt) |
841 (1 << kMatch) |
buzbee663c09f2012-10-31 05:21:00 -0700842 //(1 << kPromoteCompilerTemps) |
843 0);
buzbee9281f002012-10-24 12:17:24 -0700844}
845#endif
846
jeffhao7fbee072012-08-24 17:56:54 -0700847 if (cUnit->instructionSet == kMips) {
848 // Disable some optimizations for mips for now
849 cUnit->disableOpt |= (
850 (1 << kLoadStoreElimination) |
851 (1 << kLoadHoisting) |
852 (1 << kSuppressLoads) |
853 (1 << kNullCheckElimination) |
854 (1 << kPromoteRegs) |
855 (1 << kTrackLiveTemps) |
856 (1 << kSkipLargeMethodOptimization) |
857 (1 << kSafeOptimizations) |
858 (1 << kBBOpt) |
859 (1 << kMatch) |
860 (1 << kPromoteCompilerTemps));
861 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700862
863 /* Gathering opcode stats? */
864 if (kCompilerDebugFlags & (1 << kDebugCountOpcodes)) {
buzbeecbd6d442012-11-17 14:11:25 -0800865 cUnit->opcodeCount =
buzbee52a77fc2012-11-20 19:50:46 -0800866 static_cast<int*>(NewMem(cUnit.get(), kNumPackedOpcodes * sizeof(int), true, kAllocMisc));
Bill Buzbeea114add2012-05-03 15:00:40 -0700867 }
868
869 /* Assume non-throwing leaf */
870 cUnit->attrs = (METHOD_IS_LEAF | METHOD_IS_THROW_FREE);
871
872 /* Initialize the block list, estimate size based on insnsSize */
buzbee52a77fc2012-11-20 19:50:46 -0800873 CompilerInitGrowableList(cUnit.get(), &cUnit->blockList, cUnit->insnsSize,
Bill Buzbeea114add2012-05-03 15:00:40 -0700874 kListBlockList);
875
876 /* Initialize the switchTables list */
buzbee52a77fc2012-11-20 19:50:46 -0800877 CompilerInitGrowableList(cUnit.get(), &cUnit->switchTables, 4,
Bill Buzbeea114add2012-05-03 15:00:40 -0700878 kListSwitchTables);
879
880 /* Intialize the fillArrayData list */
buzbee52a77fc2012-11-20 19:50:46 -0800881 CompilerInitGrowableList(cUnit.get(), &cUnit->fillArrayData, 4,
Bill Buzbeea114add2012-05-03 15:00:40 -0700882 kListFillArrayData);
883
884 /* Intialize the throwLaunchpads list, estimate size based on insnsSize */
buzbee52a77fc2012-11-20 19:50:46 -0800885 CompilerInitGrowableList(cUnit.get(), &cUnit->throwLaunchpads, cUnit->insnsSize,
Bill Buzbeea114add2012-05-03 15:00:40 -0700886 kListThrowLaunchPads);
887
888 /* Intialize the instrinsicLaunchpads list */
buzbee52a77fc2012-11-20 19:50:46 -0800889 CompilerInitGrowableList(cUnit.get(), &cUnit->intrinsicLaunchpads, 4,
Bill Buzbeea114add2012-05-03 15:00:40 -0700890 kListMisc);
891
892
893 /* Intialize the suspendLaunchpads list */
buzbee52a77fc2012-11-20 19:50:46 -0800894 CompilerInitGrowableList(cUnit.get(), &cUnit->suspendLaunchpads, 2048,
Bill Buzbeea114add2012-05-03 15:00:40 -0700895 kListSuspendLaunchPads);
896
897 /* Allocate the bit-vector to track the beginning of basic blocks */
buzbee52a77fc2012-11-20 19:50:46 -0800898 ArenaBitVector *tryBlockAddr = AllocBitVector(cUnit.get(),
Bill Buzbeea114add2012-05-03 15:00:40 -0700899 cUnit->insnsSize,
900 true /* expandable */);
901 cUnit->tryBlockAddr = tryBlockAddr;
902
903 /* Create the default entry and exit blocks and enter them to the list */
buzbee52a77fc2012-11-20 19:50:46 -0800904 BasicBlock *entryBlock = NewMemBB(cUnit.get(), kEntryBlock, numBlocks++);
905 BasicBlock *exitBlock = NewMemBB(cUnit.get(), kExitBlock, numBlocks++);
Bill Buzbeea114add2012-05-03 15:00:40 -0700906
907 cUnit->entryBlock = entryBlock;
908 cUnit->exitBlock = exitBlock;
909
buzbee52a77fc2012-11-20 19:50:46 -0800910 InsertGrowableList(cUnit.get(), &cUnit->blockList, reinterpret_cast<uintptr_t>(entryBlock));
911 InsertGrowableList(cUnit.get(), &cUnit->blockList, reinterpret_cast<uintptr_t>(exitBlock));
Bill Buzbeea114add2012-05-03 15:00:40 -0700912
913 /* Current block to record parsed instructions */
buzbee52a77fc2012-11-20 19:50:46 -0800914 BasicBlock *curBlock = NewMemBB(cUnit.get(), kDalvikByteCode, numBlocks++);
Bill Buzbeea114add2012-05-03 15:00:40 -0700915 curBlock->startOffset = 0;
buzbee52a77fc2012-11-20 19:50:46 -0800916 InsertGrowableList(cUnit.get(), &cUnit->blockList, reinterpret_cast<uintptr_t>(curBlock));
Bill Buzbeea114add2012-05-03 15:00:40 -0700917 /* Add first block to the fast lookup cache */
918 cUnit->blockMap.Put(curBlock->startOffset, curBlock);
919 entryBlock->fallThrough = curBlock;
buzbee52a77fc2012-11-20 19:50:46 -0800920 InsertGrowableList(cUnit.get(), curBlock->predecessors,
buzbeecbd6d442012-11-17 14:11:25 -0800921 reinterpret_cast<uintptr_t>(entryBlock));
Bill Buzbeea114add2012-05-03 15:00:40 -0700922
923 /*
924 * Store back the number of blocks since new blocks may be created of
925 * accessing cUnit.
926 */
927 cUnit->numBlocks = numBlocks;
928
929 /* Identify code range in try blocks and set up the empty catch blocks */
buzbee52a77fc2012-11-20 19:50:46 -0800930 ProcessTryCatchBlocks(cUnit.get());
Bill Buzbeea114add2012-05-03 15:00:40 -0700931
932 /* Set up for simple method detection */
933 int numPatterns = sizeof(specialPatterns)/sizeof(specialPatterns[0]);
934 bool livePattern = (numPatterns > 0) && !(cUnit->disableOpt & (1 << kMatch));
buzbeecbd6d442012-11-17 14:11:25 -0800935 bool* deadPattern =
buzbee52a77fc2012-11-20 19:50:46 -0800936 static_cast<bool*>(NewMem(cUnit.get(), sizeof(bool) * numPatterns, true, kAllocMisc));
Bill Buzbeea114add2012-05-03 15:00:40 -0700937 SpecialCaseHandler specialCase = kNoHandler;
938 int patternPos = 0;
939
940 /* Parse all instructions and put them into containing basic blocks */
941 while (codePtr < codeEnd) {
buzbee52a77fc2012-11-20 19:50:46 -0800942 MIR *insn = static_cast<MIR *>(NewMem(cUnit.get(), sizeof(MIR), true, kAllocMIR));
Bill Buzbeea114add2012-05-03 15:00:40 -0700943 insn->offset = curOffset;
buzbee52a77fc2012-11-20 19:50:46 -0800944 int width = ParseInsn(cUnit.get(), codePtr, &insn->dalvikInsn, false);
Bill Buzbeea114add2012-05-03 15:00:40 -0700945 insn->width = width;
946 Instruction::Code opcode = insn->dalvikInsn.opcode;
947 if (cUnit->opcodeCount != NULL) {
948 cUnit->opcodeCount[static_cast<int>(opcode)]++;
buzbee44b412b2012-02-04 08:50:53 -0800949 }
950
Bill Buzbeea114add2012-05-03 15:00:40 -0700951 /* Terminate when the data section is seen */
952 if (width == 0)
953 break;
954
955 /* Possible simple method? */
956 if (livePattern) {
957 livePattern = false;
958 specialCase = kNoHandler;
959 for (int i = 0; i < numPatterns; i++) {
960 if (!deadPattern[i]) {
961 if (specialPatterns[i].opcodes[patternPos] == opcode) {
962 livePattern = true;
963 specialCase = specialPatterns[i].handlerCode;
964 } else {
965 deadPattern[i] = true;
966 }
967 }
968 }
969 patternPos++;
buzbeea7c12682012-03-19 13:13:53 -0700970 }
971
buzbee52a77fc2012-11-20 19:50:46 -0800972 AppendMIR(curBlock, insn);
buzbeecefd1872011-09-09 09:59:52 -0700973
Bill Buzbeea114add2012-05-03 15:00:40 -0700974 codePtr += width;
Ian Rogersa75a0132012-09-28 11:41:42 -0700975 int flags = Instruction::FlagsOf(insn->dalvikInsn.opcode);
buzbee67bf8852011-08-17 17:51:35 -0700976
Bill Buzbeea114add2012-05-03 15:00:40 -0700977 int dfFlags = oatDataFlowAttributes[insn->dalvikInsn.opcode];
buzbee67bf8852011-08-17 17:51:35 -0700978
Bill Buzbeea114add2012-05-03 15:00:40 -0700979 if (dfFlags & DF_HAS_DEFS) {
buzbeebff24652012-05-06 16:22:05 -0700980 cUnit->defCount += (dfFlags & DF_A_WIDE) ? 2 : 1;
Bill Buzbeea114add2012-05-03 15:00:40 -0700981 }
buzbee67bf8852011-08-17 17:51:35 -0700982
Bill Buzbeea114add2012-05-03 15:00:40 -0700983 if (flags & Instruction::kBranch) {
buzbee52a77fc2012-11-20 19:50:46 -0800984 curBlock = ProcessCanBranch(cUnit.get(), curBlock, insn, curOffset,
Bill Buzbeea114add2012-05-03 15:00:40 -0700985 width, flags, codePtr, codeEnd);
986 } else if (flags & Instruction::kReturn) {
987 curBlock->fallThrough = exitBlock;
buzbee52a77fc2012-11-20 19:50:46 -0800988 InsertGrowableList(cUnit.get(), exitBlock->predecessors,
buzbeecbd6d442012-11-17 14:11:25 -0800989 reinterpret_cast<uintptr_t>(curBlock));
Bill Buzbeea114add2012-05-03 15:00:40 -0700990 /*
991 * Terminate the current block if there are instructions
992 * afterwards.
993 */
994 if (codePtr < codeEnd) {
995 /*
996 * Create a fallthrough block for real instructions
997 * (incl. NOP).
998 */
buzbee52a77fc2012-11-20 19:50:46 -0800999 if (ContentIsInsn(codePtr)) {
1000 FindBlock(cUnit.get(), curOffset + width,
Bill Buzbeea114add2012-05-03 15:00:40 -07001001 /* split */
1002 false,
1003 /* create */
1004 true,
1005 /* immedPredBlockP */
1006 NULL);
1007 }
1008 }
1009 } else if (flags & Instruction::kThrow) {
buzbee52a77fc2012-11-20 19:50:46 -08001010 curBlock = ProcessCanThrow(cUnit.get(), curBlock, insn, curOffset,
Bill Buzbeec9f40dd2012-08-15 11:35:25 -07001011 width, flags, tryBlockAddr, codePtr, codeEnd);
Bill Buzbeea114add2012-05-03 15:00:40 -07001012 } else if (flags & Instruction::kSwitch) {
buzbee52a77fc2012-11-20 19:50:46 -08001013 ProcessCanSwitch(cUnit.get(), curBlock, insn, curOffset, width, flags);
Bill Buzbeea114add2012-05-03 15:00:40 -07001014 }
1015 curOffset += width;
buzbee52a77fc2012-11-20 19:50:46 -08001016 BasicBlock *nextBlock = FindBlock(cUnit.get(), curOffset,
Bill Buzbeea114add2012-05-03 15:00:40 -07001017 /* split */
1018 false,
1019 /* create */
1020 false,
1021 /* immedPredBlockP */
1022 NULL);
1023 if (nextBlock) {
1024 /*
1025 * The next instruction could be the target of a previously parsed
1026 * forward branch so a block is already created. If the current
1027 * instruction is not an unconditional branch, connect them through
1028 * the fall-through link.
1029 */
1030 DCHECK(curBlock->fallThrough == NULL ||
1031 curBlock->fallThrough == nextBlock ||
1032 curBlock->fallThrough == exitBlock);
buzbee5ade1d22011-09-09 14:44:52 -07001033
Bill Buzbeea114add2012-05-03 15:00:40 -07001034 if ((curBlock->fallThrough == NULL) && (flags & Instruction::kContinue)) {
1035 curBlock->fallThrough = nextBlock;
buzbee52a77fc2012-11-20 19:50:46 -08001036 InsertGrowableList(cUnit.get(), nextBlock->predecessors,
buzbeecbd6d442012-11-17 14:11:25 -08001037 reinterpret_cast<uintptr_t>(curBlock));
Bill Buzbeea114add2012-05-03 15:00:40 -07001038 }
1039 curBlock = nextBlock;
1040 }
1041 }
buzbeefc9e6fa2012-03-23 15:14:29 -07001042
Bill Buzbeea114add2012-05-03 15:00:40 -07001043 if (!(cUnit->disableOpt & (1 << kSkipLargeMethodOptimization))) {
1044 if ((cUnit->numBlocks > MANY_BLOCKS) ||
1045 ((cUnit->numBlocks > MANY_BLOCKS_INITIALIZER) &&
1046 PrettyMethod(method_idx, dex_file, false).find("init>") !=
1047 std::string::npos)) {
1048 cUnit->qdMode = true;
1049 }
1050 }
buzbeefc9e6fa2012-03-23 15:14:29 -07001051
Bill Buzbeea114add2012-05-03 15:00:40 -07001052 if (cUnit->qdMode) {
buzbeed1643e42012-09-05 14:06:51 -07001053 // Bitcode generation requires full dataflow analysis
buzbeec531cef2012-10-18 07:09:20 -07001054 cUnit->disableDataflow = !cUnit->genBitcode;
Bill Buzbeea114add2012-05-03 15:00:40 -07001055 // Disable optimization which require dataflow/ssa
buzbeec531cef2012-10-18 07:09:20 -07001056 cUnit->disableOpt |= (1 << kBBOpt) | (1 << kPromoteRegs) | (1 << kNullCheckElimination);
Bill Buzbeea114add2012-05-03 15:00:40 -07001057 if (cUnit->printMe) {
1058 LOG(INFO) << "QD mode enabled: "
1059 << PrettyMethod(method_idx, dex_file)
buzbeec531cef2012-10-18 07:09:20 -07001060 << " num blocks: " << cUnit->numBlocks;
Bill Buzbeea114add2012-05-03 15:00:40 -07001061 }
1062 }
buzbeec1f45042011-09-21 16:03:19 -07001063
Bill Buzbeea114add2012-05-03 15:00:40 -07001064 if (cUnit->printMe) {
buzbee52a77fc2012-11-20 19:50:46 -08001065 DumpCompilationUnit(cUnit.get());
Bill Buzbeea114add2012-05-03 15:00:40 -07001066 }
buzbee67bf8852011-08-17 17:51:35 -07001067
buzbee0967a252012-09-14 10:43:54 -07001068 /* Do a code layout pass */
buzbee52a77fc2012-11-20 19:50:46 -08001069 CodeLayout(cUnit.get());
buzbee0967a252012-09-14 10:43:54 -07001070
Bill Buzbeea114add2012-05-03 15:00:40 -07001071 if (cUnit->enableDebug & (1 << kDebugVerifyDataflow)) {
1072 /* Verify if all blocks are connected as claimed */
buzbee52a77fc2012-11-20 19:50:46 -08001073 DataFlowAnalysisDispatcher(cUnit.get(), VerifyPredInfo, kAllNodes,
Bill Buzbeea114add2012-05-03 15:00:40 -07001074 false /* isIterative */);
1075 }
buzbee67bf8852011-08-17 17:51:35 -07001076
Bill Buzbeea114add2012-05-03 15:00:40 -07001077 /* Perform SSA transformation for the whole method */
buzbee52a77fc2012-11-20 19:50:46 -08001078 SSATransformation(cUnit.get());
buzbee67bf8852011-08-17 17:51:35 -07001079
buzbee2cfc6392012-05-07 14:51:40 -07001080 /* Do constant propagation */
1081 // TODO: Probably need to make these expandable to support new ssa names
1082 // introducted during MIR optimization passes
buzbee52a77fc2012-11-20 19:50:46 -08001083 cUnit->isConstantV = AllocBitVector(cUnit.get(), cUnit->numSSARegs,
buzbee2cfc6392012-05-07 14:51:40 -07001084 false /* not expandable */);
1085 cUnit->constantValues =
buzbee52a77fc2012-11-20 19:50:46 -08001086 static_cast<int*>(NewMem(cUnit.get(), sizeof(int) * cUnit->numSSARegs, true, kAllocDFInfo));
1087 DataFlowAnalysisDispatcher(cUnit.get(), DoConstantPropogation,
buzbee2cfc6392012-05-07 14:51:40 -07001088 kAllNodes,
1089 false /* isIterative */);
1090
Bill Buzbeea114add2012-05-03 15:00:40 -07001091 /* Detect loops */
buzbee52a77fc2012-11-20 19:50:46 -08001092 LoopDetection(cUnit.get());
buzbee67bf8852011-08-17 17:51:35 -07001093
Bill Buzbeea114add2012-05-03 15:00:40 -07001094 /* Count uses */
buzbee52a77fc2012-11-20 19:50:46 -08001095 MethodUseCount(cUnit.get());
buzbee67bf8852011-08-17 17:51:35 -07001096
Bill Buzbeea114add2012-05-03 15:00:40 -07001097 /* Perform null check elimination */
buzbee52a77fc2012-11-20 19:50:46 -08001098 NullCheckElimination(cUnit.get());
Bill Buzbeea114add2012-05-03 15:00:40 -07001099
buzbeed1643e42012-09-05 14:06:51 -07001100 /* Combine basic blocks where possible */
buzbee52a77fc2012-11-20 19:50:46 -08001101 BasicBlockCombine(cUnit.get());
buzbeed1643e42012-09-05 14:06:51 -07001102
Bill Buzbeea114add2012-05-03 15:00:40 -07001103 /* Do some basic block optimizations */
buzbee52a77fc2012-11-20 19:50:46 -08001104 BasicBlockOptimization(cUnit.get());
Bill Buzbeea114add2012-05-03 15:00:40 -07001105
buzbeed1643e42012-09-05 14:06:51 -07001106 if (cUnit->enableDebug & (1 << kDebugDumpCheckStats)) {
buzbee52a77fc2012-11-20 19:50:46 -08001107 DumpCheckStats(cUnit.get());
buzbeed1643e42012-09-05 14:06:51 -07001108 }
1109
buzbee52a77fc2012-11-20 19:50:46 -08001110 CompilerInitializeRegAlloc(cUnit.get()); // Needs to happen after SSA naming
Bill Buzbeea114add2012-05-03 15:00:40 -07001111
1112 /* Allocate Registers using simple local allocation scheme */
buzbee52a77fc2012-11-20 19:50:46 -08001113 SimpleRegAlloc(cUnit.get());
Bill Buzbeea114add2012-05-03 15:00:40 -07001114
buzbee2cfc6392012-05-07 14:51:40 -07001115 /* Go the LLVM path? */
1116 if (cUnit->genBitcode) {
1117 // MIR->Bitcode
buzbee52a77fc2012-11-20 19:50:46 -08001118 MethodMIR2Bitcode(cUnit.get());
buzbeec531cef2012-10-18 07:09:20 -07001119 if (compilerBackend == kPortable) {
buzbeeabc4c6b2012-08-23 08:17:15 -07001120 // all done
buzbee52a77fc2012-11-20 19:50:46 -08001121 ArenaReset(cUnit.get());
buzbeeabc4c6b2012-08-23 08:17:15 -07001122 return NULL;
1123 }
buzbee2cfc6392012-05-07 14:51:40 -07001124 // Bitcode->LIR
buzbee52a77fc2012-11-20 19:50:46 -08001125 MethodBitcode2LIR(cUnit.get());
buzbee2cfc6392012-05-07 14:51:40 -07001126 } else {
buzbee2cfc6392012-05-07 14:51:40 -07001127 if (specialCase != kNoHandler) {
1128 /*
1129 * Custom codegen for special cases. If for any reason the
1130 * special codegen doesn't succeed, cUnit->firstLIRInsn will
1131 * set to NULL;
1132 */
buzbee52a77fc2012-11-20 19:50:46 -08001133 SpecialMIR2LIR(cUnit.get(), specialCase);
buzbee2cfc6392012-05-07 14:51:40 -07001134 }
buzbee67bf8852011-08-17 17:51:35 -07001135
buzbee2cfc6392012-05-07 14:51:40 -07001136 /* Convert MIR to LIR, etc. */
1137 if (cUnit->firstLIRInsn == NULL) {
buzbee52a77fc2012-11-20 19:50:46 -08001138 MethodMIR2LIR(cUnit.get());
buzbee2cfc6392012-05-07 14:51:40 -07001139 }
Bill Buzbeea114add2012-05-03 15:00:40 -07001140 }
buzbee67bf8852011-08-17 17:51:35 -07001141
Bill Buzbeea114add2012-05-03 15:00:40 -07001142 // Debugging only
1143 if (cUnit->enableDebug & (1 << kDebugDumpCFG)) {
buzbee52a77fc2012-11-20 19:50:46 -08001144 DumpCFG(cUnit.get(), "/sdcard/cfg/");
Bill Buzbeea114add2012-05-03 15:00:40 -07001145 }
buzbee16da88c2012-03-20 10:38:17 -07001146
Bill Buzbeea114add2012-05-03 15:00:40 -07001147 /* Method is not empty */
1148 if (cUnit->firstLIRInsn) {
buzbee67bf8852011-08-17 17:51:35 -07001149
Bill Buzbeea114add2012-05-03 15:00:40 -07001150 // mark the targets of switch statement case labels
buzbee52a77fc2012-11-20 19:50:46 -08001151 ProcessSwitchTables(cUnit.get());
buzbee67bf8852011-08-17 17:51:35 -07001152
Bill Buzbeea114add2012-05-03 15:00:40 -07001153 /* Convert LIR into machine code. */
buzbee52a77fc2012-11-20 19:50:46 -08001154 AssembleLIR(cUnit.get());
buzbee99ba9642012-01-25 14:23:14 -08001155
Elliott Hughes3b6baaa2011-10-14 19:13:56 -07001156 if (cUnit->printMe) {
buzbee52a77fc2012-11-20 19:50:46 -08001157 CodegenDump(cUnit.get());
buzbee67bf8852011-08-17 17:51:35 -07001158 }
1159
Bill Buzbeea114add2012-05-03 15:00:40 -07001160 if (cUnit->opcodeCount != NULL) {
1161 LOG(INFO) << "Opcode Count";
1162 for (int i = 0; i < kNumPackedOpcodes; i++) {
1163 if (cUnit->opcodeCount[i] != 0) {
1164 LOG(INFO) << "-C- "
1165 << Instruction::Name(static_cast<Instruction::Code>(i))
1166 << " " << cUnit->opcodeCount[i];
buzbee67bf8852011-08-17 17:51:35 -07001167 }
Bill Buzbeea114add2012-05-03 15:00:40 -07001168 }
1169 }
1170 }
buzbeea7c12682012-03-19 13:13:53 -07001171
Bill Buzbeea114add2012-05-03 15:00:40 -07001172 // Combine vmap tables - core regs, then fp regs - into vmapTable
1173 std::vector<uint16_t> vmapTable;
buzbeeca7a5e42012-08-20 11:12:18 -07001174 // Core regs may have been inserted out of order - sort first
1175 std::sort(cUnit->coreVmapTable.begin(), cUnit->coreVmapTable.end());
Bill Buzbeea114add2012-05-03 15:00:40 -07001176 for (size_t i = 0 ; i < cUnit->coreVmapTable.size(); i++) {
buzbeeca7a5e42012-08-20 11:12:18 -07001177 // Copy, stripping out the phys register sort key
1178 vmapTable.push_back(~(-1 << VREG_NUM_WIDTH) & cUnit->coreVmapTable[i]);
Bill Buzbeea114add2012-05-03 15:00:40 -07001179 }
1180 // If we have a frame, push a marker to take place of lr
1181 if (cUnit->frameSize > 0) {
1182 vmapTable.push_back(INVALID_VREG);
1183 } else {
1184 DCHECK_EQ(__builtin_popcount(cUnit->coreSpillMask), 0);
1185 DCHECK_EQ(__builtin_popcount(cUnit->fpSpillMask), 0);
1186 }
buzbeeca7a5e42012-08-20 11:12:18 -07001187 // Combine vmap tables - core regs, then fp regs. fp regs already sorted
Bill Buzbeea114add2012-05-03 15:00:40 -07001188 for (uint32_t i = 0; i < cUnit->fpVmapTable.size(); i++) {
1189 vmapTable.push_back(cUnit->fpVmapTable[i]);
1190 }
1191 CompiledMethod* result =
1192 new CompiledMethod(cUnit->instructionSet, cUnit->codeBuffer,
Bill Buzbeea5b30242012-09-28 07:19:44 -07001193 cUnit->frameSize, cUnit->coreSpillMask, cUnit->fpSpillMask,
1194 cUnit->combinedMappingTable, vmapTable, cUnit->nativeGcMap);
buzbee67bf8852011-08-17 17:51:35 -07001195
Bill Buzbeea114add2012-05-03 15:00:40 -07001196 VLOG(compiler) << "Compiled " << PrettyMethod(method_idx, dex_file)
1197 << " (" << (cUnit->codeBuffer.size() * sizeof(cUnit->codeBuffer[0]))
1198 << " bytes)";
buzbee5abfa3e2012-01-31 17:01:43 -08001199
1200#ifdef WITH_MEMSTATS
Bill Buzbeea114add2012-05-03 15:00:40 -07001201 if (cUnit->enableDebug & (1 << kDebugShowMemoryUsage)) {
buzbee52a77fc2012-11-20 19:50:46 -08001202 DumpMemStats(cUnit.get());
Bill Buzbeea114add2012-05-03 15:00:40 -07001203 }
buzbee5abfa3e2012-01-31 17:01:43 -08001204#endif
buzbee67bf8852011-08-17 17:51:35 -07001205
buzbee52a77fc2012-11-20 19:50:46 -08001206 ArenaReset(cUnit.get());
buzbeeba938cb2012-02-03 14:47:55 -08001207
Bill Buzbeea114add2012-05-03 15:00:40 -07001208 return result;
buzbee67bf8852011-08-17 17:51:35 -07001209}
1210
buzbee52a77fc2012-11-20 19:50:46 -08001211CompiledMethod* CompileOneMethod(Compiler& compiler,
buzbeec531cef2012-10-18 07:09:20 -07001212 const CompilerBackend backend,
buzbeeabc4c6b2012-08-23 08:17:15 -07001213 const DexFile::CodeItem* code_item,
1214 uint32_t access_flags, InvokeType invoke_type,
1215 uint32_t method_idx, jobject class_loader,
buzbeec531cef2012-10-18 07:09:20 -07001216 const DexFile& dex_file,
1217 LLVMInfo* llvmInfo)
buzbeeabc4c6b2012-08-23 08:17:15 -07001218{
buzbee52a77fc2012-11-20 19:50:46 -08001219 return CompileMethod(compiler, backend, code_item, access_flags, invoke_type, method_idx, class_loader,
buzbeec531cef2012-10-18 07:09:20 -07001220 dex_file, llvmInfo);
buzbeeabc4c6b2012-08-23 08:17:15 -07001221}
1222
Elliott Hughes11d1b0c2012-01-23 16:57:47 -08001223} // namespace art
Elliott Hughesb3bd5f02012-03-08 21:05:27 -08001224
Bill Buzbeea114add2012-05-03 15:00:40 -07001225extern "C" art::CompiledMethod*
buzbeec531cef2012-10-18 07:09:20 -07001226 ArtQuickCompileMethod(art::Compiler& compiler,
1227 const art::DexFile::CodeItem* code_item,
1228 uint32_t access_flags, art::InvokeType invoke_type,
1229 uint32_t method_idx, jobject class_loader,
1230 const art::DexFile& dex_file)
Elliott Hughesb3bd5f02012-03-08 21:05:27 -08001231{
buzbeec531cef2012-10-18 07:09:20 -07001232 // TODO: check method fingerprint here to determine appropriate backend type. Until then, use build default
1233 art::CompilerBackend backend = compiler.GetCompilerBackend();
buzbee52a77fc2012-11-20 19:50:46 -08001234 return art::CompileOneMethod(compiler, backend, code_item, access_flags, invoke_type,
buzbeec531cef2012-10-18 07:09:20 -07001235 method_idx, class_loader, dex_file, NULL /* use thread llvmInfo */);
Elliott Hughesb3bd5f02012-03-08 21:05:27 -08001236}