[GHC] #8372: enable -dcmm-lint by default for .cmm input files

GHC ghc-devs at haskell.org
Sat Sep 28 00:14:37 CEST 2013


#8372: enable -dcmm-lint by default for .cmm input files
------------------------------------+-------------------------------------
       Reporter:  rwbarton          |             Owner:
           Type:  feature request   |            Status:  new
       Priority:  normal            |         Milestone:
      Component:  Compiler          |           Version:  7.7
       Keywords:                    |  Operating System:  Unknown/Multiple
   Architecture:  Unknown/Multiple  |   Type of failure:  None/Unknown
     Difficulty:  Unknown           |         Test Case:
     Blocked By:                    |          Blocking:
Related Tickets:                    |
------------------------------------+-------------------------------------
 I'm finding it's quite easy to write `.cmm` files with subtle errors that
 cause ghc to emit code that wasn't what I wanted! For example, I wrote a
 comparison between two arguments of different integer sizes and the code
 generator picked the wrong size. After tracking down the bug, I tried
 `-dcmm-lint` and it caught my error right away.

 It makes sense not to have `-dcmm-lint` enabled by default for Cmm
 produced from Stg, but I've seen here on the GHC wiki that `-dcmm-lint` is
 advised for hand-written `.cmm` files. But `integer-gmp`, and probably
 many other packages, don't build `.cmm` files with `-dcmm-lint`. Is there
 a reason we can't/shouldn't just make it the default?

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8372>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler



More information about the ghc-tickets mailing list