Lukas Rytz lrytz

Boxing Elimination

Eliminate box-unbox operations, including *Ref boxes #11

Take Heuristics to the next level

Details in #53.
Also make sure to consider code size #2
Adapt the inliner heuristics to favor inlining that enables boxing elimination

Hoisting for eliminating unnecessary captures (outer references)

#24

class C {
  @inline final def m8[T, U, V](f: (T, U) => V, x: T, y: U) = f(x, y)
  def t8 = {
    val fun = (x: Int, y: Double) => 1l + x + y.toLong
    m8(fun, 1, 2d)
  }
}

	[mergetool "meld"]
	cmd = meld $LOCAL $BASE $REMOTE -o $MERGED --diff $BASE $LOCAL --diff $BASE $REMOTE
	[mergetool "diffmerge"]
	cmd = ~/Applications/bin/diffmergemergetool `pwd` \"$BASE\" \"$LOCAL\" \"$REMOTE\" \"$MERGED\"
	trustExitCode = false
	[mergetool "ksdiff"]
	cmd = ~/Applications/bin/ksdiffmergetool `pwd` \"$BASE\" \"$LOCAL\" \"$REMOTE\" \"$MERGED\"
	trustExitCode = true

	[scala-js] [info] scala.Null
	[scala-js] [error] x classTag of scala.Null should contain proper Class[_] - #297
	[scala-js] [error] Expected false to be truthy.
	[scala-js] org.scalajs.jasminetest.JasmineTestException: TypeError: Cannot call method "getName__T" of null in Lorg_scalajs_testsuite_compiler_RuntimeTypesTest$.sjsir (line 89)
	[scala-js] at <jscode>.(file:/home/jenkins/workspace/scala-2.12.x-integrate-community-build/target-0.9.1/project-builds/scala-js-92e312025f2a50a9f2d752e4e3c75865eadeb89e/test-suite/src/test/scala/org/scalajs/testsuite/compiler/RuntimeTypesTest.scala:56)
	[scala-js] at <jscode>.(file:/home/jenkins/workspace/scala-2.12.x-integrate-community-build/target-0.9.1/project-builds/scala-js-92e312025f2a50a9f2d752e4e3c75865eadeb89e/test-suite/src/test/scala/org/scalajs/testsuite/compiler/RuntimeTypesTest.scala:53)
	[scala-js] at <jscode>.(https://raw.githubusercontent.com/scala-js/scala-js/v0.6.4/library/src/main/scala/scala/scalajs/runtime/AnonFunctions.scala:10)
	[scala-js] at <jsco

	#!/bin/sh

	files="$@"

	asm_jar=~/Applications/bin/asm-5.0.2/lib/all/asm-all-5.0.2.jar
	asm_main=org.objectweb.asm.util.Textifier

	debug=""

	for f in $files; do

	[scala-js] [info] java.util.Collections.sort
	[scala-js] [error] x should implement sort[T<:Comparable[T]](List[T]) and behave correctly with java.util.ArrayList
	[scala-js] org.scalajs.jasminetest.JasmineTestException: scala.scalajs.runtime.UndefinedBehaviorError: An undefined behavior was detected: 0 is not an instance of java.lang.Integer
	[scala-js] at <jscode>.(file:/home/jenkins/workspace/scala-2.12.x-integrate-community-build/target-0.9.1/project-builds/scala-js-3530eb213d2adadac19d6295ca29104fece2aa2d/library/src/main/scala/scala/scalajs/runtime/StackTrace.scala:39)
	[scala-js] at <jscode>.(file:/home/jenkins/workspace/scala-2.12.x-integrate-community-build/target-0.9.1/project-builds/scala-js-3530eb213d2adadac19d6295ca29104fece2aa2d/library/src/main/scala/scala/scalajs/runtime/StackTrace.scala:33)
	[scala-js] at <jscode>.(file:/home/jenkins/workspace/scala-2.12.x-integrate-community-build/target-0.9.1/project-builds/scala-js-3530eb213d2adadac19d6295ca29104fece2aa2d/javalanglib/src/main/scala/java/lang

	➜ sandbox git:(removeIcode) cat Test.scala
	class C {
	def f(l: List[String]) = l foreach println
	}

	➜ sandbox git:(removeIcode) ~/scala/scala3/build/pack/bin/scalac -Yopt:l:classpath Test.scala

	➜ sandbox git:(removeIcode) cfr-decompiler C.class
	public class C {
	private static /* synthetic */ Map $deserializeLambdaCache$;

	#!/usr/bin/env bash
	#
	##############################################################################
	# Copyright 2002-2013 LAMP/EPFL
	#
	# This is free software; see the distribution for copying conditions.
	# There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A
	# PARTICULAR PURPOSE.
	##############################################################################

	// class version 52.0 (52)
	// access flags 0x421
	public abstract class scala/tools/nsc/typechecker/EtaExpansion$class {

	// compiled from: EtaExpansion.scala

	ATTRIBUTE Scala : unknown

	ATTRIBUTE ScalaInlineInfo : unknown
	// access flags 0x19