

def _translate_jecxz(self, tb, instruction):
    oprnd0 = tb.read(instruction.operands[0])
    addr_oprnd = self._translate_address(tb, oprnd0)
    tmp0 = tb.temporal(1)
    ecx = ReilRegisterOperand('ecx', 32)
    tb.add(self._builder.gen_bisz(ecx, tmp0))
    tb.add(self._builder.gen_jcc(tmp0, addr_oprnd))

dataset/ETHPy150Open programa-stic/barf-project/barf/barf/arch/x86/x86translator.py X86Translator._translate_jecxz/original