New JEP: Javac intrinsics for LDC and INVOKEDYNAMIC

[forax at univ-mlv.fr]

----- Mail original -----
> De: "Brian Goetz" <brian.goetz at oracle.com>
> À: forax at univ-mlv.fr
> Cc: valhalla-dev at openjdk.java.net
> Envoyé: Mardi 11 Avril 2017 20:27:56
> Objet: Re: New JEP: Javac intrinsics for LDC and INVOKEDYNAMIC

> You don't need a separate intrinsic for that.
> 
> Intrinsics.indy(BootstrapSpecifier.of(bsm, bsmArgs),
>                 Object... dynArgs);

yes,
i was trying to avoid the class 'BootstrapSpecifier', but it's perhaps better to use it and teach the compiler about it.

Rémi

> 
> On 4/11/2017 2:11 PM, forax at univ-mlv.fr wrote:
>> And what about a Java compatible syntax that still separate the bootstrap
>> arguments from the regular arguments ?
>>
>>    class InvokedynamicCompilerIntrinsics {
>>          // empty
>>    }
>>
>>    MethodHanlde bsm = ... // a constant method handle to a bootstrap method
>>    Xxx bsmargs = ... // some constants
> >    InvokedynamicCompilerIntrinsics.bsm(bsm, bsmargs, ...).foo(args, ...)