Feat/ir

[SuperFola]

Description

Add an additional IR generation step, between the compiler and bytecode generation.

We now have AST -> Compiler -> IR -> IRCompiler -> Bytecode.

The goal is to be able to add an IROptimizer before the IRCompiler.

Checklist

• I have read the Contributor guide
• My code follows the style guidelines of this project
• I have commented my code, particularly in hard-to-understand areas
• I have updated the documentation if needed
• I have added tests that prove my fix/feature is working
• New and existing tests pass locally with my changes

[github-actions]

Static analysis report

Lizard report

Listing only functions with cyclomatic complexity >= 15 or NLOC >= 100 or parameters >= 6.

Filename	Start line:end line	Function name	Parameters	NLOC	CCN
src/arkreactor/VM/VM.cpp	320:1259	Ark::VM::safeRun	3	762	159
src/arkreactor/Compiler/BytecodeReader.cpp	197:446	Ark::BytecodeReader::display	4	214	76
src/arkreactor/Compiler/IntermediateRepresentation/IROptimizer.cpp	9:133	Ark::internal::IROptimizer::process	3	102	42
src/arkreactor/Compiler/Compiler.cpp	412:574	Ark::internal::Compiler::handleCalls	5	131	39
src/arkscript/main.cpp	17:336	main	2	276	30
src/arkreactor/Compiler/Compiler.cpp	118:209	Ark::internal::Compiler::compileExpression	5	75	25
include/Ark/Compiler/AST/Predicates.hpp	132:156	Ark::internal::IsSymbol::operator ( )	1	24	16

Report about files you didn't modify in this PR

Filename	Start line:end line	Function name	Parameters	NLOC	CCN
src/arkreactor/Compiler/Macros/Processor.cpp	266:574	Ark::internal::MacroProcessor::evaluate	3	291	118
src/arkscript/REPL/Repl.cpp	17:229	Ark::Repl::Repl	1	180	35
include/Ark/Compiler/AST/Parser.hpp	105:194	Ark::internal::ARK_APIParser::string	0	87	32
src/arkscript/JsonCompiler.cpp	26:206	JsonCompiler::_compile	1	151	27
src/arkreactor/Compiler/NameResolutionPass.cpp	172:271	Ark::internal::NameResolutionPass::visitKeyword	2	90	25
src/arkreactor/Compiler/AST/Node.cpp	201:271	Ark::internal::Node::debugPrint	1	61	23
include/utf8.hpp	138:184	utf8::isValid	1	44	21
src/arkreactor/Compiler/AST/Parser.cpp	266:393	Ark::internal::Parser::import_	0	103	21
src/arkreactor/Compiler/Macros/Processor.cpp	117:187	Ark::internal::MacroProcessor::processNode	2	54	21
src/arkreactor/Compiler/Macros/Executors/Function.cpp	12:86	Ark::internal::FunctionExecutor::applyMacro	2	60	18
src/arkreactor/Compiler/NameResolutionPass.cpp	108:170	Ark::internal::NameResolutionPass::visit	1	53	18
src/arkreactor/VM/Value.cpp	67:125	Ark::Value::toString	1	46	17
src/arkreactor/Compiler/AST/Node.cpp	135:199	Ark::internal::Node::repr	0	56	17
src/arkreactor/Compiler/Macros/Processor.cpp	46:91	Ark::internal::MacroProcessor::registerMacro	1	41	16
src/arkscript/Formatter.cpp	161:214	Formatter::format	3	51	15
src/arkreactor/TypeChecker.cpp	28:85	Ark::types::displayContract	2	51	15
src/arkreactor/Exceptions.cpp	86:130	Ark::Diagnostics::makeContext	6	35	15
src/arkreactor/Exceptions.cpp	133:142	Ark::Diagnostics::helper	9	9	3
include/Ark/Exceptions.hpp	92:101	Ark::CodeError::CodeError	6	10	1

---

