The ArkScript AST to IR compiler. More...

#include <ASTLowerer.hpp>

Collaboration diagram for Ark::internal::ASTLowerer:

Classes
struct	Page

Public Member Functions
	ASTLowerer (unsigned debug)
	Construct a new ASTLowerer object.

void	process (const Node &ast)
	Start the compilation.

const std::vector< IR::Block > &	intermediateRepresentation () const noexcept
	Return the IR blocks (one per scope)

const std::vector< std::string > &	symbols () const noexcept
	Return the symbol table pre-computed.

const std::vector< ValTableElem > &	values () const noexcept
	Return the value table pre-computed.

Private Member Functions
IR::Block &	page (const Page page) noexcept
	helper functions to get a temp or finalized code page

void	compileExpression (const Node &x, Page p, bool is_result_unused, bool is_terminal, const std::string &var_name="")
	Compile an expression (a node) recursively.

void	compileSymbol (const Node &x, Page p, bool is_result_unused)

void	compileListInstruction (const Node &c0, const Node &x, Page p, bool is_result_unused)

void	compileIf (const Node &x, Page p, bool is_result_unused, bool is_terminal, const std::string &var_name)

void	compileFunction (const Node &x, Page p, bool is_result_unused, const std::string &var_name)

void	compileLetMutSet (Keyword n, const Node &x, Page p)

void	compileWhile (const Node &x, Page p)

void	compilePluginImport (const Node &x, Page p)

void	handleCalls (const Node &x, Page p, bool is_result_unused, bool is_terminal, const std::string &var_name)

uint16_t	addSymbol (const Node &sym)
	Register a given node in the symbol table.

uint16_t	addValue (const Node &x)
	Register a given node in the value table.

uint16_t	addValue (std::size_t page_id, const Node &current)
	Register a page id (function reference) in the value table.

Static Private Member Functions
static std::optional< Instruction >	getOperator (const std::string &name) noexcept
	Checking if a symbol is an operator.

static std::optional< uint16_t >	getBuiltin (const std::string &name) noexcept
	Checking if a symbol is a builtin.

static std::optional< Instruction >	getListInstruction (const std::string &name) noexcept
	Checking if a symbol is a list instruction.

static bool	nodeProducesOutput (const Node &node)

static bool	isUnaryInst (Instruction inst) noexcept
	Check if a given instruction is unary (takes only one argument)

static bool	isTernaryInst (Instruction inst) noexcept
	Check if a given instruction is ternary (takes three arguments)

static void	warning (const std::string &message, const Node &node)
	Display a warning message.

static void	buildAndThrowError (const std::string &message, const Node &node)
	Throw a nice error message.

Private Attributes
LocalsLocator	m_locals_locator

std::vector< std::string >	m_symbols

std::vector< ValTableElem >	m_values

std::vector< IR::Block >	m_code_pages

std::vector< IR::Block >	m_temp_pages
	we need temporary code pages for some compilations passes

IR::label_t	m_current_label = 0

Logger	m_logger

Detailed Description

The ArkScript AST to IR compiler.

Definition at line 36 of file ASTLowerer.hpp.

Constructor & Destructor Documentation

◆ ASTLowerer()

Ark::internal::ASTLowerer::ASTLowerer ( unsigned debug )

explicit

Construct a new ASTLowerer object.

Parameters

debug the debug level

Definition at line 16 of file ASTLowerer.cpp.

Member Function Documentation

◆ addSymbol()

uint16_t Ark::internal::ASTLowerer::addSymbol ( const Node & sym )

private

Register a given node in the symbol table.

Can throw if the table is full

Parameters

sym

Returns: uint16_t

Definition at line 665 of file ASTLowerer.cpp.

References buildAndThrowError(), m_symbols, and Ark::internal::Node::string().

Referenced by compileExpression(), compileFunction(), compileLetMutSet(), and compileSymbol().

◆ addValue() [1/2]

uint16_t Ark::internal::ASTLowerer::addValue ( const Node & x )

private

Register a given node in the value table.

Can throw if the table is full

Parameters

x

Returns: uint16_t

Definition at line 681 of file ASTLowerer.cpp.

References buildAndThrowError(), and m_values.

Referenced by compileExpression(), compileFunction(), and compilePluginImport().

◆ addValue() [2/2]

uint16_t Ark::internal::ASTLowerer::addValue	(	std::size_t	page_id,
		const Node &	current )

private

Register a page id (function reference) in the value table.

Can throw if the table is full

Parameters

page_id
current	A reference to the current node, for context

Returns: std::size_t

Definition at line 697 of file ASTLowerer.cpp.

References buildAndThrowError(), and m_values.

◆ buildAndThrowError()

void Ark::internal::ASTLowerer::buildAndThrowError	(	const std::string &	message,
		const Node &	node )

