Changes between Version 43 and Version 44 of Supercompilation


Ignore:
Timestamp:
Aug 2, 2009 3:08:30 PM (6 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v43 v44  
    88
    99* The Simplifier gets confused by the wrong OccInfo on things. So run occurence analysis at the end of supercompilation. The occurence analyser gets confused by having the wrong Unfoldings for id's though. We currently zap things here and there, but this is not the right way to do it.
     10
     11== Scalability ==
     12
     13* The whistle is THE bad guy when it comes to performance; we spend 35% of our time on testing. It is trivial to run in parallell.
     14
    1015
    1116== Insights ==
     
    8792
    8893{{{
    89 COST CENTRE                    MODULE               %time %alloc
     94COST CENTRE                    MODULE               %time %alloc  ticks     bytes
    9095
    91 isHomemb                       Scp                   19.7   46.8
    92 peel                           Scp                    9.5    3.5
    93 dive                           Scp                    5.1    8.2
    94 maybeInline                    Scp                    3.0    2.1
    95 thenSmpl                       SimplMonad             2.1    0.2
    96 match_list                     Unify                  1.9    0.6
    97 shiftR1                        UniqFM                 1.6    0.0
    98 cmpName                        Name                   1.5    1.8
    99 match                          Scp                    1.4    2.1
    100 getCommonNodeUFMData           UniqFM                 1.4    0.1
    101 shiftL1                        UniqFM                 1.4    0.0
    102 match                          Unify                  1.4    0.0
    103 rhssOfAlts                     CoreSyn                1.3    2.1
    104 >>=_aLo                        RegAlloc.Linear.State   1.3    0.4
    105 mkLitString                    FastString             1.2    1.2
    106 thenFC                         CgMonad                1.2    0.4
    107 iBox                           FastTypes              1.1    1.5
    108 thenNat                        NCGMonad               1.1    0.1
    109 insert_ele                     UniqFM                 1.0    1.5
    110 plug                           Scp                    0.7    1.6
    111 renamings                      Scp                    0.6    1.4
    112 match_ty                       Scp                    0.6    1.1
    113 collectArgs                    CoreSyn                0.5    1.4
    114 }}}
    115 
    116 
    117 {{{
    118 COST CENTRE                    MODULE               %time %alloc
    119 
    120 correctNodeUFM                 UniqFM                16.1   23.3
    121 isHomemb                       Scp2                   9.3   19.7
    122 peel                           Scp2                   4.1    1.7
    123 realExprSize                   Scp2                   4.0    6.4
    124 iBox                           FastTypes              3.7    5.9
    125 maybeInline                    Scp2                   2.2    1.5
    126 dive                           Scp2                   2.1    3.4
    127 thenSmpl                       SimplMonad             2.0    0.1
    128 mkLeafUFM                      UniqFM                 1.9    2.3
    129 match_list                     Unify                  1.8    0.5
    130 mkLLNodeUFM                    UniqFM                 1.8    3.6
    131 shiftR1                        UniqFM                 1.5    0.0
    132 cmpName                        Name                   1.3    1.3
    133 match                          Scp2                   1.2    1.7
    134 shiftL1                        UniqFM                 1.2    0.0
    135 map_tree                       UniqFM                 1.2    2.7
    136 match                          Unify                  1.2    0.0
    137 mkLitString                    FastString             1.2    1.0
    138 insert_ele                     UniqFM                 1.1    1.2
    139 getCommonNodeUFMData           UniqFM                 1.1    0.1
    140 plug                           Scp2                   0.9    1.3
    141 renamings                      Scp2                   0.6    1.2
     96isHomemb                       Scp                   19.3   47.2    853 4763146466
     97peel                           Scp                    9.0    4.0    396 408786710
     98dive                           Scp                    5.3    8.2    233 832498569
     99thenSmpl                       SimplMonad             3.1    0.2    135  24371642
     100thenNat                        NCGMonad               1.9    0.2     85  16580813
     101>>=_aLo                        RegAlloc.Linear.State   1.8    0.5     79  50778216
     102mkLitString                    FastString             1.7    1.7     76 171934583
     103maybeInline                    Scp                    1.6    0.3     69  29715474
     104thenFC                         CgMonad                1.6    0.6     69  56081175
     105rhssOfAlts                     CoreSyn                1.5    2.1     68 208655884
     106inlinePerformIO                FastFunctions          1.4    0.0     64         0
     107varUnique                      Var                    1.1    1.0     48 100342146
     108renamings                      Scp                    0.8    1.8     36 185457589
     109collectArgs                    CoreSyn                0.8    2.3     36 228680316
     110insert_ele                     UniqFM                 0.7    1.1     30 109012316
    142111}}}
    143112