blob: be756286fccb3e614e2e7665e8d63cd75a708f71 [file] [log] [blame]
Brian Carlstrom7940e442013-07-12 13:46:57 -07001/*
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
Andreas Gamped687e372015-04-28 23:16:03 -070017#include <inttypes.h>
Brian Carlstrom7940e442013-07-12 13:46:57 -070018#include <stdio.h>
19#include <stdlib.h>
20#include <sys/stat.h>
Evgenii Stepanov1e133742015-05-20 12:30:59 -070021#include "base/memory_tool.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070022
23#include <fstream>
24#include <iostream>
Andreas Gampe67f02822016-06-24 21:05:23 -070025#include <limits>
Brian Carlstrom7940e442013-07-12 13:46:57 -070026#include <sstream>
27#include <string>
Andreas Gampeb1fcead2015-04-20 18:53:51 -070028#include <unordered_set>
Brian Carlstrom7940e442013-07-12 13:46:57 -070029#include <vector>
30
Vladimir Markof94b7812014-06-05 15:48:04 +010031#if defined(__linux__) && defined(__arm__)
32#include <sys/personality.h>
33#include <sys/utsname.h>
34#endif
35
Andreas Gampe46ee31b2016-12-14 10:11:49 -080036#include "android-base/stringprintf.h"
Andreas Gampe9186ced2016-12-12 14:28:21 -080037#include "android-base/strings.h"
38
Ian Rogersd582fa42014-11-05 23:46:43 -080039#include "arch/instruction_set_features.h"
Andreas Gampec5a3ea72015-01-13 16:41:53 -080040#include "arch/mips/instruction_set_features_mips.h"
David Srbecky4fda4eb2016-02-05 13:34:46 +000041#include "art_method-inl.h"
Ian Rogersc7dd2952014-10-21 23:31:19 -070042#include "base/dumpable.h"
Andreas Gampe794ad762015-02-23 08:12:24 -080043#include "base/macros.h"
Calin Juravle2e2db782016-02-23 12:00:03 +000044#include "base/scoped_flock.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070045#include "base/stl_util.h"
46#include "base/stringpiece.h"
Vladimir Marko80afd022015-05-19 18:08:00 +010047#include "base/time_utils.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070048#include "base/timing_logger.h"
49#include "base/unix_file/fd_file.h"
50#include "class_linker.h"
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +000051#include "compiler.h"
Vladimir Marko2b5eaa22013-12-13 13:59:30 +000052#include "compiler_callbacks.h"
David Srbecky09c2a6b2016-03-11 17:11:44 +000053#include "debug/elf_debug_writer.h"
David Srbecky4fda4eb2016-02-05 13:34:46 +000054#include "debug/method_debug_info.h"
David Srbecky4fda4eb2016-02-05 13:34:46 +000055#include "dex/quick_compiler_callbacks.h"
56#include "dex/verification_results.h"
57#include "dex_file-inl.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070058#include "driver/compiler_driver.h"
Brian Carlstrom6449c622014-02-10 23:48:36 -080059#include "driver/compiler_options.h"
Andreas Gampe88ec7f42014-11-05 10:18:32 -080060#include "elf_file.h"
Tong Shen62d1ca32014-09-03 17:24:56 -070061#include "elf_writer.h"
Vladimir Marko10c13562015-11-25 14:33:36 +000062#include "elf_writer_quick.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070063#include "gc/space/image_space.h"
64#include "gc/space/space-inl.h"
65#include "image_writer.h"
Andreas Gampe2969bcd2015-03-09 12:57:41 -070066#include "interpreter/unstarted_runtime.h"
Calin Juravle33083d62017-01-18 15:29:12 -080067#include "jit/profile_compilation_info.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070068#include "leb128.h"
David Brazdil5d5a36b2016-09-14 15:34:10 +010069#include "linker/buffered_output_stream.h"
70#include "linker/file_output_stream.h"
Vladimir Marko944da602016-02-19 12:27:55 +000071#include "linker/multi_oat_relative_patcher.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070072#include "mirror/class-inl.h"
73#include "mirror/class_loader.h"
74#include "mirror/object-inl.h"
75#include "mirror/object_array-inl.h"
Jeff Haob11ffb72016-04-07 15:40:54 -070076#include "oat_file_assistant.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070077#include "oat_writer.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070078#include "os.h"
79#include "runtime.h"
Vladimir Marko49b0f452015-12-10 13:49:19 +000080#include "runtime_options.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070081#include "ScopedLocalRef.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070082#include "scoped_thread_state_change-inl.h"
Alex Light53cb16b2014-06-12 11:26:29 -070083#include "utils.h"
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +000084#include "vdex_file.h"
David Brazdilca3c8c32016-09-06 14:04:48 +010085#include "verifier/verifier_deps.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070086#include "well_known_classes.h"
87#include "zip_archive.h"
88
89namespace art {
90
Andreas Gampe46ee31b2016-12-14 10:11:49 -080091using android::base::StringAppendV;
92using android::base::StringPrintf;
93
Andreas Gampee1459ae2016-06-29 09:36:30 -070094static constexpr size_t kDefaultMinDexFilesForSwap = 2;
95static constexpr size_t kDefaultMinDexFileCumulativeSizeForSwap = 20 * MB;
96
Brian Carlstrom6449c622014-02-10 23:48:36 -080097static int original_argc;
98static char** original_argv;
99
100static std::string CommandLine() {
101 std::vector<std::string> command;
102 for (int i = 0; i < original_argc; ++i) {
103 command.push_back(original_argv[i]);
104 }
Andreas Gampe9186ced2016-12-12 14:28:21 -0800105 return android::base::Join(command, ' ');
Brian Carlstrom6449c622014-02-10 23:48:36 -0800106}
107
Andreas Gampe046c7062015-05-18 23:22:54 -0700108// A stripped version. Remove some less essential parameters. If we see a "--zip-fd=" parameter, be
109// even more aggressive. There won't be much reasonable data here for us in that case anyways (the
110// locations are all staged).
111static std::string StrippedCommandLine() {
112 std::vector<std::string> command;
113
114 // Do a pre-pass to look for zip-fd.
115 bool saw_zip_fd = false;
116 for (int i = 0; i < original_argc; ++i) {
Andreas Gampe9186ced2016-12-12 14:28:21 -0800117 if (android::base::StartsWith(original_argv[i], "--zip-fd=")) {
Andreas Gampe046c7062015-05-18 23:22:54 -0700118 saw_zip_fd = true;
119 break;
120 }
121 }
122
123 // Now filter out things.
124 for (int i = 0; i < original_argc; ++i) {
125 // All runtime-arg parameters are dropped.
126 if (strcmp(original_argv[i], "--runtime-arg") == 0) {
127 i++; // Drop the next part, too.
128 continue;
129 }
130
131 // Any instruction-setXXX is dropped.
Andreas Gampe9186ced2016-12-12 14:28:21 -0800132 if (android::base::StartsWith(original_argv[i], "--instruction-set")) {
Andreas Gampe046c7062015-05-18 23:22:54 -0700133 continue;
134 }
135
136 // The boot image is dropped.
Andreas Gampe9186ced2016-12-12 14:28:21 -0800137 if (android::base::StartsWith(original_argv[i], "--boot-image=")) {
Andreas Gampe046c7062015-05-18 23:22:54 -0700138 continue;
139 }
140
Mathieu Chartier97590cc2016-02-03 15:50:29 -0800141 // The image format is dropped.
Andreas Gampe9186ced2016-12-12 14:28:21 -0800142 if (android::base::StartsWith(original_argv[i], "--image-format=")) {
Mathieu Chartier97590cc2016-02-03 15:50:29 -0800143 continue;
144 }
145
Andreas Gampe046c7062015-05-18 23:22:54 -0700146 // This should leave any dex-file and oat-file options, describing what we compiled.
147
148 // However, we prefer to drop this when we saw --zip-fd.
149 if (saw_zip_fd) {
Mathieu Chartiera90c7722015-10-29 15:41:36 -0700150 // Drop anything --zip-X, --dex-X, --oat-X, --swap-X, or --app-image-X
Andreas Gampe9186ced2016-12-12 14:28:21 -0800151 if (android::base::StartsWith(original_argv[i], "--zip-") ||
152 android::base::StartsWith(original_argv[i], "--dex-") ||
153 android::base::StartsWith(original_argv[i], "--oat-") ||
154 android::base::StartsWith(original_argv[i], "--swap-") ||
155 android::base::StartsWith(original_argv[i], "--app-image-")) {
Andreas Gampe046c7062015-05-18 23:22:54 -0700156 continue;
157 }
158 }
159
160 command.push_back(original_argv[i]);
161 }
162
163 // Construct the final output.
164 if (command.size() <= 1U) {
165 // It seems only "/system/bin/dex2oat" is left, or not even that. Use a pretty line.
166 return "Starting dex2oat.";
167 }
Andreas Gampe9186ced2016-12-12 14:28:21 -0800168 return android::base::Join(command, ' ');
Andreas Gampe046c7062015-05-18 23:22:54 -0700169}
170
Brian Carlstrom7940e442013-07-12 13:46:57 -0700171static void UsageErrorV(const char* fmt, va_list ap) {
172 std::string error;
173 StringAppendV(&error, fmt, ap);
174 LOG(ERROR) << error;
175}
176
177static void UsageError(const char* fmt, ...) {
178 va_list ap;
179 va_start(ap, fmt);
180 UsageErrorV(fmt, ap);
181 va_end(ap);
182}
183
Andreas Gampe794ad762015-02-23 08:12:24 -0800184NO_RETURN static void Usage(const char* fmt, ...) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700185 va_list ap;
186 va_start(ap, fmt);
187 UsageErrorV(fmt, ap);
188 va_end(ap);
189
Brian Carlstrom6449c622014-02-10 23:48:36 -0800190 UsageError("Command: %s", CommandLine().c_str());
191
Brian Carlstrom7940e442013-07-12 13:46:57 -0700192 UsageError("Usage: dex2oat [options]...");
193 UsageError("");
Jean-Philippe Halimi3d329d72015-03-23 14:09:48 +0100194 UsageError(" -j<number>: specifies the number of threads used for compilation.");
195 UsageError(" Default is the number of detected hardware threads available on the");
196 UsageError(" host system.");
197 UsageError(" Example: -j12");
198 UsageError("");
Richard Uhlere934df22015-03-17 11:26:16 -0700199 UsageError(" --dex-file=<dex-file>: specifies a .dex, .jar, or .apk file to compile.");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700200 UsageError(" Example: --dex-file=/system/framework/core.jar");
201 UsageError("");
Richard Uhlere934df22015-03-17 11:26:16 -0700202 UsageError(" --dex-location=<dex-location>: specifies an alternative dex location to");
203 UsageError(" encode in the oat file for the corresponding --dex-file argument.");
204 UsageError(" Example: --dex-file=/home/build/out/system/framework/core.jar");
205 UsageError(" --dex-location=/system/framework/core.jar");
206 UsageError("");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700207 UsageError(" --zip-fd=<file-descriptor>: specifies a file descriptor of a zip file");
208 UsageError(" containing a classes.dex file to compile.");
209 UsageError(" Example: --zip-fd=5");
210 UsageError("");
Brian Carlstrom45602482013-07-21 22:07:55 -0700211 UsageError(" --zip-location=<zip-location>: specifies a symbolic name for the file");
212 UsageError(" corresponding to the file descriptor specified by --zip-fd.");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700213 UsageError(" Example: --zip-location=/system/app/Calculator.apk");
214 UsageError("");
Jeff Haodcdc85b2015-12-04 14:06:18 -0800215 UsageError(" --oat-file=<file.oat>: specifies an oat output destination via a filename.");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700216 UsageError(" Example: --oat-file=/system/framework/boot.oat");
217 UsageError("");
218 UsageError(" --oat-fd=<number>: specifies the oat output destination via a file descriptor.");
Wonil Kim9cb554a2014-04-28 11:26:55 +0900219 UsageError(" Example: --oat-fd=6");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700220 UsageError("");
221 UsageError(" --oat-location=<oat-name>: specifies a symbolic name for the file corresponding");
222 UsageError(" to the file descriptor specified by --oat-fd.");
223 UsageError(" Example: --oat-location=/data/dalvik-cache/system@app@Calculator.apk.oat");
224 UsageError("");
Jeff Haodcdc85b2015-12-04 14:06:18 -0800225 UsageError(" --oat-symbols=<file.oat>: specifies an oat output destination with full symbols.");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700226 UsageError(" Example: --oat-symbols=/symbols/system/framework/boot.oat");
227 UsageError("");
Jeff Haodcdc85b2015-12-04 14:06:18 -0800228 UsageError(" --image=<file.art>: specifies an output image filename.");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700229 UsageError(" Example: --image=/system/framework/boot.art");
230 UsageError("");
Mathieu Chartiera6e81ed2016-02-25 13:52:10 -0800231 UsageError(" --image-format=(uncompressed|lz4|lz4hc):");
Mathieu Chartierceb07b32015-12-10 09:33:21 -0800232 UsageError(" Which format to store the image.");
233 UsageError(" Example: --image-format=lz4");
234 UsageError(" Default: uncompressed");
235 UsageError("");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700236 UsageError(" --image-classes=<classname-file>: specifies classes to include in an image.");
237 UsageError(" Example: --image=frameworks/base/preloaded-classes");
238 UsageError("");
239 UsageError(" --base=<hex-address>: specifies the base address when creating a boot image.");
240 UsageError(" Example: --base=0x50000000");
241 UsageError("");
242 UsageError(" --boot-image=<file.art>: provide the image file for the boot class path.");
Kevin Brodsky64fff412015-11-24 14:24:34 +0000243 UsageError(" Do not include the arch as part of the name, it is added automatically.");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700244 UsageError(" Example: --boot-image=/system/framework/boot.art");
Kevin Brodsky64fff412015-11-24 14:24:34 +0000245 UsageError(" (specifies /system/framework/<arch>/boot.art as the image file)");
Nicolas Geoffray9583fbc2014-02-28 15:21:07 +0000246 UsageError(" Default: $ANDROID_ROOT/system/framework/boot.art");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700247 UsageError("");
248 UsageError(" --android-root=<path>: used to locate libraries for portable linking.");
249 UsageError(" Example: --android-root=out/host/linux-x86");
250 UsageError(" Default: $ANDROID_ROOT");
251 UsageError("");
Andreas Gampe57b34292015-01-14 15:45:59 -0800252 UsageError(" --instruction-set=(arm|arm64|mips|mips64|x86|x86_64): compile for a particular");
Alex Light53cb16b2014-06-12 11:26:29 -0700253 UsageError(" instruction set.");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700254 UsageError(" Example: --instruction-set=x86");
255 UsageError(" Default: arm");
256 UsageError("");
Dave Allison70202782013-10-22 17:52:19 -0700257 UsageError(" --instruction-set-features=...,: Specify instruction set features");
258 UsageError(" Example: --instruction-set-features=div");
259 UsageError(" Default: default");
260 UsageError("");
Igor Murashkin46774762014-10-22 11:37:02 -0700261 UsageError(" --compile-pic: Force indirect use of code, methods, and classes");
262 UsageError(" Default: disabled");
263 UsageError("");
Elliott Hughes956af0f2014-12-11 14:34:28 -0800264 UsageError(" --compiler-backend=(Quick|Optimizing): select compiler backend");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700265 UsageError(" set.");
Elliott Hughes956af0f2014-12-11 14:34:28 -0800266 UsageError(" Example: --compiler-backend=Optimizing");
Nicolas Geoffray409e8092015-10-01 10:32:19 +0100267 UsageError(" Default: Optimizing");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700268 UsageError("");
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100269 UsageError(" --compiler-filter="
270 "(verify-none"
Mathieu Chartier1cc7e8b2016-03-16 14:29:17 -0700271 "|verify-at-runtime"
Mathieu Chartiera8077802016-03-16 19:08:31 -0700272 "|verify-profile"
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100273 "|interpret-only"
Andreas Gampe29d38e72016-03-23 15:31:51 +0000274 "|time"
275 "|space-profile"
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100276 "|space"
277 "|balanced"
Andreas Gampe29d38e72016-03-23 15:31:51 +0000278 "|speed-profile"
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100279 "|speed"
Andreas Gampe29d38e72016-03-23 15:31:51 +0000280 "|everything-profile"
281 "|everything):");
Jeff Hao4a200f52014-04-01 14:58:49 -0700282 UsageError(" select compiler filter.");
Mathieu Chartiera8077802016-03-16 19:08:31 -0700283 UsageError(" verify-profile requires a --profile(-fd) to also be passed in.");
Brian Carlstrom6449c622014-02-10 23:48:36 -0800284 UsageError(" Example: --compiler-filter=everything");
Brian Carlstrom6449c622014-02-10 23:48:36 -0800285 UsageError(" Default: speed");
Brian Carlstrom6449c622014-02-10 23:48:36 -0800286 UsageError("");
Brian Carlstrom6449c622014-02-10 23:48:36 -0800287 UsageError(" --huge-method-max=<method-instruction-count>: threshold size for a huge");
288 UsageError(" method for compiler filter tuning.");
289 UsageError(" Example: --huge-method-max=%d", CompilerOptions::kDefaultHugeMethodThreshold);
290 UsageError(" Default: %d", CompilerOptions::kDefaultHugeMethodThreshold);
291 UsageError("");
292 UsageError(" --large-method-max=<method-instruction-count>: threshold size for a large");
293 UsageError(" method for compiler filter tuning.");
294 UsageError(" Example: --large-method-max=%d", CompilerOptions::kDefaultLargeMethodThreshold);
295 UsageError(" Default: %d", CompilerOptions::kDefaultLargeMethodThreshold);
296 UsageError("");
297 UsageError(" --small-method-max=<method-instruction-count>: threshold size for a small");
298 UsageError(" method for compiler filter tuning.");
299 UsageError(" Example: --small-method-max=%d", CompilerOptions::kDefaultSmallMethodThreshold);
300 UsageError(" Default: %d", CompilerOptions::kDefaultSmallMethodThreshold);
301 UsageError("");
302 UsageError(" --tiny-method-max=<method-instruction-count>: threshold size for a tiny");
303 UsageError(" method for compiler filter tuning.");
304 UsageError(" Example: --tiny-method-max=%d", CompilerOptions::kDefaultTinyMethodThreshold);
305 UsageError(" Default: %d", CompilerOptions::kDefaultTinyMethodThreshold);
306 UsageError("");
307 UsageError(" --num-dex-methods=<method-count>: threshold size for a small dex file for");
308 UsageError(" compiler filter tuning. If the input has fewer than this many methods");
Mathieu Chartier1cc7e8b2016-03-16 14:29:17 -0700309 UsageError(" and the filter is not interpret-only or verify-none or verify-at-runtime, ");
310 UsageError(" overrides the filter to use speed");
Brian Carlstrom6449c622014-02-10 23:48:36 -0800311 UsageError(" Example: --num-dex-method=%d", CompilerOptions::kDefaultNumDexMethodsThreshold);
312 UsageError(" Default: %d", CompilerOptions::kDefaultNumDexMethodsThreshold);
313 UsageError("");
Calin Juravleec748352015-07-29 13:52:12 +0100314 UsageError(" --inline-depth-limit=<depth-limit>: the depth limit of inlining for fine tuning");
315 UsageError(" the compiler. A zero value will disable inlining. Honored only by Optimizing.");
Roland Levillaina215b952015-08-07 11:38:32 +0100316 UsageError(" Has priority over the --compiler-filter option. Intended for ");
317 UsageError(" development/experimental use.");
Calin Juravleec748352015-07-29 13:52:12 +0100318 UsageError(" Example: --inline-depth-limit=%d", CompilerOptions::kDefaultInlineDepthLimit);
319 UsageError(" Default: %d", CompilerOptions::kDefaultInlineDepthLimit);
320 UsageError("");
321 UsageError(" --inline-max-code-units=<code-units-count>: the maximum code units that a method");
322 UsageError(" can have to be considered for inlining. A zero value will disable inlining.");
Roland Levillaina215b952015-08-07 11:38:32 +0100323 UsageError(" Honored only by Optimizing. Has priority over the --compiler-filter option.");
324 UsageError(" Intended for development/experimental use.");
Calin Juravleec748352015-07-29 13:52:12 +0100325 UsageError(" Example: --inline-max-code-units=%d",
326 CompilerOptions::kDefaultInlineMaxCodeUnits);
327 UsageError(" Default: %d", CompilerOptions::kDefaultInlineMaxCodeUnits);
328 UsageError("");
Ian Rogers46398602013-08-20 07:50:36 -0700329 UsageError(" --dump-timing: display a breakdown of where time was spent");
330 UsageError("");
Alex Light53cb16b2014-06-12 11:26:29 -0700331 UsageError(" --include-patch-information: Include patching information so the generated code");
332 UsageError(" can have its base address moved without full recompilation.");
333 UsageError("");
334 UsageError(" --no-include-patch-information: Do not include patching information.");
335 UsageError("");
David Srbecky8363c772015-05-28 16:12:43 +0100336 UsageError(" -g");
337 UsageError(" --generate-debug-info: Generate debug information for native debugging,");
338 UsageError(" such as stack unwinding information, ELF symbols and DWARF sections.");
David Srbecky346dc992016-03-13 22:00:07 +0000339 UsageError(" If used without --debuggable, it will be best-effort only.");
David Srbecky3e09eeb2016-01-12 14:54:03 +0000340 UsageError(" This option does not affect the generated code. (disabled by default)");
Alex Light78382fa2014-06-06 15:45:32 -0700341 UsageError("");
David Srbecky8363c772015-05-28 16:12:43 +0100342 UsageError(" --no-generate-debug-info: Do not generate debug information for native debugging.");
David Srbecky8dc73242015-04-12 11:40:39 +0100343 UsageError("");
David Srbecky5b1c2ca2016-01-25 17:32:41 +0000344 UsageError(" --generate-mini-debug-info: Generate minimal amount of LZMA-compressed");
345 UsageError(" debug information necessary to print backtraces. (disabled by default)");
346 UsageError("");
David Srbecky346dc992016-03-13 22:00:07 +0000347 UsageError(" --no-generate-mini-debug-info: Do not generate backtrace info.");
David Srbecky5b1c2ca2016-01-25 17:32:41 +0000348 UsageError("");
Alexey Alexandrovab40c112016-09-19 09:33:49 -0700349 UsageError(" --generate-build-id: Generate GNU-compatible linker build ID ELF section with");
350 UsageError(" SHA-1 of the file content (and thus stable across identical builds)");
351 UsageError("");
352 UsageError(" --no-generate-build-id: Do not generate the build ID ELF section.");
353 UsageError("");
David Srbecky3e09eeb2016-01-12 14:54:03 +0000354 UsageError(" --debuggable: Produce code debuggable with Java debugger.");
David Srbecky0cf44932015-12-09 14:09:59 +0000355 UsageError("");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700356 UsageError(" --runtime-arg <argument>: used to specify various arguments for the runtime,");
357 UsageError(" such as initial heap size, maximum heap size, and verbose output.");
358 UsageError(" Use a separate --runtime-arg switch for each argument.");
359 UsageError(" Example: --runtime-arg -Xms256m");
Jeff Hao4a200f52014-04-01 14:58:49 -0700360 UsageError("");
Dave Allisond6ed6422014-04-09 23:36:15 +0000361 UsageError(" --profile-file=<filename>: specify profiler output file to use for compilation.");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700362 UsageError("");
Calin Juravle877fd962016-01-05 14:29:29 +0000363 UsageError(" --profile-file-fd=<number>: same as --profile-file but accepts a file descriptor.");
364 UsageError(" Cannot be used together with --profile-file.");
365 UsageError("");
Andreas Gampee21dc3d2014-12-08 16:59:43 -0800366 UsageError(" --swap-file=<file-name>: specifies a file to use for swap.");
367 UsageError(" Example: --swap-file=/data/tmp/swap.001");
368 UsageError("");
369 UsageError(" --swap-fd=<file-descriptor>: specifies a file to use for swap (by descriptor).");
370 UsageError(" Example: --swap-fd=10");
371 UsageError("");
Andreas Gampee1459ae2016-06-29 09:36:30 -0700372 UsageError(" --swap-dex-size-threshold=<size>: specifies the minimum total dex file size in");
373 UsageError(" bytes to allow the use of swap.");
374 UsageError(" Example: --swap-dex-size-threshold=1000000");
375 UsageError(" Default: %zu", kDefaultMinDexFileCumulativeSizeForSwap);
376 UsageError("");
377 UsageError(" --swap-dex-count-threshold=<count>: specifies the minimum number of dex files to");
378 UsageError(" allow the use of swap.");
379 UsageError(" Example: --swap-dex-count-threshold=10");
380 UsageError(" Default: %zu", kDefaultMinDexFilesForSwap);
381 UsageError("");
Andreas Gampe67f02822016-06-24 21:05:23 -0700382 UsageError(" --very-large-app-threshold=<size>: specifies the minimum total dex file size in");
383 UsageError(" bytes to consider the input \"very large\" and punt on the compilation.");
384 UsageError(" Example: --very-large-app-threshold=100000000");
385 UsageError("");
Mathieu Chartiera90c7722015-10-29 15:41:36 -0700386 UsageError(" --app-image-fd=<file-descriptor>: specify output file descriptor for app image.");
387 UsageError(" Example: --app-image-fd=10");
388 UsageError("");
389 UsageError(" --app-image-file=<file-name>: specify a file name for app image.");
390 UsageError(" Example: --app-image-file=/data/dalvik-cache/system@app@Calculator.apk.art");
391 UsageError("");
Jeff Haodcdc85b2015-12-04 14:06:18 -0800392 UsageError(" --multi-image: specify that separate oat and image files be generated for each "
393 "input dex file.");
394 UsageError("");
Roland Levillaineb2c7412016-01-28 14:37:01 +0000395 UsageError(" --force-determinism: force the compiler to emit a deterministic output.");
396 UsageError(" This option is incompatible with read barriers (e.g., if dex2oat has been");
397 UsageError(" built with the environment variable `ART_USE_READ_BARRIER` set to `true`).");
398 UsageError("");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700399 std::cerr << "See log for usage error information\n";
400 exit(EXIT_FAILURE);
401}
402
Brian Carlstrom7940e442013-07-12 13:46:57 -0700403// The primary goal of the watchdog is to prevent stuck build servers
404// during development when fatal aborts lead to a cascade of failures
405// that result in a deadlock.
406class WatchDog {
Brian Carlstrom95b033b2014-12-03 22:29:37 -0800407// WatchDog defines its own CHECK_PTHREAD_CALL to avoid using LOG which uses locks
Brian Carlstrom7940e442013-07-12 13:46:57 -0700408#undef CHECK_PTHREAD_CALL
409#define CHECK_WATCH_DOG_PTHREAD_CALL(call, args, what) \
410 do { \
411 int rc = call args; \
412 if (rc != 0) { \
413 errno = rc; \
414 std::string message(# call); \
415 message += " failed for "; \
416 message += reason; \
417 Fatal(message); \
418 } \
419 } while (false)
420
421 public:
Andreas Gampe2e8a2562017-01-18 20:39:02 -0800422 explicit WatchDog(int64_t timeout_in_milliseconds)
423 : timeout_in_milliseconds_(timeout_in_milliseconds),
424 shutting_down_(false) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700425 const char* reason = "dex2oat watch dog thread startup";
Kenny Root51316382014-05-13 14:59:37 -0700426 CHECK_WATCH_DOG_PTHREAD_CALL(pthread_mutex_init, (&mutex_, nullptr), reason);
Mathieu Chartierdbf44402017-02-22 16:07:23 -0800427#ifndef __APPLE__
428 pthread_condattr_t condattr;
liulvping8f7101e2017-01-16 15:14:43 +0800429 CHECK_WATCH_DOG_PTHREAD_CALL(pthread_condattr_init, (&condattr), reason);
430 CHECK_WATCH_DOG_PTHREAD_CALL(pthread_condattr_setclock, (&condattr, CLOCK_MONOTONIC), reason);
431 CHECK_WATCH_DOG_PTHREAD_CALL(pthread_cond_init, (&cond_, &condattr), reason);
432 CHECK_WATCH_DOG_PTHREAD_CALL(pthread_condattr_destroy, (&condattr), reason);
Mathieu Chartierdbf44402017-02-22 16:07:23 -0800433#endif
Brian Carlstrom7940e442013-07-12 13:46:57 -0700434 CHECK_WATCH_DOG_PTHREAD_CALL(pthread_attr_init, (&attr_), reason);
435 CHECK_WATCH_DOG_PTHREAD_CALL(pthread_create, (&pthread_, &attr_, &CallBack, this), reason);
436 CHECK_WATCH_DOG_PTHREAD_CALL(pthread_attr_destroy, (&attr_), reason);
437 }
438 ~WatchDog() {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700439 const char* reason = "dex2oat watch dog thread shutdown";
440 CHECK_WATCH_DOG_PTHREAD_CALL(pthread_mutex_lock, (&mutex_), reason);
441 shutting_down_ = true;
442 CHECK_WATCH_DOG_PTHREAD_CALL(pthread_cond_signal, (&cond_), reason);
443 CHECK_WATCH_DOG_PTHREAD_CALL(pthread_mutex_unlock, (&mutex_), reason);
444
Kenny Root51316382014-05-13 14:59:37 -0700445 CHECK_WATCH_DOG_PTHREAD_CALL(pthread_join, (pthread_, nullptr), reason);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700446
447 CHECK_WATCH_DOG_PTHREAD_CALL(pthread_cond_destroy, (&cond_), reason);
448 CHECK_WATCH_DOG_PTHREAD_CALL(pthread_mutex_destroy, (&mutex_), reason);
449 }
450
Andreas Gampe2e8a2562017-01-18 20:39:02 -0800451 // TODO: tune the multiplier for GC verification, the following is just to make the timeout
452 // large.
453 static constexpr int64_t kWatchdogVerifyMultiplier =
454 kVerifyObjectSupport > kVerifyObjectModeFast ? 100 : 1;
455
456 // When setting timeouts, keep in mind that the build server may not be as fast as your
457 // desktop. Debug builds are slower so they have larger timeouts.
458 static constexpr int64_t kWatchdogSlowdownFactor = kIsDebugBuild ? 5U : 1U;
459
460 // 9.5 minutes scaled by kSlowdownFactor. This is slightly smaller than the Package Manager
461 // watchdog (PackageManagerService.WATCHDOG_TIMEOUT, 10 minutes), so that dex2oat will abort
462 // itself before that watchdog would take down the system server.
463 static constexpr int64_t kWatchDogTimeoutSeconds = kWatchdogSlowdownFactor * (9 * 60 + 30);
464
465 static constexpr int64_t kDefaultWatchdogTimeoutInMS =
466 kWatchdogVerifyMultiplier * kWatchDogTimeoutSeconds * 1000;
467
Brian Carlstrom7940e442013-07-12 13:46:57 -0700468 private:
469 static void* CallBack(void* arg) {
470 WatchDog* self = reinterpret_cast<WatchDog*>(arg);
471 ::art::SetThreadName("dex2oat watch dog");
472 self->Wait();
Kenny Root51316382014-05-13 14:59:37 -0700473 return nullptr;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700474 }
475
Andreas Gampe794ad762015-02-23 08:12:24 -0800476 NO_RETURN static void Fatal(const std::string& message) {
Andreas Gamped687e372015-04-28 23:16:03 -0700477 // TODO: When we can guarantee it won't prevent shutdown in error cases, move to LOG. However,
478 // it's rather easy to hang in unwinding.
479 // LogLine also avoids ART logging lock issues, as it's really only a wrapper around
480 // logcat logging or stderr output.
Andreas Gampe3fec9ac2016-09-13 10:47:28 -0700481 android::base::LogMessage::LogLine(__FILE__,
482 __LINE__,
483 android::base::LogId::DEFAULT,
484 LogSeverity::FATAL,
485 message.c_str());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700486 exit(1);
487 }
488
489 void Wait() {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700490 timespec timeout_ts;
Mathieu Chartierdbf44402017-02-22 16:07:23 -0800491#if defined(__APPLE__)
492 InitTimeSpec(true, CLOCK_REALTIME, timeout_in_milliseconds_, 0, &timeout_ts);
493#else
liulvping8f7101e2017-01-16 15:14:43 +0800494 InitTimeSpec(true, CLOCK_MONOTONIC, timeout_in_milliseconds_, 0, &timeout_ts);
Mathieu Chartierdbf44402017-02-22 16:07:23 -0800495#endif
Brian Carlstrom7940e442013-07-12 13:46:57 -0700496 const char* reason = "dex2oat watch dog thread waiting";
497 CHECK_WATCH_DOG_PTHREAD_CALL(pthread_mutex_lock, (&mutex_), reason);
498 while (!shutting_down_) {
Brian Carlstrom95b033b2014-12-03 22:29:37 -0800499 int rc = TEMP_FAILURE_RETRY(pthread_cond_timedwait(&cond_, &mutex_, &timeout_ts));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700500 if (rc == ETIMEDOUT) {
Andreas Gamped687e372015-04-28 23:16:03 -0700501 Fatal(StringPrintf("dex2oat did not finish after %" PRId64 " seconds",
Andreas Gampe2e8a2562017-01-18 20:39:02 -0800502 timeout_in_milliseconds_/1000));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700503 } else if (rc != 0) {
504 std::string message(StringPrintf("pthread_cond_timedwait failed: %s",
505 strerror(errno)));
506 Fatal(message.c_str());
507 }
508 }
509 CHECK_WATCH_DOG_PTHREAD_CALL(pthread_mutex_unlock, (&mutex_), reason);
510 }
511
Andreas Gampe2e8a2562017-01-18 20:39:02 -0800512 const int64_t timeout_in_milliseconds_;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700513 bool shutting_down_;
514 // TODO: Switch to Mutex when we can guarantee it won't prevent shutdown in error cases.
515 pthread_mutex_t mutex_;
516 pthread_cond_t cond_;
517 pthread_attr_t attr_;
518 pthread_t pthread_;
519};
Brian Carlstrom7940e442013-07-12 13:46:57 -0700520
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800521class Dex2Oat FINAL {
522 public:
523 explicit Dex2Oat(TimingLogger* timings) :
Nicolas Geoffray409e8092015-10-01 10:32:19 +0100524 compiler_kind_(Compiler::kOptimizing),
Artem Serovba6b6792016-08-15 14:22:07 +0100525 instruction_set_(kRuntimeISA == kArm ? kThumb2 : kRuntimeISA),
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800526 // Take the default set of instruction features from the build.
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000527 image_file_location_oat_checksum_(0),
528 image_file_location_oat_data_begin_(0),
529 image_patch_delta_(0),
530 key_value_store_(nullptr),
Andreas Gampe3f30e122015-09-17 14:03:21 -0700531 verification_results_(nullptr),
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800532 runtime_(nullptr),
533 thread_count_(sysconf(_SC_NPROCESSORS_CONF)),
534 start_ns_(NanoTime()),
Andreas Gampec560fc02014-07-16 09:57:39 -0700535 start_cputime_ns_(ProcessCpuNanoTime()),
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800536 oat_fd_(-1),
Nicolas Geoffraya6a448a2016-11-10 10:49:40 +0000537 input_vdex_fd_(-1),
538 output_vdex_fd_(-1),
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +0000539 input_vdex_file_(nullptr),
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800540 zip_fd_(-1),
541 image_base_(0U),
542 image_classes_zip_filename_(nullptr),
543 image_classes_filename_(nullptr),
Mathieu Chartierceb07b32015-12-10 09:33:21 -0800544 image_storage_mode_(ImageHeader::kStorageModeUncompressed),
Andreas Gampe4bf3ae92014-11-11 13:28:29 -0800545 compiled_classes_zip_filename_(nullptr),
546 compiled_classes_filename_(nullptr),
Andreas Gampe70bef0d2015-04-15 02:37:28 -0700547 compiled_methods_zip_filename_(nullptr),
548 compiled_methods_filename_(nullptr),
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -0700549 passes_to_run_filename_(nullptr),
Jeff Hao436183f2016-01-12 16:36:50 -0800550 multi_image_(false),
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800551 is_host_(false),
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000552 class_loader_(nullptr),
553 elf_writers_(),
554 oat_writers_(),
555 rodata_(),
Vladimir Marko10c13562015-11-25 14:33:36 +0000556 image_writer_(nullptr),
Andreas Gampe3f30e122015-09-17 14:03:21 -0700557 driver_(nullptr),
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000558 opened_dex_files_maps_(),
559 opened_dex_files_(),
Vladimir Marko47496c22016-01-27 16:15:08 +0000560 no_inline_from_dex_files_(),
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800561 dump_stats_(false),
562 dump_passes_(false),
563 dump_timing_(false),
564 dump_slow_timing_(kIsDebugBuild),
Calin Juravle2e2db782016-02-23 12:00:03 +0000565 swap_fd_(kInvalidFd),
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800566 app_image_fd_(kInvalidFd),
Calin Juravle2e2db782016-02-23 12:00:03 +0000567 profile_file_fd_(kInvalidFd),
Andreas Gampeace0dc12016-01-20 13:33:13 -0800568 timings_(timings),
Calin Juravle2e2db782016-02-23 12:00:03 +0000569 force_determinism_(false)
570 {}
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800571
572 ~Dex2Oat() {
Richard Uhlerfbef44d2014-12-23 09:48:51 -0800573 // Log completion time before deleting the runtime_, because this accesses
574 // the runtime.
575 LogCompletionTime();
576
Vladimir Marko307dac92015-10-20 11:20:09 +0100577 if (!kIsDebugBuild && !(RUNNING_ON_MEMORY_TOOL && kMemoryToolDetectsLeaks)) {
578 // We want to just exit on non-debug builds, not bringing the runtime down
579 // in an orderly fashion. So release the following fields.
580 driver_.release();
581 image_writer_.release();
582 for (std::unique_ptr<const DexFile>& dex_file : opened_dex_files_) {
583 dex_file.release();
584 }
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000585 for (std::unique_ptr<MemMap>& map : opened_dex_files_maps_) {
586 map.release();
587 }
David Brazdil7b49e6c2016-09-01 11:06:18 +0100588 for (std::unique_ptr<File>& vdex_file : vdex_files_) {
589 vdex_file.release();
590 }
Jeff Haodcdc85b2015-12-04 14:06:18 -0800591 for (std::unique_ptr<File>& oat_file : oat_files_) {
592 oat_file.release();
593 }
Vladimir Marko307dac92015-10-20 11:20:09 +0100594 runtime_.release();
595 verification_results_.release();
596 key_value_store_.release();
Vladimir Markof94b7812014-06-05 15:48:04 +0100597 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700598 }
599
Roland Levillain9ec5e222015-08-17 20:18:41 +0100600 struct ParserOptions {
Jeff Haodcdc85b2015-12-04 14:06:18 -0800601 std::vector<const char*> oat_symbols;
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800602 std::string boot_image_filename;
Andreas Gampe2e8a2562017-01-18 20:39:02 -0800603 int64_t watch_dog_timeout_in_ms = -1;
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800604 bool watch_dog_enabled = true;
Nicolas Geoffray1412dfa2015-03-20 14:48:13 +0000605 bool requested_specific_compiler = false;
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800606 std::string error_msg;
Roland Levillain9ec5e222015-08-17 20:18:41 +0100607 };
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800608
Roland Levillain9ec5e222015-08-17 20:18:41 +0100609 void ParseZipFd(const StringPiece& option) {
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000610 ParseUintOption(option, "--zip-fd", &zip_fd_, Usage);
Roland Levillain9ec5e222015-08-17 20:18:41 +0100611 }
612
Nicolas Geoffraya6a448a2016-11-10 10:49:40 +0000613 void ParseInputVdexFd(const StringPiece& option) {
614 // Note that the input vdex fd might be -1.
615 ParseIntOption(option, "--input-vdex-fd", &input_vdex_fd_, Usage);
616 }
617
618 void ParseOutputVdexFd(const StringPiece& option) {
619 ParseUintOption(option, "--output-vdex-fd", &output_vdex_fd_, Usage);
David Brazdil7b49e6c2016-09-01 11:06:18 +0100620 }
621
Roland Levillain9ec5e222015-08-17 20:18:41 +0100622 void ParseOatFd(const StringPiece& option) {
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000623 ParseUintOption(option, "--oat-fd", &oat_fd_, Usage);
Roland Levillain9ec5e222015-08-17 20:18:41 +0100624 }
625
Calin Juravle877fd962016-01-05 14:29:29 +0000626 void ParseFdForCollection(const StringPiece& option,
627 const char* arg_name,
628 std::vector<uint32_t>* fds) {
629 uint32_t fd;
630 ParseUintOption(option, arg_name, &fd, Usage);
631 fds->push_back(fd);
632 }
633
Roland Levillain9ec5e222015-08-17 20:18:41 +0100634 void ParseJ(const StringPiece& option) {
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000635 ParseUintOption(option, "-j", &thread_count_, Usage, /* is_long_option */ false);
Roland Levillain9ec5e222015-08-17 20:18:41 +0100636 }
637
638 void ParseBase(const StringPiece& option) {
639 DCHECK(option.starts_with("--base="));
640 const char* image_base_str = option.substr(strlen("--base=")).data();
641 char* end;
642 image_base_ = strtoul(image_base_str, &end, 16);
643 if (end == image_base_str || *end != '\0') {
644 Usage("Failed to parse hexadecimal value for option %s", option.data());
645 }
646 }
647
648 void ParseInstructionSet(const StringPiece& option) {
649 DCHECK(option.starts_with("--instruction-set="));
650 StringPiece instruction_set_str = option.substr(strlen("--instruction-set=")).data();
651 // StringPiece is not necessarily zero-terminated, so need to make a copy and ensure it.
652 std::unique_ptr<char[]> buf(new char[instruction_set_str.length() + 1]);
653 strncpy(buf.get(), instruction_set_str.data(), instruction_set_str.length());
654 buf.get()[instruction_set_str.length()] = 0;
655 instruction_set_ = GetInstructionSetFromString(buf.get());
656 // arm actually means thumb2.
657 if (instruction_set_ == InstructionSet::kArm) {
658 instruction_set_ = InstructionSet::kThumb2;
659 }
660 }
661
662 void ParseInstructionSetVariant(const StringPiece& option, ParserOptions* parser_options) {
663 DCHECK(option.starts_with("--instruction-set-variant="));
664 StringPiece str = option.substr(strlen("--instruction-set-variant=")).data();
Andreas Gampe0415b4e2015-01-06 15:17:07 -0800665 instruction_set_features_ = InstructionSetFeatures::FromVariant(
666 instruction_set_, str.as_string(), &parser_options->error_msg);
Roland Levillain9ec5e222015-08-17 20:18:41 +0100667 if (instruction_set_features_.get() == nullptr) {
668 Usage("%s", parser_options->error_msg.c_str());
669 }
670 }
671
672 void ParseInstructionSetFeatures(const StringPiece& option, ParserOptions* parser_options) {
673 DCHECK(option.starts_with("--instruction-set-features="));
674 StringPiece str = option.substr(strlen("--instruction-set-features=")).data();
Andreas Gampe0415b4e2015-01-06 15:17:07 -0800675 if (instruction_set_features_ == nullptr) {
676 instruction_set_features_ = InstructionSetFeatures::FromVariant(
677 instruction_set_, "default", &parser_options->error_msg);
Roland Levillain9ec5e222015-08-17 20:18:41 +0100678 if (instruction_set_features_.get() == nullptr) {
679 Usage("Problem initializing default instruction set features variant: %s",
680 parser_options->error_msg.c_str());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700681 }
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800682 }
Andreas Gampe0415b4e2015-01-06 15:17:07 -0800683 instruction_set_features_ =
Roland Levillain9ec5e222015-08-17 20:18:41 +0100684 instruction_set_features_->AddFeaturesFromString(str.as_string(),
Andreas Gampe0415b4e2015-01-06 15:17:07 -0800685 &parser_options->error_msg);
686 if (instruction_set_features_ == nullptr) {
Roland Levillain9ec5e222015-08-17 20:18:41 +0100687 Usage("Error parsing '%s': %s", option.data(), parser_options->error_msg.c_str());
688 }
689 }
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800690
Roland Levillain9ec5e222015-08-17 20:18:41 +0100691 void ParseCompilerBackend(const StringPiece& option, ParserOptions* parser_options) {
692 DCHECK(option.starts_with("--compiler-backend="));
693 parser_options->requested_specific_compiler = true;
694 StringPiece backend_str = option.substr(strlen("--compiler-backend=")).data();
695 if (backend_str == "Quick") {
696 compiler_kind_ = Compiler::kQuick;
697 } else if (backend_str == "Optimizing") {
698 compiler_kind_ = Compiler::kOptimizing;
699 } else {
700 Usage("Unknown compiler backend: %s", backend_str.data());
701 }
702 }
703
Mathieu Chartierceb07b32015-12-10 09:33:21 -0800704 void ParseImageFormat(const StringPiece& option) {
705 const StringPiece substr("--image-format=");
706 DCHECK(option.starts_with(substr));
707 const StringPiece format_str = option.substr(substr.length());
708 if (format_str == "lz4") {
709 image_storage_mode_ = ImageHeader::kStorageModeLZ4;
Mathieu Chartiera6e81ed2016-02-25 13:52:10 -0800710 } else if (format_str == "lz4hc") {
711 image_storage_mode_ = ImageHeader::kStorageModeLZ4HC;
Mathieu Chartierceb07b32015-12-10 09:33:21 -0800712 } else if (format_str == "uncompressed") {
713 image_storage_mode_ = ImageHeader::kStorageModeUncompressed;
714 } else {
715 Usage("Unknown image format: %s", format_str.data());
716 }
717 }
718
Jeff Hao436183f2016-01-12 16:36:50 -0800719 void ProcessOptions(ParserOptions* parser_options) {
Vladimir Markoaad75c62016-10-03 08:46:48 +0000720 compiler_options_->boot_image_ = !image_filenames_.empty();
721 compiler_options_->app_image_ = app_image_fd_ != -1 || !app_image_file_name_.empty();
Mathieu Chartiera90c7722015-10-29 15:41:36 -0700722
723 if (IsAppImage() && IsBootImage()) {
724 Usage("Can't have both --image and (--app-image-fd or --app-image-file)");
725 }
726
Jeff Haodcdc85b2015-12-04 14:06:18 -0800727 if (oat_filenames_.empty() && oat_fd_ == -1) {
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800728 Usage("Output must be supplied with either --oat-file or --oat-fd");
729 }
730
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +0000731 if (input_vdex_fd_ != -1 && !input_vdex_.empty()) {
732 Usage("Can't have both --input-vdex-fd and --input-vdex");
733 }
734
Jeff Haodcdc85b2015-12-04 14:06:18 -0800735 if (!oat_filenames_.empty() && oat_fd_ != -1) {
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800736 Usage("--oat-file should not be used with --oat-fd");
737 }
738
Nicolas Geoffraya6a448a2016-11-10 10:49:40 +0000739 if ((output_vdex_fd_ == -1) != (oat_fd_ == -1)) {
David Brazdil7b49e6c2016-09-01 11:06:18 +0100740 Usage("VDEX and OAT output must be specified either with one --oat-filename "
Nicolas Geoffraya6a448a2016-11-10 10:49:40 +0000741 "or with --oat-fd and --output-vdex-fd file descriptors");
David Brazdil7b49e6c2016-09-01 11:06:18 +0100742 }
743
Roland Levillain9ec5e222015-08-17 20:18:41 +0100744 if (!parser_options->oat_symbols.empty() && oat_fd_ != -1) {
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800745 Usage("--oat-symbols should not be used with --oat-fd");
746 }
747
Roland Levillain9ec5e222015-08-17 20:18:41 +0100748 if (!parser_options->oat_symbols.empty() && is_host_) {
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800749 Usage("--oat-symbols should not be used with --host");
750 }
751
Nicolas Geoffraya6a448a2016-11-10 10:49:40 +0000752 if (output_vdex_fd_ != -1 && !image_filenames_.empty()) {
753 Usage("--output-vdex-fd should not be used with --image");
David Brazdil7b49e6c2016-09-01 11:06:18 +0100754 }
755
Jeff Haodcdc85b2015-12-04 14:06:18 -0800756 if (oat_fd_ != -1 && !image_filenames_.empty()) {
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800757 Usage("--oat-fd should not be used with --image");
758 }
759
Jeff Haodcdc85b2015-12-04 14:06:18 -0800760 if (!parser_options->oat_symbols.empty() &&
761 parser_options->oat_symbols.size() != oat_filenames_.size()) {
762 Usage("--oat-file arguments do not match --oat-symbols arguments");
763 }
764
765 if (!image_filenames_.empty() && image_filenames_.size() != oat_filenames_.size()) {
766 Usage("--oat-file arguments do not match --image arguments");
767 }
768
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800769 if (android_root_.empty()) {
770 const char* android_root_env_var = getenv("ANDROID_ROOT");
771 if (android_root_env_var == nullptr) {
772 Usage("--android-root unspecified and ANDROID_ROOT not set");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700773 }
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800774 android_root_ += android_root_env_var;
775 }
776
Vladimir Markoaad75c62016-10-03 08:46:48 +0000777 if (!IsBootImage() && parser_options->boot_image_filename.empty()) {
Roland Levillain9ec5e222015-08-17 20:18:41 +0100778 parser_options->boot_image_filename += android_root_;
779 parser_options->boot_image_filename += "/framework/boot.art";
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800780 }
Roland Levillain9ec5e222015-08-17 20:18:41 +0100781 if (!parser_options->boot_image_filename.empty()) {
Vladimir Marko49b0f452015-12-10 13:49:19 +0000782 boot_image_filename_ = parser_options->boot_image_filename;
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800783 }
784
Mathieu Chartiera90c7722015-10-29 15:41:36 -0700785 if (image_classes_filename_ != nullptr && !IsBootImage()) {
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800786 Usage("--image-classes should only be used with --image");
787 }
788
Vladimir Marko49b0f452015-12-10 13:49:19 +0000789 if (image_classes_filename_ != nullptr && !boot_image_filename_.empty()) {
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800790 Usage("--image-classes should not be used with --boot-image");
791 }
792
793 if (image_classes_zip_filename_ != nullptr && image_classes_filename_ == nullptr) {
794 Usage("--image-classes-zip should be used with --image-classes");
795 }
796
Mathieu Chartiera90c7722015-10-29 15:41:36 -0700797 if (compiled_classes_filename_ != nullptr && !IsBootImage()) {
Andreas Gampe4bf3ae92014-11-11 13:28:29 -0800798 Usage("--compiled-classes should only be used with --image");
799 }
800
Vladimir Marko49b0f452015-12-10 13:49:19 +0000801 if (compiled_classes_filename_ != nullptr && !boot_image_filename_.empty()) {
Andreas Gampe4bf3ae92014-11-11 13:28:29 -0800802 Usage("--compiled-classes should not be used with --boot-image");
803 }
804
805 if (compiled_classes_zip_filename_ != nullptr && compiled_classes_filename_ == nullptr) {
806 Usage("--compiled-classes-zip should be used with --compiled-classes");
807 }
808
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800809 if (dex_filenames_.empty() && zip_fd_ == -1) {
810 Usage("Input must be supplied with either --dex-file or --zip-fd");
811 }
812
813 if (!dex_filenames_.empty() && zip_fd_ != -1) {
814 Usage("--dex-file should not be used with --zip-fd");
815 }
816
817 if (!dex_filenames_.empty() && !zip_location_.empty()) {
818 Usage("--dex-file should not be used with --zip-location");
819 }
820
821 if (dex_locations_.empty()) {
822 for (const char* dex_file_name : dex_filenames_) {
823 dex_locations_.push_back(dex_file_name);
824 }
825 } else if (dex_locations_.size() != dex_filenames_.size()) {
826 Usage("--dex-location arguments do not match --dex-file arguments");
827 }
828
Jeff Haodcdc85b2015-12-04 14:06:18 -0800829 if (!dex_filenames_.empty() && !oat_filenames_.empty()) {
830 if (oat_filenames_.size() != 1 && oat_filenames_.size() != dex_filenames_.size()) {
831 Usage("--oat-file arguments must be singular or match --dex-file arguments");
832 }
833 }
834
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800835 if (zip_fd_ != -1 && zip_location_.empty()) {
836 Usage("--zip-location should be supplied with --zip-fd");
837 }
838
Vladimir Marko49b0f452015-12-10 13:49:19 +0000839 if (boot_image_filename_.empty()) {
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800840 if (image_base_ == 0) {
841 Usage("Non-zero --base not specified");
842 }
843 }
844
Mathieu Chartiera8077802016-03-16 19:08:31 -0700845 const bool have_profile_file = !profile_file_.empty();
846 const bool have_profile_fd = profile_file_fd_ != kInvalidFd;
847 if (have_profile_file && have_profile_fd) {
Calin Juravle2e2db782016-02-23 12:00:03 +0000848 Usage("Profile file should not be specified with both --profile-file-fd and --profile-file");
Calin Juravle998c2162015-12-21 15:39:33 +0200849 }
850
Roland Levillain9ec5e222015-08-17 20:18:41 +0100851 if (!parser_options->oat_symbols.empty()) {
Jeff Haodcdc85b2015-12-04 14:06:18 -0800852 oat_unstripped_ = std::move(parser_options->oat_symbols);
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800853 }
854
855 // If no instruction set feature was given, use the default one for the target
856 // instruction set.
857 if (instruction_set_features_.get() == nullptr) {
Andreas Gampe0415b4e2015-01-06 15:17:07 -0800858 instruction_set_features_ = InstructionSetFeatures::FromVariant(
859 instruction_set_, "default", &parser_options->error_msg);
Ian Rogersd582fa42014-11-05 23:46:43 -0800860 if (instruction_set_features_.get() == nullptr) {
861 Usage("Problem initializing default instruction set features variant: %s",
Roland Levillain9ec5e222015-08-17 20:18:41 +0100862 parser_options->error_msg.c_str());
Ian Rogersd582fa42014-11-05 23:46:43 -0800863 }
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800864 }
865
866 if (instruction_set_ == kRuntimeISA) {
867 std::unique_ptr<const InstructionSetFeatures> runtime_features(
868 InstructionSetFeatures::FromCppDefines());
869 if (!instruction_set_features_->Equals(runtime_features.get())) {
870 LOG(WARNING) << "Mismatch between dex2oat instruction set features ("
871 << *instruction_set_features_ << ") and those of dex2oat executable ("
872 << *runtime_features <<") for the command line:\n"
873 << CommandLine();
874 }
875 }
876
Roland Levillaina215b952015-08-07 11:38:32 +0100877 // It they are not set, use default values for inlining settings.
878 // TODO: We should rethink the compiler filter. We mostly save
879 // time here, which is orthogonal to space.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000880 if (compiler_options_->inline_depth_limit_ == CompilerOptions::kUnsetInlineDepthLimit) {
881 compiler_options_->inline_depth_limit_ =
Andreas Gampe29d38e72016-03-23 15:31:51 +0000882 (compiler_options_->compiler_filter_ == CompilerFilter::kSpace)
Roland Levillaina215b952015-08-07 11:38:32 +0100883 // Implementation of the space filter: limit inlining depth.
884 ? CompilerOptions::kSpaceFilterInlineDepthLimit
885 : CompilerOptions::kDefaultInlineDepthLimit;
886 }
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000887 if (compiler_options_->inline_max_code_units_ == CompilerOptions::kUnsetInlineMaxCodeUnits) {
888 compiler_options_->inline_max_code_units_ =
Andreas Gampe29d38e72016-03-23 15:31:51 +0000889 (compiler_options_->compiler_filter_ == CompilerFilter::kSpace)
Roland Levillaina215b952015-08-07 11:38:32 +0100890 // Implementation of the space filter: limit inlining max code units.
891 ? CompilerOptions::kSpaceFilterInlineMaxCodeUnits
892 : CompilerOptions::kDefaultInlineMaxCodeUnits;
893 }
894
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800895 // Checks are all explicit until we know the architecture.
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800896 // Set the compilation target's implicit checks options.
897 switch (instruction_set_) {
898 case kArm:
899 case kThumb2:
900 case kArm64:
901 case kX86:
902 case kX86_64:
Douglas Leung22bb5a22015-07-02 16:42:08 -0700903 case kMips:
904 case kMips64:
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000905 compiler_options_->implicit_null_checks_ = true;
906 compiler_options_->implicit_so_checks_ = true;
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800907 break;
908
909 default:
910 // Defaults are correct.
911 break;
912 }
913
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000914 compiler_options_->verbose_methods_ = verbose_methods_.empty() ? nullptr : &verbose_methods_;
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800915
Jeff Hao436183f2016-01-12 16:36:50 -0800916 if (!IsBootImage() && multi_image_) {
Jeff Haodcdc85b2015-12-04 14:06:18 -0800917 Usage("--multi-image can only be used when creating boot images");
918 }
Jeff Hao436183f2016-01-12 16:36:50 -0800919 if (IsBootImage() && multi_image_ && image_filenames_.size() > 1) {
Jeff Haodcdc85b2015-12-04 14:06:18 -0800920 Usage("--multi-image cannot be used with multiple image names");
921 }
922
923 // For now, if we're on the host and compile the boot image, *always* use multiple image files.
924 if (!kIsTargetBuild && IsBootImage()) {
925 if (image_filenames_.size() == 1) {
Jeff Hao436183f2016-01-12 16:36:50 -0800926 multi_image_ = true;
Jeff Haodcdc85b2015-12-04 14:06:18 -0800927 }
928 }
929
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800930 // Done with usage checks, enable watchdog if requested
Roland Levillain9ec5e222015-08-17 20:18:41 +0100931 if (parser_options->watch_dog_enabled) {
Andreas Gampe2e8a2562017-01-18 20:39:02 -0800932 int64_t timeout = parser_options->watch_dog_timeout_in_ms > 0
933 ? parser_options->watch_dog_timeout_in_ms
934 : WatchDog::kDefaultWatchdogTimeoutInMS;
935 watchdog_.reset(new WatchDog(timeout));
Andreas Gampe88ec7f42014-11-05 10:18:32 -0800936 }
937
938 // Fill some values into the key-value store for the oat header.
939 key_value_store_.reset(new SafeMap<std::string, std::string>());
Andreas Gampeace0dc12016-01-20 13:33:13 -0800940
Hiroshi Yamauchi6af53482016-01-29 15:38:58 -0800941 // Automatically force determinism for the boot image in a host build if the default GC is CMS
942 // or MS and read barriers are not enabled, as the former switches the GC to a non-concurrent
943 // one by passing the option `-Xgc:nonconcurrent` (see below).
944 if (!kIsTargetBuild && IsBootImage()) {
945 if (SupportsDeterministicCompilation()) {
946 force_determinism_ = true;
947 } else {
948 LOG(WARNING) << "Deterministic compilation is disabled.";
949 }
Andreas Gampeace0dc12016-01-20 13:33:13 -0800950 }
951 compiler_options_->force_determinism_ = force_determinism_;
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -0700952
953 if (passes_to_run_filename_ != nullptr) {
954 passes_to_run_.reset(ReadCommentedInputFromFile<std::vector<std::string>>(
955 passes_to_run_filename_,
956 nullptr)); // No post-processing.
957 if (passes_to_run_.get() == nullptr) {
958 Usage("Failed to read list of passes to run.");
959 }
960 }
961 compiler_options_->passes_to_run_ = passes_to_run_.get();
Roland Levillain9ec5e222015-08-17 20:18:41 +0100962 }
963
Hiroshi Yamauchi6af53482016-01-29 15:38:58 -0800964 static bool SupportsDeterministicCompilation() {
965 return (gc::kCollectorTypeDefault == gc::kCollectorTypeCMS ||
966 gc::kCollectorTypeDefault == gc::kCollectorTypeMS) &&
967 !kEmitCompilerReadBarrier;
968 }
969
Jeff Hao436183f2016-01-12 16:36:50 -0800970 void ExpandOatAndImageFilenames() {
971 std::string base_oat = oat_filenames_[0];
972 size_t last_oat_slash = base_oat.rfind('/');
973 if (last_oat_slash == std::string::npos) {
974 Usage("--multi-image used with unusable oat filename %s", base_oat.c_str());
975 }
976 // We also need to honor path components that were encoded through '@'. Otherwise the loading
977 // code won't be able to find the images.
978 if (base_oat.find('@', last_oat_slash) != std::string::npos) {
979 last_oat_slash = base_oat.rfind('@');
980 }
981 base_oat = base_oat.substr(0, last_oat_slash + 1);
982
983 std::string base_img = image_filenames_[0];
984 size_t last_img_slash = base_img.rfind('/');
985 if (last_img_slash == std::string::npos) {
986 Usage("--multi-image used with unusable image filename %s", base_img.c_str());
987 }
988 // We also need to honor path components that were encoded through '@'. Otherwise the loading
989 // code won't be able to find the images.
990 if (base_img.find('@', last_img_slash) != std::string::npos) {
991 last_img_slash = base_img.rfind('@');
992 }
993
994 // Get the prefix, which is the primary image name (without path components). Strip the
995 // extension.
996 std::string prefix = base_img.substr(last_img_slash + 1);
997 if (prefix.rfind('.') != std::string::npos) {
998 prefix = prefix.substr(0, prefix.rfind('.'));
999 }
1000 if (!prefix.empty()) {
1001 prefix = prefix + "-";
1002 }
1003
1004 base_img = base_img.substr(0, last_img_slash + 1);
1005
1006 // Note: we have some special case here for our testing. We have to inject the differentiating
1007 // parts for the different core images.
1008 std::string infix; // Empty infix by default.
1009 {
1010 // Check the first name.
1011 std::string dex_file = oat_filenames_[0];
1012 size_t last_dex_slash = dex_file.rfind('/');
1013 if (last_dex_slash != std::string::npos) {
1014 dex_file = dex_file.substr(last_dex_slash + 1);
1015 }
1016 size_t last_dex_dot = dex_file.rfind('.');
1017 if (last_dex_dot != std::string::npos) {
1018 dex_file = dex_file.substr(0, last_dex_dot);
1019 }
Andreas Gampe9186ced2016-12-12 14:28:21 -08001020 if (android::base::StartsWith(dex_file, "core-")) {
Jeff Hao436183f2016-01-12 16:36:50 -08001021 infix = dex_file.substr(strlen("core"));
1022 }
1023 }
1024
bowen_lai8bd36c02016-10-12 13:28:55 +08001025 std::string base_symbol_oat;
1026 if (!oat_unstripped_.empty()) {
1027 base_symbol_oat = oat_unstripped_[0];
1028 size_t last_symbol_oat_slash = base_symbol_oat.rfind('/');
1029 if (last_symbol_oat_slash == std::string::npos) {
1030 Usage("--multi-image used with unusable symbol filename %s", base_symbol_oat.c_str());
1031 }
1032 base_symbol_oat = base_symbol_oat.substr(0, last_symbol_oat_slash + 1);
1033 }
1034
1035 const size_t num_expanded_files = 2 + (base_symbol_oat.empty() ? 0 : 1);
1036 char_backing_storage_.reserve((dex_locations_.size() - 1) * num_expanded_files);
Ben Gruvera0fc3262016-09-30 13:10:42 -07001037
Jeff Hao436183f2016-01-12 16:36:50 -08001038 // Now create the other names. Use a counted loop to skip the first one.
1039 for (size_t i = 1; i < dex_locations_.size(); ++i) {
1040 // TODO: Make everything properly std::string.
1041 std::string image_name = CreateMultiImageName(dex_locations_[i], prefix, infix, ".art");
1042 char_backing_storage_.push_back(base_img + image_name);
1043 image_filenames_.push_back((char_backing_storage_.end() - 1)->c_str());
1044
1045 std::string oat_name = CreateMultiImageName(dex_locations_[i], prefix, infix, ".oat");
1046 char_backing_storage_.push_back(base_oat + oat_name);
1047 oat_filenames_.push_back((char_backing_storage_.end() - 1)->c_str());
bowen_lai8bd36c02016-10-12 13:28:55 +08001048
1049 if (!base_symbol_oat.empty()) {
1050 char_backing_storage_.push_back(base_symbol_oat + oat_name);
1051 oat_unstripped_.push_back((char_backing_storage_.end() - 1)->c_str());
1052 }
Jeff Hao436183f2016-01-12 16:36:50 -08001053 }
1054 }
1055
Andreas Gampe8994a042015-12-30 19:03:17 +00001056 // Modify the input string in the following way:
1057 // 0) Assume input is /a/b/c.d
1058 // 1) Strip the path -> c.d
1059 // 2) Inject prefix p -> pc.d
1060 // 3) Inject infix i -> pci.d
1061 // 4) Replace suffix with s if it's "jar" -> d == "jar" -> pci.s
Jeff Haodcdc85b2015-12-04 14:06:18 -08001062 static std::string CreateMultiImageName(std::string in,
Andreas Gampe8994a042015-12-30 19:03:17 +00001063 const std::string& prefix,
Jeff Haodcdc85b2015-12-04 14:06:18 -08001064 const std::string& infix,
Andreas Gampe8994a042015-12-30 19:03:17 +00001065 const char* replace_suffix) {
Jeff Haodcdc85b2015-12-04 14:06:18 -08001066 size_t last_dex_slash = in.rfind('/');
1067 if (last_dex_slash != std::string::npos) {
1068 in = in.substr(last_dex_slash + 1);
1069 }
Andreas Gampe8994a042015-12-30 19:03:17 +00001070 if (!prefix.empty()) {
1071 in = prefix + in;
1072 }
Jeff Haodcdc85b2015-12-04 14:06:18 -08001073 if (!infix.empty()) {
1074 // Inject infix.
1075 size_t last_dot = in.rfind('.');
1076 if (last_dot != std::string::npos) {
1077 in.insert(last_dot, infix);
1078 }
1079 }
Andreas Gampe9186ced2016-12-12 14:28:21 -08001080 if (android::base::EndsWith(in, ".jar")) {
Andreas Gampe8994a042015-12-30 19:03:17 +00001081 in = in.substr(0, in.length() - strlen(".jar")) +
1082 (replace_suffix != nullptr ? replace_suffix : "");
Jeff Haodcdc85b2015-12-04 14:06:18 -08001083 }
1084 return in;
1085 }
1086
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +00001087 void InsertCompileOptions(int argc, char** argv) {
Roland Levillain9ec5e222015-08-17 20:18:41 +01001088 std::ostringstream oss;
1089 for (int i = 0; i < argc; ++i) {
1090 if (i > 0) {
1091 oss << ' ';
1092 }
1093 oss << argv[i];
1094 }
1095 key_value_store_->Put(OatHeader::kDex2OatCmdLineKey, oss.str());
1096 oss.str(""); // Reset.
1097 oss << kRuntimeISA;
1098 key_value_store_->Put(OatHeader::kDex2OatHostKey, oss.str());
1099 key_value_store_->Put(
1100 OatHeader::kPicKey,
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +00001101 compiler_options_->compile_pic_ ? OatHeader::kTrueValue : OatHeader::kFalseValue);
Roland Levillain9ec5e222015-08-17 20:18:41 +01001102 key_value_store_->Put(
1103 OatHeader::kDebuggableKey,
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +00001104 compiler_options_->debuggable_ ? OatHeader::kTrueValue : OatHeader::kFalseValue);
David Srbecky5d950762016-03-07 20:47:29 +00001105 key_value_store_->Put(
1106 OatHeader::kNativeDebuggableKey,
David Srbecky346dc992016-03-13 22:00:07 +00001107 compiler_options_->GetNativeDebuggable() ? OatHeader::kTrueValue : OatHeader::kFalseValue);
Andreas Gampe29d38e72016-03-23 15:31:51 +00001108 key_value_store_->Put(OatHeader::kCompilerFilter,
1109 CompilerFilter::NameOfFilter(compiler_options_->GetCompilerFilter()));
Andreas Gampef8cd8902017-01-18 16:05:01 -08001110 key_value_store_->Put(OatHeader::kConcurrentCopying,
1111 kUseReadBarrier ? OatHeader::kTrueValue : OatHeader::kFalseValue);
Roland Levillain9ec5e222015-08-17 20:18:41 +01001112 }
1113
1114 // Parse the arguments from the command line. In case of an unrecognized option or impossible
1115 // values/combinations, a usage error will be displayed and exit() is called. Thus, if the method
1116 // returns, arguments have been successfully parsed.
1117 void ParseArgs(int argc, char** argv) {
1118 original_argc = argc;
1119 original_argv = argv;
1120
David Sehrf57589f2016-10-17 10:09:33 -07001121 InitLogging(argv, Runtime::Aborter);
Roland Levillain9ec5e222015-08-17 20:18:41 +01001122
1123 // Skip over argv[0].
1124 argv++;
1125 argc--;
1126
1127 if (argc == 0) {
1128 Usage("No arguments specified");
1129 }
1130
1131 std::unique_ptr<ParserOptions> parser_options(new ParserOptions());
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +00001132 compiler_options_.reset(new CompilerOptions());
Roland Levillain9ec5e222015-08-17 20:18:41 +01001133
1134 for (int i = 0; i < argc; i++) {
1135 const StringPiece option(argv[i]);
1136 const bool log_options = false;
1137 if (log_options) {
1138 LOG(INFO) << "dex2oat: option[" << i << "]=" << argv[i];
1139 }
1140 if (option.starts_with("--dex-file=")) {
1141 dex_filenames_.push_back(option.substr(strlen("--dex-file=")).data());
1142 } else if (option.starts_with("--dex-location=")) {
1143 dex_locations_.push_back(option.substr(strlen("--dex-location=")).data());
1144 } else if (option.starts_with("--zip-fd=")) {
1145 ParseZipFd(option);
1146 } else if (option.starts_with("--zip-location=")) {
1147 zip_location_ = option.substr(strlen("--zip-location=")).data();
Nicolas Geoffraya6a448a2016-11-10 10:49:40 +00001148 } else if (option.starts_with("--input-vdex-fd=")) {
1149 ParseInputVdexFd(option);
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +00001150 } else if (option.starts_with("--input-vdex=")) {
1151 input_vdex_ = option.substr(strlen("--input-vdex=")).data();
Nicolas Geoffraya6a448a2016-11-10 10:49:40 +00001152 } else if (option.starts_with("--output-vdex-fd=")) {
1153 ParseOutputVdexFd(option);
Roland Levillain9ec5e222015-08-17 20:18:41 +01001154 } else if (option.starts_with("--oat-file=")) {
Jeff Haodcdc85b2015-12-04 14:06:18 -08001155 oat_filenames_.push_back(option.substr(strlen("--oat-file=")).data());
Roland Levillain9ec5e222015-08-17 20:18:41 +01001156 } else if (option.starts_with("--oat-symbols=")) {
Jeff Haodcdc85b2015-12-04 14:06:18 -08001157 parser_options->oat_symbols.push_back(option.substr(strlen("--oat-symbols=")).data());
Roland Levillain9ec5e222015-08-17 20:18:41 +01001158 } else if (option.starts_with("--oat-fd=")) {
1159 ParseOatFd(option);
David Brazdil7b49e6c2016-09-01 11:06:18 +01001160 } else if (option.starts_with("--oat-location=")) {
1161 oat_location_ = option.substr(strlen("--oat-location=")).data();
Roland Levillain9ec5e222015-08-17 20:18:41 +01001162 } else if (option == "--watch-dog") {
1163 parser_options->watch_dog_enabled = true;
1164 } else if (option == "--no-watch-dog") {
1165 parser_options->watch_dog_enabled = false;
Andreas Gampe2e8a2562017-01-18 20:39:02 -08001166 } else if (option.starts_with("--watchdog-timeout=")) {
1167 ParseIntOption(option,
1168 "--watchdog-timeout",
1169 &parser_options->watch_dog_timeout_in_ms,
1170 Usage);
Roland Levillain9ec5e222015-08-17 20:18:41 +01001171 } else if (option.starts_with("-j")) {
1172 ParseJ(option);
Roland Levillain9ec5e222015-08-17 20:18:41 +01001173 } else if (option.starts_with("--image=")) {
Jeff Haodcdc85b2015-12-04 14:06:18 -08001174 image_filenames_.push_back(option.substr(strlen("--image=")).data());
Roland Levillain9ec5e222015-08-17 20:18:41 +01001175 } else if (option.starts_with("--image-classes=")) {
1176 image_classes_filename_ = option.substr(strlen("--image-classes=")).data();
1177 } else if (option.starts_with("--image-classes-zip=")) {
1178 image_classes_zip_filename_ = option.substr(strlen("--image-classes-zip=")).data();
Mathieu Chartierceb07b32015-12-10 09:33:21 -08001179 } else if (option.starts_with("--image-format=")) {
1180 ParseImageFormat(option);
Roland Levillain9ec5e222015-08-17 20:18:41 +01001181 } else if (option.starts_with("--compiled-classes=")) {
1182 compiled_classes_filename_ = option.substr(strlen("--compiled-classes=")).data();
1183 } else if (option.starts_with("--compiled-classes-zip=")) {
1184 compiled_classes_zip_filename_ = option.substr(strlen("--compiled-classes-zip=")).data();
1185 } else if (option.starts_with("--compiled-methods=")) {
1186 compiled_methods_filename_ = option.substr(strlen("--compiled-methods=")).data();
1187 } else if (option.starts_with("--compiled-methods-zip=")) {
1188 compiled_methods_zip_filename_ = option.substr(strlen("--compiled-methods-zip=")).data();
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -07001189 } else if (option.starts_with("--run-passes=")) {
1190 passes_to_run_filename_ = option.substr(strlen("--run-passes=")).data();
Roland Levillain9ec5e222015-08-17 20:18:41 +01001191 } else if (option.starts_with("--base=")) {
1192 ParseBase(option);
1193 } else if (option.starts_with("--boot-image=")) {
1194 parser_options->boot_image_filename = option.substr(strlen("--boot-image=")).data();
1195 } else if (option.starts_with("--android-root=")) {
1196 android_root_ = option.substr(strlen("--android-root=")).data();
1197 } else if (option.starts_with("--instruction-set=")) {
1198 ParseInstructionSet(option);
1199 } else if (option.starts_with("--instruction-set-variant=")) {
1200 ParseInstructionSetVariant(option, parser_options.get());
1201 } else if (option.starts_with("--instruction-set-features=")) {
1202 ParseInstructionSetFeatures(option, parser_options.get());
1203 } else if (option.starts_with("--compiler-backend=")) {
1204 ParseCompilerBackend(option, parser_options.get());
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +00001205 } else if (option.starts_with("--profile-file=")) {
Calin Juravle2e2db782016-02-23 12:00:03 +00001206 profile_file_ = option.substr(strlen("--profile-file=")).ToString();
Calin Juravle877fd962016-01-05 14:29:29 +00001207 } else if (option.starts_with("--profile-file-fd=")) {
Calin Juravle2e2db782016-02-23 12:00:03 +00001208 ParseUintOption(option, "--profile-file-fd", &profile_file_fd_, Usage);
Roland Levillain9ec5e222015-08-17 20:18:41 +01001209 } else if (option == "--host") {
1210 is_host_ = true;
1211 } else if (option == "--runtime-arg") {
1212 if (++i >= argc) {
1213 Usage("Missing required argument for --runtime-arg");
1214 }
1215 if (log_options) {
1216 LOG(INFO) << "dex2oat: option[" << i << "]=" << argv[i];
1217 }
1218 runtime_args_.push_back(argv[i]);
1219 } else if (option == "--dump-timing") {
1220 dump_timing_ = true;
1221 } else if (option == "--dump-passes") {
1222 dump_passes_ = true;
Roland Levillain9ec5e222015-08-17 20:18:41 +01001223 } else if (option == "--dump-stats") {
1224 dump_stats_ = true;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +00001225 } else if (option.starts_with("--swap-file=")) {
1226 swap_file_name_ = option.substr(strlen("--swap-file=")).data();
1227 } else if (option.starts_with("--swap-fd=")) {
Mathieu Chartiera90c7722015-10-29 15:41:36 -07001228 ParseUintOption(option, "--swap-fd", &swap_fd_, Usage);
Andreas Gampee1459ae2016-06-29 09:36:30 -07001229 } else if (option.starts_with("--swap-dex-size-threshold=")) {
1230 ParseUintOption(option,
1231 "--swap-dex-size-threshold",
1232 &min_dex_file_cumulative_size_for_swap_,
1233 Usage);
1234 } else if (option.starts_with("--swap-dex-count-threshold=")) {
1235 ParseUintOption(option,
1236 "--swap-dex-count-threshold",
1237 &min_dex_files_for_swap_,
1238 Usage);
Andreas Gampe67f02822016-06-24 21:05:23 -07001239 } else if (option.starts_with("--very-large-app-threshold=")) {
1240 ParseUintOption(option,
1241 "--very-large-app-threshold",
1242 &very_large_threshold_,
1243 Usage);
Mathieu Chartiera90c7722015-10-29 15:41:36 -07001244 } else if (option.starts_with("--app-image-file=")) {
1245 app_image_file_name_ = option.substr(strlen("--app-image-file=")).data();
1246 } else if (option.starts_with("--app-image-fd=")) {
1247 ParseUintOption(option, "--app-image-fd", &app_image_fd_, Usage);
Roland Levillain9ec5e222015-08-17 20:18:41 +01001248 } else if (option.starts_with("--verbose-methods=")) {
1249 // TODO: rather than switch off compiler logging, make all VLOG(compiler) messages
1250 // conditional on having verbost methods.
1251 gLogVerbosity.compiler = false;
1252 Split(option.substr(strlen("--verbose-methods=")).ToString(), ',', &verbose_methods_);
Jeff Haodcdc85b2015-12-04 14:06:18 -08001253 } else if (option == "--multi-image") {
Jeff Hao436183f2016-01-12 16:36:50 -08001254 multi_image_ = true;
Jeff Haodcdc85b2015-12-04 14:06:18 -08001255 } else if (option.starts_with("--no-inline-from=")) {
1256 no_inline_from_string_ = option.substr(strlen("--no-inline-from=")).data();
Andreas Gampeace0dc12016-01-20 13:33:13 -08001257 } else if (option == "--force-determinism") {
Hiroshi Yamauchi6af53482016-01-29 15:38:58 -08001258 if (!SupportsDeterministicCompilation()) {
1259 Usage("Cannot use --force-determinism with read barriers or non-CMS garbage collector");
Roland Levillaineb2c7412016-01-28 14:37:01 +00001260 }
Andreas Gampeace0dc12016-01-20 13:33:13 -08001261 force_determinism_ = true;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +00001262 } else if (!compiler_options_->ParseCompilerOption(option, Usage)) {
Roland Levillain9ec5e222015-08-17 20:18:41 +01001263 Usage("Unknown argument %s", option.data());
1264 }
1265 }
1266
Jeff Hao436183f2016-01-12 16:36:50 -08001267 ProcessOptions(parser_options.get());
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001268
1269 // Insert some compiler things.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +00001270 InsertCompileOptions(argc, argv);
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001271 }
1272
Jeff Haodcdc85b2015-12-04 14:06:18 -08001273 // Check whether the oat output files are writable, and open them for later. Also open a swap
1274 // file, if a name is given.
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001275 bool OpenFile() {
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001276 // Prune non-existent dex files now so that we don't create empty oat files for multi-image.
1277 PruneNonExistentDexFiles();
1278
Jeff Hao436183f2016-01-12 16:36:50 -08001279 // Expand oat and image filenames for multi image.
1280 if (IsBootImage() && multi_image_) {
1281 ExpandOatAndImageFilenames();
1282 }
1283
David Brazdil7b49e6c2016-09-01 11:06:18 +01001284 // OAT and VDEX file handling
1285
1286 if (oat_fd_ == -1) {
1287 DCHECK(!oat_filenames_.empty());
Jeff Haodcdc85b2015-12-04 14:06:18 -08001288 for (const char* oat_filename : oat_filenames_) {
1289 std::unique_ptr<File> oat_file(OS::CreateEmptyFile(oat_filename));
1290 if (oat_file.get() == nullptr) {
1291 PLOG(ERROR) << "Failed to create oat file: " << oat_filename;
1292 return false;
1293 }
David Brazdil7b49e6c2016-09-01 11:06:18 +01001294 if (fchmod(oat_file->Fd(), 0644) != 0) {
Jeff Haodcdc85b2015-12-04 14:06:18 -08001295 PLOG(ERROR) << "Failed to make oat file world readable: " << oat_filename;
1296 oat_file->Erase();
1297 return false;
1298 }
1299 oat_files_.push_back(std::move(oat_file));
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +00001300 DCHECK_EQ(input_vdex_fd_, -1);
1301 if (!input_vdex_.empty()) {
1302 std::string error_msg;
Richard Uhlerb8ab63a2017-01-31 11:27:37 +00001303 input_vdex_file_ = VdexFile::Open(input_vdex_,
1304 /* writable */ false,
1305 /* low_4gb */ false,
1306 &error_msg);
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +00001307 }
David Brazdil7b49e6c2016-09-01 11:06:18 +01001308
Nicolas Geoffraya6a448a2016-11-10 10:49:40 +00001309 DCHECK_EQ(output_vdex_fd_, -1);
David Brazdil7b49e6c2016-09-01 11:06:18 +01001310 std::string vdex_filename = ReplaceFileExtension(oat_filename, "vdex");
Nicolas Geoffray81f57d12016-12-20 13:17:09 +00001311 if (vdex_filename == input_vdex_) {
1312 update_input_vdex_ = true;
1313 std::unique_ptr<File> vdex_file(OS::OpenFileReadWrite(vdex_filename.c_str()));
1314 vdex_files_.push_back(std::move(vdex_file));
1315 } else {
1316 std::unique_ptr<File> vdex_file(OS::CreateEmptyFile(vdex_filename.c_str()));
1317 if (vdex_file.get() == nullptr) {
1318 PLOG(ERROR) << "Failed to open vdex file: " << vdex_filename;
1319 return false;
1320 }
1321 if (fchmod(vdex_file->Fd(), 0644) != 0) {
1322 PLOG(ERROR) << "Failed to make vdex file world readable: " << vdex_filename;
1323 vdex_file->Erase();
1324 return false;
1325 }
1326 vdex_files_.push_back(std::move(vdex_file));
David Brazdil7b49e6c2016-09-01 11:06:18 +01001327 }
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001328 }
1329 } else {
David Brazdil7b49e6c2016-09-01 11:06:18 +01001330 std::unique_ptr<File> oat_file(new File(oat_fd_, oat_location_, /* check_usage */ true));
Jeff Haodcdc85b2015-12-04 14:06:18 -08001331 if (oat_file.get() == nullptr) {
1332 PLOG(ERROR) << "Failed to create oat file: " << oat_location_;
1333 return false;
1334 }
David Brazdil7b49e6c2016-09-01 11:06:18 +01001335 oat_file->DisableAutoClose();
1336 if (oat_file->SetLength(0) != 0) {
1337 PLOG(WARNING) << "Truncating oat file " << oat_location_ << " failed.";
1338 }
1339 oat_files_.push_back(std::move(oat_file));
1340
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +00001341 if (input_vdex_fd_ != -1) {
1342 struct stat s;
1343 int rc = TEMP_FAILURE_RETRY(fstat(input_vdex_fd_, &s));
1344 if (rc == -1) {
1345 PLOG(WARNING) << "Failed getting length of vdex file";
1346 } else {
1347 std::string error_msg;
Richard Uhlerb8ab63a2017-01-31 11:27:37 +00001348 input_vdex_file_ = VdexFile::Open(input_vdex_fd_,
1349 s.st_size,
1350 "vdex",
1351 /* writable */ false,
1352 /* low_4gb */ false,
1353 &error_msg);
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +00001354 // If there's any problem with the passed vdex, just warn and proceed
1355 // without it.
1356 if (input_vdex_file_ == nullptr) {
Richard Uhlerb8ab63a2017-01-31 11:27:37 +00001357 PLOG(WARNING) << "Failed opening vdex file: " << error_msg;
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +00001358 }
1359 }
1360 }
1361
Nicolas Geoffraya6a448a2016-11-10 10:49:40 +00001362 DCHECK_NE(output_vdex_fd_, -1);
David Brazdil7b49e6c2016-09-01 11:06:18 +01001363 std::string vdex_location = ReplaceFileExtension(oat_location_, "vdex");
Nicolas Geoffraya6a448a2016-11-10 10:49:40 +00001364 std::unique_ptr<File> vdex_file(new File(output_vdex_fd_, vdex_location, /* check_usage */ true));
David Brazdil7b49e6c2016-09-01 11:06:18 +01001365 if (vdex_file.get() == nullptr) {
1366 PLOG(ERROR) << "Failed to create vdex file: " << vdex_location;
Jeff Haodcdc85b2015-12-04 14:06:18 -08001367 return false;
1368 }
David Brazdil7b49e6c2016-09-01 11:06:18 +01001369 vdex_file->DisableAutoClose();
Nicolas Geoffray81f57d12016-12-20 13:17:09 +00001370 if (input_vdex_file_ != nullptr && output_vdex_fd_ == input_vdex_fd_) {
1371 update_input_vdex_ = true;
1372 } else {
1373 if (vdex_file->SetLength(0) != 0) {
1374 PLOG(ERROR) << "Truncating vdex file " << vdex_location << " failed.";
1375 return false;
1376 }
David Brazdil7b49e6c2016-09-01 11:06:18 +01001377 }
1378 vdex_files_.push_back(std::move(vdex_file));
1379
Jeff Haodcdc85b2015-12-04 14:06:18 -08001380 oat_filenames_.push_back(oat_location_.c_str());
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001381 }
Andreas Gampee21dc3d2014-12-08 16:59:43 -08001382
David Brazdil7b49e6c2016-09-01 11:06:18 +01001383 // Swap file handling
Andreas Gampee21dc3d2014-12-08 16:59:43 -08001384 //
1385 // If the swap fd is not -1, we assume this is the file descriptor of an open but unlinked file
1386 // that we can use for swap.
1387 //
1388 // If the swap fd is -1 and we have a swap-file string, open the given file as a swap file. We
1389 // will immediately unlink to satisfy the swap fd assumption.
1390 if (swap_fd_ == -1 && !swap_file_name_.empty()) {
1391 std::unique_ptr<File> swap_file(OS::CreateEmptyFile(swap_file_name_.c_str()));
1392 if (swap_file.get() == nullptr) {
1393 PLOG(ERROR) << "Failed to create swap file: " << swap_file_name_;
1394 return false;
1395 }
1396 swap_fd_ = swap_file->Fd();
1397 swap_file->MarkUnchecked(); // We don't we to track this, it will be unlinked immediately.
1398 swap_file->DisableAutoClose(); // We'll handle it ourselves, the File object will be
1399 // released immediately.
1400 unlink(swap_file_name_.c_str());
1401 }
Jeff Hao436183f2016-01-12 16:36:50 -08001402
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001403 return true;
1404 }
1405
David Brazdil7b49e6c2016-09-01 11:06:18 +01001406 void EraseOutputFiles() {
1407 for (auto& files : { &vdex_files_, &oat_files_ }) {
1408 for (size_t i = 0; i < files->size(); ++i) {
1409 if ((*files)[i].get() != nullptr) {
1410 (*files)[i]->Erase();
1411 (*files)[i].reset();
1412 }
1413 }
Jeff Haodcdc85b2015-12-04 14:06:18 -08001414 }
Andreas Gampea650e702014-12-03 14:28:02 -08001415 }
1416
Mathieu Chartier673ed3d2015-08-28 14:56:43 -07001417 void Shutdown() {
1418 ScopedObjectAccess soa(Thread::Current());
1419 for (jobject dex_cache : dex_caches_) {
1420 soa.Env()->DeleteLocalRef(dex_cache);
1421 }
1422 dex_caches_.clear();
1423 }
1424
Mathieu Chartierc5dd3192015-12-09 16:38:30 -08001425 void LoadClassProfileDescriptors() {
Vladimir Markoaad75c62016-10-03 08:46:48 +00001426 if (profile_compilation_info_ != nullptr && IsAppImage()) {
Mathieu Chartierc5dd3192015-12-09 16:38:30 -08001427 Runtime* runtime = Runtime::Current();
1428 CHECK(runtime != nullptr);
1429 std::set<DexCacheResolvedClasses> resolved_classes(
1430 profile_compilation_info_->GetResolvedClasses());
Mathieu Chartier0b490842016-05-25 15:05:59 -07001431
1432 // Filter out class path classes since we don't want to include these in the image.
1433 std::unordered_set<std::string> dex_files_locations;
1434 for (const DexFile* dex_file : dex_files_) {
1435 dex_files_locations.insert(dex_file->GetLocation());
1436 }
1437 for (auto it = resolved_classes.begin(); it != resolved_classes.end(); ) {
1438 if (dex_files_locations.find(it->GetDexLocation()) == dex_files_locations.end()) {
1439 VLOG(compiler) << "Removed profile samples for non-app dex file " << it->GetDexLocation();
1440 it = resolved_classes.erase(it);
1441 } else {
1442 ++it;
1443 }
1444 }
1445
Mathieu Chartierc5dd3192015-12-09 16:38:30 -08001446 image_classes_.reset(new std::unordered_set<std::string>(
1447 runtime->GetClassLinker()->GetClassDescriptorsForProfileKeys(resolved_classes)));
1448 VLOG(compiler) << "Loaded " << image_classes_->size()
1449 << " image class descriptors from profile";
1450 if (VLOG_IS_ON(compiler)) {
1451 for (const std::string& s : *image_classes_) {
1452 LOG(INFO) << "Image class " << s;
1453 }
1454 }
1455 }
1456 }
1457
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001458 // Set up the environment for compilation. Includes starting the runtime and loading/opening the
1459 // boot class path.
1460 bool Setup() {
1461 TimingLogger::ScopedTiming t("dex2oat Setup", timings_);
Vladimir Marko49b0f452015-12-10 13:49:19 +00001462
1463 if (!PrepareImageClasses() || !PrepareCompiledClasses() || !PrepareCompiledMethods()) {
1464 return false;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001465 }
Brian Carlstromd76e0832013-08-29 15:17:42 -07001466
Vladimir Marko307dac92015-10-20 11:20:09 +01001467 verification_results_.reset(new VerificationResults(compiler_options_.get()));
Andreas Gampe4585f872015-03-27 23:45:15 -07001468 callbacks_.reset(new QuickCompilerCallbacks(
Vladimir Marko307dac92015-10-20 11:20:09 +01001469 verification_results_.get(),
Mathieu Chartiera90c7722015-10-29 15:41:36 -07001470 IsBootImage() ?
Andreas Gampe4585f872015-03-27 23:45:15 -07001471 CompilerCallbacks::CallbackMode::kCompileBootImage :
1472 CompilerCallbacks::CallbackMode::kCompileApp));
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001473
Vladimir Marko49b0f452015-12-10 13:49:19 +00001474 RuntimeArgumentMap runtime_options;
1475 if (!PrepareRuntimeOptions(&runtime_options)) {
1476 return false;
Andreas Gampe1d00add2015-02-27 19:35:46 -08001477 }
1478
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001479 CreateOatWriters();
1480 if (!AddDexFileSources()) {
1481 return false;
1482 }
1483
1484 if (IsBootImage() && image_filenames_.size() > 1) {
1485 // If we're compiling the boot image, store the boot classpath into the Key-Value store.
1486 // We need this for the multi-image case.
Mathieu Chartier866d8742016-09-21 15:24:18 -07001487 key_value_store_->Put(OatHeader::kBootClassPathKey,
1488 gc::space::ImageSpace::GetMultiImageBootClassPath(dex_locations_,
1489 oat_filenames_,
1490 image_filenames_));
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001491 }
1492
1493 if (!IsBootImage()) {
1494 // When compiling an app, create the runtime early to retrieve
1495 // the image location key needed for the oat header.
1496 if (!CreateRuntime(std::move(runtime_options))) {
1497 return false;
1498 }
1499
Andreas Gampe29d38e72016-03-23 15:31:51 +00001500 if (CompilerFilter::DependsOnImageChecksum(compiler_options_->GetCompilerFilter())) {
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001501 TimingLogger::ScopedTiming t3("Loading image checksum", timings_);
1502 std::vector<gc::space::ImageSpace*> image_spaces =
1503 Runtime::Current()->GetHeap()->GetBootImageSpaces();
Jeff Haob11ffb72016-04-07 15:40:54 -07001504 image_file_location_oat_checksum_ = OatFileAssistant::CalculateCombinedImageChecksum();
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001505 image_file_location_oat_data_begin_ =
1506 reinterpret_cast<uintptr_t>(image_spaces[0]->GetImageHeader().GetOatDataBegin());
1507 image_patch_delta_ = image_spaces[0]->GetImageHeader().GetPatchDelta();
1508 // Store the boot image filename(s).
1509 std::vector<std::string> image_filenames;
1510 for (const gc::space::ImageSpace* image_space : image_spaces) {
1511 image_filenames.push_back(image_space->GetImageFilename());
1512 }
Andreas Gampe9186ced2016-12-12 14:28:21 -08001513 std::string image_file_location = android::base::Join(image_filenames, ':');
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001514 if (!image_file_location.empty()) {
1515 key_value_store_->Put(OatHeader::kImageLocationKey, image_file_location);
1516 }
Andreas Gampe29d38e72016-03-23 15:31:51 +00001517 } else {
1518 image_file_location_oat_checksum_ = 0u;
1519 image_file_location_oat_data_begin_ = 0u;
1520 image_patch_delta_ = 0;
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001521 }
1522
1523 // Open dex files for class path.
1524 const std::vector<std::string> class_path_locations =
1525 GetClassPathLocations(runtime_->GetClassPathString());
Jeff Haofbeb1322016-04-26 14:27:31 -07001526 OpenClassPathFiles(class_path_locations,
1527 &class_path_files_,
1528 &opened_oat_files_,
1529 runtime_->GetInstructionSet());
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001530
1531 // Store the classpath we have right now.
1532 std::vector<const DexFile*> class_path_files = MakeNonOwningPointerVector(class_path_files_);
Jeff Haof0192c82016-03-28 20:39:50 -07001533 std::string encoded_class_path;
1534 if (class_path_locations.size() == 1 &&
1535 class_path_locations[0] == OatFile::kSpecialSharedLibrary) {
1536 // When passing the special shared library as the classpath, it is the only path.
1537 encoded_class_path = OatFile::kSpecialSharedLibrary;
1538 } else {
1539 encoded_class_path = OatFile::EncodeDexFileDependencies(class_path_files);
1540 }
1541 key_value_store_->Put(OatHeader::kClassPathKey, encoded_class_path);
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001542 }
1543
1544 // Now that we have finalized key_value_store_, start writing the oat file.
Andreas Gampec7ae55d2015-09-15 20:04:54 -07001545 {
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001546 TimingLogger::ScopedTiming t_dex("Writing and opening dex files", timings_);
1547 rodata_.reserve(oat_writers_.size());
1548 for (size_t i = 0, size = oat_writers_.size(); i != size; ++i) {
1549 rodata_.push_back(elf_writers_[i]->StartRoData());
1550 // Unzip or copy dex files straight to the oat file.
1551 std::unique_ptr<MemMap> opened_dex_files_map;
1552 std::vector<std::unique_ptr<const DexFile>> opened_dex_files;
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +00001553 // No need to verify the dex file for:
Mathieu Chartier11b3df32017-02-21 13:41:54 -08001554 // 1) Dexlayout since it does the verification. It also may not pass the verification since
1555 // we don't update the dex checksum.
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +00001556 // 2) when we have a vdex file, which means it was already verified.
Mathieu Chartier11b3df32017-02-21 13:41:54 -08001557 const bool verify = !DoDexLayoutOptimizations() && (input_vdex_file_ == nullptr);
David Brazdil7b49e6c2016-09-01 11:06:18 +01001558 if (!oat_writers_[i]->WriteAndOpenDexFiles(
1559 kIsVdexEnabled ? vdex_files_[i].get() : oat_files_[i].get(),
1560 rodata_.back(),
1561 instruction_set_,
1562 instruction_set_features_.get(),
1563 key_value_store_.get(),
Jeff Hao042e8982016-10-19 11:17:11 -07001564 verify,
Nicolas Geoffray81f57d12016-12-20 13:17:09 +00001565 update_input_vdex_,
David Brazdil7b49e6c2016-09-01 11:06:18 +01001566 &opened_dex_files_map,
1567 &opened_dex_files)) {
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001568 return false;
1569 }
1570 dex_files_per_oat_file_.push_back(MakeNonOwningPointerVector(opened_dex_files));
1571 if (opened_dex_files_map != nullptr) {
1572 opened_dex_files_maps_.push_back(std::move(opened_dex_files_map));
1573 for (std::unique_ptr<const DexFile>& dex_file : opened_dex_files) {
Vladimir Marko944da602016-02-19 12:27:55 +00001574 dex_file_oat_index_map_.emplace(dex_file.get(), i);
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001575 opened_dex_files_.push_back(std::move(dex_file));
1576 }
1577 } else {
1578 DCHECK(opened_dex_files.empty());
1579 }
1580 }
1581 }
1582
1583 dex_files_ = MakeNonOwningPointerVector(opened_dex_files_);
Andreas Gampe7386da42016-06-08 18:18:47 -07001584
1585 // We had to postpone the swap decision till now, as this is the point when we actually
1586 // know about the dex files we're going to use.
1587
1588 // Make sure that we didn't create the driver, yet.
1589 CHECK(driver_ == nullptr);
1590 // If we use a swap file, ensure we are above the threshold to make it necessary.
1591 if (swap_fd_ != -1) {
1592 if (!UseSwap(IsBootImage(), dex_files_)) {
1593 close(swap_fd_);
1594 swap_fd_ = -1;
1595 VLOG(compiler) << "Decided to run without swap.";
1596 } else {
1597 LOG(INFO) << "Large app, accepted running with swap.";
1598 }
1599 }
1600 // Note that dex2oat won't close the swap_fd_. The compiler driver's swap space will do that.
1601
Andreas Gampe67f02822016-06-24 21:05:23 -07001602 // If we need to downgrade the compiler-filter for size reasons, do that check now.
1603 if (!IsBootImage() && IsVeryLarge(dex_files_)) {
1604 if (!CompilerFilter::IsAsGoodAs(CompilerFilter::kVerifyAtRuntime,
1605 compiler_options_->GetCompilerFilter())) {
1606 LOG(INFO) << "Very large app, downgrading to verify-at-runtime.";
1607 // Note: this change won't be reflected in the key-value store, as that had to be
1608 // finalized before loading the dex files. This setup is currently required
1609 // to get the size from the DexFile objects.
1610 // TODO: refactor. b/29790079
1611 compiler_options_->SetCompilerFilter(CompilerFilter::kVerifyAtRuntime);
1612 }
1613 }
1614
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001615 if (IsBootImage()) {
1616 // For boot image, pass opened dex files to the Runtime::Create().
1617 // Note: Runtime acquires ownership of these dex files.
1618 runtime_options.Set(RuntimeArgumentMap::BootClassPathDexList, &opened_dex_files_);
Vladimir Marko49b0f452015-12-10 13:49:19 +00001619 if (!CreateRuntime(std::move(runtime_options))) {
Andreas Gampec7ae55d2015-09-15 20:04:54 -07001620 return false;
1621 }
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001622 }
1623
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001624 // If we're doing the image, override the compiler filter to force full compilation. Must be
1625 // done ahead of WellKnownClasses::Init that causes verification. Note: doesn't force
1626 // compilation of class initializers.
1627 // Whilst we're in native take the opportunity to initialize well known classes.
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001628 Thread* self = Thread::Current();
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001629 WellKnownClasses::Init(self->GetJniEnv());
1630
Mathieu Chartier673ed3d2015-08-28 14:56:43 -07001631 ClassLinker* const class_linker = Runtime::Current()->GetClassLinker();
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001632 if (!IsBootImage()) {
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001633 constexpr bool kSaveDexInput = false;
1634 if (kSaveDexInput) {
Vladimir Marko49b0f452015-12-10 13:49:19 +00001635 SaveDexInput();
Brian Carlstromf79fccb2014-02-20 08:55:10 -08001636 }
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001637
1638 // Handle and ClassLoader creation needs to come after Runtime::Create.
1639 ScopedObjectAccess soa(self);
1640
1641 // Classpath: first the class-path given.
1642 std::vector<const DexFile*> class_path_files = MakeNonOwningPointerVector(class_path_files_);
1643
1644 // Then the dex files we'll compile. Thus we'll resolve the class-path first.
1645 class_path_files.insert(class_path_files.end(), dex_files_.begin(), dex_files_.end());
1646
1647 class_loader_ = class_linker->CreatePathClassLoader(self, class_path_files);
Brian Carlstromf79fccb2014-02-20 08:55:10 -08001648 }
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001649
1650 // Ensure opened dex files are writable for dex-to-dex transformations.
1651 for (const std::unique_ptr<MemMap>& map : opened_dex_files_maps_) {
1652 if (!map->Protect(PROT_READ | PROT_WRITE)) {
1653 PLOG(ERROR) << "Failed to make .dex files writeable.";
1654 return false;
Vladimir Marko919f5532016-01-20 19:13:01 +00001655 }
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001656 }
1657
1658 // Ensure that the dex caches stay live since we don't want class unloading
1659 // to occur during compilation.
1660 for (const auto& dex_file : dex_files_) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -07001661 ScopedObjectAccess soa(self);
1662 dex_caches_.push_back(soa.AddLocalReference<jobject>(
Mathieu Chartierf284d442016-06-02 11:48:30 -07001663 class_linker->RegisterDexFile(*dex_file,
Mathieu Chartier1cc62e42016-10-03 18:01:28 -07001664 soa.Decode<mirror::ClassLoader>(class_loader_).Ptr())));
Vladimir Markocd556b02017-02-03 11:47:34 +00001665 if (dex_caches_.back() == nullptr) {
1666 soa.Self()->AssertPendingException();
1667 soa.Self()->ClearException();
1668 PLOG(ERROR) << "Failed to register dex file.";
1669 return false;
1670 }
Mathieu Chartierfc2dd612016-11-21 15:05:23 -08001671 // Pre-register dex files so that we can access verification results without locks during
1672 // compilation and verification.
Mathieu Chartier9df89312016-11-23 13:28:16 -08001673 verification_results_->AddDexFile(dex_file);
Andreas Gampe22f8e5c2014-07-09 11:38:21 -07001674 }
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001675
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001676 return true;
Andreas Gampe22f8e5c2014-07-09 11:38:21 -07001677 }
Andreas Gampe22f8e5c2014-07-09 11:38:21 -07001678
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001679 // If we need to keep the oat file open for the image writer.
1680 bool ShouldKeepOatFileOpen() const {
1681 return IsImage() && oat_fd_ != kInvalidFd;
1682 }
1683
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001684 // Create and invoke the compiler driver. This will compile all the dex files.
1685 void Compile() {
1686 TimingLogger::ScopedTiming t("dex2oat Compile", timings_);
1687 compiler_phases_timings_.reset(new CumulativeLogger("compilation times"));
Vladimir Markof4da6752014-08-01 19:04:18 +01001688
Vladimir Marko47496c22016-01-27 16:15:08 +00001689 // Find the dex files we should not inline from.
1690
1691 std::vector<std::string> no_inline_filters;
1692 Split(no_inline_from_string_, ',', &no_inline_filters);
Jeff Haodcdc85b2015-12-04 14:06:18 -08001693
1694 // For now, on the host always have core-oj removed.
Vladimir Marko47496c22016-01-27 16:15:08 +00001695 const std::string core_oj = "core-oj";
1696 if (!kIsTargetBuild && !ContainsElement(no_inline_filters, core_oj)) {
1697 no_inline_filters.push_back(core_oj);
Jeff Haodcdc85b2015-12-04 14:06:18 -08001698 }
1699
Vladimir Marko47496c22016-01-27 16:15:08 +00001700 if (!no_inline_filters.empty()) {
Jeff Haodcdc85b2015-12-04 14:06:18 -08001701 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
1702 std::vector<const DexFile*> class_path_files = MakeNonOwningPointerVector(class_path_files_);
1703 std::vector<const std::vector<const DexFile*>*> dex_file_vectors = {
1704 &class_linker->GetBootClassPath(),
1705 &class_path_files,
1706 &dex_files_
1707 };
1708 for (const std::vector<const DexFile*>* dex_file_vector : dex_file_vectors) {
Jeff Haodcdc85b2015-12-04 14:06:18 -08001709 for (const DexFile* dex_file : *dex_file_vector) {
Vladimir Marko47496c22016-01-27 16:15:08 +00001710 for (const std::string& filter : no_inline_filters) {
1711 // Use dex_file->GetLocation() rather than dex_file->GetBaseLocation(). This
1712 // allows tests to specify <test-dexfile>:classes2.dex if needed but if the
1713 // base location passes the StartsWith() test, so do all extra locations.
1714 std::string dex_location = dex_file->GetLocation();
1715 if (filter.find('/') == std::string::npos) {
1716 // The filter does not contain the path. Remove the path from dex_location as well.
1717 size_t last_slash = dex_file->GetLocation().rfind('/');
1718 if (last_slash != std::string::npos) {
1719 dex_location = dex_location.substr(last_slash + 1);
1720 }
1721 }
1722
Andreas Gampe9186ced2016-12-12 14:28:21 -08001723 if (android::base::StartsWith(dex_location, filter.c_str())) {
Vladimir Marko47496c22016-01-27 16:15:08 +00001724 VLOG(compiler) << "Disabling inlining from " << dex_file->GetLocation();
1725 no_inline_from_dex_files_.push_back(dex_file);
1726 break;
Jeff Haodcdc85b2015-12-04 14:06:18 -08001727 }
1728 }
Jeff Haodcdc85b2015-12-04 14:06:18 -08001729 }
Vladimir Marko47496c22016-01-27 16:15:08 +00001730 }
1731 if (!no_inline_from_dex_files_.empty()) {
1732 compiler_options_->no_inline_from_ = &no_inline_from_dex_files_;
Jeff Haodcdc85b2015-12-04 14:06:18 -08001733 }
1734 }
1735
Vladimir Marko307dac92015-10-20 11:20:09 +01001736 driver_.reset(new CompilerDriver(compiler_options_.get(),
1737 verification_results_.get(),
Vladimir Marko307dac92015-10-20 11:20:09 +01001738 compiler_kind_,
1739 instruction_set_,
1740 instruction_set_features_.get(),
Vladimir Marko307dac92015-10-20 11:20:09 +01001741 image_classes_.release(),
1742 compiled_classes_.release(),
Wojciech Staszkiewicz62534792016-08-09 14:30:55 -07001743 compiled_methods_.release(),
Vladimir Marko307dac92015-10-20 11:20:09 +01001744 thread_count_,
1745 dump_stats_,
1746 dump_passes_,
Vladimir Marko307dac92015-10-20 11:20:09 +01001747 compiler_phases_timings_.get(),
1748 swap_fd_,
Calin Juravle998c2162015-12-21 15:39:33 +02001749 profile_compilation_info_.get()));
Vladimir Markod1eaf0d2015-10-29 12:18:29 +00001750 driver_->SetDexFilesForOatFile(dex_files_);
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +00001751 driver_->CompileAll(class_loader_, dex_files_, input_vdex_file_.get(), timings_);
Vladimir Markof4da6752014-08-01 19:04:18 +01001752 }
1753
Jeff Hao436183f2016-01-12 16:36:50 -08001754 // Notes on the interleaving of creating the images and oat files to
Brian Carlstrom7940e442013-07-12 13:46:57 -07001755 // ensure the references between the two are correct.
1756 //
1757 // Currently we have a memory layout that looks something like this:
1758 //
1759 // +--------------+
Jeff Hao436183f2016-01-12 16:36:50 -08001760 // | images |
Brian Carlstrom7940e442013-07-12 13:46:57 -07001761 // +--------------+
Jeff Hao436183f2016-01-12 16:36:50 -08001762 // | oat files |
Brian Carlstrom7940e442013-07-12 13:46:57 -07001763 // +--------------+
1764 // | alloc spaces |
1765 // +--------------+
1766 //
Jeff Hao436183f2016-01-12 16:36:50 -08001767 // There are several constraints on the loading of the images and oat files.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001768 //
Jeff Hao436183f2016-01-12 16:36:50 -08001769 // 1. The images are expected to be loaded at an absolute address and
1770 // contain Objects with absolute pointers within the images.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001771 //
Jeff Hao436183f2016-01-12 16:36:50 -08001772 // 2. There are absolute pointers from Methods in the images to their
1773 // code in the oat files.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001774 //
Jeff Hao436183f2016-01-12 16:36:50 -08001775 // 3. There are absolute pointers from the code in the oat files to Methods
1776 // in the images.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001777 //
Jeff Hao436183f2016-01-12 16:36:50 -08001778 // 4. There are absolute pointers from code in the oat files to other code
1779 // in the oat files.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001780 //
1781 // To get this all correct, we go through several steps.
1782 //
Jeff Hao436183f2016-01-12 16:36:50 -08001783 // 1. We prepare offsets for all data in the oat files and calculate
Vladimir Markof4da6752014-08-01 19:04:18 +01001784 // the oat data size and code size. During this stage, we also set
1785 // oat code offsets in methods for use by the image writer.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001786 //
Jeff Hao436183f2016-01-12 16:36:50 -08001787 // 2. We prepare offsets for the objects in the images and calculate
1788 // the image sizes.
Vladimir Markof4da6752014-08-01 19:04:18 +01001789 //
Jeff Hao436183f2016-01-12 16:36:50 -08001790 // 3. We create the oat files. Originally this was just our own proprietary
Vladimir Markof4da6752014-08-01 19:04:18 +01001791 // file but now it is contained within an ELF dynamic object (aka an .so
Jeff Hao436183f2016-01-12 16:36:50 -08001792 // file). Since we know the image sizes and oat data sizes and code sizes we
Vladimir Markof4da6752014-08-01 19:04:18 +01001793 // can prepare the ELF headers and we then know the ELF memory segment
1794 // layout and we can now resolve all references. The compiler provides
1795 // LinkerPatch information in each CompiledMethod and we resolve these,
1796 // using the layout information and image object locations provided by
1797 // image writer, as we're writing the method code.
1798 //
Jeff Hao436183f2016-01-12 16:36:50 -08001799 // 4. We create the image files. They need to know where the oat files
1800 // will be loaded after itself. Originally oat files were simply
1801 // memory mapped so we could predict where their contents were based
1802 // on the file size. Now that they are ELF files, we need to inspect
1803 // the ELF files to understand the in memory segment layout including
Vladimir Markof4da6752014-08-01 19:04:18 +01001804 // where the oat header is located within.
1805 // TODO: We could just remember this information from step 3.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001806 //
Vladimir Markof4da6752014-08-01 19:04:18 +01001807 // 5. We fixup the ELF program headers so that dlopen will try to
Brian Carlstrom7940e442013-07-12 13:46:57 -07001808 // load the .so at the desired location at runtime by offsetting the
1809 // Elf32_Phdr.p_vaddr values by the desired base address.
Vladimir Markof4da6752014-08-01 19:04:18 +01001810 // TODO: Do this in step 3. We already know the layout there.
1811 //
1812 // Steps 1.-3. are done by the CreateOatFile() above, steps 4.-5.
1813 // are done by the CreateImageFile() below.
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001814
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001815 // Write out the generated code part. Calls the OatWriter and ElfBuilder. Also prepares the
1816 // ImageWriter, if necessary.
Andreas Gampe10e477d2014-11-19 12:57:42 -08001817 // Note: Flushing (and closing) the file is the caller's responsibility, except for the failure
1818 // case (when the file will be explicitly erased).
David Brazdil7b49e6c2016-09-01 11:06:18 +01001819 bool WriteOutputFiles() {
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001820 TimingLogger::ScopedTiming t("dex2oat Oat", timings_);
1821
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001822 // Sync the data to the file, in case we did dex2dex transformations.
1823 for (const std::unique_ptr<MemMap>& map : opened_dex_files_maps_) {
1824 if (!map->Sync()) {
1825 PLOG(ERROR) << "Failed to Sync() dex2dex output. Map: " << map->GetName();
1826 return false;
1827 }
1828 }
Mathieu Chartierda5b28a2015-11-05 08:03:47 -08001829
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001830 if (IsImage()) {
Vladimir Markoaad75c62016-10-03 08:46:48 +00001831 if (IsAppImage() && image_base_ == 0) {
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001832 gc::Heap* const heap = Runtime::Current()->GetHeap();
1833 for (gc::space::ImageSpace* image_space : heap->GetBootImageSpaces()) {
Jeff Haodcdc85b2015-12-04 14:06:18 -08001834 image_base_ = std::max(image_base_, RoundUp(
1835 reinterpret_cast<uintptr_t>(image_space->GetImageHeader().GetOatFileEnd()),
1836 kPageSize));
1837 }
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001838 // The non moving space is right after the oat file. Put the preferred app image location
1839 // right after the non moving space so that we ideally get a continuous immune region for
1840 // the GC.
Mathieu Chartierc5dd3192015-12-09 16:38:30 -08001841 // Use the default non moving space capacity since dex2oat does not have a separate non-
1842 // moving space. This means the runtime's non moving space space size will be as large
1843 // as the growth limit for dex2oat, but smaller in the zygote.
1844 const size_t non_moving_space_capacity = gc::Heap::kDefaultNonMovingSpaceCapacity;
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001845 image_base_ += non_moving_space_capacity;
Mathieu Chartierda5b28a2015-11-05 08:03:47 -08001846 VLOG(compiler) << "App image base=" << reinterpret_cast<void*>(image_base_);
1847 }
1848
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001849 image_writer_.reset(new ImageWriter(*driver_,
1850 image_base_,
1851 compiler_options_->GetCompilePic(),
1852 IsAppImage(),
1853 image_storage_mode_,
1854 oat_filenames_,
Vladimir Marko944da602016-02-19 12:27:55 +00001855 dex_file_oat_index_map_));
Mathieu Chartierda5b28a2015-11-05 08:03:47 -08001856
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001857 // We need to prepare method offsets in the image address space for direct method patching.
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001858 TimingLogger::ScopedTiming t2("dex2oat Prepare image address space", timings_);
1859 if (!image_writer_->PrepareImageAddressSpace()) {
1860 LOG(ERROR) << "Failed to prepare image address space.";
1861 return false;
1862 }
1863 }
1864
Nicolas Geoffray4acefd32016-10-24 13:14:58 +01001865 // Initialize the writers with the compiler driver, image writer, and their
1866 // dex files. The writers were created without those being there yet.
1867 for (size_t i = 0, size = oat_files_.size(); i != size; ++i) {
1868 std::unique_ptr<OatWriter>& oat_writer = oat_writers_[i];
1869 std::vector<const DexFile*>& dex_files = dex_files_per_oat_file_[i];
1870 oat_writer->Initialize(driver_.get(), image_writer_.get(), dex_files);
1871 }
1872
David Brazdil5d5a36b2016-09-14 15:34:10 +01001873 {
1874 TimingLogger::ScopedTiming t2("dex2oat Write VDEX", timings_);
1875 DCHECK(IsBootImage() || oat_files_.size() == 1u);
Nicolas Geoffray6bb7f1b2016-11-03 10:52:49 +00001876 verifier::VerifierDeps* verifier_deps = callbacks_->GetVerifierDeps();
David Brazdil5d5a36b2016-09-14 15:34:10 +01001877 for (size_t i = 0, size = oat_files_.size(); i != size; ++i) {
1878 File* vdex_file = vdex_files_[i].get();
1879 std::unique_ptr<BufferedOutputStream> vdex_out(
1880 MakeUnique<BufferedOutputStream>(MakeUnique<FileOutputStream>(vdex_file)));
1881
Nicolas Geoffray6bb7f1b2016-11-03 10:52:49 +00001882 if (!oat_writers_[i]->WriteVerifierDeps(vdex_out.get(), verifier_deps)) {
David Brazdil5d5a36b2016-09-14 15:34:10 +01001883 LOG(ERROR) << "Failed to write verifier dependencies into VDEX " << vdex_file->GetPath();
1884 return false;
1885 }
1886
Nicolas Geoffray4acefd32016-10-24 13:14:58 +01001887 if (!oat_writers_[i]->WriteQuickeningInfo(vdex_out.get())) {
1888 LOG(ERROR) << "Failed to write quickening info into VDEX " << vdex_file->GetPath();
1889 return false;
1890 }
1891
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +00001892 // VDEX finalized, seek back to the beginning and write checksums and the header.
1893 if (!oat_writers_[i]->WriteChecksumsAndVdexHeader(vdex_out.get())) {
David Brazdil5d5a36b2016-09-14 15:34:10 +01001894 LOG(ERROR) << "Failed to write vdex header into VDEX " << vdex_file->GetPath();
1895 return false;
1896 }
1897 }
1898 }
1899
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001900 {
1901 TimingLogger::ScopedTiming t2("dex2oat Write ELF", timings_);
Nicolas Geoffray4acefd32016-10-24 13:14:58 +01001902 linker::MultiOatRelativePatcher patcher(instruction_set_, instruction_set_features_.get());
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001903 for (size_t i = 0, size = oat_files_.size(); i != size; ++i) {
Vladimir Marko944da602016-02-19 12:27:55 +00001904 std::unique_ptr<ElfWriter>& elf_writer = elf_writers_[i];
1905 std::unique_ptr<OatWriter>& oat_writer = oat_writers_[i];
1906
Nicolas Geoffray4acefd32016-10-24 13:14:58 +01001907 oat_writer->PrepareLayout(&patcher);
Vladimir Marko944da602016-02-19 12:27:55 +00001908
1909 size_t rodata_size = oat_writer->GetOatHeader().GetExecutableOffset();
David Brazdil7b49e6c2016-09-01 11:06:18 +01001910 size_t text_size = oat_writer->GetOatSize() - rodata_size;
Vladimir Markoaad75c62016-10-03 08:46:48 +00001911 elf_writer->PrepareDynamicSection(rodata_size,
1912 text_size,
1913 oat_writer->GetBssSize(),
1914 oat_writer->GetBssRootsOffset());
Vladimir Marko944da602016-02-19 12:27:55 +00001915
1916 if (IsImage()) {
1917 // Update oat layout.
1918 DCHECK(image_writer_ != nullptr);
1919 DCHECK_LT(i, oat_filenames_.size());
1920 image_writer_->UpdateOatFileLayout(i,
1921 elf_writer->GetLoadedSize(),
1922 oat_writer->GetOatDataOffset(),
David Brazdil7b49e6c2016-09-01 11:06:18 +01001923 oat_writer->GetOatSize());
Vladimir Marko944da602016-02-19 12:27:55 +00001924 }
1925 }
1926
1927 for (size_t i = 0, size = oat_files_.size(); i != size; ++i) {
Jeff Haodcdc85b2015-12-04 14:06:18 -08001928 std::unique_ptr<File>& oat_file = oat_files_[i];
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001929 std::unique_ptr<ElfWriter>& elf_writer = elf_writers_[i];
1930 std::unique_ptr<OatWriter>& oat_writer = oat_writers_[i];
Vladimir Marko10c13562015-11-25 14:33:36 +00001931
David Srbecky09c2a6b2016-03-11 17:11:44 +00001932 oat_writer->AddMethodDebugInfos(debug::MakeTrampolineInfos(oat_writer->GetOatHeader()));
1933
David Srbecky0c4572e2016-01-22 19:19:25 +00001934 // We need to mirror the layout of the ELF file in the compressed debug-info.
Vladimir Marko944da602016-02-19 12:27:55 +00001935 // Therefore PrepareDebugInfo() relies on the SetLoadedSectionSizes() call further above.
1936 elf_writer->PrepareDebugInfo(oat_writer->GetMethodDebugInfo());
David Srbecky0c4572e2016-01-22 19:19:25 +00001937
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001938 OutputStream*& rodata = rodata_[i];
1939 DCHECK(rodata != nullptr);
Jeff Haodcdc85b2015-12-04 14:06:18 -08001940 if (!oat_writer->WriteRodata(rodata)) {
1941 LOG(ERROR) << "Failed to write .rodata section to the ELF file " << oat_file->GetPath();
1942 return false;
1943 }
1944 elf_writer->EndRoData(rodata);
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001945 rodata = nullptr;
Vladimir Marko10c13562015-11-25 14:33:36 +00001946
Jeff Haodcdc85b2015-12-04 14:06:18 -08001947 OutputStream* text = elf_writer->StartText();
1948 if (!oat_writer->WriteCode(text)) {
1949 LOG(ERROR) << "Failed to write .text section to the ELF file " << oat_file->GetPath();
1950 return false;
1951 }
1952 elf_writer->EndText(text);
Vladimir Marko10c13562015-11-25 14:33:36 +00001953
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001954 if (!oat_writer->WriteHeader(elf_writer->GetStream(),
1955 image_file_location_oat_checksum_,
1956 image_file_location_oat_data_begin_,
1957 image_patch_delta_)) {
1958 LOG(ERROR) << "Failed to write oat header to the ELF file " << oat_file->GetPath();
1959 return false;
1960 }
1961
Vladimir Marko944da602016-02-19 12:27:55 +00001962 if (IsImage()) {
1963 // Update oat header information.
1964 DCHECK(image_writer_ != nullptr);
1965 DCHECK_LT(i, oat_filenames_.size());
1966 image_writer_->UpdateOatFileHeader(i, oat_writer->GetOatHeader());
1967 }
1968
Jeff Haodcdc85b2015-12-04 14:06:18 -08001969 elf_writer->WriteDynamicSection();
1970 elf_writer->WriteDebugInfo(oat_writer->GetMethodDebugInfo());
1971 elf_writer->WritePatchLocations(oat_writer->GetAbsolutePatchLocations());
Vladimir Marko10c13562015-11-25 14:33:36 +00001972
Jeff Haodcdc85b2015-12-04 14:06:18 -08001973 if (!elf_writer->End()) {
1974 LOG(ERROR) << "Failed to write ELF file " << oat_file->GetPath();
1975 return false;
1976 }
1977
David Brazdil7b49e6c2016-09-01 11:06:18 +01001978 if (!FlushOutputFile(&vdex_files_[i]) || !FlushOutputFile(&oat_files_[i])) {
1979 return false;
Jeff Haodcdc85b2015-12-04 14:06:18 -08001980 }
1981
Jeff Haodcdc85b2015-12-04 14:06:18 -08001982 VLOG(compiler) << "Oat file written successfully: " << oat_filenames_[i];
Vladimir Marko9bdf1082016-01-21 12:15:52 +00001983
1984 oat_writer.reset();
1985 elf_writer.reset();
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001986 }
1987 }
1988
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001989 return true;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001990 }
1991
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001992 // If we are compiling an image, invoke the image creation routine. Else just skip.
1993 bool HandleImage() {
Mathieu Chartiera90c7722015-10-29 15:41:36 -07001994 if (IsImage()) {
Andreas Gampe88ec7f42014-11-05 10:18:32 -08001995 TimingLogger::ScopedTiming t("dex2oat ImageWriter", timings_);
1996 if (!CreateImageFile()) {
1997 return false;
1998 }
Jeff Haodcdc85b2015-12-04 14:06:18 -08001999 VLOG(compiler) << "Images written successfully";
Brian Carlstrom45602482013-07-21 22:07:55 -07002000 }
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002001 return true;
2002 }
2003
Jeff Haodcdc85b2015-12-04 14:06:18 -08002004 // Create a copy from stripped to unstripped.
2005 bool CopyStrippedToUnstripped() {
2006 for (size_t i = 0; i < oat_unstripped_.size(); ++i) {
2007 // If we don't want to strip in place, copy from stripped location to unstripped location.
2008 // We need to strip after image creation because FixupElf needs to use .strtab.
2009 if (strcmp(oat_unstripped_[i], oat_filenames_[i]) != 0) {
2010 // If the oat file is still open, flush it.
2011 if (oat_files_[i].get() != nullptr && oat_files_[i]->IsOpened()) {
David Brazdil7b49e6c2016-09-01 11:06:18 +01002012 if (!FlushCloseOutputFile(&oat_files_[i])) {
Jeff Haodcdc85b2015-12-04 14:06:18 -08002013 return false;
2014 }
2015 }
2016
2017 TimingLogger::ScopedTiming t("dex2oat OatFile copy", timings_);
2018 std::unique_ptr<File> in(OS::OpenFileForReading(oat_filenames_[i]));
2019 std::unique_ptr<File> out(OS::CreateEmptyFile(oat_unstripped_[i]));
Vladimir Markob55cc6d2016-10-17 15:25:10 +01002020 int64_t in_length = in->GetLength();
2021 if (in_length < 0) {
2022 PLOG(ERROR) << "Failed to get the length of oat file: " << in->GetPath();
2023 return false;
2024 }
2025 if (!out->Copy(in.get(), 0, in_length)) {
2026 PLOG(ERROR) << "Failed to copy oat file to file: " << out->GetPath();
2027 return false;
Jeff Haodcdc85b2015-12-04 14:06:18 -08002028 }
2029 if (out->FlushCloseOrErase() != 0) {
2030 PLOG(ERROR) << "Failed to flush and close copied oat file: " << oat_unstripped_[i];
2031 return false;
2032 }
2033 VLOG(compiler) << "Oat file copied successfully (unstripped): " << oat_unstripped_[i];
2034 }
2035 }
2036 return true;
2037 }
2038
David Brazdil7b49e6c2016-09-01 11:06:18 +01002039 bool FlushOutputFile(std::unique_ptr<File>* file) {
2040 if (file->get() != nullptr) {
2041 if (file->get()->Flush() != 0) {
2042 PLOG(ERROR) << "Failed to flush output file: " << file->get()->GetPath();
2043 return false;
2044 }
2045 }
2046 return true;
2047 }
2048
2049 bool FlushCloseOutputFile(std::unique_ptr<File>* file) {
2050 if (file->get() != nullptr) {
2051 std::unique_ptr<File> tmp(file->release());
2052 if (tmp->FlushCloseOrErase() != 0) {
2053 PLOG(ERROR) << "Failed to flush and close output file: " << tmp->GetPath();
2054 return false;
2055 }
2056 }
2057 return true;
2058 }
2059
2060 bool FlushOutputFiles() {
2061 TimingLogger::ScopedTiming t2("dex2oat Flush Output Files", timings_);
2062 for (auto& files : { &vdex_files_, &oat_files_ }) {
2063 for (size_t i = 0; i < files->size(); ++i) {
2064 if (!FlushOutputFile(&(*files)[i])) {
Andreas Gampe10e477d2014-11-19 12:57:42 -08002065 return false;
Andreas Gampe4303ba92014-11-06 01:00:46 -08002066 }
Andreas Gampe4303ba92014-11-06 01:00:46 -08002067 }
Nicolas Geoffrayea3fa0b2014-02-10 11:59:41 +00002068 }
Andreas Gampe10e477d2014-11-19 12:57:42 -08002069 return true;
2070 }
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002071
David Brazdil7b49e6c2016-09-01 11:06:18 +01002072 bool FlushCloseOutputFiles() {
Jeff Haodcdc85b2015-12-04 14:06:18 -08002073 bool result = true;
David Brazdil7b49e6c2016-09-01 11:06:18 +01002074 for (auto& files : { &vdex_files_, &oat_files_ }) {
2075 for (size_t i = 0; i < files->size(); ++i) {
2076 result &= FlushCloseOutputFile(&(*files)[i]);
2077 }
Jeff Haodcdc85b2015-12-04 14:06:18 -08002078 }
2079 return result;
2080 }
2081
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002082 void DumpTiming() {
2083 if (dump_timing_ || (dump_slow_timing_ && timings_->GetTotalNs() > MsToNs(1000))) {
2084 LOG(INFO) << Dumpable<TimingLogger>(*timings_);
2085 }
2086 if (dump_passes_) {
2087 LOG(INFO) << Dumpable<CumulativeLogger>(*driver_->GetTimingsLogger());
2088 }
2089 }
2090
Andreas Gampe10e477d2014-11-19 12:57:42 -08002091 bool IsImage() const {
Mathieu Chartiera90c7722015-10-29 15:41:36 -07002092 return IsAppImage() || IsBootImage();
2093 }
2094
2095 bool IsAppImage() const {
Vladimir Markoaad75c62016-10-03 08:46:48 +00002096 return compiler_options_->IsAppImage();
Mathieu Chartiera90c7722015-10-29 15:41:36 -07002097 }
2098
2099 bool IsBootImage() const {
Vladimir Markoaad75c62016-10-03 08:46:48 +00002100 return compiler_options_->IsBootImage();
Andreas Gampe10e477d2014-11-19 12:57:42 -08002101 }
2102
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002103 bool IsHost() const {
2104 return is_host_;
2105 }
2106
Mathieu Chartier11b3df32017-02-21 13:41:54 -08002107 bool UseProfile() const {
Mathieu Chartierd0af56c2017-02-17 12:56:25 -08002108 return profile_file_fd_ != -1 || !profile_file_.empty();
Calin Juravle998c2162015-12-21 15:39:33 +02002109 }
2110
Mathieu Chartier11b3df32017-02-21 13:41:54 -08002111 bool DoProfileGuidedOptimizations() const {
2112 return UseProfile() && compiler_options_->GetCompilerFilter() != CompilerFilter::kVerifyProfile;
2113 }
2114
2115 bool DoDexLayoutOptimizations() const {
2116 return DoProfileGuidedOptimizations();
2117 }
2118
Calin Juravle2e2db782016-02-23 12:00:03 +00002119 bool LoadProfile() {
Mathieu Chartier11b3df32017-02-21 13:41:54 -08002120 DCHECK(UseProfile());
Calin Juravle2e2db782016-02-23 12:00:03 +00002121
2122 profile_compilation_info_.reset(new ProfileCompilationInfo());
2123 ScopedFlock flock;
Andreas Gampe29d38e72016-03-23 15:31:51 +00002124 bool success = true;
Calin Juravle2e2db782016-02-23 12:00:03 +00002125 std::string error;
2126 if (profile_file_fd_ != -1) {
2127 // The file doesn't need to be flushed so don't check the usage.
2128 // Pass a bogus path so that we can easily attribute any reported error.
2129 File file(profile_file_fd_, "profile", /*check_usage*/ false, /*read_only_mode*/ true);
2130 if (flock.Init(&file, &error)) {
2131 success = profile_compilation_info_->Load(profile_file_fd_);
2132 }
Andreas Gampe29d38e72016-03-23 15:31:51 +00002133 } else if (profile_file_ != "") {
Calin Juravle2e2db782016-02-23 12:00:03 +00002134 if (flock.Init(profile_file_.c_str(), O_RDONLY, /* block */ true, &error)) {
2135 success = profile_compilation_info_->Load(flock.GetFile()->Fd());
2136 }
2137 }
2138 if (!error.empty()) {
2139 LOG(WARNING) << "Cannot lock profiles: " << error;
Calin Juravle998c2162015-12-21 15:39:33 +02002140 }
Calin Juravle877fd962016-01-05 14:29:29 +00002141
Calin Juravle2e2db782016-02-23 12:00:03 +00002142 if (!success) {
2143 profile_compilation_info_.reset(nullptr);
2144 }
Calin Juravle877fd962016-01-05 14:29:29 +00002145
Calin Juravle2e2db782016-02-23 12:00:03 +00002146 return success;
Calin Juravle998c2162015-12-21 15:39:33 +02002147 }
2148
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002149 private:
Andreas Gampee1459ae2016-06-29 09:36:30 -07002150 bool UseSwap(bool is_image, const std::vector<const DexFile*>& dex_files) {
2151 if (is_image) {
2152 // Don't use swap, we know generation should succeed, and we don't want to slow it down.
2153 return false;
2154 }
2155 if (dex_files.size() < min_dex_files_for_swap_) {
2156 // If there are less dex files than the threshold, assume it's gonna be fine.
2157 return false;
2158 }
2159 size_t dex_files_size = 0;
2160 for (const auto* dex_file : dex_files) {
2161 dex_files_size += dex_file->GetHeader().file_size_;
2162 }
2163 return dex_files_size >= min_dex_file_cumulative_size_for_swap_;
2164 }
2165
Andreas Gampe67f02822016-06-24 21:05:23 -07002166 bool IsVeryLarge(std::vector<const DexFile*>& dex_files) {
2167 size_t dex_files_size = 0;
2168 for (const auto* dex_file : dex_files) {
2169 dex_files_size += dex_file->GetHeader().file_size_;
2170 }
2171 return dex_files_size >= very_large_threshold_;
2172 }
2173
Vladimir Marko49b0f452015-12-10 13:49:19 +00002174 template <typename T>
2175 static std::vector<T*> MakeNonOwningPointerVector(const std::vector<std::unique_ptr<T>>& src) {
2176 std::vector<T*> result;
2177 result.reserve(src.size());
2178 for (const std::unique_ptr<T>& t : src) {
2179 result.push_back(t.get());
2180 }
2181 return result;
2182 }
2183
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002184 std::vector<std::string> GetClassPathLocations(const std::string& class_path) {
2185 // This function is used only for apps and for an app we have exactly one oat file.
2186 DCHECK(!IsBootImage());
2187 DCHECK_EQ(oat_writers_.size(), 1u);
2188 std::vector<std::string> dex_files_canonical_locations;
2189 for (const char* location : oat_writers_[0]->GetSourceLocations()) {
2190 dex_files_canonical_locations.push_back(DexFile::GetDexCanonicalLocation(location));
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002191 }
Vladimir Marko625a64a2015-11-26 14:44:16 +00002192
Vladimir Marko919f5532016-01-20 19:13:01 +00002193 std::vector<std::string> parsed;
2194 Split(class_path, ':', &parsed);
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002195 auto kept_it = std::remove_if(parsed.begin(),
2196 parsed.end(),
2197 [dex_files_canonical_locations](const std::string& location) {
2198 return ContainsElement(dex_files_canonical_locations,
2199 DexFile::GetDexCanonicalLocation(location.c_str()));
2200 });
2201 parsed.erase(kept_it, parsed.end());
2202 return parsed;
2203 }
2204
Jeff Haofbeb1322016-04-26 14:27:31 -07002205 // Opens requested class path files and appends them to opened_dex_files. If the dex files have
2206 // been stripped, this opens them from their oat files and appends them to opened_oat_files.
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002207 static void OpenClassPathFiles(const std::vector<std::string>& class_path_locations,
Jeff Haof0192c82016-03-28 20:39:50 -07002208 std::vector<std::unique_ptr<const DexFile>>* opened_dex_files,
Jeff Haofbeb1322016-04-26 14:27:31 -07002209 std::vector<std::unique_ptr<OatFile>>* opened_oat_files,
Jeff Haof0192c82016-03-28 20:39:50 -07002210 InstructionSet isa) {
Jeff Haofbeb1322016-04-26 14:27:31 -07002211 DCHECK(opened_dex_files != nullptr) << "OpenClassPathFiles dex out-param is nullptr";
2212 DCHECK(opened_oat_files != nullptr) << "OpenClassPathFiles oat out-param is nullptr";
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002213 for (const std::string& location : class_path_locations) {
Jeff Haof0192c82016-03-28 20:39:50 -07002214 // Stop early if we detect the special shared library, which may be passed as the classpath
2215 // for dex2oat when we want to skip the shared libraries check.
2216 if (location == OatFile::kSpecialSharedLibrary) {
2217 break;
2218 }
Aart Bik37d6a3b2016-06-21 18:30:10 -07002219 static constexpr bool kVerifyChecksum = true;
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002220 std::string error_msg;
Aart Bik37d6a3b2016-06-21 18:30:10 -07002221 if (!DexFile::Open(
2222 location.c_str(), location.c_str(), kVerifyChecksum, &error_msg, opened_dex_files)) {
Jeff Haof0192c82016-03-28 20:39:50 -07002223 // If we fail to open the dex file because it's been stripped, try to open the dex file
2224 // from its corresponding oat file.
Richard Uhlerd1472a22016-04-15 15:18:56 -07002225 OatFileAssistant oat_file_assistant(location.c_str(), isa, false);
Jeff Haof0192c82016-03-28 20:39:50 -07002226 std::unique_ptr<OatFile> oat_file(oat_file_assistant.GetBestOatFile());
2227 if (oat_file == nullptr) {
2228 LOG(WARNING) << "Failed to open dex file and associated oat file for '" << location
2229 << "': " << error_msg;
2230 } else {
2231 std::vector<std::unique_ptr<const DexFile>> oat_dex_files =
2232 oat_file_assistant.LoadDexFiles(*oat_file, location.c_str());
Jeff Haofbeb1322016-04-26 14:27:31 -07002233 opened_oat_files->push_back(std::move(oat_file));
Jeff Haof0192c82016-03-28 20:39:50 -07002234 opened_dex_files->insert(opened_dex_files->end(),
2235 std::make_move_iterator(oat_dex_files.begin()),
2236 std::make_move_iterator(oat_dex_files.end()));
2237 }
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002238 }
2239 }
2240 }
2241
Vladimir Marko49b0f452015-12-10 13:49:19 +00002242 bool PrepareImageClasses() {
2243 // If --image-classes was specified, calculate the full list of classes to include in the image.
2244 if (image_classes_filename_ != nullptr) {
2245 image_classes_ =
2246 ReadClasses(image_classes_zip_filename_, image_classes_filename_, "image");
2247 if (image_classes_ == nullptr) {
2248 return false;
2249 }
2250 } else if (IsBootImage()) {
2251 image_classes_.reset(new std::unordered_set<std::string>);
2252 }
2253 return true;
2254 }
2255
2256 bool PrepareCompiledClasses() {
2257 // If --compiled-classes was specified, calculate the full list of classes to compile in the
2258 // image.
2259 if (compiled_classes_filename_ != nullptr) {
2260 compiled_classes_ =
2261 ReadClasses(compiled_classes_zip_filename_, compiled_classes_filename_, "compiled");
2262 if (compiled_classes_ == nullptr) {
2263 return false;
2264 }
2265 } else {
2266 compiled_classes_.reset(nullptr); // By default compile everything.
2267 }
2268 return true;
2269 }
2270
2271 static std::unique_ptr<std::unordered_set<std::string>> ReadClasses(const char* zip_filename,
2272 const char* classes_filename,
2273 const char* tag) {
2274 std::unique_ptr<std::unordered_set<std::string>> classes;
2275 std::string error_msg;
2276 if (zip_filename != nullptr) {
2277 classes.reset(ReadImageClassesFromZip(zip_filename, classes_filename, &error_msg));
2278 } else {
2279 classes.reset(ReadImageClassesFromFile(classes_filename));
2280 }
2281 if (classes == nullptr) {
2282 LOG(ERROR) << "Failed to create list of " << tag << " classes from '"
2283 << classes_filename << "': " << error_msg;
2284 }
2285 return classes;
2286 }
2287
2288 bool PrepareCompiledMethods() {
2289 // If --compiled-methods was specified, read the methods to compile from the given file(s).
2290 if (compiled_methods_filename_ != nullptr) {
2291 std::string error_msg;
2292 if (compiled_methods_zip_filename_ != nullptr) {
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -07002293 compiled_methods_.reset(ReadCommentedInputFromZip<std::unordered_set<std::string>>(
2294 compiled_methods_zip_filename_,
2295 compiled_methods_filename_,
2296 nullptr, // No post-processing.
2297 &error_msg));
Vladimir Marko49b0f452015-12-10 13:49:19 +00002298 } else {
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -07002299 compiled_methods_.reset(ReadCommentedInputFromFile<std::unordered_set<std::string>>(
2300 compiled_methods_filename_,
2301 nullptr)); // No post-processing.
Vladimir Marko49b0f452015-12-10 13:49:19 +00002302 }
2303 if (compiled_methods_.get() == nullptr) {
2304 LOG(ERROR) << "Failed to create list of compiled methods from '"
2305 << compiled_methods_filename_ << "': " << error_msg;
2306 return false;
2307 }
2308 } else {
2309 compiled_methods_.reset(nullptr); // By default compile everything.
2310 }
2311 return true;
2312 }
2313
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002314 void PruneNonExistentDexFiles() {
2315 DCHECK_EQ(dex_filenames_.size(), dex_locations_.size());
2316 size_t kept = 0u;
2317 for (size_t i = 0, size = dex_filenames_.size(); i != size; ++i) {
2318 if (!OS::FileExists(dex_filenames_[i])) {
2319 LOG(WARNING) << "Skipping non-existent dex file '" << dex_filenames_[i] << "'";
2320 } else {
2321 dex_filenames_[kept] = dex_filenames_[i];
2322 dex_locations_[kept] = dex_locations_[i];
2323 ++kept;
2324 }
2325 }
2326 dex_filenames_.resize(kept);
2327 dex_locations_.resize(kept);
2328 }
2329
2330 bool AddDexFileSources() {
2331 TimingLogger::ScopedTiming t2("AddDexFileSources", timings_);
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +00002332 if (input_vdex_file_ != nullptr) {
2333 DCHECK_EQ(oat_writers_.size(), 1u);
2334 const std::string& name = zip_location_.empty() ? dex_locations_[0] : zip_location_;
2335 DCHECK(!name.empty());
2336 if (!oat_writers_[0]->AddVdexDexFilesSource(*input_vdex_file_.get(), name.c_str())) {
2337 return false;
2338 }
2339 } else if (zip_fd_ != -1) {
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002340 DCHECK_EQ(oat_writers_.size(), 1u);
Andreas Gampe43e10b02016-07-15 17:17:34 -07002341 if (!oat_writers_[0]->AddZippedDexFilesSource(File(zip_fd_, /* check_usage */ false),
2342 zip_location_.c_str())) {
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002343 return false;
2344 }
2345 } else if (oat_writers_.size() > 1u) {
2346 // Multi-image.
2347 DCHECK_EQ(oat_writers_.size(), dex_filenames_.size());
2348 DCHECK_EQ(oat_writers_.size(), dex_locations_.size());
2349 for (size_t i = 0, size = oat_writers_.size(); i != size; ++i) {
2350 if (!oat_writers_[i]->AddDexFileSource(dex_filenames_[i], dex_locations_[i])) {
2351 return false;
2352 }
2353 }
2354 } else {
2355 DCHECK_EQ(oat_writers_.size(), 1u);
2356 DCHECK_EQ(dex_filenames_.size(), dex_locations_.size());
2357 DCHECK_NE(dex_filenames_.size(), 0u);
2358 for (size_t i = 0; i != dex_filenames_.size(); ++i) {
2359 if (!oat_writers_[0]->AddDexFileSource(dex_filenames_[i], dex_locations_[i])) {
2360 return false;
2361 }
2362 }
2363 }
2364 return true;
2365 }
2366
2367 void CreateOatWriters() {
2368 TimingLogger::ScopedTiming t2("CreateOatWriters", timings_);
2369 elf_writers_.reserve(oat_files_.size());
2370 oat_writers_.reserve(oat_files_.size());
2371 for (const std::unique_ptr<File>& oat_file : oat_files_) {
David Srbecky5d811202016-03-08 13:21:22 +00002372 elf_writers_.emplace_back(CreateElfWriterQuick(instruction_set_,
2373 instruction_set_features_.get(),
2374 compiler_options_.get(),
2375 oat_file.get()));
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002376 elf_writers_.back()->Start();
Mathieu Chartier11b3df32017-02-21 13:41:54 -08002377 const bool do_dexlayout = DoDexLayoutOptimizations();
Jeff Hao608f2ce2016-10-19 11:17:11 -07002378 oat_writers_.emplace_back(new OatWriter(
2379 IsBootImage(), timings_, do_dexlayout ? profile_compilation_info_.get() : nullptr));
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002380 }
2381 }
2382
Vladimir Marko49b0f452015-12-10 13:49:19 +00002383 void SaveDexInput() {
2384 for (size_t i = 0; i < dex_files_.size(); ++i) {
2385 const DexFile* dex_file = dex_files_[i];
2386 std::string tmp_file_name(StringPrintf("/data/local/tmp/dex2oat.%d.%zd.dex",
2387 getpid(), i));
2388 std::unique_ptr<File> tmp_file(OS::CreateEmptyFile(tmp_file_name.c_str()));
2389 if (tmp_file.get() == nullptr) {
2390 PLOG(ERROR) << "Failed to open file " << tmp_file_name
2391 << ". Try: adb shell chmod 777 /data/local/tmp";
2392 continue;
2393 }
2394 // This is just dumping files for debugging. Ignore errors, and leave remnants.
2395 UNUSED(tmp_file->WriteFully(dex_file->Begin(), dex_file->Size()));
2396 UNUSED(tmp_file->Flush());
2397 UNUSED(tmp_file->Close());
2398 LOG(INFO) << "Wrote input to " << tmp_file_name;
2399 }
2400 }
2401
2402 bool PrepareRuntimeOptions(RuntimeArgumentMap* runtime_options) {
2403 RuntimeOptions raw_options;
2404 if (boot_image_filename_.empty()) {
2405 std::string boot_class_path = "-Xbootclasspath:";
Andreas Gampe9186ced2016-12-12 14:28:21 -08002406 boot_class_path += android::base::Join(dex_filenames_, ':');
Vladimir Marko49b0f452015-12-10 13:49:19 +00002407 raw_options.push_back(std::make_pair(boot_class_path, nullptr));
2408 std::string boot_class_path_locations = "-Xbootclasspath-locations:";
Andreas Gampe9186ced2016-12-12 14:28:21 -08002409 boot_class_path_locations += android::base::Join(dex_locations_, ':');
Vladimir Marko49b0f452015-12-10 13:49:19 +00002410 raw_options.push_back(std::make_pair(boot_class_path_locations, nullptr));
2411 } else {
2412 std::string boot_image_option = "-Ximage:";
2413 boot_image_option += boot_image_filename_;
2414 raw_options.push_back(std::make_pair(boot_image_option, nullptr));
2415 }
2416 for (size_t i = 0; i < runtime_args_.size(); i++) {
2417 raw_options.push_back(std::make_pair(runtime_args_[i], nullptr));
2418 }
2419
2420 raw_options.push_back(std::make_pair("compilercallbacks", callbacks_.get()));
2421 raw_options.push_back(
2422 std::make_pair("imageinstructionset", GetInstructionSetString(instruction_set_)));
2423
2424 // Only allow no boot image for the runtime if we're compiling one. When we compile an app,
2425 // we don't want fallback mode, it will abort as we do not push a boot classpath (it might
2426 // have been stripped in preopting, anyways).
2427 if (!IsBootImage()) {
2428 raw_options.push_back(std::make_pair("-Xno-dex-file-fallback", nullptr));
2429 }
2430 // Disable libsigchain. We don't don't need it during compilation and it prevents us
2431 // from getting a statically linked version of dex2oat (because of dlsym and RTLD_NEXT).
2432 raw_options.push_back(std::make_pair("-Xno-sig-chain", nullptr));
Lin Zang97f3f7d2016-01-13 10:25:00 +08002433 // Disable Hspace compaction to save heap size virtual space.
2434 // Only need disable Hspace for OOM becasue background collector is equal to
2435 // foreground collector by default for dex2oat.
2436 raw_options.push_back(std::make_pair("-XX:DisableHSpaceCompactForOOM", nullptr));
Vladimir Marko49b0f452015-12-10 13:49:19 +00002437
Andreas Gampeace0dc12016-01-20 13:33:13 -08002438 // If we're asked to be deterministic, ensure non-concurrent GC for determinism. Also
2439 // force the free-list implementation for large objects.
2440 if (compiler_options_->IsForceDeterminism()) {
2441 raw_options.push_back(std::make_pair("-Xgc:nonconcurrent", nullptr));
2442 raw_options.push_back(std::make_pair("-XX:LargeObjectSpace=freelist", nullptr));
2443
2444 // We also need to turn off the nonmoving space. For that, we need to disable HSpace
2445 // compaction (done above) and ensure that neither foreground nor background collectors
2446 // are concurrent.
2447 raw_options.push_back(std::make_pair("-XX:BackgroundGC=nonconcurrent", nullptr));
2448
2449 // To make identity hashcode deterministic, set a known seed.
2450 mirror::Object::SetHashCodeSeed(987654321U);
2451 }
2452
Vladimir Marko49b0f452015-12-10 13:49:19 +00002453 if (!Runtime::ParseOptions(raw_options, false, runtime_options)) {
2454 LOG(ERROR) << "Failed to parse runtime options";
2455 return false;
2456 }
2457 return true;
2458 }
2459
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002460 // Create a runtime necessary for compilation.
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002461 bool CreateRuntime(RuntimeArgumentMap&& runtime_options) {
2462 TimingLogger::ScopedTiming t_runtime("Create runtime", timings_);
Vladimir Marko49b0f452015-12-10 13:49:19 +00002463 if (!Runtime::Create(std::move(runtime_options))) {
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002464 LOG(ERROR) << "Failed to create runtime";
2465 return false;
2466 }
Andreas Gampe49c144d2016-11-14 10:11:16 -08002467
2468 // Runtime::Init will rename this thread to be "main". Prefer "dex2oat" so that "top" and
2469 // "ps -a" don't change to non-descript "main."
2470 SetThreadName(kIsDebugBuild ? "dex2oatd" : "dex2oat");
2471
Vladimir Marko307dac92015-10-20 11:20:09 +01002472 runtime_.reset(Runtime::Current());
2473 runtime_->SetInstructionSet(instruction_set_);
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002474 for (int i = 0; i < Runtime::kLastCalleeSaveType; i++) {
2475 Runtime::CalleeSaveType type = Runtime::CalleeSaveType(i);
Vladimir Marko307dac92015-10-20 11:20:09 +01002476 if (!runtime_->HasCalleeSaveMethod(type)) {
2477 runtime_->SetCalleeSaveMethod(runtime_->CreateCalleeSaveMethod(), type);
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002478 }
2479 }
Vladimir Marko307dac92015-10-20 11:20:09 +01002480 runtime_->GetClassLinker()->FixupDexCaches(runtime_->GetResolutionMethod());
Andreas Gampe2969bcd2015-03-09 12:57:41 -07002481
2482 // Initialize maps for unstarted runtime. This needs to be here, as running clinits needs this
2483 // set up.
Andreas Gampe799681b2015-05-15 19:24:12 -07002484 interpreter::UnstartedRuntime::Initialize();
Andreas Gampe2969bcd2015-03-09 12:57:41 -07002485
Vladimir Marko307dac92015-10-20 11:20:09 +01002486 runtime_->GetClassLinker()->RunRootClinits();
Andreas Gampe2969bcd2015-03-09 12:57:41 -07002487
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002488 // Runtime::Create acquired the mutator_lock_ that is normally given away when we
2489 // Runtime::Start, give it away now so that we don't starve GC.
2490 Thread* self = Thread::Current();
2491 self->TransitionFromRunnableToSuspended(kNative);
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002492
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002493 return true;
Vladimir Marko919f5532016-01-20 19:13:01 +00002494 }
2495
Jeff Haodcdc85b2015-12-04 14:06:18 -08002496 // Let the ImageWriter write the image files. If we do not compile PIC, also fix up the oat files.
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002497 bool CreateImageFile()
Mathieu Chartier90443472015-07-16 20:32:27 -07002498 REQUIRES(!Locks::mutator_lock_) {
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002499 CHECK(image_writer_ != nullptr);
Jeff Haodcdc85b2015-12-04 14:06:18 -08002500 if (!IsBootImage()) {
Mathieu Chartierfbc31082016-01-24 11:59:56 -08002501 CHECK(image_filenames_.empty());
Jeff Haodcdc85b2015-12-04 14:06:18 -08002502 image_filenames_.push_back(app_image_file_name_.c_str());
2503 }
Mathieu Chartierfbc31082016-01-24 11:59:56 -08002504 if (!image_writer_->Write(app_image_fd_,
2505 image_filenames_,
Vladimir Marko944da602016-02-19 12:27:55 +00002506 oat_filenames_)) {
Jeff Haodcdc85b2015-12-04 14:06:18 -08002507 LOG(ERROR) << "Failure during image file creation";
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002508 return false;
2509 }
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002510
Jeff Haodcdc85b2015-12-04 14:06:18 -08002511 // We need the OatDataBegin entries.
Vladimir Marko944da602016-02-19 12:27:55 +00002512 dchecked_vector<uintptr_t> oat_data_begins;
2513 for (size_t i = 0, size = oat_filenames_.size(); i != size; ++i) {
2514 oat_data_begins.push_back(image_writer_->GetOatDataBegin(i));
Jeff Haodcdc85b2015-12-04 14:06:18 -08002515 }
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002516 // Destroy ImageWriter before doing FixupElf.
2517 image_writer_.reset();
2518
Vladimir Marko944da602016-02-19 12:27:55 +00002519 for (size_t i = 0, size = oat_filenames_.size(); i != size; ++i) {
2520 const char* oat_filename = oat_filenames_[i];
Jeff Haodcdc85b2015-12-04 14:06:18 -08002521 // Do not fix up the ELF file if we are --compile-pic or compiling the app image
2522 if (!compiler_options_->GetCompilePic() && IsBootImage()) {
2523 std::unique_ptr<File> oat_file(OS::OpenFileReadWrite(oat_filename));
2524 if (oat_file.get() == nullptr) {
2525 PLOG(ERROR) << "Failed to open ELF file: " << oat_filename;
2526 return false;
2527 }
Andreas Gampe4303ba92014-11-06 01:00:46 -08002528
Vladimir Marko944da602016-02-19 12:27:55 +00002529 if (!ElfWriter::Fixup(oat_file.get(), oat_data_begins[i])) {
Jeff Haodcdc85b2015-12-04 14:06:18 -08002530 oat_file->Erase();
2531 LOG(ERROR) << "Failed to fixup ELF file " << oat_file->GetPath();
2532 return false;
2533 }
2534
2535 if (oat_file->FlushCloseOrErase()) {
2536 PLOG(ERROR) << "Failed to flush and close fixed ELF file " << oat_file->GetPath();
2537 return false;
2538 }
Andreas Gampe4303ba92014-11-06 01:00:46 -08002539 }
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002540 }
2541
2542 return true;
2543 }
2544
2545 // Reads the class names (java.lang.Object) and returns a set of descriptors (Ljava/lang/Object;)
Andreas Gampeb1fcead2015-04-20 18:53:51 -07002546 static std::unordered_set<std::string>* ReadImageClassesFromFile(
2547 const char* image_classes_filename) {
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002548 std::function<std::string(const char*)> process = DotToDescriptor;
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -07002549 return ReadCommentedInputFromFile<std::unordered_set<std::string>>(image_classes_filename,
2550 &process);
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002551 }
2552
2553 // Reads the class names (java.lang.Object) and returns a set of descriptors (Ljava/lang/Object;)
Andreas Gampeb1fcead2015-04-20 18:53:51 -07002554 static std::unordered_set<std::string>* ReadImageClassesFromZip(
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002555 const char* zip_filename,
2556 const char* image_classes_filename,
2557 std::string* error_msg) {
2558 std::function<std::string(const char*)> process = DotToDescriptor;
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -07002559 return ReadCommentedInputFromZip<std::unordered_set<std::string>>(zip_filename,
2560 image_classes_filename,
2561 &process,
2562 error_msg);
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002563 }
2564
2565 // Read lines from the given file, dropping comments and empty lines. Post-process each line with
2566 // the given function.
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -07002567 template <typename T>
2568 static T* ReadCommentedInputFromFile(
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002569 const char* input_filename, std::function<std::string(const char*)>* process) {
2570 std::unique_ptr<std::ifstream> input_file(new std::ifstream(input_filename, std::ifstream::in));
2571 if (input_file.get() == nullptr) {
2572 LOG(ERROR) << "Failed to open input file " << input_filename;
2573 return nullptr;
2574 }
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -07002575 std::unique_ptr<T> result(
2576 ReadCommentedInputStream<T>(*input_file, process));
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002577 input_file->close();
2578 return result.release();
2579 }
2580
2581 // Read lines from the given file from the given zip file, dropping comments and empty lines.
2582 // Post-process each line with the given function.
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -07002583 template <typename T>
2584 static T* ReadCommentedInputFromZip(
Andreas Gampeb1fcead2015-04-20 18:53:51 -07002585 const char* zip_filename,
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002586 const char* input_filename,
2587 std::function<std::string(const char*)>* process,
Andreas Gampeb1fcead2015-04-20 18:53:51 -07002588 std::string* error_msg) {
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002589 std::unique_ptr<ZipArchive> zip_archive(ZipArchive::Open(zip_filename, error_msg));
2590 if (zip_archive.get() == nullptr) {
2591 return nullptr;
2592 }
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002593 std::unique_ptr<ZipEntry> zip_entry(zip_archive->Find(input_filename, error_msg));
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002594 if (zip_entry.get() == nullptr) {
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002595 *error_msg = StringPrintf("Failed to find '%s' within '%s': %s", input_filename,
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002596 zip_filename, error_msg->c_str());
2597 return nullptr;
2598 }
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002599 std::unique_ptr<MemMap> input_file(zip_entry->ExtractToMemMap(zip_filename,
2600 input_filename,
2601 error_msg));
2602 if (input_file.get() == nullptr) {
2603 *error_msg = StringPrintf("Failed to extract '%s' from '%s': %s", input_filename,
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002604 zip_filename, error_msg->c_str());
2605 return nullptr;
2606 }
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002607 const std::string input_string(reinterpret_cast<char*>(input_file->Begin()),
2608 input_file->Size());
2609 std::istringstream input_stream(input_string);
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -07002610 return ReadCommentedInputStream<T>(input_stream, process);
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002611 }
2612
2613 // Read lines from the given stream, dropping comments and empty lines. Post-process each line
2614 // with the given function.
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -07002615 template <typename T>
2616 static T* ReadCommentedInputStream(
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002617 std::istream& in_stream,
2618 std::function<std::string(const char*)>* process) {
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -07002619 std::unique_ptr<T> output(new T());
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002620 while (in_stream.good()) {
2621 std::string dot;
2622 std::getline(in_stream, dot);
Andreas Gampe9186ced2016-12-12 14:28:21 -08002623 if (android::base::StartsWith(dot, "#") || dot.empty()) {
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002624 continue;
2625 }
2626 if (process != nullptr) {
2627 std::string descriptor((*process)(dot.c_str()));
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -07002628 output->insert(output->end(), descriptor);
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002629 } else {
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -07002630 output->insert(output->end(), dot);
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002631 }
2632 }
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -07002633 return output.release();
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002634 }
2635
Mathieu Chartier49285c52014-12-02 15:43:48 -08002636 void LogCompletionTime() {
Andreas Gampe1d00add2015-02-27 19:35:46 -08002637 // Note: when creation of a runtime fails, e.g., when trying to compile an app but when there
2638 // is no image, there won't be a Runtime::Current().
Brian Carlstroma11a34c2015-03-06 08:44:45 -08002639 // Note: driver creation can fail when loading an invalid dex file.
Andreas Gampec560fc02014-07-16 09:57:39 -07002640 LOG(INFO) << "dex2oat took "
2641 << PrettyDuration(NanoTime() - start_ns_)
Andreas Gampecc967752016-12-12 13:49:00 -08002642 << " (" << PrettyDuration(ProcessCpuNanoTime() - start_cputime_ns_) << " cpu)"
Mathieu Chartierab972ef2014-12-03 17:38:22 -08002643 << " (threads: " << thread_count_ << ") "
Andreas Gampe3f30e122015-09-17 14:03:21 -07002644 << ((Runtime::Current() != nullptr && driver_ != nullptr) ?
Andreas Gampe1d00add2015-02-27 19:35:46 -08002645 driver_->GetMemoryUsageString(kIsDebugBuild || VLOG_IS_ON(compiler)) :
2646 "");
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002647 }
2648
Jeff Haodcdc85b2015-12-04 14:06:18 -08002649 std::string StripIsaFrom(const char* image_filename, InstructionSet isa) {
2650 std::string res(image_filename);
2651 size_t last_slash = res.rfind('/');
2652 if (last_slash == std::string::npos || last_slash == 0) {
2653 return res;
2654 }
2655 size_t penultimate_slash = res.rfind('/', last_slash - 1);
2656 if (penultimate_slash == std::string::npos) {
2657 return res;
2658 }
2659 // Check that the string in-between is the expected one.
2660 if (res.substr(penultimate_slash + 1, last_slash - penultimate_slash - 1) !=
2661 GetInstructionSetString(isa)) {
2662 LOG(WARNING) << "Unexpected string when trying to strip isa: " << res;
2663 return res;
2664 }
2665 return res.substr(0, penultimate_slash) + res.substr(last_slash);
2666 }
2667
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002668 std::unique_ptr<CompilerOptions> compiler_options_;
2669 Compiler::Kind compiler_kind_;
2670
2671 InstructionSet instruction_set_;
2672 std::unique_ptr<const InstructionSetFeatures> instruction_set_features_;
2673
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002674 uint32_t image_file_location_oat_checksum_;
2675 uintptr_t image_file_location_oat_data_begin_;
2676 int32_t image_patch_delta_;
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002677 std::unique_ptr<SafeMap<std::string, std::string> > key_value_store_;
2678
Vladimir Marko307dac92015-10-20 11:20:09 +01002679 std::unique_ptr<VerificationResults> verification_results_;
Andreas Gampe3f30e122015-09-17 14:03:21 -07002680
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002681 std::unique_ptr<QuickCompilerCallbacks> callbacks_;
2682
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002683 std::unique_ptr<Runtime> runtime_;
2684
Richard Uhlerfbef44d2014-12-23 09:48:51 -08002685 // Ownership for the class path files.
2686 std::vector<std::unique_ptr<const DexFile>> class_path_files_;
2687
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002688 size_t thread_count_;
2689 uint64_t start_ns_;
Andreas Gampec560fc02014-07-16 09:57:39 -07002690 uint64_t start_cputime_ns_;
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002691 std::unique_ptr<WatchDog> watchdog_;
Jeff Haodcdc85b2015-12-04 14:06:18 -08002692 std::vector<std::unique_ptr<File>> oat_files_;
David Brazdil7b49e6c2016-09-01 11:06:18 +01002693 std::vector<std::unique_ptr<File>> vdex_files_;
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002694 std::string oat_location_;
Jeff Haodcdc85b2015-12-04 14:06:18 -08002695 std::vector<const char*> oat_filenames_;
2696 std::vector<const char*> oat_unstripped_;
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002697 int oat_fd_;
Nicolas Geoffraya6a448a2016-11-10 10:49:40 +00002698 int input_vdex_fd_;
2699 int output_vdex_fd_;
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +00002700 std::string input_vdex_;
2701 std::unique_ptr<VdexFile> input_vdex_file_;
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002702 std::vector<const char*> dex_filenames_;
2703 std::vector<const char*> dex_locations_;
2704 int zip_fd_;
2705 std::string zip_location_;
Vladimir Marko49b0f452015-12-10 13:49:19 +00002706 std::string boot_image_filename_;
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002707 std::vector<const char*> runtime_args_;
Jeff Haodcdc85b2015-12-04 14:06:18 -08002708 std::vector<const char*> image_filenames_;
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002709 uintptr_t image_base_;
2710 const char* image_classes_zip_filename_;
2711 const char* image_classes_filename_;
Mathieu Chartierceb07b32015-12-10 09:33:21 -08002712 ImageHeader::StorageMode image_storage_mode_;
Andreas Gampe4bf3ae92014-11-11 13:28:29 -08002713 const char* compiled_classes_zip_filename_;
2714 const char* compiled_classes_filename_;
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002715 const char* compiled_methods_zip_filename_;
2716 const char* compiled_methods_filename_;
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -07002717 const char* passes_to_run_filename_;
Andreas Gampeb1fcead2015-04-20 18:53:51 -07002718 std::unique_ptr<std::unordered_set<std::string>> image_classes_;
2719 std::unique_ptr<std::unordered_set<std::string>> compiled_classes_;
Andreas Gampe70bef0d2015-04-15 02:37:28 -07002720 std::unique_ptr<std::unordered_set<std::string>> compiled_methods_;
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -07002721 std::unique_ptr<std::vector<std::string>> passes_to_run_;
Jeff Hao436183f2016-01-12 16:36:50 -08002722 bool multi_image_;
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002723 bool is_host_;
2724 std::string android_root_;
Mathieu Chartier0b490842016-05-25 15:05:59 -07002725 // Dex files we are compiling, does not include the class path dex files.
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002726 std::vector<const DexFile*> dex_files_;
Jeff Haodcdc85b2015-12-04 14:06:18 -08002727 std::string no_inline_from_string_;
Mathieu Chartier673ed3d2015-08-28 14:56:43 -07002728 std::vector<jobject> dex_caches_;
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002729 jobject class_loader_;
Andreas Gampe3f30e122015-09-17 14:03:21 -07002730
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002731 std::vector<std::unique_ptr<ElfWriter>> elf_writers_;
2732 std::vector<std::unique_ptr<OatWriter>> oat_writers_;
2733 std::vector<OutputStream*> rodata_;
David Brazdil5d5a36b2016-09-14 15:34:10 +01002734 std::vector<std::unique_ptr<OutputStream>> vdex_out_;
Vladimir Marko307dac92015-10-20 11:20:09 +01002735 std::unique_ptr<ImageWriter> image_writer_;
2736 std::unique_ptr<CompilerDriver> driver_;
Andreas Gampe3f30e122015-09-17 14:03:21 -07002737
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002738 std::vector<std::unique_ptr<MemMap>> opened_dex_files_maps_;
Jeff Haofbeb1322016-04-26 14:27:31 -07002739 std::vector<std::unique_ptr<OatFile>> opened_oat_files_;
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002740 std::vector<std::unique_ptr<const DexFile>> opened_dex_files_;
2741
Vladimir Marko47496c22016-01-27 16:15:08 +00002742 std::vector<const DexFile*> no_inline_from_dex_files_;
2743
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002744 std::vector<std::string> verbose_methods_;
2745 bool dump_stats_;
2746 bool dump_passes_;
2747 bool dump_timing_;
2748 bool dump_slow_timing_;
Andreas Gampee21dc3d2014-12-08 16:59:43 -08002749 std::string swap_file_name_;
2750 int swap_fd_;
Andreas Gampee1459ae2016-06-29 09:36:30 -07002751 size_t min_dex_files_for_swap_ = kDefaultMinDexFilesForSwap;
2752 size_t min_dex_file_cumulative_size_for_swap_ = kDefaultMinDexFileCumulativeSizeForSwap;
Andreas Gampe67f02822016-06-24 21:05:23 -07002753 size_t very_large_threshold_ = std::numeric_limits<size_t>::max();
Mathieu Chartiera90c7722015-10-29 15:41:36 -07002754 std::string app_image_file_name_;
2755 int app_image_fd_;
Calin Juravle2e2db782016-02-23 12:00:03 +00002756 std::string profile_file_;
2757 int profile_file_fd_;
Calin Juravle998c2162015-12-21 15:39:33 +02002758 std::unique_ptr<ProfileCompilationInfo> profile_compilation_info_;
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002759 TimingLogger* timings_;
2760 std::unique_ptr<CumulativeLogger> compiler_phases_timings_;
Jeff Haodcdc85b2015-12-04 14:06:18 -08002761 std::vector<std::vector<const DexFile*>> dex_files_per_oat_file_;
Vladimir Marko944da602016-02-19 12:27:55 +00002762 std::unordered_map<const DexFile*, size_t> dex_file_oat_index_map_;
Jeff Haodcdc85b2015-12-04 14:06:18 -08002763
2764 // Backing storage.
2765 std::vector<std::string> char_backing_storage_;
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002766
Andreas Gampeace0dc12016-01-20 13:33:13 -08002767 // See CompilerOptions.force_determinism_.
2768 bool force_determinism_;
2769
Nicolas Geoffray81f57d12016-12-20 13:17:09 +00002770 // Whether the given input vdex is also the output.
2771 bool update_input_vdex_ = false;
2772
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002773 DISALLOW_IMPLICIT_CONSTRUCTORS(Dex2Oat);
2774};
2775
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002776static void b13564922() {
2777#if defined(__linux__) && defined(__arm__)
2778 int major, minor;
2779 struct utsname uts;
2780 if (uname(&uts) != -1 &&
2781 sscanf(uts.release, "%d.%d", &major, &minor) == 2 &&
2782 ((major < 3) || ((major == 3) && (minor < 4)))) {
2783 // Kernels before 3.4 don't handle the ASLR well and we can run out of address
2784 // space (http://b/13564922). Work around the issue by inhibiting further mmap() randomization.
2785 int old_personality = personality(0xffffffff);
2786 if ((old_personality & ADDR_NO_RANDOMIZE) == 0) {
2787 int new_personality = personality(old_personality | ADDR_NO_RANDOMIZE);
2788 if (new_personality == -1) {
2789 LOG(WARNING) << "personality(. | ADDR_NO_RANDOMIZE) failed.";
2790 }
2791 }
2792 }
2793#endif
2794}
2795
Andreas Gampe10e477d2014-11-19 12:57:42 -08002796static int CompileImage(Dex2Oat& dex2oat) {
Mathieu Chartierc5dd3192015-12-09 16:38:30 -08002797 dex2oat.LoadClassProfileDescriptors();
Andreas Gampe10e477d2014-11-19 12:57:42 -08002798 dex2oat.Compile();
2799
David Brazdil7b49e6c2016-09-01 11:06:18 +01002800 if (!dex2oat.WriteOutputFiles()) {
2801 dex2oat.EraseOutputFiles();
Andreas Gampe10e477d2014-11-19 12:57:42 -08002802 return EXIT_FAILURE;
2803 }
2804
Mathieu Chartierfbc31082016-01-24 11:59:56 -08002805 // Flush boot.oat. We always expect the output file by name, and it will be re-opened from the
2806 // unstripped name. Do not close the file if we are compiling the image with an oat fd since the
2807 // image writer will require this fd to generate the image.
2808 if (dex2oat.ShouldKeepOatFileOpen()) {
David Brazdil7b49e6c2016-09-01 11:06:18 +01002809 if (!dex2oat.FlushOutputFiles()) {
2810 dex2oat.EraseOutputFiles();
Mathieu Chartierfbc31082016-01-24 11:59:56 -08002811 return EXIT_FAILURE;
2812 }
David Brazdil7b49e6c2016-09-01 11:06:18 +01002813 } else if (!dex2oat.FlushCloseOutputFiles()) {
Andreas Gampe10e477d2014-11-19 12:57:42 -08002814 return EXIT_FAILURE;
2815 }
2816
Jeff Haodcdc85b2015-12-04 14:06:18 -08002817 // Creates the boot.art and patches the oat files.
Andreas Gampe10e477d2014-11-19 12:57:42 -08002818 if (!dex2oat.HandleImage()) {
2819 return EXIT_FAILURE;
2820 }
2821
2822 // When given --host, finish early without stripping.
2823 if (dex2oat.IsHost()) {
2824 dex2oat.DumpTiming();
2825 return EXIT_SUCCESS;
2826 }
2827
Jeff Haodcdc85b2015-12-04 14:06:18 -08002828 // Copy stripped to unstripped location, if necessary.
2829 if (!dex2oat.CopyStrippedToUnstripped()) {
Andreas Gampe10e477d2014-11-19 12:57:42 -08002830 return EXIT_FAILURE;
2831 }
2832
Jeff Haodcdc85b2015-12-04 14:06:18 -08002833 // FlushClose again, as stripping might have re-opened the oat files.
David Brazdil7b49e6c2016-09-01 11:06:18 +01002834 if (!dex2oat.FlushCloseOutputFiles()) {
Andreas Gampe10e477d2014-11-19 12:57:42 -08002835 return EXIT_FAILURE;
2836 }
2837
2838 dex2oat.DumpTiming();
2839 return EXIT_SUCCESS;
2840}
2841
2842static int CompileApp(Dex2Oat& dex2oat) {
2843 dex2oat.Compile();
2844
David Brazdil7b49e6c2016-09-01 11:06:18 +01002845 if (!dex2oat.WriteOutputFiles()) {
2846 dex2oat.EraseOutputFiles();
Andreas Gampe10e477d2014-11-19 12:57:42 -08002847 return EXIT_FAILURE;
2848 }
2849
Jeff Haodcdc85b2015-12-04 14:06:18 -08002850 // Do not close the oat files here. We might have gotten the output file by file descriptor,
Andreas Gampe10e477d2014-11-19 12:57:42 -08002851 // which we would lose.
Andreas Gampe10e477d2014-11-19 12:57:42 -08002852
2853 // When given --host, finish early without stripping.
2854 if (dex2oat.IsHost()) {
David Brazdil7b49e6c2016-09-01 11:06:18 +01002855 if (!dex2oat.FlushCloseOutputFiles()) {
Andreas Gampe10e477d2014-11-19 12:57:42 -08002856 return EXIT_FAILURE;
2857 }
2858
2859 dex2oat.DumpTiming();
2860 return EXIT_SUCCESS;
2861 }
2862
Jeff Haodcdc85b2015-12-04 14:06:18 -08002863 // Copy stripped to unstripped location, if necessary. This will implicitly flush & close the
2864 // stripped versions. If this is given, we expect to be able to open writable files by name.
2865 if (!dex2oat.CopyStrippedToUnstripped()) {
Andreas Gampe10e477d2014-11-19 12:57:42 -08002866 return EXIT_FAILURE;
2867 }
2868
Jeff Haodcdc85b2015-12-04 14:06:18 -08002869 // Flush and close the files.
David Brazdil7b49e6c2016-09-01 11:06:18 +01002870 if (!dex2oat.FlushCloseOutputFiles()) {
Andreas Gampe10e477d2014-11-19 12:57:42 -08002871 return EXIT_FAILURE;
2872 }
2873
2874 dex2oat.DumpTiming();
2875 return EXIT_SUCCESS;
2876}
2877
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002878static int dex2oat(int argc, char** argv) {
2879 b13564922();
2880
2881 TimingLogger timings("compiler", false, false);
2882
Roland Levillain5c7e2602016-02-23 18:08:53 +00002883 // Allocate `dex2oat` on the heap instead of on the stack, as Clang
2884 // might produce a stack frame too large for this function or for
2885 // functions inlining it (such as main), that would not fit the
2886 // requirements of the `-Wframe-larger-than` option.
2887 std::unique_ptr<Dex2Oat> dex2oat = MakeUnique<Dex2Oat>(&timings);
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002888
2889 // Parse arguments. Argument mistakes will lead to exit(EXIT_FAILURE) in UsageError.
Roland Levillain5c7e2602016-02-23 18:08:53 +00002890 dex2oat->ParseArgs(argc, argv);
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002891
Calin Juravleb077e152016-02-18 18:47:37 +00002892 // If needed, process profile information for profile guided compilation.
Calin Juravle998c2162015-12-21 15:39:33 +02002893 // This operation involves I/O.
Mathieu Chartier11b3df32017-02-21 13:41:54 -08002894 if (dex2oat->UseProfile()) {
Calin Juravleb077e152016-02-18 18:47:37 +00002895 if (!dex2oat->LoadProfile()) {
2896 LOG(ERROR) << "Failed to process profile file";
Calin Juravle998c2162015-12-21 15:39:33 +02002897 return EXIT_FAILURE;
2898 }
2899 }
2900
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +00002901 art::MemMap::Init(); // For ZipEntry::ExtractToMemMap, and vdex.
2902
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002903 // Check early that the result of compilation can be written
Roland Levillain5c7e2602016-02-23 18:08:53 +00002904 if (!dex2oat->OpenFile()) {
Vladimir Marko9bdf1082016-01-21 12:15:52 +00002905 return EXIT_FAILURE;
2906 }
2907
Andreas Gampe046c7062015-05-18 23:22:54 -07002908 // Print the complete line when any of the following is true:
2909 // 1) Debug build
2910 // 2) Compiling an image
2911 // 3) Compiling with --host
2912 // 4) Compiling on the host (not a target build)
2913 // Otherwise, print a stripped command line.
Roland Levillain5c7e2602016-02-23 18:08:53 +00002914 if (kIsDebugBuild || dex2oat->IsBootImage() || dex2oat->IsHost() || !kIsTargetBuild) {
Andreas Gampe046c7062015-05-18 23:22:54 -07002915 LOG(INFO) << CommandLine();
2916 } else {
2917 LOG(INFO) << StrippedCommandLine();
2918 }
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002919
Roland Levillain5c7e2602016-02-23 18:08:53 +00002920 if (!dex2oat->Setup()) {
David Brazdil7b49e6c2016-09-01 11:06:18 +01002921 dex2oat->EraseOutputFiles();
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002922 return EXIT_FAILURE;
2923 }
2924
Wojciech Staszkiewicz529827d2016-09-15 10:30:30 -07002925 // Helps debugging on device. Can be used to determine which dalvikvm instance invoked a dex2oat
2926 // instance. Used by tools/bisection_search/bisection_search.py.
Wojciech Staszkiewicz0a4c75f2016-09-13 12:06:36 -07002927 VLOG(compiler) << "Running dex2oat (parent PID = " << getppid() << ")";
2928
Mathieu Chartier673ed3d2015-08-28 14:56:43 -07002929 bool result;
Roland Levillain5c7e2602016-02-23 18:08:53 +00002930 if (dex2oat->IsImage()) {
2931 result = CompileImage(*dex2oat);
Andreas Gampe10e477d2014-11-19 12:57:42 -08002932 } else {
Roland Levillain5c7e2602016-02-23 18:08:53 +00002933 result = CompileApp(*dex2oat);
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002934 }
Mathieu Chartier673ed3d2015-08-28 14:56:43 -07002935
Roland Levillain5c7e2602016-02-23 18:08:53 +00002936 dex2oat->Shutdown();
Mathieu Chartier673ed3d2015-08-28 14:56:43 -07002937 return result;
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002938}
Brian Carlstrom7934ac22013-07-26 10:54:15 -07002939} // namespace art
Brian Carlstrom7940e442013-07-12 13:46:57 -07002940
2941int main(int argc, char** argv) {
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002942 int result = art::dex2oat(argc, argv);
2943 // Everything was done, do an explicit exit here to avoid running Runtime destructors that take
2944 // time (bug 10645725) unless we're a debug build or running on valgrind. Note: The Dex2Oat class
2945 // should not destruct the runtime in this case.
Evgenii Stepanov1e133742015-05-20 12:30:59 -07002946 if (!art::kIsDebugBuild && (RUNNING_ON_MEMORY_TOOL == 0)) {
Andreas Gampe88ec7f42014-11-05 10:18:32 -08002947 exit(result);
2948 }
2949 return result;
Brian Carlstrom7940e442013-07-12 13:46:57 -07002950}