aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/Documentation
diff options
Diffstat (limited to 'Documentation')
-rw-r--r--Documentation/dev-options.md22
1 files changed, 11 insertions, 11 deletions
diff --git a/Documentation/dev-options.md b/Documentation/dev-options.md
index 7c278135..d4aa6aff 100644
--- a/Documentation/dev-options.md
+++ b/Documentation/dev-options.md
@@ -7,28 +7,28 @@ document options only useful for development on sparse itself.
### Select the passes
-* '-f\<name-of-the-pass\>[-disable|-enable|=last]'
+* `-f<name-of-the-pass>[-disable|-enable|=last]`
- If '=last' is used, all passes after the specified one are disabled.
+ If `=last` is used, all passes after the specified one are disabled.
By default all passes are enabled.
The passes currently understood are:
- * 'mem2reg'
- * 'optim'
+ * `mem2reg`
+ * `optim`
### Debugging
-* '-fdump-ir[=\<pass\>[,\<pass\>...]]'
+* `-fdump-ir[=<pass>[,<pass>...]]`
Dump the IR at each of the given passes.
The passes currently understood are:
- * 'linearize'
- * 'mem2reg'
- * 'final'
+ * `linearize`
+ * `mem2reg`
+ * `final`
-* '-v<debug-flag>'
+* `-v<debug-flag>`
Add or display some debug info. The flag can be one of:
- * 'dead': annotate dead pseudos.
- * 'entry': dump the IR after all optimization passes.
+ * `dead`: annotate dead pseudos.
+ * `entry`: dump the IR after all optimization passes.