Code

Revive function specialization#9846

Code

Closed

liufengyun wants to merge 36 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fun-specdotty-staging/dotty:fun-specCopy head branch name to clipboard

Commits

Commits on Nov 11, 2020

• Add phases and initial replacement for super

  

  felixmulder

  authored and

  liufengyun

  committed
  5f916ea

  Copy full SHA for 5f916ea

• Replace all existing combinations of Function1 with specialized version

  

  felixmulder

  authored and

  liufengyun

  committed
  6708a2c

  Copy full SHA for 6708a2c

• Do transformations on symbol level too

  

  felixmulder

  authored and

  liufengyun

  committed
  cee2b3b

  Copy full SHA for cee2b3b

• Refactor transformations to be more idiomatic

  

  felixmulder

  authored and

  liufengyun

  committed
  e0d22a6

  Copy full SHA for e0d22a6

• Add dispatch to specialized applys

  

  felixmulder

  authored and

  liufengyun

  committed
  88b0ac6

  Copy full SHA for 88b0ac6

• Add forwarding method for generic case

  

  felixmulder

  authored and

  liufengyun

  committed
  d42ac47

  Copy full SHA for d42ac47

• Don't specialize Function1 tree when invalid to

  

  felixmulder

  authored and

  liufengyun

  committed
  48c5e73

  Copy full SHA for 48c5e73

• Write test to check for specialized apply

  

  felixmulder

  authored and

  liufengyun

  committed
  0d6b2be

  Copy full SHA for 0d6b2be

• Remove `DispatchToSpecializedApply` phase

  

  felixmulder

  authored and

  liufengyun

  committed
  3b6bfe1

  Copy full SHA for 3b6bfe1

• SpecializeFunction1: don't roll over parents, use mapConserve

  

  felixmulder

  authored and

  liufengyun

  committed
  1778973

  Copy full SHA for 1778973

• Rewrite to handle all specialized functions

  

  felixmulder

  authored and

  liufengyun

  committed
  97c91d3

  Copy full SHA for 97c91d3

• Don't remove parents not being specialized

  

  felixmulder

  authored and

  liufengyun

  committed
  9278815

  Copy full SHA for 9278815

• Add plain function tests to NameOps and Definitions

  

  felixmulder

  authored and

  liufengyun

  committed
  d5f0f10

  Copy full SHA for d5f0f10

• Rewrite `SpecializeFunctions` from `DenotTransformer` to `InfoTransformer`

  

  felixmulder

  authored and

  liufengyun

  committed
  c5b55fa

  Copy full SHA for c5b55fa

• Add `MiniPhaseTransform` to add specialized methods to FunctionN

  

  felixmulder

  authored and

  liufengyun

  committed
  ba8459c

  Copy full SHA for ba8459c

• Add synthetic bridge when compiling FunctionN

  

  felixmulder

  authored and

  liufengyun

  committed
  450ca10

  Copy full SHA for 450ca10

• Fix ordering of specialized names and type parameterized apply

  

  felixmulder

  authored and

  liufengyun

  committed
  8bafdaa

  Copy full SHA for 8bafdaa

• Add parent types explicitly when specializing

  Show description for 64d035b
  

  felixmulder

  authored and

  liufengyun

  committed
  64d035b

  Copy full SHA for 64d035b

• Make `ThisName` recursive on `self.ThisName`

  

  felixmulder

  authored and

  liufengyun

  committed
  b439095

  Copy full SHA for b439095

• Make sure specialized functions get the correct name

  

  felixmulder

  authored and

  liufengyun

  committed
  fb9c335

  Copy full SHA for fb9c335

• Fix compilation errors

  

  Duhemm

  authored and

  liufengyun

  committed
  03d3c93

  Copy full SHA for 03d3c93

• Don't change parents in `specializeFunctions`

  

  Duhemm

  authored and

  liufengyun

  committed
  3c558d0

  Copy full SHA for 3c558d0

• Cleanup

  

  Duhemm

  authored and

  liufengyun

  committed
  e3c394e

  Copy full SHA for e3c394e

• Move type to JVM tag conversion to Definitions

  

  Duhemm

  authored and

  liufengyun

  committed
  feb30a3

  Copy full SHA for feb30a3

• Add more tests for function specialization

  

  Duhemm

  authored and

  liufengyun

  committed
  4c16b05

  Copy full SHA for 4c16b05

• Pass by name should not introduce boxing

  

  Duhemm

  authored and

  liufengyun

  committed
  3ecc5cc

  Copy full SHA for 3ecc5cc

• Cleanup

  

  Duhemm

  authored and

  liufengyun

  committed
  9788086

  Copy full SHA for 9788086

• No specialization for Function3

  

  Duhemm

  authored and

  liufengyun

  committed
  c807df8

  Copy full SHA for c807df8

• Adapt to recent changes in transformers and phases

  

  Duhemm

  authored and

  liufengyun

  committed
  03e901d

  Copy full SHA for 03e901d

• Address review comments

  

  Duhemm

  authored and

  liufengyun

  committed
  79cd02a

  Copy full SHA for 79cd02a

• Optimize phase `SpecializeFunctions`

  Show description for dde3934
  

  Duhemm

  authored and

  liufengyun

  committed
  dde3934

  Copy full SHA for dde3934

Commits on Nov 12, 2020

• Add specialization phases

  Show description for fccd3dd
  liufengyun

  committed
  fccd3dd

  Copy full SHA for fccd3dd

• change 1

  liufengyun

  committed
  b33afd9

  Copy full SHA for b33afd9

• change 2

  liufengyun

  committed
  d3fc1d6

  Copy full SHA for d3fc1d6

• Performance tweeak

  Show description for a8127bb
  liufengyun

  committed
  a8127bb

  Copy full SHA for a8127bb

• Port Function0 signature change

  Show description for 1aa0d6e
  

  nicolasstucki

  authored and

  liufengyun

  committed
  1aa0d6e

  Copy full SHA for 1aa0d6e