hi?LdZddlmZddlmZddlmZmZddlm Z m Z ddl m Z m Z mZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZm Z m!Z!m"Z"m#Z#m$Z$m%Z%m&Z&m'Z'm(Z(m)Z)m*Z*m+Z+m,Z,m-Z-m.Z.m/Z/m0Z0m1Z1m2Z2m3Z3m4Z4m5Z5m6Z6m7Z7m8Z8m9Z9m:Z:m;Z;GddZdAdZ?e dZ@eAeBeeCfeDe@fZEGdde e@ZFeBeDe@eDe@fZGGdde,eGe@ZHGddeHe;ZIdBd!ZJ dCdDd%ZKGd&d'eHe;ZLdEd)ZMGd*d+eHe;ZNdFd.ZOGd/d0eHe;ZPdGd1ZQdZRd2ZS dHdId>ZTd3S)JzData-flow analyses.) annotations)abstractmethod)IterableIterator)GenericTypeVar)0Assign AssignMulti BasicBlockBoxBranchCallCallCCast ComparisonOp ControlOpDecRefExtendFloatFloatComparisonOpFloatNegFloatOpGetAttr GetElementPtrGotoIncRef InitStaticIntegerIntOp KeepAlive LoadAddressLoadErrorValue LoadGlobal LoadLiteralLoadMem LoadStatic MethodCallOp OpVisitor PrimitiveOpRaiseStandardError RegisterOpReturnSetAttr SetElementSetMemTruncateTupleGetTupleSetUnborrowUnboxUndef UnreachableValuec"eZdZdZd d Zdd Zd S)CFGzyControl-flow graph. Node 0 is always assumed to be the entry point. There must be a non-empty set of exits. succ"dict[BasicBlock, list[BasicBlock]]predexitsset[BasicBlock]returnNonec8|sJ||_||_||_dSN)r;r=r>)selfr;r=r>s g/var/www/html/Pagina-Ingenieria-Requisitos/venv/lib/python3.11/site-packages/mypyc/analysis/dataflow.py__init__z CFG.__init__Ds&     strcZt|jd}d|d|jd|jS)Nc*t|jSrC)intlabel)es rEzCFG.__str__..PsQWrG)keyzexits: z succ: z pred: )sortedr>r;r=)rDr>s rE__str__z CFG.__str__Os<tz'='=>>>FFF FF49FFFrGN)r;r<r=r<r>r?r@rAr@rH)__name__ __module__ __qualname____doc__rFrQrGrEr:r:=sL    GGGGGGrGr:F) use_yieldsblockslist[BasicBlock]rXboolr@cti}i}t}|D]}td|jddDr Jd|r4t|jt r|jjr|jjg}n&t|j}|s| ||g|zD]#}|j r| |j $|||<g||<| D]%\}} | D]} ||  |&t|||S)zCalculate basic block control-flow graph. If use_yields is set, then we treat returns inserted by yields as gotos instead of exits. c3@K|]}t|tVdSrC) isinstancer).0ops rE zget_cfg..^s=  *,Jr9 % %      rGNz-Control-flow ops must be at the end of blocks)setanyopsr^ terminatorr- yield_targetlisttargetsadd error_handlerappenditemsr:) rYrXsucc_mappred_mapr>blockr; error_pointprevnxtrLs rEget_cfgrtTs H35H EEE  05 #2#      ; ; : ; ; ;  4*U%5v>> 45CSC` 4$12DD(002233D  IIe   "7T> 7 7K( 7 K5666^^%%)) c ) )E UO " "4 ( ( ( ( ) x5 ) ))rGrLr ct|jdkr2t|jdtr|jdj}|S)Nrb)lenrer^rrL)rLs rEget_real_targetrxs= 59~~z%)B->> " # LrGrAcd}|r|D]V}t|jD]-\}}|j|t |.Wd}t |}|}|t|D]0\}}|dks |j|r| |.d}1|dSdS)zCleanup the control flow graph. This eliminates obviously dead basic blocks and eliminates blocks that contain nothing but a single jump. There is a lot more that could be done. TFrN) enumeraterfri set_targetrxrtcopyclearr=rl)rYchangedrpitgtcfg orig_blockss rE cleanup_cfgrs G  E EE#E$4$<$<$>$>?? E E3 ++As/C/CDDDD Efookkmm  !+..  HAuAvv%v e$$$$ rGTceZdZd dZd dZd S) AnalysisResultbeforeAnalysisDict[T]afterr@rAc"||_||_dSrCrr)rDrrs rErFzAnalysisResult.__init__s  rGrHc(d|jd|jdS)Nzbefore: z after:  r)rDs rErQzAnalysisResult.__str__s>$+>> >>>>rGN)rrrrr@rArR)rSrTrUrFrQrWrGrErrs<??????rGrcfeZdZdKdZedLdZedMd ZedNd ZedOd ZdPdZ dQdZ dRdZ dSdZ dTdZ dUdZdVdZdWdZdXdZdYd!ZdZd#Zd[d%Zd\d'Zd]d)Zd^d+Zd_d-Zd`d/Zdad1Zdbd3Zdcd5Zddd7Zded9Zdfd;Zdgd=Z dhd?Z!didAZ"djdCZ#dkdEZ$dldGZ%dmdIZ&dJS)nBaseAnalysisVisitorr`rr@ GenAndKill[T]c:ttfSrCrcrDr`s rE visit_gotozBaseAnalysisVisitor.visit_gotouucee|rGr,ctrCNotImplementedErrorrs rEvisit_register_opz%BaseAnalysisVisitor.visit_register_op!!rGr ctrCrrs rE visit_assignz BaseAnalysisVisitor.visit_assignrrGr ctrCrrs rEvisit_assign_multiz&BaseAnalysisVisitor.visit_assign_multirrGr0ctrCrrs rE visit_set_memz!BaseAnalysisVisitor.visit_set_memrrGrc,||SrCrrs rE visit_callzBaseAnalysisVisitor.visit_call%%b)))rGr'c,||SrCrrs rEvisit_method_callz%BaseAnalysisVisitor.visit_method_callrrGr"c,||SrCrrs rEvisit_load_error_valuez*BaseAnalysisVisitor.visit_load_error_valuerrGr$c,||SrCrrs rEvisit_load_literalz&BaseAnalysisVisitor.visit_load_literalrrGrc,||SrCrrs rEvisit_get_attrz"BaseAnalysisVisitor.visit_get_attrrrGr.c,||SrCrrs rEvisit_set_attrz"BaseAnalysisVisitor.visit_set_attrrrGr&c,||SrCrrs rEvisit_load_staticz%BaseAnalysisVisitor.visit_load_staticrrGrc,||SrCrrs rEvisit_init_staticz%BaseAnalysisVisitor.visit_init_staticrrGr2c,||SrCrrs rEvisit_tuple_getz#BaseAnalysisVisitor.visit_tuple_getrrGr3c,||SrCrrs rEvisit_tuple_setz#BaseAnalysisVisitor.visit_tuple_setrrGr c,||SrCrrs rE visit_boxzBaseAnalysisVisitor.visit_boxrrGr5c,||SrCrrs rE visit_unboxzBaseAnalysisVisitor.visit_unboxrrGrc,||SrCrrs rE visit_castzBaseAnalysisVisitor.visit_castrrGr+c,||SrCrrs rEvisit_raise_standard_errorz.BaseAnalysisVisitor.visit_raise_standard_errorrrGrc,||SrCrrs rE visit_call_cz BaseAnalysisVisitor.visit_call_crrGr*c,||SrCrrs rEvisit_primitive_opz&BaseAnalysisVisitor.visit_primitive_oprrGr1c,||SrCrrs rEvisit_truncatez"BaseAnalysisVisitor.visit_truncaterrGrc,||SrCrrs rE visit_extendz BaseAnalysisVisitor.visit_extendrrGr#c,||SrCrrs rEvisit_load_globalz%BaseAnalysisVisitor.visit_load_globalrrGrc,||SrCrrs rE visit_int_opz BaseAnalysisVisitor.visit_int_oprrGrc,||SrCrrs rEvisit_float_opz"BaseAnalysisVisitor.visit_float_oprrGrc,||SrCrrs rEvisit_float_negz#BaseAnalysisVisitor.visit_float_negrrGrc,||SrCrrs rEvisit_comparison_opz'BaseAnalysisVisitor.visit_comparison_op rrGrc,||SrCrrs rEvisit_float_comparison_opz-BaseAnalysisVisitor.visit_float_comparison_op rrGr%c,||SrCrrs rEvisit_load_memz"BaseAnalysisVisitor.visit_load_memrrGrc,||SrCrrs rEvisit_get_element_ptrz)BaseAnalysisVisitor.visit_get_element_ptrrrGr/c,||SrCrrs rEvisit_set_elementz%BaseAnalysisVisitor.visit_set_elementrrGr!c,||SrCrrs rEvisit_load_addressz&BaseAnalysisVisitor.visit_load_addressrrGr c,||SrCrrs rEvisit_keep_alivez$BaseAnalysisVisitor.visit_keep_aliverrGr4c,||SrCrrs rEvisit_unborrowz"BaseAnalysisVisitor.visit_unborrowrrGN)r`rr@r)r`r,r@r)r`r r@r)r`r r@r)r`r0r@r)r`rr@r)r`r'r@r)r`r"r@r)r`r$r@r)r`rr@r)r`r.r@r)r`r&r@r)r`rr@r)r`r2r@r)r`r3r@r)r`r r@r)r`r5r@r)r`rr@r)r`r+r@r)r`rr@r)r`r*r@r)r`r1r@r)r`rr@r)r`r#r@r)r`rr@r)r`rr@r)r`rr@r)r`rr@r)r`rr@r)r`r%r@r)r`rr@r)r`r/r@r)r`r!r@r)r`r r@r)r`r4r@r)'rSrTrUrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrWrGrErrs"""^""""^""""^""""^"**************************************************************************************************************************rGrcTeZdZdZdddZdd Zdd ZddZddZddZ d dZ d!dZ dS)"DefinedVisitoraVisitor for finding defined registers. Note that this only deals with registers and not temporaries, on the assumption that we never access temporaries when they might be undefined. If strict_errors is True, then we regard any use of LoadErrorValue as making a register undefined. Otherwise we only do if `undefines` is set on the error value. This lets us only consider the things we care about during uninitialized variable checking while capturing all possibly undefined things for refcounting. F strict_errorsr[r@rAc||_dSrCr)rDrs rErFzDefinedVisitor.__init__2s*rGr`r GenAndKill[Value]c:ttfSrCrrs rE visit_branchzDefinedVisitor.visit_branch5rrGr-c:ttfSrCrrs rE visit_returnzDefinedVisitor.visit_return8rrGr7c:ttfSrCrrs rEvisit_unreachablez DefinedVisitor.visit_unreachable;rrGr,c:ttfSrCrrs rErz DefinedVisitor.visit_register_op>rrGr ct|jtr)|jjs|jrt |jhfS|jht fSrC)r^srcr" undefinesrrcdestrs rErzDefinedVisitor.visit_assignAsR bfn - - $263C $tGY $5527)# #G9cee# #rGr c:ttfSrCrrs rErz!DefinedVisitor.visit_assign_multiHsuucee|rGr0c:ttfSrCrrs rErzDefinedVisitor.visit_set_memLrrGNF)rr[r@rAr`r r@rr`r-r@rr`r7r@rr`r,r@rr`r r@rr`r r@rr`r0r@r) rSrTrUrVrFrrrrrrrrWrGrErr"s  +++++$$$$rGrrinitial_defined set[Value]AnalysisResult[Value]cNt||t|dtS)zCalculate potentially defined registers at each CFG location. A register is defined if it has a value along some path from the initial location. FrYr gen_and_killinitialbackwardkind) run_analysisrMAYBE_ANALYSIS)rYrrs rEanalyze_maybe_defined_regsrPs3  #%%     rGregsIterable[Value]rc nt||t||dtt|S)aICalculate always defined registers at each CFG location. This analysis can work before exception insertion, since it is a sound assumption that registers defined in a block might not be initialized in its error handler. A register is defined if it has a value along all paths from the initial location. rFrYrrrrruniverse)rr MUST_ANALYSISrc)rYrrrrs rEanalyze_must_defined_regsr asA  #-@@@ T   rGcNeZdZddZdd Zdd Zdd ZddZddZddZ ddZ dS)BorrowedArgumentsVisitorargsrr@rAc||_dSrC)r)rDrs rErFz!BorrowedArgumentsVisitor.__init__}s  rGr`r rc:ttfSrCrrs rErz%BorrowedArgumentsVisitor.visit_branchrrGr-c:ttfSrCrrs rErz%BorrowedArgumentsVisitor.visit_returnrrGr7c:ttfSrCrrs rErz*BorrowedArgumentsVisitor.visit_unreachablerrGr,c:ttfSrCrrs rErz*BorrowedArgumentsVisitor.visit_register_oprrGr c|j|jvrt|jhfSttfSrC)rrrcrs rErz%BorrowedArgumentsVisitor.visit_assigns6 7di  5527)# #uucee|rGr c:ttfSrCrrs rErz+BorrowedArgumentsVisitor.visit_assign_multirrGr0c:ttfSrCrrs rErz&BorrowedArgumentsVisitor.visit_set_memrrGN)rrr@rArrrrrrr) rSrTrUrFrrrrrrrrWrGrErr|s rGrborrowedc Rt||t||dt|S)zCalculate arguments that can use references borrowed from the caller. When assigning to an argument, it no longer is borrowed. Fr )rrr )rYrrs rEanalyze_borrowed_argumentsrs8  -h77    rGcFeZdZddZddZdd Zdd Zdd ZddZddZ dS)UndefinedVisitorr`r r@rc:ttfSrCrrs rErzUndefinedVisitor.visit_branchrrGr-c:ttfSrCrrs rErzUndefinedVisitor.visit_returnrrGr7c:ttfSrCrrs rErz"UndefinedVisitor.visit_unreachablerrGr,cNt|js|hn tfSrC)rcis_voidrs rErz"UndefinedVisitor.visit_register_ops"uu"*7rdd#%%77rGr c.t|jhfSrCrcrrs rErzUndefinedVisitor.visit_assignuurwirGr c.t|jhfSrCr#rs rErz#UndefinedVisitor.visit_assign_multir$rGr0c:ttfSrCrrs rErzUndefinedVisitor.visit_set_memrrGNrrrrrrr) rSrTrUrrrrrrrrWrGrErrs8888        rGrr`r(ct}|D]9}t|ttt fs||:|SrC)rcsourcesr^rrr6rj)r`resultsources rEnon_trivial_sourcesr+sS UUF**,,&7E5"9::  JJv    MrGcVeZdZddZddZdd Zdd Zdd ZddZddZ ddZ ddZ dS) LivenessVisitorr`r r@rc<t|tfSrCr+rcrs rErzLivenessVisitor.visit_branch"2&&--rGr-ct|jttfs|jht fSt t fSrC)r^valuerrrcrs rErzLivenessVisitor.visit_returns@"(We$455 H:suu$ $55#%%< rGr7c:ttfSrCrrs rErz!LivenessVisitor.visit_unreachablerrGr,cXt|}|js||hfS|tfSrC)r+r!rc)rDr`gens rErz!LivenessVisitor.visit_register_ops3!"%%z 9 : rGr c0t||jhfSrCr+rrs rErzLivenessVisitor.visit_assign"2&& 11rGr c0t||jhfSrCr7rs rErz"LivenessVisitor.visit_assign_multir8rGr0c<t|tfSrCr/rs rErzLivenessVisitor.visit_set_memr0rGrc:ttfSrCrrs rE visit_inc_refzLivenessVisitor.visit_inc_refrrGrc:ttfSrCrrs rE visit_dec_refzLivenessVisitor.visit_dec_refrrGNrrrrrrr)r`rr@r)r`rr@r) rSrTrUrrrrrrrr<r>rWrGrEr-r-s....    22222222....rGr-cft||ttdtS)zCalculate live registers at each CFG location. A register is live at a location if it can be read along some CFG path starting from the location. Tr)rr-rcr)rYrs rEanalyze_live_regsr@s7  $&&     rGrvNrOpVisitor[GenAndKill[T]]rset[T]rrKrr  set[T] | NoneAnalysisResult[T]ci}i}|D]z} t} t} | j} |rtt| } | D]*} | |\}}| |z |z} | |z |z} +| || <| || <{t|}|s|t|}i}i}|D]`} |t kr#t|| <t|| <0| Jdt||| <t||| <a|r|j}|j}n|j}|j}|r| }| |||rLd}||D]<}|t||}|t kr |||z}1|||z}=|Jnt|}|||<|||z ||z}|||kr9||D]0}||vr*| || |1|||<|i}i}|D]t} | }||}t| j}|rtt|}|D]3\}} ||||f<| |\}}||z |z}||||f<4u|r||}}t||S)aPRun a general set-based data flow analysis. Args: blocks: All basic blocks cfg: Control-flow graph for the code gen_and_kill: Implementation of gen and kill functions for each op initial: Value of analysis for the entry points (for a forward analysis) or the exit points (for a backward analysis) kind: MUST_ANALYSIS or MAYBE_ANALYSIS backward: If False, the analysis is a forward analysis; it's backward otherwise universe: For a must analysis, the set of all possible values. This is the starting value for the work list algorithm, which will narrow this down until reaching a fixed point. For a maybe analysis the iteration always starts from an empty set and this argument is ignored. Return analysis results: (before, after) Nz,Universe must be defined for a must analysis)rcrerhreversedacceptreverserr;r=popremoverlrjrzr) rYrrrrrr  block_gen block_killrpr5killrer`opgenopkillworklistworksetrrrornrL new_beforer= new_afterr; op_beforeop_aftercurops_enumidxs rErrs{4IJ ! !eeuui  &x}}%%C + +BIIl33ME6<5(C5LF*DD % 5F||H (mmG')F&(E)) > ! !EEF5M55E%LL'')W'''MMF5Mx==E%LL8888 ! u E? &(,J  . .%!$U4[!1!1JJ^++%+-JJ%+-JJ))))WJ"u *U"33y7GG e $ $  & &w&&OOD)))KK%%% e - !279I57H ' 'Um-6uy-A-A  0X//H ' 'GC$'IeSj !IIl33ME6<5(C#&HUCZ  ' 2') )X . ..rG)rYrZrXr[r@r:)rLr r@r )rYrZr@rA)rYrZrr:rrr@rr) rYrZrr:rrrrrr[r@r)rYrZrr:rrr@r)r`r(r@r)rYrZrr:r@rrC)rYrZrr:rrArrBrrKrr[r rCr@rD)UrV __future__rabcrcollections.abcrrtypingrr mypyc.ir.opsr r r r r rrrrrrrrrrrrrrrrrrr r!r"r#r$r%r&r'r(r)r*r+r,r-r.r/r0r1r2r3r4r5r6r7r8r:rtrxrrdicttuplerKrc AnalysisDictr GenAndKillrrrr rrrr+r-r@r rrrWrGrErbs""""""........########1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111hGGGGGGGG.=B************Z 6 GCLLE*c/*CF23 ?????WQZ???3q63q6> " l*l*l*l*l*)JqM2l*l*l*^+++++(/+++\, 62598$*51.!!!!!)%0!!!H    " #l/l/l/l/l/l/l/rG