staticprivate

Throw a nice error message.

Parameters

message
node

Definition at line 122 of file ASTLowerer.cpp.

References Ark::internal::Node::col(), Ark::internal::Node::filename(), Ark::internal::Node::line(), and Ark::internal::Node::repr().

Referenced by addSymbol(), addValue(), addValue(), compileExpression(), compileFunction(), compileLetMutSet(), compileListInstruction(), compileSymbol(), compileWhile(), and handleCalls().

◆ compileExpression()

void Ark::internal::ASTLowerer::compileExpression	(	const Node &	x,
		Page	p,
		bool	is_result_unused,
		bool	is_terminal,
		const std::string &	var_name = "" )

private

Compile an expression (a node) recursively.

Parameters

x	the Node to compile
p	the current page number we're on
is_result_unused
is_terminal
var_name

Definition at line 127 of file ASTLowerer.cpp.

References addSymbol(), addValue(), Ark::internal::Namespace::ast, Ark::internal::Begin, buildAndThrowError(), Ark::internal::BUILTIN, compileExpression(), compileFunction(), compileIf(), compileLetMutSet(), compileListInstruction(), compilePluginImport(), compileSymbol(), compileWhile(), Ark::internal::Node::constArkNamespace(), Ark::internal::Node::constList(), Ark::internal::DEL, Ark::internal::Del, Ark::internal::Field, Ark::internal::Node::filename(), Ark::internal::Fun, Ark::internal::GET_FIELD, getBuiltin(), getListInstruction(), handleCalls(), Ark::internal::If, Ark::internal::Import, Ark::internal::Keyword, Ark::internal::Let, Ark::internal::Node::line(), Ark::internal::List, Ark::internal::LOAD_CONST, Ark::internal::Mut, Ark::internal::Namespace, Ark::internal::Node::nodeType(), Ark::internal::Number, page(), Ark::internal::Set, Ark::internal::String, Ark::internal::Symbol, Ark::internal::typeToString(), Ark::internal::Unused, and Ark::internal::While.

Referenced by compileExpression(), compileFunction(), compileIf(), compileLetMutSet(), compileListInstruction(), compileWhile(), handleCalls(), and process().

◆ compileFunction()

void Ark::internal::ASTLowerer::compileFunction	(	const Node &	x,
		Page	p,
		bool	is_result_unused,
		const std::string &	var_name )

private

◆ compileIf()

void Ark::internal::ASTLowerer::compileIf	(	const Node &	x,
		Page	p,
		bool	is_result_unused,
		bool	is_terminal,
		const std::string &	var_name )

private

Definition at line 317 of file ASTLowerer.cpp.

References compileExpression(), Ark::internal::Node::constList(), Ark::internal::LocalsLocator::dropVarsForBranch(), Ark::internal::IR::Entity::Goto(), Ark::internal::IR::Entity::GotoIf(), Ark::internal::IR::Entity::Label(), m_current_label, m_locals_locator, page(), and Ark::internal::LocalsLocator::saveScopeLengthForBranch().

Referenced by compileExpression().

◆ compileLetMutSet()

void Ark::internal::ASTLowerer::compileLetMutSet	(	Keyword	n,
		const Node &	x,
		Page	p )

private

Definition at line 406 of file ASTLowerer.cpp.

References Ark::internal::LocalsLocator::addLocal(), addSymbol(), buildAndThrowError(), compileExpression(), Ark::internal::Node::constList(), Ark::internal::Node::filename(), Ark::internal::Let, Ark::internal::Node::line(), m_locals_locator, Ark::internal::Mut, page(), Ark::internal::SET_VAL, Ark::internal::STORE, Ark::internal::Symbol, and Ark::internal::typeToString().

Referenced by compileExpression().

◆ compileListInstruction()

void Ark::internal::ASTLowerer::compileListInstruction	(	const Node &	c0,
		const Node &	x,
		Page	p,
		bool	is_result_unused )

private

◆ compilePluginImport()

void Ark::internal::ASTLowerer::compilePluginImport	(	const Node &	x,
		Page	p )

private

Definition at line 466 of file ASTLowerer.cpp.

References addValue(), Ark::internal::Node::constList(), Ark::internal::Node::filename(), Ark::internal::Node::line(), page(), Ark::internal::PLUGIN, and Ark::internal::String.

Referenced by compileExpression().

◆ compileSymbol()

void Ark::internal::ASTLowerer::compileSymbol	(	const Node &	x,
		Page	p,
		bool	is_result_unused )

private

Definition at line 233 of file ASTLowerer.cpp.

