Skip to content

Eliminate box-unbox pairs, tuples, *Refs #11

Closed
@retronym

Description

@retronym

Miguel's code: UnBoxElider, fixpointGivenConsumer

NOTE: benchmark before doing anything. It seems the JVM optimizes *Refs modified in a while loop.

Related:

  • eliminate tuples in multi-returns (val (a, b) = foo())
  • eliminate *Ref objects for caputred variables after inlining a closure

Also eliminate boxing of values that are discarded: see for exmple SI-9160

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions