Feat/inliner - #705

Merged

SuperFola merged 26 commits into

devfrom

feat/inliner

Jul 21, 2026

Commits on Jul 19, 2026

feat(compiler): ARK-325, track the origin of an ir block
SuperFola
committed
feat(compiler): ARK-325, add an empty ir inliner in between the ast lowerer and the ir optimizer
SuperFola
committed
feat(compiler): ARK-325, add more metadata to IR blocks, and create a basic inlining heuristic
SuperFola
committed
feat(inliner): ARK-325, add a very basic IR inliner
SuperFola
committed
feat(debugger): add new 'scopes' command, and avoid tracing instructions for code comming from the debugger
SuperFola
committed
feat(compiler): ARK-325, generate new labels when inlining code
SuperFola
committed
feat(compiler): ARK-325, do not inline functions mutating their arguments
SuperFola
committed
feat(compiler): ARK-325, inline builtin proxies
SuperFola
committed
feat(compiler, vm): ARK-325, instruction POP_SCOPE now takes a mode, used by the IR inliner to materialise references
SuperFola
committed
fix(ast lowerer): check for breakpoints at the end of begin nodes to determine if a node is unused or terminal
SuperFola
committed
feat(config): add a feature toggle for the ir inliner, distinct from the ir optimiser
SuperFola
committed
chore: update tests
SuperFola
committed
feat(tests): duplicate lang suite to run with and without the ir inliner
SuperFola
committed
feat(cli): new toggle -f(no-)irinliner
SuperFola
committed
fix: add missing header in Entity.hpp
SuperFola
committed
fix: use a constexpr string_view instead of a constexpr string, otherwise some compilers complain the expression is not a constant expression and performs head allocations
SuperFola
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Uh oh!

Feat/inliner - #705

Feat/inliner#705
SuperFola merged 26 commits into
devfrom
feat/inliner

Commits on Jul 19, 2026

feat(compiler): ARK-325, track the origin of an ir block

feat(compiler): ARK-325, add an empty ir inliner in between the ast lowerer and the ir optimizer

feat(compiler): ARK-325, add more metadata to IR blocks, and create a basic inlining heuristic

feat(inliner): ARK-325, add a very basic IR inliner

feat(debugger): add new 'scopes' command, and avoid tracing instructions for code comming from the debugger

feat(compiler): ARK-325, generate new labels when inlining code

feat(compiler): ARK-325, do not inline functions mutating their arguments

feat(compiler): ARK-325, inline builtin proxies

feat(compiler, vm): ARK-325, instruction POP_SCOPE now takes a mode, used by the IR inliner to materialise references

fix(ast lowerer): check for breakpoints at the end of begin nodes to determine if a node is unused or terminal

feat(config): add a feature toggle for the ir inliner, distinct from the ir optimiser

chore: update tests

feat(tests): duplicate lang suite to run with and without the ir inliner

feat(cli): new toggle -f(no-)irinliner

fix: add missing header in Entity.hpp

fix: use a constexpr string_view instead of a constexpr string, otherwise some compilers complain the expression is not a constant expression and performs head allocations

Commits on Jul 20, 2026

feat(compiler): ARK-325, inline only when argument count matches

chore: ARK-325, add tests for inlined IR

fix(compiler): do not try to optimise IR that uses labels that might be outside the valid range of values for super instructions (12 bits)

feat(compiler): ARK-325, inline functions that have been declared only once

feat(compiler): add the number of instructions in a page in the textual IR

fix(compiler): set the correct source location when inlining code

test: ARK-374, add empty escape sequence test

test: add a test for the new debugger command 'scopes'

Commits on Jul 21, 2026

test: add specific IR inlining test where inlining shouldn't happen

fix(compiler): keep provenance information of IR blocks inside the IROptimiser