KPGPMC/furlang
5
3
Fork 2
Code Issues 11 Pull Requests Actions Packages Projects 3 Releases Wiki Activity

refactor(furc): introduce ir_register type

Browse Source
This commit is contained in:
Aleksander Krajewski
2026-06-01 17:47:40 +02:00
parent b6e5f1f5cc
commit 011e0e8bad
2 changed files with 9 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
furc/include/furc/front/ir_generator.hpp
+3 -1
View File
@@ -8,6 +8,8 @@
namespace furc { namespace furc {
namespace front { namespace front {
using ir_register = std::uint32_t;
class ir_generator final : public ast::visitor { class ir_generator final : public ast::visitor {
public: public:
ir_generator() = default; ir_generator() = default;
@@ -36,7 +38,7 @@ private:
furlang::ir::module m_module; furlang::ir::module m_module;
std::unique_ptr<furlang::ir::function> m_currentFunction; std::unique_ptr<furlang::ir::function> m_currentFunction;
std::shared_ptr<furlang::ir::block> m_currentBlock; std::shared_ptr<furlang::ir::block> m_currentBlock;
std::uint32_t m_registerCounter = 0; ir_register m_registerCounter = 0;
}; };
} // namespace front } // namespace front
furc/src/front/ir_generator.cpp
+6 -6
View File
@@ -43,7 +43,7 @@ void ir_generator::visit(const ast::return_statement_node& returnStmt) {
void ir_generator::visit(const ast::if_statement_node& node) { void ir_generator::visit(const ast::if_statement_node& node) {
node.cond()->accept(*this); node.cond()->accept(*this);
std::uint32_t cond = m_registerCounter - 1; ir_register cond = m_registerCounter - 1;
m_currentBlock->emplace<ir::branch_cond_instruction>(ir::operand::new_reg(cond), m_currentBlock->emplace<ir::branch_cond_instruction>(ir::operand::new_reg(cond),
m_currentFunction->blocks().size(), m_currentFunction->blocks().size(),
m_currentFunction->blocks().size() + 1); m_currentFunction->blocks().size() + 1);
@@ -105,10 +105,10 @@ static inline furlang::ir::binary_op_instruction_t binary_op_instruction_t(ast::
void ir_generator::visit(const ast::binop_expression_node& node) { void ir_generator::visit(const ast::binop_expression_node& node) {
node.lhs()->accept(*this); node.lhs()->accept(*this);
std::uint32_t lhs = m_registerCounter - 1; ir_register lhs = m_registerCounter - 1;
node.rhs()->accept(*this); node.rhs()->accept(*this);
std::uint32_t rhs = m_registerCounter - 1; ir_register rhs = m_registerCounter - 1;
std::uint32_t dst = m_registerCounter++; ir_register dst = m_registerCounter++;
m_currentBlock->emplace<furlang::ir::binary_op_instruction>(binary_op_instruction_t(node.type()), m_currentBlock->emplace<furlang::ir::binary_op_instruction>(binary_op_instruction_t(node.type()),
ir::operand::new_reg(lhs), ir::operand::new_reg(lhs),
ir::operand::new_reg(rhs), ir::operand::new_reg(rhs),
@@ -117,11 +117,11 @@ void ir_generator::visit(const ast::binop_expression_node& node) {
void ir_generator::visit(const ast::var_assign_expression_node& node) { void ir_generator::visit(const ast::var_assign_expression_node& node) {
node.rhs()->accept(*this); node.rhs()->accept(*this);
std::uint32_t rhs = m_registerCounter - 1; ir_register rhs = m_registerCounter - 1;
assert(node.lhs()->expression_type() == ast::expression_node_t::VarRead); assert(node.lhs()->expression_type() == ast::expression_node_t::VarRead);
ast::var_read_expression_node_h lhs = node.lhs(); ast::var_read_expression_node_h lhs = node.lhs();
std::uint32_t reg = m_registerCounter++; ir_register reg = m_registerCounter++;
auto compound = node.compound(); auto compound = node.compound();
if (compound != ast::binop_expression_node_t::None) { if (compound != ast::binop_expression_node_t::None) {