| /* |
| * 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); |
| } |
| } |
| } |
| |
| // Enable opcodes that mostly work, but produce assertion errors (thus breaking libartd.so). |
| #define ARM64_USE_EXPERIMENTAL_OPCODES 0 |
| |
| // 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_EXCEPTION, |
| Instruction::RETURN_VOID, |
| Instruction::RETURN, |
| Instruction::RETURN_WIDE, |
| Instruction::CONST_4, |
| Instruction::CONST_16, |
| Instruction::CONST, |
| Instruction::CONST_STRING, |
| Instruction::MONITOR_ENTER, |
| Instruction::MONITOR_EXIT, |
| Instruction::THROW, |
| Instruction::GOTO, |
| Instruction::GOTO_16, |
| Instruction::GOTO_32, |
| 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::NEG_INT, |
| Instruction::NOT_INT, |
| Instruction::NEG_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_FLOAT, |
| Instruction::SUB_FLOAT, |
| Instruction::MUL_FLOAT, |
| Instruction::DIV_FLOAT, |
| 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_FLOAT_2ADDR, |
| Instruction::SUB_FLOAT_2ADDR, |
| Instruction::MUL_FLOAT_2ADDR, |
| Instruction::DIV_FLOAT_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, |
| // TODO(Arm64): Enable compiler pass |
| // ----- ExtendedMIROpcode ----- |
| kMirOpPhi, |
| kMirOpCopy, |
| kMirOpFusedCmplFloat, |
| kMirOpFusedCmpgFloat, |
| kMirOpFusedCmplDouble, |
| kMirOpFusedCmpgDouble, |
| kMirOpFusedCmpLong, |
| kMirOpNop, |
| kMirOpNullCheck, |
| kMirOpRangeCheck, |
| kMirOpDivZeroCheck, |
| kMirOpCheck, |
| kMirOpCheckPart2, |
| kMirOpSelect, |
| |
| #if ARM64_USE_EXPERIMENTAL_OPCODES |
| Instruction::MOVE_WIDE, |
| Instruction::MOVE_WIDE_FROM16, |
| Instruction::MOVE_WIDE_16, |
| Instruction::MOVE_OBJECT, |
| Instruction::MOVE_OBJECT_FROM16, |
| Instruction::MOVE_OBJECT_16, |
| // Instruction::PACKED_SWITCH, |
| // Instruction::SPARSE_SWITCH, |
| // Instruction::MOVE_RESULT, |
| // Instruction::MOVE_RESULT_WIDE, |
| // Instruction::MOVE_RESULT_OBJECT, |
| // Instruction::RETURN_OBJECT, |
| // Instruction::CONST_HIGH16, |
| // Instruction::CONST_WIDE_16, |
| // Instruction::CONST_WIDE_32, |
| // Instruction::CONST_WIDE, |
| // Instruction::CONST_WIDE_HIGH16, |
| // Instruction::CONST_STRING_JUMBO, |
| // Instruction::CONST_CLASS, |
| // 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::CMPL_FLOAT, |
| Instruction::CMPG_FLOAT, |
| Instruction::CMPL_DOUBLE, |
| Instruction::CMPG_DOUBLE, |
| Instruction::CMP_LONG, |
| // 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_LONG, |
| Instruction::NOT_LONG, |
| 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::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::REM_FLOAT, |
| Instruction::ADD_DOUBLE, |
| Instruction::SUB_DOUBLE, |
| Instruction::MUL_DOUBLE, |
| Instruction::DIV_DOUBLE, |
| // Instruction::REM_DOUBLE, |
| 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::REM_FLOAT_2ADDR, |
| Instruction::ADD_DOUBLE_2ADDR, |
| Instruction::SUB_DOUBLE_2ADDR, |
| Instruction::MUL_DOUBLE_2ADDR, |
| Instruction::DIV_DOUBLE_2ADDR, |
| // Instruction::REM_DOUBLE_2ADDR, |
| // 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, |
| #endif /* ARM64_USE_EXPERIMENTAL_OPCODES */ |
| }; |
| |
| // 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 using the profiled filter. |
| 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 */); |
| } |
