389,390c389,390
< if (inst->tcBase()->readMiscReg(misc_reg_idx) !=
< thread->readMiscReg(misc_reg_idx)) {
---
> if (inst->tcBase()->readMiscRegNoEffect(misc_reg_idx) !=
> thread->readMiscRegNoEffect(misc_reg_idx)) {
394,395c394,395
< inst->tcBase()->readMiscReg(misc_reg_idx),
< thread->readMiscReg(misc_reg_idx));
---
> inst->tcBase()->readMiscRegNoEffect(misc_reg_idx),
> thread->readMiscRegNoEffect(misc_reg_idx));
435c435
< thread->setMiscReg(idx, inst->readIntResult());
---
> thread->setMiscRegNoEffect(idx, inst->readIntResult());