summaryrefslogtreecommitdiff
path: root/docs/users_guide/debugging.rst
diff options
context:
space:
mode:
Diffstat (limited to 'docs/users_guide/debugging.rst')
-rw-r--r--docs/users_guide/debugging.rst8
1 files changed, 7 insertions, 1 deletions
diff --git a/docs/users_guide/debugging.rst b/docs/users_guide/debugging.rst
index ef23bf4566..fe9a180a4f 100644
--- a/docs/users_guide/debugging.rst
+++ b/docs/users_guide/debugging.rst
@@ -546,12 +546,18 @@ These flags dump various stages of the :ref:`native code generator's
<native-code-gen>` pipeline, which starts with C-\\- and produces native
assembler.
-.. ghc-flag:: -ddump-opt-cmm
+.. ghc-flag:: -ddump-cmm-opt
:shortdesc: Dump the results of C-\\- to C-\\- optimising passes
:type: dynamic
Dump the results of C-\\- to C-\\- optimising passes performed by the NCG.
+.. ghc-flag:: -ddump-opt-cmm
+ :shortdesc: Dump the results of C-\\- to C-\\- optimising passes
+ :type: dynamic
+
+ Alias for :ghc-flag:`-ddump-cmm-opt`
+
.. ghc-flag:: -ddump-asm-native
:shortdesc: Dump initial assembly
:type: dynamic