Skip to content

Refactor/ir codegen#139

Open
cykna wants to merge 65 commits into
refactor/ir-builderfrom
refactor/ir-codegen
Open

Refactor/ir codegen#139
cykna wants to merge 65 commits into
refactor/ir-builderfrom
refactor/ir-codegen

Conversation

@cykna
Copy link
Copy Markdown
Collaborator

@cykna cykna commented May 24, 2026

Summary

This codebase is made mainly to refactor the way the ir is generated

Scope

  • How the IR is generated
  • Any results. This is just a refactor and rewrite

Validation

List the commands, tests, or manual checks you ran.

make check

Documentation Impact

  • No documentation changes were needed
  • I updated the relevant documentation

Checklist

  • My change is focused and reviewable
  • I performed a self-review
  • I added comments only where they help explain non-obvious logic
  • I added or updated tests when applicable
  • I ran the validation listed above
  • I used the existing issue/PR templates where applicable

Related Issues

Closes #N/A. Complementary of #138

cykna and others added 30 commits May 20, 2026 18:01
@cykna
fix: fixed parser where statement parsing on styles wouldnt expect fo…
05cf11c 
…r ';'
@cykna
fix: fixed error where statements were silently dropped
c2aa238
@cykna
fix: fixed errors related to variables allocated inside styles and ty…
970ce82 
…pe checking passing infer types
fix: fixed error where component property werent read by the ir
2d93a9d
feat: implemented style initialization tracking for specialized compo…
674289a 
…nents
docs: documented possible ir rewrite
86184c3
@cykna
refactor: changed 'checker' to be 'type checker'
fc5c6fb
refactor: renamed slynx_ir to be now simply 'ir'
d46cccc 
refactor: renorganized code folders

# Conflicts:
#	crates/checker/src/expr.rs
@cykna
fix: fixed incorrect error range
d67db86
@cykna
refactor: refactored hir to remove 'implementation' folder
a700c1d
@cykna
docs: documented code organization
185298a
@cykna
refactor: reexport models on hir
521e79e
@cykna
refactor: refactored names on hir generation
1a407b7
@cykna
docs: updated project organization documentation
34e8f03
@cykna
refactor: refactored type checker and errors
8177355 
chore: on ir just modifieid to use the reexports of hir
refactor: refactored ir
4d96632 
# Conflicts:
#	crates/ir/src/components.rs
#	crates/ir/src/helper/ir_value.rs
@cykna
refactor: refactored multiple 'generate_*_instruction' into a single …
cfdadac 
…macro
@cykna
refactor: refactored lexer to use macros
7690b45
@cykna
refactor: refactored code on symbols module and scopes module
3c1847d
@cykna
refactor: refactored ir and type checker unification
64d49cf
fix: fixed incorrect function after rebase
6a612ec
fix: readded shit that was removed from parent upon rebase
ef590a3
@cykna
Merge pull request #137 from Slynx-Language/refactor/project-organiza…
5d5b312 
…tion

Refactor/project organization
fix: fixed clippy and format errors
48ce2ba
docs: documented stylesheets on the codebase
36850dc
docs: documented about states and corrected some typos
f5f1dda
fix: fixed typo
e17664e
docs: documented about animations
9c1a8ef
docs(fix): fixed typo
93f1196
@cykna
Merge pull request #135 from Slynx-Language/feat/stylings
13a4d3f 
Feat/stylings
@cykna cykna mentioned this pull request May 24, 2026
Merged
8 tasks
cykna added 27 commits May 24, 2026 11:19
@cykna
refactor: removed unused code
7ef3a00
@cykna
chore: made a lot of methods on hir to be public only to the hir itself
9493a1e
@cykna
chore: removed duplicated function and its usage
df7ecc8
@cykna
Merge pull request #140 from Slynx-Language/chore/hir-query-methods
d8166d9 
Chore/hir query methods
@cykna
chore: refactored symbol pointer to have contex in it to prevent HIR …
a9cc4bb 
…and IR of using incorrect symbol pointers
@cykna
refactor: refactored hir to use symbol pointer with its own type as m…
81ca0cd 
…etadata
@cykna
docs: documented how string interning works
6003592
@cykna
Merge pull request #141 from Slynx-Language/refactor/context-symbols
c3a83f8 
Refactor/context symbols
@cykna
ir: Re-export SymbolPointer as crate-level type alias and migrate int…
fbae4c1 
…ernal imports
@cykna
ir: Migrate label creation API to accept &str instead of SymbolPointer
95fcb87
@cykna
ir: Add Deref<Target=IRTypes> impl and remove legacy pass-through acc…
a7577d1 
…essor methods
@cykna
ir: Expand view layer with batch queries, value helpers, and dedicate…
302cd3d 
…d component/value/instruction viewers
@cykna
codegen: Replace IRError with CodegenError, remove TempIRData, and sp…
0ecf2ad 
…lit lowering into focused modules
@cykna
codegen: Add naming conventions documentation
14338c2
@cykna
chore: removed usage of temp data in expressions
dcd4680
@cykna
refactor: organized ir views and added method to ir batch viewer
9aea138
@cykna
refactor: rewrote how function and label builders work
edea6b9
@cykna
refactor: rewrote some minimal logic on how methods on codegen genera…
71cecdb 
…tion are handled
@cykna
ir: flat instruction storage, SSA-by-construction FunctionBuilder, an…
a834c1b 
…d new Opcode model
@cykna
ir: component builder, CFG rewrite with Opcode-based successor analys…
0fb11ca 
…is, formatter update
@cykna
hir: make modules public, add get_name_of_type helper
fde0868
@cykna
type_checker: use owned-HIR API, track variable types during type che…
a63ac2b 
…cking
@cykna
monomorphizer: simplify API by removing separate types_module parameter
0dc7dca
@cykna
parser: enforce semicolon after stylesheet statements
7c91854
@cykna
codegen: multi-phase lowering with style inheritance, component child…
d8cae02 
…-init, and function context
@cykna
compilation_context: adapt to new codegen, type_checker, and monomorp…
2533405 
…hizer APIs
@cykna
fix: fixed compile errors on the compilation context
cd51395
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@cykna