Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2011 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 17 | #ifndef ART_COMPILER_DEX_COMPILER_IR_H_ |
| 18 | #define ART_COMPILER_DEX_COMPILER_IR_H_ |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 19 | |
Andreas Gampe | 0b9203e | 2015-01-22 20:39:27 -0800 | [diff] [blame] | 20 | #include "jni.h" |
Razvan A Lupusoru | bd25d4b | 2014-07-02 18:16:51 -0700 | [diff] [blame] | 21 | #include <string> |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 22 | #include <vector> |
Nicolas Geoffray | f3e2cc4 | 2014-02-18 18:37:26 +0000 | [diff] [blame] | 23 | |
Mathieu Chartier | b666f48 | 2015-02-18 14:33:14 -0800 | [diff] [blame^] | 24 | #include "base/arena_allocator.h" |
| 25 | #include "base/scoped_arena_allocator.h" |
buzbee | a61f495 | 2013-08-23 14:27:06 -0700 | [diff] [blame] | 26 | #include "base/timing_logger.h" |
Andreas Gampe | 0b9203e | 2015-01-22 20:39:27 -0800 | [diff] [blame] | 27 | #include "invoke_type.h" |
| 28 | #include "safe_map.h" |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 29 | |
| 30 | namespace art { |
| 31 | |
Andreas Gampe | 53c913b | 2014-08-12 23:19:23 -0700 | [diff] [blame] | 32 | class ClassLinker; |
Andreas Gampe | 0b9203e | 2015-01-22 20:39:27 -0800 | [diff] [blame] | 33 | class CompilerDriver; |
Andreas Gampe | 9c46208 | 2015-01-27 14:31:40 -0800 | [diff] [blame] | 34 | class Mir2Lir; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 35 | class MIRGraph; |
Andreas Gampe | 53c913b | 2014-08-12 23:19:23 -0700 | [diff] [blame] | 36 | |
Jean-Philippe Halimi | 98a26e1 | 2015-01-20 10:52:43 +0100 | [diff] [blame] | 37 | constexpr size_t kOptionStringMaxLength = 2048; |
| 38 | |
| 39 | /** |
| 40 | * Structure abstracting pass option values, which can be of type string or integer. |
| 41 | */ |
| 42 | struct OptionContent { |
| 43 | OptionContent(const OptionContent& option) : |
| 44 | type(option.type), container(option.container, option.type) {} |
| 45 | |
| 46 | explicit OptionContent(const char* value) : |
| 47 | type(kString), container(value) {} |
| 48 | |
| 49 | explicit OptionContent(int value) : |
| 50 | type(kInteger), container(value) {} |
| 51 | |
| 52 | explicit OptionContent(int64_t value) : |
| 53 | type(kInteger), container(value) {} |
| 54 | |
| 55 | ~OptionContent() { |
| 56 | if (type == kString) { |
| 57 | container.StringDelete(); |
| 58 | } |
| 59 | } |
| 60 | |
| 61 | /** |
| 62 | * Allows for a transparent display of the option content. |
| 63 | */ |
| 64 | friend std::ostream& operator<<(std::ostream& out, const OptionContent& option) { |
| 65 | if (option.type == kString) { |
| 66 | out << option.container.s; |
| 67 | } else { |
| 68 | out << option.container.i; |
| 69 | } |
| 70 | |
| 71 | return out; |
| 72 | } |
| 73 | |
| 74 | inline const char* GetString() const { |
| 75 | return container.s; |
| 76 | } |
| 77 | |
| 78 | inline int64_t GetInteger() const { |
| 79 | return container.i; |
| 80 | } |
| 81 | |
| 82 | /** |
| 83 | * @brief Used to compare a string option value to a given @p value. |
| 84 | * @details Will return whether the internal string option is equal to |
| 85 | * the parameter @p value. It will return false if the type of the |
| 86 | * object is not a string. |
| 87 | * @param value The string to compare to. |
| 88 | * @return Returns whether the internal string option is equal to the |
| 89 | * parameter @p value. |
| 90 | */ |
| 91 | inline bool Equals(const char* value) const { |
| 92 | DCHECK(value != nullptr); |
| 93 | if (type != kString) { |
| 94 | return false; |
| 95 | } |
| 96 | return !strncmp(container.s, value, kOptionStringMaxLength); |
| 97 | } |
| 98 | |
| 99 | /** |
| 100 | * @brief Used to compare an integer option value to a given @p value. |
| 101 | * @details Will return whether the internal integer option is equal to |
| 102 | * the parameter @p value. It will return false if the type of the |
| 103 | * object is not an integer. |
| 104 | * @param value The integer to compare to. |
| 105 | * @return Returns whether the internal integer option is equal to the |
| 106 | * parameter @p value. |
| 107 | */ |
| 108 | inline bool Equals(int64_t value) const { |
| 109 | if (type != kInteger) { |
| 110 | return false; |
| 111 | } |
| 112 | return container.i == value; |
| 113 | } |
| 114 | |
| 115 | /** |
| 116 | * Describes the type of parameters allowed as option values. |
| 117 | */ |
| 118 | enum OptionType { |
| 119 | kString = 0, |
| 120 | kInteger |
| 121 | }; |
| 122 | |
| 123 | OptionType type; |
| 124 | |
| 125 | private: |
| 126 | /** |
| 127 | * Union containing the option value of either type. |
| 128 | */ |
| 129 | union OptionContainer { |
| 130 | explicit OptionContainer(const OptionContainer& c, OptionType t) { |
| 131 | if (t == kString) { |
| 132 | DCHECK(c.s != nullptr); |
| 133 | s = strndup(c.s, kOptionStringMaxLength); |
| 134 | } else { |
| 135 | i = c.i; |
| 136 | } |
| 137 | } |
| 138 | |
| 139 | explicit OptionContainer(const char* value) { |
| 140 | DCHECK(value != nullptr); |
| 141 | s = strndup(value, kOptionStringMaxLength); |
| 142 | } |
| 143 | |
| 144 | explicit OptionContainer(int64_t value) : i(value) {} |
| 145 | ~OptionContainer() {} |
| 146 | |
| 147 | void StringDelete() { |
| 148 | if (s != nullptr) { |
| 149 | free(s); |
| 150 | } |
| 151 | } |
| 152 | |
| 153 | char* s; |
| 154 | int64_t i; |
| 155 | }; |
| 156 | |
| 157 | OptionContainer container; |
| 158 | }; |
| 159 | |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 160 | struct CompilationUnit { |
Andreas Gampe | 0b9203e | 2015-01-22 20:39:27 -0800 | [diff] [blame] | 161 | CompilationUnit(ArenaPool* pool, InstructionSet isa, CompilerDriver* driver, ClassLinker* linker); |
Vladimir Marko | 25724ef | 2013-11-12 15:09:20 +0000 | [diff] [blame] | 162 | ~CompilationUnit(); |
buzbee | a61f495 | 2013-08-23 14:27:06 -0700 | [diff] [blame] | 163 | |
| 164 | void StartTimingSplit(const char* label); |
| 165 | void NewTimingSplit(const char* label); |
| 166 | void EndTiming(); |
| 167 | |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 168 | /* |
| 169 | * Fields needed/generated by common frontend and generally used throughout |
| 170 | * the compiler. |
| 171 | */ |
Andreas Gampe | 0b9203e | 2015-01-22 20:39:27 -0800 | [diff] [blame] | 172 | CompilerDriver* const compiler_driver; |
| 173 | ClassLinker* const class_linker; // Linker to resolve fields and methods. |
| 174 | const DexFile* dex_file; // DexFile containing the method being compiled. |
| 175 | jobject class_loader; // compiling method's class loader. |
| 176 | uint16_t class_def_idx; // compiling method's defining class definition index. |
| 177 | uint32_t method_idx; // compiling method's index into method_ids of DexFile. |
| 178 | uint32_t access_flags; // compiling method's access flags. |
| 179 | InvokeType invoke_type; // compiling method's invocation type. |
| 180 | const char* shorty; // compiling method's shorty. |
| 181 | uint32_t disable_opt; // opt_control_vector flags. |
| 182 | uint32_t enable_debug; // debugControlVector flags. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 183 | bool verbose; |
Andreas Gampe | 0b9203e | 2015-01-22 20:39:27 -0800 | [diff] [blame] | 184 | const InstructionSet instruction_set; |
| 185 | const bool target64; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 186 | |
| 187 | // TODO: move memory management to mir_graph, or just switch to using standard containers. |
| 188 | ArenaAllocator arena; |
Vladimir Marko | 83cc7ae | 2014-02-12 18:02:05 +0000 | [diff] [blame] | 189 | ArenaStack arena_stack; // Arenas for ScopedArenaAllocator. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 190 | |
Ian Rogers | 700a402 | 2014-05-19 16:49:03 -0700 | [diff] [blame] | 191 | std::unique_ptr<MIRGraph> mir_graph; // MIR container. |
Andreas Gampe | 9c46208 | 2015-01-27 14:31:40 -0800 | [diff] [blame] | 192 | std::unique_ptr<Mir2Lir> cg; // Target-specific codegen. |
Ian Rogers | 5fe9af7 | 2013-11-14 00:17:20 -0800 | [diff] [blame] | 193 | TimingLogger timings; |
Jean Christophe Beyler | 8bcecce | 2014-04-29 13:42:08 -0700 | [diff] [blame] | 194 | bool print_pass; // Do we want to print a pass or not? |
Razvan A Lupusoru | bd25d4b | 2014-07-02 18:16:51 -0700 | [diff] [blame] | 195 | |
| 196 | /** |
| 197 | * @brief Holds pass options for current pass being applied to compilation unit. |
| 198 | * @details This is updated for every pass to contain the overridden pass options |
| 199 | * that were specified by user. The pass itself will check this to see if the |
| 200 | * default settings have been changed. The key is simply the option string without |
| 201 | * the pass name. |
| 202 | */ |
Jean-Philippe Halimi | 98a26e1 | 2015-01-20 10:52:43 +0100 | [diff] [blame] | 203 | SafeMap<const std::string, const OptionContent> overridden_pass_options; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 204 | }; |
| 205 | |
| 206 | } // namespace art |
| 207 | |
Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 208 | #endif // ART_COMPILER_DEX_COMPILER_IR_H_ |