Changes between Initial Version and Version 4 of Ticket #7796


Ignore:
Timestamp:
Mar 29, 2013 11:59:50 AM (2 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7796

    • Property Status changed from new to closed
    • Property Test Case changed from to simplCore/should_compile/T7796
    • Property Resolution changed from to fixed
    • Property Difficulty changed from to Unknown
  • Ticket #7796 – Description

    initial v4  
    11#4962 is about generating code for (and allocating at runtime!) bindings that are kept alive only by RULEs even though the RULEs are useless downstream of .hi file generation.
    22
    3 Simon Marlow's patch for #5433 switched to a custom dead code eliminator, since the "(case) binder swap" in OccurAnal was creating breaking some code generator invariants.
     3Simon Marlow's patch for #5433 switched to a custom dead code eliminator, since the "(case) binder swap" in !OccurAnal was creating breaking some code generator invariants.
    44
    55However, that custom dead code generator doesn't do a dependency analysis, so a letrec like this
     
    1313is sent to the code generator ''without dropping'' `f`.
    1414
    15 A patch to use a dependency analysis in CorePrep's dead code eliminator improves allocation for several nofib programs (largest: cryptarithm2, knights, fem).
     15A patch to use a dependency analysis in !CorePrep's dead code eliminator improves allocation for several nofib programs (largest: cryptarithm2, knights, fem).
    1616
    1717{{{