compile hang and memory blowup when using profiling and optimization

When I try to compile the following files:

-- Vectorize.hs
{-# OPTIONS_GHC -Wall #-}
{-# LANGUAGE TypeOperators #-}
 
module Vectorize
       ( GVectorize(..)
       ) where
 
import GHC.Generics
import Data.Vector ( Vector )
import qualified Data.Vector as V
 
gvlength :: GVectorize f => f a -> Int
gvlength = V.length . gvectorize . (gempty `asFunctorOf`)
  where
    asFunctorOf :: f a -> f b -> f a
    asFunctorOf x _ = x
 
class GVectorize f where
  gdevectorize :: Vector a -> f a
  gvectorize :: f a -> Vector a
  gempty :: f ()
 
instance (GVectorize f, GVectorize g) => GVectorize (f :*: g) where
  gdevectorize v0s
    | V.length v0s < n0 =
      error $ show n0
    | otherwise = f0 :*: f1
    where
      f0 = gdevectorize v0
      f1 = gdevectorize v1
 
      n0 = gvlength f0
 
      (v0,v1) = V.splitAt n0 v0s
 
  gvectorize (f :*: g) = gvectorize f V.++ gvectorize g
  gempty = gempty :*: gempty
 
instance GVectorize f => GVectorize (M1 i c f) where
  gdevectorize = M1 . gdevectorize
  gvectorize = gvectorize . unM1
  gempty = undefined -- M1 gempty
 
instance GVectorize Par1 where
  gdevectorize _ = undefined
  gvectorize = V.singleton . unPar1
  gempty = undefined -- Par1 ()

-- Woo.hs
{-# OPTIONS_GHC -Wall #-}
{-# Language DeriveGeneric #-}
 
module Woo
       ( Woo(..)
       , devectorize
       ) where
 
import GHC.Generics
import Data.Vector ( Vector )
 
import Vectorize ( GVectorize(..) )
 
data Woo a =
  MkWoo { x00 :: a
        , x01 :: a
        , x02 :: a
        , x03 :: a
        , x04 :: a
        , x05 :: a
        , x06 :: a
        , x07 :: a
        , x08 :: a
        , x09 :: a
        , x10 :: a
        , x11 :: a
        , x12 :: a
        , x13 :: a
        , x14 :: a
        , x15 :: a
        , x16 :: a
        , x17 :: a
        , x18 :: a
        , x19 :: a
        , x20 :: a
        , x21 :: a
        } deriving (Generic1)
 
devectorize :: Vector a -> Woo a
devectorize = to1 . gdevectorize

with ghc -O2 -prof -fprof-auto-calls Woo.hs, GHC seems to hang on Woo.o and the memory usage steadily creeps up (I killed it at 5GB after about 5 minutes).

I don't think this is #7068 (closed) / #7898 (closed) / #8960 (closed) because -fno-spec-constr doesn't fix it and the end of the -v3 output is:

...
...
*** SpecConstr:
Result size of SpecConstr
  = {terms: 89,855, types: 125,614, coercions: 138,597}
*** Simplifier:
Result size of Simplifier iteration=1
  = {terms: 428,416, types: 555,965, coercions: 855,101}
Result size of Simplifier
  = {terms: 428,386, types: 555,815, coercions: 626,125}
*** Tidy Core:
Result size of Tidy Core
  = {terms: 428,386, types: 555,815, coercions: 626,125}
writeBinIface: 190 Names
writeBinIface: 495 dict entries
*** CorePrep:
Result size of CorePrep
  = {terms: 533,584, types: 600,927, coercions: 626,125}
*** Stg2Stg:
*** CodeOutput:
*** New CodeGen:
*** CPSZ:
*** CPSZ:
*** CPSZ:
*** CPSZ:
*** CPSZ:
*** CPSZ:
*** CPSZ:

and then about another 100 lines of *** CPSZ: before it hangs.

Removing either the optimization or profiling flags fixes the bug.

Trac metadata

Trac field	Value
Version	7.8.1-rc2
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC	gregmainland@gmail.com
Operating system
Architecture