#NEWLINE# def _translate_smod( self , oprnd1 , oprnd2 , oprnd3 ) : #NEWLINE# #INDENT# 'Return a formula representation of an MOD instruction.\n        ' #NEWLINE# assert ( oprnd1 . size and oprnd2 . size and oprnd3 . size ) #NEWLINE# assert ( oprnd1 . size == oprnd2 . size ) #NEWLINE# assert ( oprnd2 . size == oprnd3 . size ) #NEWLINE# op1_var = self . _translate_src_oprnd ( oprnd1 ) #NEWLINE# op2_var = self . _translate_src_oprnd ( oprnd2 ) #NEWLINE# ( op3_var , parent_reg_constrs ) = self . _translate_dst_oprnd ( oprnd3 ) #NEWLINE# expr = ( op3_var == op2_var . smod ( op1_var ) ) #NEWLINE# rv = [ expr ] #NEWLINE# if parent_reg_constrs : #NEWLINE# #INDENT# rv += parent_reg_constrs #NEWLINE# #UNINDENT# return rv