References addSymbol(), buildAndThrowError(), Ark::internal::BUILTIN, getBuiltin(), getOperator(), Ark::internal::LOAD_SYMBOL, Ark::internal::LOAD_SYMBOL_BY_INDEX, Ark::internal::LocalsLocator::lookupLastScopeByName(), m_locals_locator, page(), Ark::internal::POP, Ark::internal::Node::string(), and warning().

Referenced by compileExpression().

◆ compileWhile()

void Ark::internal::ASTLowerer::compileWhile	(	const Node &	x,
		Page	p )

private

Definition at line 432 of file ASTLowerer.cpp.

References buildAndThrowError(), compileExpression(), Ark::internal::Node::constList(), Ark::internal::CREATE_SCOPE, Ark::internal::LocalsLocator::createScope(), Ark::internal::LocalsLocator::deleteScope(), Ark::internal::Node::filename(), Ark::internal::IR::Entity::Goto(), Ark::internal::IR::Entity::GotoIf(), Ark::internal::IR::Entity::Label(), Ark::internal::Node::line(), m_current_label, m_locals_locator, page(), Ark::internal::POP_SCOPE, and Ark::internal::RESET_SCOPE.

Referenced by compileExpression().

◆ getBuiltin()

std::optional< uint16_t > Ark::internal::ASTLowerer::getBuiltin ( const std::string & name )

staticprivatenoexcept

Checking if a symbol is a builtin.

Parameters

name	symbol name

Returns: std::optional<uint16_t> builtin number

Definition at line 57 of file ASTLowerer.cpp.

References Ark::internal::Builtins::builtins.

Referenced by compileExpression(), and compileSymbol().

◆ getListInstruction()

std::optional< Instruction > Ark::internal::ASTLowerer::getListInstruction ( const std::string & name )

staticprivatenoexcept

Checking if a symbol is a list instruction.

Parameters

name

Returns: std::optional<Instruction> list instruction

Definition at line 68 of file ASTLowerer.cpp.

References Ark::internal::LIST, and Ark::internal::Language::listInstructions.

Referenced by compileExpression(), and compileListInstruction().

◆ getOperator()

std::optional< Instruction > Ark::internal::ASTLowerer::getOperator ( const std::string & name )

staticprivatenoexcept

Checking if a symbol is an operator.

Parameters

name	symbol name

Returns: std::optional<Instruction> operator instruction

Definition at line 49 of file ASTLowerer.cpp.

References Ark::internal::FIRST_OPERATOR, and Ark::internal::Language::operators.

Referenced by compileSymbol(), and handleCalls().

◆ handleCalls()

void Ark::internal::ASTLowerer::handleCalls	(	const Node &	x,
		Page	p,
		bool	is_result_unused,
		bool	is_terminal,
		const std::string &	var_name )

private

◆ intermediateRepresentation()

const std::vector< IR::Block > & Ark::internal::ASTLowerer::intermediateRepresentation ( ) const

nodiscardnoexcept

Return the IR blocks (one per scope)

Returns: const std::vector<Block>&

Definition at line 34 of file ASTLowerer.cpp.

References m_code_pages.

Referenced by Ark::Welder::generateBytecode().

◆ isTernaryInst()

bool Ark::internal::ASTLowerer::isTernaryInst ( Instruction inst )

staticprivatenoexcept

Check if a given instruction is ternary (takes three arguments)

Parameters

inst

Returns: true the instruction is ternary; false

Definition at line 105 of file ASTLowerer.cpp.

References Ark::internal::AT_AT.

Referenced by handleCalls().

◆ isUnaryInst()

bool Ark::internal::ASTLowerer::isUnaryInst ( Instruction inst )

staticprivatenoexcept

Check if a given instruction is unary (takes only one argument)

Parameters

inst

Returns: true the instruction is unary; false

Definition at line 85 of file ASTLowerer.cpp.

References Ark::internal::EMPTY, Ark::internal::HEAD, Ark::internal::ISNIL, Ark::internal::LEN, Ark::internal::NOT, Ark::internal::TAIL, Ark::internal::TO_NUM, Ark::internal::TO_STR, and Ark::internal::TYPE.

Referenced by handleCalls().

◆ nodeProducesOutput()

bool Ark::internal::ASTLowerer::nodeProducesOutput ( const Node & node )

staticprivate

Checks if a node is a list and has a keyboard as its first node, indicating if it's producing a value on the stack or not

Parameters

node	node to check

Returns: true if the node produces an output on the stack (fun, if, begin); false otherwise (let, mut, set, while, import, del)

Definition at line 76 of file ASTLowerer.cpp.

References Ark::internal::Begin, Ark::internal::Node::constList(), Ark::internal::Fun, Ark::internal::If, Ark::internal::Keyword, Ark::internal::List, and Ark::internal::Node::nodeType().

Referenced by compileListInstruction(), and handleCalls().

