problems using ghc-6.6.1

[Simon Peyton-Jones]

Eight times slower!  That's a serious performance bug.  Darn.

Are you sure you compiled both with the same flags (e.g. -O)?

Maybe doing -ddump-simpl and looking at the code for selectProofBasis (where most of the time goes) would be illuminating.

If you can't narrow it down any more, then I suppose you'll have to send us the entire code base to reproduce it... but I hope you can

Simon

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-haskell-users-bounces at haskell.org] On
| Behalf Of Christian Maeder
| Sent: 08 May 2007 14:19
| To: hets-devel at tzi.de; GHC Users Mailing List
| Subject: problems using ghc-6.6.1
|
| Dear Hets- and GHC-Developers,
|
| we have a problem using ghc-6.6.1. The created hets binary runs a couple
| of times slower than the one created using ghc-6.6. (see below)
|
| What might be the cause for this?
|
| Cheers Christian
|
|
| ghc-6.6.1:
|            hets +RTS -H300m -M1g -p -RTS -o prf Basic/Numbers.casl
|
|         total time  =     1979.05 secs   (39581 ticks @ 50 ms)
|         total alloc = 167,752,167,576 bytes  (excludes profiling overheads)
|
| COST CENTRE                    MODULE               %time %alloc
|
| selectProofBasis               Proofs.EdgeUtils      82.8   86.1
| sl_sign                        CASL.Sublogic          5.3    3.7
| compInclusion                  Logic.Grothendieck     3.2    3.2
| getAllPathsOfTypesBetween      Proofs.EdgeUtils       1.5    1.6
| isSubOpMap                     CASL.Sign              1.2    0.9
| primCoerce                     Logic.Coerce           0.8    1.1
|
|
| ghc-6.6:
|            hets +RTS -H300m -M1g -p -RTS -o prf Basic/Numbers.casl
|
|         total time  =      215.25 secs   (4305 ticks @ 50 ms)
|         total alloc = 20,691,103,008 bytes  (excludes profiling overheads)
|
| COST CENTRE                    MODULE               %time %alloc
|
| selectProofBasis               Proofs.EdgeUtils      73.1   79.6
| sl_sign                        CASL.Sublogic          6.8    4.2
| compInclusion                  Logic.Grothendieck     3.7    3.8
| getAllPathsOfTypesBetween      Proofs.EdgeUtils       2.8    3.1
| isSubOpMap                     CASL.Sign              1.6    1.1
| sublogics_join                 CASL.Sublogic          1.5    1.1
| primCoerce                     Logic.Coerce           1.3    1.4
| isSameTranslation              Proofs.Local           1.2    0.9
|
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users