2021-05-05 05:19:08 +00:00
|
|
|
// Copyright 2021 yuzu Emulator Project
|
|
|
|
// Licensed under GPLv2 or any later version
|
|
|
|
// Refer to the license.txt file included.
|
|
|
|
|
|
|
|
#include <string>
|
|
|
|
|
|
|
|
#include <fmt/format.h>
|
|
|
|
|
2021-05-07 09:31:30 +00:00
|
|
|
#include "shader_recompiler/backend/glasm/emit_context.h"
|
2021-05-05 05:19:08 +00:00
|
|
|
#include "shader_recompiler/backend/glasm/reg_alloc.h"
|
|
|
|
#include "shader_recompiler/exception.h"
|
|
|
|
#include "shader_recompiler/frontend/ir/value.h"
|
|
|
|
|
|
|
|
namespace Shader::Backend::GLASM {
|
2021-05-09 06:11:34 +00:00
|
|
|
|
|
|
|
Register RegAlloc::Define(IR::Inst& inst) {
|
2021-05-09 21:03:01 +00:00
|
|
|
return Define(inst, false);
|
|
|
|
}
|
|
|
|
|
|
|
|
Register RegAlloc::LongDefine(IR::Inst& inst) {
|
|
|
|
return Define(inst, true);
|
2021-05-07 09:31:30 +00:00
|
|
|
}
|
|
|
|
|
2021-05-10 06:47:31 +00:00
|
|
|
Value RegAlloc::Peek(const IR::Value& value) {
|
|
|
|
return value.IsImmediate() ? MakeImm(value) : PeekInst(*value.InstRecursive());
|
|
|
|
}
|
|
|
|
|
2021-05-09 06:11:34 +00:00
|
|
|
Value RegAlloc::Consume(const IR::Value& value) {
|
2021-05-10 06:47:31 +00:00
|
|
|
return value.IsImmediate() ? MakeImm(value) : ConsumeInst(*value.InstRecursive());
|
|
|
|
}
|
|
|
|
|
|
|
|
void RegAlloc::Unref(IR::Inst& inst) {
|
2021-05-17 22:24:09 +00:00
|
|
|
IR::Inst& value_inst{AliasInst(inst)};
|
|
|
|
value_inst.DestructiveRemoveUsage();
|
|
|
|
if (!value_inst.HasUses()) {
|
|
|
|
Free(value_inst.Definition<Id>());
|
2021-05-09 06:11:34 +00:00
|
|
|
}
|
2021-05-10 06:47:31 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
Register RegAlloc::AllocReg() {
|
|
|
|
Register ret;
|
|
|
|
ret.type = Type::Register;
|
|
|
|
ret.id = Alloc(false);
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
Register RegAlloc::AllocLongReg() {
|
|
|
|
Register ret;
|
|
|
|
ret.type = Type::Register;
|
|
|
|
ret.id = Alloc(true);
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
void RegAlloc::FreeReg(Register reg) {
|
|
|
|
Free(reg.id);
|
|
|
|
}
|
|
|
|
|
|
|
|
Value RegAlloc::MakeImm(const IR::Value& value) {
|
2021-05-09 06:11:34 +00:00
|
|
|
Value ret;
|
2021-05-07 09:31:30 +00:00
|
|
|
switch (value.Type()) {
|
2021-05-15 21:15:13 +00:00
|
|
|
case IR::Type::Void:
|
|
|
|
ret.type = Type::Void;
|
|
|
|
break;
|
2021-05-07 09:31:30 +00:00
|
|
|
case IR::Type::U1:
|
2021-05-09 06:11:34 +00:00
|
|
|
ret.type = Type::U32;
|
|
|
|
ret.imm_u32 = value.U1() ? 0xffffffff : 0;
|
|
|
|
break;
|
2021-05-07 09:31:30 +00:00
|
|
|
case IR::Type::U32:
|
2021-05-09 06:11:34 +00:00
|
|
|
ret.type = Type::U32;
|
|
|
|
ret.imm_u32 = value.U32();
|
|
|
|
break;
|
2021-05-07 09:31:30 +00:00
|
|
|
case IR::Type::F32:
|
2021-05-09 06:11:34 +00:00
|
|
|
ret.type = Type::F32;
|
|
|
|
ret.imm_f32 = value.F32();
|
|
|
|
break;
|
2021-05-10 01:43:29 +00:00
|
|
|
case IR::Type::U64:
|
|
|
|
ret.type = Type::U64;
|
|
|
|
ret.imm_u64 = value.U64();
|
|
|
|
break;
|
2021-05-09 21:03:01 +00:00
|
|
|
case IR::Type::F64:
|
|
|
|
ret.type = Type::F64;
|
|
|
|
ret.imm_f64 = value.F64();
|
|
|
|
break;
|
2021-05-07 09:31:30 +00:00
|
|
|
default:
|
2021-05-08 22:59:05 +00:00
|
|
|
throw NotImplementedException("Immediate type {}", value.Type());
|
2021-05-05 05:19:08 +00:00
|
|
|
}
|
2021-05-09 06:11:34 +00:00
|
|
|
return ret;
|
2021-05-05 05:19:08 +00:00
|
|
|
}
|
|
|
|
|
2021-05-10 06:47:31 +00:00
|
|
|
Register RegAlloc::Define(IR::Inst& inst, bool is_long) {
|
|
|
|
inst.SetDefinition<Id>(Alloc(is_long));
|
|
|
|
return Register{PeekInst(inst)};
|
2021-05-05 05:19:08 +00:00
|
|
|
}
|
|
|
|
|
2021-05-10 06:47:31 +00:00
|
|
|
Value RegAlloc::PeekInst(IR::Inst& inst) {
|
|
|
|
Value ret;
|
2021-05-09 21:03:01 +00:00
|
|
|
ret.type = Type::Register;
|
2021-05-10 06:47:31 +00:00
|
|
|
ret.id = inst.Definition<Id>();
|
2021-05-09 21:03:01 +00:00
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2021-05-10 06:47:31 +00:00
|
|
|
Value RegAlloc::ConsumeInst(IR::Inst& inst) {
|
2021-05-17 22:24:09 +00:00
|
|
|
Unref(inst);
|
2021-05-10 06:47:31 +00:00
|
|
|
return PeekInst(inst);
|
2021-05-05 05:19:08 +00:00
|
|
|
}
|
|
|
|
|
2021-05-09 21:03:01 +00:00
|
|
|
Id RegAlloc::Alloc(bool is_long) {
|
|
|
|
size_t& num_regs{is_long ? num_used_long_registers : num_used_registers};
|
|
|
|
std::bitset<NUM_REGS>& use{is_long ? long_register_use : register_use};
|
|
|
|
if (num_used_registers + num_used_long_registers < NUM_REGS) {
|
|
|
|
for (size_t reg = 0; reg < NUM_REGS; ++reg) {
|
|
|
|
if (use[reg]) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
num_regs = std::max(num_regs, reg + 1);
|
|
|
|
use[reg] = true;
|
|
|
|
Id ret{};
|
|
|
|
ret.index.Assign(static_cast<u32>(reg));
|
|
|
|
ret.is_long.Assign(is_long ? 1 : 0);
|
|
|
|
ret.is_spill.Assign(0);
|
|
|
|
ret.is_condition_code.Assign(0);
|
|
|
|
return ret;
|
2021-05-05 05:19:08 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
throw NotImplementedException("Register spilling");
|
|
|
|
}
|
|
|
|
|
|
|
|
void RegAlloc::Free(Id id) {
|
|
|
|
if (id.is_spill != 0) {
|
|
|
|
throw NotImplementedException("Free spill");
|
|
|
|
}
|
2021-05-09 21:03:01 +00:00
|
|
|
if (id.is_long != 0) {
|
|
|
|
long_register_use[id.index] = false;
|
|
|
|
} else {
|
|
|
|
register_use[id.index] = false;
|
|
|
|
}
|
2021-05-05 05:19:08 +00:00
|
|
|
}
|
|
|
|
|
2021-05-17 22:24:09 +00:00
|
|
|
/*static*/ bool RegAlloc::IsAliased(const IR::Inst& inst) {
|
|
|
|
switch (inst.GetOpcode()) {
|
|
|
|
case IR::Opcode::Identity:
|
|
|
|
case IR::Opcode::BitCastU16F16:
|
|
|
|
case IR::Opcode::BitCastU32F32:
|
|
|
|
case IR::Opcode::BitCastU64F64:
|
|
|
|
case IR::Opcode::BitCastF16U16:
|
|
|
|
case IR::Opcode::BitCastF32U32:
|
|
|
|
case IR::Opcode::BitCastF64U64:
|
|
|
|
return true;
|
|
|
|
default:
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/*static*/ IR::Inst& RegAlloc::AliasInst(IR::Inst& inst) {
|
|
|
|
IR::Inst* it{&inst};
|
|
|
|
while (IsAliased(*it)) {
|
|
|
|
const IR::Value arg{it->Arg(0)};
|
|
|
|
if (arg.IsImmediate()) {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
it = arg.InstRecursive();
|
|
|
|
}
|
|
|
|
return *it;
|
|
|
|
}
|
|
|
|
|
2021-05-05 05:19:08 +00:00
|
|
|
} // namespace Shader::Backend::GLASM
|