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

Remi Forax forax at univ-mlv.fr
Fri Jul 25 19:33:27 UTC 2014


On 07/24/2014 10:33 PM, John Rose wrote:
> On Jul 24, 2014, at 6:21 AM, Maurizio Cimadamore 
> <maurizio.cimadamore at oracle.com 
> <mailto:maurizio.cimadamore at oracle.com>> wrote:
>
>> In other words, I don't believe equals() will ever be generated - 
>> i.e. the compiler will always use if_acmpeq and the likes, which will 
>> be tagged, eventually, in the bytecode.
>
> For value types (according to the current "Infant Edition") we will be 
> implementing a strong correspondence between the methods of a value 
> type and the methods of its box type:

Does it mean that the value type version can be seen as a specialization 
of the boxed type ?

Rémi




More information about the valhalla-dev mailing list