#NEWLINE# def _translate_src_register_oprnd( self , operand ) : #NEWLINE# #INDENT# 'Translate source resgister operand to SMT expr.\n        ' #NEWLINE# reg_info = self . _arch_alias_mapper . get ( operand . name , None ) #NEWLINE# if reg_info : #NEWLINE# #INDENT# ( var_base_name , offset ) = reg_info #NEWLINE# var_name = self . _get_var_name ( var_base_name ) #NEWLINE# var_size = self . _arch_regs_size [ var_base_name ] #NEWLINE# ret_val = self . _solver . mkBitVec ( self , var_name ) #NEWLINE# ret_val = smtlibv2 . EXTRACT ( ret_val , offset , operand . size ) #NEWLINE# #UNINDENT# else : #NEWLINE# #INDENT# var_name = self . _get_var_name ( operand . name ) #NEWLINE# ret_val = self . _solver . mkBitVec ( operand . size , var_name ) #NEWLINE# #UNINDENT# return ret_val