Code

Add pattern matcher optimizations#2829

Code

Merged

odersky merged 32 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:add-optimize-patmatdotty-staging/dotty:add-optimize-patmatCopy head branch name to clipboard

Jul 10, 2017

Commits

Commits on Jul 9, 2017

• Polishings

  odersky

  committed
  c6076a0

  Copy full SHA for c6076a0

• Add new pattern matcher

  odersky

  committed
  886b2a1

  Copy full SHA for 886b2a1

• Fixes to pattern matcher

  odersky

  committed
  b2aa27e

  Copy full SHA for b2aa27e

• Make IsInstanceOfEvaluator more robust

  Show description for 6fd3971
  odersky

  committed
  6fd3971

  Copy full SHA for 6fd3971

• Fix isInstanceOfEvaluator

  Show description for e8eb6d9
  odersky

  committed
  e8eb6d9

  Copy full SHA for e8eb6d9

• Test outer pointer in pattern matches

  odersky

  committed
  f55959c

  Copy full SHA for f55959c

• Fixes to PatMat

  odersky

  committed
  e325601

  Copy full SHA for e325601

• Make TypeTestsCasts an Object

  Show description for 0717f18
  odersky

  committed
  0717f18

  Copy full SHA for 0717f18

• Fix typo in TypeMap

  Show description for 4057fb2
  odersky

  committed
  4057fb2

  Copy full SHA for 4057fb2

• Refine tpd.isInstance

  Show description for a43d8c1
  odersky

  committed
  a43d8c1

  Copy full SHA for a43d8c1

• Add structural equality === for some trees

  odersky

  committed
  003301b

  Copy full SHA for 003301b

• Perform switch optimization in pattern matcher

  odersky

  committed
  2e7294c

  Copy full SHA for 2e7294c

• Warn on failed switch optimization

  Show description for 96dd7fd
  odersky

  committed
  96dd7fd

  Copy full SHA for 96dd7fd

• Update test

  Show description for ff473ba
  odersky

  committed
  ff473ba

  Copy full SHA for ff473ba

• Refactorings

  Show description for 499eed4
  odersky

  committed
  499eed4

  Copy full SHA for 499eed4

• Replace previous pattern matcher

  Show description for fb03273
  odersky

  committed
  fb03273

  Copy full SHA for fb03273

• More docs and some cleanups

  odersky

  committed
  40910d8

  Copy full SHA for 40910d8

• Turn optimisations for tests on again.

  Show description for bcd9836
  odersky

  committed
  bcd9836

  Copy full SHA for bcd9836

• Turn off local optimizations again

  Show description for 8c4323f
  odersky

  committed
  8c4323f

  Copy full SHA for 8c4323f

• Some small tweaks

  odersky

  committed
  90226bd

  Copy full SHA for 90226bd

• More extensive optimizations

  odersky

  committed
  0e4e2bd

  Copy full SHA for 0e4e2bd

• Split vars and labels

  Show description for aaf9d7d
  odersky

  committed
  aaf9d7d

  Copy full SHA for aaf9d7d

• Update documentation

  odersky

  committed
  eec5732

  Copy full SHA for eec5732

• Fix typo

  odersky

  committed
  661f392

  Copy full SHA for 661f392

• Refactor optimizations

  Show description for e61ef5d
  odersky

  committed
  e61ef5d

  Copy full SHA for e61ef5d

• More aggressive variable sharing

  Show description for b4377dc
  odersky

  committed
  b4377dc

  Copy full SHA for b4377dc

• Fix docs

  odersky

  committed
  7ce9e80

  Copy full SHA for 7ce9e80

• Improve sanitize algorithm

  Show description for 8eacccf
  odersky

  committed
  8eacccf

  Copy full SHA for 8eacccf

• Refine condition when emitted code is a switch

  Show description for 53d8fef
  odersky

  committed
  53d8fef

  Copy full SHA for 53d8fef

• Avoid test-pickling failure.

  odersky

  committed
  c97d783

  Copy full SHA for c97d783

• Disable optimization

  Show description for e138568
  odersky

  committed
  e138568

  Copy full SHA for e138568

Commits on Jul 10, 2017

• Address reviewers comments

  odersky

  committed
  79493df

  Copy full SHA for 79493df