1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
""" simple non-constant constant. Ie constant which does not get annotated as constant
"""
from rpython.rtyper.extregistry import ExtRegistryEntry
from rpython.flowspace.model import Constant
from rpython.annotator.model import not_const
class NonConstant(object):
def __init__(self, _constant):
self.__dict__['constant'] = _constant
def __getattr__(self, attr):
return getattr(self.__dict__['constant'], attr)
def __setattr__(self, attr, value):
setattr(self.__dict__['constant'], attr, value)
def __nonzero__(self):
return bool(self.__dict__['constant'])
def __eq__(self, other):
return self.__dict__['constant'] == other
def __add__(self, other):
return self.__dict__['constant'] + other
def __radd__(self, other):
return other + self.__dict__['constant']
def __mul__(self, other):
return self.__dict__['constant'] * other
class EntryNonConstant(ExtRegistryEntry):
_about_ = NonConstant
def compute_result_annotation(self, s_arg):
return not_const(s_arg)
def specialize_call(self, hop):
hop.exception_cannot_occur()
retval = Constant(hop.r_result.convert_const(hop.args_v[0].value))
retval.concretetype = hop.r_result.lowleveltype
return retval
|
