blob: dfbb488c7dcc00bad1f5ea2f2cc4bcabb8e59636 [file] [log] [blame]
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +00001/*
2 * Copyright (C) 2014 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Nicolas Geoffrayf635e632014-05-14 09:43:38 +010017#include <fstream>
Nicolas Geoffray787c3072014-03-17 10:20:19 +000018#include <stdint.h>
19
20#include "builder.h"
21#include "code_generator.h"
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +000022#include "compilers.h"
Nicolas Geoffray787c3072014-03-17 10:20:19 +000023#include "driver/compiler_driver.h"
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +000024#include "driver/dex_compilation_unit.h"
Nicolas Geoffrayf635e632014-05-14 09:43:38 +010025#include "graph_visualizer.h"
Nicolas Geoffray787c3072014-03-17 10:20:19 +000026#include "nodes.h"
Nicolas Geoffraya7062e02014-05-22 12:50:17 +010027#include "register_allocator.h"
Nicolas Geoffray804d0932014-05-02 08:46:00 +010028#include "ssa_liveness_analysis.h"
Nicolas Geoffray787c3072014-03-17 10:20:19 +000029#include "utils/arena_allocator.h"
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +000030
31namespace art {
32
Nicolas Geoffray787c3072014-03-17 10:20:19 +000033/**
34 * Used by the code generator, to allocate the code in a vector.
35 */
36class CodeVectorAllocator FINAL : public CodeAllocator {
37 public:
38 CodeVectorAllocator() { }
39
40 virtual uint8_t* Allocate(size_t size) {
41 size_ = size;
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +000042 memory_.resize(size);
Nicolas Geoffray787c3072014-03-17 10:20:19 +000043 return &memory_[0];
44 }
45
46 size_t GetSize() const { return size_; }
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +000047 const std::vector<uint8_t>& GetMemory() const { return memory_; }
Nicolas Geoffray787c3072014-03-17 10:20:19 +000048
49 private:
50 std::vector<uint8_t> memory_;
51 size_t size_;
52
53 DISALLOW_COPY_AND_ASSIGN(CodeVectorAllocator);
54};
55
Nicolas Geoffrayf635e632014-05-14 09:43:38 +010056/**
57 * If set to true, generates a file suitable for the c1visualizer tool and IRHydra.
58 */
59static bool kIsVisualizerEnabled = false;
60
61/**
62 * Filter to apply to the visualizer. Methods whose name contain that filter will
63 * be in the file.
64 */
65static const char* kStringFilter = "";
66
67OptimizingCompiler::OptimizingCompiler(CompilerDriver* driver) : QuickCompiler(driver) {
68 if (kIsVisualizerEnabled) {
69 visualizer_output_.reset(new std::ofstream("art.cfg"));
70 }
71}
Nicolas Geoffray787c3072014-03-17 10:20:19 +000072
Ian Rogers72d32622014-05-06 16:20:11 -070073CompiledMethod* OptimizingCompiler::TryCompile(const DexFile::CodeItem* code_item,
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +000074 uint32_t access_flags,
75 InvokeType invoke_type,
76 uint16_t class_def_idx,
77 uint32_t method_idx,
78 jobject class_loader,
79 const DexFile& dex_file) const {
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +000080 DexCompilationUnit dex_compilation_unit(
81 nullptr, class_loader, art::Runtime::Current()->GetClassLinker(), dex_file, code_item,
Ian Rogers72d32622014-05-06 16:20:11 -070082 class_def_idx, method_idx, access_flags,
83 GetCompilerDriver()->GetVerifiedMethod(&dex_file, method_idx));
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +000084
Nicolas Geoffray8ccc3f52014-03-19 10:34:11 +000085 // For testing purposes, we put a special marker on method names that should be compiled
86 // with this compiler. This makes sure we're not regressing.
87 bool shouldCompile = dex_compilation_unit.GetSymbol().find("00024opt_00024") != std::string::npos;
88
Nicolas Geoffray787c3072014-03-17 10:20:19 +000089 ArenaPool pool;
90 ArenaAllocator arena(&pool);
Nicolas Geoffray8ccc3f52014-03-19 10:34:11 +000091 HGraphBuilder builder(&arena, &dex_compilation_unit, &dex_file);
Nicolas Geoffrayf635e632014-05-14 09:43:38 +010092
Nicolas Geoffray787c3072014-03-17 10:20:19 +000093 HGraph* graph = builder.BuildGraph(*code_item);
94 if (graph == nullptr) {
Nicolas Geoffray8ccc3f52014-03-19 10:34:11 +000095 if (shouldCompile) {
96 LOG(FATAL) << "Could not build graph in optimizing compiler";
97 }
Nicolas Geoffray787c3072014-03-17 10:20:19 +000098 return nullptr;
99 }
100
Ian Rogers72d32622014-05-06 16:20:11 -0700101 InstructionSet instruction_set = GetCompilerDriver()->GetInstructionSet();
Nicolas Geoffray8ccc3f52014-03-19 10:34:11 +0000102 // The optimizing compiler currently does not have a Thumb2 assembler.
103 if (instruction_set == kThumb2) {
104 instruction_set = kArm;
105 }
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000106 CodeGenerator* codegen = CodeGenerator::Create(&arena, graph, instruction_set);
107 if (codegen == nullptr) {
Nicolas Geoffray8ccc3f52014-03-19 10:34:11 +0000108 if (shouldCompile) {
109 LOG(FATAL) << "Could not find code generator for optimizing compiler";
110 }
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000111 return nullptr;
112 }
113
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100114 HGraphVisualizer visualizer(
115 visualizer_output_.get(), graph, kStringFilter, *codegen, dex_compilation_unit);
116 visualizer.DumpGraph("builder");
117
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000118 CodeVectorAllocator allocator;
119 codegen->Compile(&allocator);
120
121 std::vector<uint8_t> mapping_table;
122 codegen->BuildMappingTable(&mapping_table);
123 std::vector<uint8_t> vmap_table;
124 codegen->BuildVMapTable(&vmap_table);
125 std::vector<uint8_t> gc_map;
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +0000126 codegen->BuildNativeGCMap(&gc_map, dex_compilation_unit);
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000127
Nicolas Geoffrayc32e7702014-04-24 12:43:16 +0100128 // Run these phases to get some test coverage.
129 graph->BuildDominatorTree();
130 graph->TransformToSSA();
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100131 visualizer.DumpGraph("ssa");
132
Nicolas Geoffray622d9c32014-05-12 16:11:02 +0100133 graph->FindNaturalLoops();
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100134 SsaLivenessAnalysis liveness(*graph);
135 liveness.Analyze();
Nicolas Geoffrayddb311f2014-05-16 09:28:54 +0100136 visualizer.DumpGraph("liveness");
Nicolas Geoffrayc32e7702014-04-24 12:43:16 +0100137
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100138 RegisterAllocator(graph->GetArena(), *codegen).AllocateRegisters(liveness);
139 visualizer.DumpGraph("register");
140
Ian Rogers72d32622014-05-06 16:20:11 -0700141 return new CompiledMethod(GetCompilerDriver(),
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000142 instruction_set,
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +0000143 allocator.GetMemory(),
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000144 codegen->GetFrameSize(),
Nicolas Geoffray8ccc3f52014-03-19 10:34:11 +0000145 codegen->GetCoreSpillMask(),
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000146 0, /* FPR spill mask, unused */
147 mapping_table,
148 vmap_table,
149 gc_map,
150 nullptr);
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000151}
152
153} // namespace art