def simulate(self, iaddr, simstate):
ecxval = simstate.get_regval(iaddr, 'ecx')
newval = ecxval.sub(SV.simone)
simstate.set_register(iaddr, 'ecx', newval)
tgtaddr = str(self.get_target_address())
if newval.value != 0:
raise SU.KTSimJumpException(iaddr, tgtaddr)
raise SU.KTSimFallthroughException(iaddr, tgtaddr)
def fallthrough():
raise SU.KTSimFallthroughException(iaddr, tgt)