diff options
| author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-03-10 16:16:19 -0500 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-03-10 16:16:19 -0500 |
| commit | e616988515f95dbe6d8c1436c2fe265583d44144 (patch) | |
| tree | 95e2204b45d97f85f17cbf57437259972f301f6c /doc/il.txt | |
| parent | ff9990ed6ff0e2422705862b2e9ae885fd277060 (diff) | |
| download | roux-e616988515f95dbe6d8c1436c2fe265583d44144.tar.gz | |
move constant section higher
Diffstat (limited to 'doc/il.txt')
| -rw-r--r-- | doc/il.txt | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/doc/il.txt b/doc/il.txt index 24a2af8..8268c8c 100644 --- a/doc/il.txt +++ b/doc/il.txt @@ -14,17 +14,17 @@ 2. <@ Types > * <@ Simple Types > * <@ Subtyping > - 3. <@ Definitions > + 3. Immediate Constants + * Semantics + * Floating Sugar + 4. <@ Definitions > * <@ Aggregate Types > * <@ Data > * <@ Functions > - 4. <@ Control > + 5. <@ Control > * <@ Blocks > * <@ Instructions > * <@ Jumps > - 5. Immediate Constants - * Semantics - * Floating Sugar 6. Integer Instructions * Arithmetic * Memory @@ -150,7 +150,7 @@ value could very well be zeroes or the result of a sign extension of the word. -- 3. Definitions +- 4. Definitions ---------------- Definitions are the essential components of an IL file. @@ -306,7 +306,7 @@ is provided in the call instructions. The syntax and semantics for the body of functions is described in the <@ Control > section. -- 4. Control +- 5. Control ------------ The IL represents programs as textual transcriptions of |