diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-03-18 13:37:46 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-07-01 00:18:44 +0200 |
| commit | 242d55dba4a831b35e6f127f3b6aca3c00534426 (patch) | |
| tree | 043dd23a00440d3b6983c921dfbd9ccae9efeaa0 /Documentation | |
| parent | 787153d14e2435df199186db0480ec94d9d74de0 (diff) | |
| download | sparse-dev-242d55dba4a831b35e6f127f3b6aca3c00534426.tar.gz | |
dom: add some debugging for the dominance tree
So, it's possible to use the flag '-vdomtree' to dump the
domonance tree.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/dev-options.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/dev-options.rst b/Documentation/dev-options.rst index f6bfa79f..04fb651f 100644 --- a/Documentation/dev-options.rst +++ b/Documentation/dev-options.rst @@ -44,6 +44,10 @@ OPTIONS Add ``OP_DEATHNOTE`` annotations to dead pseudos. +.. option:: -vdomtree + + Dump the dominance tree after its calculation. + .. option:: -ventry Dump the IR after all optimization passes. |