9cc is a successor of my 8cc C compiler. In this new project, I'm trying to write code that can be understood extremely easily while creating a compiler that generates reasonably efficient assembly.
9cc has more stages than 8cc. Here is an overview of the internals:
- Compiles an input string to abstract syntax trees.
- Runs a semantic analyzer on the trees to add a type to each tree node.
- Converts the trees to intermediate code (IR), which in some degree resembles x86-64 instructions but has an infinite number of registers.
- Maps an infinite number of registers to a finite number of registers.
- Generates x86-64 instructions from the IR.
There are a few important design choices that I made to keep the code as simple as I can get:
-
Like 8cc, no memory management is the memory management policy in 9cc. We allocate memory using malloc() but never call free(). I know that people find the policy odd, but this is actually a reasonable design choice for short-lived programs such as compilers. This policy greatly simplifies code and also eliminates use-after-free bugs entirely.
-
9cc's parser is a hand-written recursive descendent parser, so that the compiler doesn't have any blackbox such as lex/yacc.
-
I stick with plain old tools such as Make or shell script so that you don't need to learn about new stuff other than the compiler source code itself.
-
We use brute force if it makes code simpler. We don't try too hard to implement sophisticated data structures to make the compiler run faster. If the performance becomes a problem, we can fix it at that moment.
-
Entire contents are loaded into memory at once if it makes code simpler. We don't use character IO to read from an input file; instead, we read an entire file to a char array in a batch. Likewise, we tokenize a whole file in a batch rather than doing it concurrently with the parser.
Overall, 9cc is still in its very early stage. I hope to continue improving it to the point where 9cc can compile real-world C programs such as Linux kernel. That is an ambitious goal, but I believe it's achievable, so stay tuned!