U ,d>@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 )funcr>/tmp/pip-unpacked-wheel-eu7e0c37/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. cs4tt|j|f|||jj}d|kr0t|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}|dkrD|jtjkrDtfdd|Dr|||<nR|dkr|jjj krj |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}|jdk r"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}|dkr|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<lhsrhsr@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<r1rNrK)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| |jkr|j| } | j} | }|D]} || j d7<q||| | j jrH|| j j d|| <q| |jkr,||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)rQr"r&r'r%rNZis_tempr@appendrPaddr$)r replace_map dead_vars used_varsr/r1Zarr_inpsZarr_exprZnew_exprZ new_instrZoperandZ operand_nameZ child_assignZ child_exprZchild_operandsrrr_handle_matchess@     z!RewriteArrayExprs._handle_matchescCs||}||kr||}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||kr|||}|r| ||j D]>}|j } | |kr| | | || dkrh|| d8<qhn | |q,t|tjr|j } || dkr|| d8<||| <n| |kr| |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. rrS)r\r!copyclearbodyr rr%r^rWr(r@r'popZDelrVZinsert_before_terminator) rrYrZr[resultZ delete_mapr/r]r8var_nameZ instr_valuerrrapplys@            zRewriteArrayExprs.apply)__name__ __module__ __qualname____doc__rr2r,rBrKrNrPr\r^re __classcell__rrrrrs !   % rc Cst|tr.|\}}g}i}|D]$}t|\}}||||q |tjkrt|dkr|tkrt |dt||d|fS|t krt |dt |g|dg|fSn&|t kstt t ||d|fSnRt|rdtt|dd}t |t } |||<t | |g} | |fSn^t|tjrnt j|jt |jj|jjrb|jjnddifSt|tjrt |j ifSt!d|fd S) z[Build a Python expression AST from an array expression built by RewriteArrayExprs. rrSz__ufunc_or_dufunc_{0}-_)lineno col_offsetz1Don't know how to translate array expression '%r'N)"r tuple_arr_expr_to_astrWupdater r>r _binopsastZBinOp_cmpopsZCompare _unaryopsAssertionErrorZUnaryOprrGhexhashreplaceNameLoadZCallrZVarr'rQlinecolr-ZNumr(rF) r1r<Z arr_expr_argsast_argsenvargZast_argZ child_envfn_nameZ fn_ast_nameZast_callrrrrq s`          rqc cst}|D]Z}|j}|jj||jdj}|dddd}||krRt|d||f||<||_q t|}z |VW5|D]\}}||_qXdS)za Legalize names in the variable list for use as a Python function's parameter names. )rQ$rm.z not uniqueN) rr'ZscopeZredefinerQrzrwlistrV)Zvar_listZvar_mapr8Zold_namenew_nameZ param_namesrrr_legalize_parameter_names2s  rc sdtt|dd}|jj}|}tt|ddd}dd|D}t|v}d d|D}t d ||d } t | d rt | jd kst| jd} || j_t|j\| jd_} t | W5QRXt| |d } t| | | |} j}j|jfdd|D}g}|jD]@}t|tjr2|j}t|tjrN||j n ||q|j!j |t"#$}|dkrt%&n|'}d|_(|j)| |ddddl*m+}Gfddd|j,}t-t |d |d}|j.|j/|_0fdd|D}|1|||||S)z:Lower an array expression built by RewriteArrayExprs. z__numba_array_expr_%srlrmcSs|jSr r')r8rrrTz#_lower_array_expr..)keycSsg|] }|jqSrrr6rrrrOWsz%_lower_array_expr..cSsg|]}t|dqSr )rtr)r7 param_namerrrrO[szdef {0}(): returnexecrarSrc3s|]}|VqdSr )Ztypeofr7r'lowererrrr:psz$_lower_array_expr..NnumpyF)flagsZcaching)npyimplcseZdZfddZdS)z%_lower_array_expr..ExprKernelcsLt|jjj}fdd|D}jj|}|jjjS)Ncs g|]\}}}|||qSr)cast)r7valZintyZouttyr9rrrOszB_lower_array_expr..ExprKernel.generate..)zip outer_sigrcontextZ call_internalZfndescr return_type)rrZarg_zipZ cast_argsrcbuildercres inner_sigr9rgenerates  z._lower_array_expr..ExprKernel.generateN)rfrgrhrrrrr ExprKernelsr)rDnoutrfcsg|]}|qSr)ZloadvarrrrrrOs)2rxryrzrQfilenamer@sortedrTrrtparserGhasattrr rarwrrqr1r(Zfix_missing_locationscompilerrrrRr rOptionaltyper+rWZdtyperrZ 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_paramsrZ ast_moduleZast_fn namespaceZcode_objimplrrZinner_sig_argsZargtyrrrrrr)rrrrrrLsf           r)Irt collectionsrr contextlibsysrrrroperatorZ numba.corerrrr Znumba.core.typingr Znumba.np.ufunc.dufuncr rZregister_rewriteZRewriterposZUAddnegZUSubinvertZInvertrvrXZAddsubZSubmulZMulttruedivZDivmodZModor_ZBitOrrshiftZRShiftxorZBitXorlshiftZLShiftand_ZBitAndpowZPowfloordivZFloorDivrseqZEqneZNotEqltZLtleZLtEgtZGtgeZGtErurqcontextmanagerrrrrrrs|   X (