mirror of
https://github.com/RGBCube/serenity
synced 2025-10-31 10:02:43 +00:00
0aeb7a26e9
This commit introduces NamedVariableDeclaration and SSAVariableDeclaration and allows storing both of them in Variable node. Also, it adds additional structures in FunctionDefinition and BasicBlock, which will be used to store SSA form related information.
63 lines
1.3 KiB
C++
63 lines
1.3 KiB
C++
/*
|
|
* Copyright (c) 2023, Dan Klishch <danilklishch@gmail.com>
|
|
*
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include <AK/RefCounted.h>
|
|
#include <AK/RefPtr.h>
|
|
#include <AK/Vector.h>
|
|
|
|
#include "Forward.h"
|
|
|
|
namespace JSSpecCompiler {
|
|
|
|
class BasicBlock : public RefCounted<BasicBlock> {
|
|
public:
|
|
struct PhiNode {
|
|
struct Branch {
|
|
BasicBlockRef block;
|
|
VariableRef value;
|
|
};
|
|
|
|
VariableRef var;
|
|
Vector<Branch> branches;
|
|
};
|
|
|
|
BasicBlock(size_t index, NonnullRefPtr<ControlFlowOperator> continuation)
|
|
: m_index(index)
|
|
, m_continuation(move(continuation))
|
|
, m_immediate_dominator(nullptr)
|
|
{
|
|
}
|
|
|
|
size_t m_index;
|
|
Vector<PhiNode> m_phi_nodes;
|
|
Vector<Tree> m_expressions;
|
|
NonnullRefPtr<ControlFlowOperator> m_continuation;
|
|
BasicBlockRef m_immediate_dominator;
|
|
};
|
|
|
|
class ControlFlowGraph : public RefCounted<ControlFlowGraph> {
|
|
public:
|
|
ControlFlowGraph() { }
|
|
|
|
size_t blocks_count() const { return blocks.size(); }
|
|
|
|
Vector<NonnullRefPtr<BasicBlock>> blocks;
|
|
BasicBlockRef start_block;
|
|
BasicBlockRef end_block;
|
|
};
|
|
|
|
}
|
|
|
|
namespace AK {
|
|
|
|
template<>
|
|
struct Formatter<JSSpecCompiler::ControlFlowGraph> : Formatter<StringView> {
|
|
ErrorOr<void> format(FormatBuilder& builder, JSSpecCompiler::ControlFlowGraph const& control_flow_graph);
|
|
};
|
|
|
|
}
|