#include "src/wasm/baseline/liftoff-assembler.h"
#include <optional>
#include <sstream>
#include "src/base/platform/memory.h"
#include "src/codegen/assembler-inl.h"
#include "src/codegen/macro-assembler-inl.h"
#include "src/compiler/linkage.h"
#include "src/compiler/wasm-compiler.h"
#include "src/utils/ostreams.h"
#include "src/wasm/baseline/liftoff-assembler-inl.h"
#include "src/wasm/baseline/liftoff-register.h"
#include "src/wasm/baseline/parallel-move-inl.h"
#include "src/wasm/object-access.h"
#include "src/wasm/wasm-linkage.h"
#include "src/wasm/wasm-opcodes.h"
namespace v8::internal::wasm {
using VarState = LiftoffAssembler::VarState;
using ValueKindSig = LiftoffAssembler::ValueKindSig;
constexpr ValueKind LiftoffAssembler::kIntPtrKind;
constexpr ValueKind LiftoffAssembler::kSmiKind;
namespace {
class RegisterReuseMap {
public:
void Add(LiftoffRegister src, LiftoffRegister dst) {
if ([[maybe_unused]] auto previous = Lookup(src)) {
DCHECK_EQ(previous, dst);
return;
}
map_.emplace_back(src);
map_.emplace_back(dst);
}
std::optional<LiftoffRegister> Lookup(LiftoffRegister src) {
for (auto it = map_.begin(), end = map_.end(); it != end; it += 2) {
if (it->is_gp_pair() == src.is_gp_pair() &&
it->is_fp_pair() == src.is_fp_pair() && *it == src)
return *(it + 1);
}
return {};
}
private:
base::SmallVector<LiftoffRegister, 8> map_;
};
enum MergeKeepStackSlots : bool {
kKeepStackSlots = true,
kTurnStackSlotsIntoRegisters = false
};
enum MergeAllowConstants : bool {
kConstantsAllowed = true,
kConstantsNotAllowed = false
};
enum MergeAllowRegisters : bool {
kRegistersAllowed = true,
kRegistersNotAllowed = false
};
enum ReuseRegisters : bool {
kReuseRegisters = true,
kNoReuseRegisters = false
};
void InitMergeRegion(LiftoffAssembler::CacheState* target_state,
const VarState* source, VarState* target, uint32_t count,
MergeKeepStackSlots keep_stack_slots,
MergeAllowConstants allow_constants,
MergeAllowRegisters allow_registers,
ReuseRegisters reuse_registers, LiftoffRegList used_regs,
int new_stack_offset, ParallelMove& parallel_move) {
RegisterReuseMap register_reuse_map;
for (const VarState* source_end = source + count; source < source_end;
++source, ++target) {
if (source->is_stack() && keep_stack_slots) {
*target = *source;
if (new_stack_offset) {
new_stack_offset =
LiftoffAssembler::NextSpillOffset(source->kind(), new_stack_offset);
if (new_stack_offset != source->offset()) {
target->set_offset(new_stack_offset);
parallel_move.TransferToStack(new_stack_offset, *source);
}
}
continue;
}
if (source->is_const() && allow_constants) {
*target = *source;
DCHECK(!new_stack_offset);
continue;
}
std::optional<LiftoffRegister> reg;
bool needs_reg_transfer = true;
if (allow_registers) {
if (source->is_reg() && target_state->is_free(source->reg())) {
reg = source->reg();
needs_reg_transfer = false;
}
if (!reg && reuse_registers) {
reg = register_reuse_map.Lookup(source->reg());
}
RegClass rc = reg_class_for(source->kind());
if (!reg && target_state->has_unused_register(rc, used_regs)) {
reg = target_state->unused_register(rc, used_regs);
}
}
int target_offset = source->offset();
if (new_stack_offset) {
new_stack_offset =
LiftoffAssembler::NextSpillOffset(source->kind(), new_stack_offset);
target_offset = new_stack_offset;
}
if (reg) {
if (needs_reg_transfer) parallel_move.LoadIntoRegister(*reg, *source);
if (reuse_registers) register_reuse_map.Add(source->reg(), *reg);
target_state->inc_used(*reg);
*target = VarState(source->kind(), *reg, target_offset);
} else {
*target = VarState(source->kind(), target_offset);
parallel_move.TransferToStack(target_offset, *source);
}
}
}
}
LiftoffAssembler::CacheState LiftoffAssembler::MergeIntoNewState(
uint32_t num_locals, uint32_t arity, uint32_t stack_depth) {
CacheState target{zone()};
if (cache_state_.cached_instance_data != no_reg) {
target.SetInstanceCacheRegister(cache_state_.cached_instance_data);
}
DCHECK_EQ(cache_state_.cached_mem_start == no_reg,
cache_state_.cached_mem_index == CacheState::kNoCachedMemIndex);
if (cache_state_.cached_mem_start != no_reg) {
target.SetMemStartCacheRegister(cache_state_.cached_mem_start,
cache_state_.cached_mem_index);
}
uint32_t target_height = num_locals + stack_depth + arity;
target.stack_state.resize_no_init(target_height);
const VarState* source_begin = cache_state_.stack_state.data();
VarState* target_begin = target.stack_state.data();
const VarState* locals_source = source_begin;
const VarState* stack_prefix_source = source_begin + num_locals;
const VarState* discarded_source = stack_prefix_source + stack_depth;
const VarState* merge_source = cache_state_.stack_state.end() - arity;
VarState* locals_target = target_begin;
VarState* stack_prefix_target = target_begin + num_locals;
VarState* merge_target = target_begin + num_locals + stack_depth;
LiftoffRegList used_regs;
for (auto& src : base::VectorOf(locals_source, num_locals)) {
if (src.is_reg()) used_regs.set(src.reg());
}
MergeAllowRegisters allow_registers =
arity <= 1 ? kRegistersAllowed : kRegistersNotAllowed;
if (allow_registers) {
for (auto& src : base::VectorOf(merge_source, arity)) {
if (src.is_reg()) used_regs.set(src.reg());
}
}
ParallelMove parallel_move{this};
if (arity) {
MergeKeepStackSlots keep_merge_stack_slots =
target_height == cache_state_.stack_height()
? kKeepStackSlots
: kTurnStackSlotsIntoRegisters;
int merge_region_stack_offset = discarded_source == source_begin
? StaticStackFrameSize()
: discarded_source[-1].offset();
InitMergeRegion(&target, merge_source, merge_target, arity,
keep_merge_stack_slots, kConstantsNotAllowed,
allow_registers, kNoReuseRegisters, used_regs,
merge_region_stack_offset, parallel_move);
}
if (num_locals) {
InitMergeRegion(&target, locals_source, locals_target, num_locals,
kKeepStackSlots, kConstantsNotAllowed, kRegistersAllowed,
kNoReuseRegisters, used_regs, 0, parallel_move);
}
DCHECK_EQ(used_regs, target.used_registers & used_regs);
if (stack_depth) {
InitMergeRegion(&target, stack_prefix_source, stack_prefix_target,
stack_depth, kKeepStackSlots, kConstantsAllowed,
kRegistersAllowed, kReuseRegisters, used_regs, 0,
parallel_move);
}
return target;
}
void LiftoffAssembler::CacheState::Steal(CacheState& source) {
*this = std::move(source);
}
void LiftoffAssembler::CacheState::Split(const CacheState& source) {
*this = source;
}
namespace {
int GetSafepointIndexForStackSlot(const VarState& slot) {
return (slot.offset() + StandardFrameConstants::kFixedFrameSizeAboveFp -
kSystemPointerSize) /
kSystemPointerSize;
}
}
void LiftoffAssembler::CacheState::GetTaggedSlotsForOOLCode(
ZoneVector<int>* slots, LiftoffRegList* spills,
SpillLocation spill_location) {
for (const auto& slot : stack_state) {
if (!is_reference(slot.kind())) continue;
if (spill_location == SpillLocation::kTopOfStack && slot.is_reg()) {
spills->set(slot.reg());
continue;
}
DCHECK_IMPLIES(slot.is_reg(), spill_location == SpillLocation::kStackSlots);
slots->push_back(GetSafepointIndexForStackSlot(slot));
}
}
void LiftoffAssembler::CacheState::DefineSafepoint(
SafepointTableBuilder::Safepoint& safepoint) {
for (const auto& slot : base::Reversed(stack_state)) {
if (is_reference(slot.kind())) {
if (!slot.is_stack()) continue;
safepoint.DefineTaggedStackSlot(GetSafepointIndexForStackSlot(slot));
}
}
}
void LiftoffAssembler::CacheState::DefineSafepointWithCalleeSavedRegisters(
SafepointTableBuilder::Safepoint& safepoint) {
for (const auto& slot : stack_state) {
if (!is_reference(slot.kind())) continue;
if (slot.is_stack()) {
safepoint.DefineTaggedStackSlot(GetSafepointIndexForStackSlot(slot));
} else {
DCHECK(slot.is_reg());
safepoint.DefineTaggedRegister(slot.reg().gp().code());
}
}
if (cached_instance_data != no_reg) {
safepoint.DefineTaggedRegister(cached_instance_data.code());
}
}
int LiftoffAssembler::GetTotalFrameSlotCountForGC() const {
return (max_used_spill_offset_ +
StandardFrameConstants::kFixedFrameSizeAboveFp +
ool_spill_space_size_) /
kSystemPointerSize;
}
int LiftoffAssembler::OolSpillCount() const {
return ool_spill_space_size_ / kSystemPointerSize;
}
namespace {
AssemblerOptions DefaultLiftoffOptions() {
return AssemblerOptions{
.is_wasm = true,
};
}
}
LiftoffAssembler::LiftoffAssembler(Zone* zone,
std::unique_ptr<AssemblerBuffer> buffer)
: MacroAssembler(zone, DefaultLiftoffOptions(), CodeObjectRequired::kNo,
std::move(buffer)),
cache_state_(zone) {
set_abort_hard(true);
}
LiftoffAssembler::~LiftoffAssembler() {
if (num_locals_ > kInlineLocalKinds) {
base::Free(more_local_kinds_);
}
}
LiftoffRegister LiftoffAssembler::LoadToRegister_Slow(VarState slot,
LiftoffRegList pinned) {
DCHECK(!slot.is_reg());
LiftoffRegister reg = GetUnusedRegister(reg_class_for(slot.kind()), pinned);
LoadToFixedRegister(slot, reg);
return reg;
}
LiftoffRegister LiftoffAssembler::LoadI64HalfIntoRegister(
VarState slot, RegPairHalf half, LiftoffRegList pinned) {
if (slot.is_reg()) {
return half == kLowWord ? slot.reg().low() : slot.reg().high();
}
LiftoffRegister dst = GetUnusedRegister(kGpReg, pinned);
if (slot.is_stack()) {
FillI64Half(dst.gp(), slot.offset(), half);
return dst;
}
DCHECK(slot.is_const());
int32_t half_word =
static_cast<int32_t>(half == kLowWord ? slot.constant().to_i64()
: slot.constant().to_i64() >> 32);
LoadConstant(dst, WasmValue(half_word));
return dst;
}
void LiftoffAssembler::DropExceptionValueAtOffset(int offset) {
auto* dropped = cache_state_.stack_state.begin() + offset;
if (dropped->is_reg()) {
cache_state_.dec_used(dropped->reg());
}
int stack_offset =
offset == 0 ? StaticStackFrameSize() : dropped[-1].offset();
for (VarState *slot = dropped, *end = cache_state_.stack_state.end() - 1;
slot != end; ++slot) {
*slot = *(slot + 1);
stack_offset = NextSpillOffset(slot->kind(), stack_offset);
if (slot->offset() != stack_offset) {
if (slot->is_stack()) {
MoveStackValue(stack_offset, slot->offset(), slot->kind());
}
slot->set_offset(stack_offset);
}
}
cache_state_.stack_state.pop_back();
}
void LiftoffAssembler::SpillLoopArgs(int num) {
for (VarState& slot :
base::VectorOf(cache_state_.stack_state.end() - num, num)) {
Spill(&slot);
}
}
void LiftoffAssembler::PrepareForBranch(uint32_t arity, LiftoffRegList pinned) {
VarState* stack_base = cache_state_.stack_state.data();
for (auto slots :
{base::VectorOf(stack_base + cache_state_.stack_state.size() - arity,
arity),
base::VectorOf(stack_base, num_locals())}) {
for (VarState& slot : slots) {
if (slot.is_reg()) {
if (cache_state_.get_use_count(slot.reg()) > 1) {
RegClass rc = reg_class_for(slot.kind());
if (cache_state_.has_unused_register(rc, pinned)) {
LiftoffRegister dst_reg = cache_state_.unused_register(rc, pinned);
Move(dst_reg, slot.reg(), slot.kind());
cache_state_.inc_used(dst_reg);
cache_state_.dec_used(slot.reg());
slot.MakeRegister(dst_reg);
} else {
Spill(slot.offset(), slot.reg(), slot.kind());
cache_state_.dec_used(slot.reg());
slot.MakeStack();
}
}
continue;
}
if (!slot.is_const()) continue;
RegClass rc = reg_class_for(slot.kind());
if (cache_state_.has_unused_register(rc, pinned)) {
LiftoffRegister reg = cache_state_.unused_register(rc, pinned);
LoadConstant(reg, slot.constant());
cache_state_.inc_used(reg);
slot.MakeRegister(reg);
} else {
Spill(slot.offset(), slot.constant());
slot.MakeStack();
}
}
}
}
#ifdef DEBUG
namespace {
bool SlotInterference(const VarState& a, const VarState& b) {
return a.is_stack() && b.is_stack() &&
b.offset() > a.offset() - value_kind_size(a.kind()) &&
b.offset() - value_kind_size(b.kind()) < a.offset();
}
bool SlotInterference(const VarState& a, base::Vector<const VarState> v) {
for (size_t idx = 0, end = v.size(); idx < end; idx += 1 + idx / 16) {
if (SlotInterference(a, v[idx])) return true;
}
return false;
}
}
#endif
void LiftoffAssembler::MergeFullStackWith(CacheState& target) {
DCHECK_EQ(cache_state_.stack_height(), target.stack_height());
ParallelMove parallel_move{this};
for (uint32_t i = 0, e = cache_state_.stack_height(); i < e; ++i) {
parallel_move.Transfer(target.stack_state[i], cache_state_.stack_state[i]);
DCHECK(!SlotInterference(target.stack_state[i],
base::VectorOf(cache_state_.stack_state) + i + 1));
}
if (cache_state_.cached_instance_data != target.cached_instance_data) {
target.ClearCachedInstanceRegister();
}
if (cache_state_.cached_mem_index != target.cached_mem_index ||
cache_state_.cached_mem_start != target.cached_mem_start) {
target.ClearCachedMemStartRegister();
}
}
void LiftoffAssembler::MergeStackWith(CacheState& target, uint32_t arity,
JumpDirection jump_direction) {
uint32_t stack_height = cache_state_.stack_height();
uint32_t target_stack_height = target.stack_height();
DCHECK_LE(target_stack_height, stack_height);
DCHECK_LE(arity, target_stack_height);
uint32_t stack_base = stack_height - arity;
uint32_t target_stack_base = target_stack_height - arity;
ParallelMove parallel_move{this};
for (uint32_t i = 0; i < target_stack_base; ++i) {
parallel_move.Transfer(target.stack_state[i], cache_state_.stack_state[i]);
DCHECK(!SlotInterference(
target.stack_state[i],
base::VectorOf(cache_state_.stack_state.data() + i + 1,
target_stack_base - i - 1)));
DCHECK(!SlotInterference(
target.stack_state[i],
base::VectorOf(cache_state_.stack_state.data() + stack_base, arity)));
}
for (uint32_t i = 0; i < arity; ++i) {
parallel_move.Transfer(target.stack_state[target_stack_base + i],
cache_state_.stack_state[stack_base + i]);
DCHECK(!SlotInterference(
target.stack_state[target_stack_base + i],
base::VectorOf(cache_state_.stack_state.data() + stack_base + i + 1,
arity - i - 1)));
}
bool reload_instance_data = false;
if (cache_state_.cached_instance_data != target.cached_instance_data &&
target.cached_instance_data != no_reg) {
if (jump_direction == kForwardJump) {
target.ClearCachedInstanceRegister();
} else if (cache_state_.cached_instance_data != no_reg) {
parallel_move.MoveRegister(
LiftoffRegister{target.cached_instance_data},
LiftoffRegister{cache_state_.cached_instance_data}, kIntPtrKind);
} else {
reload_instance_data = true;
}
}
bool reload_mem_start = false;
DCHECK_EQ(target.cached_mem_start == no_reg,
target.cached_mem_index == CacheState::kNoCachedMemIndex);
if ((cache_state_.cached_mem_start != target.cached_mem_start ||
cache_state_.cached_mem_index != target.cached_mem_index) &&
target.cached_mem_start != no_reg) {
if (jump_direction == kForwardJump) {
target.ClearCachedMemStartRegister();
} else if (cache_state_.cached_mem_index == target.cached_mem_index) {
DCHECK_NE(no_reg, cache_state_.cached_mem_start);
parallel_move.MoveRegister(LiftoffRegister{target.cached_mem_start},
LiftoffRegister{cache_state_.cached_mem_start},
kIntPtrKind);
} else {
reload_mem_start = true;
}
}
parallel_move.Execute();
if (reload_instance_data) {
LoadInstanceDataFromFrame(target.cached_instance_data);
}
if (reload_mem_start) {
Register instance_data = target.cached_instance_data;
if (instance_data == no_reg) {
instance_data = target.cached_mem_start;
LoadInstanceDataFromFrame(instance_data);
}
if (target.cached_mem_index == 0) {
LoadFromInstance(
target.cached_mem_start, instance_data,
ObjectAccess::ToTagged(WasmTrustedInstanceData::kMemory0StartOffset),
sizeof(size_t));
} else {
LoadProtectedPointer(
target.cached_mem_start, instance_data,
ObjectAccess::ToTagged(
WasmTrustedInstanceData::kProtectedMemoryBasesAndSizesOffset));
int buffer_offset =
wasm::ObjectAccess::ToTagged(OFFSET_OF_DATA_START(ByteArray)) +
kSystemPointerSize * target.cached_mem_index * 2;
LoadFullPointer(target.cached_mem_start, target.cached_mem_start,
buffer_offset);
}
}
}
void LiftoffAssembler::Spill(VarState* slot) {
switch (slot->loc()) {
case VarState::kStack:
return;
case VarState::kRegister:
Spill(slot->offset(), slot->reg(), slot->kind());
cache_state_.dec_used(slot->reg());
break;
case VarState::kIntConst:
Spill(slot->offset(), slot->constant());
break;
}
slot->MakeStack();
}
void LiftoffAssembler::SpillLocals() {
for (VarState& local_slot :
base::VectorOf(cache_state_.stack_state.data(), num_locals_)) {
Spill(&local_slot);
}
}
void LiftoffAssembler::SpillAllRegisters() {
for (VarState& slot : cache_state_.stack_state) {
if (!slot.is_reg()) continue;
Spill(slot.offset(), slot.reg(), slot.kind());
slot.MakeStack();
}
cache_state_.ClearAllCacheRegisters();
cache_state_.reset_used_registers();
}
void LiftoffAssembler::ClearRegister(
Register reg, std::initializer_list<Register*> possible_uses,
LiftoffRegList& pinned) {
if (reg == cache_state()->cached_instance_data) {
cache_state()->ClearCachedInstanceRegister();
#ifdef DEBUG
for (Register* use : possible_uses) DCHECK_NE(reg, *use);
#endif
return;
} else if (reg == cache_state()->cached_mem_start) {
cache_state()->ClearCachedMemStartRegister();
} else if (cache_state()->is_used(LiftoffRegister(reg))) {
SpillRegister(LiftoffRegister(reg));
}
Register replacement = no_reg;
for (Register* use : possible_uses) {
if (reg != *use) continue;
if (replacement == no_reg) {
replacement = pinned.set(GetUnusedRegister(kGpReg, pinned).gp());
Move(replacement, reg, kIntPtrKind);
}
*use = replacement;
}
}
namespace {
void PrepareStackTransfers(const ValueKindSig* sig,
compiler::CallDescriptor* call_descriptor,
const VarState* slots,
LiftoffStackSlots* stack_slots,
ParallelMove* parallel_move,
LiftoffRegList* param_regs) {
uint32_t call_desc_input_idx =
static_cast<uint32_t>(call_descriptor->InputCount());
uint32_t num_params = static_cast<uint32_t>(sig->parameter_count());
for (uint32_t i = num_params; i > 0; --i) {
const uint32_t param = i - 1;
ValueKind kind = sig->GetParam(param);
const bool is_gp_pair = kNeedI64RegPair && kind == kI64;
const int num_lowered_params = is_gp_pair ? 2 : 1;
const VarState& slot = slots[param];
DCHECK(CompatibleStackSlotTypes(slot.kind(), kind));
for (int lowered_idx = 0; lowered_idx < num_lowered_params; ++lowered_idx) {
const RegPairHalf half =
is_gp_pair && lowered_idx == 0 ? kHighWord : kLowWord;
--call_desc_input_idx;
LinkageLocation loc =
call_descriptor->GetInputLocation(call_desc_input_idx);
if (loc.IsRegister()) {
DCHECK(!loc.IsAnyRegister());
RegClass rc = is_gp_pair ? kGpReg : reg_class_for(kind);
int reg_code = loc.AsRegister();
LiftoffRegister reg =
LiftoffRegister::from_external_code(rc, kind, reg_code);
param_regs->set(reg);
if (is_gp_pair) {
parallel_move->LoadI64HalfIntoRegister(reg, slot, half);
} else {
parallel_move->LoadIntoRegister(reg, slot);
}
} else {
DCHECK(loc.IsCallerFrameSlot());
int param_offset = -loc.GetLocation() - 1;
stack_slots->Add(slot, slot.offset(), half, param_offset);
}
}
}
}
}
void LiftoffAssembler::PrepareBuiltinCall(
const ValueKindSig* sig, compiler::CallDescriptor* call_descriptor,
std::initializer_list<VarState> params) {
LiftoffStackSlots stack_slots{this};
ParallelMove parallel_move{this};
LiftoffRegList param_regs;
PrepareStackTransfers(sig, call_descriptor, params.begin(), &stack_slots,
¶llel_move, ¶m_regs);
SpillAllRegisters();
int param_slots = static_cast<int>(call_descriptor->ParameterSlotCount());
if (param_slots > 0) {
stack_slots.Construct(param_slots);
}
parallel_move.Execute();
cache_state_.reset_used_registers();
}
void LiftoffAssembler::PrepareCall(const ValueKindSig* sig,
compiler::CallDescriptor* call_descriptor,
Register* target,
Register target_instance_data) {
ASM_CODE_COMMENT(this);
uint32_t num_params = static_cast<uint32_t>(sig->parameter_count());
LiftoffStackSlots stack_slots{this};
ParallelMove parallel_move{this};
LiftoffRegList param_regs;
Register instance_reg = wasm::kGpParamRegisters[0];
DCHECK_EQ(
instance_reg,
Register::from_code(call_descriptor->GetInputLocation(1).AsRegister()));
param_regs.set(instance_reg);
if (target_instance_data == no_reg) {
target_instance_data = cache_state_.cached_instance_data;
}
if (target_instance_data != no_reg && target_instance_data != instance_reg) {
parallel_move.MoveRegister(LiftoffRegister(instance_reg),
LiftoffRegister(target_instance_data),
kIntPtrKind);
}
int param_slots = static_cast<int>(call_descriptor->ParameterSlotCount());
if (num_params) {
uint32_t param_base = cache_state_.stack_height() - num_params;
PrepareStackTransfers(sig, call_descriptor,
&cache_state_.stack_state[param_base], &stack_slots,
¶llel_move, ¶m_regs);
}
if (target && param_regs.has(LiftoffRegister(*target))) {
LiftoffRegList free_regs = kGpCacheRegList.MaskOut(param_regs);
static_assert(sizeof(WasmCodePointer) == kUInt32Size);
if (!free_regs.is_empty()) {
LiftoffRegister new_target = free_regs.GetFirstRegSet();
parallel_move.MoveRegister(new_target, LiftoffRegister(*target), kI32);
*target = new_target.gp();
} else {
stack_slots.Add(VarState(kI32, LiftoffRegister(*target), 0), param_slots);
param_slots++;
*target = no_reg;
}
}
DropValues(num_params);
cache_state_.ClearAllCacheRegisters();
if (!cache_state_.used_registers.is_empty()) {
for (auto* slot = cache_state_.stack_state.end() - 1;; --slot) {
DCHECK_LE(cache_state_.stack_state.begin(), slot);
if (!slot->is_reg()) continue;
Spill(slot->offset(), slot->reg(), slot->kind());
cache_state_.dec_used(slot->reg());
slot->MakeStack();
if (cache_state_.used_registers.is_empty()) break;
}
}
DCHECK(std::all_of(
cache_state_.stack_state.begin(), cache_state_.stack_state.end(),
[](const VarState& slot) { return slot.is_stack() || slot.is_const(); }));
if (param_slots > 0) {
stack_slots.Construct(param_slots);
}
parallel_move.Execute();
if (target_instance_data == no_reg) {
LoadInstanceDataFromFrame(instance_reg);
}
}
namespace {
constexpr LiftoffRegList AllReturnRegs() {
LiftoffRegList result;
for (Register r : kGpReturnRegisters) result.set(r);
for (DoubleRegister r : kFpReturnRegisters) result.set(r);
return result;
}
}
void LiftoffAssembler::FinishCall(const ValueKindSig* sig,
compiler::CallDescriptor* call_descriptor) {
int call_desc_return_idx = 0;
for (ValueKind return_kind : sig->returns()) {
DCHECK_LT(call_desc_return_idx, call_descriptor->ReturnCount());
const bool needs_gp_pair = needs_gp_reg_pair(return_kind);
const int num_lowered_params = 1 + needs_gp_pair;
const ValueKind lowered_kind = needs_gp_pair ? kI32 : return_kind;
const RegClass rc = reg_class_for(lowered_kind);
LiftoffRegister reg_pair[2] = {kGpCacheRegList.GetFirstRegSet(),
kGpCacheRegList.GetFirstRegSet()};
LiftoffRegList pinned = AllReturnRegs();
for (int pair_idx = 0; pair_idx < num_lowered_params; ++pair_idx) {
LinkageLocation loc =
call_descriptor->GetReturnLocation(call_desc_return_idx++);
if (loc.IsRegister()) {
DCHECK(!loc.IsAnyRegister());
reg_pair[pair_idx] = LiftoffRegister::from_external_code(
rc, lowered_kind, loc.AsRegister());
#if V8_TARGET_ARCH_64_BIT
if (return_kind == kI32) {
DCHECK(!needs_gp_pair);
clear_i32_upper_half(reg_pair[0].gp());
}
#endif
} else {
DCHECK(loc.IsCallerFrameSlot());
reg_pair[pair_idx] = GetUnusedRegister(rc, pinned);
int offset = call_descriptor->GetOffsetToReturns();
int return_slot = -loc.GetLocation() - offset - 1;
LoadReturnStackSlot(reg_pair[pair_idx],
return_slot * kSystemPointerSize, lowered_kind);
}
if (pair_idx == 0) {
pinned.set(reg_pair[0]);
}
}
if (num_lowered_params == 1) {
PushRegister(return_kind, reg_pair[0]);
} else {
PushRegister(return_kind, LiftoffRegister::ForPair(reg_pair[0].gp(),
reg_pair[1].gp()));
}
}
int return_slots = static_cast<int>(call_descriptor->ReturnSlotCount());
RecordUsedSpillOffset(TopSpillOffset() + return_slots * kSystemPointerSize);
}
void LiftoffAssembler::Move(LiftoffRegister dst, LiftoffRegister src,
ValueKind kind) {
DCHECK_EQ(dst.reg_class(), src.reg_class());
DCHECK_NE(dst, src);
if (kNeedI64RegPair && dst.is_gp_pair()) {
ParallelMove{this}.MoveRegister(dst, src, kind);
} else if (kNeedS128RegPair && dst.is_fp_pair()) {
Move(dst.low_fp(), src.low_fp(), kind);
} else if (dst.is_gp()) {
Move(dst.gp(), src.gp(), kind);
} else {
Move(dst.fp(), src.fp(), kind);
}
}
void LiftoffAssembler::ParallelRegisterMove(
base::Vector<const ParallelRegisterMoveTuple> tuples) {
ParallelMove parallel_move{this};
for (auto tuple : tuples) {
if (tuple.dst == tuple.src) continue;
parallel_move.MoveRegister(tuple.dst, tuple.src, tuple.kind);
}
}
void LiftoffAssembler::MoveToReturnLocations(
const FunctionSig* sig, compiler::CallDescriptor* descriptor) {
DCHECK_LT(0, sig->return_count());
if (V8_UNLIKELY(sig->return_count() > 1)) {
MoveToReturnLocationsMultiReturn(sig, descriptor);
return;
}
ValueKind return_kind = sig->GetReturn(0).kind();
LiftoffRegister return_reg = LiftoffRegister(kGpReturnRegisters[0]);
if (needs_gp_reg_pair(return_kind)) {
return_reg =
LiftoffRegister::ForPair(kGpReturnRegisters[0], kGpReturnRegisters[1]);
} else if (needs_fp_reg_pair(return_kind)) {
return_reg = LiftoffRegister::ForFpPair(kFpReturnRegisters[0]);
} else if (reg_class_for(return_kind) == kFpReg) {
return_reg = LiftoffRegister(kFpReturnRegisters[0]);
} else {
DCHECK_EQ(kGpReg, reg_class_for(return_kind));
}
VarState& slot = cache_state_.stack_state.back();
if (V8_LIKELY(slot.is_reg())) {
if (slot.reg() != return_reg) {
Move(return_reg, slot.reg(), slot.kind());
}
} else {
LoadToFixedRegister(cache_state_.stack_state.back(), return_reg);
}
}
void LiftoffAssembler::MoveToReturnLocationsMultiReturn(
const FunctionSig* sig, compiler::CallDescriptor* descriptor) {
DCHECK_LT(1, sig->return_count());
ParallelMove parallel_move{this};
CacheState saved_state{zone()};
#if DEBUG
uint32_t saved_state_frozenness = cache_state_.frozen;
cache_state_.frozen = 0;
#endif
saved_state.Split(*cache_state());
int call_desc_return_idx = 0;
DCHECK_LE(sig->return_count(), cache_state_.stack_height());
VarState* slots = cache_state_.stack_state.end() - sig->return_count();
LiftoffRegList pinned;
Register old_fp = LoadOldFramePointer();
if (v8_flags.experimental_wasm_growable_stacks) {
pinned.set(LiftoffRegister(old_fp));
}
for (size_t i = 0; i < sig->return_count(); ++i) {
ValueKind return_kind = sig->GetReturn(i).kind();
bool needs_gp_pair = needs_gp_reg_pair(return_kind);
int num_lowered_params = 1 + needs_gp_pair;
for (int pair_idx = 0; pair_idx < num_lowered_params; ++pair_idx) {
LinkageLocation loc =
descriptor->GetReturnLocation(call_desc_return_idx++);
if (loc.IsCallerFrameSlot()) {
RegPairHalf half = pair_idx == 0 ? kLowWord : kHighWord;
VarState& slot = slots[i];
LiftoffRegister reg = needs_gp_pair
? LoadI64HalfIntoRegister(slot, half, pinned)
: LoadToRegister(slot, pinned);
ValueKind lowered_kind = needs_gp_pair ? kI32 : return_kind;
StoreCallerFrameSlot(reg, -loc.AsCallerFrameSlot(), lowered_kind,
old_fp);
}
}
}
call_desc_return_idx = 0;
for (size_t i = 0; i < sig->return_count(); ++i) {
ValueKind return_kind = sig->GetReturn(i).kind();
bool needs_gp_pair = needs_gp_reg_pair(return_kind);
int num_lowered_params = 1 + needs_gp_pair;
for (int pair_idx = 0; pair_idx < num_lowered_params; ++pair_idx) {
RegPairHalf half = pair_idx == 0 ? kLowWord : kHighWord;
LinkageLocation loc =
descriptor->GetReturnLocation(call_desc_return_idx++);
if (loc.IsRegister()) {
DCHECK(!loc.IsAnyRegister());
int reg_code = loc.AsRegister();
ValueKind lowered_kind = needs_gp_pair ? kI32 : return_kind;
RegClass rc = reg_class_for(lowered_kind);
LiftoffRegister reg =
LiftoffRegister::from_external_code(rc, return_kind, reg_code);
VarState& slot = slots[i];
if (needs_gp_pair) {
parallel_move.LoadI64HalfIntoRegister(reg, slot, half);
} else {
parallel_move.LoadIntoRegister(reg, slot);
}
}
}
}
cache_state()->Steal(saved_state);
#if DEBUG
cache_state_.frozen = saved_state_frozenness;
#endif
}
#if DEBUG
void LiftoffRegList::Print() const {
std::ostringstream os;
os << *this << "\n";
PrintF("%s", os.str().c_str());
}
#endif
#ifdef ENABLE_SLOW_DCHECKS
bool LiftoffAssembler::ValidateCacheState() const {
uint32_t register_use_count[kAfterMaxLiftoffRegCode] = {0};
LiftoffRegList used_regs;
int offset = StaticStackFrameSize();
for (const VarState& var : cache_state_.stack_state) {
offset = NextSpillOffset(var.kind(), offset);
DCHECK_EQ(offset, var.offset());
if (!var.is_reg()) continue;
LiftoffRegister reg = var.reg();
if ((kNeedI64RegPair || kNeedS128RegPair) && reg.is_pair()) {
++register_use_count[reg.low().liftoff_code()];
++register_use_count[reg.high().liftoff_code()];
} else {
++register_use_count[reg.liftoff_code()];
}
used_regs.set(reg);
}
for (Register cache_reg :
{cache_state_.cached_instance_data, cache_state_.cached_mem_start}) {
if (cache_reg != no_reg) {
DCHECK(!used_regs.has(cache_reg));
int liftoff_code = LiftoffRegister{cache_reg}.liftoff_code();
used_regs.set(cache_reg);
DCHECK_EQ(0, register_use_count[liftoff_code]);
register_use_count[liftoff_code] = 1;
}
}
bool valid = memcmp(register_use_count, cache_state_.register_use_count,
sizeof(register_use_count)) == 0 &&
used_regs == cache_state_.used_registers;
if (valid) return true;
std::ostringstream os;
os << "Error in LiftoffAssembler::ValidateCacheState().\n";
os << "expected: used_regs " << used_regs << ", counts "
<< PrintCollection(register_use_count) << "\n";
os << "found: used_regs " << cache_state_.used_registers << ", counts "
<< PrintCollection(cache_state_.register_use_count) << "\n";
os << "Use --trace-wasm-decoder and --trace-liftoff to debug.";
FATAL("%s", os.str().c_str());
}
#endif
LiftoffRegister LiftoffAssembler::SpillOneRegister(LiftoffRegList candidates) {
if (cache_state_.has_volatile_register(candidates)) {
return cache_state_.take_volatile_register(candidates);
}
LiftoffRegister spilled_reg = cache_state_.GetNextSpillReg(candidates);
SpillRegister(spilled_reg);
return spilled_reg;
}
LiftoffRegister LiftoffAssembler::SpillAdjacentFpRegisters(
LiftoffRegList pinned) {
CHECK(kNeedS128RegPair);
DCHECK(!kFpCacheRegList.MaskOut(pinned)
.MaskOut(cache_state_.used_registers)
.HasAdjacentFpRegsSet());
LiftoffRegister last_fp = kFpCacheRegList.GetLastRegSet();
if (last_fp.fp().code() % 2 == 0) {
pinned.set(last_fp);
}
pinned = pinned.SpreadSetBitsToAdjacentFpRegs();
LiftoffRegister first_reg = GetUnusedRegister(kFpReg, pinned);
LiftoffRegister second_reg = first_reg, low_reg = first_reg;
if (first_reg.fp().code() % 2 == 0) {
second_reg =
LiftoffRegister::from_liftoff_code(first_reg.liftoff_code() + 1);
} else {
second_reg =
LiftoffRegister::from_liftoff_code(first_reg.liftoff_code() - 1);
low_reg = second_reg;
}
if (cache_state_.is_used(second_reg)) {
SpillRegister(second_reg);
}
return low_reg;
}
void LiftoffAssembler::SpillRegister(LiftoffRegister reg) {
DCHECK(!cache_state_.frozen);
int remaining_uses = cache_state_.get_use_count(reg);
DCHECK_LT(0, remaining_uses);
for (uint32_t idx = cache_state_.stack_height() - 1;; --idx) {
DCHECK_GT(cache_state_.stack_height(), idx);
auto* slot = &cache_state_.stack_state[idx];
if (!slot->is_reg() || !slot->reg().overlaps(reg)) continue;
if (slot->reg().is_pair()) {
cache_state_.dec_used(slot->reg().low());
cache_state_.dec_used(slot->reg().high());
cache_state_.last_spilled_regs.set(slot->reg().low());
cache_state_.last_spilled_regs.set(slot->reg().high());
}
Spill(slot->offset(), slot->reg(), slot->kind());
slot->MakeStack();
if (--remaining_uses == 0) break;
}
cache_state_.clear_used(reg);
cache_state_.last_spilled_regs.set(reg);
}
void LiftoffAssembler::set_num_locals(uint32_t num_locals) {
DCHECK_EQ(0, num_locals_);
num_locals_ = num_locals;
if (num_locals > kInlineLocalKinds) {
more_local_kinds_ = reinterpret_cast<ValueKind*>(
base::Malloc(num_locals * sizeof(ValueKind)));
DCHECK_NOT_NULL(more_local_kinds_);
}
}
std::ostream& operator<<(std::ostream& os, LiftoffVarState slot) {
os << name(slot.kind()) << ":";
switch (slot.loc()) {
case LiftoffVarState::kStack:
return os << "s0x" << std::hex << slot.offset() << std::dec;
case LiftoffVarState::kRegister:
return os << slot.reg();
case LiftoffVarState::kIntConst:
return os << "c" << slot.i32_const();
}
UNREACHABLE();
}
#if DEBUG
bool CompatibleStackSlotTypes(ValueKind a, ValueKind b) {
return a == b || (is_object_reference(a) && is_object_reference(b));
}
#endif
}