Writing a C Compiler

A flow chart shows the stages of the compiler.

1. The lexer turns program.c into a token list.

2. The parser turns the token list into an abstract syntax tree.

3. Semantic analysis turns the AST into a transformed AST. It has three steps:

a. Identifier resolution

b. Type checking

c. Loop Labeling

4. TACKY Generation turns the transformed AST into TACKY.

5. Assembly generation turns TACKY into assembly. It has three steps:

a. Converting TACKY to Assembly

b. Replacing Pseudoregisters

c. Instruction Fix-Up

6. Code emission writes assembly to program.s.

Return to text