|hf|*SrSSKJrJr SSKrSSKrSSKJrJr SSK J r J r J r SSKJ r Jr SSKJrJr \R""\5rSrS r\"S S 5rS rS rSrSrSrSrSrSrSrSr Sr!Sr"Sr#Sr$Sr%Sr&S\'4Sjr(SS.Sjr)g) z& Implement transformation on Numba IR ) namedtuple defaultdictN)compute_cfg_from_blocksfind_top_level_loops)errorsirir_utils)compute_use_defsr) PYVERSION _lazy_pformatc^^U4SjnSnU4Sjn[RS5 /n[T5Hn[RSU5 U"U5(dM(U"U5(dM7U"U5(dMFTR 5UR ;dMfUR U5 [RSU5 M U$)z= Returns a list of loops that are candidate for loop lifting c>[5nURHFn[STRU555nU(d[R S5 gX-nMH [ U5S:Hn[R SXA5 U$)z)all exits must point to the same locationc3*# UH upUv M g7fN).0x_s O/home/james-whalen/.local/lib/python3.13/site-packages/numba/core/transforms.py L_extract_loop_lifting_candidates..same_exit_point..s8&7da&7szreturn-statement in loop.Fzsame_exit_point=%s (%s))setexits successors_loggerdebuglen)loopoutedgesksuccsokcfgs rsame_exit_point9_extract_loop_lifting_candidates..same_exit_pointsr5A8cnnQ&788E 9:  H]a  /> cb[UR5S:Hn[RSU5 U$)zthere is one entryrz one_entry=%s)rentriesrr)rr#s r one_entry3_extract_loop_lifting_candidates..one_entry(s(  ! # nb) r'c>[UR5[UR5-[UR5-n[ TR U5HxnURHen[ U[R5(dM$[ UR[R5(dMO[RS5 g Mz [RS5 g)z!cannot have yield inside the loopz has yieldFzno yieldT) rbodyr)rmap __getitem__ isinstancerAssignvalueYieldrr)rinsidersblkinstblockss r cannot_yield6_extract_loop_lifting_candidates..cannot_yield.styy>C $55DJJGv))84CdBII..!$**bhh77 k2$ !5  j!r'zfinding looplift candidatesztop-level loop: %szadd candidate: %s)rinforr entry_pointr)append)r$r7r%r*r8 candidatesrs`` r _extract_loop_lifting_candidatesr>s    LL./J$S) *D1 D ! !ioo,t:L:L OO T\\ 1   d # MM-t 4 * r'cvXnXn0nUH nXXx'M [5n [5n [U5n U RR5Hn X-n M U RR5Hn X-n M X-n [ [U5U -5n[ [U5U -U -5nXV4$)z7Find input and output variables to a block region. )rr usemapvaluesdefmapsorted)r7livemapcallfromreturntobody_block_idsinputsoutputs loopblocksr! used_varsdef_varsdefsvsused_or_defineds rfind_region_inout_varsrPHs FG J  IuH J 'Dkk  " #kk  "#*OCK/1 2FS\O3h>?G ?r'loop_lift_infoz%loop,inputs,outputs,callfrom,returntoc [X5n/nUHnURun[[UR55n[ UR5S:aUR U5uupOUn[UR5[UR5-[UR5-n [UUUUU S9up[X[U XhS9n URU 5 M U$)z0 Returns information on looplifting candidates. r)r7rDrErFrG)rrHrIrErF) r>r)nextiterrrrrr-rP_loop_lift_infor<)r$r7rDloops loopinfosrrEan_exitrFrlocal_block_idsrHrIllis r_loop_lift_get_candidate_infosr[hs -S 9EI\\ tDJJ'( tzz?Q !nnW5O]hHdii.3t||+<# UHoTUR54v M g7fr)copy)rr!r7s rr+_loop_lift_modify_blocks..sC]&)..*+]s!$getiter)opc.URR$r)r_liners r*_loop_lift_modify_blocks..s QUUZZr')keyT)r7 arg_names arg_countforce_non_generatorr_)numba.core.dispatcherrqrrr-r)rrdictrorAextend find_exprsrir_derivetuplerHrgrErIrF)func_irrlr7 typingctx targetctxflagslocalsrqr loopblockkeysrJ getiter_exprsr5 first_getiterloop_loc lifted_irre callblockr!s ` r_loop_lift_modify_blocksrsS 1 ==D NS%66M 4::# C]CCJ 6M  "S^^y^9:# +?@M  Hj).x)?),X__)=37#+ -I I%%AJ-Z@Q@Q9R-5__h>N>N-5->->@I 1I!*F8   r'cF[UR5S::ag[UR5nUR5n[5n[U5nU(a9UR 5nUR U5 X#UU1- -nX$- nU(aM9[U5S:$)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'c$SSKJn [UR5nUR 5R 5H,n[ X#5(dM[XR5upM. UR5 U"U5R5 U$)z(Canonicalize loops for looplifting. r) PostProcessor) numba.core.postprocrrr7rVrAr_fix_multi_exit_blocksr_reset_analysis_variablesrun)rrr$ loop_info _common_keys r_pre_looplift_transformrss2 !'.. 1CYY['') #C 3 3#9$ G[*  %%'' Nr'c z[U5nURR5n[U5n[ XeUR R 5n/nU(a)[RS[U5[USS95 UH"n [X UXX45n URU 5 M$ URUS9n X4$)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"UR5$r)dump_to_stringrys rrzloop_lifting..s AQAQASr') lazy_funcr7)rr7rsrr[variable_lifetimerDrrrr rr<r) rrrrrr7r$rWrVrlliftedmains r loop_liftingrs&g.G ^^ "F !& )C.s/6/H/H/P/PRI E D)n#G7ST V)'V*3O V >>> (D ;r'c^^^^^^[T5mTR5mU4SjmU4SjmUU4SjnSmUUU4SjnU"5H nU"U5 M T$)z- Rewrite loops that have multiple backedges. c<>[TR55S-$)Nr)maxkeys) newblockssr new_block_id6canonicalize_cfg_single_backedge..new_block_id+s9>>#$q((r'c>SnURHAnTUnURR5nURU;dM4US- nUS:dMA g g)NrrTF)r- terminator get_targetsheader)rcountr!r5edgesr7s rhas_multiple_backedges@canonicalize_cfg_single_backedge..has_multiple_backedges.sUA)CNN..0E{{e# 19r'c3~># TR5R5HnT"U5(dMUv M g7fr)rVrA)lpr$rs r#yield_loops_with_multiple_backedgesMcanonicalize_cfg_single_backedge..yield_loops_with_multiple_backedges;s/))+$$&B%b))'s-= =c^^UU4Sjn[U[R5(aK[R"URU"UR5U"UR 5UR S9$[U[R5(a/[R"U"UR5UR S9$UR5(aeU$)Nc>UT:XaT$U$rr)targetdstsrcs rreplaceIcanonicalize_cfg_single_backedge..replace_target..replaceAs!S=C 5f 5r')condtruebrfalsebrr_rr_) r0rBranchrrrr_Jumprr)termrrrs `` rreplace_target8canonicalize_cfg_single_backedge..replace_target@s 6 dBII & &99$))$+DKK$8%,T\\%:!%+ +bgg & &77'$++"6DHHE E'')) ))Kr'c>URnT"5nURH]nT UnXRR5;dM'UR 5nT "URUU5URS'UT U'M_ T Un[ R "URURS9nUR[ R"XRS95 UT U'g)z3 Add new tail block that gathers all the backedges r]rN) rr-rrrsrrcr^r_r<r) rrtailkeyblkkeyr5newblkentryblktailblkrrrs rrewrite_single_backedgeAcanonicalize_cfg_single_backedge..rewrite_single_backedgeOs.iiFF#C3355"018#: B$* &! V$((X\\Brwwf++>?$ 'r')rrs) r7rrrr$rrrrs ` @@@@@r canonicalize_cfg_single_backedger$sR "& )C I)  %*45%6 r'c[U5$)zW Rewrite the given blocks to canonicalize the CFG. Returns a new dictionary of blocks. )rrs rcanonicalize_cfgrjs ,F 33r'c P^^^^SSKJn SUUUU4Sjjn[U5uppU(dU/4$URU5R 5 UR (deUR nUR R5n URn /n UHlup/n[XU 5HnURU5 M [X5 [X U 5unnURX XXU5nU RU5 Mn U (dUnUU 4$URU 5nUU 4$)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)postprocc>SSKJnJn TR5nU(aSUlSUlSUlSUlUnOUnU"UT T UT40UD6$)Nr) LiftedWithObjModeLiftedWithFT)rrrrsenable_loopliftenable_pyobjectforce_pyobjectno_cpython_wrapper) r objectmodekwargsrrmyflagsclsrrrrs rdispatcher_factory(with_lifting..dispatcher_factory{sVG**, &+G #&*G #%)G ").G &#CC7Iy'6LVLLr')F) numba.corerfind_setupwithsrrrr7rsr$_cfg_nodes_in_regionr<_legalize_with_head_get_with_contextmanagermutate_with_bodyr)rrrrrrrwithsvltr7r$sub_irs blk_startblk_end body_blocksrcmkindextrasubnew_irs ```` r with_liftingrrs'$MM"%W-NE { 7#'')  $ $$ $  # #C ^^ "F ''CG % (AD   t $BF-.0)L %%gy&1&+- s!&  7?' 7?r'cz^^^^^ SmU4Sjm UUUUU 4SjnTTRHpn[U[R5(dM$URnU"U5upg[ US5(d"[ R"STTRS9eXg4s $ [ R"STTRS9e)z7Get the global object used for the context manager zIllegal use of context-manager.c&>TRU5$)z#Get the definition given a variable)get_definition)varrs r get_var_dfn-_get_with_contextmanager..get_var_dfns%%c**r'cR>T RU5n[U[R5(ajURS:XaZUR Vs/sH nT "U5PM nnUR VVs0sHupEUT "U5_M nnnX6S.nURnOSn[R"[RT U5nU[RLa"[R"ST T RS9eUc[R"T URS9eX4$s snfs snnf)z~Return 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 managerr_)rr0rExprrvrkwsfuncr guardfind_outer_value UNDEFINEDr CompilerErrorr_)var_refdfnrrr!vr rctxobj_illegal_cm_msgrr7rrs rget_ctxmgr_obj0_get_with_contextmanager..get_ctxmgr_objs$$W- c277 # #&(8,/HH5HqKNHD51491k!n$C9!1EhhGE 9 97GL R\\ !&&<9%))  >&&CGGD D}'69s D3D#rz"Unsupported context manager in userzmalformed with-context usage) r-r0r EnterWithcontextmanagerhasattrrrr_) rr7rrstmtrrrrrs ``` @@rrrs8O+>y!&& dBLL ) )))G*73MF6#566**8y)--= '   & 9  ! !  r'c [[5nURHnU[U5==S- ss'M UR [ R 5S:wa[R"SURS9eUR [ RS5S:wa[R"SURS9eUR [ RS5 U(a[R"SURS9eg)zYGiven *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-typerrrrrr_rDel)r5countersrs rrrs3Hd!||BLL!Q&"" > ||BGGQ1$"" 8   LL"" 5 r'c>[5nU/nU(aUR5n[URU55nU(aI[ U6upx[UV s/sHn X;dM X:wdMU PM sn 5n UR U 5 X:-nU(aMU$s sn f)z;Find the set of CFG nodes that are in the given region )rrlistrzipr) r$ region_begin region_end region_nodesstacktossucclistr"rrnodess rrrs5L NE iiks+, H~HE%,%$3*%,-E LL   !L %  ,s B&B-BcSnURnU"U5n[X2U5nUR5VVs/sHupEU[U5S4PM nnnUHFupuX%RR 5n[ U5S:wdM2[R"S5e UHcupuX%n [R"URU RR 5SR5(dMX[X5 Me UVVs/sH0upEX@RURR 5S4PM2 nnn[U5nX`4$s snnfs snnf)zIFind all top-level with. Returns a list of ranges for the with-regions. c[U5n[5[5p2UR5HrupEURH]n[R "U5(aUR U5 [R"U5(dMLUR U5 M_ Mt [[5nURUSS9GH$n//pU RU5 U (dM!U R5nU RU5 XRHn[R"U5(a[R"S5e[R"U5(a+XS;a&XxR U5 URU5 OP[R "U5(dMUR#5Hn X;dM U RU 5 M M U (aGMGM' U$)NT)reversezBunsupported control flow due to raise statements inside with block)rritemsr-r is_setup_withr is_pop_blockr topo_sortr<ris_raiserrremove is_terminatorr) r7r$ sus_setupssus_popslabelrfrsetup_with_to_pop_blocks_map setup_blockto_visitseents r find_ranges$find_setupwiths..find_rangess%f-"uceH#LLNLE ))$//NN5)((..LL' #+(33'7$==T=BKd OOK ((  E""M..D((.."("6"6!?#""  ,,T22u7H4AEEeL . --d33!%!1!1!3A } ( 2"4'/ ( C@,+r'rrzlunsupported control flow: with-context contains branches (i.e. break/return/raise) that can leave the block ) r7consolidate_multi_exit_withsr,r rrrrrr is_return_rewrite_return_eliminate_nested_withs) rr;r7with_ranges_dictspwith_ranges_tuplertargets target_blocks rrrso 0,d^^F#6*++;WMG,11353!T!WQZ35$)&&224 w<1 &&F $$y   gnn''335a8::D* F F G ' $(9:'8Va^^A.99EEGJK'8:00AB  %%55(:s E7EclURUnURR5SnURUn[R"UR5nUS-nUR n[ R"SUS9n[ R"XS9n //p/UR[ R5Qn [U 5S:Xde[/UR[ R5Q5S:Xde[URS[ R5(deU Sn URRU 5nU R!URSU5 U R#[ R"X2R 55 U R!URUS5 U R#[ R"XbR 55 URURnU RR!U5 URR%5 URR!U 5 URR%5 URR!U 5 XRU'[R&"UR5UlU$)uRewrite 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)r7rrr find_max_labelr_rScoperc find_instsPopBlockrrr0r-indexrr<clearbuild_definitions _definitions)rtarget_block_labelrFtarget_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?ss/t>>"45L#/#:#:#F#F#H#K $^^,HI''7IA I*..Mhht7OCCK NN+&%%'&&{3X&!*NN9#55gnnEG Nr'c|/nSn[U5H'up4U"X4U5(aMURX445 M) U$)Nc6UHup4X:dM X:dM g g)NTFr)startend known_rangesabs rwithin_known_range3_eliminate_nested_withs..within_known_ranges! DAySW ! r')rCr<) with_rangesrbrerBes rr@r@sDL{#!! 55    '$ r'rcUH7nXn[U5S:dM[X$[RS9up%U1X'M9 U$)zGModify the FunctionIR to merge the exit blocks of with constructs. rsplit_condition)rrr r.)rr7rr!rNcommons rr=r=sI8 r7Q;4X-B-BOGxEH  Nr'rjc  URn[URR55nURn[ UR5S-n[ R "UR[ RS9nUnUS- nXsU'[ R "UR[ RS9n Un US- nXU '/n [U5GHupX=nUb/[UR5HunnU"U5(dM O OSnURSWnURUSnU RU5 UUl URnURR[ R"[ R"U US9URSUS9US95 UR(aeURR[ R "U[ RS95 GM" Ub!URRU SS5 UR(aeURR[ R "U WS95 /nU HnURU5 US- nM U n[ Rn[U 5GH8un nUR#SUS9nUR#S US9nURR[ R"[ R"U US9UUS95 URR[ R"[ R$R'[(R*UR-S5UUS 9UUS95 USR/5unURR[ R0"UUUU US95 [ R "UUS 9nUUUU 'GM; URR[ R "WUS95 X4$) aModify 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)r2rr_rz $cp_checkz$cp_rhs)fnlhsrhsr_r])r7rirAr^rrrc unknown_loc enumerater-r<r_r1Const get_or_define is_terminatedrredefinerbinopoperatoreqgetrr)r exit_nodesrkr7any_blkr^rS common_block common_label post_block post_label remainingsir!r5ptrbeforeafterr_ remain_blocksr switch_block match_expr match_rhs jump_targets rrrsxh^^F'..'')*G MMEGNN#a'I88GMMr~~>LL NI'<'--R^^rPrUr[rgrorrrrrrrrrrrr?r@rr=rrr'rrs 0M++I5   H %2j8-DFB$*,^.$8CL48v6 r6([&|hV"  DHV!r'