On Mon, Dec 14, 2009 at 1:07 PM, Paul Brook <p...@codesourcery.com> wrote: >> - uint32_t VF; /* V is the bit 31. All other bits are undefined */ >> + uint32_t VF; /* V is the bit 28. */ > > No. The original comment is correct.
And so that the answer is at least a bit useful: these fields are not directly mapped to CPSR; they are the results of computations and can then be translated to bits in CPSR (look for cpsr_read/cpsr_write in helper.c). If you want to see how VF is set, look for add_cc in op_helper.c. This is done this way to speed up simulation. HTH, Laurent