³ò Ù‘RMc@sdZddkZddkZddkZdefd„ƒYZeƒZd„Zdefd„ƒYZdefd „ƒYZ d efd „ƒYZ e d d dƒZ e dd dƒZ d„Z d„Zd„Zdefd„ƒYZd„Zd„Zd„Zd„Zd„Zd„Zd„Zed1ƒZd„Zdd klZd!efd"„ƒYZd!efd#„ƒYZd!efd$„ƒYZd!efd%„ƒYZd&„Zd'„Zd(„Z d)efd*„ƒYZ!d+efd,„ƒYZ"d-efd.„ƒYZ#d/e#fd0„ƒYZ$dS(2sS This file defines utilities for manipulating objects in an RPython-compliant way. iÿÿÿÿNt _SpecializecBs>eZd„Zd„Zd„Zd„Zd„Zd„ZRS(cCs d„}|S(s¹ Specialize functions based on argument values. All arguments has to be constant at the compile time. The whole function call is replaced by a call result then. cSs d|_|S(Nsspecialize:memo(t_annspecialcase_(tfunc((s)/64/home/arigo/u/pypy/rlib/objectmodel.pytdecorated_funcs ((tselfR((s)/64/home/arigo/u/pypy/rlib/objectmodel.pytmemos cs‡‡fd†}|S(s6 Specialize function based on values of given positions of arguments. They must be compile-time constants in order to work. There will be a copy of provided function for each combination of given arguments on positions in args (that can lead to exponential behavior!). csdˆiˆƒ|_|S(Nsspecialize:arg(t_wrapR(R(Rtargs(s)/64/home/arigo/u/pypy/rlib/objectmodel.pyR)s((RRR((RRs)/64/home/arigo/u/pypy/rlib/objectmodel.pytarg!scs‡‡fd†}|S(s÷ Specialize function based on types of arguments on given positions. There will be a copy of provided function for each combination of given arguments on positions in args (that can lead to exponential behavior!). csdˆiˆƒ|_|S(Nsspecialize:argtype(RR(R(RR(s)/64/home/arigo/u/pypy/rlib/objectmodel.pyR6s((RRR((RRs)/64/home/arigo/u/pypy/rlib/objectmodel.pytargtype/scCs d„}|S(sØ This is version of argtypes that cares about low-level types (so it'll get additional copies for two different types of pointers for example). Same warnings about exponential behavior apply. cSs d|_|S(Ns specialize:ll(R(R((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRAs ((RR((s)/64/home/arigo/u/pypy/rlib/objectmodel.pytll<s cs‡fd†}|S(s XXX what does that do? csdˆ|_|S(Nsspecialize:ll_and_arg(%d)(R(R(R(s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRJs ((RRR((Rs)/64/home/arigo/u/pypy/rlib/objectmodel.pyt ll_and_argGscCs6ddig}|D]}|t|ƒq~ƒdS(Nt(t,t)(tjointrepr(RRt_[1]R((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRPs(t__name__t __module__RRR R R R(((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRs   cs‡fd†}|S(s¡ Decorate a function with forcing of RPython-level types on arguments. None means no enforcing. XXX shouldn't we also add asserts in function body? cs ˆ|_|S(N(t_annenforceargs_(tf(R(s)/64/home/arigo/u/pypy/rlib/objectmodel.pyt decorator[s ((RR((Rs)/64/home/arigo/u/pypy/rlib/objectmodel.pyt enforceargsUstSymboliccBs5eZd„Zd„Zd„Zd„Zd„ZRS(cCsdS(N(tNone(R((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyt annotationdscCsdS(N(R(R((s)/64/home/arigo/u/pypy/rlib/objectmodel.pytlltypegscCs%||jodSn tdƒ‚dS(NisSymbolics can not be compared!(t TypeError(Rtother((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyt__cmp__js cCstdƒ‚dS(NsSymbolics are not hashable!(R(R((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyt__hash__pscCstdƒ‚dS(NsSymbolics are not comparable(R(R((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyt __nonzero__ss(RRRRRRR (((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRbs     tComputedIntSymboliccBs#eZd„Zd„Zd„ZRS(cCs ||_dS(N(t compute_fn(RR"((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyt__init__xscCsddkl}|iƒS(Niÿÿÿÿ(tmodel(tpypy.annotationR$t SomeInteger(RR$((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyR{scCsddkl}|iS(Niÿÿÿÿ(R(tpypy.rpython.lltypesystemRtSigned(RR((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRs(RRR#RR(((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyR!vs  tCDefinedIntSymboliccBs&eZdd„Zd„Zd„ZRS(icCs||_||_dS(N(texprtdefault(RR*R+((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyR#…s cCsddkl}|iƒS(Niÿÿÿÿ(R$(R%R$R&(RR$((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyR‰scCsddkl}|iS(Niÿÿÿÿ(R(R'RR((RR((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRs(RRR#RR(((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyR)ƒs  tMALLOC_ZERO_FILLEDR+itRUNNING_ON_LLINTERPicCs2t|tƒo|i|ƒSnti|ƒSdS(s"Create an empty instance of 'cls'.N(t isinstancettypet__new__ttypest InstanceType(tcls((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyt instantiate—scCstS(N(tFalse(((s)/64/home/arigo/u/pypy/rlib/objectmodel.pytwe_are_translatedžscGsdS(N((tvalues((s)/64/home/arigo/u/pypy/rlib/objectmodel.pytkeepalive_until_here¢st FREED_OBJECTcBseZd„Zd„ZRS(cCstdƒ‚dS(Nstrying to access freed object(t RuntimeError(Rtattr((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyt__getattribute__¨scCstdƒ‚dS(Nstrying to access freed object(R:(RR;tvalue((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyt __setattr__ªs(RRR<R>(((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyR9§s cCs@t|iddƒidƒ p td‚h|_t|_dS(Nt_alloc_flavor_tgcstrying to free gc object(tgetattrt __class__t startswithtAssertionErrort__dict__R9(tobj((s)/64/home/arigo/u/pypy/rlib/objectmodel.pytfree_non_gc_object®s* cCs—t|ttfƒot|ƒSnt|tƒo|Snt|tƒot|ƒSnt|tƒot|ƒSn|djodSnt |ƒS(s[RPython equivalent of hash(x), where 'x' is an immutable RPython-level. For strings or unicodes it computes the hash as in Python. For tuples it calls compute_hash() recursively. For instances it uses compute_identity_hash(). Note that this can return 0 or -1 too. Behavior across translation: * on lltypesystem, it always returns the same number, both before and after translation. Dictionaries don't need to be rehashed after translation. * on ootypesystem, the value changes because of translation. Dictionaries need to be rehashed. iN( R.tstrtunicodet _hash_stringtinttfloatt _hash_floatttuplet _hash_tupleRtcompute_identity_hash(tx((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyt compute_hash¹s cCs@ti|ƒ}y||id}d}x4||jo&d|t||ƒA}|d7}qNW||N}||ƒS(s>The algorithm behind compute_hash() for a string or a unicode.iÿÿÿÿ(RYiiiCBi(RZRYtlentord(tsRYtlengthRQti((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRJùs    cCs¼ddkl}l}l}||ƒo|djodSq[dSn||ƒodSnti|ƒ\}}|t9}t|ƒ}|t|ƒt}|t|ƒ|d>}||ƒS(sÿThe algorithm behind compute_hash() for a float. This implementation is identical to the CPython implementation, except the fact that the integer case is not treated specially. In RPython, floats cannot be used with ints in dicts, anyway. iÿÿÿÿ(RYtisinftisnangi,Úûÿi/Ëii( RZRYRaRbtmathtfrexpt TAKE_NEXTRKRL(RRYRaRbtvtexpothipartRQ((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRMs     iicCsKddkl}d}x.|D]&}t|ƒ}|d||Aƒ}qW|S(s NOT_RPYTHON. The algorithm behind compute_hash() for a tuple. It is modelled after the old algorithm of Python 2.3, which is a bit faster than the one introduced by Python 2.4. We assume that nested tuples are very uncommon in RPython, making the bad case unlikely. iÿÿÿÿ(RYixV4iCB(RZRYRR(ttRYRQtitemty((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyROs (tExtRegistryEntrytEntrycBs eZeZd„Zd„ZRS(cCsddkl}|iƒS(Niÿÿÿÿ(R$(R%R$R&(Rts_xtannmodel((s)/64/home/arigo/u/pypy/rlib/objectmodel.pytcompute_result_annotation2scCs:|i\}|i|ƒ\}|iƒ}|i||ƒS(N(targs_rt inputargstget_ll_hash_functiont gendirectcall(Rthoptr_objtv_objtll_fn((s)/64/home/arigo/u/pypy/rlib/objectmodel.pytspecialize_call6s  (RRRRt_about_RpRy(((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRm/s cBs eZeZd„Zd„ZRS(cCsddkl}|iƒS(Niÿÿÿÿ(R$(R%R$R&(RRnRo((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRp?scCsàddkl}|i|idƒ\}|iiidjo/t|i|i ƒo|ii i dj}n&ddk l }t|i|iƒ}|p*ddkl}|d|ifƒ‚n|id |gd |iƒS( Niÿÿÿÿ(Rit lltypesystemR@(tootype(t TyperErrors/compute_identity_hash() cannot be applied to %rtgc_identityhasht resulttype(R'RRrRqtrtypert type_systemtnameR.t concretetypetPtrtTOt_gckindtpypy.rpython.ootypesystemR|tOOTypetpypy.rpython.errorR}tgenopR((RRuRtvobjtokR|R}((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRyCs(RRRPRzRpRy(((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRm<s cBs eZeZd„Zd„ZRS(cCsddkl}|iƒS(Niÿÿÿÿ(R$(R%R$R&(RRnRo((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRpUscCsàddkl}|i|idƒ\}|iiidjo/t|i|i ƒo|ii i dj}n&ddk l }t|i|iƒ}|p*ddkl}|d|ifƒ‚n|id |gd |iƒS( Niÿÿÿÿ(RiR{R@(R|(R}s+compute_unique_id() cannot be applied to %rtgc_idR(R'RRrRqR€RR‚R.RƒR„R…R†R‡R|tInstanceR‰R}RŠR((RRuRR‹RŒR|R}((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRyYs(RRRXRzRpRy(((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRmRs cBs eZeZd„Zd„ZRS(cCsddkl}|iƒS(Niÿÿÿÿ(R$(R%R$R&(RRnRo((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRpkscCs|i|idƒ\}|iiidjoJddkl}t|i|i ƒo |i d|gd|i ƒSqÙna|iiidjoJddk l }t|i|iƒo |i d |gd|i ƒSqÙndd kl}|d |ifƒ‚dS( NiR{iÿÿÿÿ(Rtcast_ptr_to_intRt ootypesystem(R|R~(R}s4current_object_addr_as_int() cannot be applied to %r(RrRqR€RR‚R'RR.RƒR„RŠR(R‡R|RŽR‰R}(RRuR‹RR|R}((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRyos(RRR[RzRpRy(((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRmhs cGs td‚dS(Ns6hlinvoke is meant to be rtyped and not called direclty(R(Rt llcallableR((s)/64/home/arigo/u/pypy/rlib/objectmodel.pythlinvokescCs\ddkl}||i_||i_ddkl}||i|ƒ||i|ƒdS(s–Call before() before any external function call, and after() after. At the moment only one pair before()/after() can be registered at a time. iÿÿÿÿ(trffi(tllhelperN(R'R“t aroundstatetbeforetaftertpypy.rpython.annlowlevelR”t AroundFnPtr(R–R—R“R”((s)/64/home/arigo/u/pypy/rlib/objectmodel.pytinvoke_around_extcall„s   cCs ddkl}|iidjS(Niÿÿÿÿ(R“i(R'R“t stackcountertstacks_counter(R“((s)/64/home/arigo/u/pypy/rlib/objectmodel.pytis_in_callback“st UnboxedValuecBs8eZdZeZd„Zd„Zd„Zd„ZRS(s½A mixin class to use for classes that have exactly one field which is an integer. They are represented as a tagged pointer, if the translation.taggedpointers config option is used.cCs]d|ijpt‚t|itƒpt|iƒdjpt‚tt|ƒi|ƒS(NR#i( RERDR.t __slots__RHR\tsuperRžR0(R3R=((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyR0žs0cCs•|dd}ti d|jo tijnoNt|iitƒot||ii|ƒq‘t||iid|ƒn tdƒ‚dS(Niiis#UnboxedValue: argument out of range(tsystmaxintR.RBRŸRHtsetattrt OverflowError(RR=tint_as_pointer((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyR#£s )cCsd|iƒfS(Ns (tget_untagged_value(R((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyt__repr__®scCsHt|iitƒot||iiƒSnt||iidƒSdS(Ni(R.RBRŸRHRA(R((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyR¦±s( RRt__doc__tTruet_mixin_R0R#R§R¦(((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyRž˜s   tr_dictcBsÈeZdZd„Zd„Zd„Zd„Zd„Zd„Zd„Z d„Z d „Z d „Z d „Z d „Zd „Zd„Zd„ZeZd„Zd„Zd„Zd„Zd„ZRS(sªAn RPython dict-like object. Only provides the interface supported by RPython. The functions key_eq() and key_hash() are used by the key comparison algorithm.cCsh|_||_||_dS(N(t_dicttkey_eqtkey_hash(RR­R®((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyR#Às  cCs|it||ƒS(N(R¬t _r_dictkey(Rtkey((s)/64/home/arigo/u/pypy/rlib/objectmodel.pyt __getitem__ÅscCs||it||ƒsH   =                "N