Welcome to GCC Tiny documentation!

GCC Tiny is a sample programming language showcasing how to add a frontend to GCC. This guide starts with a fresh clone of GCC and build everything that is needed for a fully functioning compiler.

If you want to join the fun, or have any comments or ideas, please don`t hesitate join us at GCC Tiny Project .

Contents

• Tiny specifications
  • Tiny Imperative Language
    • Syntax
    • Semantics
    • Semantics of expressions
    • Wrap-up
• Initial Boilerplate
  • GCC
    • Initial setup
    • Structure of GCC
    • Initial boilerplate
      • Current layout
    • Hello gcctiny
    • Wrap-up
• Architecture
  • Typical compiler architecture
  • Open the file
  • Typical front end design
  • Lexical analysis
    • Tokens
  • Lexer operation
  • Lexer interface
    • Identifiers and keywords
  • Tracking location
    • Current layout
    • Trying our lexer
  • Wrap-up
• Syntactical Analysis
  • Syntactic correctness
  • Recognizer
  • Parser interface
  • Parsing statements
  • Parsing expressions
  • Pratt parser for expressions
  • Wrap-up
• Data Required by Semantical Analysis
  • GENERIC
  • Almost GENERIC
    • Scope
    • Symbol
    • Current layout
• Semantical Analysis and Generics I
  • Semantic values
    • Variable declaration
    • Types
    • Variable assignment
    • Expressions
    • Null denotations
    • Left denotations
    • Write statement
    • Blocks
    • Statement sequences
    • Program
    • Smoke test
    • Wrap-up
• Semantical Analysis and Generics II
  • Semantic values (cont)
    • Read statement
    • If statement
    • While statement
    • For-statement
    • Completion
    • Github
    • What is next
• Datatype Arrays
  • Array type and array values
    • Syntax
    • Semantics
  • Implementation
    • Minor issue first
    • Lexer
    • Parser
      • Array type
    • Array element
    • Final touches
    • Language hook
  • Trying it
• Datatype Boolean
  • Syntax
    • Semantics
  • Implementation
    • Lexer
    • Parser
    • Smoke test
• Datatype Type Names
  • Variable declarations
    • Syntax
    • Semantics
    • Implementation
    • Lexer
    • Parser
    • Smoke test
• Datatype Record Types
  • Record types
    • Syntax
    • Semantics
    • Implementation
    • Lexer
    • Parse a record type
    • Parse a field access
    • Smoke test
• Regression Testing
  • Prerequisites
  • DejaGnu Introduction
    • Expect
    • DejaGnu Testcases
    • DejaGnu Directives
    • DejaGnu Setup
      • tiny.dg/dg.exp
      • lib/tiny-dg.exp
  • GCC Integration of TestSuites
    • Makefile.def
    • autogen
    • Makefile.in
    • gcc/tiny/Make-lang.in
  • GNU Tiny TestSuites
    • GNU Tiny testsuite
      • Test syntax error
      • Test error in expression
      • Test output from program
      • Test multiple errors at same line
  • Try it out
  • Next Steps