Dear qemu-devs,

Two questions about what seems to be a deviation in the qemu-implementation from PowerPC specification:

1. In comparison operations (eg. PPC_OP(cmp)), why does qemu not set the SO bit (which will be the fourth bit) of T0? The spec says that the xer_so bit is copied into the fourth bit of the CRF register.

2. In set_Rc0 operations (eg. PPC_OP(set_Rc0)), why is xer_ov used instead of xer_so? The spec says that a copy of xer_so is used.

I am using the powerpc manual as the specification document available here: www.xilinx.com/bvdocs/userguides/ppc_ref_guide.pdf.

I am looking at page 101, Table 3-34 for question 1; page 64, Table 3-2 for question 2.

Regards,
Sorav