diff options
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. |