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

#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 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