DŽgEz"dZddlmZmZddlZddlZddlmZmZddl m Z m Z m Z ddlm Z mZddlmZej eZdZd Zed d Zd Zd ZdZdZdZdZdZdZdZdZdZ dZ!dZ"dZ#dZ$dZ%de&fdZ'dddZ(y) z& Implement transformation on Numba IR ) namedtuple defaultdictN)compute_cfg_from_blocksfind_top_level_loops)errorsirir_utils)compute_use_defsr) PYVERSIONc\fd}d}fd}tjdg}tD]w}tjd|||s"||s+||s4j |j vsQ|j |tjd|y|S)zE Returns a list of loops that are candidate for loop lifting ct}|jD]A}tdj|D}|stj dy||z}Ct |dk(}tj d|||S)z)all exits must point to the same locationc3&K|] \}}| ywN).0x_s ]/home/mcse/projects/flask_80/flask-venv/lib/python3.12/site-packages/numba/core/transforms.py zL_extract_loop_lifting_candidates..same_exit_point..s8da8szreturn-statement in loop.Fzsame_exit_point=%s (%s))setexits successors_loggerdebuglen)loopoutedgesksuccsokcfgs rsame_exit_pointz9_extract_loop_lifting_candidates..same_exit_points{5 A8cnnQ&788E 9:  H ]a  /X> cbt|jdk(}tjd||S)zthere is one entryrz one_entry=%s)rentriesrr)rr!s r one_entryz3_extract_loop_lifting_candidates..one_entry(s(  ! # nb) r$ct|jt|jzt|jz}t j |D]j}|jD]Y}t |tjst |jtjsCtjdyltjdy)z!cannot have yield inside the loopz has yieldFzno yieldT) rbodyr&rmap __getitem__ isinstancerAssignvalueYieldrr)rinsidersblkinstblockss r cannot_yieldz6_extract_loop_lifting_candidates..cannot_yield.styy>C $55DJJGv))84 %C %dBII.!$**bhh7 k2$  % %  j!r$zfinding looplift candidatesztop-level loop: %szadd candidate: %s)rinforr entry_pointr&append)r"r3r#r'r4 candidatesrs`` r _extract_loop_lifting_candidatesr9s    LL./J$S)5 *D1 D !io,t:L OO T\\ 1   d # MM-t 4 5 r$cz||}||}i}|D] }||||< t} t} t|} | jjD]} | | z} | jjD]} | | z} | | z} t t|| z}t t|| z| z}||fS)z7Find input and output variables to a block region. )rr usemapvaluesdefmapsorted)r3livemapcallfromreturntobody_block_idsinputsoutputs loopblocksr used_varsdef_varsdefsvsused_or_defineds rfind_region_inout_varsrKHsX FhG J "q 1 "IuH J 'Dkk  "R kk  "B(*OCK/1 2FS\O3h>?G 7?r$loop_lift_infoz%loop,inputs,outputs,callfrom,returntoct||}g}|D]}|j\}tt|j}t |jdkDr|j |\\}} n|}t|jt|jzt|jz} t||||| \} } t|| | ||} |j| |S)z8 Returns information on looplifting candidates. r)r3r?r@rArB)rrCrDr@rA) r9r&nextiterrrrrr)rK_loop_lift_infor7)r"r3r?loops loopinfosrr@an_exitrArlocal_block_idsrCrDllis r_loop_lift_get_candidate_infosrVhs -S& 9EI\\ tDJJ'( tzz?Q !nnW5O]hHdii.3t||+<.s!Cq&)..*+Cs"T)r3 arg_names arg_countforce_non_generator)numba.core.dispatcherrlrrr)r&rrdictrjderivetuplerCrbr@rDrA)func_irrgr3 typingctx targetctxflagslocalsrlr loopblockkeysrE lifted_irr` callblockrs ` r_loop_lift_modify_blocksr~s 1 ==D NS%66M 4::# C]CCJ :6j).x)?),X__)=379II%y%AJ-Z@Q@Q9R-5__h>N>N-5->->@I 1I!*F8   r$c2t|jdkryt|j}|j}t}t|}|r5|j }|j |||||hz z}||z }|r5t|dkDS)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<<A  E    DI ZF zz| d dtf$$"  u:>r$cddlm}t|j}|j j D](}t ||st||j\}}*|j||j|S)z(Canonicalize loops for looplifting. r) PostProcessor) numba.core.postprocrrr3rQr<r_fix_multi_exit_blocksr_reset_analysis_variablesrun)rvrr" loop_info _common_keys r_pre_looplift_transformrsy2 !'.. 1CYY['') #C 3#9$ G[  %%'' Nr$c t|}|jj}t|}t |||j j }g}|r.tjdt||j|D]$} t|| |||||} |j| &|j|} | |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: %sr3)rr3rnrrVvariable_lifetimer?rrrdump_to_stringr~r7rt) rvrwrxryrzr3r"rRrQrgliftedmains r loop_liftingrs&g.G ^^ "F !& )C.sF/6/H/H/P/PRI E D)ng&<&<&> @)'8V*3YvO V >>> (D ;r$ctjfdfdfd}dfd}|D] }|| S)z5 Rewrite loops that have multiple backedges. c<tjdzS)Nr)maxkeys) newblockssr new_block_idz6canonicalize_cfg_single_backedge..new_block_id"s9>>#$q((r$cd}|jD]<}|}|jj}|j|vs1|dz }|dkDs<yy)NrrTF)r) terminator get_targetsheader)rcountrr1edgesr3s rhas_multiple_backedgesz@canonicalize_cfg_single_backedge..has_multiple_backedges%sZ A)CNN..0E{{e# 19 r$c3nKjjD]}|s |ywr)rQr<)lpr"rs r#yield_loops_with_multiple_backedgeszMcanonicalize_cfg_single_backedge..yield_loops_with_multiple_backedges2s2))+$$& B%b) s*55cfd}t|tjrMtj|j||j||j |j St|tjr1tj||j|j S|jrJ|S)Nc|k(rS|Srr)targetdstsrcs rreplacezIcanonicalize_cfg_single_backedge..replace_target..replace8s!S=C 5f 5r$)condtruebrfalsebrrZrrZ) r,rBranchrrrrZJumprr)termrrrs `` rreplace_targetz8canonicalize_cfg_single_backedge..replace_target7s 6 dBII &99$))$+DKK$8%,T\\%:!%+ +bgg &77'$++"6DHHE E'') ))Kr$c|j}}|jD]Z} |}||jjvs%|j } |j|||jd<| |<\ |}t j |j|j}|jt j||j| |<y)zC Add new tail block that gathers all the backedges rXrN) rr)rrrnrr^rYrZr7r) rrtailkeyblkkeyr1newblkentryblktailblkrrrs rrewrite_single_backedgezAcanonicalize_cfg_single_backedge..rewrite_single_backedgeFs.ii +FF#C3355"018#: B$* &! +V$((X\\Brwwf'++>?$ 'r$)rrn) r3rrrr"rrrrs ` @@@@@r canonicalize_cfg_single_backedgersW "& )C I)  %*45&%& r$ct|S)zc Rewrite the given blocks to canonicalize the CFG. Returns a new dictionary of blocks. )rrs rcanonicalize_cfgras ,F 33r$c 6ddlm}dfd }t|\}}|s|gfS|j|j |j sJ|j }|j j} |j} g} |D]p\} } g}t| | | D]}|j|t| | t|| | \}}|j|| | | |||}| j|r| s|}|| fS|j| }|| 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)postproccddlm}m}j}|rd|_d|_d|_d|_|}n|}|| |fi|S)Nr) LiftedWithObjModeLiftedWithFT)rrrrrnenable_loopliftenable_pyobjectforce_pyobjectno_cpython_wrapper) rv objectmodekwargsrrmyflagsclsryrzrxrws rdispatcher_factoryz(with_lifting..dispatcher_factoryrsVG**, &+G #&*G #%)G ").G &#CC7Iy'6LVLLr$)F) numba.corerfind_setupwithsrrrr3rnr"_cfg_nodes_in_regionr7_legalize_with_head_get_with_contextmanagermutate_with_bodyrt)rvrwrxryrzrrwithsvltr3r"sub_irs blk_startblk_end body_blocksrcmkindextrasubnew_irs ```` r with_liftingrisA$MM"%W-NE7 { 7#'')  $ $$ $  # #C ^^ "F ''CG % G (iA %D   t $ %F9-.0&)L %%gvy'&13E&+- s   7?' 7?r$cj dfd  fd}jD]i}t|tjs|j}||\}}t |ds$t jdj||fcSt jdj)z7Get the global object used for the context manager zIllegal use of context-manager.c&j|S)z#Get the definition given a variable)get_definition)varrvs r get_var_dfnz-_get_with_contextmanager..get_var_dfns%%c**r$cB j|}t|tjre|jdk(rV|j Dcgc] } | }}|j Dcic]\}}| |}}}||d}|j}nd}tjtj |}|tjur$tjd j|!tj |j||fScc}wcc}}w)zReturn the context-manager object and extra info. The extra contains the arguments if the context-manager is used as a call. call)argsrNz*Undefined variable used as context managerrZ)rr,rExproprkwsfuncr guardfind_outer_value UNDEFINEDr CompilerErrorrZ)var_refdfnrrrvrrctxobj_illegal_cm_msgrr3rvrs rget_ctxmgr_objz0_get_with_contextmanager..get_ctxmgr_objs$$W- c277 #&(8,/HH5qKN5D5149A1k!n$9C9!S1EhhGE 9 97GL R\\ !&&<9%))  >&&CGGD Du}'69s D*Drz"Unsupported context manager in userzmalformed with-context usage) r)r,r EnterWithcontextmanagerhasattrrrrZ) rvr3rrstmtrrrrrs ``` @@rrrs8O+>y!&& ! dBLL )))G*73MFE6#56**8y)--5=  !   & 9  ! !  r$ctt}|jD]}|t|xxdz cc<|j t j dk7r!tjd|j|j t jddk7r!tjd|j|j t jd|r!tjd|jy)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)typerrrrrrZrDel)r1countersrs rrrs3H"d!"||BLL!Q&"" > ||BGGQ1$"" 8   LL"" 5 r$ct}|g}|rr|j}t|j|}|rCt |\}}t|D cgc] } | |vr| |k7r| c} } |j | || z}|rr|Scc} w)z;Find the set of CFG nodes that are in the given region )rrlistrzipextend) r" region_begin region_end region_nodesstacktossucclistr rrnodess rrrs5L NE iiks+, H~HE1%,$|3 *,-E LL  E !L   ,sBcd}|j}||}t|||}|jDcgc]\}}|t|df}}}|D]E\}}||jj }t |dk7s2tjd|D]^\}}||} tj|j| jj djsSt||`|Dcgc]1\}}||j|jj df3}}}t|}||fScc}}wcc}}w)zQFind all top-level with. Returns a list of ranges for the with-regions. ctt|}tt}}|jD]c\}}|jD]O}t j |r|j |t j|s?|j |Qett}|j|dD]}gg} } | j|| s| j}| j|||jD]}t j|rtjdt j|r+||vr'||j ||j|nCt j |s|j#D]} | | vs| j| | r|S)NT)reversezBunsupported control flow due to raise statements inside with block)rritemsr)r is_setup_withr is_pop_blockr topo_sortr7ris_raiserrremove is_terminatorr) r3r" sus_setupssus_popslabelrarsetup_with_to_pop_blocks_map setup_blockto_visitseents r find_rangesz$find_setupwiths..find_rangess%f-"uceH #LLN (LE5  ())$/NN5)((.LL'  ( ((33'7$==T=B 3KdH OOK (  E""5M..3D((."("6"6!?#""  ,,T2u7H4[AEEeL . --d3!%!1!1!33A } ( 23'3   3@,+r$rrzlunsupported control flow: with-context contains branches (i.e. break/return/raise) that can leave the block ) r3consolidate_multi_exit_withsrrrrrrrr is_return_rewrite_return_eliminate_nested_withs) rvrr3with_ranges_dictspwith_ranges_tuplertargets target_blocks rrr s 0,d^^F#6*++;VWMG,1135!QT!WQZ55$A)&&224 w<1 &&F $(Aay   gnn''335a8::D* F GQ ' ((9:#aW^^A.99EEGJK::00AB g %%55(:s E6Ech|j|}|jjd}|j|}tj|j}|dz}|j }t jd|}t j||} gg} } g|jt j} t| dk(sJtg|jt jdk(sJt|jdt jsJ| d} |jj| }| j!|jd|| j#t j||j | j!|j|d| j#t j||j |j|j}| jj!||jj%|jj!| |jj%|jj!| | |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)r3rrr find_max_labelrZrScoper^ find_instsPopBlockrrr,r)indexrr7clearbuild_definitions _definitions)rvtarget_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 rr!r!js6t>>"45L#/#:#:#F#F#H#K $^^,HI''7IA I*..Mhht7OmCCK NN+&%%'&&{3X&!*GNN9#55gnnEG Nr$crg}d}t|D]#\}}||||r|j||f%|S)Nc2|D]\}}||kDs ||ksyy)NTFr)startend known_rangesabs rwithin_known_rangez3_eliminate_nested_withs..within_known_ranges,  DAqqyS1W   r$)r>r7) with_rangesrDrGr$es rr"r"sLL{#(1!!Q 5   A '( r$rc|D];}||}t|dkDst||tj\}}|h||<=|S)zGModify the FunctionIR to merge the exit blocks of with constructs. rsplit_condition)rrr r)rr3rvrrIcommons rrrsV 8 r7Q;4X-B-BOGVxE!H   Nr$rKc ,|j}t|jj}|j}t |jdz}t j |jt j}|}|dz }|||<t j |jt j} |} |dz }| || <g} t|D]\} } || }|(t|jD]\}}||snnd}|jd}|j|d}| j|||_ |j}|jjt jt j| ||jd|||jrJ|jjt j |t j|!|jj| dd|jrJ|jjt j | g}| D]}|j||dz }| }t j}t| D]J\} }|j#d|}|j#d |}|jjt jt j| ||||jjt jt j$j't(j*|j-d|| |||dj/\}|jjt j0|||| |t j || }|||| <M|jjt 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.rrZrz $cp_checkz$cp_rhs)fnlhsrhsrZrX)r3rdr<rYrrr^ unknown_loc enumerater)r7rZr-Const get_or_define is_terminatedrredefinerbinopoperatoreqgetrr)rv exit_nodesrLr3any_blkrYr5 common_block common_label post_block post_label remainingsirr1ptrbeforeafterrZ remain_blocksr switch_block match_expr match_rhs jump_targets rrrsh^^F'..'')*G MMEGNN#a'I88GMMr~~>LL NI'F<'--R^^rss 0M++I& '  H %2j8-DFB$*$N.$6CL48v6 r6([&|hV"  DHV!r$