o Xi 2@slddlmZddlZddlmZmZmZmZddlm Z m Z dd d Z dddZ dddZ GdddZdS)) annotationsN)AnyOptionalSequenceSet) ast_utils sourceinfofor_stmtast.For formattersourceinfo.FormatterreturnstrcCs$t|jtjst||d|jjS)Nz*For loop target must be a single variable.) isinstancetargetastName TypeErrorid)r r rQ/home/ubuntu/.local/lib/python3.10/site-packages/onnxscript/_internal/analysis.py _get_loop_var srexprOptional[ast.expr]Set[str]cCs|durtSt|tjr|jhSt}t|tjr2|j}|jD]}t|jtjr0| |jjq nt |}|D]}|t |B}q9|S)zMReturn set of all variables used, including function names, in an expression.N) setrrrrCallargskeywordsvalueadditer_child_nodes _used_vars)rresultchildrenkeywordcrrrr"s     r"lhsast.exprcs2ddt|tjrfdd|jDS|hS)zGReturn set of assigned variables in the lhs of an assignment statement.cSst|tjs Jd|jS)Nz"Only simple assignments supported.)rrrr)errrget_id(sz_lhs_vars..get_idcsh|]}|qSrr.0xr*rr -sz_lhs_vars..)rrTupleelts)r'rr.r _lhs_vars%s  r2c@sjeZdZ d(d)d d Zd*ddZd*ddZd+ddZd,ddZd-ddZd.dd Z d/d$d%Z d0d&d'Z dS)1 AstAnalyzerNfunast.FunctionDefr r globalsdict[str, Any] | Noner NonecCs6||_i|_i|_i|_|r|||||dSN) _formatter_constant_if_condition_live_in _live_out_compute_constant_if_conditionsdo_liveness_analysis)selfr4r r6rrr__init__2s zAstAnalyzer.__init__stmtast.stmtSet[str] | NonecC |j|S)zKGet the set of variables that are live at the entry of the given statement.)r<getr@rBrrrlive_in@ zAstAnalyzer.live_incCrE)zJGet the set of variables that are live at the exit of the given statement.)r=rFrGrrrlive_outDrIzAstAnalyzer.live_outdict[str, Any]cCsd||j}t|D]$}t|tjr/t|jtjr/|jj}||vr/||vr/t |||j |<q dS)a:Identify if-statements with constant conditions. If-statements of the form `if name:` where `name` is an outer-scope variable and name is not assigned to within the function body, are treated as constant conditions. The value of such conditions is determined from the outer-scope. N) assigned_varsbodyrwalkrIftestrrboolr;)r@r4r6rLnode python_varrrrr>Hs  z+AstAnalyzer._compute_constant_if_conditionsif_stmtast.IfOptional[bool]cCs|j|dS)a Return the constant value of the if-statement condition, if it is constant. Args: if_stmt: The if-statement-ast to analyze. Returns: The constant boolean value of the if-statement condition, or None if not constant. N)r;rF)r@rTrrrconstant_if_condition[s z!AstAnalyzer.constant_if_conditionast.stmt | list[ast.stmt]rcsJd fdd }t|tjrt|jdSt|tjrt|jSt|tjr(tSt|tj rM |}|durA||j ||j BS|rH||j S||j St|tj r_||j t|jhBSt|tjrj||j St|trs||St|tjr|tSt|tjrtSt|rtSt|rtS|d t|d }t|) zReturn the set of all variables that may be assigned to in an execution of input stmt or sequence of statements. blockSequence[ast.stmt]r rcs"t}|D] }||B}q|Sr9)rrL)rYr#sr@rrassigned_in_blockksz4AstAnalyzer.assigned_vars..assigned_in_blockrNUnsupported statement type .)rYrZr r)rrAssignr2targets AnnAssignrReturnrrOrWrMorelseForrr:WhilelistBreak FunctionDefr is_print_call is_doc_stringtype ValueError)r@rBr] constant_cond error_messagerr\rrLfs<                zAstAnalyzer.assigned_varscsTd fdd d fdd t|tjsJt}t|jD]}||}q d S) z4Perform liveness analysis of the given function-ast.rBrCrJrr cs"|j|<||}|j|<|Sr9)r=r<)rBrJlive)do_visitr@rrvisits   z/AstAnalyzer.do_liveness_analysis..visitc sd fdd }t|tjr|t|jdt|jBSt|tjr/|t|j t|jBSt|tj r:t|jSt|tj rl |}|dur^||j |}||j|}||Bt|jBS|rf||j |S||j|St|tjrt|j}d}|}||kr|}||j ||h}||ks|St|tjrt|j} d}|| B}||kr|}||j || B}||ks|St|tjr|St|r|St|tjr|St|r|St|d t|d ) NrYrZrJrr ct|D]}||}q|Sr9reversed)rYrJr[rrrr visitBlock  zFAstAnalyzer.do_liveness_analysis..do_visit..visitBlockrr^r_rYrZrJrr r)rrr` differencer2rar"rrbrrcrOrWrMrdrPrerr:rfrhrrkrirjrmrl) rBrJrwrnlive1live2 p_loop_varprevcurr cond_vars)r@rrrrrqsZ                  z2AstAnalyzer.do_liveness_analysis..do_visitNrBrCrJrr r)rrrirrurM)r@r4rpr[r)rqr@rrrr?s6 z AstAnalyzer.do_liveness_analysisstmtsrZset[str]cs*d fdd dfd d |tS)azReturn the set of variables that are used before being defined by given block. In essence, this identifies the "inputs" to a given code-block. For example, consider the following code-block: :: x = x + 10 y = 20 z = x + y x = 30 The exposed_uses of this code-block is { x }. The value of z is not used within the block. Even though the value of y is used within the block, it is assigned a value before it is used. However, in contrast, the incoming value of x is used (in the first statement). Hence x is included in the exposed_uses. rYrZrJrr crsr9rt)rYrJrBrvrrrwrxz,AstAnalyzer.exposed_uses..visitBlockrBrCc st|tjr|t|jdt|jBSt|tjr(|t|j t|jBSt|tj r3t|jSt|tj re |}|durW|j |}|j|}||Bt|jBS|r_|j |S|j|St|rl|St|rs|St|tjrt|jh}||}|j t|}t|j}||B|BSt|tjr|j t}t|j}||B|BSt|tjr|St|tjr|j|vr||j||B}|St|dt|d)Nrr^r_) rrr`rzr2rar"rrbrrcrOrWrMrdrPrrjrkrerr:riterrfrhrinameremoveouter_scope_variablesrmrl) rBrJrnr{r| loop_var_setused_after_loopused_inside_loopused_in_loop_header)r@rwrrrrsN                       z'AstAnalyzer.exposed_uses..visitNryr)r)r@rr)r@rrrwr exposed_usess 0zAstAnalyzer.exposed_usescCs8t|tjsJ||j}dd|jjD}||S)zReturn the set of outer-scope variables used in a nested function. Args: fun: The function-ast to analyze. formatter: The formatter object. Returns: A set of variable names (strings). cSsg|]}|jqSr)argr+rrr *sz5AstAnalyzer.outer_scope_variables..)rrrirrMrrz)r@r4 used_vars_inputsrrrrs  z!AstAnalyzer.outer_scope_variablesr9)r4r5r r r6r7r r8)rBrCr rD)r4r5r6rKr r8)rTrUr rV)rBrXr r)r4r5r r8)rrZr r)r4r5r r) __name__ __module__ __qualname__rArHrJr>rWrLr?rrrrrrr31s     , DHr3)r r r r r r)rrr r)r'r(r r) __future__rrtypingrrrronnxscript._internalrrrr"r2r3rrrrs