◆ page()

IR::Block & Ark::internal::ASTLowerer::page ( const Page page )

inlineprivatenoexcept

helper functions to get a temp or finalized code page

Parameters

page	page descriptor

Returns: std::vector<IR::Block>&

Definition at line 98 of file ASTLowerer.hpp.

Referenced by compileExpression(), compileFunction(), compileIf(), compileLetMutSet(), compileListInstruction(), compilePluginImport(), compileSymbol(), compileWhile(), and handleCalls().

◆ process()

void Ark::internal::ASTLowerer::process ( const Node & ast )

Start the compilation.

Parameters

ast

Definition at line 20 of file ASTLowerer.cpp.

References compileExpression(), m_code_pages, m_logger, Ark::internal::Logger::traceEnd(), and Ark::internal::Logger::traceStart().

Referenced by Ark::Welder::generateBytecode().

◆ symbols()

const std::vector< std::string > & Ark::internal::ASTLowerer::symbols ( ) const

nodiscardnoexcept

Return the symbol table pre-computed.

Returns: const std::vector<std::string>&

Definition at line 39 of file ASTLowerer.cpp.

References m_symbols.

Referenced by Ark::Welder::generateBytecode().

◆ values()

const std::vector< ValTableElem > & Ark::internal::ASTLowerer::values ( ) const

nodiscardnoexcept

Return the value table pre-computed.

Returns: const std::vector<ValTableElem>&

Definition at line 44 of file ASTLowerer.cpp.

References m_values.

Referenced by Ark::Welder::generateBytecode().

◆ warning()

void Ark::internal::ASTLowerer::warning	(	const std::string &	message,
		const Node &	node )

staticprivate

Display a warning message.

Parameters

message
node

Definition at line 117 of file ASTLowerer.cpp.

References Ark::Diagnostics::makeContextWithNode().

Referenced by compileFunction(), compileListInstruction(), and compileSymbol().

Member Data Documentation

◆ m_code_pages

std::vector<IR::Block> Ark::internal::ASTLowerer::m_code_pages

private

Definition at line 86 of file ASTLowerer.hpp.

Referenced by compileFunction(), intermediateRepresentation(), and process().

◆ m_current_label

IR::label_t Ark::internal::ASTLowerer::m_current_label = 0

private

Definition at line 88 of file ASTLowerer.hpp.

Referenced by compileIf(), compileWhile(), and handleCalls().

◆ m_locals_locator

LocalsLocator Ark::internal::ASTLowerer::m_locals_locator

private

Definition at line 81 of file ASTLowerer.hpp.

Referenced by compileFunction(), compileIf(), compileLetMutSet(), compileSymbol(), and compileWhile().

◆ m_logger

Logger Ark::internal::ASTLowerer::m_logger

private

Definition at line 90 of file ASTLowerer.hpp.

Referenced by process().

◆ m_symbols

std::vector<std::string> Ark::internal::ASTLowerer::m_symbols

private

Definition at line 84 of file ASTLowerer.hpp.

Referenced by addSymbol(), and symbols().

◆ m_temp_pages

std::vector<IR::Block> Ark::internal::ASTLowerer::m_temp_pages

private

we need temporary code pages for some compilations passes

Definition at line 87 of file ASTLowerer.hpp.

Referenced by handleCalls().

◆ m_values

std::vector<ValTableElem> Ark::internal::ASTLowerer::m_values

private

Definition at line 85 of file ASTLowerer.hpp.

Referenced by addValue(), addValue(), and values().

The documentation for this class was generated from the following files:

/Users/fola/Documents/ArkScript/Ark/include/Ark/Compiler/Lowerer/ASTLowerer.hpp
/Users/fola/Documents/ArkScript/Ark/src/arkreactor/Compiler/Lowerer/ASTLowerer.cpp

Classes

Public Member Functions

Private Member Functions

Static Private Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ ASTLowerer()

Member Function Documentation

◆ addSymbol()

◆ addValue() [1/2]

◆ addValue() [2/2]

◆ buildAndThrowError()

◆ compileExpression()

◆ compileFunction()

◆ compileIf()

◆ compileLetMutSet()

◆ compileListInstruction()

◆ compilePluginImport()

◆ compileSymbol()

◆ compileWhile()

◆ getBuiltin()

◆ getListInstruction()

◆ getOperator()

◆ handleCalls()

◆ intermediateRepresentation()

◆ isTernaryInst()

◆ isUnaryInst()

◆ nodeProducesOutput()

◆ page()

◆ process()

◆ symbols()

◆ values()

◆ warning()

Member Data Documentation

◆ m_code_pages

◆ m_current_label

◆ m_locals_locator

◆ m_logger

◆ m_symbols

◆ m_temp_pages

◆ m_values