[GHC] #14944: Compile speed regression

[GHC]

#14944: Compile speed regression
-------------------------------------+-------------------------------------
        Reporter:  br1               |                Owner:  dfeuer
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.4.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Compile-time      |  Unknown/Multiple
  performance bug                    |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by dfeuer):

 === 8.0.2

 Paper:

 {{{
 Result size of CorePrep
   = {terms: 2,704, types: 5,400, coercions: 996}
 }}}

 Main:

 {{{
 Result size of Desugar (after optimization)
   = {terms: 4,574, types: 632,608, coercions: 196}
 Result size of Specialise
   = {terms: 13,274, types: 2,100,628, coercions: 392}
 Result size of Float out(FOS {Lam = Just 0,
                               Consts = True,
                               OverSatApps = False})
   = {terms: 14,860, types: 2,335,846, coercions: 392}
 Result size of Simplifier iteration=1
   = {terms: 15,614, types: 2,423,788, coercions: 366,704}
 Result size of Simplifier iteration=2
   = {terms: 10,121, types: 2,098,814, coercions: 322,579}
 ....
 Result size of Simplifier
   = {terms: 12,570, types: 2,807,500, coercions: 320,217}
 Result size of Tidy Core
   = {terms: 5,208, types: 1,104,414, coercions: 84,359}
 }}}

 === 8.2.2

 Paper:

 {{{
 Result size of CorePrep
   = {terms: 3,280, types: 5,538, coercions: 1,000, joins: 2/50}
 }}}

 Main:

 {{{
 Result size of Desugar (after optimization)
   = {terms: 4,564, types: 632,574, coercions: 196, joins: 0/982}
 Result size of Simplifier iteration=1
   = {terms: 6,858, types: 1,023,896, coercions: 86,509, joins: 0/786}
 Result size of Simplifier iteration=2
   = {terms: 4,014, types: 726,796, coercions: 85,137, joins: 1/2}
 ...
 Result size of Specialise
   = {terms: 9,329, types: 1,646,724, coercions: 168,346, joins: 2/2}
 *** Float out(FOS {Lam = Just 0,
                    Consts = True,
                    OverSatApps = False}) [Main]:
 Result size of Float out(FOS {Lam = Just 0,
                               Consts = True,
                               OverSatApps = False})
   = {terms: 10,823, types: 1,939,926, coercions: 168,346, joins: 1/2}
 Result size of Simplifier iteration=1
   = {terms: 9,648, types: 1,706,501, coercions: 227,811, joins: 2/2}
 Result size of Simplifier iteration=2
   = {terms: 9,349, types: 1,647,213, coercions: 168,353, joins: 2/2}
 ...
 Result size of Tidy Core
   = {terms: 5,212, types: 1,104,424, coercions: 84,359, joins: 2/2}
 }}}

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