Been working for the last few days on polishing and dusting off this project. It now uses Python 3.12+ idioms throughout (match/case, type hints, dataclasses where they make sense), has a proper Makefile + GitHub Actions CI, and most importantly: the code generator actually works now (it was buggy as f*ck). It produces valid MIPS that runs on SPIM without crashing. Which is great.
The compiler frontend was already in decent shape. The lexer, parser, semantic analyzer all had tests and worked fine. But the backend was basically a skeleton that could emit assembly for hello world and not much else. So I spent most of the time debugging codegen issues like stack corruption, string ops returning garbage, and type_name() being a stub that returned empty strings :S
The IR + optimization infrastructure (TAC, CFG, SSA, constant propagation, liveness analysis, dead code elimination) is all there and tested, but it’s not actually wired into the compilation pipeline yet. Right now it’s more of a teaching tool to show how these things work, not something that affects the emitted code.
Been working for the last few days on polishing and dusting off this project. It now uses Python 3.12+ idioms throughout (match/case, type hints, dataclasses where they make sense), has a proper Makefile + GitHub Actions CI, and most importantly: the code generator actually works now (it was buggy as f*ck). It produces valid MIPS that runs on SPIM without crashing. Which is great.
The compiler frontend was already in decent shape. The lexer, parser, semantic analyzer all had tests and worked fine. But the backend was basically a skeleton that could emit assembly for hello world and not much else. So I spent most of the time debugging codegen issues like stack corruption, string ops returning garbage, and
type_name()being a stub that returned empty strings :SThe IR + optimization infrastructure (TAC, CFG, SSA, constant propagation, liveness analysis, dead code elimination) is all there and tested, but it’s not actually wired into the compilation pipeline yet. Right now it’s more of a teaching tool to show how these things work, not something that affects the emitted code.