def _translate_sdiv(self, oprnd1, oprnd2, oprnd3):
        assert oprnd1.size and oprnd2.size and oprnd3.size
        assert oprnd1.size == oprnd2.size
        assert oprnd2.size == oprnd3.size

        op1_var = self._translate_src_oprnd(oprnd1)
        op2_var = self._translate_src_oprnd(oprnd2)
        op3_var, parent_reg_constrs = self._translate_dst_oprnd(oprnd3)

        expr = (op3_var == (op1_var / op2_var))

        rv = [expr]

        if parent_reg_constrs:
            rv += parent_reg_constrs

        return rv
Return a formula representation of an DIV instruction.
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/core/smt/smttranslator.py/SmtTranslator._translate_sdiv