[DEMO] Compiler Optimization - #3169

Draft

DBooots wants to merge 168 commits into

KSP-KOS:developfrom

DBooots:compiler_optimizations

Commits on Mar 2, 2026

Adds tests for ensuring the output from the optimizing compiler. Add OptimizationLevel enum to select level of optimizaiton; BaseIntegrationTest uses no optimization. Default the interpreter to no …
DBooots
committed
8e20927
Initial implementation of Three-Address Code interim representation. IRBuilder generates basic blocks, which IREmitter can then convert back to kRISC opcodes. This initial implementation does not a…
DBooots
committed
844d8df

Commits on Mar 6, 2026

Commits on Mar 7, 2026

Commits on Mar 8, 2026

Commits on Mar 10, 2026

Commits on Mar 11, 2026

Commits on Mar 12, 2026

Commits on Mar 13, 2026

Commits on Mar 14, 2026

Commits on Mar 17, 2026

Commits on Mar 19, 2026

Add suffix and index type inferencing through a utility class.
DBooots
committed
50b2dda

Commits on Mar 21, 2026

Commits on Apr 6, 2026

Documentation pass.
DBooots
committed
3cc27a8

Commits on Apr 17, 2026

Commits on Apr 19, 2026

Implement SCCP for constant propagation, replacing the former constant propagation pass. This pass also propagates type inferences across Phi variables.
DBooots
committed
b8e350d

Commits on Apr 21, 2026

Commits on May 7, 2026

Rewrite how operands and variables are implemented so that SSA can work with dynamically unset variables.
DBooots
committed
e90e35c

Commits on May 8, 2026

Commits on May 9, 2026

Commits on May 17, 2026

Commits on May 18, 2026

Commits on May 19, 2026

Commits on May 22, 2026

Commits on May 28, 2026

Commits on May 30, 2026

Commits on May 31, 2026

Commits on Jun 2, 2026

Fix loops being not identified or identified twice depending on when in the optimization order they were checked. Also fixed forgetting to add newly created blocks to the IRCodePart's Blocks property.
DBooots
committed
994d6e5

Commits on Jun 13, 2026

Rewrite how values are passed between basic blocks using the stack. The new system allows the Type of the value to be propagated and, where the value of the object can be known, the value propagated.
DBooots
committed
a46e7a1

Commits on Jun 19, 2026

Commits on Jun 20, 2026

Commits on Jun 23, 2026

Commits on Jun 25, 2026

Fix source location being lost on local variable definitions propagated to local functions.
DBooots
committed
1dff90f

Commits on Jul 3, 2026

Commits on Jul 8, 2026

Commits on Jul 10, 2026

Implement a TernaryOperand class that eliminates the need for many IRParameter operands, which inherently limit the applicability of some optimizations and require careful basic block sequencing. T…
DBooots
committed
19015c7

Commits on Jul 12, 2026

Commits on Jul 17, 2026

Fix execution falling through to 'else' branches on script completion.
DBooots
committed
7644b3f
Small bug fixes.
DBooots
committed
5ff919f
Make operand checks ignore operands to a TernaryOperand that will never be executed.
DBooots
committed
ae00f94

Commits on Jul 21, 2026

Commits on Jul 24, 2026

Commits on Aug 4, 2026

Commits on Aug 6, 2026

Commits on Aug 9, 2026

Commits on Aug 10, 2026

Add a pass that does argument number checking at compile time and eliminates the runtime argument checking (where possible) for local functions.
DBooots
committed
45f0089

Commits on Aug 13, 2026

Commits on Aug 15, 2026

Fix function Initialization code having the wrong ICodeComponent set.
DBooots
committed
632d35e

Commits on Sep 1, 2026

Numerous bugfixes found when running the optimizer on a large sample of code:
DBooots
committed
4ca05cc

Commits on Sep 13, 2026