+ -i,=|^RIt^RIHt^RIHt^RIHt^RIHt^RI H uH t Rt !RR4t!R R ]4t]P !^4P#4t!R R ]]4t!R R]]4t!RR]4t!RR]4t!RR]4t!RR]4t]R8Xd]P4!4R#R#)N) defaultdict)ir)binding)TestCasec#a"V3Rlp\PP4F-wr#VPR4'gKRV 2V!V43xK/ R#5i)cZ<aVV3RlpRSP RSP 2VnV#)c<S!VS4#N)selffn generate_tests&Z/var/www/html/photoedit/myenv/lib/python3.14/site-packages/llvmlite/tests/test_refprune.pywrapped-_iterate_cases..wrap..wrapped s r* *zgenerated test for .) __module____name____doc__)r rrsf rwrap_iterate_cases..wrap s) +/ a }Mrcasetest_N)proto__dict__items startswith)rrkcase_fnsf r_iterate_casesr! sJ nn**,  <<  !+tG}, ,-s >AAc&a]tRt^toRtRtVtR#)PassManagerMixinc\P!4\PP4P 4p\P !^^R7p\P !W4#)r) speed_level size_level)llvminitialize_native_targetTargetfrom_default_triplecreate_target_machinecreate_pipeline_tuning_optionscreate_pass_builder)r tmptos& rpbPassManagerMixin.pbsL %%' [[ , , . D D F11aAN''00rr N)rr __qualname____firstlineno__r0__static_attributes____classdictcell__ __classdict__s@rr#r#s11rr#cba]tRt^toRtRt]!]4Fwtt]] !4]&K Rt Vt R#)TestRefPrunePrototypez% Test that the prototype is working. cV!4wr#p\P!W#4P4pVPWE4R#r )rFanoutAlgorithmrun assertEqual)r case_gennodesedgesexpectedgots&& rr#TestRefPrunePrototype.generate_test#s5!)h##E1557 'rr N) rrr2r3rrr!namerlocalsr4r5r6s@rr9r9s/( %]3 d4rr9ca]tRt^0toRtRtRtRtRtRt Rt Rt R t ] !] 4Fwtt]]!4]&K R tVtR #) TestRefPrunePassz Test that the C++ implementation matches the expected behavior as for the prototype. This generates a LLVM module for each test case, runs the pruner and checks that the expected results are achieved. c\P!\P!4\.4p\P!WRR7#) NRT_increfrDr FunctionTypeVoidTypeptr_tyFunctionr mfntys&& r make_increfTestRefPrunePass.make_incref9+r{{}vh7{{166rc\P!\P!4\.4p\P!WRR7#) NRT_decrefrJrKrPs&& r make_decrefTestRefPrunePass.make_decref=rUrc\P!\P!^ 4R4p\P!WRR7#) switcherrJr rrLIntTyperOrPs&& r make_switcherTestRefPrunePass.make_switcherAs+rzz"~r2{{144rc\P!\P!^4R4p\P!WRR7#)brancherrJr r]rPs&& r make_brancherTestRefPrunePass.make_brancherEs+rzz!}b1{{144rc\P!4pVPV4pVPV4pVP V4pVP V4p\P !\P!4\.4p\P!W8RR7p V Pwp RV n /p VFp V PV 4W&K \P!4p VP4EFtwrV PW,4W,FBpVR8XdV P!WJ.4KVR8XdV P!WZ.4K9\#R4h \%V4pV^8XdV P'4KV^8XdVwpV P)V V,4KV^8Xd;VwppV P!VR4pV P+VV V,V V,4KV^8dqV P!VR4pVvppV P-VV V,R7p\/V4F.wppVP1VP3V4V V,4K0 EKl\#R4h V#)mainrJmemincrefdecref unreachable)defaultr )rModulerSrXr_rdrLrMrNrOargsrDappend_basic_block IRBuilderrposition_at_endcallAssertionErrorlenret_voidbranchcbranchswitch enumerateadd_casetype)r r?r@rQ incref_fn decref_fn switcher_fn brancher_fnrRr ptrbbmapbbbuilder jump_targetsaction n_targetsdstleftrightselheadtailswis&&& r generate_irTestRefPrunePass.generate_irIs  IIK$$Q' $$Q' ((+ ((+ r{{}vh7 [[v .B--b1EI,,. % B  # #EI .))X%LLE2x'LLE2(77 $L)IA~  "a$uSz*a , ull;3U4[%,?Qll;3 , ^^Ct^='oFAsKK U3Z8.%]33?!.Brc\P!\V44pVP4pVP 4pVP 4VP W#4V#r )r'parse_assemblystrr0getModulePassManageradd_refprune_passr<)r irmodmodr0pms&& rapply_refpruneTestRefPrunePass.apply_refprunesK!!#e*- WWY  $ $ &  s rc\R4pVP4F/wrVVPR4pVPR4pRVRV/WE&K1 VP4F]wrYVPV4'gKV R;;,^,uu&W%,Fp WJ,R;;,^,uu&K K_ VPFp V P R8XgKM X P F~p WLP ,p \V 4p V PR4pV PR4pVPV R,VRV 2R7VPV R,VRV 2R7K R#) c \\4#r )rintr rr(TestRefPrunePass.check..s C 0rrirjrgrIrWzBB )msgN) rrcountget functionsrDblocksrr=)r rrAr?drvsn_increfn_decrefstatsdec_bbfrtexts&&&& rcheckTestRefPrunePass.checks9 0 1[[]EAxx)Hxx)Hh(;AD# HA||Ah1$&kkFIh'1,'*"Avv ((BggJEr7Dzz,/Hzz,/H   U8_hc"J  G   U8_hc"J  G rcV!4wr#pVPW#4pVPV4pVPWdV4R#r )rrr)r r>r?r@rAroutmods&& rrTestRefPrunePass.generate_tests<!)h  .$$U+ 6U+rr N)rrr2r3rrSrXr_rdrrrrr!rDrrEr4r5r6s@rrGrG0sT77554lH>,%]3 d4rrGc2a]tRt^to^tRtRRltRtVtR#) BaseTestByIRzG declare void @NRT_incref(i8* %ptr) declare void @NRT_decref(i8* %ptr) Nc\P!VP RV 24pVP4pVP 4pVfVP VP 4MVP VP VR7\P!4pVPW44\P!4pW7V, 3#) subgraph_limit) r'rprologuer0rrrefprune_bitmaskdump_refprune_statsr<)r rrrr0rbeforeafters&&& rrBaseTestByIR.checks!!T]]O2eW"=> WWY  $ $ &  !  !6!6 7  !6!60> ! @))+ s((*FN""rr r ) rrr2r3rrrr4r5r6s@rrrsH # #rrcta]tRt^to]P P tRtRt Rt Rt Rt Rt RtRtR tVtR #) TestPerBBzv define void @main(i8* %ptr) { call void @NRT_incref(i8* %ptr) call void @NRT_decref(i8* %ptr) ret void } cxVPVP4wrVPVP^4R#N)r per_bb_ir_1r= basicblockr rrs& r test_per_bb_1TestPerBB.test_per_bb_1s.ZZ 0 01  ))1-rz define void @main(i8* %ptr) { call void @NRT_incref(i8* %ptr) call void @NRT_incref(i8* %ptr) call void @NRT_incref(i8* %ptr) call void @NRT_decref(i8* %ptr) call void @NRT_decref(i8* %ptr) ret void } cVPVP4wrVPVP^4VP R\ V44R#)zcall void @NRT_incref(ptr %ptr)N)r per_bb_ir_2r=rassertInrrs& r test_per_bb_2TestPerBB.test_per_bb_2sAZZ 0 01  ))1- 7SBrz define void @main(ptr %ptr, ptr %other) { call void @NRT_incref(ptr %ptr) call void @NRT_incref(ptr %ptr) call void @NRT_decref(ptr %ptr) call void @NRT_decref(ptr %other) ret void } cVPVP4wrVPVP^4VP R\ V44R#)r!call void @NRT_decref(ptr %other)N)r per_bb_ir_3r=rrrrs& r test_per_bb_3TestPerBB.test_per_bb_3AZZ 0 01  ))1- 93s8Drz ; reordered define void @main(ptr %ptr, ptr %other) { call void @NRT_incref(ptr %ptr) call void @NRT_decref(ptr %ptr) call void @NRT_decref(ptr %ptr) call void @NRT_decref(ptr %other) call void @NRT_incref(ptr %ptr) ret void } cVPVP4wrVPVP^4VP R\ V44R#)rrN)r per_bb_ir_4r=rrrrs& r test_per_bb_4TestPerBB.test_per_bb_4rrr N)rrr2r3r'RefPruneSubpassesPER_BBrrrrrrrrrr4r5r6s@rrrsP--44K. KC KE KEErrc~a]tRtRto]P P tRtRt Rt Rt Rt Rt RtR tR tR tR tVtR #) TestDiamondi z define void @main(i8* %ptr) { bb_A: call void @NRT_incref(i8* %ptr) br label %bb_B bb_B: call void @NRT_decref(i8* %ptr) ret void } cxVPVP4wrVPVP^4R#r)r per_diamond_1r=diamondrs& rtest_per_diamond_1TestDiamond.test_per_diamond_1,ZZ 2 23  *rz define void @main(i8* %ptr, i1 %cond) { bb_A: call void @NRT_incref(i8* %ptr) br i1 %cond, label %bb_B, label %bb_C bb_B: br label %bb_D bb_C: br label %bb_D bb_D: call void @NRT_decref(i8* %ptr) ret void } cxVPVP4wrVPVP^4R#r)r per_diamond_2r=rrs& rtest_per_diamond_2TestDiamond.test_per_diamond_2,rra3 define void @main(i8* %ptr, i1 %cond) { bb_A: call void @NRT_incref(i8* %ptr) br i1 %cond, label %bb_B, label %bb_C bb_B: br label %bb_D bb_C: call void @NRT_decref(i8* %ptr) ; reject because of decref in diamond br label %bb_D bb_D: call void @NRT_decref(i8* %ptr) ret void } cxVPVP4wrVPVP^4R#rN)r per_diamond_3r=rrs& rtest_per_diamond_3TestDiamond.test_per_diamond_3@rra5 define void @main(i8* %ptr, i1 %cond) { bb_A: call void @NRT_incref(i8* %ptr) br i1 %cond, label %bb_B, label %bb_C bb_B: call void @NRT_incref(i8* %ptr) ; extra incref will not affect prune br label %bb_D bb_C: br label %bb_D bb_D: call void @NRT_decref(i8* %ptr) ret void } cxVPVP4wrVPVP^4R#r)r per_diamond_4r=rrs& rtest_per_diamond_4TestDiamond.test_per_diamond_4Trra0 define void @main(i8* %ptr, i1 %cond) { bb_A: call void @NRT_incref(i8* %ptr) call void @NRT_incref(i8* %ptr) br i1 %cond, label %bb_B, label %bb_C bb_B: br label %bb_D bb_C: br label %bb_D bb_D: call void @NRT_decref(i8* %ptr) call void @NRT_decref(i8* %ptr) ret void } cxVPVP4wrVPVP^4R#)rN)r per_diamond_5r=rrs& rtest_per_diamond_5TestDiamond.test_per_diamond_5irrr N)rrr2r3r'rDIAMONDrrrrrrrrrrrr4r5r6s@rrr sX--55 M+ M+M +M +M"++rrcta]tRtRtoRt]P PtRt Rt Rt Rt Rt RtR tR tVtR #) TestFanoutinz6More complex cases are tested in TestRefPrunePass z define void @main(i8* %ptr, i1 %cond) { bb_A: call void @NRT_incref(i8* %ptr) br i1 %cond, label %bb_B, label %bb_C bb_B: call void @NRT_decref(i8* %ptr) ret void bb_C: call void @NRT_decref(i8* %ptr) ret void } cxVPVP4wrVPVP^4R#)N)rfanout_1r=fanoutrs& r test_fanout_1TestFanout.test_fanout_1*ZZ .  q)ra6 define void @main(i8* %ptr, i1 %cond, i8** %excinfo) { bb_A: call void @NRT_incref(i8* %ptr) br i1 %cond, label %bb_B, label %bb_C bb_B: call void @NRT_decref(i8* %ptr) ret void bb_C: call void @NRT_decref(i8* %ptr) br label %bb_B ; illegal jump to other decref } cxVPVP4wrVPVP^4R#r)rfanout_2r=rrs& r test_fanout_2TestFanout.test_fanout_2rra} define void @main(i8* %ptr, i1 %cond) { bb_A: call void @NRT_incref(i8* %ptr) call void @NRT_incref(i8* %ptr) br i1 %cond, label %bb_B, label %bb_C bb_B: call void @NRT_decref(i8* %ptr) call void @NRT_decref(i8* %ptr) call void @NRT_decref(i8* %ptr) ret void bb_C: call void @NRT_decref(i8* %ptr) call void @NRT_decref(i8* %ptr) ret void } cxVPVP4wrVPVP^4R#)Nrfanout_3r=rrs& r test_fanout_3TestFanout.test_fanout_3rrc|VPVP^R7wrVPVP^4R#)rbrNrrs& rtest_fanout_3_limited TestFanout.test_fanout_3_limiteds0ZZ aZ@  q)rr N)rrr2r3rr'rFANOUTrrrrrrrrr4r5r6s@rrrnsL--44 H* H*H$***rrca]tRtRto]P P tRtRt Rt Rt Rt Rt RtR tR tR tR tR tRtVtR#)TestFanoutRaiseia' define i32 @main(i8* %ptr, i1 %cond, i8** %excinfo) { bb_A: call void @NRT_incref(i8* %ptr) br i1 %cond, label %bb_B, label %bb_C bb_B: call void @NRT_decref(i8* %ptr) ret i32 0 bb_C: store i8* null, i8** %excinfo, !numba_exception_output !0 ret i32 1 } !0 = !{i1 true} cxVPVP4wrVPVP^4R#r)rfanout_raise_1r= fanout_raisers& rtest_fanout_raise_1#TestFanoutRaise.test_fanout_raise_1.ZZ 3 34  ++Q/ra: define i32 @main(i8* %ptr, i1 %cond, i8** %excinfo) { bb_A: call void @NRT_incref(i8* %ptr) br i1 %cond, label %bb_B, label %bb_C bb_B: call void @NRT_decref(i8* %ptr) ret i32 0 bb_C: store i8* null, i8** %excinfo, !numba_exception_typo !0 ; bad metadata ret i32 1 } !0 = !{i1 true} cxVPVP4wrVPVP^4R#r)rfanout_raise_2r=rrs& rtest_fanout_raise_2#TestFanoutRaise.test_fanout_raise_2s0ZZ 3 34  ++Q/ra: define i32 @main(i8* %ptr, i1 %cond, i8** %excinfo) { bb_A: call void @NRT_incref(i8* %ptr) br i1 %cond, label %bb_B, label %bb_C bb_B: call void @NRT_decref(i8* %ptr) ret i32 0 bb_C: store i8* null, i8** %excinfo, !numba_exception_output !0 ret i32 1 } !0 = !{i32 1} ; ok; use i32 cxVPVP4wrVPVP^4R#r)rfanout_raise_3r=rrs& rtest_fanout_raise_3#TestFanoutRaise.test_fanout_raise_3rra! define i32 @main(i8* %ptr, i1 %cond, i8** %excinfo) { bb_A: call void @NRT_incref(i8* %ptr) br i1 %cond, label %bb_B, label %bb_C bb_B: ret i32 1 ; BAD; all tails are raising without decref bb_C: ret i32 1 ; BAD; all tails are raising without decref } !0 = !{i1 1} cxVPVP4wrVPVP^4R#r)rfanout_raise_4r=rrs& rtest_fanout_raise_4#TestFanoutRaise.test_fanout_raise_4rra define i32 @main(i8* %ptr, i1 %cond, i8** %excinfo) { bb_A: call void @NRT_incref(i8* %ptr) br i1 %cond, label %bb_B, label %bb_C bb_B: call void @NRT_decref(i8* %ptr) br label %common.ret bb_C: store i8* null, i8** %excinfo, !numba_exception_output !0 br label %common.ret common.ret: %common.ret.op = phi i32 [ 0, %bb_B ], [ 1, %bb_C ] ret i32 %common.ret.op } !0 = !{i1 1} cxVPVP4wrVPVP^4R#r)rfanout_raise_5r=rrs& rtest_fanout_raise_5#TestFanoutRaise.test_fanout_raise_5rraf define i32 @main(i8* %ptr, i1 %cond1, i1 %cond2, i1 %cond3, i8** %excinfo) { bb_A: call void @NRT_incref(i8* %ptr) call void @NRT_incref(i8* %ptr) br i1 %cond1, label %bb_B, label %bb_C bb_B: call void @NRT_decref(i8* %ptr) br i1 %cond2, label %bb_D, label %bb_E bb_C: store i8* null, i8** %excinfo, !numba_exception_output !0 ret i32 1 bb_D: call void @NRT_decref(i8* %ptr) ret i32 0 bb_E: call void @NRT_incref(i8* %ptr) br i1 %cond3, label %bb_F, label %bb_C bb_F: call void @NRT_decref(i8* %ptr) call void @NRT_decref(i8* %ptr) ret i32 0 } !0 = !{i1 1} cxVPVP4wrVPVP^4R#)N)rfanout_raise_6r=rrs& rtest_fanout_raise_6#TestFanoutRaise.test_fanout_raise_68rrr N)rrr2r3r'r FANOUT_RAISErrrrrrrrrr r!r%r&r4r5r6s@rr r sd--:: N0N 0 N 0 N0N$0 N400rr __main__)unittest collectionsrllvmliterrr'llvmlite.testsrllvmlite.tests.refprune_prototestsrefprune_protorr!r#r9r^ as_pointerrNrGrrrrr rrgr rrr2s#$#-- -11 H  A ! ! #~x!1~B#8-#.@E @EF`+,`+FD*D*NE0lE0P z MMOr