U md͇@s@dZddlZddlZddlZddlmZddlmZmZmZddl m Z m Z m Z e eeeje eeejBe eedBZedZdd d d d d dZifddZddZddZGdddeZGdddeZGdddeZeZGddde e eeZGdddeZGdd d e e eZ Gd!d"d"e Z!Gd#d$d$e e eZ"Gd%d&d&eZ#Gd'd(d(e Z$Gd)d*d*Z%Gd+d,d,e Z&Gd-d.d.e ee Z'Gd/d0d0e'Z(Gd1d2d2e)Z*Gd3d4d4e*Z+Gd5d6d6e'Z,Gd7d8d8e*Z-Gd9d:d:e Z.Gd;d<dd>e.Z0Gd?d@d@e Z1GdAdBdBeZ2dS)Cz_ Classes that are LLVM values: Value, Constant... Instructions are in the instructions module. N)MappingProxyType)valuestypes_utils) _StrCaching_StringReferenceCaching _HasMetadataz !#$%&'()*+,-./:;<=>?@[]^_`{|}~z[-a-zA-Z$._][-a-zA-Z$._0-9]*$gtlteqnegele)><==!=z>=z<=cstt|tr|}t|ttfs$tsXtdD]&}|tkrJt||<q0d||<q0fdd|D}d |S)z Escape the given bytestring for safe use as a LLVM array constant. Any unicode string input is first encoded with utf8 into bytes. z\%02xcsg|] }|qSr).0ch_maprK/home/sam/Atlas/atlas_env/lib/python3.8/site-packages/llvmlite/ir/values.py /sz"_escape_string..) isinstancestrencodebytes bytearrayAssertionErrorrange _VALID_CHARSchrjoin)textrrbufrrr_escape_strings  r(csfdd}|S)Ncst|fdd}|S)NcsJ|j|jkr td|j|jfd|j||j|}t|j|S)N,Operands must be the same type, got (%s, %s)z{0} ({1} {2}, {3} {4}))type ValueErrorformat get_referenceFormattedConstant)lhsrhsfmtopnamerrwrapped5s  z%_binop..wrap..wrapped functoolswrapsfnr4r2rrwrap4s z_binop..wraprr3r:rr2r_binop3s r<csfdd}|S)Ncstfdd}|S)Ncs8||||jkr|Sd|j||}t||S)Nz{0} ({1} {2} to {3}))r*r,r-r.)selftypop)r9r3rrr4Fs   z&_castop..wrap..wrappedr5r8r2)r9rr:Es z_castop..wraprr;rr2r_castopDs r@c@s8eZdZdZedddZedddZedd d Zed d d ZedddZ edddZ edddZ edddZ edddZ edddZed d!d"Zed#d$d%Zed&d'd(Zed)d*d+Zed,d-d.Zed/d0d1Zed2d3d4Zed5d6d7Zd8d9Zd:d;Zdd?Zd@dAZdBdCZdDdEZdFdGZedHdIdJZ edKdLdMZ!edNdOdPZ"edQdRdSZ#edTdUdVZ$edWdXdYZ%edZd[d\Z&ed]d^d_Z'ed`dadbZ(edcdddeZ)edfdgdhZ*edidjdkZ+dldmZ,dnS)o _ConstOpMixinzQ A mixin defining constant operations, for use in constant-like classes. shlcCsdS)z< Left integer shift: lhs << rhs Nrr=otherrrrrB]sz_ConstOpMixin.shllshrcCsdS)zP Logical (unsigned) right integer shift: lhs >> rhs NrrCrrrrEdsz_ConstOpMixin.lshrashrcCsdS)zQ Arithmetic (signed) right integer shift: lhs >> rhs NrrCrrrrFksz_ConstOpMixin.ashraddcCsdS)z9 Integer addition: lhs + rhs NrrCrrrrGrsz_ConstOpMixin.addfaddcCsdS)z@ Floating-point addition: lhs + rhs NrrCrrrrHysz_ConstOpMixin.faddsubcCsdS)z< Integer subtraction: lhs - rhs NrrCrrrrIsz_ConstOpMixin.subfsubcCsdS)zC Floating-point subtraction: lhs - rhs NrrCrrrrJsz_ConstOpMixin.fsubmulcCsdS)z? Integer multiplication: lhs * rhs NrrCrrrrKsz_ConstOpMixin.mulfmulcCsdS)zF Floating-point multiplication: lhs * rhs NrrCrrrrLsz_ConstOpMixin.fmuludivcCsdS)zB Unsigned integer division: lhs / rhs NrrCrrrrMsz_ConstOpMixin.udivsdivcCsdS)z@ Signed integer division: lhs / rhs NrrCrrrrNsz_ConstOpMixin.sdivfdivcCsdS)z@ Floating-point division: lhs / rhs NrrCrrrrOsz_ConstOpMixin.fdivuremcCsdS)zC Unsigned integer remainder: lhs % rhs NrrCrrrrPsz_ConstOpMixin.uremsremcCsdS)zA Signed integer remainder: lhs % rhs NrrCrrrrQsz_ConstOpMixin.sremfremcCsdS)zA Floating-point remainder: lhs % rhs NrrCrrrrRsz_ConstOpMixin.fremorcCsdS)z; Bitwise integer OR: lhs | rhs NrrCrrror_sz_ConstOpMixin.or_andcCsdS)z< Bitwise integer AND: lhs & rhs NrrCrrrand_sz_ConstOpMixin.and_xorcCsdS)z< Bitwise integer XOR: lhs ^ rhs NrrCrrrrWsz_ConstOpMixin.xorc Cs|d}z t|}Wn$tk r8td||fYnX|dkrJ|dksR||}|j|jkrrtd|j|jfd|||j||j|}ttd|S)Ncmpzinvalid comparison %r for %si)rrr)z{0} {1} ({2} {3}, {4} {5})) _CMP_MAPKeyErrorr+r*r,r-r.rIntType)r=prefixsigncmpoprDZinsr?r1rrr_cmps(   z_ConstOpMixin._cmpcCs|dd||S)z Signed integer comparison: lhs rhs where cmpop can be '==', '!=', '<', '<=', '>', '>=' rYsrar=r`rDrrr icmp_signedsz_ConstOpMixin.icmp_signedcCs|dd||S)z Unsigned integer (or pointer) comparison: lhs rhs where cmpop can be '==', '!=', '<', '<=', '>', '>=' rYurcrdrrr icmp_unsignedsz_ConstOpMixin.icmp_unsignedcCs|dd||S)z Floating-point ordered comparison: lhs rhs where cmpop can be '==', '!=', '<', '<=', '>', '>=', 'ord', 'uno' forcrdrrr fcmp_orderedsz_ConstOpMixin.fcmp_orderedcCs|dd||S)z Floating-point unordered comparison: lhs rhs where cmpop can be '==', '!=', '<', '<=', '>', '>=', 'ord', 'uno' rhrfrcrdrrrfcmp_unordered sz_ConstOpMixin.fcmp_unorderedcCs>t|jtjr&t|jd|jj}nt|jd}||S)z@ Bitwise integer complement: ~value )rl)rr*rZ VectorTyperConstantcountrW)r=r0rrrnot_sz_ConstOpMixin.not_cCst|jd}||S)z6 Integer negative: -value r)rrmr*rI)r=zerorrrneg$sz_ConstOpMixin.negcCsd|j|}t|j|S)z= Floating-point negative: -value zfneg ({0} {1}))r,r*r-r.)r=r1rrrfneg,sz_ConstOpMixin.fnegtrunccCsdS)z@ Truncating integer downcast to a smaller type. Nrr=r>rrrrs8sz_ConstOpMixin.trunczextcCsdS)z@ Zero-extending integer upcast to a larger type Nrrtrrrru>sz_ConstOpMixin.zextsextcCsdS)zA Sign-extending integer upcast to a larger type. NrrtrrrrvDsz_ConstOpMixin.sextfptrunccCsdS)zA Floating-point downcast to a less precise type. NrrtrrrrwJsz_ConstOpMixin.fptruncfpextcCsdS)z? Floating-point upcast to a more precise type. NrrtrrrrxPsz_ConstOpMixin.fpextbitcastcCsdS)z; Pointer cast to a different pointer type. NrrtrrrryVsz_ConstOpMixin.bitcastfptouicCsdS)z= Convert floating-point to unsigned integer. Nrrtrrrrz\sz_ConstOpMixin.fptouiuitofpcCsdS)z= Convert unsigned integer to floating-point. Nrrtrrrr{bsz_ConstOpMixin.uitofpfptosicCsdS)z; Convert floating-point to signed integer. Nrrtrrrr|hsz_ConstOpMixin.fptosisitofpcCsdS)z; Convert signed integer to floating-point. Nrrtrrrr}nsz_ConstOpMixin.sitofpptrtointcCs@t|jtjs"d}t||jft|tjsmsgrrrr~ts z_ConstOpMixin.ptrtointinttoptrcCs@t|jtjs"d}t||jft|tjs Call getelementptr on this pointer constant. z2can only call gep() on pointer constants, not '%s'cSsg|]}d|j|qS){0} {1}r,r*r-)ridxrrrrsz%_ConstOpMixin.gep..z!getelementptr ({0}, {1} {2}, {3}), ) rr*rrrgepr,pointeer-r%r. as_pointer addrspace)r=indicesZouttyperYZ strindicesr?rrrrs" z_ConstOpMixin.gepN)-__name__ __module__ __qualname____doc__r<rBrErFrGrHrIrJrKrLrMrNrOrPrQrRrTrVrWrarergrjrkrorqrrr@rsrurvrwrxryrzr{r|r}r~rrrrrrrATs                                    rAc@seZdZdZddZdS)Valuez( The base class for all values. cCsd|jj|jfS)Nz) __class__rr*r=rrr__repr__szValue.__repr__N)rrrrrrrrrrsrc@seZdZdZddZdS) _Undefinedz0 'undef': a value for undefined values. cCs*ztWStk r$ttYSXdSN) Undefined NameErrorobject__new__r)clsrrrrsz_Undefined.__new__N)rrrrrrrrrrsrc@sleZdZdZddZddZddZedd Zed d Z e d d Z ddZ ddZ ddZddZdS)rmz A constant LLVM value. cCs:t|tjstt|tjr t||_||}||_dSr)rrTyper!VoidTyper*Zwrap_constant_valueconstantr=r>rrrr__init__s  zConstant.__init__cCsd|j|SNrrrrrr _to_stringszConstant._to_stringcCsT|jdkr|jj}n<|jtkr$d}n,t|jtrBdt|j}n|j|j}|S)NZundefzc"{0}") rr*nullrrr r,r(Zformat_constantr=valrrr_get_references    zConstant._get_referencecCsZdd|D}t|dkr"td|d}|D]}||kr.tdq.|t|t||S)zO Construct a literal array constant made of the given members. cSsg|] }|jqSrr*relrrrrsz*Constant.literal_array..rzneed at least one elementz$all elements must have the same type)lenr+rr ArrayType)relemstystyrDrrr literal_arrays  zConstant.literal_arraycCsdd|D}|t||S)zS Construct a literal structure constant made of the given members. cSsg|] }|jqSrrrrrrrsz+Constant.literal_struct..)rZLiteralStructType)rrrrrrliteral_structszConstant.literal_structcCst|jtjstd|jjS)Nz)Only pointer constant have address spaces)rr*rrrrrrrrrszConstant.addrspacecCs"t|trt|t|kSdSdSNF)rrmrrCrrr__eq__s zConstant.__eq__cCs || SrrrCrrr__ne__szConstant.__ne__cCs tt|Sr)hashrrrrr__hash__szConstant.__hash__cCsd|j|jfS)Nz )r*rrrrrrszConstant.__repr__N)rrrrrrr classmethodrrpropertyrrrrrrrrrrms   rmc@s(eZdZdZddZddZddZdS) r.zA A constant with an already formatted IR representation. cCs t|tstt|||dSr)rrr!rmrrrrrrszFormattedConstant.__init__cCs|jSrrrrrrr szFormattedConstant._to_stringcCs|jSrrrrrrrsz FormattedConstant._get_referenceN)rrrrrrrrrrrr.sr.c@sfeZdZdZdZdZddZddZdd Zd d Z d d Z e e e Z ddZ ddZe ddZdS) NamedValuez* The base class for named values. %TcCs6|dk s tt|tjst||_||_||dSr)r!rrrparentr* _set_name)r=rr*namerrrrs  zNamedValue.__init__cCs>g}t|jtjs&|d|||d| S)Nz{0} = r) rr*rrappendr,r-descrr%rstripr=r'rrrr s  zNamedValue._to_stringcCstdSr)NotImplementedErrorrrrrr'szNamedValue.descrcCs|jSr)_namerrrr _get_name*szNamedValue._get_namecCs|jjj||jd}||_dS)N)Z deduplicate)rscoperegisterdeduplicate_namerr=rrrrr-s zNamedValue._set_namecCs8|j}d|ksd|kr*|dddd}d|j|S)N\"\5c\22z{0}"{1}")rreplacer, name_prefixrrrrr4szNamedValue._get_referencecCsd|jj|j|jfS)Nzrrrr*rrrrr;s zNamedValue.__repr__cCs>|j}t|tjr|jj}t|tjr*|Std|jdS)NzNot a function: {0})r*rrrr FunctionTyperr,)r=rrrr function_type?s   zNamedValue.function_typeN)rrrrrrrrrrrrrrrrrrrrrs rcsLeZdZdZfddZddZddZeZdd Zd d Z d d Z Z S)MetaDataStringz[ A metadata string, i.e. a constant string used as a value in a metadata node. cs$tt|j|tdd||_dS)Nrr)superrrr MetaDataTypestring)r=rrrrrrPs  zMetaDataString.__init__cCs||df7}dS)N )r-rrrrrVszMetaDataString.descrcCsdt|jS)Nz!"{0}")r,r(rrrrrrYszMetaDataString._get_referencecCst|tr|j|jkSdSdSr)rrrrCrrrr^s  zMetaDataString.__eq__cCs || SrrrCrrrrdszMetaDataString.__ne__cCs t|jSr)rrrrrrrgszMetaDataString.__hash__) rrrrrrrrrrr __classcell__rrrrrJs rc@s$eZdZdZddZddZeZdS)MetaDataArgumentz An argument value to a function taking metadata arguments. This can wrap any other kind of LLVM value. Do not instantiate directly, Builder.call() will create these automatically. cCs4t|tstt|jtjr tt|_||_dSr)rrr!r*rr wrapped_valuer=valuerrrrts zMetaDataArgument.__init__cCsd|jj|jSr)r,rr*r-rrrrrzs zMetaDataArgument._get_referenceN)rrrrrrrrrrrrksrc@s eZdZdZddZddZdS) NamedMetaDatazk A named metadata node. Do not instantiate directly, use Module.add_named_metadata() instead. cCs||_g|_dSr)roperands)r=rrrrrszNamedMetaData.__init__cCs|j|dSr)rr)r=mdrrrrGszNamedMetaData.addN)rrrrrrGrrrrrsrcsLeZdZdZdZfddZddZddZd d Zd d Z d dZ Z S)MDValuez A metadata node's value, consisting of a sequence of elements ("operands"). Do not instantiate directly, use Module.add_metadata() instead. !cs4tt|j|t|dt||_|j|dSNr) rrrrrtuplermetadatar)r=rrrrrrrs   zMDValue.__init__cCsg}|jD]Z}t|jtjrLt|tr<|jdkr<|dqd||q |d |j|q d |}|d |df7}dS)Nrrrz !{{ {0} }}r) rrr*rrrmrrr-r,r%)r=r'rr?rrrrs   z MDValue.descrcCs|jt|jSrrrrrrrrrszMDValue._get_referencecCst|tr|j|jkSdSdSr)rrrrCrrrrs  zMDValue.__eq__cCs || SrrrCrrrrszMDValue.__ne__cCs t|jSr)rrrrrrrszMDValue.__hash__ rrrrrrrrrrrrrrrrrs  rc@seZdZdZddZdS)DITokenz A debug information enumeration value that should appear bare in the emitted metadata. Use this to wrap known constants, e.g. the DW_* enumerations. cCs ||_dSr)rrrrrrszDIToken.__init__N)rrrrrrrrrrsrcsLeZdZdZdZfddZddZddZd d Zd d Z d dZ Z S)DIValuez A debug information descriptor, containing key-value pairs. Do not instantiate directly, use Module.add_debug_info() instead. rcs@tt|j|t|d||_||_t||_|j |dSr) rrrrr is_distinctkindrrrr)r=rrrrrrrrrs  zDIValue.__init__cCs|jr|d7}g}|jD]\}}|dkr.d}n~|dkrrrrrrrszGlobalVariable.__init__cCs^|jr d}nd}|js*|jdkr$dnd}n|j}|rB||d|jrX||jd|jrh|d|jdkr|d|j|d j||jd |jdk r|jj |jkrt d |jj |jf|d|j n |d kr|d|t  |j r|d |j f|jdk r6|d|jf|jrP||jdd|ddS)Nrglobalexternalr z unnamed_addr rzaddrspace({0:d}) z {kind} {type})rr*z3got initializer of type %s for global value type %s)rZ extern_weakz, section "%s"z , align %dT)Z leading_commar)rrrrrrrr,rr*rr-rrrr_stringify_metadata)r=r'rrrrrr&s<     zGlobalVariable.descr)r)rrrrrrrrrrrrs rcsJeZdZdZdZd fdd ZddZfddZd d Zd d Z Z S) AttributeSetzxA set of string attribute. Only accept items listed in *_known*. Properties: * Iterate in sorted order rcs2tt|tr|g}|D]}||qdSr)rrrrrG)r=rrrrrr\s   zAttributeSet.__init__cCs|Srr)r=rr>rrr_expandcszAttributeSet._expandcs4||jkrtd||||tt||S)Nzunknown attr {!r} for {})_knownr+r, _validate_addrrrGrrrrrGfs  zAttributeSet.addcCsdSrrrrrrr lszAttributeSet._validate_addcsfddtDS)Ncsg|]}|qSr)r)rrYrtrrrpsz)AttributeSet._to_list..)sortedrtrrtr_to_listoszAttributeSet._to_list)r) rrrrrrrrGr r rrrrrrSs rc seZdZeddddddddd d d d d ddddddddddddddddddgZd-fd!d" Zfd#d$Zed%d&Zej d'd&Zed(d)Z e j d*d)Z fd+d,Z Z S).FunctionAttributesZ argmemonly alwaysinlinebuiltinZcoldZinaccessiblememonlyZinaccessiblemem_or_argmemonlyZ inlinehintZ jumptableZminsizeZnakedZ nobuiltinZ noduplicateZnoimplicitfloatnoinlineZ nonlazybindZ norecurseZ noredzoneZnoreturnZnounwindZoptnoneZoptsizeZreadnonereadonlyZ returns_twiceZsanitize_addressZsanitize_memoryZsanitize_threadsspZsspregZ sspstrongZuwtablercs d|_d|_tt||dSNr) _alignstack _personalityrr rr=rrrrr~szFunctionAttributes.__init__cs8|dkrd|ks |dkr(d|kr(tdt|dS)Nr rz$Can't have alwaysinline and noinline)r+rrGrrrrrGszFunctionAttributes.addcCs|jSr)rrrrr alignstackszFunctionAttributes.alignstackcCs|dks t||_dSr)r!rrrrrrs cCs|jSr)rrrrr personalityszFunctionAttributes.personalitycCs |dkst|tst||_dSr)rrr!rrrrrrscsLt|}|jr$|d|j|jrH|dj|jj|jd|S)Nzalignstack({0:d})zpersonality {persty} {persfn})ZperstyZpersfn)rr rrr,rr*r-)r=Zret_typeattrsrrrr s zFunctionAttributes._to_list)r) rrr frozensetrrrGrrsetterrr rrrrrr ssX      r cseZdZdZfddZeddZeddZedd Zdd d Z dd dZ ddZ ddZ ddZ ddZeddZZS)FunctionzRepresent a LLVM Function but does uses a Module as parent. Global Values are stored as a set of dependencies (attribute `depends`). cst|tjstttj|||d|_t _ g_ t _tfdd|jD_t|j_jd_dS)Nrcsg|]}t|qSr)Argument)rtrrrrsz%Function.__init__..r)rrrr!rrrrftyperZ NameScoperblocksr  attributesrr ReturnValue return_type return_valuerrcalling_convention)r=rrrrrrrs    zFunction.__init__cCs|jSrrrrrrrszFunction.modulecCs |jdSrrrrrrentry_basic_blockszFunction.entry_basic_blockcCs|jSrr&rrrr basic_blocksszFunction.basic_blocksrcCst||d}|j||S)Nrr)Blockrr)r=rblkrrrappend_basic_blocks  zFunction.append_basic_blockcCst||d}|j|||S)zInsert block before r))r*rinsert)r=beforerr+rrrinsert_basic_blocks zFunction.insert_basic_blockc Cs|jr dnd}|j}ddd|jD}|}|jrRdd|j|jjnd}t |jrr|jj rldnd}n|jj r~d nd}|j }|j } dd d||| |fD} | } | rd | nd} |jrd |jnd} d } | j| ||||| | d}||dS)zB Describe the prototype ("head") of the function. ZdefineZdeclarercss|]}t|VqdSrr)rarrr sz+Function.descr_prototype..rrz, ...z...css|]}|rt|VqdSrr0)rxrrrr2sz {}z section "{}"z:{prefix} {name}({args}{vararg}){attrs}{section}{metadata} )r^rrvarargrrrN)rr#r%rr-r r rr"anyZvar_argrr$rr,rr)r=r'stateretrrrr4rZcconvr^rrZpt_strZ prototyperrrdescr_prototypes6  zFunction.descr_prototypecCs|jD]}||qdS)z7 Describe of the body of the function. N)rr)r=r'r+rrr descr_bodys zFunction.descr_bodycCs2|||jr.|d|||ddS)Nz{ z} )r8rrr9rrrrrs    zFunction.descrcCsg}||d|Sr)rr%rrrr__str__s zFunction.__str__cCst|jdkSr)rrrrrris_declarationszFunction.is_declaration)r)r)rrrrrrrr'r(r,r/r8r9rr:r;rrrrrrs       rcseZdZedddddddddddddddddddddZdfdd Zd d Zd d ZeddZ e j ddZ eddZ e j ddZ eddZ e j ddZ fddZ ZS)ArgumentAttributes)NT)TT)FF)FTr)ZbyrefZbyvalZ elementtypeZimmargZinallocaZinregnestZnoaliasZ nocaptureZnofreeZnonnullZnoundefZ preallocatedreturnedZsignextZsretZ swiftasyncZ swifterrorZ swiftselfZzeroextrcs&d|_d|_d|_tt||dSr)_align_dereferenceable_dereferenceable_or_nullrr<rrrrrr!szArgumentAttributes.__init__cCsDddl}|jjd}|j||dk}|dkr@td|ddS)Nrz Attribute z) is not supported on current LLVM version)llvmlite.bindingbindingllvm_version_inforgetr+)r=rllvmlite llvm_major requires_typerrrr 's  z ArgumentAttributes._validate_addcCsFddl}|jjd}|j||dk}|r>|d|jdS|SdS)NrrBr))rCrDrErrFr)r=rr>rGrHrIrrrr/s  zArgumentAttributes._expandcCs|jSr)r?rrrrr8szArgumentAttributes.aligncCs t|tr|dkst||_dSr)rrr!r?rrrrr<scCs|jSr)r@rrrrdereferenceableAsz"ArgumentAttributes.dereferenceablecCs t|tr|dkst||_dSr)rrr!r@rrrrrKEscCs|jSr)rArrrrdereferenceable_or_nullJsz*ArgumentAttributes.dereferenceable_or_nullcCs t|tr|dkst||_dSr)rrr!rArrrrrLNscs\t|}|jr$|d|j|jr<|d|j|jrXd}|||j|S)Nz align {0:d}zdereferenceable({0:d})zdereferenceable_or_null({0:d}))rr rrr,rKrL)r=r>rZdrefrrrr Ss zArgumentAttributes._to_list)r)rrrrrrr rrrrrKrLr rrrrrr<sL       r<cs.eZdZdfdd ZddZddZZS) _BaseArgumentrcs8t|tjsttt|j|||d||_t|_ dSr) rrrr!rrMrrr<r )r=rr>rrrrr`sz_BaseArgument.__init__cCsd|jj|j|jfS)Nzrrrrrrfs z_BaseArgument.__repr__cCs|j|dSr)r rG)r=attrrrr add_attributejsz_BaseArgument.add_attribute)r)rrrrrrOrrrrrrM_srMc@seZdZdZddZdS)rz3 The specification of a function argument. cCsB|j|j}|r,d|jd||Sd|j|SdS)Nz {0} {1} {2}rr)r r r*r,r%r-r=rrrrr:ss zArgument.__str__Nrrrrr:rrrrrnsrc@seZdZdZddZdS)r!z9 The specification of a function's return value. cCs4|j|j}|r&dd||jSt|jSdS)Nrr)r r r*r,r%rrPrrrr:szReturnValue.__str__NrQrrrrr!|sr!cs^eZdZdZdfdd ZeddZeddZed d Zd d Z d dZ ddZ Z S)r*a  A LLVM IR basic block. A basic block is a sequence of instructions whose execution always goes from start to end. That is, a control flow instruction (branch) can only appear as the last instruction, and incoming branches can only jump to the first instruction. rcs2tt|j|t|d|j|_g|_d|_dSr)rr*rrZ LabelTyper instructions terminator)r=rrrrrrszBlock.__init__cCs |jdk Sr)rSrrrr is_terminatedszBlock.is_terminatedcCs|jSrr%rrrrfunctionszBlock.functioncCs|jjSr)rrrrrrrsz Block.modulecCs,|d||dd|jD7}dS)Nz{0}: cSsg|]}d|qS)z {0} )r,)rinstrrrrrszBlock.descr..)rr, _format_namerRrrrrrsz Block.descrcCsd|j|jkrtd|j|}|j||j|||jjD]}|jD]}|||qLqBdS)zReplace an instructionz$new instruction has a different typeN) r*rrRindexremover-rr(Z replace_usage)r=oldnewposZbbrVrrrrs     z Block.replacecCs2|j}t|s.|dddd}d|}|S)Nrrrrz"{0}")r_SIMPLE_IDENTIFIER_REmatchrr,rrrrrWs   zBlock._format_name)r) rrrrrrrTrUrrrrWrrrrrr*s    r*c@s(eZdZdZddZddZddZdS) BlockAddressz' The address of a basic block. cCs<t|tstt|tsttd|_||_||_ dS)N) rrr!r*rr]rr*rU basic_block)r=rUrarrrrs zBlockAddress.__init__cCsd|j|Srrrrrrr:szBlockAddress.__str__cCsd|j|jS)Nzblockaddress({0}, {1}))r,rUr-rarrrrr-szBlockAddress.get_referenceN)rrrrrr:r-rrrrr_sr_)3rr6rrerrZ llvmlite.irrrZllvmlite.ir._utilsrrrrmapord ascii_lettersdigitsr#compiler]r[r(r<r@rrArrrrmr.rrrrrrrrrsetrr rr<rMrr!r*r_rrrrs`    O  J8!, => 4\\ 6