Changes between Version 1 and Version 5 of Ticket #609


Ignore:
Timestamp:
Nov 12, 2007 1:43:30 PM (8 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #609

    • Property Milestone changed from to _|_
  • Ticket #609 – Description

    v1 v5  
     1If you compile, for example, drvrun014 with -prof -auto-all, you'll see stuff like
    12{{{
    2 If you compile, for example, drvrun014 with -prof -auto-all, you'll see stuff like
    3 
    43    (scc "c" (dataToTag#)) y
    5 
     4}}}
    65This generates bad code, because we end up eta-expaning dataToTag, which allocates an extra function closure. 
    76
    87We think that in general
    9 
     8{{{
    109   (scc "c" e) y  = scc "c" (e y)
    11 
    12 to within a small constant factor.  So maybe the simplifier, or CorePrep, or both, should do this transformation.
    1310}}}
     11to within a small constant factor.  So maybe the simplifier, or `CorePrep`, or both, should do this transformation.