codegen_util.cc revision f943914730db8ad2ff03d49a2cacd31885d08fd7
1e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee/*
2e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee * Copyright (C) 2011 The Android Open Source Project
3e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee *
4e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee * Licensed under the Apache License, Version 2.0 (the "License");
5e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee * you may not use this file except in compliance with the License.
6e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee * You may obtain a copy of the License at
7e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee *
8e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee *      http://www.apache.org/licenses/LICENSE-2.0
9e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee *
10e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee * Unless required by applicable law or agreed to in writing, software
11e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee * distributed under the License is distributed on an "AS IS" BASIS,
12e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee * See the License for the specific language governing permissions and
14e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee * limitations under the License.
15e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee */
16e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee
177940e44f4517de5e2634a7e07d58d0fb26160513Brian Carlstrom#include "dex/compiler_internals.h"
184f6ad8ab428038129b2d0d6c40b7fd625cca15e1Ian Rogers#include "dex_file-inl.h"
190c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers#include "gc_map.h"
2092cf83e001357329cbf41fa15a6e053fab6f4933Nicolas Geoffray#include "gc_map_builder.h"
2196faf5b363d922ae91cf25404dee0e87c740c7c5Ian Rogers#include "mapping_table.h"
228d3a117b374352a1853fae9b7306afeaaa9e3b91Ian Rogers#include "mir_to_lir-inl.h"
235816ed48bc339c983b40dc493e96b97821ce7966Vladimir Marko#include "dex/quick/dex_file_method_inliner.h"
245816ed48bc339c983b40dc493e96b97821ce7966Vladimir Marko#include "dex/quick/dex_file_to_method_inliner_map.h"
25c7f832061fea59fd6abd125f26c8ca1faec695a5Vladimir Marko#include "dex/verification_results.h"
262730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko#include "dex/verified_method.h"
270c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers#include "verifier/dex_gc_map.h"
280c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers#include "verifier/method_verifier.h"
292e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko#include "vmap_table.h"
300c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers
31e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbeenamespace art {
32e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee
3306606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Markonamespace {
3406606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko
3506606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko/* Dump a mapping table */
3606606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Markotemplate <typename It>
3706606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Markovoid DumpMappingTable(const char* table_name, const char* descriptor, const char* name,
3806606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko                      const Signature& signature, uint32_t size, It first) {
3906606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  if (size != 0) {
40107c31e598b649a8bb8d959d6a0377937e63e624Ian Rogers    std::string line(StringPrintf("\n  %s %s%s_%s_table[%u] = {", table_name,
4106606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko                     descriptor, name, signature.ToString().c_str(), size));
4206606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    std::replace(line.begin(), line.end(), ';', '_');
4306606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    LOG(INFO) << line;
4406606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    for (uint32_t i = 0; i != size; ++i) {
4506606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      line = StringPrintf("    {0x%05x, 0x%04x},", first.NativePcOffset(), first.DexPc());
4606606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      ++first;
4706606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      LOG(INFO) << line;
4806606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    }
4906606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    LOG(INFO) <<"  };\n\n";
5006606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  }
5106606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko}
5206606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko
5306606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko}  // anonymous namespace
5406606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko
552ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstrombool Mir2Lir::IsInexpensiveConstant(RegLocation rl_src) {
564ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee  bool res = false;
574ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee  if (rl_src.is_const) {
584ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee    if (rl_src.wide) {
594ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee      if (rl_src.fp) {
601fd3346740dfb7f47be9922312b68a4227fada96buzbee         res = InexpensiveConstantDouble(mir_graph_->ConstantValueWide(rl_src));
614ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee      } else {
621fd3346740dfb7f47be9922312b68a4227fada96buzbee         res = InexpensiveConstantLong(mir_graph_->ConstantValueWide(rl_src));
634ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee      }
644ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee    } else {
654ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee      if (rl_src.fp) {
661fd3346740dfb7f47be9922312b68a4227fada96buzbee         res = InexpensiveConstantFloat(mir_graph_->ConstantValue(rl_src));
674ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee      } else {
681fd3346740dfb7f47be9922312b68a4227fada96buzbee         res = InexpensiveConstantInt(mir_graph_->ConstantValue(rl_src));
694ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee      }
704ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee    }
714ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee  }
724ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee  return res;
734ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee}
744ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee
752ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid Mir2Lir::MarkSafepointPC(LIR* inst) {
76b48819db07f9a0992a72173380c24249d7fc648abuzbee  DCHECK(!inst->flags.use_def_invalid);
77b48819db07f9a0992a72173380c24249d7fc648abuzbee  inst->u.m.def_mask = ENCODE_ALL;
781fd3346740dfb7f47be9922312b68a4227fada96buzbee  LIR* safepoint_pc = NewLIR0(kPseudoSafepointPC);
79b48819db07f9a0992a72173380c24249d7fc648abuzbee  DCHECK_EQ(safepoint_pc->u.m.def_mask, ENCODE_ALL);
8002031b185b4653e6c72e21f7a51238b903f6d638buzbee}
8102031b185b4653e6c72e21f7a51238b903f6d638buzbee
82252254b130067cd7a5071865e793966871ae0246buzbee/* Remove a LIR from the list. */
83252254b130067cd7a5071865e793966871ae0246buzbeevoid Mir2Lir::UnlinkLIR(LIR* lir) {
84252254b130067cd7a5071865e793966871ae0246buzbee  if (UNLIKELY(lir == first_lir_insn_)) {
85252254b130067cd7a5071865e793966871ae0246buzbee    first_lir_insn_ = lir->next;
86252254b130067cd7a5071865e793966871ae0246buzbee    if (lir->next != NULL) {
87252254b130067cd7a5071865e793966871ae0246buzbee      lir->next->prev = NULL;
88252254b130067cd7a5071865e793966871ae0246buzbee    } else {
89252254b130067cd7a5071865e793966871ae0246buzbee      DCHECK(lir->next == NULL);
90252254b130067cd7a5071865e793966871ae0246buzbee      DCHECK(lir == last_lir_insn_);
91252254b130067cd7a5071865e793966871ae0246buzbee      last_lir_insn_ = NULL;
92252254b130067cd7a5071865e793966871ae0246buzbee    }
93252254b130067cd7a5071865e793966871ae0246buzbee  } else if (lir == last_lir_insn_) {
94252254b130067cd7a5071865e793966871ae0246buzbee    last_lir_insn_ = lir->prev;
95252254b130067cd7a5071865e793966871ae0246buzbee    lir->prev->next = NULL;
96252254b130067cd7a5071865e793966871ae0246buzbee  } else if ((lir->prev != NULL) && (lir->next != NULL)) {
97252254b130067cd7a5071865e793966871ae0246buzbee    lir->prev->next = lir->next;
98252254b130067cd7a5071865e793966871ae0246buzbee    lir->next->prev = lir->prev;
99252254b130067cd7a5071865e793966871ae0246buzbee  }
100252254b130067cd7a5071865e793966871ae0246buzbee}
101252254b130067cd7a5071865e793966871ae0246buzbee
102cbd6d44c0a94f3d26671b5325aa21bbf1335ffe8buzbee/* Convert an instruction to a NOP */
103df62950e7a32031b82360c407d46a37b94188fbbBrian Carlstromvoid Mir2Lir::NopLIR(LIR* lir) {
104fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  lir->flags.is_nop = true;
105252254b130067cd7a5071865e793966871ae0246buzbee  if (!cu_->verbose) {
106252254b130067cd7a5071865e793966871ae0246buzbee    UnlinkLIR(lir);
107252254b130067cd7a5071865e793966871ae0246buzbee  }
108cbd6d44c0a94f3d26671b5325aa21bbf1335ffe8buzbee}
109cbd6d44c0a94f3d26671b5325aa21bbf1335ffe8buzbee
1102ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid Mir2Lir::SetMemRefType(LIR* lir, bool is_load, int mem_type) {
111fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  uint64_t *mask_ptr;
112f69863b3039fc621ff4250e262d2a024d5e79ec8Brian Carlstrom  uint64_t mask = ENCODE_MEM;
1131fd3346740dfb7f47be9922312b68a4227fada96buzbee  DCHECK(GetTargetInstFlags(lir->opcode) & (IS_LOAD | IS_STORE));
114b48819db07f9a0992a72173380c24249d7fc648abuzbee  DCHECK(!lir->flags.use_def_invalid);
115fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  if (is_load) {
116b48819db07f9a0992a72173380c24249d7fc648abuzbee    mask_ptr = &lir->u.m.use_mask;
117a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  } else {
118b48819db07f9a0992a72173380c24249d7fc648abuzbee    mask_ptr = &lir->u.m.def_mask;
119a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
120a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  /* Clear out the memref flags */
121fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  *mask_ptr &= ~mask;
122a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  /* ..and then add back the one we need */
123fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  switch (mem_type) {
124a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kLiteral:
125fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      DCHECK(is_load);
126fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      *mask_ptr |= ENCODE_LITERAL;
127a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
128a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kDalvikReg:
129fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      *mask_ptr |= ENCODE_DALVIK_REG;
130a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
131a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kHeapRef:
132fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      *mask_ptr |= ENCODE_HEAP_REF;
133a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
134a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kMustNotAlias:
135a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      /* Currently only loads can be marked as kMustNotAlias */
1361fd3346740dfb7f47be9922312b68a4227fada96buzbee      DCHECK(!(GetTargetInstFlags(lir->opcode) & IS_STORE));
137fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      *mask_ptr |= ENCODE_MUST_NOT_ALIAS;
138a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
139a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    default:
140fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      LOG(FATAL) << "Oat: invalid memref kind - " << mem_type;
141a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
14231a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee}
14331a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee
14431a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee/*
145b5d09b2f87202bc132ac3991d4b6d71f4f6d9264Ian Rogers * Mark load/store instructions that access Dalvik registers through the stack.
14631a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee */
1471fd3346740dfb7f47be9922312b68a4227fada96buzbeevoid Mir2Lir::AnnotateDalvikRegAccess(LIR* lir, int reg_id, bool is_load,
1482ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstrom                                      bool is64bit) {
1491fd3346740dfb7f47be9922312b68a4227fada96buzbee  SetMemRefType(lir, is_load, kDalvikReg);
15031a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee
151a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  /*
152fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee   * Store the Dalvik register id in alias_info. Mark the MSB if it is a 64-bit
153a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   * access.
154a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   */
155b48819db07f9a0992a72173380c24249d7fc648abuzbee  lir->flags.alias_info = ENCODE_ALIAS_INFO(reg_id, is64bit);
15631a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee}
15731a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee
15831a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee/*
1595de3494e4297c0d480409da3fecee39173f1d4e1buzbee * Debugging macros
1605de3494e4297c0d480409da3fecee39173f1d4e1buzbee */
1615de3494e4297c0d480409da3fecee39173f1d4e1buzbee#define DUMP_RESOURCE_MASK(X)
1625de3494e4297c0d480409da3fecee39173f1d4e1buzbee
1635de3494e4297c0d480409da3fecee39173f1d4e1buzbee/* Pretty-print a LIR instruction */
1642ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid Mir2Lir::DumpLIRInsn(LIR* lir, unsigned char* base_addr) {
165a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  int offset = lir->offset;
166a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  int dest = lir->operands[0];
1671fd3346740dfb7f47be9922312b68a4227fada96buzbee  const bool dump_nop = (cu_->enable_debug & (1 << kDebugShowNops));
168a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee
169a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  /* Handle pseudo-ops individually, and all regular insns as a group */
170a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  switch (lir->opcode) {
171a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kPseudoMethodEntry:
172a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      LOG(INFO) << "-------- method entry "
1731fd3346740dfb7f47be9922312b68a4227fada96buzbee                << PrettyMethod(cu_->method_idx, *cu_->dex_file);
174a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
175a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kPseudoMethodExit:
176a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      LOG(INFO) << "-------- Method_Exit";
177a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
178a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kPseudoBarrier:
179a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      LOG(INFO) << "-------- BARRIER";
180a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
181a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kPseudoEntryBlock:
182a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      LOG(INFO) << "-------- entry offset: 0x" << std::hex << dest;
183a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
184a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kPseudoDalvikByteCodeBoundary:
1854ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee      if (lir->operands[0] == 0) {
1860d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee         // NOTE: only used for debug listings.
1870d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee         lir->operands[0] = WrapPointer(ArenaStrdup("No instruction string"));
1884ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee      }
189a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      LOG(INFO) << "-------- dalvik offset: 0x" << std::hex
1900b1191cfece83f6f8d4101575a06555a2d13387aBill Buzbee                << lir->dalvik_offset << " @ "
1910b1191cfece83f6f8d4101575a06555a2d13387aBill Buzbee                << reinterpret_cast<char*>(UnwrapPointer(lir->operands[0]));
192a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
193a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kPseudoExitBlock:
194a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      LOG(INFO) << "-------- exit offset: 0x" << std::hex << dest;
195a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
196a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kPseudoPseudoAlign4:
197fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      LOG(INFO) << reinterpret_cast<uintptr_t>(base_addr) + offset << " (0x" << std::hex
198a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee                << offset << "): .align4";
199a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
200a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kPseudoEHBlockLabel:
201a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      LOG(INFO) << "Exception_Handling:";
202a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
203a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kPseudoTargetLabel:
204a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kPseudoNormalBlockLabel:
205cbd6d44c0a94f3d26671b5325aa21bbf1335ffe8buzbee      LOG(INFO) << "L" << reinterpret_cast<void*>(lir) << ":";
206a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
207a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kPseudoThrowTarget:
208cbd6d44c0a94f3d26671b5325aa21bbf1335ffe8buzbee      LOG(INFO) << "LT" << reinterpret_cast<void*>(lir) << ":";
209a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
210a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kPseudoIntrinsicRetry:
211cbd6d44c0a94f3d26671b5325aa21bbf1335ffe8buzbee      LOG(INFO) << "IR" << reinterpret_cast<void*>(lir) << ":";
212a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
213a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kPseudoSuspendTarget:
214cbd6d44c0a94f3d26671b5325aa21bbf1335ffe8buzbee      LOG(INFO) << "LS" << reinterpret_cast<void*>(lir) << ":";
215a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
2168320f3867c02bae9bef6cdab267820cb7b412781buzbee    case kPseudoSafepointPC:
217fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      LOG(INFO) << "LsafepointPC_0x" << std::hex << lir->offset << "_" << lir->dalvik_offset << ":";
2188320f3867c02bae9bef6cdab267820cb7b412781buzbee      break;
219a5b3024aed77a8204d5fb48ba7f763fb8c60fa76Bill Buzbee    case kPseudoExportedPC:
220fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      LOG(INFO) << "LexportedPC_0x" << std::hex << lir->offset << "_" << lir->dalvik_offset << ":";
221a5b3024aed77a8204d5fb48ba7f763fb8c60fa76Bill Buzbee      break;
222a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    case kPseudoCaseLabel:
223cbd6d44c0a94f3d26671b5325aa21bbf1335ffe8buzbee      LOG(INFO) << "LC" << reinterpret_cast<void*>(lir) << ": Case target 0x"
224a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee                << std::hex << lir->operands[0] << "|" << std::dec <<
225a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee        lir->operands[0];
226a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
227a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    default:
228fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      if (lir->flags.is_nop && !dump_nop) {
229a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee        break;
230a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      } else {
2311fd3346740dfb7f47be9922312b68a4227fada96buzbee        std::string op_name(BuildInsnString(GetTargetInstName(lir->opcode),
23202031b185b4653e6c72e21f7a51238b903f6d638buzbee                                               lir, base_addr));
2331fd3346740dfb7f47be9922312b68a4227fada96buzbee        std::string op_operands(BuildInsnString(GetTargetInstFmt(lir->opcode),
23402031b185b4653e6c72e21f7a51238b903f6d638buzbee                                                    lir, base_addr));
235107c31e598b649a8bb8d959d6a0377937e63e624Ian Rogers        LOG(INFO) << StringPrintf("%5p: %-9s%s%s",
236107c31e598b649a8bb8d959d6a0377937e63e624Ian Rogers                                  base_addr + offset,
237a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee                                  op_name.c_str(), op_operands.c_str(),
238fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee                                  lir->flags.is_nop ? "(nop)" : "");
239a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      }
240a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      break;
241a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
242a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee
243b48819db07f9a0992a72173380c24249d7fc648abuzbee  if (lir->u.m.use_mask && (!lir->flags.is_nop || dump_nop)) {
244b48819db07f9a0992a72173380c24249d7fc648abuzbee    DUMP_RESOURCE_MASK(DumpResourceMask(lir, lir->u.m.use_mask, "use"));
245a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
246b48819db07f9a0992a72173380c24249d7fc648abuzbee  if (lir->u.m.def_mask && (!lir->flags.is_nop || dump_nop)) {
247b48819db07f9a0992a72173380c24249d7fc648abuzbee    DUMP_RESOURCE_MASK(DumpResourceMask(lir, lir->u.m.def_mask, "def"));
248a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
2495de3494e4297c0d480409da3fecee39173f1d4e1buzbee}
2505de3494e4297c0d480409da3fecee39173f1d4e1buzbee
2512ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid Mir2Lir::DumpPromotionMap() {
252da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru  int num_regs = cu_->num_dalvik_registers + mir_graph_->GetNumUsedCompilerTemps();
253fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  for (int i = 0; i < num_regs; i++) {
2541fd3346740dfb7f47be9922312b68a4227fada96buzbee    PromotionMap v_reg_map = promotion_map_[i];
255a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    std::string buf;
256fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    if (v_reg_map.fp_location == kLocPhysReg) {
2571fd3346740dfb7f47be9922312b68a4227fada96buzbee      StringAppendF(&buf, " : s%d", v_reg_map.FpReg & FpRegMask());
258a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    }
2599c044ce5f76e9bfa17c4c1979e9f8c99ae100695buzbee
260a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    std::string buf3;
2611fd3346740dfb7f47be9922312b68a4227fada96buzbee    if (i < cu_->num_dalvik_registers) {
262a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      StringAppendF(&buf3, "%02d", i);
2631fd3346740dfb7f47be9922312b68a4227fada96buzbee    } else if (i == mir_graph_->GetMethodSReg()) {
264a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      buf3 = "Method*";
265a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    } else {
2661fd3346740dfb7f47be9922312b68a4227fada96buzbee      StringAppendF(&buf3, "ct%d", i - cu_->num_dalvik_registers);
2675de3494e4297c0d480409da3fecee39173f1d4e1buzbee    }
268a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee
269a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    LOG(INFO) << StringPrintf("V[%s] -> %s%d%s", buf3.c_str(),
270fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee                              v_reg_map.core_location == kLocPhysReg ?
271fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee                              "r" : "SP+", v_reg_map.core_location == kLocPhysReg ?
2721fd3346740dfb7f47be9922312b68a4227fada96buzbee                              v_reg_map.core_reg : SRegOffset(i),
273a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee                              buf.c_str());
274a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
2755de3494e4297c0d480409da3fecee39173f1d4e1buzbee}
2765de3494e4297c0d480409da3fecee39173f1d4e1buzbee
2775de3494e4297c0d480409da3fecee39173f1d4e1buzbee/* Dump instructions and constant pool contents */
2782ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid Mir2Lir::CodegenDump() {
279a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  LOG(INFO) << "Dumping LIR insns for "
2801fd3346740dfb7f47be9922312b68a4227fada96buzbee            << PrettyMethod(cu_->method_idx, *cu_->dex_file);
281fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  LIR* lir_insn;
2821fd3346740dfb7f47be9922312b68a4227fada96buzbee  int insns_size = cu_->code_item->insns_size_in_code_units_;
2831fd3346740dfb7f47be9922312b68a4227fada96buzbee
2841fd3346740dfb7f47be9922312b68a4227fada96buzbee  LOG(INFO) << "Regs (excluding ins) : " << cu_->num_regs;
2851fd3346740dfb7f47be9922312b68a4227fada96buzbee  LOG(INFO) << "Ins          : " << cu_->num_ins;
2861fd3346740dfb7f47be9922312b68a4227fada96buzbee  LOG(INFO) << "Outs         : " << cu_->num_outs;
2871fd3346740dfb7f47be9922312b68a4227fada96buzbee  LOG(INFO) << "CoreSpills       : " << num_core_spills_;
2881fd3346740dfb7f47be9922312b68a4227fada96buzbee  LOG(INFO) << "FPSpills       : " << num_fp_spills_;
289da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru  LOG(INFO) << "CompilerTemps    : " << mir_graph_->GetNumUsedCompilerTemps();
2901fd3346740dfb7f47be9922312b68a4227fada96buzbee  LOG(INFO) << "Frame size       : " << frame_size_;
2911fd3346740dfb7f47be9922312b68a4227fada96buzbee  LOG(INFO) << "code size is " << total_size_ <<
292fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    " bytes, Dalvik size is " << insns_size * 2;
293a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  LOG(INFO) << "expansion factor: "
2941fd3346740dfb7f47be9922312b68a4227fada96buzbee            << static_cast<float>(total_size_) / static_cast<float>(insns_size * 2);
2951fd3346740dfb7f47be9922312b68a4227fada96buzbee  DumpPromotionMap();
2961fd3346740dfb7f47be9922312b68a4227fada96buzbee  for (lir_insn = first_lir_insn_; lir_insn != NULL; lir_insn = lir_insn->next) {
2971fd3346740dfb7f47be9922312b68a4227fada96buzbee    DumpLIRInsn(lir_insn, 0);
298a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
2991fd3346740dfb7f47be9922312b68a4227fada96buzbee  for (lir_insn = literal_list_; lir_insn != NULL; lir_insn = lir_insn->next) {
300fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    LOG(INFO) << StringPrintf("%x (%04x): .word (%#x)", lir_insn->offset, lir_insn->offset,
301fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee                              lir_insn->operands[0]);
302a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
303a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee
304a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  const DexFile::MethodId& method_id =
3051fd3346740dfb7f47be9922312b68a4227fada96buzbee      cu_->dex_file->GetMethodId(cu_->method_idx);
306d91d6d6a80748f277fd938a412211e5af28913b1Ian Rogers  const Signature signature = cu_->dex_file->GetMethodSignature(method_id);
307d91d6d6a80748f277fd938a412211e5af28913b1Ian Rogers  const char* name = cu_->dex_file->GetMethodName(method_id);
308d91d6d6a80748f277fd938a412211e5af28913b1Ian Rogers  const char* descriptor(cu_->dex_file->GetMethodDeclaringClassDescriptor(method_id));
309a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee
310a5b3024aed77a8204d5fb48ba7f763fb8c60fa76Bill Buzbee  // Dump mapping tables
31106606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  if (!encoded_mapping_table_.empty()) {
31206606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    MappingTable table(&encoded_mapping_table_[0]);
31306606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    DumpMappingTable("PC2Dex_MappingTable", descriptor, name, signature,
31406606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko                     table.PcToDexSize(), table.PcToDexBegin());
31506606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    DumpMappingTable("Dex2PC_MappingTable", descriptor, name, signature,
31606606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko                     table.DexToPcSize(), table.DexToPcBegin());
31706606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  }
3185de3494e4297c0d480409da3fecee39173f1d4e1buzbee}
3195de3494e4297c0d480409da3fecee39173f1d4e1buzbee
32031a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee/*
32131a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee * Search the existing constants in the literal pool for an exact or close match
32231a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee * within specified delta (greater or equal to 0).
32331a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee */
3242ce745c06271d5223d57dbf08117b20d5b60694aBrian CarlstromLIR* Mir2Lir::ScanLiteralPool(LIR* data_target, int value, unsigned int delta) {
325fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  while (data_target) {
326fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    if ((static_cast<unsigned>(value - data_target->operands[0])) <= delta)
327fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      return data_target;
328fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    data_target = data_target->next;
329a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
330a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  return NULL;
33131a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee}
33231a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee
33331a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee/* Search the existing constants in the literal pool for an exact wide match */
3342ce745c06271d5223d57dbf08117b20d5b60694aBrian CarlstromLIR* Mir2Lir::ScanLiteralPoolWide(LIR* data_target, int val_lo, int val_hi) {
335fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  bool lo_match = false;
336fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  LIR* lo_target = NULL;
337fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  while (data_target) {
338fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    if (lo_match && (data_target->operands[0] == val_hi)) {
3394ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee      // Record high word in case we need to expand this later.
3404ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee      lo_target->operands[1] = val_hi;
341fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      return lo_target;
34231a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee    }
343fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    lo_match = false;
344fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    if (data_target->operands[0] == val_lo) {
345fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      lo_match = true;
346fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      lo_target = data_target;
347a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    }
348fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    data_target = data_target->next;
349a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
350a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  return NULL;
35131a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee}
35231a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee
35331a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee/*
35431a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee * The following are building blocks to insert constants into the pool or
35531a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee * instruction streams.
35631a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee */
35731a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee
3584ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee/* Add a 32-bit constant to the constant pool */
3592ce745c06271d5223d57dbf08117b20d5b60694aBrian CarlstromLIR* Mir2Lir::AddWordData(LIR* *constant_list_p, int value) {
360a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  /* Add the constant to the literal pool */
361fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  if (constant_list_p) {
36283cc7ae96d4176533dd0391a1591d321b0a87f4fVladimir Marko    LIR* new_value = static_cast<LIR*>(arena_->Alloc(sizeof(LIR), kArenaAllocData));
363fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    new_value->operands[0] = value;
364fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    new_value->next = *constant_list_p;
365fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    *constant_list_p = new_value;
366b48819db07f9a0992a72173380c24249d7fc648abuzbee    estimated_native_code_size_ += sizeof(value);
367fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    return new_value;
368a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
369a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  return NULL;
37031a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee}
37131a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee
37231a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee/* Add a 64-bit constant to the constant pool or mixed with code */
3732ce745c06271d5223d57dbf08117b20d5b60694aBrian CarlstromLIR* Mir2Lir::AddWideData(LIR* *constant_list_p, int val_lo, int val_hi) {
3741fd3346740dfb7f47be9922312b68a4227fada96buzbee  AddWordData(constant_list_p, val_hi);
3751fd3346740dfb7f47be9922312b68a4227fada96buzbee  return AddWordData(constant_list_p, val_lo);
37631a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee}
37731a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee
3782da882315a61072664f7ce3c212307342e907207Andreas Gampestatic void Push32(std::vector<uint8_t>&buf, int data) {
379df62950e7a32031b82360c407d46a37b94188fbbBrian Carlstrom  buf.push_back(data & 0xff);
380df62950e7a32031b82360c407d46a37b94188fbbBrian Carlstrom  buf.push_back((data >> 8) & 0xff);
381df62950e7a32031b82360c407d46a37b94188fbbBrian Carlstrom  buf.push_back((data >> 16) & 0xff);
382df62950e7a32031b82360c407d46a37b94188fbbBrian Carlstrom  buf.push_back((data >> 24) & 0xff);
383e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee}
384e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee
3852da882315a61072664f7ce3c212307342e907207Andreas Gampe// Push 8 bytes on 64-bit target systems; 4 on 32-bit target systems.
3862da882315a61072664f7ce3c212307342e907207Andreas Gampestatic void PushPointer(std::vector<uint8_t>&buf, const void* pointer, bool target64) {
3872da882315a61072664f7ce3c212307342e907207Andreas Gampe  uint64_t data = reinterpret_cast<uintptr_t>(pointer);
3882da882315a61072664f7ce3c212307342e907207Andreas Gampe  if (target64) {
3892da882315a61072664f7ce3c212307342e907207Andreas Gampe    Push32(buf, data & 0xFFFFFFFF);
3902da882315a61072664f7ce3c212307342e907207Andreas Gampe    Push32(buf, (data >> 32) & 0xFFFFFFFF);
3910d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  } else {
3922da882315a61072664f7ce3c212307342e907207Andreas Gampe    Push32(buf, static_cast<uint32_t>(data));
3930d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  }
3940d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee}
3950d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee
396aad94383fc41e8f8770f0b2144f766a2ffa772e7buzbeestatic void AlignBuffer(std::vector<uint8_t>&buf, size_t offset) {
397a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  while (buf.size() < offset) {
398a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    buf.push_back(0);
399a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
400e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee}
401e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee
402e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee/* Write the literal pool to the output stream */
4032ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid Mir2Lir::InstallLiteralPools() {
4041fd3346740dfb7f47be9922312b68a4227fada96buzbee  AlignBuffer(code_buffer_, data_offset_);
4051fd3346740dfb7f47be9922312b68a4227fada96buzbee  LIR* data_lir = literal_list_;
406fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  while (data_lir != NULL) {
4072da882315a61072664f7ce3c212307342e907207Andreas Gampe    Push32(code_buffer_, data_lir->operands[0]);
408fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    data_lir = NEXT_LIR(data_lir);
409a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
410a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  // Push code and method literals, record offsets for the compiler to patch.
4111fd3346740dfb7f47be9922312b68a4227fada96buzbee  data_lir = code_literal_list_;
412fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  while (data_lir != NULL) {
41349161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao    uint32_t target_method_idx = data_lir->operands[0];
41449161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao    const DexFile* target_dex_file =
41549161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao        reinterpret_cast<const DexFile*>(UnwrapPointer(data_lir->operands[1]));
4161fd3346740dfb7f47be9922312b68a4227fada96buzbee    cu_->compiler_driver->AddCodePatch(cu_->dex_file,
4178b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers                                       cu_->class_def_idx,
4188b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers                                       cu_->method_idx,
4198b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers                                       cu_->invoke_type,
42049161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao                                       target_method_idx,
42149161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao                                       target_dex_file,
42249161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao                                       static_cast<InvokeType>(data_lir->operands[2]),
4238b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers                                       code_buffer_.size());
42449161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao    const DexFile::MethodId& target_method_id = target_dex_file->GetMethodId(target_method_idx);
4250d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee    // unique value based on target to ensure code deduplication works
42649161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao    PushPointer(code_buffer_, &target_method_id, cu_->target64);
427fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    data_lir = NEXT_LIR(data_lir);
428137e88f798857321f4007631fdf052d2830ec2c4Ian Rogers  }
4291fd3346740dfb7f47be9922312b68a4227fada96buzbee  data_lir = method_literal_list_;
430fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  while (data_lir != NULL) {
43149161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao    uint32_t target_method_idx = data_lir->operands[0];
43249161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao    const DexFile* target_dex_file =
43349161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao        reinterpret_cast<const DexFile*>(UnwrapPointer(data_lir->operands[1]));
4341fd3346740dfb7f47be9922312b68a4227fada96buzbee    cu_->compiler_driver->AddMethodPatch(cu_->dex_file,
4358b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers                                         cu_->class_def_idx,
4368b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers                                         cu_->method_idx,
4378b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers                                         cu_->invoke_type,
43849161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao                                         target_method_idx,
43949161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao                                         target_dex_file,
44049161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao                                         static_cast<InvokeType>(data_lir->operands[2]),
4418b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers                                         code_buffer_.size());
44249161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao    const DexFile::MethodId& target_method_id = target_dex_file->GetMethodId(target_method_idx);
4430d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee    // unique value based on target to ensure code deduplication works
44449161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao    PushPointer(code_buffer_, &target_method_id, cu_->target64);
445fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    data_lir = NEXT_LIR(data_lir);
446a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
447be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi  // Push class literals.
448be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi  data_lir = class_literal_list_;
449be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi  while (data_lir != NULL) {
45049161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao    uint32_t target_method_idx = data_lir->operands[0];
451be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi    cu_->compiler_driver->AddClassPatch(cu_->dex_file,
452be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi                                        cu_->class_def_idx,
453be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi                                        cu_->method_idx,
45449161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao                                        target_method_idx,
455be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi                                        code_buffer_.size());
45649161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao    const DexFile::TypeId& target_method_id = cu_->dex_file->GetTypeId(target_method_idx);
457be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi    // unique value based on target to ensure code deduplication works
45849161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao    PushPointer(code_buffer_, &target_method_id, cu_->target64);
459be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi    data_lir = NEXT_LIR(data_lir);
460be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi  }
461e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee}
462e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee
463e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee/* Write the switch tables to the output stream */
4642ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid Mir2Lir::InstallSwitchTables() {
465862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee  GrowableArray<SwitchTable*>::Iterator iterator(&switch_tables_);
466a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  while (true) {
467862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee    Mir2Lir::SwitchTable* tab_rec = iterator.Next();
468fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    if (tab_rec == NULL) break;
4691fd3346740dfb7f47be9922312b68a4227fada96buzbee    AlignBuffer(code_buffer_, tab_rec->offset);
470a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    /*
471a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee     * For Arm, our reference point is the address of the bx
472a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee     * instruction that does the launch, so we have to subtract
473a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee     * the auto pc-advance.  For other targets the reference point
474a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee     * is a label, so we can use the offset as-is.
475a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee     */
476fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    int bx_offset = INVALID_OFFSET;
4771fd3346740dfb7f47be9922312b68a4227fada96buzbee    switch (cu_->instruction_set) {
478b046e16d8b8da318d6055f9308950131f1255e08buzbee      case kThumb2:
479b48819db07f9a0992a72173380c24249d7fc648abuzbee        DCHECK(tab_rec->anchor->flags.fixup != kFixupNone);
480fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee        bx_offset = tab_rec->anchor->offset + 4;
481b046e16d8b8da318d6055f9308950131f1255e08buzbee        break;
482b046e16d8b8da318d6055f9308950131f1255e08buzbee      case kX86:
483fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee        bx_offset = 0;
484b046e16d8b8da318d6055f9308950131f1255e08buzbee        break;
485b046e16d8b8da318d6055f9308950131f1255e08buzbee      case kMips:
486fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee        bx_offset = tab_rec->anchor->offset;
487b046e16d8b8da318d6055f9308950131f1255e08buzbee        break;
4881fd3346740dfb7f47be9922312b68a4227fada96buzbee      default: LOG(FATAL) << "Unexpected instruction set: " << cu_->instruction_set;
489b046e16d8b8da318d6055f9308950131f1255e08buzbee    }
4901fd3346740dfb7f47be9922312b68a4227fada96buzbee    if (cu_->verbose) {
491fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      LOG(INFO) << "Switch table for offset 0x" << std::hex << bx_offset;
492a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    }
493fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    if (tab_rec->table[0] == Instruction::kSparseSwitchSignature) {
4940d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee      const int32_t* keys = reinterpret_cast<const int32_t*>(&(tab_rec->table[2]));
495fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      for (int elems = 0; elems < tab_rec->table[1]; elems++) {
496fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee        int disp = tab_rec->targets[elems]->offset - bx_offset;
4971fd3346740dfb7f47be9922312b68a4227fada96buzbee        if (cu_->verbose) {
498a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee          LOG(INFO) << "  Case[" << elems << "] key: 0x"
499a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee                    << std::hex << keys[elems] << ", disp: 0x"
500a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee                    << std::hex << disp;
501e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee        }
5022da882315a61072664f7ce3c212307342e907207Andreas Gampe        Push32(code_buffer_, keys[elems]);
5032da882315a61072664f7ce3c212307342e907207Andreas Gampe        Push32(code_buffer_,
504fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee          tab_rec->targets[elems]->offset - bx_offset);
505a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      }
506a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    } else {
507fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      DCHECK_EQ(static_cast<int>(tab_rec->table[0]),
508a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee                static_cast<int>(Instruction::kPackedSwitchSignature));
509fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      for (int elems = 0; elems < tab_rec->table[1]; elems++) {
510fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee        int disp = tab_rec->targets[elems]->offset - bx_offset;
5111fd3346740dfb7f47be9922312b68a4227fada96buzbee        if (cu_->verbose) {
512a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee          LOG(INFO) << "  Case[" << elems << "] disp: 0x"
513a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee                    << std::hex << disp;
514e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee        }
5152da882315a61072664f7ce3c212307342e907207Andreas Gampe        Push32(code_buffer_, tab_rec->targets[elems]->offset - bx_offset);
516a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      }
517e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee    }
518a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
519e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee}
520e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee
521e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee/* Write the fill array dta to the output stream */
5222ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid Mir2Lir::InstallFillArrayData() {
523862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee  GrowableArray<FillArrayData*>::Iterator iterator(&fill_array_data_);
524a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  while (true) {
525862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee    Mir2Lir::FillArrayData *tab_rec = iterator.Next();
526fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    if (tab_rec == NULL) break;
5271fd3346740dfb7f47be9922312b68a4227fada96buzbee    AlignBuffer(code_buffer_, tab_rec->offset);
528fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    for (int i = 0; i < (tab_rec->size + 1) / 2; i++) {
529df62950e7a32031b82360c407d46a37b94188fbbBrian Carlstrom      code_buffer_.push_back(tab_rec->table[i] & 0xFF);
530df62950e7a32031b82360c407d46a37b94188fbbBrian Carlstrom      code_buffer_.push_back((tab_rec->table[i] >> 8) & 0xFF);
531e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee    }
532a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
533e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee}
534e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee
5350d82948094d9a198e01aa95f64012bdedd5b6fc9buzbeestatic int AssignLiteralOffsetCommon(LIR* lir, CodeOffset offset) {
53602c8cc6d1312a2b55533f02f6369dc7c94672f90Brian Carlstrom  for (; lir != NULL; lir = lir->next) {
537a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    lir->offset = offset;
538a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    offset += 4;
539a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
540a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  return offset;
541e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee}
542e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee
5430d82948094d9a198e01aa95f64012bdedd5b6fc9buzbeestatic int AssignLiteralPointerOffsetCommon(LIR* lir, CodeOffset offset) {
5440d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  unsigned int element_size = sizeof(void*);
5450d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  // Align to natural pointer size.
5460d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  offset = (offset + (element_size - 1)) & ~(element_size - 1);
5470d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  for (; lir != NULL; lir = lir->next) {
5480d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee    lir->offset = offset;
5490d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee    offset += element_size;
5500d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  }
5510d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  return offset;
5520d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee}
5530d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee
5546459e7cb35ca83ffc2f266dddeb83673bc07ecd4buzbee// Make sure we have a code address for every declared catch entry
5552ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstrombool Mir2Lir::VerifyCatchEntries() {
55606606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  MappingTable table(&encoded_mapping_table_[0]);
55706606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  std::vector<uint32_t> dex_pcs;
55806606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  dex_pcs.reserve(table.DexToPcSize());
55906606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  for (auto it = table.DexToPcBegin(), end = table.DexToPcEnd(); it != end; ++it) {
56006606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    dex_pcs.push_back(it.DexPc());
56106606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  }
56206606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  // Sort dex_pcs, so that we can quickly check it against the ordered mir_graph_->catches_.
56306606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  std::sort(dex_pcs.begin(), dex_pcs.end());
56406606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko
5656459e7cb35ca83ffc2f266dddeb83673bc07ecd4buzbee  bool success = true;
56606606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  auto it = dex_pcs.begin(), end = dex_pcs.end();
56706606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  for (uint32_t dex_pc : mir_graph_->catches_) {
56806606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    while (it != end && *it < dex_pc) {
56906606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      LOG(INFO) << "Unexpected catch entry @ dex pc 0x" << std::hex << *it;
57006606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      ++it;
5716459e7cb35ca83ffc2f266dddeb83673bc07ecd4buzbee      success = false;
5726459e7cb35ca83ffc2f266dddeb83673bc07ecd4buzbee    }
57306606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    if (it == end || *it > dex_pc) {
57406606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      LOG(INFO) << "Missing native PC for catch entry @ 0x" << std::hex << dex_pc;
5756459e7cb35ca83ffc2f266dddeb83673bc07ecd4buzbee      success = false;
57606606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    } else {
57706606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      ++it;
5786459e7cb35ca83ffc2f266dddeb83673bc07ecd4buzbee    }
5796459e7cb35ca83ffc2f266dddeb83673bc07ecd4buzbee  }
5806459e7cb35ca83ffc2f266dddeb83673bc07ecd4buzbee  if (!success) {
5811fd3346740dfb7f47be9922312b68a4227fada96buzbee    LOG(INFO) << "Bad dex2pcMapping table in " << PrettyMethod(cu_->method_idx, *cu_->dex_file);
5821fd3346740dfb7f47be9922312b68a4227fada96buzbee    LOG(INFO) << "Entries @ decode: " << mir_graph_->catches_.size() << ", Entries in table: "
58306606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko              << table.DexToPcSize();
5846459e7cb35ca83ffc2f266dddeb83673bc07ecd4buzbee  }
5856459e7cb35ca83ffc2f266dddeb83673bc07ecd4buzbee  return success;
5866459e7cb35ca83ffc2f266dddeb83673bc07ecd4buzbee}
5876459e7cb35ca83ffc2f266dddeb83673bc07ecd4buzbee
588311ca169f4727d46a55bdc8dfa0059719fa72b65buzbee
5892ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid Mir2Lir::CreateMappingTables() {
5901e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko  uint32_t pc2dex_data_size = 0u;
5911e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko  uint32_t pc2dex_entries = 0u;
5921e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko  uint32_t pc2dex_offset = 0u;
5931e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko  uint32_t pc2dex_dalvik_offset = 0u;
5941e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko  uint32_t dex2pc_data_size = 0u;
5951e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko  uint32_t dex2pc_entries = 0u;
5961e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko  uint32_t dex2pc_offset = 0u;
5971e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko  uint32_t dex2pc_dalvik_offset = 0u;
5981fd3346740dfb7f47be9922312b68a4227fada96buzbee  for (LIR* tgt_lir = first_lir_insn_; tgt_lir != NULL; tgt_lir = NEXT_LIR(tgt_lir)) {
599fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    if (!tgt_lir->flags.is_nop && (tgt_lir->opcode == kPseudoSafepointPC)) {
6001e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko      pc2dex_entries += 1;
6011e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko      DCHECK(pc2dex_offset <= tgt_lir->offset);
6021e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko      pc2dex_data_size += UnsignedLeb128Size(tgt_lir->offset - pc2dex_offset);
6031e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko      pc2dex_data_size += SignedLeb128Size(static_cast<int32_t>(tgt_lir->dalvik_offset) -
6041e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko                                           static_cast<int32_t>(pc2dex_dalvik_offset));
6051e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko      pc2dex_offset = tgt_lir->offset;
6061e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko      pc2dex_dalvik_offset = tgt_lir->dalvik_offset;
607a5b3024aed77a8204d5fb48ba7f763fb8c60fa76Bill Buzbee    }
608fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    if (!tgt_lir->flags.is_nop && (tgt_lir->opcode == kPseudoExportedPC)) {
6091e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko      dex2pc_entries += 1;
6101e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko      DCHECK(dex2pc_offset <= tgt_lir->offset);
6111e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko      dex2pc_data_size += UnsignedLeb128Size(tgt_lir->offset - dex2pc_offset);
6121e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko      dex2pc_data_size += SignedLeb128Size(static_cast<int32_t>(tgt_lir->dalvik_offset) -
6131e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko                                           static_cast<int32_t>(dex2pc_dalvik_offset));
6141e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko      dex2pc_offset = tgt_lir->offset;
6151e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko      dex2pc_dalvik_offset = tgt_lir->dalvik_offset;
616e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee    }
617a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
6181e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko
6191e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko  uint32_t total_entries = pc2dex_entries + dex2pc_entries;
6201e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko  uint32_t hdr_data_size = UnsignedLeb128Size(total_entries) + UnsignedLeb128Size(pc2dex_entries);
6211e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko  uint32_t data_size = hdr_data_size + pc2dex_data_size + dex2pc_data_size;
62206606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  encoded_mapping_table_.resize(data_size);
62306606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  uint8_t* write_pos = &encoded_mapping_table_[0];
62406606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  write_pos = EncodeUnsignedLeb128(write_pos, total_entries);
62506606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  write_pos = EncodeUnsignedLeb128(write_pos, pc2dex_entries);
62606606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  DCHECK_EQ(static_cast<size_t>(write_pos - &encoded_mapping_table_[0]), hdr_data_size);
62706606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  uint8_t* write_pos2 = write_pos + pc2dex_data_size;
6281e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko
6291e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko  pc2dex_offset = 0u;
6301e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko  pc2dex_dalvik_offset = 0u;
63106606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  dex2pc_offset = 0u;
63206606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  dex2pc_dalvik_offset = 0u;
63306606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  for (LIR* tgt_lir = first_lir_insn_; tgt_lir != NULL; tgt_lir = NEXT_LIR(tgt_lir)) {
63406606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    if (!tgt_lir->flags.is_nop && (tgt_lir->opcode == kPseudoSafepointPC)) {
63506606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      DCHECK(pc2dex_offset <= tgt_lir->offset);
63606606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      write_pos = EncodeUnsignedLeb128(write_pos, tgt_lir->offset - pc2dex_offset);
63706606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      write_pos = EncodeSignedLeb128(write_pos, static_cast<int32_t>(tgt_lir->dalvik_offset) -
63806606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko                                     static_cast<int32_t>(pc2dex_dalvik_offset));
63906606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      pc2dex_offset = tgt_lir->offset;
64006606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      pc2dex_dalvik_offset = tgt_lir->dalvik_offset;
64106606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    }
64206606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    if (!tgt_lir->flags.is_nop && (tgt_lir->opcode == kPseudoExportedPC)) {
64306606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      DCHECK(dex2pc_offset <= tgt_lir->offset);
64406606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      write_pos2 = EncodeUnsignedLeb128(write_pos2, tgt_lir->offset - dex2pc_offset);
64506606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      write_pos2 = EncodeSignedLeb128(write_pos2, static_cast<int32_t>(tgt_lir->dalvik_offset) -
64606606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko                                      static_cast<int32_t>(dex2pc_dalvik_offset));
64706606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      dex2pc_offset = tgt_lir->offset;
64806606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      dex2pc_dalvik_offset = tgt_lir->dalvik_offset;
64906606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    }
6501e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko  }
65106606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  DCHECK_EQ(static_cast<size_t>(write_pos - &encoded_mapping_table_[0]),
65206606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko            hdr_data_size + pc2dex_data_size);
65306606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  DCHECK_EQ(static_cast<size_t>(write_pos2 - &encoded_mapping_table_[0]), data_size);
6541e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko
65596faf5b363d922ae91cf25404dee0e87c740c7c5Ian Rogers  if (kIsDebugBuild) {
65606606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    CHECK(VerifyCatchEntries());
65706606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko
65896faf5b363d922ae91cf25404dee0e87c740c7c5Ian Rogers    // Verify the encoded table holds the expected data.
65906606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    MappingTable table(&encoded_mapping_table_[0]);
66096faf5b363d922ae91cf25404dee0e87c740c7c5Ian Rogers    CHECK_EQ(table.TotalSize(), total_entries);
66196faf5b363d922ae91cf25404dee0e87c740c7c5Ian Rogers    CHECK_EQ(table.PcToDexSize(), pc2dex_entries);
6621e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko    auto it = table.PcToDexBegin();
6631e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko    auto it2 = table.DexToPcBegin();
66406606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    for (LIR* tgt_lir = first_lir_insn_; tgt_lir != NULL; tgt_lir = NEXT_LIR(tgt_lir)) {
66506606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      if (!tgt_lir->flags.is_nop && (tgt_lir->opcode == kPseudoSafepointPC)) {
66606606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko        CHECK_EQ(tgt_lir->offset, it.NativePcOffset());
66706606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko        CHECK_EQ(tgt_lir->dalvik_offset, it.DexPc());
66806606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko        ++it;
66906606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      }
67006606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      if (!tgt_lir->flags.is_nop && (tgt_lir->opcode == kPseudoExportedPC)) {
67106606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko        CHECK_EQ(tgt_lir->offset, it2.NativePcOffset());
67206606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko        CHECK_EQ(tgt_lir->dalvik_offset, it2.DexPc());
67306606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko        ++it2;
67406606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko      }
67596faf5b363d922ae91cf25404dee0e87c740c7c5Ian Rogers    }
67606606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    CHECK(it == table.PcToDexEnd());
6771e6cb63d77090ddc6aa19c755d7066f66e9ff87eVladimir Marko    CHECK(it2 == table.DexToPcEnd());
678311ca169f4727d46a55bdc8dfa0059719fa72b65buzbee  }
679e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee}
680e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee
6811fd3346740dfb7f47be9922312b68a4227fada96buzbeevoid Mir2Lir::CreateNativeGcMap() {
68206606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  DCHECK(!encoded_mapping_table_.empty());
68306606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  MappingTable mapping_table(&encoded_mapping_table_[0]);
6840c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers  uint32_t max_native_offset = 0;
68506606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  for (auto it = mapping_table.PcToDexBegin(), end = mapping_table.PcToDexEnd(); it != end; ++it) {
68606606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    uint32_t native_offset = it.NativePcOffset();
6870c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers    if (native_offset > max_native_offset) {
6880c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers      max_native_offset = native_offset;
6890c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers    }
6900c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers  }
69151c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom  MethodReference method_ref(cu_->dex_file, cu_->method_idx);
6922730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko  const std::vector<uint8_t>& gc_map_raw =
6932730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko      mir_graph_->GetCurrentDexCompilationUnit()->GetVerifiedMethod()->GetDexGcMap();
6942730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko  verifier::DexPcToReferenceMap dex_gc_map(&(gc_map_raw)[0]);
6952730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko  DCHECK_EQ(gc_map_raw.size(), dex_gc_map.RawSize());
6960c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers  // Compute native offset to references size.
69792cf83e001357329cbf41fa15a6e053fab6f4933Nicolas Geoffray  GcMapBuilder native_gc_map_builder(&native_gc_map_,
69892cf83e001357329cbf41fa15a6e053fab6f4933Nicolas Geoffray                                     mapping_table.PcToDexSize(),
69992cf83e001357329cbf41fa15a6e053fab6f4933Nicolas Geoffray                                     max_native_offset, dex_gc_map.RegWidth());
7000c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers
70106606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko  for (auto it = mapping_table.PcToDexBegin(), end = mapping_table.PcToDexEnd(); it != end; ++it) {
70206606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    uint32_t native_offset = it.NativePcOffset();
70306606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko    uint32_t dex_pc = it.DexPc();
7040c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers    const uint8_t* references = dex_gc_map.FindBitMap(dex_pc, false);
705f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison    CHECK(references != NULL) << "Missing ref for dex pc 0x" << std::hex << dex_pc <<
706f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison        ": " << PrettyMethod(cu_->method_idx, *cu_->dex_file);
707a5b3024aed77a8204d5fb48ba7f763fb8c60fa76Bill Buzbee    native_gc_map_builder.AddEntry(native_offset, references);
7080c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers  }
7090c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers}
7100c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers
711e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee/* Determine the offset of each literal field */
7120d82948094d9a198e01aa95f64012bdedd5b6fc9buzbeeint Mir2Lir::AssignLiteralOffset(CodeOffset offset) {
7131fd3346740dfb7f47be9922312b68a4227fada96buzbee  offset = AssignLiteralOffsetCommon(literal_list_, offset);
7140d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  offset = AssignLiteralPointerOffsetCommon(code_literal_list_, offset);
7150d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  offset = AssignLiteralPointerOffsetCommon(method_literal_list_, offset);
716be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi  offset = AssignLiteralPointerOffsetCommon(class_literal_list_, offset);
717a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  return offset;
718e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee}
719e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee
7200d82948094d9a198e01aa95f64012bdedd5b6fc9buzbeeint Mir2Lir::AssignSwitchTablesOffset(CodeOffset offset) {
721862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee  GrowableArray<SwitchTable*>::Iterator iterator(&switch_tables_);
722a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  while (true) {
7230d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee    Mir2Lir::SwitchTable* tab_rec = iterator.Next();
724fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    if (tab_rec == NULL) break;
725fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    tab_rec->offset = offset;
726fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    if (tab_rec->table[0] == Instruction::kSparseSwitchSignature) {
727fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      offset += tab_rec->table[1] * (sizeof(int) * 2);
728a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    } else {
729fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      DCHECK_EQ(static_cast<int>(tab_rec->table[0]),
730a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee                static_cast<int>(Instruction::kPackedSwitchSignature));
731fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee      offset += tab_rec->table[1] * sizeof(int);
732e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee    }
733a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
734a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  return offset;
735e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee}
736e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee
7370d82948094d9a198e01aa95f64012bdedd5b6fc9buzbeeint Mir2Lir::AssignFillArrayDataOffset(CodeOffset offset) {
738862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee  GrowableArray<FillArrayData*>::Iterator iterator(&fill_array_data_);
739a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  while (true) {
740862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee    Mir2Lir::FillArrayData *tab_rec = iterator.Next();
741fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    if (tab_rec == NULL) break;
742fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    tab_rec->offset = offset;
743fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    offset += tab_rec->size;
744a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    // word align
745a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    offset = (offset + 3) & ~3;
746a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    }
747a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  return offset;
748e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee}
749e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee
75031a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee/*
75131a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee * Insert a kPseudoCaseLabel at the beginning of the Dalvik
752b48819db07f9a0992a72173380c24249d7fc648abuzbee * offset vaddr if pretty-printing, otherise use the standard block
753b48819db07f9a0992a72173380c24249d7fc648abuzbee * label.  The selected label will be used to fix up the case
754252254b130067cd7a5071865e793966871ae0246buzbee * branch table during the assembly phase.  All resource flags
755252254b130067cd7a5071865e793966871ae0246buzbee * are set to prevent code motion.  KeyVal is just there for debugging.
75631a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee */
7570d82948094d9a198e01aa95f64012bdedd5b6fc9buzbeeLIR* Mir2Lir::InsertCaseLabel(DexOffset vaddr, int keyVal) {
758252254b130067cd7a5071865e793966871ae0246buzbee  LIR* boundary_lir = &block_label_list_[mir_graph_->FindBlock(vaddr)->id];
759b48819db07f9a0992a72173380c24249d7fc648abuzbee  LIR* res = boundary_lir;
760b48819db07f9a0992a72173380c24249d7fc648abuzbee  if (cu_->verbose) {
761b48819db07f9a0992a72173380c24249d7fc648abuzbee    // Only pay the expense if we're pretty-printing.
76283cc7ae96d4176533dd0391a1591d321b0a87f4fVladimir Marko    LIR* new_label = static_cast<LIR*>(arena_->Alloc(sizeof(LIR), kArenaAllocLIR));
763b48819db07f9a0992a72173380c24249d7fc648abuzbee    new_label->dalvik_offset = vaddr;
764b48819db07f9a0992a72173380c24249d7fc648abuzbee    new_label->opcode = kPseudoCaseLabel;
765b48819db07f9a0992a72173380c24249d7fc648abuzbee    new_label->operands[0] = keyVal;
766b48819db07f9a0992a72173380c24249d7fc648abuzbee    new_label->flags.fixup = kFixupLabel;
767b48819db07f9a0992a72173380c24249d7fc648abuzbee    DCHECK(!new_label->flags.use_def_invalid);
768b48819db07f9a0992a72173380c24249d7fc648abuzbee    new_label->u.m.def_mask = ENCODE_ALL;
769b48819db07f9a0992a72173380c24249d7fc648abuzbee    InsertLIRAfter(boundary_lir, new_label);
770b48819db07f9a0992a72173380c24249d7fc648abuzbee    res = new_label;
771b48819db07f9a0992a72173380c24249d7fc648abuzbee  }
772b48819db07f9a0992a72173380c24249d7fc648abuzbee  return res;
77331a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee}
77431a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee
7750d82948094d9a198e01aa95f64012bdedd5b6fc9buzbeevoid Mir2Lir::MarkPackedCaseLabels(Mir2Lir::SwitchTable* tab_rec) {
776fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  const uint16_t* table = tab_rec->table;
7770d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  DexOffset base_vaddr = tab_rec->vaddr;
7780d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  const int32_t *targets = reinterpret_cast<const int32_t*>(&table[4]);
779a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  int entries = table[1];
780fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  int low_key = s4FromSwitchData(&table[2]);
781a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  for (int i = 0; i < entries; i++) {
7821fd3346740dfb7f47be9922312b68a4227fada96buzbee    tab_rec->targets[i] = InsertCaseLabel(base_vaddr + targets[i], i + low_key);
783a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
78431a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee}
78531a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee
7860d82948094d9a198e01aa95f64012bdedd5b6fc9buzbeevoid Mir2Lir::MarkSparseCaseLabels(Mir2Lir::SwitchTable* tab_rec) {
787fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  const uint16_t* table = tab_rec->table;
7880d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  DexOffset base_vaddr = tab_rec->vaddr;
789a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  int entries = table[1];
7900d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  const int32_t* keys = reinterpret_cast<const int32_t*>(&table[2]);
7910d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  const int32_t* targets = &keys[entries];
792a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  for (int i = 0; i < entries; i++) {
7931fd3346740dfb7f47be9922312b68a4227fada96buzbee    tab_rec->targets[i] = InsertCaseLabel(base_vaddr + targets[i], keys[i]);
794a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
79531a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee}
79631a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee
7972ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid Mir2Lir::ProcessSwitchTables() {
798862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee  GrowableArray<SwitchTable*>::Iterator iterator(&switch_tables_);
799a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  while (true) {
800862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee    Mir2Lir::SwitchTable *tab_rec = iterator.Next();
801fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    if (tab_rec == NULL) break;
802fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    if (tab_rec->table[0] == Instruction::kPackedSwitchSignature) {
8031fd3346740dfb7f47be9922312b68a4227fada96buzbee      MarkPackedCaseLabels(tab_rec);
804fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    } else if (tab_rec->table[0] == Instruction::kSparseSwitchSignature) {
8051fd3346740dfb7f47be9922312b68a4227fada96buzbee      MarkSparseCaseLabels(tab_rec);
806a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    } else {
807a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee      LOG(FATAL) << "Invalid switch table";
80831a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee    }
809a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
81031a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee}
81131a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee
8122ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid Mir2Lir::DumpSparseSwitchTable(const uint16_t* table) {
813a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  /*
814a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   * Sparse switch data format:
815a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   *  ushort ident = 0x0200   magic value
816a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   *  ushort size       number of entries in the table; > 0
817a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   *  int keys[size]      keys, sorted low-to-high; 32-bit aligned
818a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   *  int targets[size]     branch targets, relative to switch opcode
819a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   *
820a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   * Total size is (2+size*4) 16-bit code units.
821a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   */
822eaf09bc65f9a10d12befcdb239156938c9bceef2buzbee  uint16_t ident = table[0];
823a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  int entries = table[1];
8240d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  const int32_t* keys = reinterpret_cast<const int32_t*>(&table[2]);
8250d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  const int32_t* targets = &keys[entries];
826a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  LOG(INFO) <<  "Sparse switch table - ident:0x" << std::hex << ident
827a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee            << ", entries: " << std::dec << entries;
828a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  for (int i = 0; i < entries; i++) {
829a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee    LOG(INFO) << "  Key[" << keys[i] << "] -> 0x" << std::hex << targets[i];
830a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
83131a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee}
83231a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee
8332ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid Mir2Lir::DumpPackedSwitchTable(const uint16_t* table) {
834a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  /*
835a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   * Packed switch data format:
836a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   *  ushort ident = 0x0100   magic value
837a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   *  ushort size       number of entries in the table
838a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   *  int first_key       first (and lowest) switch case value
839a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   *  int targets[size]     branch targets, relative to switch opcode
840a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   *
841a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   * Total size is (4+size*2) 16-bit code units.
842a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee   */
843eaf09bc65f9a10d12befcdb239156938c9bceef2buzbee  uint16_t ident = table[0];
8440d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  const int32_t* targets = reinterpret_cast<const int32_t*>(&table[4]);
845a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  int entries = table[1];
846fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee  int low_key = s4FromSwitchData(&table[2]);
847a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  LOG(INFO) << "Packed switch table - ident:0x" << std::hex << ident
848fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee            << ", entries: " << std::dec << entries << ", low_key: " << low_key;
849a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  for (int i = 0; i < entries; i++) {
850fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee    LOG(INFO) << "  Key[" << (i + low_key) << "] -> 0x" << std::hex
851a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee              << targets[i];
852a114add0300b95eeaae7465493f39144e07324e8Bill Buzbee  }
85331a4a6f5717f645da6b97ccc1e420ae1e1c71ce0buzbee}
854e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee
855252254b130067cd7a5071865e793966871ae0246buzbee/* Set up special LIR to mark a Dalvik byte-code instruction start for pretty printing */
8560d82948094d9a198e01aa95f64012bdedd5b6fc9buzbeevoid Mir2Lir::MarkBoundary(DexOffset offset, const char* inst_str) {
8570d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  // NOTE: only used for debug listings.
8580d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  NewLIR1(kPseudoDalvikByteCodeBoundary, WrapPointer(ArenaStrdup(inst_str)));
859d1643e41ef242ae656f667bf3c8b0324635cefd3buzbee}
860e3acd07f28d5625062b599c2817cb5f7a53f54a9buzbee
8612ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstrombool Mir2Lir::EvaluateBranch(Instruction::Code opcode, int32_t src1, int32_t src2) {
862e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee  bool is_taken;
863e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee  switch (opcode) {
864e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee    case Instruction::IF_EQ: is_taken = (src1 == src2); break;
865e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee    case Instruction::IF_NE: is_taken = (src1 != src2); break;
866e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee    case Instruction::IF_LT: is_taken = (src1 < src2); break;
867e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee    case Instruction::IF_GE: is_taken = (src1 >= src2); break;
868e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee    case Instruction::IF_GT: is_taken = (src1 > src2); break;
869e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee    case Instruction::IF_LE: is_taken = (src1 <= src2); break;
870e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee    case Instruction::IF_EQZ: is_taken = (src1 == 0); break;
871e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee    case Instruction::IF_NEZ: is_taken = (src1 != 0); break;
872e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee    case Instruction::IF_LTZ: is_taken = (src1 < 0); break;
873e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee    case Instruction::IF_GEZ: is_taken = (src1 >= 0); break;
874e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee    case Instruction::IF_GTZ: is_taken = (src1 > 0); break;
875e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee    case Instruction::IF_LEZ: is_taken = (src1 <= 0); break;
876e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee    default:
877e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee      LOG(FATAL) << "Unexpected opcode " << opcode;
878e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee      is_taken = false;
879e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee  }
880e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee  return is_taken;
881e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee}
882e6285f99a53a344efd6f8409ff5f43a3e80190dbbuzbee
8834ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee// Convert relation of src1/src2 to src2/src1
8841fd3346740dfb7f47be9922312b68a4227fada96buzbeeConditionCode Mir2Lir::FlipComparisonOrder(ConditionCode before) {
8854ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee  ConditionCode res;
8864ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee  switch (before) {
8874ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee    case kCondEq: res = kCondEq; break;
8884ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee    case kCondNe: res = kCondNe; break;
8894ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee    case kCondLt: res = kCondGt; break;
8904ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee    case kCondGt: res = kCondLt; break;
8914ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee    case kCondLe: res = kCondGe; break;
8924ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee    case kCondGe: res = kCondLe; break;
8934ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee    default:
8944ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee      res = static_cast<ConditionCode>(0);
8954ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee      LOG(FATAL) << "Unexpected ccode " << before;
8964ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee  }
8974ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee  return res;
8984ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee}
8994ef3e45d7c6ec3c482a1a48f4df470811aa3cf0abuzbee
900a1a7074eb8256d101f7b5d256cda26d7de6ce6ceVladimir MarkoConditionCode Mir2Lir::NegateComparison(ConditionCode before) {
901a1a7074eb8256d101f7b5d256cda26d7de6ce6ceVladimir Marko  ConditionCode res;
902a1a7074eb8256d101f7b5d256cda26d7de6ce6ceVladimir Marko  switch (before) {
903a1a7074eb8256d101f7b5d256cda26d7de6ce6ceVladimir Marko    case kCondEq: res = kCondNe; break;
904a1a7074eb8256d101f7b5d256cda26d7de6ce6ceVladimir Marko    case kCondNe: res = kCondEq; break;
905a1a7074eb8256d101f7b5d256cda26d7de6ce6ceVladimir Marko    case kCondLt: res = kCondGe; break;
906a1a7074eb8256d101f7b5d256cda26d7de6ce6ceVladimir Marko    case kCondGt: res = kCondLe; break;
907a1a7074eb8256d101f7b5d256cda26d7de6ce6ceVladimir Marko    case kCondLe: res = kCondGt; break;
908a1a7074eb8256d101f7b5d256cda26d7de6ce6ceVladimir Marko    case kCondGe: res = kCondLt; break;
909a1a7074eb8256d101f7b5d256cda26d7de6ce6ceVladimir Marko    default:
910a1a7074eb8256d101f7b5d256cda26d7de6ce6ceVladimir Marko      res = static_cast<ConditionCode>(0);
911a1a7074eb8256d101f7b5d256cda26d7de6ce6ceVladimir Marko      LOG(FATAL) << "Unexpected ccode " << before;
912a1a7074eb8256d101f7b5d256cda26d7de6ce6ceVladimir Marko  }
913a1a7074eb8256d101f7b5d256cda26d7de6ce6ceVladimir Marko  return res;
914a1a7074eb8256d101f7b5d256cda26d7de6ce6ceVladimir Marko}
915a1a7074eb8256d101f7b5d256cda26d7de6ce6ceVladimir Marko
916862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee// TODO: move to mir_to_lir.cc
917862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbeeMir2Lir::Mir2Lir(CompilationUnit* cu, MIRGraph* mir_graph, ArenaAllocator* arena)
9186282dc12440a2072dc06a616160027ff21bd895eIan Rogers    : Backend(arena),
9196282dc12440a2072dc06a616160027ff21bd895eIan Rogers      literal_list_(NULL),
9201fd3346740dfb7f47be9922312b68a4227fada96buzbee      method_literal_list_(NULL),
921be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi      class_literal_list_(NULL),
9221fd3346740dfb7f47be9922312b68a4227fada96buzbee      code_literal_list_(NULL),
923b48819db07f9a0992a72173380c24249d7fc648abuzbee      first_fixup_(NULL),
9241fd3346740dfb7f47be9922312b68a4227fada96buzbee      cu_(cu),
9251fd3346740dfb7f47be9922312b68a4227fada96buzbee      mir_graph_(mir_graph),
926862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee      switch_tables_(arena, 4, kGrowableArraySwitchTables),
927862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee      fill_array_data_(arena, 4, kGrowableArrayFillArrayData),
928862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee      throw_launchpads_(arena, 2048, kGrowableArrayThrowLaunchPads),
929862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee      suspend_launchpads_(arena, 4, kGrowableArraySuspendLaunchPads),
930bd663de599b16229085759366c56e2ed5a1dc7ecbuzbee      tempreg_info_(arena, 20, kGrowableArrayMisc),
931bd663de599b16229085759366c56e2ed5a1dc7ecbuzbee      reginfo_map_(arena, 64, kGrowableArrayMisc),
9320d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee      pointer_storage_(arena, 128, kGrowableArrayMisc),
9331fd3346740dfb7f47be9922312b68a4227fada96buzbee      data_offset_(0),
9341fd3346740dfb7f47be9922312b68a4227fada96buzbee      total_size_(0),
9351fd3346740dfb7f47be9922312b68a4227fada96buzbee      block_label_list_(NULL),
936d69835d841cb7663faaa2f1996e73e8c0b3f6d76buzbee      promotion_map_(NULL),
937862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee      current_dalvik_offset_(0),
938b48819db07f9a0992a72173380c24249d7fc648abuzbee      estimated_native_code_size_(0),
939862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee      reg_pool_(NULL),
9401fd3346740dfb7f47be9922312b68a4227fada96buzbee      live_sreg_(0),
9411fd3346740dfb7f47be9922312b68a4227fada96buzbee      num_core_spills_(0),
9421fd3346740dfb7f47be9922312b68a4227fada96buzbee      num_fp_spills_(0),
9431fd3346740dfb7f47be9922312b68a4227fada96buzbee      frame_size_(0),
9441fd3346740dfb7f47be9922312b68a4227fada96buzbee      core_spill_mask_(0),
9451fd3346740dfb7f47be9922312b68a4227fada96buzbee      fp_spill_mask_(0),
9461fd3346740dfb7f47be9922312b68a4227fada96buzbee      first_lir_insn_(NULL),
947bcec6fba95ee7974d3f7b81c3c02e7eb3ca3df00Dave Allison      last_lir_insn_(NULL),
948bcec6fba95ee7974d3f7b81c3c02e7eb3ca3df00Dave Allison      slow_paths_(arena, 32, kGrowableArraySlowPaths) {
9490d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  // Reserve pointer id 0 for NULL.
9500d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  size_t null_idx = WrapPointer(NULL);
9510d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee  DCHECK_EQ(null_idx, 0U);
9521fd3346740dfb7f47be9922312b68a4227fada96buzbee}
9531fd3346740dfb7f47be9922312b68a4227fada96buzbee
9541fd3346740dfb7f47be9922312b68a4227fada96buzbeevoid Mir2Lir::Materialize() {
955a61f49539a59b610e557b5513695295639496750buzbee  cu_->NewTimingSplit("RegisterAllocation");
9561fd3346740dfb7f47be9922312b68a4227fada96buzbee  CompilerInitializeRegAlloc();  // Needs to happen after SSA naming
9571fd3346740dfb7f47be9922312b68a4227fada96buzbee
9581fd3346740dfb7f47be9922312b68a4227fada96buzbee  /* Allocate Registers using simple local allocation scheme */
9591fd3346740dfb7f47be9922312b68a4227fada96buzbee  SimpleRegAlloc();
9601fd3346740dfb7f47be9922312b68a4227fada96buzbee
9613bc01748ef1c3e43361bdf520947a9d656658bf8Razvan A Lupusoru  /* First try the custom light codegen for special cases. */
9625816ed48bc339c983b40dc493e96b97821ce7966Vladimir Marko  DCHECK(cu_->compiler_driver->GetMethodInlinerMap() != nullptr);
9633bc01748ef1c3e43361bdf520947a9d656658bf8Razvan A Lupusoru  bool special_worked = cu_->compiler_driver->GetMethodInlinerMap()->GetMethodInliner(cu_->dex_file)
9645816ed48bc339c983b40dc493e96b97821ce7966Vladimir Marko      ->GenSpecial(this, cu_->method_idx);
9651fd3346740dfb7f47be9922312b68a4227fada96buzbee
9663bc01748ef1c3e43361bdf520947a9d656658bf8Razvan A Lupusoru  /* Take normal path for converting MIR to LIR only if the special codegen did not succeed. */
9673bc01748ef1c3e43361bdf520947a9d656658bf8Razvan A Lupusoru  if (special_worked == false) {
9681fd3346740dfb7f47be9922312b68a4227fada96buzbee    MethodMIR2LIR();
9691fd3346740dfb7f47be9922312b68a4227fada96buzbee  }
9701fd3346740dfb7f47be9922312b68a4227fada96buzbee
9711fd3346740dfb7f47be9922312b68a4227fada96buzbee  /* Method is not empty */
9721fd3346740dfb7f47be9922312b68a4227fada96buzbee  if (first_lir_insn_) {
9731fd3346740dfb7f47be9922312b68a4227fada96buzbee    // mark the targets of switch statement case labels
9741fd3346740dfb7f47be9922312b68a4227fada96buzbee    ProcessSwitchTables();
9751fd3346740dfb7f47be9922312b68a4227fada96buzbee
9761fd3346740dfb7f47be9922312b68a4227fada96buzbee    /* Convert LIR into machine code. */
9771fd3346740dfb7f47be9922312b68a4227fada96buzbee    AssembleLIR();
9781fd3346740dfb7f47be9922312b68a4227fada96buzbee
9791fd3346740dfb7f47be9922312b68a4227fada96buzbee    if (cu_->verbose) {
9801fd3346740dfb7f47be9922312b68a4227fada96buzbee      CodegenDump();
9811fd3346740dfb7f47be9922312b68a4227fada96buzbee    }
9821fd3346740dfb7f47be9922312b68a4227fada96buzbee  }
9831fd3346740dfb7f47be9922312b68a4227fada96buzbee}
9841fd3346740dfb7f47be9922312b68a4227fada96buzbee
9851fd3346740dfb7f47be9922312b68a4227fada96buzbeeCompiledMethod* Mir2Lir::GetCompiledMethod() {
9862e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko  // Combine vmap tables - core regs, then fp regs - into vmap_table.
9872e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko  Leb128EncodingVector vmap_encoder;
9881fd3346740dfb7f47be9922312b68a4227fada96buzbee  if (frame_size_ > 0) {
9892e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko    // Prefix the encoded data with its size.
9902e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko    size_t size = core_vmap_table_.size() + 1 /* marker */ + fp_vmap_table_.size();
9912e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko    vmap_encoder.Reserve(size + 1u);  // All values are likely to be one byte in ULEB128 (<128).
9922e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko    vmap_encoder.PushBackUnsigned(size);
9932e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko    // Core regs may have been inserted out of order - sort first.
9942e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko    std::sort(core_vmap_table_.begin(), core_vmap_table_.end());
9952e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko    for (size_t i = 0 ; i < core_vmap_table_.size(); ++i) {
9962e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko      // Copy, stripping out the phys register sort key.
9972e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko      vmap_encoder.PushBackUnsigned(
9982e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko          ~(-1 << VREG_NUM_WIDTH) & (core_vmap_table_[i] + VmapTable::kEntryAdjustment));
9992e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko    }
10002e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko    // Push a marker to take place of lr.
10012e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko    vmap_encoder.PushBackUnsigned(VmapTable::kAdjustedFpMarker);
10022e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko    // fp regs already sorted.
10032e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko    for (uint32_t i = 0; i < fp_vmap_table_.size(); i++) {
10042e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko      vmap_encoder.PushBackUnsigned(fp_vmap_table_[i] + VmapTable::kEntryAdjustment);
10052e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko    }
10061fd3346740dfb7f47be9922312b68a4227fada96buzbee  } else {
10071fd3346740dfb7f47be9922312b68a4227fada96buzbee    DCHECK_EQ(__builtin_popcount(core_spill_mask_), 0);
10081fd3346740dfb7f47be9922312b68a4227fada96buzbee    DCHECK_EQ(__builtin_popcount(fp_spill_mask_), 0);
10092e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko    DCHECK_EQ(core_vmap_table_.size(), 0u);
10102e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko    DCHECK_EQ(fp_vmap_table_.size(), 0u);
10112e589aa58a1372909f95e731fd6b8895f6359c3aVladimir Marko    vmap_encoder.PushBackUnsigned(0u);  // Size is 0.
10121fd3346740dfb7f47be9922312b68a4227fada96buzbee  }
1013ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell
1014ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell  UniquePtr<std::vector<uint8_t> > cfi_info(ReturnCallFrameInformation());
10151fd3346740dfb7f47be9922312b68a4227fada96buzbee  CompiledMethod* result =
1016193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier      new CompiledMethod(*cu_->compiler_driver, cu_->instruction_set, code_buffer_, frame_size_,
101706606b9c4a1c00154ed15f719ad8ea994e54ee8eVladimir Marko                         core_spill_mask_, fp_spill_mask_, encoded_mapping_table_,
1018ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell                         vmap_encoder.GetData(), native_gc_map_, cfi_info.get());
10191fd3346740dfb7f47be9922312b68a4227fada96buzbee  return result;
10201fd3346740dfb7f47be9922312b68a4227fada96buzbee}
10211fd3346740dfb7f47be9922312b68a4227fada96buzbee
1022da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusorusize_t Mir2Lir::GetMaxPossibleCompilerTemps() const {
1023da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru  // Chose a reasonably small value in order to contain stack growth.
1024da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru  // Backends that are smarter about spill region can return larger values.
1025da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru  const size_t max_compiler_temps = 10;
1026da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru  return max_compiler_temps;
1027da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru}
1028da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru
1029da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusorusize_t Mir2Lir::GetNumBytesForCompilerTempSpillRegion() {
1030da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru  // By default assume that the Mir2Lir will need one slot for each temporary.
1031da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru  // If the backend can better determine temps that have non-overlapping ranges and
1032da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru  // temps that do not need spilled, it can actually provide a small region.
1033da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru  return (mir_graph_->GetNumUsedCompilerTemps() * sizeof(uint32_t));
1034da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru}
1035da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru
10361fd3346740dfb7f47be9922312b68a4227fada96buzbeeint Mir2Lir::ComputeFrameSize() {
10371fd3346740dfb7f47be9922312b68a4227fada96buzbee  /* Figure out the frame size */
10381fd3346740dfb7f47be9922312b68a4227fada96buzbee  static const uint32_t kAlignMask = kStackAlignment - 1;
1039da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru  uint32_t size = ((num_core_spills_ + num_fp_spills_ +
1040da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru                   1 /* filler word */ + cu_->num_regs + cu_->num_outs)
1041da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru                   * sizeof(uint32_t)) +
1042da7a69b3fa7bb22d087567364b7eb5a75824efd8Razvan A Lupusoru                   GetNumBytesForCompilerTempSpillRegion();
10431fd3346740dfb7f47be9922312b68a4227fada96buzbee  /* Align and set */
10441fd3346740dfb7f47be9922312b68a4227fada96buzbee  return (size + kAlignMask) & ~(kAlignMask);
10451fd3346740dfb7f47be9922312b68a4227fada96buzbee}
10461fd3346740dfb7f47be9922312b68a4227fada96buzbee
10471fd3346740dfb7f47be9922312b68a4227fada96buzbee/*
10481fd3346740dfb7f47be9922312b68a4227fada96buzbee * Append an LIR instruction to the LIR list maintained by a compilation
10491fd3346740dfb7f47be9922312b68a4227fada96buzbee * unit
10501fd3346740dfb7f47be9922312b68a4227fada96buzbee */
10512ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid Mir2Lir::AppendLIR(LIR* lir) {
10521fd3346740dfb7f47be9922312b68a4227fada96buzbee  if (first_lir_insn_ == NULL) {
10531fd3346740dfb7f47be9922312b68a4227fada96buzbee    DCHECK(last_lir_insn_ == NULL);
10541fd3346740dfb7f47be9922312b68a4227fada96buzbee    last_lir_insn_ = first_lir_insn_ = lir;
10551fd3346740dfb7f47be9922312b68a4227fada96buzbee    lir->prev = lir->next = NULL;
10561fd3346740dfb7f47be9922312b68a4227fada96buzbee  } else {
10571fd3346740dfb7f47be9922312b68a4227fada96buzbee    last_lir_insn_->next = lir;
10581fd3346740dfb7f47be9922312b68a4227fada96buzbee    lir->prev = last_lir_insn_;
10591fd3346740dfb7f47be9922312b68a4227fada96buzbee    lir->next = NULL;
10601fd3346740dfb7f47be9922312b68a4227fada96buzbee    last_lir_insn_ = lir;
10611fd3346740dfb7f47be9922312b68a4227fada96buzbee  }
10621fd3346740dfb7f47be9922312b68a4227fada96buzbee}
10631fd3346740dfb7f47be9922312b68a4227fada96buzbee
10641fd3346740dfb7f47be9922312b68a4227fada96buzbee/*
10651fd3346740dfb7f47be9922312b68a4227fada96buzbee * Insert an LIR instruction before the current instruction, which cannot be the
10661fd3346740dfb7f47be9922312b68a4227fada96buzbee * first instruction.
10671fd3346740dfb7f47be9922312b68a4227fada96buzbee *
10681fd3346740dfb7f47be9922312b68a4227fada96buzbee * prev_lir <-> new_lir <-> current_lir
10691fd3346740dfb7f47be9922312b68a4227fada96buzbee */
10702ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid Mir2Lir::InsertLIRBefore(LIR* current_lir, LIR* new_lir) {
10711fd3346740dfb7f47be9922312b68a4227fada96buzbee  DCHECK(current_lir->prev != NULL);
10721fd3346740dfb7f47be9922312b68a4227fada96buzbee  LIR *prev_lir = current_lir->prev;
10731fd3346740dfb7f47be9922312b68a4227fada96buzbee
10741fd3346740dfb7f47be9922312b68a4227fada96buzbee  prev_lir->next = new_lir;
10751fd3346740dfb7f47be9922312b68a4227fada96buzbee  new_lir->prev = prev_lir;
10761fd3346740dfb7f47be9922312b68a4227fada96buzbee  new_lir->next = current_lir;
10771fd3346740dfb7f47be9922312b68a4227fada96buzbee  current_lir->prev = new_lir;
10781fd3346740dfb7f47be9922312b68a4227fada96buzbee}
10791fd3346740dfb7f47be9922312b68a4227fada96buzbee
10801fd3346740dfb7f47be9922312b68a4227fada96buzbee/*
10811fd3346740dfb7f47be9922312b68a4227fada96buzbee * Insert an LIR instruction after the current instruction, which cannot be the
10821fd3346740dfb7f47be9922312b68a4227fada96buzbee * first instruction.
10831fd3346740dfb7f47be9922312b68a4227fada96buzbee *
10841fd3346740dfb7f47be9922312b68a4227fada96buzbee * current_lir -> new_lir -> old_next
10851fd3346740dfb7f47be9922312b68a4227fada96buzbee */
10862ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid Mir2Lir::InsertLIRAfter(LIR* current_lir, LIR* new_lir) {
10871fd3346740dfb7f47be9922312b68a4227fada96buzbee  new_lir->prev = current_lir;
10881fd3346740dfb7f47be9922312b68a4227fada96buzbee  new_lir->next = current_lir->next;
10891fd3346740dfb7f47be9922312b68a4227fada96buzbee  current_lir->next = new_lir;
10901fd3346740dfb7f47be9922312b68a4227fada96buzbee  new_lir->next->prev = new_lir;
10911fd3346740dfb7f47be9922312b68a4227fada96buzbee}
10921fd3346740dfb7f47be9922312b68a4227fada96buzbee
10934708dcd68eebf1173aef1097dad8ab13466059aaMark Mendellbool Mir2Lir::IsPowerOfTwo(uint64_t x) {
10944708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell  return (x & (x - 1)) == 0;
10954708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell}
10964708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell
10974708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell// Returns the index of the lowest set bit in 'x'.
10984708dcd68eebf1173aef1097dad8ab13466059aaMark Mendellint32_t Mir2Lir::LowestSetBit(uint64_t x) {
10994708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell  int bit_posn = 0;
11004708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell  while ((x & 0xf) == 0) {
11014708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell    bit_posn += 4;
11024708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell    x >>= 4;
11034708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell  }
11044708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell  while ((x & 1) == 0) {
11054708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell    bit_posn++;
11064708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell    x >>= 1;
11074708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell  }
11084708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell  return bit_posn;
11094708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell}
11104708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell
11114708dcd68eebf1173aef1097dad8ab13466059aaMark Mendellbool Mir2Lir::BadOverlap(RegLocation rl_src, RegLocation rl_dest) {
11124708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell  DCHECK(rl_src.wide);
11134708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell  DCHECK(rl_dest.wide);
11144708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell  return (abs(mir_graph_->SRegToVReg(rl_src.s_reg_low) - mir_graph_->SRegToVReg(rl_dest.s_reg_low)) == 1);
11154708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell}
11164708dcd68eebf1173aef1097dad8ab13466059aaMark Mendell
11172700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbeeLIR *Mir2Lir::OpCmpMemImmBranch(ConditionCode cond, RegStorage temp_reg, RegStorage base_reg,
1118766e9295d2c34cd1846d81610c9045b5d5093dddMark Mendell                                int offset, int check_value, LIR* target) {
1119766e9295d2c34cd1846d81610c9045b5d5093dddMark Mendell  // Handle this for architectures that can't compare to memory.
1120766e9295d2c34cd1846d81610c9045b5d5093dddMark Mendell  LoadWordDisp(base_reg, offset, temp_reg);
1121766e9295d2c34cd1846d81610c9045b5d5093dddMark Mendell  LIR* branch = OpCmpImmBranch(cond, temp_reg, check_value, target);
1122766e9295d2c34cd1846d81610c9045b5d5093dddMark Mendell  return branch;
1123766e9295d2c34cd1846d81610c9045b5d5093dddMark Mendell}
1124766e9295d2c34cd1846d81610c9045b5d5093dddMark Mendell
1125bcec6fba95ee7974d3f7b81c3c02e7eb3ca3df00Dave Allisonvoid Mir2Lir::AddSlowPath(LIRSlowPath* slowpath) {
1126bcec6fba95ee7974d3f7b81c3c02e7eb3ca3df00Dave Allison  slow_paths_.Insert(slowpath);
1127bcec6fba95ee7974d3f7b81c3c02e7eb3ca3df00Dave Allison}
112855d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell
112949161cef10a308aedada18e9aa742498d6e6c8c7Jeff Haovoid Mir2Lir::LoadCodeAddress(const MethodReference& target_method, InvokeType type,
113049161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao                              SpecialTargetRegister symbolic_reg) {
113149161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao  int target_method_idx = target_method.dex_method_index;
113249161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao  LIR* data_target = ScanLiteralPool(code_literal_list_, target_method_idx, 0);
113355d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell  if (data_target == NULL) {
113449161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao    data_target = AddWordData(&code_literal_list_, target_method_idx);
113549161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao    data_target->operands[1] = WrapPointer(const_cast<DexFile*>(target_method.dex_file));
113649161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao    data_target->operands[2] = type;
113755d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell  }
113855d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell  LIR* load_pc_rel = OpPcRelLoad(TargetReg(symbolic_reg), data_target);
113955d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell  AppendLIR(load_pc_rel);
114055d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell  DCHECK_NE(cu_->instruction_set, kMips) << reinterpret_cast<void*>(data_target);
114155d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell}
114255d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell
114349161cef10a308aedada18e9aa742498d6e6c8c7Jeff Haovoid Mir2Lir::LoadMethodAddress(const MethodReference& target_method, InvokeType type,
114449161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao                                SpecialTargetRegister symbolic_reg) {
114549161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao  int target_method_idx = target_method.dex_method_index;
114649161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao  LIR* data_target = ScanLiteralPool(method_literal_list_, target_method_idx, 0);
114755d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell  if (data_target == NULL) {
114849161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao    data_target = AddWordData(&method_literal_list_, target_method_idx);
114949161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao    data_target->operands[1] = WrapPointer(const_cast<DexFile*>(target_method.dex_file));
115049161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao    data_target->operands[2] = type;
115155d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell  }
115255d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell  LIR* load_pc_rel = OpPcRelLoad(TargetReg(symbolic_reg), data_target);
115355d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell  AppendLIR(load_pc_rel);
115455d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell  DCHECK_NE(cu_->instruction_set, kMips) << reinterpret_cast<void*>(data_target);
115555d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell}
115655d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell
115755d0eac918321e0525f6e6491f36a80977e0d416Mark Mendellvoid Mir2Lir::LoadClassType(uint32_t type_idx, SpecialTargetRegister symbolic_reg) {
115855d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell  // Use the literal pool and a PC-relative load from a data word.
115955d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell  LIR* data_target = ScanLiteralPool(class_literal_list_, type_idx, 0);
116055d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell  if (data_target == nullptr) {
116155d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell    data_target = AddWordData(&class_literal_list_, type_idx);
116255d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell  }
116355d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell  LIR* load_pc_rel = OpPcRelLoad(TargetReg(symbolic_reg), data_target);
116455d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell  AppendLIR(load_pc_rel);
116555d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell}
116655d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell
1167ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendellstd::vector<uint8_t>* Mir2Lir::ReturnCallFrameInformation() {
1168ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell  // Default case is to do nothing.
1169ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell  return nullptr;
1170ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell}
1171ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell
11722700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbeeRegLocation Mir2Lir::NarrowRegLoc(RegLocation loc) {
11732700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee  loc.wide = false;
11742700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee  if (loc.reg.IsPair()) {
11752700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee    loc.reg = loc.reg.GetLow();
11762700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee  }
11772700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee  return loc;
11782700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee}
11792700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee
11807934ac288acfb2552bb0b06ec1f61e5820d924a4Brian Carlstrom}  // namespace art
1181