* Copyright (c) 2022 Huawei Device Co., Ltd.
* 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 "ecmascript/compiler/assembler_module.h"
#include "ecmascript/compiler/circuit_builder_helper.h"
#include "ecmascript/compiler/trampoline/aarch64/common_call.h"
#include "ecmascript/compiler/trampoline/x64/common_call.h"
namespace panda::ecmascript::kungfu {
void AssemblerModule::Run(const CompilationConfig *cfg, Chunk* chunk)
{
SetUpForAsmStubs();
if (cfg->IsAmd64()) {
GenerateStubsX64(chunk);
} else if (cfg->IsAArch64()) {
GenerateStubsAarch64(chunk);
} else {
LOG_ECMA(FATAL) << "this branch is unreachable";
UNREACHABLE();
}
}
void AssemblerModule::GenerateStubsX64(Chunk* chunk)
{
x64::ExtendedAssembler assembler(chunk, this);
LOG_COMPILER(INFO) << "================ compiling asm stubs ================";
for (size_t i = 0; i < asmCallSigns_.size(); i++) {
auto cs = asmCallSigns_[i];
ASSERT(cs->HasConstructor());
LOG_COMPILER(INFO) << "Stub Name: " << cs->GetName();
stubsOffset_.emplace_back(assembler.GetCurrentPosition());
AssemblerStub *stub = static_cast<AssemblerStub*>(
cs->GetConstructor()(nullptr));
stub->GenerateX64(&assembler);
delete stub;
}
buffer_ = assembler.GetBegin();
bufferSize_ = assembler.GetCurrentPosition();
stubsOffset_.emplace_back(static_cast<uint32_t>(bufferSize_));
}
void AssemblerModule::GenerateStubsAarch64(Chunk* chunk)
{
aarch64::ExtendedAssembler assembler(chunk, this);
LOG_COMPILER(INFO) << "================ compiling asm stubs ================";
for (size_t i = 0; i < asmCallSigns_.size(); i++) {
auto cs = asmCallSigns_[i];
ASSERT(cs->HasConstructor());
LOG_COMPILER(INFO) << "Stub Name: " << cs->GetName();
stubsOffset_.emplace_back(assembler.GetCurrentPosition());
AssemblerStub *stub = static_cast<AssemblerStub*>(
cs->GetConstructor()(nullptr));
stub->GenerateAarch64(&assembler);
delete stub;
}
buffer_ = assembler.GetBegin();
bufferSize_ = assembler.GetCurrentPosition();
stubsOffset_.emplace_back(static_cast<uint32_t>(bufferSize_));
}
void AssemblerModule::SetUpForAsmStubs()
{
RuntimeStubCSigns::GetASMCSigns(asmCallSigns_);
for (auto cs : asmCallSigns_) {
symbolTable_[cs->GetID()] = new panda::ecmascript::Label();
}
}
int AssemblerModule::GetArgcFromJSCallMode(JSCallMode mode)
{
switch (mode) {
case JSCallMode::CALL_ARG0:
case JSCallMode::CALL_THIS_ARG0:
case JSCallMode::DEPRECATED_CALL_ARG0:
return 0;
case JSCallMode::CALL_ARG1:
case JSCallMode::CALL_THIS_ARG1:
case JSCallMode::DEPRECATED_CALL_ARG1:
return 1;
case JSCallMode::CALL_ARG2:
case JSCallMode::CALL_THIS_ARG2:
case JSCallMode::DEPRECATED_CALL_ARG2:
case JSCallMode::CALL_THIS_ARG2_WITH_RETURN:
return 2;
case JSCallMode::CALL_ARG3:
case JSCallMode::CALL_THIS_ARG3:
case JSCallMode::DEPRECATED_CALL_ARG3:
case JSCallMode::CALL_THIS_ARG3_WITH_RETURN:
return 3;
case JSCallMode::CALL_THIS_WITH_ARGV:
case JSCallMode::DEPRECATED_CALL_THIS_WITH_ARGV:
case JSCallMode::CALL_WITH_ARGV:
case JSCallMode::DEPRECATED_CALL_WITH_ARGV:
case JSCallMode::CALL_CONSTRUCTOR_WITH_ARGV:
case JSCallMode::DEPRECATED_CALL_CONSTRUCTOR_WITH_ARGV:
case JSCallMode::SUPER_CALL_WITH_ARGV:
case JSCallMode::SUPER_CALL_SPREAD_WITH_ARGV:
case JSCallMode::CALL_ENTRY:
case JSCallMode::CALL_FROM_AOT:
case JSCallMode::CALL_THIS_ARGV_WITH_RETURN:
return -1;
case JSCallMode::CALL_GETTER:
return 0;
case JSCallMode::CALL_SETTER:
return 1;
default:
LOG_ECMA(FATAL) << "this branch is unreachable";
UNREACHABLE();
}
}
bool AssemblerModule::IsCallNew(JSCallMode mode)
{
switch (mode) {
case JSCallMode::CALL_ARG0:
case JSCallMode::CALL_THIS_ARG0:
case JSCallMode::DEPRECATED_CALL_ARG0:
case JSCallMode::CALL_ARG1:
case JSCallMode::CALL_THIS_ARG1:
case JSCallMode::DEPRECATED_CALL_ARG1:
case JSCallMode::CALL_ARG2:
case JSCallMode::CALL_THIS_ARG2:
case JSCallMode::DEPRECATED_CALL_ARG2:
case JSCallMode::CALL_ARG3:
case JSCallMode::CALL_THIS_ARG3:
case JSCallMode::DEPRECATED_CALL_ARG3:
case JSCallMode::DEPRECATED_CALL_THIS_WITH_ARGV:
case JSCallMode::DEPRECATED_CALL_WITH_ARGV:
case JSCallMode::CALL_THIS_WITH_ARGV:
case JSCallMode::CALL_WITH_ARGV:
case JSCallMode::CALL_GETTER:
case JSCallMode::CALL_SETTER:
case JSCallMode::CALL_ENTRY:
case JSCallMode::CALL_FROM_AOT:
case JSCallMode::CALL_THIS_ARG2_WITH_RETURN:
case JSCallMode::CALL_THIS_ARG3_WITH_RETURN:
case JSCallMode::CALL_THIS_ARGV_WITH_RETURN:
return false;
case JSCallMode::CALL_CONSTRUCTOR_WITH_ARGV:
case JSCallMode::DEPRECATED_CALL_CONSTRUCTOR_WITH_ARGV:
case JSCallMode::SUPER_CALL_WITH_ARGV:
case JSCallMode::SUPER_CALL_SPREAD_WITH_ARGV:
return true;
default:
LOG_ECMA(FATAL) << "this branch is unreachable";
UNREACHABLE();
}
return false;
}
bool AssemblerModule::JSModeHaveThisArg(JSCallMode mode)
{
switch (mode) {
case JSCallMode::CALL_ARG0:
case JSCallMode::CALL_ARG1:
case JSCallMode::CALL_ARG2:
case JSCallMode::CALL_ARG3:
case JSCallMode::DEPRECATED_CALL_ARG0:
case JSCallMode::DEPRECATED_CALL_ARG1:
case JSCallMode::DEPRECATED_CALL_ARG2:
case JSCallMode::DEPRECATED_CALL_ARG3:
case JSCallMode::CALL_WITH_ARGV:
case JSCallMode::DEPRECATED_CALL_WITH_ARGV:
return false;
case JSCallMode::CALL_THIS_ARG0:
case JSCallMode::CALL_THIS_ARG1:
case JSCallMode::CALL_THIS_ARG2:
case JSCallMode::CALL_THIS_ARG3:
case JSCallMode::DEPRECATED_CALL_THIS_WITH_ARGV:
case JSCallMode::CALL_THIS_WITH_ARGV:
case JSCallMode::CALL_CONSTRUCTOR_WITH_ARGV:
case JSCallMode::DEPRECATED_CALL_CONSTRUCTOR_WITH_ARGV:
case JSCallMode::SUPER_CALL_WITH_ARGV:
case JSCallMode::SUPER_CALL_SPREAD_WITH_ARGV:
case JSCallMode::CALL_ENTRY:
case JSCallMode::CALL_FROM_AOT:
case JSCallMode::CALL_GETTER:
case JSCallMode::CALL_SETTER:
case JSCallMode::CALL_THIS_ARG2_WITH_RETURN:
case JSCallMode::CALL_THIS_ARG3_WITH_RETURN:
case JSCallMode::CALL_THIS_ARGV_WITH_RETURN:
return true;
default:
LOG_ECMA(FATAL) << "this branch is unreachable";
UNREACHABLE();
}
}
bool AssemblerModule::JSModeHaveNewTargetArg(JSCallMode mode)
{
switch (mode) {
case JSCallMode::CALL_ARG0:
case JSCallMode::CALL_ARG1:
case JSCallMode::CALL_ARG2:
case JSCallMode::CALL_ARG3:
case JSCallMode::DEPRECATED_CALL_ARG0:
case JSCallMode::DEPRECATED_CALL_ARG1:
case JSCallMode::DEPRECATED_CALL_ARG2:
case JSCallMode::DEPRECATED_CALL_ARG3:
case JSCallMode::CALL_WITH_ARGV:
case JSCallMode::DEPRECATED_CALL_WITH_ARGV:
case JSCallMode::CALL_THIS_WITH_ARGV:
case JSCallMode::DEPRECATED_CALL_THIS_WITH_ARGV:
case JSCallMode::CALL_GETTER:
case JSCallMode::CALL_SETTER:
case JSCallMode::CALL_THIS_ARG2_WITH_RETURN:
case JSCallMode::CALL_THIS_ARG3_WITH_RETURN:
case JSCallMode::CALL_THIS_ARG0:
case JSCallMode::CALL_THIS_ARG1:
case JSCallMode::CALL_THIS_ARG2:
case JSCallMode::CALL_THIS_ARG3:
case JSCallMode::CALL_THIS_ARGV_WITH_RETURN:
return false;
case JSCallMode::CALL_CONSTRUCTOR_WITH_ARGV:
case JSCallMode::DEPRECATED_CALL_CONSTRUCTOR_WITH_ARGV:
case JSCallMode::SUPER_CALL_WITH_ARGV:
case JSCallMode::SUPER_CALL_SPREAD_WITH_ARGV:
case JSCallMode::CALL_ENTRY:
case JSCallMode::CALL_FROM_AOT:
return true;
default:
LOG_ECMA(FATAL) << "this branch is unreachable";
UNREACHABLE();
}
}
bool AssemblerModule::IsJumpToCallCommonEntry(JSCallMode mode)
{
switch (mode) {
case JSCallMode::CALL_ARG0:
case JSCallMode::CALL_ARG1:
case JSCallMode::CALL_ARG2:
case JSCallMode::CALL_ARG3:
case JSCallMode::DEPRECATED_CALL_ARG0:
case JSCallMode::DEPRECATED_CALL_ARG1:
case JSCallMode::DEPRECATED_CALL_ARG2:
case JSCallMode::DEPRECATED_CALL_ARG3:
case JSCallMode::CALL_WITH_ARGV:
case JSCallMode::DEPRECATED_CALL_WITH_ARGV:
case JSCallMode::CALL_THIS_WITH_ARGV:
case JSCallMode::DEPRECATED_CALL_THIS_WITH_ARGV:
case JSCallMode::CALL_CONSTRUCTOR_WITH_ARGV:
case JSCallMode::DEPRECATED_CALL_CONSTRUCTOR_WITH_ARGV:
case JSCallMode::SUPER_CALL_WITH_ARGV:
case JSCallMode::SUPER_CALL_SPREAD_WITH_ARGV:
case JSCallMode::CALL_THIS_ARG0:
case JSCallMode::CALL_THIS_ARG1:
case JSCallMode::CALL_THIS_ARG2:
case JSCallMode::CALL_THIS_ARG3:
return true;
case JSCallMode::CALL_GETTER:
case JSCallMode::CALL_SETTER:
case JSCallMode::CALL_THIS_ARG2_WITH_RETURN:
case JSCallMode::CALL_THIS_ARG3_WITH_RETURN:
case JSCallMode::CALL_ENTRY:
case JSCallMode::CALL_GENERATOR:
case JSCallMode::CALL_FROM_AOT:
case JSCallMode::CALL_THIS_ARGV_WITH_RETURN:
return false;
default:
LOG_ECMA(FATAL) << "this branch is unreachable";
UNREACHABLE();
}
return false;
}
#define DECLARE_JSCALL_TRAMPOLINE_X64_GENERATE(name) \
void name##Stub::GenerateX64(Assembler *assembler) \
{ \
x64::ExtendedAssembler *assemblerX64 = static_cast<x64::ExtendedAssembler*>(assembler); \
x64::OptimizedCall::name(assemblerX64); \
assemblerX64->Align16(); \
}
#define DECLARE_FAST_CALL_TRAMPOLINE_X64_GENERATE(name) \
void name##Stub::GenerateX64(Assembler *assembler) \
{ \
x64::ExtendedAssembler *assemblerX64 = static_cast<x64::ExtendedAssembler*>(assembler); \
x64::OptimizedFastCall::name(assemblerX64); \
assemblerX64->Align16(); \
}
#define DECLARE_ASM_INTERPRETER_TRAMPOLINE_X64_GENERATE(name) \
void name##Stub::GenerateX64(Assembler *assembler) \
{ \
x64::ExtendedAssembler *assemblerX64 = static_cast<x64::ExtendedAssembler*>(assembler); \
x64::AsmInterpreterCall::name(assemblerX64); \
assemblerX64->Align16(); \
}
#define DECLARE_BASELINE_TRAMPOLINE_X64_GENERATE(name) \
void name##Stub::GenerateX64(Assembler *assembler) \
{ \
x64::ExtendedAssembler *assemblerX64 = static_cast<x64::ExtendedAssembler*>(assembler); \
x64::BaselineCall::name(assemblerX64); \
assemblerX64->Align16(); \
}
#define DECLARE_ARKSTEED_TRAMPOLINE_X64_GENERATE(name) \
void name##Stub::GenerateX64(Assembler *assembler) \
{ \
x64::ExtendedAssembler *assemblerX64 = static_cast<x64::ExtendedAssembler*>(assembler); \
x64::ArkSteedCall::name(assemblerX64); \
assemblerX64->Align16(); \
}
#define DECLARE_JSCALL_TRAMPOLINE_AARCH64_GENERATE(name) \
void name##Stub::GenerateAarch64(Assembler *assembler) \
{ \
aarch64::ExtendedAssembler *assemblerAarch64 = static_cast<aarch64::ExtendedAssembler*>(assembler); \
aarch64::OptimizedCall::name(assemblerAarch64); \
}
#define DECLARE_FAST_CALL_TRAMPOLINE_AARCH64_GENERATE(name) \
void name##Stub::GenerateAarch64(Assembler *assembler) \
{ \
aarch64::ExtendedAssembler *assemblerAarch64 = static_cast<aarch64::ExtendedAssembler*>(assembler); \
aarch64::OptimizedFastCall::name(assemblerAarch64); \
}
#define DECLARE_ASM_INTERPRETER_TRAMPOLINE_AARCH64_GENERATE(name) \
void name##Stub::GenerateAarch64(Assembler *assembler) \
{ \
aarch64::ExtendedAssembler *assemblerAarch64 = static_cast<aarch64::ExtendedAssembler*>(assembler); \
aarch64::AsmInterpreterCall::name(assemblerAarch64); \
}
#define DECLARE_BASELINE_TRAMPOLINE_AARCH64_GENERATE(name) \
void name##Stub::GenerateAarch64(Assembler *assembler) \
{ \
aarch64::ExtendedAssembler *assemblerAarch64 = static_cast<aarch64::ExtendedAssembler*>(assembler); \
aarch64::BaselineCall::name(assemblerAarch64); \
}
#define DECLARE_ARKSTEED_TRAMPOLINE_AARCH64_GENERATE(name) \
void name##Stub::GenerateAarch64(Assembler *assembler) \
{ \
aarch64::ExtendedAssembler *assemblerAarch64 = static_cast<aarch64::ExtendedAssembler*>(assembler); \
aarch64::ArkSteedCall::name(assemblerAarch64); \
}
JS_CALL_TRAMPOLINE_LIST(DECLARE_JSCALL_TRAMPOLINE_X64_GENERATE)
FAST_CALL_TRAMPOLINE_LIST(DECLARE_FAST_CALL_TRAMPOLINE_X64_GENERATE)
ASM_INTERPRETER_TRAMPOLINE_LIST(DECLARE_ASM_INTERPRETER_TRAMPOLINE_X64_GENERATE)
BASELINE_TRAMPOLINE_LIST(DECLARE_BASELINE_TRAMPOLINE_X64_GENERATE)
#if ECMASCRIPT_ENABLE_ARK_STEED
ARKSTEED_TRAMPOLINE_LIST(DECLARE_ARKSTEED_TRAMPOLINE_X64_GENERATE)
#endif
JS_CALL_TRAMPOLINE_LIST(DECLARE_JSCALL_TRAMPOLINE_AARCH64_GENERATE)
FAST_CALL_TRAMPOLINE_LIST(DECLARE_FAST_CALL_TRAMPOLINE_AARCH64_GENERATE)
ASM_INTERPRETER_TRAMPOLINE_LIST(DECLARE_ASM_INTERPRETER_TRAMPOLINE_AARCH64_GENERATE)
BASELINE_TRAMPOLINE_LIST(DECLARE_BASELINE_TRAMPOLINE_AARCH64_GENERATE)
#if ECMASCRIPT_ENABLE_ARK_STEED
ARKSTEED_TRAMPOLINE_LIST(DECLARE_ARKSTEED_TRAMPOLINE_AARCH64_GENERATE)
#endif
#undef DECLARE_JSCALL_TRAMPOLINE_X64_GENERATE
#undef DECLARE_FAST_CALL_TRAMPOLINE_X64_GENERATE
#undef DECLARE_ASM_INTERPRETER_TRAMPOLINE_X64_GENERATE
#undef DECLARE_BASELINE_TRAMPOLINE_X64_GENERATE
#undef DECLARE_ARKSTEED_TRAMPOLINE_X64_GENERATE
#undef DECLARE_JSCALL_TRAMPOLINE_AARCH64_GENERATE
#undef DECLARE_FAST_CALL_TRAMPOLINE_AARCH64_GENERATE
#undef DECLARE_ASM_INTERPRETER_TRAMPOLINE_AARCH64_GENERATE
#undef DECLARE_BASELINE_TRAMPOLINE_AARCH64_GENERATE
#undef DECLARE_ARKSTEED_TRAMPOLINE_AARCH64_GENERATE
}