summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-03-04 10:58:46 -0500
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-03-04 10:58:46 -0500
commitdf151c7440f590e54dbbe238e2424450286a03e2 (patch)
treea334a866fb7096a4993dac8429ad6ae5aa874b87 /doc
parent8d4b438adad3789d0c68047093852e8c4653b8d3 (diff)
downloadroux-df151c7440f590e54dbbe238e2424450286a03e2.tar.gz
start il.txt
Diffstat (limited to 'doc')
-rw-r--r--doc/il.txt32
1 files changed, 32 insertions, 0 deletions
diff --git a/doc/il.txt b/doc/il.txt
new file mode 100644
index 0000000..3c11223
--- /dev/null
+++ b/doc/il.txt
@@ -0,0 +1,32 @@
+ ===========================
+ QBE Intermediate Language
+ ===========================
+
+Table of Contents:
+
+ 1. Types
+ * Syntax
+ * Subtyping
+ 2. Definitions
+ * Aggregate Types
+ * Data
+ * Functions
+ 3. Control
+ * Blocks
+ * Instructions
+ * Jumps
+ 4. Immediate Constants
+ * Semantics
+ * Floating Sugar
+ 5. Integer Instructions
+ * Arithmetic
+ * Memory
+ * Comparisons
+ 6. Floating Point Instructions
+ * Arithmetic
+ * Memory
+ * Comparisons
+ 7. Special Instructions
+ * Phi
+ * Conversions
+ * Casts