412c412,422
< return new Vmrs(machInst, rt, (IntRegIndex)specReg);
---
> if (rt == 0xf) {
> CPSR cpsrMask = 0;
> cpsrMask.n = 1;
> cpsrMask.z = 1;
> cpsrMask.c = 1;
> cpsrMask.v = 1;
> return new VmrsApsr(machInst, INTREG_CONDCODES,
> (IntRegIndex)specReg, (uint32_t)cpsrMask);
> } else {
> return new Vmrs(machInst, rt, (IntRegIndex)specReg);
> }