REG_INVALID
|| REG_INVALID(retAddrReg)
if (REG_INVALID(i))
if (REG_INVALID(i)) {
|| REG_INVALID(state.regs[i].value)
#ifndef REG_INVALID