C Compiler
↗OCaml · lexer → TACKY IR → x86-64
Built an OCaml-based C compiler lowering source programs through lexer → AST → semantic analysis → TACKY IR → x86-64 assembly, with support for lexical scoping, control flow, loops, and structured IR lowering.
- Recursive descent parser + AST construction for nested unary ops
- Semantic pass: symbol resolution, lexical scoping, break/continue loop labels
- Custom TACKY IR + control-flow lowering (labels/jumps) before x86-64 codegen
Systems signal · Compiler pipeline · IR design · stack lowering · x86-64 emit
