summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/users_guide/debugging.rst7
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/users_guide/debugging.rst b/docs/users_guide/debugging.rst
index fdcf51c601..b1612f4536 100644
--- a/docs/users_guide/debugging.rst
+++ b/docs/users_guide/debugging.rst
@@ -881,6 +881,13 @@ Checking for consistency
Ditto for C-\\- level.
+.. ghc-flag:: -dasm-lint
+ :shortdesc: ASM pass sanity checking
+ :type: dynamic
+
+ Turn on intra-pass sanity-checking within GHC, at the
+ code generator level.
+
.. ghc-flag:: -fllvm-fill-undef-with-garbage
:shortdesc: Intruct LLVM to fill dead STG registers with garbage
:type: dynamic