summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBenjamin Maurer <maurer.benjamin@gmail.com>2021-01-09 08:47:02 -0500
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-01-10 23:35:35 -0500
commit2f933eb60de75411a68e16e0b6d72dd8f8bff2bc (patch)
tree45254bc4387fe08ab72035ca7adba0b33e37a599
parent1a220bcf704f6ce1404516a5b647246a20d34f6e (diff)
downloadhaskell-2f933eb60de75411a68e16e0b6d72dd8f8bff2bc.tar.gz
Document flag -dasm-lint in debugging.rst
-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