CS322 Languages and Compiler Design II Spring 2012

Instructor: Andrew Tolmach

Teaching Assistant: Neeraja Budamagunta

• Syllabus (pdf)
• Mailing list

Final Exam

• List of topics

Required Readings and Suggested Exercises

• Check here for an up-to-date list of errata for the 2nd. edition of Engineering a Compiler.
• And here is a similar list for the 1st. edition.

Suggested Exercises

• Suggested exercises: 5.3.1 [5.3], 5.3.2 (the CFG) [5.4], 5.4.1 [5.5], 7.2.1 [7.1], 7.2.2 [7.3], 7.3.1 [7.4], 7.3.2 [7.5], 7.4.2 [7.8], 7.5.1 [7.9], 7.6.1 [7.12], 7.6.2 [-], 7.8.1 [7.16], 7.8.2 [7.17].
• Additional Suggested exercises: 6.2.1 [6.1], 6.2.2 [6.2], 6.3.2 [6.5], 6.3.3 [-], 6.3.4 [6.6], 6.4.1 [6.9], 6.4.2 [6.8], 6.6.2 [6.11] , 6.7.1 [-], 6.7.2 [-], 7.9.1 [7.18], 7.9.2 [7.19], 7.10.2 [-], 8.3.2 [-], 8.4.1 [-], 9.2.1 [9.1], 9.2.2 [-], 9.2.3 [9.2], 13.3.1 [13.1], 13.4.1 [13.3].

Lecture Notes and Supporting Code

• Introduction 4/3/12 (pdf) (4up pdf)
• Interpreters; Review of Attribute Grammars 4/5/12 (pdf) (4up pdf)
• Interpreter Implementation 4/10/12-4/17/12
  • Example of interpreter data structures
  • Programs illustrating first-class functions: map.fab map_curried1.fab map_curried2.fab
  • A java program analogous to map_curried1.fab.
  • Example of data structures for first-class functions [REVISED 17Apr 4:30pm] (Warning: this program doesn't actually pass the type-checker, because the inner functions refers to a non-constant (w) defined in an outer block. But if it did pass the checker, the interpreter would be able to execute it and produce the expected result.)
  • Example of data structures for recursive functions
• x86-64 Architecture 4/17/12 (No lecture notes; see resource section below)
• Semantics 4/19/12-4/26/12 (pdf) (4up pdf)
• Intermediate languages and 3-address code 5/1/12 (pdf) (4up pdf)
• Expressions and Statements 5/1-3/12 (pdf) (4up pdf)
• IR Generation: Booleans, Statements, Backpatching 5/15/12 (pdf) (4up pdf)
• Runtime Organization 5/17/12 (pdf) (4up pdf)
• Compiling Object-oriented features 5/22/12 (guest lecture by Andrew Black) (pdf) (4up pdf)
• Code Generation 5/24-29/12 (pdf) (4up pdf)
• Parameter Passing 5/31/12 (pdf) (4up pdf)
• Optimization 6/5/12 (pdf) (4up pdf)
• Garbage Collection 6/7/12(pdf) (4up pdf)

fab Language

• Reference Manual (pdf) (updated slightly from CS321 version) [REVISED 9Apr12 8am]
• Sample Programs [REVISED 9Apr12 8am]
  • 8q.fab
  • counter.fab
  • hanoi.fab
  • hello.fab
  • lists.fab
  • prime.fab
  • sort.fab
  • square.fab
  • tree.fab

Homework Assignments

• Homework 1 (due 4/24/12) (pdf)
  • Complete Working Frontend frontend.jar [REVISED 9Apr12 8am]
  • Ast.java source code (bytecode is already in frontend.jar)
  • Complete Working Solution interp.jar
  • Driver InterpDriver.java InterpDriver.class
  • Skeleton solution code Interp0.java
  • Example of interpreter data structures
  • Example of data structures for first-class functions [REVISED 17Apr 4:30pm] (See warning above in lecture notes section.)
  • Example of data structures for recursive functions
• Homework 2 (due 5/3/12) (pdf)
• Homework 3 (due 5/29/12) (pdf)
  • Complete Working Frontend frontend.jar
  • Ast.java source code (bytecode is already in frontend.jar)
  • Complete Working Solution (including generator and interpreter) ir.jar [REVISED 17May 7:50am]
  • IR IR.java source code (bytecode is already in ir.jar) [REVISED 16May 4:40pm]
  • Generator Driver (reads .fab file; writes.ir file) IRGenDriver.java (bytecode is already in ir.jar)
  • New Interpreter Driver (reads and interprets .ir file) IRInterpFile.java (bytecode is already in ir.jar)
  • Original Interpreter Driver (reads .fab file; translates to internal IR; interprets IR) IRInterpDriver.java (bytecode is already in ir.jar)
  • Skeleton solution code IRGen0.java [REVISED 16May 4:40pm]
  • IR grammar
• Homework 4 (due 6/7/12) (pdf)
  • Supporting Classes ir.jar
  • IR.java source code
  • X86.java source code
  • Liveness.java source code
  • fablib.c for linux fablib.c for mac
  • Reference code generator X86gen.jar [REVISED 1June 5:30pm]
  • Driver X86GenDriver.java
  • Skeleton solution code X86Gen0.java [REVISED 1June 5:30pm]

x86-64 Resources

• Brief notes on x86-64 programming.
• The book by Bryant and O'Hallaron, Computer Systems: A Programmer's Perspective 2nd ed., Ch. 3, has a very useful introduction to the x86 architecture from the perspective of an application programmer or a compiler writer. It covers both 32 and 64-bit versions.
• Bryant and O'Hallaron's treatment of floating point programming using the %xmm registers is available on-line in this web aside.
• The first edition of Bryant and O'Hallaron covers only 32-bit x86, but a draft of the 2nd edition material on 64-bit programming is available here: x86-64 Machine Level Programming. (Note: there are a few small bugs in this draft. The brief notes are more authoritative.)
• A Wikibook on x86 assembly. Google will find you dozens of other web-based resources.
• GNU Assembler (as) manual.
• A quick guide to debugging assembly code in GDB (pdf)
• GNU Debugger (gdb) manual
• Official Intel Architecture Manuals for x86.
• Official Application Binary Interface (ABI) specification for AMD64 architecture (adopted by linux, but not by Microsoft)

Java Resources

• Language Reference
  The official Java Language Specification is available on-line or can be purchased as a book.
• User Manuals (for version 1.7)
  • Documentation for Oracle/Sun's Java tools is here.
  • The standard Java library (API) is documented here.
• Implementations
  • A free implementation for linux or Windows is available from here
• IDEs
  • The eclipse IDE for Java Developers is freely available for download on linux, Mac OS, and Windows.