class Delegate(Node):
def __init__(self, db, TYPE, name):
self.cts = CTS(db)
self.TYPE = TYPE
self.name = name
def __eq__(self, other):
return self.TYPE == other.TYPE
def __ne__(self, other):
return not self == other
def __hash__(self):
return hash(self.TYPE)
def get_name(self):
return self.name
def dependencies(self):
# record we know about result and argument types
self.cts.lltype_to_cts(self.TYPE.RESULT)
for ARG in self.TYPE.ARGS:
self.cts.lltype_to_cts(ARG)
def render(self, ilasm):
TYPE = self.TYPE
ilasm.begin_class(self.name, '[mscorlib]System.MulticastDelegate', sealed=True)
ilasm.begin_function('.ctor',
[('object', "'object'"), ('native int', "'method'")],
'void',
False,
'hidebysig', 'specialname', 'rtspecialname', 'instance', 'default',
runtime=True)
ilasm.end_function()
resulttype = self.cts.lltype_to_cts(TYPE.RESULT)
arglist = [(self.cts.lltype_to_cts(ARG), '') for ARG in TYPE.ARGS if ARG is not ootype.Void]
ilasm.begin_function('Invoke', arglist, resulttype, False,
'virtual', 'hidebysig', 'instance', 'default',
runtime=True)
ilasm.end_function()
ilasm.end_class()
def __init__(self, db, record, name):
self.db = db
self.cts = CTS(db)
self.record = record
self.name = name
class Record(Node):
def __init__(self, db, record, name):
self.db = db
self.cts = CTS(db)
self.record = record
self.name = name
def __hash__(self):
return hash(self.record)
def __eq__(self, other):
return self.record == other.record
def __ne__(self, other):
return not self == other
def get_name(self):
return self.name
def get_base_class(self):
return '[mscorlib]System.Object'
def render(self, ilasm):
self.ilasm = ilasm
ilasm.begin_class(self.name, self.get_base_class())
for f_name, (FIELD_TYPE, f_default) in self.record._fields.iteritems():
f_name = self.cts.escape_name(f_name)
cts_type = self.cts.lltype_to_cts(FIELD_TYPE)
if cts_type != CTS.types.void:
ilasm.field(f_name, cts_type)
self._ctor()
self._toString()
self._equals()
self._getHashCode()
ilasm.end_class()
def _ctor(self):
self.ilasm.begin_function('.ctor', [], 'void', False, 'specialname',
'rtspecialname', 'instance')
self.ilasm.opcode('ldarg.0')
self.ilasm.call('instance void %s::.ctor()' % self.get_base_class())
self.ilasm.opcode('ret')
self.ilasm.end_function()
def _toString(self):
# only for testing purposes, and only if the Record represents a tuple
from rpython.translator.cli.test.runtest import format_object
for f_name in self.record._fields:
if not f_name.startswith('item'):
return # it's not a tuple
self.ilasm.begin_function('ToString', [], 'string', False, 'virtual',
'instance', 'default')
self.ilasm.opcode('ldstr', '"("')
for i in xrange(len(self.record._fields)):
f_name = 'item%d' % i
FIELD_TYPE, f_default = self.record._fields[f_name]
if FIELD_TYPE is ootype.Void:
continue
self.ilasm.opcode('ldarg.0')
f_type = self.cts.lltype_to_cts(FIELD_TYPE)
self.ilasm.get_field((f_type, self.name, f_name))
format_object(FIELD_TYPE, self.cts, self.ilasm)
self.ilasm.call('string string::Concat(string, string)')
self.ilasm.opcode('ldstr ", "')
self.ilasm.call('string string::Concat(string, string)')
self.ilasm.opcode('ldstr ")"')
self.ilasm.call('string string::Concat(string, string)')
self.ilasm.opcode('ret')
self.ilasm.end_function()
def _equals(self):
# field by field comparison
record_type = self.cts.lltype_to_cts(self.record)
self.ilasm.begin_function('Equals', [('object', 'obj')], 'bool', False,
'virtual', 'instance', 'default')
self.ilasm.locals([(record_type, 'self')])
self.ilasm.opcode('ldarg.1')
self.ilasm.opcode('castclass', record_type.classname())
self.ilasm.opcode('stloc.0')
equal = 'bool [pypylib]pypy.runtime.Utils::Equal<%s>(!!0, !!0)'
self.ilasm.opcode('ldc.i4', '1')
for f_name, (FIELD_TYPE, default) in self.record._fields.iteritems():
if FIELD_TYPE is ootype.Void:
continue
f_type = self.cts.lltype_to_cts(FIELD_TYPE)
f_name = self.cts.escape_name(f_name)
self.ilasm.opcode('ldarg.0')
self.ilasm.get_field((f_type, record_type.classname(), f_name))
self.ilasm.opcode('ldloc.0')
self.ilasm.get_field((f_type, record_type.classname(), f_name))
self.ilasm.call(equal % f_type)
self.ilasm.opcode('and')
self.ilasm.opcode('ret')
self.ilasm.end_function()
def _getHashCode(self):
record_type = self.cts.lltype_to_cts(self.record)
self.ilasm.begin_function('GetHashCode', [], 'int32', False, 'virtual',
'instance', 'default')
gethash = 'int32 [pypylib]pypy.runtime.Utils::GetHashCode<%s>(!!0)'
self.ilasm.opcode('ldc.i4.0') # initial hash
if self.record._fields:
for f_name, (FIELD_TYPE,
default) in self.record._fields.iteritems():
if FIELD_TYPE is ootype.Void:
continue
else:
# compute the hash for this field
f_name = self.cts.escape_name(f_name)
f_type = self.cts.lltype_to_cts(FIELD_TYPE)
self.ilasm.opcode('ldarg.0')
self.ilasm.get_field(
(f_type, record_type.classname(), f_name))
self.ilasm.call(gethash % f_type)
# xor with the previous value
self.ilasm.opcode('xor')
self.ilasm.opcode('ret')
self.ilasm.end_function()
def __init__(self, db, TYPE, name):
self.cts = CTS(db)
self.TYPE = TYPE
self.name = name
def __init__(self, db, record, name):
self.db = db
self.cts = CTS(db)
self.record = record
self.name = name
class Record(Node):
def __init__(self, db, record, name):
self.db = db
self.cts = CTS(db)
self.record = record
self.name = name
def __hash__(self):
return hash(self.record)
def __eq__(self, other):
return self.record == other.record
def __ne__(self, other):
return not self == other
def get_name(self):
return self.name
def get_base_class(self):
return '[mscorlib]System.Object'
def render(self, ilasm):
self.ilasm = ilasm
ilasm.begin_class(self.name, self.get_base_class())
for f_name, (FIELD_TYPE, f_default) in self.record._fields.iteritems():
f_name = self.cts.escape_name(f_name)
cts_type = self.cts.lltype_to_cts(FIELD_TYPE)
if cts_type != CTS.types.void:
ilasm.field(f_name, cts_type)
self._ctor()
self._toString()
self._equals()
self._getHashCode()
ilasm.end_class()
def _ctor(self):
self.ilasm.begin_function('.ctor', [], 'void', False, 'specialname', 'rtspecialname', 'instance')
self.ilasm.opcode('ldarg.0')
self.ilasm.call('instance void %s::.ctor()' % self.get_base_class())
self.ilasm.opcode('ret')
self.ilasm.end_function()
def _toString(self):
# only for testing purposes, and only if the Record represents a tuple
from rpython.translator.cli.test.runtest import format_object
for f_name in self.record._fields:
if not f_name.startswith('item'):
return # it's not a tuple
self.ilasm.begin_function('ToString', [], 'string', False, 'virtual', 'instance', 'default')
self.ilasm.opcode('ldstr', '"("')
for i in xrange(len(self.record._fields)):
f_name = 'item%d' % i
FIELD_TYPE, f_default = self.record._fields[f_name]
if FIELD_TYPE is ootype.Void:
continue
self.ilasm.opcode('ldarg.0')
f_type = self.cts.lltype_to_cts(FIELD_TYPE)
self.ilasm.get_field((f_type, self.name, f_name))
format_object(FIELD_TYPE, self.cts, self.ilasm)
self.ilasm.call('string string::Concat(string, string)')
self.ilasm.opcode('ldstr ", "')
self.ilasm.call('string string::Concat(string, string)')
self.ilasm.opcode('ldstr ")"')
self.ilasm.call('string string::Concat(string, string)')
self.ilasm.opcode('ret')
self.ilasm.end_function()
def _equals(self):
# field by field comparison
record_type = self.cts.lltype_to_cts(self.record)
self.ilasm.begin_function('Equals', [('object', 'obj')], 'bool',
False, 'virtual', 'instance', 'default')
self.ilasm.locals([(record_type, 'self')])
self.ilasm.opcode('ldarg.1')
self.ilasm.opcode('castclass', record_type.classname())
self.ilasm.opcode('stloc.0')
equal = 'bool [pypylib]pypy.runtime.Utils::Equal<%s>(!!0, !!0)'
self.ilasm.opcode('ldc.i4', '1')
for f_name, (FIELD_TYPE, default) in self.record._fields.iteritems():
if FIELD_TYPE is ootype.Void:
continue
f_type = self.cts.lltype_to_cts(FIELD_TYPE)
f_name = self.cts.escape_name(f_name)
self.ilasm.opcode('ldarg.0')
self.ilasm.get_field((f_type, record_type.classname(), f_name))
self.ilasm.opcode('ldloc.0')
self.ilasm.get_field((f_type, record_type.classname(), f_name))
self.ilasm.call(equal % f_type)
self.ilasm.opcode('and')
self.ilasm.opcode('ret')
self.ilasm.end_function()
def _getHashCode(self):
record_type = self.cts.lltype_to_cts(self.record)
self.ilasm.begin_function('GetHashCode', [], 'int32', False, 'virtual', 'instance', 'default')
gethash = 'int32 [pypylib]pypy.runtime.Utils::GetHashCode<%s>(!!0)'
self.ilasm.opcode('ldc.i4.0') # initial hash
if self.record._fields:
for f_name, (FIELD_TYPE, default) in self.record._fields.iteritems():
if FIELD_TYPE is ootype.Void:
continue
else:
# compute the hash for this field
f_name = self.cts.escape_name(f_name)
f_type = self.cts.lltype_to_cts(FIELD_TYPE)
self.ilasm.opcode('ldarg.0')
self.ilasm.get_field((f_type, record_type.classname(), f_name))
self.ilasm.call(gethash % f_type)
# xor with the previous value
self.ilasm.opcode('xor')
self.ilasm.opcode('ret')
self.ilasm.end_function()
