Regarding Gsoc Project Status

Sudhanshu Saurav sudh.cse at gmail.com
Thu Jul 5 13:04:46 UTC 2018


Hi Everyone!
This is Sudhanshu Saurav (capreyon) working on Google Summer of Code 2018
Project "Verification of Bhyve Instruction emulation" is nicely going on.
After the mid-term evaluation, I will able to use XED as a decoder for
decoding bhyve Instructions with the help of Tests. Till now tests of the
following Instructions are written, decoded and verified by XED.
> And r/m16, imm16
> And r/m8, imm8
> And r/m16/32, imm8
> Mov r/m8, r8
> Mov r/m16/32, r16/32
> Mov eax, moffs16/32
> Mov moffs16/32, eax
> Mov r/m16, imm16
> Mov r/m32, imm32
> Mov r/m8, imm8
> MovZX r16, r/m8 (mov with zero extend)
> MovZX r32, r/m8
> Mov ZX r16/32, r/m16
> MovSX r16, r/m8 (mov with sign-extension)
> MovSX r32, r/m8
> MovSB m8, m8 (mov data from string to string)
> MovSW m8, m8
> MovSD m32, m32
> OR r16/32, r/m 16/32
> Cmp r/m16/32, r16/32
> Cmp r16/32, r/m16/32
Now tests for Instructions STOS, SUB, Group1, BITTEST are left which will
completed in this week or probably next week. After that I try to Automate
it by writing make file, configure etc.
You can see my progress on https://github.com/Capreyon/Test_harness


Thanks and Regards,
Sudhanshu


More information about the soc-status mailing list