hg: valhalla/valhalla/langtools: Improvements to type specialization pipeline:

[maurizio.cimadamore at oracle.com]

Changeset: 4f830f22c29c
Author:    mcimadamore
Date:      2014-12-10 16:41 +0000
URL:       http://hg.openjdk.java.net/valhalla/valhalla/langtools/rev/4f830f22c29c

Improvements to type specialization pipeline:
* redefine erasure in terms of specialized classes
* avoid tweaking symbol types at specialization time (leading to compilation order issues)
* logic to force specialization of supertypes before subtypes no longer required
* add better support for specialized symbols so that they can flow through compilation pipeline w/o requiring code changes (i.e. remove specialize/unspecialize explicit calls)
* misc cleanups

! src/jdk.compiler/share/classes/com/sun/tools/javac/code/Flags.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/code/Symbol.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/code/Types.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Check.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Lower.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/SpecializeTypes.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/TransTypes.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/ClassWriter.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Items.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Pool.java
+ test/tools/javac/valhalla/typespec/Auxiliary04.java