390,396c390
< Fault fault = NoFault;
<
< %(op_decl)s;
< %(op_rd)s;
<
<
< if (fault == NoFault && machInst.itstateMask != 0) {
---
> if (machInst.itstateMask != 0) {
400c394
< return fault;
---
> return NoFault;