CppCheck report

Filename	Line	Type	Description
src/arkreactor/Compiler/BytecodeReader.cpp	332	style	struct member 'Arg::arg' is never used.
src/arkreactor/VM/VM.cpp	433	style	Statements following return, break, continue, goto or throw will never be executed.
src/arkreactor/VM/VM.cpp	358	error	syntax error
src/arkscript/main.cpp	84	information	Unmatched suppression: constStatement

Report files about files you didn't modify in this PR

Filename	Line	Type	Description
src/arkreactor/Builtins/IO.cpp	24	style	Parameter 'n' can be declared with const
src/arkreactor/Builtins/IO.cpp	43	style	Parameter 'n' can be declared with const
include/Ark/Compiler/AST/Optimizer.hpp	64	style	Unused private function: 'Optimizer::throwOptimizerError'
include/Ark/Compiler/AST/Optimizer.hpp	70	style	Unused private function: 'Optimizer::removeUnused'
src/arkreactor/Compiler/AST/Parser.cpp	385	error	Uninitialized variable: import_data.with_prefix
include/Ark/Compiler/Macros/Processor.hpp	170	performance	Function parameter 'origin' should be passed by const reference.
src/arkreactor/Compiler/Macros/Executor.cpp	12	performance	Function parameter 'origin' should be passed by const reference.
include/Ark/Compiler/Macros/Executor.hpp	71	performance	Function parameter 'origin' should be passed by const reference.
src/arkreactor/Compiler/Macros/Executors/Function.cpp	14	style	The scope of the variable 'first' can be reduced.
src/arkreactor/Compiler/Macros/Processor.cpp	245	performance	Function parameter 'origin' should be passed by const reference.
src/arkreactor/VM/Scope.cpp	51	style	Variable 'id' is not assigned a value.
src/arkreactor/VM/Scope.cpp	61	style	Variable 'id' is not assigned a value.
src/arkreactor/VM/Scope.cpp	71	style	Variable 'id' is not assigned a value.
src/arkscript/JsonCompiler.cpp	156	style	Consider using std::accumulate algorithm instead of a raw loop.
src/arkscript/JsonCompiler.cpp	163	style	Consider using std::transform algorithm instead of a raw loop.
src/arkscript/REPL/Repl.cpp	24	style	Consider using std::copy algorithm instead of a raw loop.
src/arkscript/REPL/Repl.cpp	26	style	Consider using std::copy algorithm instead of a raw loop.
src/arkscript/REPL/Repl.cpp	28	style	Consider using std::copy algorithm instead of a raw loop.
src/arkscript/REPL/Repl.cpp	30	style	Consider using std::copy algorithm instead of a raw loop.
src/arkscript/REPL/Repl.cpp	36	style	Consider using std::transform algorithm instead of a raw loop.
src/arkscript/REPL/Repl.cpp	38	style	Consider using std::transform algorithm instead of a raw loop.
src/arkscript/REPL/Repl.cpp	47	style	Consider using std::transform algorithm instead of a raw loop.

[coveralls]

coverage: 76.391% (+1.2%) from 75.225%
when pulling 139084d on feat/ir
into 973eba8 on dev.

[github-actions]

Fuzzing report

/usr/local/bin/afl-whatsup status check tool for afl-fuzz by Michal Zalewski

Summary stats

    Fuzzers alive : 0
   Dead or remote : 1 (included in stats)
   Total run time : 5 minutes, 0 seconds
      Total execs : 38 thousands
 Cumulative speed : 127 execs/sec
    Pending items : 88 faves, 786 total
 Coverage reached : 8.74%
    Crashes saved : 3
      Hangs saved : 0

Cycles without finds : 0
Time without finds : 0

[+] Captured 33211 tuples (map size 183478, highest value 255, total values 253815698) in '/dev/null'.
[+] A coverage of 33211 edges were achieved out of 183488 existing (18.10%) with 797 input files.