diff options
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/dev-options.rst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Documentation/dev-options.rst b/Documentation/dev-options.rst index bf2d49a7..04fb651f 100644 --- a/Documentation/dev-options.rst +++ b/Documentation/dev-options.rst @@ -44,6 +44,14 @@ 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. + +.. option:: -vpostorder + + Dump the reverse postorder traversal of the CFG. |