ART世界探险(16) - 快速编译器下的方法编译

ART世界探险(16) - 快速编译器下的方法编译

我们对三大组件有了了解之后，下面终于可以开始正餐，开始分析两种Compiler下的Compile函数。

我们先看一张图，对于整个流程有个整体的印象，然后我们再去看代码：

QuickCompiler的Compile

CompiledMethod* QuickCompiler::Compile(const DexFile::CodeItem* code_item,
                                       uint32_t access_flags,
                                       InvokeType invoke_type,
                                       uint16_t class_def_idx,
                                       uint32_t method_idx,
                                       jobject class_loader,
                                       const DexFile& dex_file) const {
...
CompilerDriver* driver = GetCompilerDriver();

上来就是老朋友，先获取CompilerDriver对象。前面我们介绍过，它是调用编译器的驱动接口，大杂烩类。
然后下面判断是不是病态情况，值不值得编译。是不是经过校验。是不是打开了编译开关。

...
  if (Compiler::IsPathologicalCase(*code_item, method_idx, dex_file)) {
    return nullptr;
  }

  if (driver->GetVerifiedMethod(&dex_file, method_idx)->HasRuntimeThrow()) {
    return nullptr;
  }

  DCHECK(driver->GetCompilerOptions().IsCompilationEnabled());

下面是Runtime和ClassLinker出场，三大组件齐了。
然后是大管家CompliationUnit开始工作。

  Runtime* const runtime = Runtime::Current();
  ClassLinker* const class_linker = runtime->GetClassLinker();
  InstructionSet instruction_set = driver->GetInstructionSet();
  if (instruction_set == kArm) {
    instruction_set = kThumb2;
  }
  CompilationUnit cu(runtime->GetArenaPool(), instruction_set, driver, class_linker);
  cu.dex_file = &dex_file;
  cu.class_def_idx = class_def_idx;
  cu.method_idx = method_idx;
  cu.access_flags = access_flags;
  cu.invoke_type = invoke_type;
  cu.shorty = dex_file.GetMethodShorty(dex_file.GetMethodId(method_idx));

  CHECK((cu.instruction_set == kThumb2) ||
        (cu.instruction_set == kArm64) ||
        (cu.instruction_set == kX86) ||
        (cu.instruction_set == kX86_64) ||
        (cu.instruction_set == kMips) ||
        (cu.instruction_set == kMips64));

...
  InitCompilationUnit(cu);

上面都是在做CompilationUnit的初始化工作，例如这个InitCompilationUnit：

void QuickCompiler::InitCompilationUnit(CompilationUnit& cu) const {
  // Disable optimizations according to instruction set.
  cu.disable_opt |= kDisabledOptimizationsPerISA[cu.instruction_set];
  if (Runtime::Current()->UseJit()) {
    // Disable these optimizations for JIT until quickened byte codes are done being implemented.
    // TODO: Find a cleaner way to do this.
    cu.disable_opt |= 1u << kLocalValueNumbering;
  }
}

然后开始构建MIRGraph.

  cu.mir_graph.reset(new MIRGraph(&cu, &cu.arena));

  /*
   * After creation of the MIR graph, also create the code generator.
   * The reason we do this is that optimizations on the MIR graph may need to get information
   * that is only available if a CG exists.
   */
  cu.cg.reset(GetCodeGenerator(&cu, nullptr));

  /* Build the raw MIR graph */
  cu.mir_graph->InlineMethod(code_item, access_flags, invoke_type, class_def_idx, method_idx,
                             class_loader, dex_file);
...

下面创建Pass驱动，然后调用它来做优化。

  /* Create the pass driver and launch it */
  PassDriverMEOpts pass_driver(GetPreOptPassManager(), GetPostOptPassManager(), &cu);
  pass_driver.Launch();
...

寄存器重新映射

  /* Reassociate sreg names with original Dalvik vreg names. */
  cu.mir_graph->RemapRegLocations();

清理内存，以便下次复用

  /* Free Arenas from the cu.arena_stack for reuse by the cu.arena in the codegen. */
...
  cu.arena_stack.Reset();

  CompiledMethod* result = nullptr;
...

生成机器指令

  cu.cg->Materialize();
...

消除重复数据，并重复结果

  result = cu.cg->GetCompiledMethod();
...
  return result;
}

我们为下一章节做个小小的预告，下面我们将深入到MIRGraph，CodeGenerator，优化的Pass还有Mir2Lir的激动人心的过程中。
先上一个预告图，顺便复习一下之前所学的流程：