aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/Documentation
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-08-25 14:29:48 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-08-25 14:55:25 +0200
commit96f388f0f55cfa1984daa70d7dc4faa63a85c590 (patch)
tree5a8af02749000a8228f4d8f68720f088356faef6 /Documentation
parentd46b7b2f9fc4769d8dce72913bfac370f1d69df5 (diff)
parent3f06ccfcc0be01c0d5bc6a982c2fbadf62fa502a (diff)
downloadsparse-dev-96f388f0f55cfa1984daa70d7dc4faa63a85c590.tar.gz
Merge branch 'ssa' into tip
* do 'classical' SSA conversion (via the iterated dominance frontier). Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation')
-rw-r--r--Documentation/dev-options.rst8
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.