Changes between Initial Version and Version 1 of Ticket #855, comment 20


Ignore:
Timestamp:
Mar 28, 2018 2:12:17 PM (19 months ago)
Author:
sgraf
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #855, comment 20

    initial v1  
    1 A quick update: `ex1` is optimized to similar code as above, but without resorting to forced `SPEC` now. E.g., inference of `ArgOcc`s is now much better, because it looks at occs from specialised RHSs now (specialising for lambdas gives rise to new occs). This entailed a rewrite of the spec loop. Also I had to pass on occs from recursive calls to achieve something like the static argument transformation.
     1A quick update: `ex1` is optimized to similar code as above, but without resorting to forced `SPEC` now. E.g., inference of `ArgOcc`s is now much better, because it looks at occs from specialised RHSs (specialising for lambdas gives rise to new occs). This entailed a rewrite of the spec loop. Also I had to pass on occs from recursive calls to achieve something like the static argument transformation.
    22
    33I'll write things up in a wiki page once I'm done trying to optimize `ex{2,3}`. This is the code currently generated for `ex1`: