blob: e68cdb0b1dfb105c5890804495f7bf8450362781 [file] [log] [blame]
Nicolas Geoffray818f2102014-02-18 16:43:35 +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
17#ifndef ART_COMPILER_OPTIMIZING_BUILDER_H_
18#define ART_COMPILER_OPTIMIZING_BUILDER_H_
19
Nicolas Geoffray3ff386a2014-03-04 14:46:47 +000020#include "dex_file.h"
Nicolas Geoffray7fb49da2014-10-06 09:12:41 +010021#include "dex_file-inl.h"
Nicolas Geoffraye5038322014-07-04 09:41:32 +010022#include "driver/compiler_driver.h"
Nicolas Geoffray8ccc3f52014-03-19 10:34:11 +000023#include "driver/dex_compilation_unit.h"
Nicolas Geoffray01bc96d2014-04-11 17:43:50 +010024#include "primitive.h"
Ian Rogers0279ebb2014-10-08 17:27:48 -070025#include "utils/arena_object.h"
Nicolas Geoffraybe9a92a2014-02-25 14:22:56 +000026#include "utils/growable_array.h"
Dave Allison20dfc792014-06-16 20:44:29 -070027#include "nodes.h"
Nicolas Geoffray818f2102014-02-18 16:43:35 +000028
29namespace art {
30
Nicolas Geoffray818f2102014-02-18 16:43:35 +000031class Instruction;
Nicolas Geoffray818f2102014-02-18 16:43:35 +000032
33class HGraphBuilder : public ValueObject {
34 public:
Nicolas Geoffray8ccc3f52014-03-19 10:34:11 +000035 HGraphBuilder(ArenaAllocator* arena,
Nicolas Geoffray7fb49da2014-10-06 09:12:41 +010036 DexCompilationUnit* dex_compilation_unit,
37 const DexFile* dex_file,
38 CompilerDriver* driver)
Nicolas Geoffray818f2102014-02-18 16:43:35 +000039 : arena_(arena),
Nicolas Geoffraybe9a92a2014-02-25 14:22:56 +000040 branch_targets_(arena, 0),
Nicolas Geoffray3ff386a2014-03-04 14:46:47 +000041 locals_(arena, 0),
Nicolas Geoffray818f2102014-02-18 16:43:35 +000042 entry_block_(nullptr),
43 exit_block_(nullptr),
44 current_block_(nullptr),
Nicolas Geoffray3ff386a2014-03-04 14:46:47 +000045 graph_(nullptr),
Nicolas Geoffraybab4ed72014-03-11 17:53:17 +000046 constant0_(nullptr),
Nicolas Geoffray8ccc3f52014-03-19 10:34:11 +000047 constant1_(nullptr),
48 dex_file_(dex_file),
Nicolas Geoffraye5038322014-07-04 09:41:32 +010049 dex_compilation_unit_(dex_compilation_unit),
Nicolas Geoffray7fb49da2014-10-06 09:12:41 +010050 compiler_driver_(driver),
51 return_type_(Primitive::GetType(dex_compilation_unit_->GetShorty()[0])) {}
52
53 // Only for unit testing.
54 HGraphBuilder(ArenaAllocator* arena, Primitive::Type return_type = Primitive::kPrimInt)
55 : arena_(arena),
56 branch_targets_(arena, 0),
57 locals_(arena, 0),
58 entry_block_(nullptr),
59 exit_block_(nullptr),
60 current_block_(nullptr),
61 graph_(nullptr),
62 constant0_(nullptr),
63 constant1_(nullptr),
64 dex_file_(nullptr),
65 dex_compilation_unit_(nullptr),
66 compiler_driver_(nullptr),
67 return_type_(return_type) {}
Nicolas Geoffray818f2102014-02-18 16:43:35 +000068
Nicolas Geoffray3ff386a2014-03-04 14:46:47 +000069 HGraph* BuildGraph(const DexFile::CodeItem& code);
Nicolas Geoffray818f2102014-02-18 16:43:35 +000070
71 private:
72 // Analyzes the dex instruction and adds HInstruction to the graph
73 // to execute that instruction. Returns whether the instruction can
74 // be handled.
Nicolas Geoffrayfbc695f2014-09-15 15:33:30 +000075 bool AnalyzeDexInstruction(const Instruction& instruction, uint32_t dex_offset);
Nicolas Geoffraybe9a92a2014-02-25 14:22:56 +000076
77 // Finds all instructions that start a new block, and populates branch_targets_ with
78 // the newly created blocks.
79 void ComputeBranchTargets(const uint16_t* start, const uint16_t* end);
80 void MaybeUpdateCurrentBlock(size_t index);
81 HBasicBlock* FindBlockStartingAt(int32_t index) const;
Nicolas Geoffray818f2102014-02-18 16:43:35 +000082
Nicolas Geoffray01bc96d2014-04-11 17:43:50 +010083 HIntConstant* GetIntConstant0();
84 HIntConstant* GetIntConstant1();
85 HIntConstant* GetIntConstant(int32_t constant);
86 HLongConstant* GetLongConstant(int64_t constant);
Nicolas Geoffrayf583e592014-04-07 13:20:42 +010087 void InitializeLocals(uint16_t count);
Nicolas Geoffray3ff386a2014-03-04 14:46:47 +000088 HLocal* GetLocalAt(int register_index) const;
89 void UpdateLocal(int register_index, HInstruction* instruction) const;
Nicolas Geoffray01bc96d2014-04-11 17:43:50 +010090 HInstruction* LoadLocal(int register_index, Primitive::Type type) const;
Nicolas Geoffrayfbc695f2014-09-15 15:33:30 +000091 void PotentiallyAddSuspendCheck(int32_t target_offset, uint32_t dex_offset);
Nicolas Geoffray3ff386a2014-03-04 14:46:47 +000092
Nicolas Geoffrayf583e592014-04-07 13:20:42 +010093 // Temporarily returns whether the compiler supports the parameters
94 // of the method.
95 bool InitializeParameters(uint16_t number_of_parameters);
96
Nicolas Geoffray01bc96d2014-04-11 17:43:50 +010097 template<typename T>
Nicolas Geoffray412f10c2014-06-19 10:00:34 +010098 void Binop_23x(const Instruction& instruction, Primitive::Type type);
Nicolas Geoffray01bc96d2014-04-11 17:43:50 +010099
100 template<typename T>
101 void Binop_12x(const Instruction& instruction, Primitive::Type type);
102
103 template<typename T>
104 void Binop_22b(const Instruction& instruction, bool reverse);
105
106 template<typename T>
107 void Binop_22s(const Instruction& instruction, bool reverse);
108
Nicolas Geoffraye5038322014-07-04 09:41:32 +0100109 template<typename T> void If_21t(const Instruction& instruction, uint32_t dex_offset);
110 template<typename T> void If_22t(const Instruction& instruction, uint32_t dex_offset);
Nicolas Geoffrayf583e592014-04-07 13:20:42 +0100111
Nicolas Geoffray01bc96d2014-04-11 17:43:50 +0100112 void BuildReturn(const Instruction& instruction, Primitive::Type type);
113
Nicolas Geoffraye5038322014-07-04 09:41:32 +0100114 bool BuildFieldAccess(const Instruction& instruction, uint32_t dex_offset, bool is_get);
Nicolas Geoffray3c7bb982014-07-23 16:04:16 +0100115 void BuildArrayAccess(const Instruction& instruction,
116 uint32_t dex_offset,
117 bool is_get,
118 Primitive::Type anticipated_type);
Nicolas Geoffraye5038322014-07-04 09:41:32 +0100119
Nicolas Geoffray01bc96d2014-04-11 17:43:50 +0100120 // Builds an invocation node and returns whether the instruction is supported.
121 bool BuildInvoke(const Instruction& instruction,
122 uint32_t dex_offset,
123 uint32_t method_idx,
124 uint32_t number_of_vreg_arguments,
125 bool is_range,
126 uint32_t* args,
127 uint32_t register_index);
128
Nicolas Geoffray818f2102014-02-18 16:43:35 +0000129 ArenaAllocator* const arena_;
Nicolas Geoffraybe9a92a2014-02-25 14:22:56 +0000130
131 // A list of the size of the dex code holding block information for
132 // the method. If an entry contains a block, then the dex instruction
133 // starting at that entry is the first instruction of a new block.
134 GrowableArray<HBasicBlock*> branch_targets_;
135
Nicolas Geoffray3ff386a2014-03-04 14:46:47 +0000136 GrowableArray<HLocal*> locals_;
137
Nicolas Geoffray818f2102014-02-18 16:43:35 +0000138 HBasicBlock* entry_block_;
139 HBasicBlock* exit_block_;
140 HBasicBlock* current_block_;
141 HGraph* graph_;
142
Nicolas Geoffray3ff386a2014-03-04 14:46:47 +0000143 HIntConstant* constant0_;
Nicolas Geoffraybab4ed72014-03-11 17:53:17 +0000144 HIntConstant* constant1_;
Nicolas Geoffray3ff386a2014-03-04 14:46:47 +0000145
Nicolas Geoffray8ccc3f52014-03-19 10:34:11 +0000146 const DexFile* const dex_file_;
Nicolas Geoffray01bc96d2014-04-11 17:43:50 +0100147 DexCompilationUnit* const dex_compilation_unit_;
Nicolas Geoffraye5038322014-07-04 09:41:32 +0100148 CompilerDriver* const compiler_driver_;
Nicolas Geoffray7fb49da2014-10-06 09:12:41 +0100149 const Primitive::Type return_type_;
Nicolas Geoffray8ccc3f52014-03-19 10:34:11 +0000150
Nicolas Geoffray818f2102014-02-18 16:43:35 +0000151 DISALLOW_COPY_AND_ASSIGN(HGraphBuilder);
152};
153
154} // namespace art
155
156#endif // ART_COMPILER_OPTIMIZING_BUILDER_H_