[GHC] #1500: NCG: shortcutBranch doesn't handle loops properly

GHC cvs-ghc at haskell.org
Wed May 26 16:31:56 EDT 2010


#1500: NCG: shortcutBranch doesn't handle loops properly
-------------------------------+--------------------------------------------
  Reporter:  Michael D. Adams  |          Owner:                  
      Type:  bug               |         Status:  closed          
  Priority:  normal            |      Milestone:  6.12.3          
 Component:  Compiler (NCG)    |        Version:  6.7             
Resolution:  fixed             |       Keywords:                  
Difficulty:  Unknown           |             Os:  Unknown/Multiple
  Testcase:  cmm001            |   Architecture:  x86             
   Failure:  None/Unknown      |  
-------------------------------+--------------------------------------------
Changes (by simonmar):

  * status:  new => closed
  * failure:  => None/Unknown
  * resolution:  => fixed


Comment:

 This was fixed by:

 {{{
 Thu Nov  5 15:15:32 GMT 2009  dias at cs.tufts.edu
   * Loop problems in native back ends, update to T3286 fix
   The native back ends had difficulties with loops;
   in particular the code for branch-chain elimination
   could run in infinite loops or drop basic blocks.
   The old codeGen didn't expose these problems.

   Also, my fix for T3286 in the new codegen was getting
   applied to too many (some wrong) cases; a better pattern
   match fixed that.
 }}}

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


More information about the Glasgow-haskell-bugs mailing list