15-411 Compiler Design
Resources

x86-64 Machine-Level Programming

The following documents will help you fathom the depths of machine-level programming on the new x86-64 machines, a 64-bit extension of the Intel instruction set.

• x86-64 Machine-Level Programming. This document supplements Chapter 3 the textbook for 15-213 Computer Systems: A Programmer's Perspective by Randal E. Bryant and David R. O'Hallaron.
• GNU Assembler User Guide. This is version (2.15) available on the lab machines. Contains i386-specific features with notes on the difference between x86 and x86-64.
• x86-64 Application Binary Interface (ABI). Specifies the rules for compilers and linkers.
• Official Intel Processor Manuals (not for the faint of heart) including the Instruction Set Reference in two volumes.

IA32 and Assembler Reference Material

The following are for the older Intel x86 architectures. See the newer references above for the x86-64 (also known as IA32-EM64T).

• Intel opcode table for IA32, two-page reference
• GAS opcode table for IA32 (same as above with argument order according to gas convention, thanks to Philip Dye)
• Intel Instruction Set (gas), (MS PowerPoint, 34 pp), (PostScript, 4up, 5 pages duplex)
• x86 asm in Intel format

GDB

• Updated gdb reference for x86-64 architecture
• Quick gdb reference for x86 architecture

Garbage Collection

• Richard Jones' Garbage Collection Page
• Paul R. Wilson: Uniprocessor Garbage Collection Techniques, 67pp, 1994
• Hans Boehm's Conservative Garbage Collector

Standard ML Implementations

• Standard ML of New Jersey (SML/NJ)
  Default (v110.59) on the lab machines; invoke with sml
  Recent versions are likely to be compatible with SML/NJ v110.59
• MLton
  A highly optimizing, whole program compiler mostly compatible with SML/NJ
• Poly/ML
  Another high quality compiler

Standard ML Libraries and Documentation

• The Standard ML Basis Library
• SML/NJ Libraries
• ML-Lex Manual
• ML-Yacc Manual
• Programming in Standard ML by Robert Harper
• Using the SML/NJ System by Peter Lee

[ Home | Schedule | Labs & Assignments | Lab Machines | Resources ]
[ Textbook | Autolab ]
[ Sakai ]

fp@cs
Frank Pfenning