AnyVal leaves no-op residue which the optimizer can't eliminate

[scabug]

Compile this under -optimise:

class A { def f1 = 3 max 4 }

You are treated to not one but two no-ops in the bytecode. First we have to load Predef, because maybe Predef hasn't been loaded yet. Then we have to load the RichInt companion object, because maybe that hasn't been loaded either. And if we mark max @inline, it won't make any difference.

  //  0: getstatic     #16                 // Field scala/runtime/RichInt$.MODULE$:Lscala/runtime/RichInt$;
  //  3: getstatic     #21                 // Field scala/Predef$.MODULE$:Lscala/Predef$;
  //  6: astore_1
  //  7: iconst_3
  //  8: iconst_4
  //  9: invokevirtual #25                 // Method scala/runtime/RichInt$.max$extension:(II)I
  // 12: ireturn

Pull request to follow.

  //  after pull request
  //  0: iconst_3
  //  1: iconst_4
  //  2: if_icmpgt     9
  //  5: iconst_4
  //  6: goto          10
  //  9: iconst_3
  // 10: ireturn

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-7393?orig=1
Reporter: @paulp

[scabug]

@paulp said:
scala/scala#2416

[scabug]

@magarciaEPFL said:
Somewhat complementary, the @reallyStatic annotation (provisional name) appears more widely applicable (top level objects, value classes) and its prototype works fine for Mode, and other classes in the compiler.

Description: https://groups.google.com/d/msg/scala-internals/B_yPFKRlE44/j0awDzzvHW4J

Implementation:
magarciaEPFL/scala@2ff2322
magarciaEPFL/scala@253ba27

For now the above can be seen in action only with the new backend (which is also doing fine)
magarciaEPFL/scala@master...GenRefactored25

Details about the new backend: http://magarciaepfl.github.io/scala/

[scabug]

@SethTisue said:
@lrytz any hope here with the new optimizer?

[scabug]

@lrytz said:
It's not on the short list for 2.12.0, but we'll get there eventually (scala/scala-dev#16).