code: def gen_sext(src, dst):
          
          assert src.size <= dst.size
  
          empty_reg = ReilEmptyOperand()
  
          return ReilBuilder.build(ReilMnemonic.SEXT, src, empty_reg, dst)
docs: Return a SEXT instruction.