VM tests: where are assertions?

[Alexei Kaigorodov <al...@googlemail.com>]

I am looking at

C:\Harmony\enhanced\buildtest\trunk\tests\vts\vm\src\test\vm\jvms\instructions\arithm\dadd\dadd01\dadd0101\dadd0101.xml:

...
 <Author value="Alexander D. Shipilov"/>
 <Description>
   Tests bitwise double notion for dadd instruction.
   dadd two double values and compare bitwise result with bitwise long.
   Two input double values constructed from two long values.
   The last 6 bits masks according to IEEE 754 standard.

   Covered assertions assert_instr23a043 assert_instr23a045
assert_instr23a046 assert_instr23a056
 </Description>
...

Where are those covered assertions like assert_instr23a043
assert_instr23a045 etc?
I guess they are taken from VM spec, but the spec itself does not
contain those identifiers.

thanks
Alexei

Re: VM tests: where are assertions?

[Alexei Fedotov <al...@gmail.com>]

Alexei,

AFAIR, I created a simple script which inserted assertion marks in
some version of Sun's JVM spec. The mark file looked as follows

<number of significant words from the beginning> ...
<number of significant words in between> _instr23a045
<number of significant words in between> _instr23a046 ...

Since file itself does not relate to the spec, it is quite possible to
publish the file (I'm not a lawyer). I believe Oleg Oleinik and Dima
Khukhro from Intel may know where to find it.




On Thu, Sep 10, 2009 at 11:06 AM, Pavel Pervov <pm...@gmail.com> wrote:
> I recall, I've seen that document a couple of times while working at
> Intel, but it was based on the VM specification and being a derivative
> work of Sun Microsystems' copyrighted materials and thus having
> incompatible license has never been posted to Harmony.
> And I'm afraid it will never be.
>
> WBR, Pavel.
>
> P.S. If you happen by any chance to be an Intel employee you can try
> to reach those Harmony contributors who claims they are from Intel and
> ask them if they have that document at their disposal. Be advised
> though you are only allowed to use it internally and not publish it
> without permission from Intel and original copyright owner.
>
> 2009/9/9, Alexei Kaigorodov <al...@googlemail.com>:
>> I am looking at
>>
>> C:\Harmony\enhanced\buildtest\trunk\tests\vts\vm\src\test\vm\jvms\instructions\arithm\dadd\dadd01\dadd0101\dadd0101.xml:
>>
>> ...
>>  <Author value="Alexander D. Shipilov"/>
>>  <Description>
>>    Tests bitwise double notion for dadd instruction.
>>    dadd two double values and compare bitwise result with bitwise long.
>>    Two input double values constructed from two long values.
>>    The last 6 bits masks according to IEEE 754 standard.
>>
>>    Covered assertions assert_instr23a043 assert_instr23a045
>> assert_instr23a046 assert_instr23a056
>>  </Description>
>> ...
>>
>> Where are those covered assertions like assert_instr23a043
>> assert_instr23a045 etc?
>> I guess they are taken from VM spec, but the spec itself does not
>> contain those identifiers.
>>
>> thanks
>> Alexei
>>
>



-- 
With best regards / с наилучшими пожеланиями,
Alexei Fedotov / Алексей Федотов,
http://www.telecom-express.ru/
http://harmony.apache.org/
http://www.expressaas.com/
http://openmeetings.googlecode.com/

Re: VM tests: where are assertions?

[Pavel Pervov <pm...@gmail.com>]

I recall, I've seen that document a couple of times while working at
Intel, but it was based on the VM specification and being a derivative
work of Sun Microsystems' copyrighted materials and thus having
incompatible license has never been posted to Harmony.
And I'm afraid it will never be.

WBR, Pavel.

P.S. If you happen by any chance to be an Intel employee you can try
to reach those Harmony contributors who claims they are from Intel and
ask them if they have that document at their disposal. Be advised
though you are only allowed to use it internally and not publish it
without permission from Intel and original copyright owner.

2009/9/9, Alexei Kaigorodov <al...@googlemail.com>:
> I am looking at
>
> C:\Harmony\enhanced\buildtest\trunk\tests\vts\vm\src\test\vm\jvms\instructions\arithm\dadd\dadd01\dadd0101\dadd0101.xml:
>
> ...
>  <Author value="Alexander D. Shipilov"/>
>  <Description>
>    Tests bitwise double notion for dadd instruction.
>    dadd two double values and compare bitwise result with bitwise long.
>    Two input double values constructed from two long values.
>    The last 6 bits masks according to IEEE 754 standard.
>
>    Covered assertions assert_instr23a043 assert_instr23a045
> assert_instr23a046 assert_instr23a056
>  </Description>
> ...
>
> Where are those covered assertions like assert_instr23a043
> assert_instr23a045 etc?
> I guess they are taken from VM spec, but the spec itself does not
> contain those identifiers.
>
> thanks
> Alexei
>