RFR(L): 8143211: provide bytecode intrinsics for loop and try/finally executors

[Michael Haupt]

Hi Vladimir,

> Am 01.07.2016 um 14:00 schrieb Vladimir Ivanov <vladimir.x.ivanov at oracle.com>:
> Stale LF shape in the comment.

Fixed.

> -            if (assertStaticType(cls, n))
> -                return;  // this cast was already performed
> +            assertStaticType(cls, n);
> 
> This change completely defeats localClasses purpose. I'd like to understand more why the verifier complains about missing checkcast.

After internal discussion, the fix we arrived at is now here: http://cr.openjdk.java.net/~mhaupt/8143211/webrev.03/

Best,

Michael

-- 

 <http://www.oracle.com/>
Dr. Michael Haupt | Principal Member of Technical Staff
Phone: +49 331 200 7277 | Fax: +49 331 200 7561
Oracle Java Platform Group | LangTools Team | Nashorn
Oracle Deutschland B.V. & Co. KG | Schiffbauergasse 14 | 14467 Potsdam, Germany

ORACLE Deutschland B.V. & Co. KG | Hauptverwaltung: Riesstraße 25, D-80992 München
Registergericht: Amtsgericht München, HRA 95603

Komplementärin: ORACLE Deutschland Verwaltung B.V. | Hertogswetering 163/167, 3543 AS Utrecht, Niederlande
Handelsregister der Handelskammer Midden-Nederland, Nr. 30143697
Geschäftsführer: Alexander van der Ven, Jan Schultheiss, Val Maher
 <http://www.oracle.com/commitment>	Oracle is committed to developing practices and products that help protect the environment