[GHC] #8900: Strictness analysis regression

GHC ghc-devs at haskell.org
Mon Mar 24 18:10:38 UTC 2014


#8900: Strictness analysis regression
--------------------------------------------+------------------------------
        Reporter:  tibbe                    |            Owner:
            Type:  bug                      |           Status:  closed
        Priority:  normal                   |        Milestone:
       Component:  Compiler                 |          Version:  7.8.1-rc2
      Resolution:  fixed                    |         Keywords:
Operating System:  MacOS X                  |     Architecture:  x86_64
 Type of failure:  Runtime performance bug  |  (amd64)
       Test Case:                           |       Difficulty:  Unknown
        Blocking:                           |       Blocked By:
                                            |  Related Tickets:
--------------------------------------------+------------------------------

Comment (by tibbe):

 I've looked a bit more closely and one difference between 7.6.3 and HEAD
 is the extra stack spilling before the eval check I reported in #8905.

 Another difference is that the recursive call appears as

 {{{
 jump $wpoly_go_info; // [R6, R5, R4, R3, R2]
 }}}

 in 7.6.3 but as

 {{{
 call $wpoly_go_info(R6, R5, R4, R3, R2) returns to c56A, args: 8, res: 8,
 upd: 8;
 }}}

 in HEAD. I don't know if this is just a syntactic difference.

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


More information about the ghc-tickets mailing list