about summary refs log tree commit diff
path: root/boot/lower.c
AgeCommit message (Collapse)Author
2026-05-24Support named-unnamed call and construction arguments and fields with final ↵Mel
resolved order Signed-off-by: Mel <mel@rnrd.eu>
2026-05-24Emit c-header pragmas as includesMel
Signed-off-by: Mel <mel@rnrd.eu>
2026-05-24Make diagnostics generic over passes, condensing different error handlingMel
Signed-off-by: Mel <mel@rnrd.eu>
2026-05-19Break up large IR lowering functions into sub-functions to clean upMel
Signed-off-by: Mel <mel@rnrd.eu>
2026-05-19Simplify statement synthesis boilerplateMel
Signed-off-by: Mel <mel@rnrd.eu>
2026-05-19Add IR constructorsMel
Signed-off-by: Mel <mel@rnrd.eu>
2026-05-04Lift out any function closures in lowering pass 2Mel
Signed-off-by: Mel <mel@rnrd.eu>
2026-05-04Lower all styles of source loopsMel
Signed-off-by: Mel <mel@rnrd.eu>
2026-05-04Lower source compound assigns and inc/dec statementsMel
Signed-off-by: Mel <mel@rnrd.eu>
2026-05-04Lower source if + while + endless statementsMel
Signed-off-by: Mel <mel@rnrd.eu>
2026-05-04Lowering pass lexical scope trackingMel
Signed-off-by: Mel <mel@rnrd.eu>
2026-05-04Lower source expressions into simple IRMel
Signed-off-by: Mel <mel@rnrd.eu>
2026-05-04Initial lowering pass 2 implementation, create shells for source expressions ↵Mel
and statements Signed-off-by: Mel <mel@rnrd.eu>
2026-05-04Lower down structural (inline) type definitions into type objectsMel
Signed-off-by: Mel <mel@rnrd.eu>
2026-05-04Topologically sort types and their dependencies during lowering, report cyclesMel
Signed-off-by: Mel <mel@rnrd.eu>
2026-05-04Complete lowering pass 1, fully collect all top-level declarations and their ↵Mel
dependencies Signed-off-by: Mel <mel@rnrd.eu>
2026-05-03IR lowering pass 1, function declarationsMel
Signed-off-by: Mel <mel@rnrd.eu>
2026-05-03Lowering pass initial driver shellMel
Signed-off-by: Mel <mel@rnrd.eu>