[GHC] #8964: split_marker_entry assert breaks -split-objs and -ddump-opt-cmm

GHC ghc-devs at haskell.org
Mon Apr 7 11:13:17 UTC 2014


#8964: split_marker_entry assert breaks -split-objs and -ddump-opt-cmm
-------------------------------------+-------------------------------------
        Reporter:  ezyang            |            Owner:
            Type:  bug               |           Status:  closed
        Priority:  lowest            |        Milestone:  ⊥
       Component:  Compiler          |          Version:  7.9
      Resolution:  invalid           |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  Compile-time      |       Difficulty:  Easy (less than 1
  crash                              |  hour)
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+-------------------------------------
Changes (by ezyang):

 * cc: simonmar (added)
 * status:  new => closed
 * resolution:   => invalid


Comment:

 Relevant commit which switched from one to the other:

 {{{
 commit d92bd17ffd8715f77fd49de0fed6e39c8d0ec28b
 Author: Simon Marlow <marlowsd at gmail.com>
 Date:   Mon Nov 12 11:47:51 2012 +0000

     Remove OldCmm, convert backends to consume new Cmm

     This removes the OldCmm data type and the CmmCvt pass that converts
     new Cmm to OldCmm.  The backends (NCGs, LLVM and C) have all been
     converted to consume new Cmm.

     The main difference between the two data types is that conditional
     branches in new Cmm have both true/false successors, whereas in OldCmm
     the false case was a fallthrough.  To generate slightly better code we
     occasionally need to invert a conditional to ensure that the
     branch-not-taken becomes a fallthrough; this was previously done in
     CmmCvt, and it is now done in CmmContFlowOpt.

     We could go further and use the Hoopl Block representation for native
     code, which would mean that we could use Hoopl's postorderDfs and
     analyses for native code, but for now I've left it as is, using the
     old ListGraph representation for native code.
 }}}

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


More information about the ghc-tickets mailing list