diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-03-18 13:20:11 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-03-19 20:34:29 +0100 |
| commit | 73d0b20055c8ece79f19247bc49b87fd15616081 (patch) | |
| tree | 41dc1e8bfe622fe3d8d0d863860ae41e35f4ceae /Documentation | |
| parent | c44f8d00d04633605cb1a1aa61a949e96f8022aa (diff) | |
| download | sparse-dev-73d0b20055c8ece79f19247bc49b87fd15616081.tar.gz | |
doc: document the debug flags
The flags -ventry & -vdead were not documented.
Fix this now by adding a small explanation.
Reviewed-by: Randy Dunlap <rdunlap@infradead.org>
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation')
| -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. |