a .;b>@srddlZddlmZmZddlZddlZddlmZddlZ ddl Z ddl mZm Z m Z mZmZddlmZddlmZddZed Gd d d ejZe jeje jeje jejiZe jej e j!ej"e j#ej$e j%ej&e j'ej(e j)ej*e j+ej,e j-ej.e j/ej0e j1ej2e j3ej4e j5ej6i Z7e j8ej9e j:ej;e jej?e j@ejAe jBejCiZDd d ZEejFddZGddZHdS)N) defaultdict OrderedDict)SimpleNamespace)types targetconfigirrewritescompiler)npydecl)DUFunccCst|tjtfSN) isinstancenpufuncr )funcr9lib/python3.9/site-packages/numba/np/ufunc/array_exprs.py _is_ufuncsrzafter-inferencecsheZdZdZfddZddZddZdd Zd d Zd d Z ddZ ddZ ddZ ddZ ZS)RewriteArrayExprszThe RewriteArrayExprs class is responsible for finding array expressions in Numba intermediate representation code, and rewriting those expressions to a single operation that will expand into something similar to a ufunc call. cs:tt|j|g|Ri||jj}d|vr6t|d<dS)N arrayexpr)superr__init__Z targetctx special_ops_lower_array_expr)selfstateargskwsr __class__rrrszRewriteArrayExprs.__init__c Cst|dkrdS||_||_t|_i|_|tj}|D]X}|j j }|j }t |tj r|t ||dtjr|||||q:t |tjr:||j|<q:t|jdkS)z Using typing and a basic block, search the basic block for array expressions. Return True when one or more matches were found, False otherwise. rFN)len crnt_blocktypemapr array_assigns const_assignsZ find_instsrAssigntargetnamevaluer ExprgetrArray_match_array_exprConst) rZfunc_irblockr"Z calltypesZ assignmentsinstr target_nameexprrrrmatch!s"     zRewriteArrayExprs.matchcs|j}j}|dvrD|jtjvrDtfdd|Dr|||<nR|dkr|jjj vrj |jj}t |t j r|j }t|r||s|||<dS)z Find whether the given assignment (*instr*) of an expression (*expr*) to variable *target_name* is an array expression. unarybinopc3s|]}j|jjVqdSr )r"r'Z is_internal.0varrrr Qsz6RewriteArrayExprs._match_array_expr..callN)opr#fnr supported_array_operatorsall list_varsrr'r"r rZFunction typing_keyr_has_explicit_output)rr/r1r0Zexpr_opr#Z func_typeZfunc_keyrr9rr,Bs      z#RewriteArrayExprs._match_array_exprcCs,t|jt|j}|jdur"dS||jkS)zr Return whether the *expr* call to *func* (a ufunc) features an explicit output argument. NT)r rrvarargnin)rr1rnargsrrrrB`s z&RewriteArrayExprs._has_explicit_outputcCs>|j}|dvr|jS|dkr,|j|jjjStd|dS)Nr3r;z:Don't know how to find the operator for '{0}' expressions.)r<r=r"rr'rANotImplementedErrorformatrir_exprir_oprrr_get_array_operatorlsz%RewriteArrayExprs._get_array_operatorcCsJ|j}|dkr|j|jfS|dkr*|S|dkr8|jStd|dS)z{Given a Numba IR expression, return the operands to the expression in order they appear in the expression. r5r4r;z:Don't know how to find the operands for '{0}' expressions.N)r<ZlhsZrhsr@rrFrGrHrrr _get_operandsvs zRewriteArrayExprs._get_operandscs:|j}|dkr|jSfdd|D}||fS)zZTranslate the given expression from Numba IR to an array expression tree. rcsg|]}j|j|qSr)r$r*r')r7Zop_varr9rr sz5RewriteArrayExprs._translate_expr..)r<r1rLrK)rrIrJZoperands_or_argsrr9r_translate_exprs z!RewriteArrayExprs._translate_exprcCsVi}t}tt}|jD],}|j}g}|||f}tjd|j ||j |j j d}t ||j |j } | ||<| |j|j j <||D]} | j } | jr| |jvr|j| } | j} | }|D]} || j d7<q||| | j jrH|| j j d|| <q| |jvr,||j| q|| j d7<|| qq|||fS)ztIterate over the matches, trying to find which instructions should be rewritten, deleted, or moved. r)r<locr1tyN)setrintr#valuesr(rKrr)rOr"r&r'r%rLZis_tempr@appendrNaddr$)r replace_map dead_vars used_varsr/r1Zarr_inpsZarr_exprZnew_exprZ new_instroperandZ operand_nameZ child_assignZ child_exprZchild_operandsrrr_handle_matchess@     z!RewriteArrayExprs._handle_matchescCs||}||vr||}q|S)zFind the final replacement instruction for a given initial instruction by chasing instructions in a map from instructions to replacement instructions. r)rZreplacement_mapr/ replacementrrr_get_final_replacements z(RewriteArrayExprs._get_final_replacementc Cs6|\}}}|j}|i}|jjD]}t|tjr||vr|||}|r| ||j D]>}|j } | |vr| | | || dkrh|| d8<qhn | |q,t|tjr|j } || dkr|| d8<||| <n| |vr| |q,| |q,|r2|D]}||q |S)z}When we've found array expressions in a basic block, rewrite that block, returning a new, transformed block. rrQ)r[r!copyclearbodyr rr%r]rUr(r@r'popZDelrTZinsert_before_terminator) rrWrXrYresultZ delete_mapr/r\r8Zvar_nameZ instr_valuerrrapplys>            zRewriteArrayExprs.apply)__name__ __module__ __qualname____doc__rr2r,rBrKrLrNr[r]rc __classcell__rrrrrs !   % rc Cst|tr.|\}}g}i}|D]$}t|\}}||||q |tjvrt|dkr|tvrt |dt||d|fS|t vrt |dt |g|dg|fSn&|t vsJt t ||d|fSnRt|rdtt|dd}t |t } |||<t | |g} | |fSn^t|tjrnt j|jt |jj|jjrb|jjnddifSt|tjrt |jifSt d|fd S) z[Build a Python expression AST from an array expression built by RewriteArrayExprs. rrQz__ufunc_or_dufunc_{0}-_)lineno col_offsetz1Don't know how to translate array expression '%r'N)!r tuple_arr_expr_to_astrUupdater r>r _binopsastZBinOp_cmpopsZCompare _unaryopsZUnaryOprrGhexhashreplaceNameZLoadZCallrZVarr'rOlinecolr-ZNumr(rF) r1r<Z arr_expr_argsast_argsenvargZast_argZ child_envZfn_nameZ fn_ast_nameZast_callrrrro sX         roc cst}|D]Z}|j}|jj||jdj}|dddd}||vrRt|d||f||<||_q t|}z"|VW|D]\}}||_qn|D]\}}||_q0dS)za Legalize names in the variable list for use as a Python function's parameter names. )rO$rk.z not uniqueN) rr'ZscopeZredefinerOrwAssertionErrorlistrT)Zvar_listZvar_mapr8Zold_namenew_nameZ param_namesrrr_legalize_parameter_names2s   rcs(dtt|dd}|jj}|}tt|ddd}dd|D}t|}d d|D}t d ||d } t | d rt | jd ksJ| jd} || j_t|j\| jd_} t | Wdn1s0Yt| |d } t| | | |} j}j|jfdd|D}g}|jD]@}t|tjrF|j}t|tjrb||jn ||q.|j j|t!"#}|durt$%n|&}d|_'|j(| |ddddl)m*}Gfddd|j+}t,t |d |d}|j-|j.|_/fdd|D}|0|||||S)z:Lower an array expression built by RewriteArrayExprs. z__numba_array_expr_%srjrkcSs|jSr r')r8rrrTz#_lower_array_expr..)keycSsg|] }|jqSrrr6rrrrMWrz%_lower_array_expr..cSsg|]}t|dqSr )rrr})r7Z param_namerrrrM[szdef {0}(): returnexecr`rQrNc3s|]}|VqdSr )Ztypeofr7r'lowererrrr:prz$_lower_array_expr..numpyF)flagsZcaching)npyimplcseZdZfddZdS)z%_lower_array_expr..ExprKernelcsLt|jjj}fdd|D}jj|}|jjjS)Ncs g|]\}}}|||qSr)cast)r7valZintyZouttyr9rrrMszB_lower_array_expr..ExprKernel.generate..)zip outer_sigrcontextZ call_internalZfndescr return_type)rrZarg_zipZ cast_argsrbbuildercres inner_sigr9rgenerates   z._lower_array_expr..ExprKernel.generateN)rdrerfrrrrr ExprKernelsr)rDnoutrdcsg|]}|qSr)ZloadvarrrrrrMr)1rurvrwrOfilenamer@sortedrRrrrparserGhasattrr r`rror1r(Zfix_missing_locationscompilerrrrPr rOptionaltyper+rUZdtyperrZ ConfigStackZ top_or_noner ZFlagsr^Z error_modelZcompile_subroutineZnumba.nprZ_KernelrrDrrEZnumpy_ufunc_kernel)rr1Z expr_nameZ expr_filenameZ expr_var_listZexpr_var_uniqueZ expr_argsZ expr_paramsr{Z ast_moduleZast_fn namespaceZcode_objimplrrZinner_sig_argsZargtyrrrrrr)rrrrrrLsZ   (         r)Irr collectionsrr contextlibsysrrrroperatorZ numba.corerrrr Znumba.core.typingr Znumba.np.ufunc.dufuncr rZregister_rewriteZRewriterposZUAddnegZUSubinvertZInvertrtrVZAddsubZSubmulZMulttruedivZDivmodZModor_ZBitOrrshiftZRShiftxorZBitXorlshiftZLShiftand_ZBitAndpowZPowfloordivZFloorDivrqeqZEqneZNotEqltZLtleZLtEgtZGtgeZGtErsrocontextmanagerrrrrrrsR   X (