blob: 7848b065cc4ff8732bd2effead657bcdf9d85e0c [file] [log] [blame]
/*
* Copyright (C) 2011 The Android Open Source Project
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
#include "compiler.h"
#include "compiler_internals.h"
#include "driver/compiler_driver.h"
#include "driver/compiler_options.h"
#include "dataflow_iterator-inl.h"
#include "leb128.h"
#include "mirror/object.h"
#include "pass_driver_me_opts.h"
#include "runtime.h"
#include "base/logging.h"
#include "base/timing_logger.h"
#include "driver/compiler_options.h"
#include "dex/quick/dex_file_to_method_inliner_map.h"
namespace art {
extern "C" void ArtInitQuickCompilerContext(art::CompilerDriver* driver) {
CHECK(driver->GetCompilerContext() == nullptr);
}
extern "C" void ArtUnInitQuickCompilerContext(art::CompilerDriver* driver) {
CHECK(driver->GetCompilerContext() == nullptr);
}
/* Default optimizer/debug setting for the compiler. */
static uint32_t kCompilerOptimizerDisableFlags = 0 | // Disable specific optimizations
(1 << kLoadStoreElimination) | // TODO: this pass has been broken for awhile - fix or delete.
// (1 << kLoadHoisting) |
// (1 << kSuppressLoads) |
// (1 << kNullCheckElimination) |
// (1 << kClassInitCheckElimination) |
// (1 << kPromoteRegs) |
// (1 << kTrackLiveTemps) |
// (1 << kSafeOptimizations) |
// (1 << kBBOpt) |
// (1 << kMatch) |
// (1 << kPromoteCompilerTemps) |
// (1 << kSuppressExceptionEdges) |
// (1 << kSuppressMethodInlining) |
0;
static uint32_t kCompilerDebugFlags = 0 | // Enable debug/testing modes
// (1 << kDebugDisplayMissingTargets) |
// (1 << kDebugVerbose) |
// (1 << kDebugDumpCFG) |
// (1 << kDebugSlowFieldPath) |
// (1 << kDebugSlowInvokePath) |
// (1 << kDebugSlowStringPath) |
// (1 << kDebugSlowestFieldPath) |
// (1 << kDebugSlowestStringPath) |
// (1 << kDebugExerciseResolveMethod) |
// (1 << kDebugVerifyDataflow) |
// (1 << kDebugShowMemoryUsage) |
// (1 << kDebugShowNops) |
// (1 << kDebugCountOpcodes) |
// (1 << kDebugDumpCheckStats) |
// (1 << kDebugDumpBitcodeFile) |
// (1 << kDebugVerifyBitcode) |
// (1 << kDebugShowSummaryMemoryUsage) |
// (1 << kDebugShowFilterStats) |
// (1 << kDebugTimings) |
// (1 << kDebugCodegenDump) |
0;
CompilationUnit::CompilationUnit(ArenaPool* pool)
: compiler_driver(nullptr),
class_linker(nullptr),
dex_file(nullptr),
class_loader(nullptr),
class_def_idx(0),
method_idx(0),
code_item(nullptr),
access_flags(0),
invoke_type(kDirect),
shorty(nullptr),
disable_opt(0),
enable_debug(0),
verbose(false),
compiler(nullptr),
instruction_set(kNone),
target64(false),
num_dalvik_registers(0),
insns(nullptr),
num_ins(0),
num_outs(0),
num_regs(0),
compiler_flip_match(false),
arena(pool),
arena_stack(pool),
mir_graph(nullptr),
cg(nullptr),
timings("QuickCompiler", true, false),
print_pass(false) {
}
CompilationUnit::~CompilationUnit() {
}
void CompilationUnit::StartTimingSplit(const char* label) {
if (compiler_driver->GetDumpPasses()) {
timings.StartSplit(label);
}
}
void CompilationUnit::NewTimingSplit(const char* label) {
if (compiler_driver->GetDumpPasses()) {
timings.NewSplit(label);
}
}
void CompilationUnit::EndTiming() {
if (compiler_driver->GetDumpPasses()) {
timings.EndSplit();
if (enable_debug & (1 << kDebugTimings)) {
LOG(INFO) << "TIMINGS " << PrettyMethod(method_idx, *dex_file);
LOG(INFO) << Dumpable<TimingLogger>(timings);
}
}
}
// TODO: Remove this when we are able to compile everything.
int arm64_support_list[] = {
Instruction::NOP,
Instruction::MOVE,
Instruction::MOVE_FROM16,
Instruction::MOVE_16,
Instruction::MOVE_WIDE,
Instruction::MOVE_WIDE_FROM16,
Instruction::MOVE_WIDE_16,
Instruction::MOVE_OBJECT,
Instruction::MOVE_OBJECT_FROM16,
Instruction::MOVE_OBJECT_16,
// Instruction::MOVE_RESULT,
// Instruction::MOVE_RESULT_WIDE,
// Instruction::MOVE_RESULT_OBJECT,
Instruction::MOVE_EXCEPTION,
Instruction::RETURN_VOID,
Instruction::RETURN,
Instruction::RETURN_WIDE,
// Instruction::RETURN_OBJECT,
// Instruction::CONST_4,
// Instruction::CONST_16,
// Instruction::CONST,
// Instruction::CONST_HIGH16,
// Instruction::CONST_WIDE_16,
// Instruction::CONST_WIDE_32,
// Instruction::CONST_WIDE,
// Instruction::CONST_WIDE_HIGH16,
// Instruction::CONST_STRING,
// Instruction::CONST_STRING_JUMBO,
// Instruction::CONST_CLASS,
Instruction::MONITOR_ENTER,
Instruction::MONITOR_EXIT,
// Instruction::CHECK_CAST,
// Instruction::INSTANCE_OF,
// Instruction::ARRAY_LENGTH,
// Instruction::NEW_INSTANCE,
// Instruction::NEW_ARRAY,
// Instruction::FILLED_NEW_ARRAY,
// Instruction::FILLED_NEW_ARRAY_RANGE,
// Instruction::FILL_ARRAY_DATA,
Instruction::THROW,
// Instruction::GOTO,
// Instruction::GOTO_16,
// Instruction::GOTO_32,
// Instruction::PACKED_SWITCH,
// Instruction::SPARSE_SWITCH,
Instruction::CMPL_FLOAT,
Instruction::CMPG_FLOAT,
Instruction::CMPL_DOUBLE,
Instruction::CMPG_DOUBLE,
Instruction::CMP_LONG,
// Instruction::IF_EQ,
// Instruction::IF_NE,
// Instruction::IF_LT,
// Instruction::IF_GE,
// Instruction::IF_GT,
// Instruction::IF_LE,
// Instruction::IF_EQZ,
// Instruction::IF_NEZ,
// Instruction::IF_LTZ,
// Instruction::IF_GEZ,
// Instruction::IF_GTZ,
// Instruction::IF_LEZ,
// Instruction::UNUSED_3E,
// Instruction::UNUSED_3F,
// Instruction::UNUSED_40,
// Instruction::UNUSED_41,
// Instruction::UNUSED_42,
// Instruction::UNUSED_43,
// Instruction::AGET,
// Instruction::AGET_WIDE,
// Instruction::AGET_OBJECT,
// Instruction::AGET_BOOLEAN,
// Instruction::AGET_BYTE,
// Instruction::AGET_CHAR,
// Instruction::AGET_SHORT,
// Instruction::APUT,
// Instruction::APUT_WIDE,
// Instruction::APUT_OBJECT,
// Instruction::APUT_BOOLEAN,
// Instruction::APUT_BYTE,
// Instruction::APUT_CHAR,
// Instruction::APUT_SHORT,
// Instruction::IGET,
// Instruction::IGET_WIDE,
// Instruction::IGET_OBJECT,
// Instruction::IGET_BOOLEAN,
// Instruction::IGET_BYTE,
// Instruction::IGET_CHAR,
// Instruction::IGET_SHORT,
// Instruction::IPUT,
// Instruction::IPUT_WIDE,
// Instruction::IPUT_OBJECT,
// Instruction::IPUT_BOOLEAN,
// Instruction::IPUT_BYTE,
// Instruction::IPUT_CHAR,
// Instruction::IPUT_SHORT,
Instruction::SGET,
// Instruction::SGET_WIDE,
Instruction::SGET_OBJECT,
// Instruction::SGET_BOOLEAN,
// Instruction::SGET_BYTE,
// Instruction::SGET_CHAR,
// Instruction::SGET_SHORT,
Instruction::SPUT,
// Instruction::SPUT_WIDE,
// Instruction::SPUT_OBJECT,
// Instruction::SPUT_BOOLEAN,
// Instruction::SPUT_BYTE,
// Instruction::SPUT_CHAR,
// Instruction::SPUT_SHORT,
Instruction::INVOKE_VIRTUAL,
Instruction::INVOKE_SUPER,
Instruction::INVOKE_DIRECT,
Instruction::INVOKE_STATIC,
Instruction::INVOKE_INTERFACE,
// Instruction::RETURN_VOID_BARRIER,
// Instruction::INVOKE_VIRTUAL_RANGE,
// Instruction::INVOKE_SUPER_RANGE,
// Instruction::INVOKE_DIRECT_RANGE,
// Instruction::INVOKE_STATIC_RANGE,
// Instruction::INVOKE_INTERFACE_RANGE,
// Instruction::UNUSED_79,
// Instruction::UNUSED_7A,
Instruction::NEG_INT,
Instruction::NOT_INT,
Instruction::NEG_LONG,
Instruction::NOT_LONG,
Instruction::NEG_FLOAT,
Instruction::NEG_DOUBLE,
Instruction::INT_TO_LONG,
Instruction::INT_TO_FLOAT,
Instruction::INT_TO_DOUBLE,
Instruction::LONG_TO_INT,
Instruction::LONG_TO_FLOAT,
Instruction::LONG_TO_DOUBLE,
Instruction::FLOAT_TO_INT,
Instruction::FLOAT_TO_LONG,
Instruction::FLOAT_TO_DOUBLE,
Instruction::DOUBLE_TO_INT,
Instruction::DOUBLE_TO_LONG,
Instruction::DOUBLE_TO_FLOAT,
Instruction::INT_TO_BYTE,
Instruction::INT_TO_CHAR,
Instruction::INT_TO_SHORT,
Instruction::ADD_INT,
Instruction::SUB_INT,
Instruction::MUL_INT,
Instruction::DIV_INT,
Instruction::REM_INT,
Instruction::AND_INT,
Instruction::OR_INT,
Instruction::XOR_INT,
Instruction::SHL_INT,
Instruction::SHR_INT,
Instruction::USHR_INT,
Instruction::ADD_LONG,
Instruction::SUB_LONG,
Instruction::MUL_LONG,
Instruction::DIV_LONG,
Instruction::REM_LONG,
Instruction::AND_LONG,
Instruction::OR_LONG,
Instruction::XOR_LONG,
Instruction::SHL_LONG,
Instruction::SHR_LONG,
Instruction::USHR_LONG,
Instruction::ADD_FLOAT,
Instruction::SUB_FLOAT,
Instruction::MUL_FLOAT,
Instruction::DIV_FLOAT,
// Instruction::REM_FLOAT,
Instruction::ADD_DOUBLE,
Instruction::SUB_DOUBLE,
Instruction::MUL_DOUBLE,
Instruction::DIV_DOUBLE,
// Instruction::REM_DOUBLE,
Instruction::ADD_INT_2ADDR,
Instruction::SUB_INT_2ADDR,
Instruction::MUL_INT_2ADDR,
Instruction::DIV_INT_2ADDR,
Instruction::REM_INT_2ADDR,
Instruction::AND_INT_2ADDR,
Instruction::OR_INT_2ADDR,
Instruction::XOR_INT_2ADDR,
Instruction::SHL_INT_2ADDR,
Instruction::SHR_INT_2ADDR,
Instruction::USHR_INT_2ADDR,
Instruction::ADD_LONG_2ADDR,
Instruction::SUB_LONG_2ADDR,
Instruction::MUL_LONG_2ADDR,
Instruction::DIV_LONG_2ADDR,
Instruction::REM_LONG_2ADDR,
Instruction::AND_LONG_2ADDR,
Instruction::OR_LONG_2ADDR,
Instruction::XOR_LONG_2ADDR,
Instruction::SHL_LONG_2ADDR,
Instruction::SHR_LONG_2ADDR,
Instruction::USHR_LONG_2ADDR,
Instruction::ADD_FLOAT_2ADDR,
Instruction::SUB_FLOAT_2ADDR,
Instruction::MUL_FLOAT_2ADDR,
Instruction::DIV_FLOAT_2ADDR,
// Instruction::REM_FLOAT_2ADDR,
Instruction::ADD_DOUBLE_2ADDR,
Instruction::SUB_DOUBLE_2ADDR,
Instruction::MUL_DOUBLE_2ADDR,
Instruction::DIV_DOUBLE_2ADDR,
// Instruction::REM_DOUBLE_2ADDR,
Instruction::ADD_INT_LIT16,
Instruction::RSUB_INT,
Instruction::MUL_INT_LIT16,
Instruction::DIV_INT_LIT16,
Instruction::REM_INT_LIT16,
Instruction::AND_INT_LIT16,
Instruction::OR_INT_LIT16,
Instruction::XOR_INT_LIT16,
Instruction::ADD_INT_LIT8,
Instruction::RSUB_INT_LIT8,
Instruction::MUL_INT_LIT8,
Instruction::DIV_INT_LIT8,
Instruction::REM_INT_LIT8,
Instruction::AND_INT_LIT8,
Instruction::OR_INT_LIT8,
Instruction::XOR_INT_LIT8,
Instruction::SHL_INT_LIT8,
Instruction::SHR_INT_LIT8,
Instruction::USHR_INT_LIT8,
// Instruction::IGET_QUICK,
// Instruction::IGET_WIDE_QUICK,
// Instruction::IGET_OBJECT_QUICK,
// Instruction::IPUT_QUICK,
// Instruction::IPUT_WIDE_QUICK,
// Instruction::IPUT_OBJECT_QUICK,
// Instruction::INVOKE_VIRTUAL_QUICK,
// Instruction::INVOKE_VIRTUAL_RANGE_QUICK,
// Instruction::UNUSED_EB,
// Instruction::UNUSED_EC,
// Instruction::UNUSED_ED,
// Instruction::UNUSED_EE,
// Instruction::UNUSED_EF,
// Instruction::UNUSED_F0,
// Instruction::UNUSED_F1,
// Instruction::UNUSED_F2,
// Instruction::UNUSED_F3,
// Instruction::UNUSED_F4,
// Instruction::UNUSED_F5,
// Instruction::UNUSED_F6,
// Instruction::UNUSED_F7,
// Instruction::UNUSED_F8,
// Instruction::UNUSED_F9,
// Instruction::UNUSED_FA,
// Instruction::UNUSED_FB,
// Instruction::UNUSED_FC,
// Instruction::UNUSED_FD,
// Instruction::UNUSED_FE,
// Instruction::UNUSED_FF,
// TODO(Arm64): Enable compiler pass
// ----- ExtendedMIROpcode -----
kMirOpPhi,
kMirOpCopy,
kMirOpFusedCmplFloat,
kMirOpFusedCmpgFloat,
kMirOpFusedCmplDouble,
kMirOpFusedCmpgDouble,
kMirOpFusedCmpLong,
kMirOpNop,
kMirOpNullCheck,
kMirOpRangeCheck,
kMirOpDivZeroCheck,
kMirOpCheck,
kMirOpCheckPart2,
kMirOpSelect,
// kMirOpLast,
};
// TODO: Remove this when we are able to compile everything.
int x86_64_support_list[] = {
Instruction::NOP,
// Instruction::MOVE,
// Instruction::MOVE_FROM16,
// Instruction::MOVE_16,
// Instruction::MOVE_WIDE,
// Instruction::MOVE_WIDE_FROM16,
// Instruction::MOVE_WIDE_16,
// Instruction::MOVE_OBJECT,
// Instruction::MOVE_OBJECT_FROM16,
// Instruction::MOVE_OBJECT_16,
// Instruction::MOVE_RESULT,
// Instruction::MOVE_RESULT_WIDE,
// Instruction::MOVE_RESULT_OBJECT,
// Instruction::MOVE_EXCEPTION,
Instruction::RETURN_VOID,
Instruction::RETURN,
// Instruction::RETURN_WIDE,
Instruction::RETURN_OBJECT,
// Instruction::CONST_4,
// Instruction::CONST_16,
// Instruction::CONST,
// Instruction::CONST_HIGH16,
// Instruction::CONST_WIDE_16,
// Instruction::CONST_WIDE_32,
// Instruction::CONST_WIDE,
// Instruction::CONST_WIDE_HIGH16,
// Instruction::CONST_STRING,
// Instruction::CONST_STRING_JUMBO,
// Instruction::CONST_CLASS,
// Instruction::MONITOR_ENTER,
// Instruction::MONITOR_EXIT,
// Instruction::CHECK_CAST,
// Instruction::INSTANCE_OF,
// Instruction::ARRAY_LENGTH,
// Instruction::NEW_INSTANCE,
// Instruction::NEW_ARRAY,
// Instruction::FILLED_NEW_ARRAY,
// Instruction::FILLED_NEW_ARRAY_RANGE,
// Instruction::FILL_ARRAY_DATA,
// Instruction::THROW,
// Instruction::GOTO,
// Instruction::GOTO_16,
// Instruction::GOTO_32,
// Instruction::PACKED_SWITCH,
// Instruction::SPARSE_SWITCH,
// Instruction::CMPL_FLOAT,
// Instruction::CMPG_FLOAT,
// Instruction::CMPL_DOUBLE,
// Instruction::CMPG_DOUBLE,
// Instruction::CMP_LONG,
// Instruction::IF_EQ,
// Instruction::IF_NE,
// Instruction::IF_LT,
// Instruction::IF_GE,
// Instruction::IF_GT,
// Instruction::IF_LE,
// Instruction::IF_EQZ,
// Instruction::IF_NEZ,
// Instruction::IF_LTZ,
// Instruction::IF_GEZ,
// Instruction::IF_GTZ,
// Instruction::IF_LEZ,
// Instruction::UNUSED_3E,
// Instruction::UNUSED_3F,
// Instruction::UNUSED_40,
// Instruction::UNUSED_41,
// Instruction::UNUSED_42,
// Instruction::UNUSED_43,
// Instruction::AGET,
// Instruction::AGET_WIDE,
// Instruction::AGET_OBJECT,
// Instruction::AGET_BOOLEAN,
// Instruction::AGET_BYTE,
// Instruction::AGET_CHAR,
// Instruction::AGET_SHORT,
// Instruction::APUT,
// Instruction::APUT_WIDE,
// Instruction::APUT_OBJECT,
// Instruction::APUT_BOOLEAN,
// Instruction::APUT_BYTE,
// Instruction::APUT_CHAR,
// Instruction::APUT_SHORT,
// Instruction::IGET,
// Instruction::IGET_WIDE,
// Instruction::IGET_OBJECT,
// Instruction::IGET_BOOLEAN,
// Instruction::IGET_BYTE,
// Instruction::IGET_CHAR,
// Instruction::IGET_SHORT,
// Instruction::IPUT,
// Instruction::IPUT_WIDE,
// Instruction::IPUT_OBJECT,
// Instruction::IPUT_BOOLEAN,
// Instruction::IPUT_BYTE,
// Instruction::IPUT_CHAR,
// Instruction::IPUT_SHORT,
Instruction::SGET,
// Instruction::SGET_WIDE,
Instruction::SGET_OBJECT,
Instruction::SGET_BOOLEAN,
Instruction::SGET_BYTE,
Instruction::SGET_CHAR,
Instruction::SGET_SHORT,
Instruction::SPUT,
// Instruction::SPUT_WIDE,
Instruction::SPUT_OBJECT,
Instruction::SPUT_BOOLEAN,
Instruction::SPUT_BYTE,
Instruction::SPUT_CHAR,
Instruction::SPUT_SHORT,
Instruction::INVOKE_VIRTUAL,
Instruction::INVOKE_SUPER,
Instruction::INVOKE_DIRECT,
Instruction::INVOKE_STATIC,
Instruction::INVOKE_INTERFACE,
// Instruction::RETURN_VOID_BARRIER,
// Instruction::INVOKE_VIRTUAL_RANGE,
// Instruction::INVOKE_SUPER_RANGE,
// Instruction::INVOKE_DIRECT_RANGE,
// Instruction::INVOKE_STATIC_RANGE,
// Instruction::INVOKE_INTERFACE_RANGE,
// Instruction::UNUSED_79,
// Instruction::UNUSED_7A,
// Instruction::NEG_INT,
// Instruction::NOT_INT,
// Instruction::NEG_LONG,
// Instruction::NOT_LONG,
// Instruction::NEG_FLOAT,
// Instruction::NEG_DOUBLE,
// Instruction::INT_TO_LONG,
// Instruction::INT_TO_FLOAT,
// Instruction::INT_TO_DOUBLE,
// Instruction::LONG_TO_INT,
// Instruction::LONG_TO_FLOAT,
// Instruction::LONG_TO_DOUBLE,
// Instruction::FLOAT_TO_INT,
// Instruction::FLOAT_TO_LONG,
// Instruction::FLOAT_TO_DOUBLE,
// Instruction::DOUBLE_TO_INT,
// Instruction::DOUBLE_TO_LONG,
// Instruction::DOUBLE_TO_FLOAT,
// Instruction::INT_TO_BYTE,
// Instruction::INT_TO_CHAR,
// Instruction::INT_TO_SHORT,
// Instruction::ADD_INT,
// Instruction::SUB_INT,
// Instruction::MUL_INT,
// Instruction::DIV_INT,
// Instruction::REM_INT,
// Instruction::AND_INT,
// Instruction::OR_INT,
// Instruction::XOR_INT,
// Instruction::SHL_INT,
// Instruction::SHR_INT,
// Instruction::USHR_INT,
// Instruction::ADD_LONG,
// Instruction::SUB_LONG,
// Instruction::MUL_LONG,
// Instruction::DIV_LONG,
// Instruction::REM_LONG,
// Instruction::AND_LONG,
// Instruction::OR_LONG,
// Instruction::XOR_LONG,
// Instruction::SHL_LONG,
// Instruction::SHR_LONG,
// Instruction::USHR_LONG,
// Instruction::ADD_FLOAT,
// Instruction::SUB_FLOAT,
// Instruction::MUL_FLOAT,
// Instruction::DIV_FLOAT,
// Instruction::REM_FLOAT,
// Instruction::ADD_DOUBLE,
// Instruction::SUB_DOUBLE,
// Instruction::MUL_DOUBLE,
// Instruction::DIV_DOUBLE,
// Instruction::REM_DOUBLE,
// Instruction::ADD_INT_2ADDR,
// Instruction::SUB_INT_2ADDR,
// Instruction::MUL_INT_2ADDR,
// Instruction::DIV_INT_2ADDR,
// Instruction::REM_INT_2ADDR,
// Instruction::AND_INT_2ADDR,
// Instruction::OR_INT_2ADDR,
// Instruction::XOR_INT_2ADDR,
// Instruction::SHL_INT_2ADDR,
// Instruction::SHR_INT_2ADDR,
// Instruction::USHR_INT_2ADDR,
// Instruction::ADD_LONG_2ADDR,
// Instruction::SUB_LONG_2ADDR,
// Instruction::MUL_LONG_2ADDR,
// Instruction::DIV_LONG_2ADDR,
// Instruction::REM_LONG_2ADDR,
// Instruction::AND_LONG_2ADDR,
// Instruction::OR_LONG_2ADDR,
// Instruction::XOR_LONG_2ADDR,
// Instruction::SHL_LONG_2ADDR,
// Instruction::SHR_LONG_2ADDR,
// Instruction::USHR_LONG_2ADDR,
// Instruction::ADD_FLOAT_2ADDR,
// Instruction::SUB_FLOAT_2ADDR,
// Instruction::MUL_FLOAT_2ADDR,
// Instruction::DIV_FLOAT_2ADDR,
// Instruction::REM_FLOAT_2ADDR,
// Instruction::ADD_DOUBLE_2ADDR,
// Instruction::SUB_DOUBLE_2ADDR,
// Instruction::MUL_DOUBLE_2ADDR,
// Instruction::DIV_DOUBLE_2ADDR,
// Instruction::REM_DOUBLE_2ADDR,
// Instruction::ADD_INT_LIT16,
// Instruction::RSUB_INT,
// Instruction::MUL_INT_LIT16,
// Instruction::DIV_INT_LIT16,
// Instruction::REM_INT_LIT16,
// Instruction::AND_INT_LIT16,
// Instruction::OR_INT_LIT16,
// Instruction::XOR_INT_LIT16,
// Instruction::ADD_INT_LIT8,
// Instruction::RSUB_INT_LIT8,
// Instruction::MUL_INT_LIT8,
// Instruction::DIV_INT_LIT8,
// Instruction::REM_INT_LIT8,
// Instruction::AND_INT_LIT8,
// Instruction::OR_INT_LIT8,
// Instruction::XOR_INT_LIT8,
// Instruction::SHL_INT_LIT8,
// Instruction::SHR_INT_LIT8,
// Instruction::USHR_INT_LIT8,
// Instruction::IGET_QUICK,
// Instruction::IGET_WIDE_QUICK,
// Instruction::IGET_OBJECT_QUICK,
// Instruction::IPUT_QUICK,
// Instruction::IPUT_WIDE_QUICK,
// Instruction::IPUT_OBJECT_QUICK,
// Instruction::INVOKE_VIRTUAL_QUICK,
// Instruction::INVOKE_VIRTUAL_RANGE_QUICK,
// Instruction::UNUSED_EB,
// Instruction::UNUSED_EC,
// Instruction::UNUSED_ED,
// Instruction::UNUSED_EE,
// Instruction::UNUSED_EF,
// Instruction::UNUSED_F0,
// Instruction::UNUSED_F1,
// Instruction::UNUSED_F2,
// Instruction::UNUSED_F3,
// Instruction::UNUSED_F4,
// Instruction::UNUSED_F5,
// Instruction::UNUSED_F6,
// Instruction::UNUSED_F7,
// Instruction::UNUSED_F8,
// Instruction::UNUSED_F9,
// Instruction::UNUSED_FA,
// Instruction::UNUSED_FB,
// Instruction::UNUSED_FC,
// Instruction::UNUSED_FD,
// Instruction::UNUSED_FE,
// Instruction::UNUSED_FF,
// ----- ExtendedMIROpcode -----
// kMirOpPhi,
// kMirOpCopy,
// kMirOpFusedCmplFloat,
// kMirOpFusedCmpgFloat,
// kMirOpFusedCmplDouble,
// kMirOpFusedCmpgDouble,
// kMirOpFusedCmpLong,
// kMirOpNop,
// kMirOpNullCheck,
// kMirOpRangeCheck,
// kMirOpDivZeroCheck,
// kMirOpCheck,
// kMirOpCheckPart2,
// kMirOpSelect,
// kMirOpLast,
};
// Z : boolean
// B : byte
// S : short
// C : char
// I : int
// J : long
// F : float
// D : double
// L : reference(object, array)
// V : void
// (ARM64) Current calling conversion only support 32bit softfp
// which has problems with long, float, double
constexpr char arm64_supported_types[] = "ZBSCILVJFD";
// (x84_64) We still have troubles with compiling longs/doubles/floats
constexpr char x86_64_supported_types[] = "ZBSCILV";
// TODO: Remove this when we are able to compile everything.
static bool CanCompileShorty(const char* shorty, InstructionSet instruction_set) {
uint32_t shorty_size = strlen(shorty);
CHECK_GE(shorty_size, 1u);
// Set a limitation on maximum number of parameters.
// Note : there is an implied "method*" parameter, and probably "this" as well.
// 1 is for the return type. Currently, we only accept 2 parameters at the most.
// (x86_64): For now we have the same limitation. But we might want to split this
// check in future into two separate cases for arm64 and x86_64.
if (shorty_size > (1 + 2)) {
return false;
}
const char* supported_types = arm64_supported_types;
if (instruction_set == kX86_64) {
supported_types = x86_64_supported_types;
}
for (uint32_t i = 0; i < shorty_size; i++) {
if (strchr(supported_types, shorty[i]) == nullptr) {
return false;
}
}
return true;
};
// TODO: Remove this when we are able to compile everything.
// Skip the method that we do not support currently.
static bool CanCompileMethod(uint32_t method_idx, const DexFile& dex_file,
CompilationUnit& cu) {
// There is some limitation with current ARM 64 backend.
if (cu.instruction_set == kArm64 || cu.instruction_set == kX86_64) {
// Check if we can compile the prototype.
const char* shorty = dex_file.GetMethodShorty(dex_file.GetMethodId(method_idx));
if (!CanCompileShorty(shorty, cu.instruction_set)) {
VLOG(compiler) << "Unsupported shorty : " << shorty;
return false;
}
const int *support_list = arm64_support_list;
int support_list_size = arraysize(arm64_support_list);
if (cu.instruction_set == kX86_64) {
support_list = x86_64_support_list;
support_list_size = arraysize(x86_64_support_list);
}
for (int idx = 0; idx < cu.mir_graph->GetNumBlocks(); idx++) {
BasicBlock* bb = cu.mir_graph->GetBasicBlock(idx);
if (bb == NULL) continue;
if (bb->block_type == kDead) continue;
for (MIR* mir = bb->first_mir_insn; mir != nullptr; mir = mir->next) {
int opcode = mir->dalvikInsn.opcode;
// Check if we support the byte code.
if (std::find(support_list, support_list + support_list_size,
opcode) == support_list + support_list_size) {
if (!cu.mir_graph->IsPseudoMirOp(opcode)) {
VLOG(compiler) << "Unsupported dalvik byte code : "
<< mir->dalvikInsn.opcode;
} else {
VLOG(compiler) << "Unsupported extended MIR opcode : "
<< MIRGraph::extended_mir_op_names_[opcode - kMirOpFirst];
}
return false;
}
// Check if it invokes a prototype that we cannot support.
if (Instruction::INVOKE_VIRTUAL == opcode ||
Instruction::INVOKE_SUPER == opcode ||
Instruction::INVOKE_DIRECT == opcode ||
Instruction::INVOKE_STATIC == opcode ||
Instruction::INVOKE_INTERFACE == opcode) {
uint32_t invoke_method_idx = mir->dalvikInsn.vB;
const char* invoke_method_shorty = dex_file.GetMethodShorty(
dex_file.GetMethodId(invoke_method_idx));
if (!CanCompileShorty(invoke_method_shorty, cu.instruction_set)) {
VLOG(compiler) << "Unsupported to invoke '"
<< PrettyMethod(invoke_method_idx, dex_file)
<< "' with shorty : " << invoke_method_shorty;
return false;
}
}
}
}
LOG(INFO) << "Using experimental instruction set A64 for "
<< PrettyMethod(method_idx, dex_file);
}
return true;
}
static CompiledMethod* CompileMethod(CompilerDriver& driver,
Compiler* compiler,
const DexFile::CodeItem* code_item,
uint32_t access_flags, InvokeType invoke_type,
uint16_t class_def_idx, uint32_t method_idx,
jobject class_loader, const DexFile& dex_file,
void* llvm_compilation_unit) {
VLOG(compiler) << "Compiling " << PrettyMethod(method_idx, dex_file) << "...";
if (code_item->insns_size_in_code_units_ >= 0x10000) {
LOG(INFO) << "Method size exceeds compiler limits: " << code_item->insns_size_in_code_units_
<< " in " << PrettyMethod(method_idx, dex_file);
return NULL;
}
if (!driver.GetCompilerOptions().IsCompilationEnabled()) {
return nullptr;
}
ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
CompilationUnit cu(driver.GetArenaPool());
cu.compiler_driver = &driver;
cu.class_linker = class_linker;
cu.instruction_set = driver.GetInstructionSet();
if (cu.instruction_set == kArm) {
cu.instruction_set = kThumb2;
}
cu.target64 = Is64BitInstructionSet(cu.instruction_set);
cu.compiler = compiler;
// TODO: x86_64 & arm64 are not yet implemented.
CHECK((cu.instruction_set == kThumb2) ||
(cu.instruction_set == kArm64) ||
(cu.instruction_set == kX86) ||
(cu.instruction_set == kX86_64) ||
(cu.instruction_set == kMips));
/* Adjust this value accordingly once inlining is performed */
cu.num_dalvik_registers = code_item->registers_size_;
// TODO: set this from command line
cu.compiler_flip_match = false;
bool use_match = !cu.compiler_method_match.empty();
bool match = use_match && (cu.compiler_flip_match ^
(PrettyMethod(method_idx, dex_file).find(cu.compiler_method_match) !=
std::string::npos));
if (!use_match || match) {
cu.disable_opt = kCompilerOptimizerDisableFlags;
cu.enable_debug = kCompilerDebugFlags;
cu.verbose = VLOG_IS_ON(compiler) ||
(cu.enable_debug & (1 << kDebugVerbose));
}
if (gVerboseMethods.size() != 0) {
cu.verbose = false;
for (size_t i = 0; i < gVerboseMethods.size(); ++i) {
if (PrettyMethod(method_idx, dex_file).find(gVerboseMethods[i])
!= std::string::npos) {
cu.verbose = true;
break;
}
}
}
if (cu.verbose) {
cu.enable_debug |= (1 << kDebugCodegenDump);
}
/*
* TODO: rework handling of optimization and debug flags. Should we split out
* MIR and backend flags? Need command-line setting as well.
*/
compiler->InitCompilationUnit(cu);
if (cu.instruction_set == kMips) {
// Disable some optimizations for mips for now
cu.disable_opt |= (
(1 << kLoadStoreElimination) |
(1 << kLoadHoisting) |
(1 << kSuppressLoads) |
(1 << kNullCheckElimination) |
(1 << kPromoteRegs) |
(1 << kTrackLiveTemps) |
(1 << kSafeOptimizations) |
(1 << kBBOpt) |
(1 << kMatch) |
(1 << kPromoteCompilerTemps));
}
if (cu.instruction_set == kArm64 || cu.instruction_set == kX86_64) {
// TODO(Arm64): enable optimizations once backend is mature enough.
// TODO(X86_64): enable optimizations once backend is mature enough.
cu.disable_opt = ~(uint32_t)0;
cu.enable_debug |= (1 << kDebugCodegenDump);
}
cu.StartTimingSplit("BuildMIRGraph");
cu.mir_graph.reset(new MIRGraph(&cu, &cu.arena));
/*
* After creation of the MIR graph, also create the code generator.
* The reason we do this is that optimizations on the MIR graph may need to get information
* that is only available if a CG exists.
*/
cu.cg.reset(compiler->GetCodeGenerator(&cu, llvm_compilation_unit));
/* Gathering opcode stats? */
if (kCompilerDebugFlags & (1 << kDebugCountOpcodes)) {
cu.mir_graph->EnableOpcodeCounting();
}
// Check early if we should skip this compilation if the profiler is enabled.
if (cu.compiler_driver->ProfilePresent()) {
std::string methodname = PrettyMethod(method_idx, dex_file);
if (cu.mir_graph->SkipCompilation(methodname)) {
return NULL;
}
}
/* Build the raw MIR graph */
cu.mir_graph->InlineMethod(code_item, access_flags, invoke_type, class_def_idx, method_idx,
class_loader, dex_file);
// TODO(Arm64): Remove this when we are able to compile everything.
if (!CanCompileMethod(method_idx, dex_file, cu)) {
VLOG(compiler) << "Cannot compile method : " << PrettyMethod(method_idx, dex_file);
return nullptr;
}
cu.NewTimingSplit("MIROpt:CheckFilters");
if (cu.mir_graph->SkipCompilation()) {
return NULL;
}
/* Create the pass driver and launch it */
PassDriverMEOpts pass_driver(&cu);
pass_driver.Launch();
if (cu.enable_debug & (1 << kDebugDumpCheckStats)) {
cu.mir_graph->DumpCheckStats();
}
if (kCompilerDebugFlags & (1 << kDebugCountOpcodes)) {
cu.mir_graph->ShowOpcodeStats();
}
/* Reassociate sreg names with original Dalvik vreg names. */
cu.mir_graph->RemapRegLocations();
/* Free Arenas from the cu.arena_stack for reuse by the cu.arena in the codegen. */
if (cu.enable_debug & (1 << kDebugShowMemoryUsage)) {
if (cu.arena_stack.PeakBytesAllocated() > 256 * 1024) {
MemStats stack_stats(cu.arena_stack.GetPeakStats());
LOG(INFO) << PrettyMethod(method_idx, dex_file) << " " << Dumpable<MemStats>(stack_stats);
}
}
cu.arena_stack.Reset();
CompiledMethod* result = NULL;
cu.cg->Materialize();
cu.NewTimingSplit("Dedupe"); /* deduping takes up the vast majority of time in GetCompiledMethod(). */
result = cu.cg->GetCompiledMethod();
cu.NewTimingSplit("Cleanup");
if (result) {
VLOG(compiler) << "Compiled " << PrettyMethod(method_idx, dex_file);
} else {
VLOG(compiler) << "Deferred " << PrettyMethod(method_idx, dex_file);
}
if (cu.enable_debug & (1 << kDebugShowMemoryUsage)) {
if (cu.arena.BytesAllocated() > (1 * 1024 *1024)) {
MemStats mem_stats(cu.arena.GetMemStats());
LOG(INFO) << PrettyMethod(method_idx, dex_file) << " " << Dumpable<MemStats>(mem_stats);
}
}
if (cu.enable_debug & (1 << kDebugShowSummaryMemoryUsage)) {
LOG(INFO) << "MEMINFO " << cu.arena.BytesAllocated() << " " << cu.mir_graph->GetNumBlocks()
<< " " << PrettyMethod(method_idx, dex_file);
}
cu.EndTiming();
driver.GetTimingsLogger()->AddLogger(cu.timings);
return result;
}
CompiledMethod* CompileOneMethod(CompilerDriver& driver,
Compiler* compiler,
const DexFile::CodeItem* code_item,
uint32_t access_flags,
InvokeType invoke_type,
uint16_t class_def_idx,
uint32_t method_idx,
jobject class_loader,
const DexFile& dex_file,
void* compilation_unit) {
return CompileMethod(driver, compiler, code_item, access_flags, invoke_type, class_def_idx,
method_idx, class_loader, dex_file, compilation_unit);
}
} // namespace art
extern "C" art::CompiledMethod*
ArtQuickCompileMethod(art::CompilerDriver& driver,
const art::DexFile::CodeItem* code_item,
uint32_t access_flags, art::InvokeType invoke_type,
uint16_t class_def_idx, uint32_t method_idx, jobject class_loader,
const art::DexFile& dex_file) {
// TODO: check method fingerprint here to determine appropriate backend type. Until then, use build default
art::Compiler* compiler = driver.GetCompiler();
return art::CompileOneMethod(driver, compiler, code_item, access_flags, invoke_type,
class_def_idx, method_idx, class_loader, dex_file,
NULL /* use thread llvm_info */);
}