diff options
Diffstat (limited to 'docs/users_guide/debugging.rst')
| -rw-r--r-- | docs/users_guide/debugging.rst | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/docs/users_guide/debugging.rst b/docs/users_guide/debugging.rst index ff02fc4c7b..f966e1a32f 100644 --- a/docs/users_guide/debugging.rst +++ b/docs/users_guide/debugging.rst @@ -391,8 +391,8 @@ C-\\- representation These flags dump various phases of GHC's C-\\- pipeline. -.. ghc-flag:: -ddump-cmm-verbose - :shortdesc: Show output from main C-\\- pipeline passes +.. ghc-flag:: -ddump-cmm-verbose-by-proc + :shortdesc: Show output from main C-\\- pipeline passes (grouped by proc) :type: dynamic Dump output from main C-\\- pipeline stages. In case of @@ -404,6 +404,13 @@ These flags dump various phases of GHC's C-\\- pipeline. Cmm dumps don't include unreachable blocks since we print blocks in reverse post-order. +.. ghc-flag:: -ddump-cmm-verbose + :shortdesc: Write output from main C-\\- pipeline passes to files + :type: dynamic + + If used in conjunction with `-ddump-to-file`, writes dump + output from main C-\\- pipeline stages to files (each stage per file). + .. ghc-flag:: -ddump-cmm-from-stg :shortdesc: Dump STG-to-C-\\- output :type: dynamic |