[GHC] #955: more object-code blow-up in ghc-6.6 vs. ghc-6.4.2 (both with optimization)

[GHC]

#955: more object-code blow-up in ghc-6.6 vs. ghc-6.4.2 (both with optimization)
---------------------------------+------------------------------------------
 Reporter:  maeder at tzi.de        |          Owner:          
     Type:  bug                  |         Status:  new     
 Priority:  normal               |      Milestone:  6.6.1   
Component:  Compiler             |        Version:  6.6     
 Severity:  normal               |     Resolution:          
 Keywords:  object-code blow-up  |     Difficulty:  Unknown 
 Testcase:                       |   Architecture:  Multiple
       Os:  Multiple             |  
---------------------------------+------------------------------------------
Changes (by maeder at tzi.de):

  * milestone:  => 6.6.1
  * cc:  => simonpj at microsoft.com

Comment:

 I'll update the attachment. Meanwhile latin1 characters have been removed
 from porgramatica. I've also tested to use a pragma in ATC2.hs in order to
 reduce the object code size.

 {-# OPTIONS -O0 -fmax-simplifier-iterations2 #-}
 reduced the size of ATC2.o from 4,1M to 3,5M (which is still far to big).

 Just using "-fmax-simplifier-iterations0" leaded to:

 {{{
 ghc-6.6: panic! (the 'impossible' happened)
   (GHC version 6.6 for i386-unknown-linux):
         simplCore/FloatOut.lhs:(393,0)-(394,45): Non-exhaustive patterns
 in function getBindLevel
 }}}

 However in conjunction with "-O0" it compiles nicely to a little object
 files but fails to link then, i.e. with {-# OPTIONS -O0 -fmax-simplifier-
 iterations0 #-} as first line of ATC2.hs:

 {{{
 Linking ATC3 ...
 ATC2.o(.text+0x5214): In function `ATC2_zdf20_info':
 ghc26101_0.hc: undefined reference to
 `base_DataziTypeable_zdWZCDTypeable_info'
 ATC2.o(.text+0x5374): In function `ATC2_zdf19_info':
 ghc26101_0.hc: undefined reference to
 `base_DataziTypeable_zdWZCDTypeable_info'
 ATC2.o(.text+0x54d4): In function `ATC2_zdf18_info':
 ghc26101_0.hc: undefined reference to
 `base_DataziTypeable_zdWZCDTypeable_info'
 ATC2.o(.text+0x7bd4): In function `ATC2_zdf3_info':
 ghc26101_0.hc: undefined reference to
 `base_DataziTypeable_zdWZCDTypeable_info'
 ATC2.o(.text+0x7d34): In function `ATC2_zdf2_info':
 ghc26101_0.hc: undefined reference to
 `base_DataziTypeable_zdWZCDTypeable_info'
 ATC2.o(.text+0x8e2c): In function `s4RO_info':
 ghc26101_0.hc: undefined reference to `TiTypes_zdWS_info'
 ATC2.o(.text+0xcc98): In function `s5gf_info':
 ghc26101_0.hc: undefined reference to
 `base_DataziTypeable_zdWZCDTypeable_info'
 ATC2.o(.text+0xce14): In function `s5gM_info':
 ghc26101_0.hc: undefined reference to
 `base_DataziTypeable_zdWZCDTypeable_info'
 ATC2.o(.text+0xd094): In function `s5hC_info':
 ghc26101_0.hc: undefined reference to
 `base_DataziTypeable_zdWZCDTypeable_info'
 ATC2.o(.text+0xd210): In function `s5i9_info':
 ghc26101_0.hc: undefined reference to
 `base_DataziTypeable_zdWZCDTypeable_info'
 ATC2.o(.text+0xd490): In function `s5iZ_info':
 ghc26101_0.hc: undefined reference to
 `base_DataziTypeable_zdWZCDTypeable_info'
 ATC2.o(.text+0xddc8): In function `s5m3_info':
 ghc26101_0.hc: undefined reference to `TiKinds_zdWKVar_info'
 ATC2.o(.text+0xf3b8): In function `s5tY_info':
 ghc26101_0.hc: undefined reference to
 `base_DataziTypeable_zdWZCDTypeable_info'
 ATC2.o(.text+0xf534): In function `s5uv_info':
 ghc26101_0.hc: undefined reference to
 `base_DataziTypeable_zdWZCDTypeable_info'
 ATC2.o(.text+0xf6b0): In function `s5v2_info':
 ghc26101_0.hc: undefined reference to
 `base_DataziTypeable_zdWZCDTypeable_info'
 ATC2.o(.text+0xf82c): In function `s5vz_info':
 ghc26101_0.hc: undefined reference to
 `base_DataziTypeable_zdWZCDTypeable_info'
 ATC2.o(.text+0xf9a8): In function `s5w6_info':
 ghc26101_0.hc: undefined reference to
 `base_DataziTypeable_zdWZCDTypeable_info'
 ATC2.o(.text+0xfb08): In function `s5y3_info':
 ghc26101_0.hc: undefined reference to `PropSyntaxRec_zdWDec_info'
 ATC2.o(.text+0x10574): In function `s5Cw_info':
 ghc26101_0.hc: undefined reference to `PropSyntaxRec_zdWPA_info'
 ATC2.o(.text+0x10e10): In function `s5Gx_info':
 ghc26101_0.hc: undefined reference to `PropSyntaxRec_zdWPP_info'
 ATC2.o(.text+0x11724): In function `s5KC_info':
 ghc26101_0.hc: undefined reference to `PropSyntaxRec_zdWExp_info'
 collect2: ld returned 1 exit status
 }}}

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