diff options
Diffstat (limited to 'Documentation/dev-options.md')
| -rw-r--r-- | Documentation/dev-options.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Documentation/dev-options.md b/Documentation/dev-options.md index 23ea2133..7c278135 100644 --- a/Documentation/dev-options.md +++ b/Documentation/dev-options.md @@ -26,3 +26,9 @@ document options only useful for development on sparse itself. * 'linearize' * 'mem2reg' * 'final' + +* '-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. |