Compiler Stages

The compiler will be written in several steps, described below.

• Stage Presentation
• TC-1/2, Scanner, Parser & Building the Abstract Syntax Tree
  • TC-1/2 Goals
  • TC-1/2 Given Code
  • TC-1/2 Improvements
  • TC-1/2 Scanner
    • TC-1/2-Lexer Goals
    • TC-1/2-Lexer Given Code
    • TC-1/2-Lexer Code to Write
    • TC-1/2-Lexer FAQ
    • TC-1/2-Lexer Recurring Bugs
  • TC-1/2 Parser & Building the Abstract Syntax Tree
    • TC-1/2-Parser Goals
    • TC-1/2-Parser Samples
      • TC-1/2-Parser Lexing & Parsing Samples
      • TC-1/2-Parser Chunks
      • TC-1/2-Parser Pretty-Printing Samples
      • TC-1/2-Parser Error Recovery
    • TC-1/2-Parser Given Code
    • TC-1/2-Parser Code to Write
      • TC-1/2-Parser Optional GraphViz Dumper
    • TC-1/2-Parser FAQ
    • TC-1/2-Parser Recurring Bugs
    • TC-1/2-Parser Improvements
• TC-3, Bindings
  • TC-3 Goals
  • TC-3 Samples
  • TC-3 Given Code
  • TC-3 Code to Write
  • TC-3 FAQ
  • TC-3 Improvements
• TC-R, Unique Identifiers
  • TC-R Samples
  • TC-R Given Code
  • TC-R Code to Write
  • TC-R FAQ
• TC-E, Computing the Escaping Variables
  • TC-E Goals
  • TC-E Samples
  • TC-E Given Code
  • TC-E Code to Write
• TC-4, Type Checking
  • TC-4 Goals
  • TC-4 Samples
  • TC-4 Given Code
  • TC-4 Code to Write
  • TC-4 Options
  • TC-4 FAQ
  • TC-4 Improvements
• TC-D, Removing the syntactic sugar from the Abstract Syntax Tree
  • TC-D Samples
  • TC-D Given Code
  • TC-D Code to Write
• TC-L, LLVM IR
  • TC-L Goals
  • TC-L Samples
  • TC-L Given Code
  • TC-L Code to Write
  • TC-L FAQ
  • TC-L Improvements
• TC-EXTS, Improving Your Compiler with Fun Extensions
  • TC-EXTS Goals
  • TC-EXTS Open Project
  • TC-I, Function inlining
    • TC-I Samples
    • TC-I Given Code
    • TC-I Code to Write
  • TC-B, Array bounds checking
    • TC-B Samples
    • TC-B Given Code
    • TC-B Code to Write
    • TC-B FAQ
  • TC-A, Ad Hoc Polymorphism (Function Overloading)
    • TC-A Samples
    • TC-A Given Code
    • TC-A Code to Write
    • TC-A Improvements
  • TC-O, Desugaring object constructs
    • TC-O Samples
    • TC-O Given Code
    • TC-O Code to Write
  • TC-C, Combine language extensions
    • TC-C Goals
    • TC-C Samples
    • TC-C Given Code
    • TC-C Code to Write
    • TC-C FAQ
• TC-5, Translating to the High Level Intermediate Representation
  • TC-5 Goals
  • TC-5 Samples
    • TC-5 Primitive Samples
    • TC-5 Optimizing Cascading If
    • TC-5 Builtin Calls Samples
    • TC-5 Samples with Variables
  • TC-5 Given Code
  • TC-5 Code to Write
  • TC-5 Options
    • TC-5 Bounds Checking
    • TC-5 Optimizing Static Links
  • TC-5 FAQ
  • TC-5 Improvements
• TC-6, Translating to the Low Level Intermediate Representation
  • TC-6 Goals
  • TC-6 Samples
    • TC-6 Canonicalization Samples
    • TC-6 Scheduling Samples
  • TC-6 Given Code
  • TC-6 Code to Write
• TC-7, Instruction Selection
  • TC-7 Goals
  • TC-7 Samples
  • TC-7 Given Code
  • TC-7 Code to Write
  • TC-7 FAQ
• TC-8, Liveness Analysis
  • TC-8 Goals
  • TC-8 Samples
  • TC-8 Given Code
  • TC-8 Code to Write
  • TC-8 FAQ
• TC-9, Register Allocation
  • TC-9 Goals
  • TC-9 Samples
  • TC-9 Given Code
  • TC-9 Code to Write
  • TC-9 FAQ
• TC-X, IA-32 Back End
  • TC-X Goals
  • TC-X Samples
  • TC-X Given Code
  • TC-X Code to Write
  • TC-X FAQ
  • TC-X Improvements
• TC-Y, ARM Back End
  • TC-Y Goals
  • TC-Y Samples
  • TC-Y Given Code
  • TC-Y Code to Write
  • TC-Y FAQ
  • TC-Y Improvements