commit a940cc808e12659ff307294492ec6152c67fb471
parent 2f99913abbad912b3a323332031a8e1f2a9c64cf
Author: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Wed, 22 Feb 2017 12:30:44 -0500
turn the instruction index into a list
Diffstat:
M | doc/il.txt | | | 142 | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++------------------- |
1 file changed, 109 insertions(+), 33 deletions(-)
diff --git a/doc/il.txt b/doc/il.txt
@@ -805,36 +805,112 @@ instructions unless you know exactly what you are doing.
- 7. Instructions Index
-----------------------
-<@ Arithmetic and Bits >:
- `add`, `sub`, `div`, `mul`, `udiv`, `rem`, `urem`, `or`,
- `xor`, `and`, `sar`, `shr`, `shl`
-
-<@ Memory >:
- `storeb`, `storeh`, `storew`, `storel`, `stores`, `stored`,
- `loadd`, `loads`, `loadl`, `loadw`, `loadsw`, `loaduw`,
- `loadsh`, `loaduh`, `loadsb`, `loadub`, `alloc4`, `alloc8`,
- `alloc16`
-
-<@ Comparisons >:
- `ceqw`, `ceql`, `cnew`, `cnel`, `cslew`, `cslel`, `csltw`,
- `csltl`, `csgew`, `csgel`, `csgtw`, `csgtl`, `culew`,
- `culel`, `cultw`, `cultl`, `cugew`, `cugel`, `cugtw`,
- `cugtl`, `ceqs`, `ceqd`, `cnes`, `cned`, `cles`, `cled`,
- `clts`, `cltd`, `cges`, `cged`, `cgts`, `cgtd`, `cos`,
- `cod`, `cuos`, `cuod`
-
-<@ Conversions >:
- `extsw`, `extsh`, `extsb`, `exts`, `extuw`, `extuh`,
- `extub`, `truncd`, `stosi`, `dtosi`, `swtof`, `sltof`
-
-<@ Cast >:
- `cast`
-
-<@ Call >:
- `call`
-
-<@ Phi >:
- `phi`
-
-<@ Jumps >:
- `jmp`, `jnz`, `ret`
+ * <@ Arithmetic and Bits >:
+
+ * `add`
+ * `and`
+ * `div`
+ * `mul`
+ * `or`
+ * `rem`
+ * `sar`
+ * `shl`
+ * `shr`
+ * `sub`
+ * `udiv`
+ * `urem`
+ * `xor`
+
+ * <@ Memory >:
+
+ * `alloc16`
+ * `alloc4`
+ * `alloc8`
+ * `loadd`
+ * `loadl`
+ * `loads`
+ * `loadsb`
+ * `loadsh`
+ * `loadsw`
+ * `loadub`
+ * `loaduh`
+ * `loaduw`
+ * `loadw`
+ * `storeb`
+ * `stored`
+ * `storeh`
+ * `storel`
+ * `stores`
+ * `storew`
+
+ * <@ Comparisons >:
+
+ * `ceqd`
+ * `ceql`
+ * `ceqs`
+ * `ceqw`
+ * `cged`
+ * `cges`
+ * `cgtd`
+ * `cgts`
+ * `cled`
+ * `cles`
+ * `cltd`
+ * `clts`
+ * `cned`
+ * `cnel`
+ * `cnes`
+ * `cnew`
+ * `cod`
+ * `cos`
+ * `csgel`
+ * `csgew`
+ * `csgtl`
+ * `csgtw`
+ * `cslel`
+ * `cslew`
+ * `csltl`
+ * `csltw`
+ * `cugel`
+ * `cugew`
+ * `cugtl`
+ * `cugtw`
+ * `culel`
+ * `culew`
+ * `cultl`
+ * `cultw`
+ * `cuod`
+ * `cuos`
+
+ * <@ Conversions >:
+
+ * `dtosi`
+ * `exts`
+ * `extsb`
+ * `extsh`
+ * `extsw`
+ * `extub`
+ * `extuh`
+ * `extuw`
+ * `sltof`
+ * `stosi`
+ * `swtof`
+ * `truncd`
+
+ * <@ Cast > :
+
+ * `cast`
+
+ * <@ Call >:
+
+ * `call`
+
+ * <@ Phi >:
+
+ * `phi`
+
+ * <@ Jumps >:
+
+ * `jmp`
+ * `jnz`
+ * `ret`