hg: valhalla/valhalla/langtools: Add support for tracking 'any'-related opcodes

[Remi Forax]

Hi Maurizio,
I think you have miss several opcodes that also need to be marked as any,
   anewarray, areturn and i think dup, dup_x1, dup_x2  and pop
(I suppose than Object.equals will be used instead of if_acmpeq, if_acmpne)

Maybe you want to treat anewarray like opcodes getfield/invoke* but
in that case, either you need invokedynamic or a new bytecode ?

cheers,
Rémi

On 07/24/2014 01:26 PM, maurizio.cimadamore at oracle.com wrote:
> Changeset: bb57e20a33a4
> Author:    mcimadamore
> Date:      2014-07-24 12:22 +0100
> URL:       http://hg.openjdk.java.net/valhalla/valhalla/langtools/rev/bb57e20a33a4
>
> Add support for tracking 'any'-related opcodes
> *) Overhauled Items hierarchy (now field/methods have their own classes)
> *) Add AnyItem to model a bytecode item associated with 'any' variables
> *) Add new BytecodeMapping attribute to map 'any'-related opcodes back to the original (unerased) signature
>
> ! src/share/classes/com/sun/tools/javac/jvm/ClassWriter.java
> ! src/share/classes/com/sun/tools/javac/jvm/Code.java
> ! src/share/classes/com/sun/tools/javac/jvm/Gen.java
> ! src/share/classes/com/sun/tools/javac/jvm/Items.java
> ! src/share/classes/com/sun/tools/javac/util/Names.java
>