0;jif|*dZddlmZmZddlZddlZddlmZmZddl m Z m Z m Z ddlm Z mZddlmZmZejeZdZd Zed d Zd Zd ZdZdZdZdZdZdZdZdZ dZ!dZ"dZ#dZ$dZ%dZ&de'fdZ(dddZ)dS) z& Implement transformation on Numba IR ) namedtuple defaultdictN)compute_cfg_from_blocksfind_top_level_loops)errorsirir_utils)compute_use_defsr) PYVERSION _lazy_pformatcfd}d}fd}tdg}tD]}td|||ra||rV||rK|jvr0||td||S)zE Returns a list of loops that are candidate for loop lifting c6t}|jD]R}td|D}|stddS||z}St |dk}td|||S)z)all exits must point to the same locationc3 K|] \}}|V dSN).0x_s O/root/voice-cloning/.venv/lib/python3.11/site-packages/numba/core/transforms.py zL_extract_loop_lifting_candidates..same_exit_point..s&88da888888zreturn-statement in loop.Fzsame_exit_point=%s (%s))setexits successors_loggerdebuglen)loopoutedgesksuccsokcfgs rsame_exit_pointz9_extract_loop_lifting_candidates..same_exit_points55  A88cnnQ&7&788888E  9:::uu  HH ]]a  /X>>> rclt|jdk}td||S)zthere is one entryrz one_entry=%s)rentriesrr)rr#s r one_entryz3_extract_loop_lifting_candidates..one_entry(s/   ! # nb))) rct|jt|jzt|jz}t j|D]c}|jD]Y}t |tjr=t |j tj rt ddSZdt ddS)z!cannot have yield inside the loopz has yieldFzno yieldT) rbodyr'rmap __getitem__ isinstancerAssignvalueYieldrr)rinsidersblkinstblockss r cannot_yieldz6_extract_loop_lifting_candidates..cannot_yield.sty>>C $5$55DJGv)844 % %C % %dBI..%!$*bh77% k222$uuu  %  j!!!trzfinding looplift candidatesztop-level loop: %szadd candidate: %s)rinforr entry_pointr'append)r$r4r%r(r5 candidatesrs`` r _extract_loop_lifting_candidatesr:s        LL.///J$S))55 *D111 OD ! ! 5iioo 5,,t:L:L 5 OO  T\ 1 1   d # # # MM-t 4 4 4 rc||}||}i}|D] }||||<t} t} t|} | jD]} | | z} | jD]} | | z} | | z} t t|| z}t t|| z| z}||fS)z7Find input and output variables to a block region. )rr usemapvaluesdefmapsorted)r4livemapcallfromreturntobody_block_idsinputsoutputs loopblocksr! used_varsdef_varsdefsvsused_or_defineds rfind_region_inout_varsrLHsX FhG J ""q 1 IuuH J ' 'Dk  ""R k  ""B(*OCKK/1 2 2FS\\O3h>??G 7?rloop_lift_infoz%loop,inputs,outputs,callfrom,returntoct||}g}|D]}|j\}tt|j}t |jdkr||\\}} n|}t|jt|jzt|jz} t||||| \} } t|| | ||} | | |S)z8 Returns information on looplifting candidates. r)r4r@rArBrC)rrDrErArB) r:r'nextiterrrrrr*rL_loop_lift_infor8)r$r4r@loops loopinfosrrAan_exitrBrlocal_block_idsrDrEllis r_loop_lift_get_candidate_infosrWhs  -S& 9 9EI\ tDJ''(( tz??Q  !nnW55O]hHdi..3t|+<+<||j}|j}|j}t|dz }t jt j|||j|j||<t j t j|||j ||j <dS)z? Inplace transform loop blocks for use as lifted loop. rrY)rbrDr^)rbrEN) rArZr[minr fill_callee_prologuerr_rDfill_callee_epiloguerErB)loopinfor4 entry_blockrZr[firstblks r_loop_lift_prepare_loop_funcrks*+K  E /C6{{QH4hU,,,$F8 !) =hU,,, !!!F8 rcddlm}|j}t|jt|jz} t |jdkr | |jz} tfd| D} t|| g} | D]+} | | d,t| d} | j}|| t!|jt |jd | }||||||}t%||j|j|j|j}| D]}|=||j<|S) zu Modify the block inplace to call to the lifted-loop. Returns a dictionary of blocks of the lifted-loop. r) LiftedLooprc3PK|] }||fV!dSr)copy)rr!r4s rrz+_loop_lift_modify_blocks..s6CCq&)..**+CCCCCCrgetiter)opc|jjSr)r[liners rz*_loop_lift_modify_blocks..s QUZr)keyT)r4 arg_names arg_countforce_non_generatorr[)numba.core.dispatcherrmrrr*r'rrdictrkr=extend find_exprsrer[derivetuplerDrcrArErB)func_irrhr4 typingctx targetctxflagslocalsrmr loopblockkeysrF getiter_exprsr2 first_getiterloop_loc lifted_irra callblockr!s ` r_loop_lift_modify_blocksrs 100000 =D NNS%6%66M 4:# CCCC]CCCCCJ :666M  "";;S^^y^99:::: +?+?@@@M Hj).x)?)?),X_)=)=37#+ --I I%y%AAJ-Z@Q9R-5_h>N-5->@@I 1II )F8  rcht|jdkrdSt|j}|}t}t|}|r?|}||||||hz z}||z }|?t|dkS)zReturns True if there is more than one exit in the loop. NOTE: "common exits" refers to the situation where a loop exit has another loop exit as its successor. In that case, we do not need to alter it. rF)rrrpost_dominatorspopadd)r$lpinforpdom processedremainnodes r_has_multiple_loop_exitsrs  6<Au   E    DI ZZF #zz|| d dtf$$" # u::>rc>ddlm}t|j}|D]*}t ||rt||j\}}+| || |S)z(Canonicalize loops for looplifting. r) PostProcessor) numba.core.postprocrrr4rRr=r_fix_multi_exit_blocksr_reset_analysis_variablesrun)rrr$ loop_info _common_keys r_pre_looplift_transformrs211111 !'. 1 1CYY[['')) #C 3 3 #9$$ G[ %%'''M'   Nrc t|}|j}t|}t |||jj}g}|r9tdt|t|d|D],} t|| |||||} | | -| |} | |fS)z Loop lifting transformation. Given a interpreter `func_ir` returns a 2 tuple of `(toplevel_interp, [loop0_interp, loop1_interp, ....])` z+loop lifting this IR with %d candidates: %sc*|Sr)dump_to_stringrts rruzloop_lifting..sAQAQASASr) lazy_funcr4)rr4rorrWvariable_lifetimer@rrrr rr8r~) rrrrrr4r$rSrRrhliftedmains r loop_liftingrs&g..G ^ " "F !& ) )C.sF/6/H/PRRI EV D)nn#G7S7STTT V V V)'8V*3YvOO V >>> ( (D ;rctfdfdfd}dfd}|D] }||S)z5 Rewrite loops that have multiple backedges. cLtdzS)Nr)maxkeys) newblockssr new_block_idz6canonicalize_cfg_single_backedge..new_block_id+s 9>>##$$q((rcd}|jD]:}|}|j}|j|vr|dz }|dkrdS;dS)NrrTF)r* terminator get_targetsheader)rcountr!r2edgesr4s rhas_multiple_backedgesz@canonicalize_cfg_single_backedge..has_multiple_backedges.sa  A)CN..00E{e## 19944urc3|KD]}|r|VdSr)rRr=)lpr$rs r#yield_loops_with_multiple_backedgeszMcanonicalize_cfg_single_backedge..yield_loops_with_multiple_backedges;sQ))++$$&&  B%%b))   rcxfd}t|tjr>tj|j||j||j|jSt|tjr)tj||j|jS| rJ|S)Nc|krn|Srr)targetdstsrcs rreplacezIcanonicalize_cfg_single_backedge..replace_target..replaceAs!S==CCf 5r)condtruebrfalsebrr[rr[) r-rBranchrrrr[Jumprr)termrrrs `` rreplace_targetz8canonicalize_cfg_single_backedge..replace_target@s 6 6 6 6 6 6 dBI & & 9$)$+GDK$8$8%,WT\%:%:!%+++ +bg & & 7''$+"6"6DHEEE E'')) ) ))Krc|j}}|jD]X} |}||jvr3|} |j|||jd<| |<Y |}t j|j|j}| t j ||j| |<dS)zC Add new tail block that gathers all the backedges rYrN) rr*rrrorr_rZr[r8r) rrtailkeyblkkeyr2newblkentryblktailblkrrrs rrewrite_single_backedgezAcanonicalize_cfg_single_backedge..rewrite_single_backedgeOs,..i + +FF#C335555"0.18#:#: B$* &!V$(X\BBBrwf'+>>>???$ 'r)rro) r4rrrr$rrrrs ` @@@@@r canonicalize_cfg_single_backedger$s "& ) )C I)))))        %%%%%%%*4355&&%%%% rc t|S)zc Rewrite the given blocks to canonicalize the CFG. Returns a new dictionary of blocks. )rrs rcanonicalize_cfgrjs ,F 3 33rc ^ddlm}dfd }t|\}}|s|gfS|||jsJ|j}|j} |j} g} |D]\} } g}t| | | D]}| |t| | t|| | \}}| || | | |||}| || s|}n|| }|| fS)zWith-lifting transformation Rewrite the IR to extract all withs. Only the top-level withs are extracted. Returns the (the_new_ir, the_lifted_with_ir) r)postprocFcddlm}m}}|rd|_d|_d|_d|_|}n|}|| |fi|S)Nr) LiftedWithObjModeLiftedWithFT)rzrrroenable_loopliftenable_pyobjectforce_pyobjectno_cpython_wrapper) r objectmodekwargsrrmyflagsclsrrrrs rdispatcher_factoryz(with_lifting..dispatcher_factory{s|GGGGGGGG**,,  &+G #&*G #%)G ").G &#CCCs7Iy'6LLVLLLr)F) numba.corerfind_setupwithsrrrr4ror$_cfg_nodes_in_regionr8_legalize_with_head_get_with_contextmanagermutate_with_bodyr~)rrrrrrrwithsvltr4r$sub_irs blk_startblk_end body_blocksrcmkindextrasubnew_irs ```` r with_liftingrrs$#####MMMMMMMMM"%W--NE7 { 7##'')))  $$$ $  #C ^ " "F 'CG %  G (iAA % %D   t $ $ $ $F9-...0&)LL %%gvy'&13E&+-- s ('' 7?rcZ dfd  fd}jD]h}t|tjrL|j}||\}}t |ds!t jdj||fcSit jdj)z7Get the global object used for the context manager zIllegal use of context-manager.c.|S)z#Get the definition given a variable)get_definition)varrs r get_var_dfnz-_get_with_contextmanager..get_var_dfns%%c***rc |}t|tjr>|jdkr3 fd|jD} fd|jD}||d}|j}nd}tj tj |}|tj ur!tj dj|tj |j||fS)zReturn the context-manager object and extra info. The extra contains the arguments if the context-manager is used as a call. callc&g|] }|Srr)rrrs r zD_get_with_contextmanager..get_ctxmgr_obj..s!555qKKNN555rc.i|]\}}||Srr)rr!vrs r zD_get_with_contextmanager..get_ctxmgr_obj..s'999A1kk!nn999r)argsrNz*Undefined variable used as context managerr[)rr-rExprrqrkwsfuncr guardfind_outer_value UNDEFINEDr CompilerErrorr[) var_refdfnrrrctxobj_illegal_cm_msgrr4rrs rget_ctxmgr_objz0_get_with_contextmanager..get_ctxmgr_objs$$W-- c27 # # &(8(85555CH555D9999999C!S11EhGGE 97GLL R\ ! !&<9%)  >&CGDDD Du}rrz"Unsupported context manager in userzmalformed with-context usage) r*r-r EnterWithcontextmanagerhasattrrrr[) rr4rr stmtrrrrrs ``` @@rrrs8O+++++>y!& ! ! dBL ) ) !)G*N733MFE6#566 *8y)-5=  !  & 9  !    rctt}|jD]}|t|xxdz cc< |t jdkrtjd|j |t j ddkrtjd|j |t j d|rtjd|j dS)zaGiven *blk*, the head block of the with-context, check that it doesn't do anything else. rz0with's head-block must have exactly 1 ENTER_WITHrrz*with's head-block must have exactly 1 JUMPNz'illegal statements in with's head-block) rintr*typerrr rrr[rDel)r2countersr s rrrs 3H""d!||BL!!Q&&" > ||BGQ1$$" 8   LL" 5 rc( t |g}|r||}t||}|rBt |\}}t fd|D}|| |z || S)z;Find the set of CFG nodes that are in the given region c(g|]}|vr|k |Srr)rr region_end region_nodess rrz(_cfg_nodes_in_region.. s8,,,$|33 *****r)rrlistrzipr|) r$ region_beginrstacktossucclistr"rnodesrs ` @rrrs55L NE  "iikks++,,  "H~HE1,,,,,%,,,--E LL    E !L  " rc,d}j}||}t||d|D}|D]K\}}||j}t |dkrt jdL|D]^\}}||}tj j|jdjrt|_fd|D}t|}|fS)zQFind all top-level with. Returns a list of ranges for the with-regions. ct|}tt}}|D]a\}}|jD]T}t j|r||t j|r||Ubtt}| |dD]}gg} } | || r| }| |||jD]}t j |rtjdt j|r6||vr2|||||nEt j|r0|D]} | | vr| | | |S)NT)reversezBunsupported control flow due to raise statements inside with block)rritemsr*r is_setup_withr is_pop_blockr topo_sortr8ris_raiserrremove is_terminatorr) r4r$ sus_setupssus_popslabelrbr setup_with_to_pop_blocks_map setup_blockto_visitseents r find_rangesz$find_setupwiths..find_rangess%f--"uuceeH #LLNN ( (LE5  ( ()$//*NN5)))(..(LL'''  ((33'7'7$==T=BB 3 3KdH OOK ( ( ( 3  E""""5M.33D(..""("6!?#"#""  ,T22u7H7H4[AEEeLLL ... -d333!%!1!1!3!333A }} ( 2 2 25 38,+rcBg|]\}}|t|dfSr)r)rsps rrz#find_setupwiths..Vs:555!QT!WWQZ555rrzlunsupported control flow: with-context contains branches (i.e. break/return/raise) that can leave the block rcng|]1\}}|j|jdf2Sr2)r4rr)rr3r4rs rrz#find_setupwiths..jsM:::#aW^A.9EEGGJK:::r) r4consolidate_multi_exit_withsr!rrrrrr is_return_rewrite_return_eliminate_nested_withs) rr0r4with_ranges_dictwith_ranges_tuplerr4targets target_blocks ` rrrsy 0,0,0,d^F#{6**++;VWMMG55+1133555$A)&2244 w<<1  &F   $((Aay  gn'3355a8::D F F ( GQ ' ' '::::'8:::00ABB g %%rc8|j|}|jd}|j|}tj|j}|dz}|j}t jd|}t j||} gg} } g| t j } t| dksJtg| t j dksJt|jdt j sJ| d} |j| }| |jd|| t j ||j| |j|d| t j ||j|j|j}| j||j|j| |j|j| | |j|<tj|j|_|S)u:Rewrite a return block inside a with statement. Arguments --------- func_ir: Function IR the CFG to transform target_block_label: int the block index/label of the block containing the POP_BLOCK statement This implements a CFG transformation to insert a block between two other blocks. The input situation is: ┌───────────────┐ │ top │ │ POP_BLOCK │ │ bottom │ └───────┬───────┘ │ ┌───────▼───────┐ │ │ │ RETURN │ │ │ └───────────────┘ If such a pattern is detected in IR, it means there is a `return` statement within a `with` context. The basic idea is to rewrite the CFG as follows: ┌───────────────┐ │ top │ │ POP_BLOCK │ │ │ └───────┬───────┘ │ ┌───────▼───────┐ │ │ │ bottom │ │ │ └───────┬───────┘ │ ┌───────▼───────┐ │ │ │ RETURN │ │ │ └───────────────┘ We split the block that contains the `POP_BLOCK` statement into two blocks. Everything from the beginning of the block up to and including the `POP_BLOCK` statement is considered the 'top' and everything below is considered 'bottom'. Finally the jump statements are re-wired to make sure the CFG remains valid. rrNrr)r4rrr find_max_labelr[rScoper_ find_instsPopBlockrrr-r*indexr|r8clearbuild_definitions _definitions)rtarget_block_labelr=target_block_successor_labeltarget_block_successor max_label new_label new_block_locnew_block_scope new_blocktop_body bottom_body pop_blocks pb_markerpb_is return_bodys rr8r8ss\t>"45L#/#:#F#F#H#H#K $^,HI'77IA I*.Mht777Om<<CK N+&&&%%'''&&{333X&&&!*GN9#5gnEEG Nrcg}d}t|D])\}}||||s|||f*|S)Nc4|D]\}}||kr ||krdSdS)NTFr)startend known_rangesabs rwithin_known_rangez3_eliminate_nested_withs..within_known_ranges5   DAqqyyS1WWttur)r?r8) with_rangesrYr\r3es rr9r9siL{##((1!!!Q 55 (   A ' ' ' rrc|D]B}||}t|dkr%t||tj\}}|h||<C|S)zGModify the FunctionIR to merge the exit blocks of with constructs. rsplit_condition)rrr r#)rr4rr!rJcommons rr6r6s`  8 r77Q;;4X-BOGVxE!H Nrr`c |j}t|j}|j}t |jdz}t j|jt j}|}|dz }|||<t j|jt j} |} |dz }| || <g} t|D]\} } || }|(t|j D]\}}||rnnd}|j d|}|j |d}| |||_ |j }|j t j t j | ||d|||jrJ|j t j|t j|&|j | dd|jrJ|j t j| |g}| D]}| ||dz }| }t j}t| D]W\} }|d|}|d |}|j t j t j | ||||j t j t jt(j|d|| |||d\}|j t j|||| |t j|| }|||| <Y|j t j||||fS) a Modify the FunctionIR to create a single common exit node given the original exit nodes. Parameters ---------- func_ir : The FunctionIR. Mutated inplace. exit_nodes : The original exit nodes. A sequence of block keys. split_condition : callable or None If not None, it is a callable with the signature `split_condition(statement)` that determines if the `statement` is the splitting point (e.g. `POP_BLOCK`) in an exit node. If it's None, the exit node is not split. rrNrz$cp)r/rr[rz $cp_checkz$cp_rhs)fnlhsrhsr[rY)r4rer=rZrrr_ unknown_loc enumerater*r8r[r.Const get_or_define is_terminatedrredefinerbinopoperatoreqgetrr)r exit_nodesrar4any_blkrZrJ common_block common_label post_block post_label remainingsir!r2ptr beforeafterr[ remain_blocksr switch_block match_expr match_rhs jump_targets rrrs&h^F'.''))**G MEGN##a'I8GMr~>>>LL NI'F<'-R^<<rs; 0///////MMMMMMMM++++++++++IIIIIIII55555555 ' H % %222j8*-DFFB$*,,,^.$8CCCL444888v6 6 6 r6([&[&[&|hhhV"     DHV!V!V!V!V!V!V!r