rust/src/comp
2011-06-02 14:03:17 -07:00
..
back Now imports are not re-exported unless 'export' is explicitly used. 2011-05-31 18:43:26 -07:00
driver Now imports are not re-exported unless 'export' is explicitly used. 2011-05-31 18:43:26 -07:00
front Error message, instead of segfault, when recursive types are used. 2011-06-02 14:03:17 -07:00
lib Lots of comments, and some more descriptive names. 2011-05-27 18:20:43 -07:00
middle Error message, instead of segfault, when recursive types are used. 2011-06-02 14:03:17 -07:00
pretty More tweaks to comment preservation rules. 2011-06-01 15:29:38 -07:00
util Now imports are not re-exported unless 'export' is explicitly used. 2011-05-31 18:43:26 -07:00
README Add automatic exe generation capabilities. Add --bitcode flag to generate only an LLVM bitcode file. 2011-05-16 14:07:43 -07:00
rustc.rc Remove residual uses of fold, and fold itself. 2011-05-26 17:16:54 -07:00

An informal guide to reading and working on the rustc compiler.
==================================================================

If you wish to expand on this document, or have one of the
slightly-more-familiar authors add anything else to it, please get in touch or
file a bug. Your concerns are probably the same as someone else's.


High-level concepts
===================

Rustc consists of the following subdirectories:

front/    - front-end: lexer, parser, AST.
middle/   - middle-end: resolving, typechecking, translating
driver/   - command-line processing, main() entrypoint
util/     - ubiquitous types and helper functions
lib/      - bindings to LLVM

The entry-point for the compiler is main() in driver/rustc.rs, and this file
sequences the various parts together.


The 3 central data structures:
------------------------------

#1: front/ast.rs defines the AST. The AST is treated as immutable after
    parsing despite containing some mutable types (hashtables and such).
    There are three interesting details to know about this structure:

      - Many -- though not all -- nodes within this data structure are wrapped
        in the type spanned[T], meaning that the front-end has marked the
        input coordinates of that node. The member .node is the data itself,
        the member .span is the input location (file, line, column; both low
        and high).

      - Many other nodes within this data structure carry a def_id. These
        nodes represent the 'target' of some name reference elsewhere in the
        tree. When the AST is resolved, by middle/resolve.rs, all names wind
        up acquiring a def that they point to. So anything that can be
        pointed-to by a name winds up with a def_id.

      - Many nodes carry an additional type 'ann', for annotations. These
        nodes are those that later stages of the middle-end add information
        to, augmenting the basic structure of the tree. Currently that
        includes the calculated type of any node that has a type; it will also
        likely include typestates, layers and effects, when such things are
        calculated.

#2: middle/ty.rs defines the datatype ty.t, with its central member ty.struct.
    This is the type that represents types after they have been resolved and
    normalized by the middle-end. The typeck phase converts every ast type to
    a ty.t, and the latter is used to drive later phases of compilation.  Most
    variants in the ast.ty tag have a corresponding variant in the ty.struct
    tag.

#3: lib/llvm.rs defines the exported types ValueRef, TypeRef, BasicBlockRef,
    and several others. Each of these is an opaque pointer to an LLVM type,
    manipulated through the lib.llvm interface.


Control and information flow within the compiler:
-------------------------------------------------

- main() in driver/rustc.rs assumes control on startup. Options are parsed,
  platform is detected, etc.

- front/parser.rs is driven over the input files.

- Multiple middle-end passes (middle/resolve.rs, middle/typeck.rs) are run
  over the resulting AST. Each pass produces a new AST with some number of
  annotations or modifications.

- Finally middle/trans.rs is applied to the AST, which performs a
  type-directed translation to LLVM-ese. When it's finished synthesizing LLVM
  values, rustc asks LLVM to write them out as an executable, on which the
  normal LLVM pipeline (opt, llc, as) was run.